Banach limit ($L:{\ell }^{\infty }(\mathbb{N};\mathbb{R})\to \mathbb{R}$)

A Banach limit is a positive linear functional on the real l-infinity sequence space that extends the ordinary limit on the convergent sequence space, has operator norm one, and is invariant under the left shift on bounded sequences. The Hahn-Banach theorem constructs one by separating the constant sequence $1$ from the subspace $(I-S){\ell }^{\infty }$, whose distance from $1$ is one. The functional is generally not unique.

The displayed sublinear functional on the real l-infinity sequence space agrees with the ordinary limit on convergent sequences. A dominated extension by the Hahn-Banach theorem therefore defines a generalized limit bounded between the lower and upper limits of the Cesàro means. For the left shift on bounded sequences $S$, the averages of $Sx-x$ equal $(x_{N+1}-x_1)/N$, which tend to zero. Domination applied to both signs gives $L(Sx-x)=0$, hence shift invariance. Positivity, agreement on constant sequences and the operator norm one follow from the bounds, so $L$ is a Banach limit.

A nonprincipal ultrafilter on the natural numbers gives a Banach limit by taking the ultralimit of the Cesàro means of each bounded sequence. Compactness of a closed bounded interval, or disk for complex sequences, supplies the limit. Finite intersections in the filter give linearity; nonnegative averages give positivity; constants give norm one. The Cesàro theorem for convergent sequences gives agreement with ordinary limits because the ultrafilter contains every cofinite set. For the left shift on bounded sequences, the two means differ by $(x_{n+1}-x_1)/n$, which tends to zero, proving shift invariance.