Banachlimes
In der Funktionalanalysis ist ein Banachlimes, benannt nach Stefan Banach, ein dem Grenzwert ähnliches Funktional auf dem Folgenraum <math>\ell^\infty</math>.
Definition
Im Folgenden bezeichne <math>T</math> den Linksshift
- <math>T(x_n)_{n\in\N} = (x_{n+1})_{n\in\N}</math>
und <math>e = (1, 1, 1, \ldots)</math> die Folge, die nur aus Einsen besteht.
Ein Banachlimes ist ein stetiges, lineares Funktional <math>\ell\colon\ell^\infty\to\R</math>, das die folgenden Eigenschaften besitzt:
- <math>\ell(e) = 1,</math>
- für alle <math>x \in \ell^\infty</math> gilt
- <math>\ell(x) = \ell(Tx),</math>
- falls <math>x_n \ge 0</math> für alle <math>n \in \N</math>, so ist auch <math>\ell(x) \ge 0.</math>
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 <math>\ell</math> den klassischen Limes, der auf dem Raum der konvergenten Folgen <math>c</math> definiert ist, nach <math>\ell^\infty</math> fortsetzt:
- <math>\ell(x) = \lim_{n\to\infty} x_n</math> für <math>x\in c</math>
Es gibt nicht-konvergente Folgen, die einen Banachgrenzwert besitzen. Ein einfaches Beispiel für eine solche ist
- <math>x = (1, 0, 1, 0, \ldots)</math>
Aufgrund der Linearität von <math>\ell</math> und der Invarianz unter <math>T</math> ist der Banachgrenzwert von <math>x</math> gleich <math>0{,}5</math>.
Der Banachgrenzwert ist ein Beispiel für ein Funktional aus <math>(\ell^\infty)'</math>, das nicht von der Gestalt
- <math>x \mapsto \sum_{n=1}^\infty c_n x_n, \quad c \in \ell^1</math>
ist.
Literatur
- {{#ifexist:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|9783540725336}}
| {{bibISBN/{{#invoke:URIutil|plainISBN|9783540725336}}
|record = Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|9783540725336}}
|format = Literatur
|Autor =
|Titel =
|TitelErg =
|Band =
|Auflage =
|Kommentar=
|Kapitel =
|Seite = 126
|Seiten =
|Spalten =
|ArtikelNr =
|Fundstelle =
|DOI =
|Online =
|URL =
|Linktext =
|Format =
|KBytes =
|Abruf =
|Typ =
}}{{#ifeq: 0 | 0
| {{#invoke:TemplatePar|check
|all= 1=
|opt= 2= format= Autor= Titel= TitelErg= Hrsg= Sammelwerk= WerkErg= Band= Nummer= Auflage= Datum= Sprache= NummerReihe= BandReihe= HrsgReihe= Kommentar= Kapitel= Seite= Seiten= Spalten= ArtikelNr= Fundstelle= DOI= Online= URL= Linktext= Format= KBytes= Abruf= Typ=
|template=Vorlage:bibISBN |cat=Wikipedia:Vorlagenfehler/Vorlage:BibISBN}}
}}
| {{#if:||{{#if:{{#invoke:URIutil|plainISBN|9783540725336}}|Der BibISBN-Eintrag [[Vorlage:BibISBN/{{#invoke:URIutil|plainISBN|9783540725336}}]] ist nicht vorhanden. Bitte prüfe die ISBN und lege ggf. einen {{#ifeq:Vorlage:bibISBN/{{#invoke:URIutil|plainISBN|9783540725336}}|Banachlimes|{{#switch:{{{LINK}}}|JA=|NEIN=}}}}[[[:Vorlage:Neuer Abschnitt/URL]] neuen Eintrag] an.|Die angegebene ISBN „9783540725336“ ist fehlerhaft. Bitte prüfe und korrigiere die ISBN.}}{{#ifeq: 0 | 0 | }}}}}}