Lim sup und Lim inf


by Mathe für Nicht-Freaks

(Analysis 1 )

Der Limes superior und der Limes inferior ist der größte und der kleinste Häufungspunkt einer Folge. Diese dienen als partiellen Ersatz für den Grenzwert, wenn dieser nicht existiert.

Motivation

Der Grenzwert einer Folge ist diejenige Zahl, gegen die eine Folge im Unendlichen strebt. In jeder Umgebung um den Grenzwert liegen fast alle Folgenglieder und damit befinden sich nur endlich viele Folgenglieder außerhalb einer beliebigen Umgebung:

new alt text
Außerhalb jeder Umgebung um den Grenzwert liegen maximal endlich viele Folgenglieder. [Quelle]

Auch, wenn nicht jede Folge einen Grenzwert besitzt, kann man sowohl bei konvergenten als auch bei divergenten Folgen einiges über ihr Verhalten im Unendlichen aussagen. Im Kapitel Häufungspunkt einer Folge haben wir bereits das Konzept des Häufungspunkts als Verallgemeinerung des Grenzwerts kennengelernt. Der Häufungspunkt ist eine Zahl, gegen die ein Teil der Folge strebt und um die sich deswegen die Folgenglieder „häufen“. Damit können sie benutzt werden, um das Verhalten einer Folge im Unendlichen zu beschreiben.

Durch Angabe des größten und des kleinsten Häufungspunkts können wir den Bereich einschränken, wo sich diese Häufungspunkte befinden. Der größte Häufungspunkt wird dabei Limes superior und der kleinste Limes inferior genannt. Dabei verwenden wir für den größten Häufungspunkt einer Folge den Ausdruck lim sup und für den kleinsten Häufungspunkt liminf .

Das abgeschlossene Intervall [lim inf , lim sup ] zwischen dem kleinsten und größten Häufungspunkt ist eine Art „verallgemeinertes Grenzwertintervall“. Wir können nämlich zeigen, dass sich bei beschränkten Folgen in jeder Umgebung um dieses Intervall fast alle Folgenglieder befinden. Außerhalb einer solchen Umgebung befinden sich nur endlich viele Folgenglieder. In der folgenden Abbildung ist dies für eine Epsilon-Umgebung [Iim inf sup um dieses Intervall illustriert. Außerhalb dieses "Schlauchs" befinden sich nur endlich viele Folgenglieder und innerhalb fast alle:

new alt text
Das Intervall zwischen dem größten und kleinsten Häufungspunkt ist eine Art verallgemeinertes Grenzwertintervall [Quelle]

Definition

Wir wollen eine Folge genauer durch die Bestimmung des kleinsten und größten Häufungspunkts beschreiben. Dadurch schwächen wir den Grenzwertbegriff ab und gewinnen einen anderen Blick auf die Folge. Der größte Häufungspunkt wird Limes superior genannt und wird bei einer Folge mit bezeichnet. Der kleinste Häufungspunkt ist der Limes inferior und wird als beschrieben:

 
Definition

Limes superior
Der Limes superior einer Folge ist bei nach oben beschränkten Folgen der größte Häufungspunkt dieser Folge und wird mit bezeichnet. Bei nach oben unbeschränkten Folgen schreiben wir .

 
Definition

Limes inferior
Der Limes inferior einer Folge ist bei nach unten beschränkten Folgen der kleinste Häufungspunkt dieser Folge und wird mit bezeichnet. Bei nach unten unbeschränkten Folgen setzen wir .

Zusammenhang mit Grenzwert

Eine Folge konvergiert genau dann, wenn der Limes superior und der Limes inferior existieren und übereinstimmen:

 
Definition

Limes superior/inferior und Konvergenz
Eine Folge konvergiert genau dann, wenn gilt:

 
Vorgehen

Limes superior/inferior und Konvergenz
Wir müssen die Äquivalenz

zeigen.
Die Hin-Richtung " " des Beweises ist einfach. Da jede konvergente Folge beschränkt ist, folgt sie unmittelbar aus der Definition von und .

Für die Rück-Richtung " " verwenden wir die alternativen Umgebungs-Definitionen von Grenzwert und Häufungspunkt. Zur Erinnerung:

Eine Folge konvergiert genau dann gegen , wenn fast alle , und eine Folge hat den Häufungspunkt , wenn unendlich viele .

 
Hinweis

Der Satz lässt sich auch auf bestimmt divergente Folgen übertragen. Es gilt

Alternative Charakterisierung von Limes Superior und Limes Inferior

Ist beschränkt, so lassen sich limsup und lim inf auch wie folgt charakterisieren:

 
Definition

Alternative Definition von lim sup und lim inf
Ist eine beschränkte reelle Folge, so gilt

Rechenregeln für Limes Superior und Limes Inferior

 
Definition

Monotonieregel
Seien und beschränkte reelle Folgen mit für alle . Dann gilt

und

 
Definition

Zusammenhang limsup und liminf
Sei eine beschränkte reelle Folge. Dann gilt

 
Definition

Summenregel
Seien und reelle Folgen. Dann gilt

Verlinkte Videos