Banachlimes
# Banachlimes

In der Funktionalanalysis ist ein Banachlimes, benannt nach Stefan Banach, ein dem Grenzwert ähnliches Funktional auf dem Folgenraum $\ell ^{\infty }$.

## Definition

Im Folgenden bezeichne $T$ den Linksshift

    $T(x_{n})_{n\in \mathbb {N} }=(x_{n+1})_{n\in \mathbb {N} }$

und $e=(1,1,1,\ldots )$ die Folge, die nur aus Einsen besteht.

Ein Banachlimes ist ein stetiges, lineares Funktional $\ell \colon \ell ^{\infty }\to \mathbb {R}$, das die folgenden Eigenschaften besitzt:

* $\ell (e)=1,$
* für alle $x\in \ell ^{\infty }$ gilt
   * $\ell (x)=\ell (Tx),$
   * falls $x_{n}\geq 0$ für alle $n\in \mathbb {N}$, so ist auch $\ell (x)\geq 0.$

## Eigenschaften

Mit Hilfe des Satzes von Hahn-Banach lässt sich beweisen, dass ein Banachlimes existiert. Jedoch ist er nicht eindeutig bestimmt. Aus den in der Definition geforderten Eigenschaften lässt sich ferner folgern, dass $\ell$ den klassischen Limes, der auf dem Raum der konvergenten Folgen $c$ definiert ist, nach $\ell ^{\infty }$ fortsetzt:

    $\ell (x)=\lim _{n\to \infty }x_{n}$ für $x\in c$

Es gibt nicht-konvergente Folgen, die einen Banachgrenzwert besitzen. Ein einfaches Beispiel für eine solche ist

    $x=(1,0,1,0,\ldots )$

Aufgrund der Linearität von $\ell$ und der Invarianz unter $T$ ist der Banachgrenzwert von $x$ gleich $0{,}5$.

Der Banachgrenzwert ist ein Beispiel für ein Funktional aus $(\ell ^{\infty })'$, das nicht von der Gestalt

    $x\mapsto \sum _{n=1}^{\infty }c_{n}x_{n},\quad c\in \ell ^{1}$

ist.

