Banach limit

Encyclopedia : B : BA : BAN : Banach limit

In mathematical analysis, a Banach limit is a continuous linear functional [\phi: \ell_\infty \to \mathbb] defined on the Banach space [\ell_\infty] of all bounded real-valued sequences such that for any real-valued sequences [x=(x_n)] and [y=(y_n)], the following conditions are satisfied:

[\phi(c.x+d.y)=c.\phi(x)+d.\phi(y)](linearity);
if [x\geq 0], then [\phi(x)\geq 0];
[\phi(x)=\phi(Sx)], where [S] is the shift operator defined by [(Sx)_n=x_].
If [x] is a convergent sequence, then [\phi(x)=\lim x].

In other words, a Banach limit extends the usual limits, is shift-invariant and positive. However, there exist sequences for which the values of two Banach limits do not agree. We say that the Banach limit is not uniquely determined in this case.

The existence of Banach limits is usually proved using the Hahn-Banach theorem (analyst's approach) or using ultrafilters (this approach is more frequent in set-theoretical expositions). It is worth mentioning, that these proofs use Axiom of choice (so called non-effective proof).

Almost convergence

Some sequences have uniquely determined Banach limits. For example, if [x=(1,0,1,0,\ldots)], then [x+S(x)=(1,1,1,\ldots)] is a constant sequence, and it holds [2\phi(x)=\phi(x)+\phi(Sx)=1]. Thus for any Banach limit this sequence has limit [\frac 12].

A sequence [x] with the property, that for every Banach limit [\phi] the value [\phi(x)] is the same, is called almost convergent.

External links

[Banach limit] on PlanetMath

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.