Definition:Banach Limit
Jump to navigation
Jump to search
Definition
Let $\struct {\map {\ell^\infty} \R, \norm \cdot_\infty}$ be the normed vector space of bounded sequences on $\R$.
Let $\struct {\paren {\map {\ell^\infty} \R}^\ast, \norm \cdot_{\paren {\ell^\infty}^\ast} }$ be the normed dual space of $\struct {\map {\ell^\infty} \R, \norm \cdot_\infty}$.
Let $S : \map {\ell^\infty} \R \to \map {\ell^\infty} \R$ be the left shift operator on $\map {\ell^\infty} \R$.
Let $\mathbf 1$ be the sequence with ${\mathbf 1}_n = 1$ for each $n \in \N$.
We say that $L \in \paren {\map {\ell^\infty} \R}^\ast$ is a Banach limit if and only if:
- $(1): \quad$ $\map L x \ge 0$ for all $x = \sequence {x_n}_{n \mathop \in \N} \in \map {\ell^\infty} \R$ with $x_n \ge 0$ for each $n \in \N$
- $(2): \quad$ $\map L x = \map L {S x}$ for all $x \in \map {\ell^\infty} \R$
- $(3): \quad$ $\map L {\mathbf 1} = 1$.
Also see
- Results about Banach limits can be found here.
Source of Name
This entry was named for Stefan Banach.
Sources
- 2020: James C. Robinson: Introduction to Functional Analysis ... (previous) ... (next) $20.5$: Generalised Banach Limits