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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell} und der Invarianz unter Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} ist der Banachgrenzwert von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} gleich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0{,}5} .

Der Banachgrenzwert ist ein Beispiel für ein Funktional aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\ell^\infty)'} , das nicht von der Gestalt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \mapsto \sum_{n=1}^\infty c_n x_n, \quad c \in \ell^1}

ist.

Literatur

• Dirk Werner: Funktionalanalysis. 6. korrigierte Auflage. Springer, Berlin 2007, ISBN 978-3-540-72533-6, S. 126.