Limes superior und Limes inferior
aus Wikipedia, der freien Enzyklopädie
In der Mathematik bezeichnen Limes superior und Limes inferior einer Folge (xn) den größten bzw. kleinsten Grenzwert konvergenter Teilfolgen von (xn). Analog werden Limes superior und Limes inferior von reellwertigen Funktionen definiert. Limes superior und Limes inferior sind ein partieller Ersatz für den Grenzwert, falls dieser nicht existiert.
Inhaltsverzeichnis |
[Bearbeiten] Formale Definition
Formal wird der Limes inferior einer Folge (xn) definiert als
bzw. als
und mit oder auch mit bezeichnet.
Diese Definitionen sind in einer partiell geordneten Menge sinnvoll, falls die vorkommenden Suprema und Infima existieren. In einem vollständigen Verband existieren diese Größen immer, so dass in diesem Fall auch jede Folge einen Limes inferior und einen Limes superior besitzt.
Existieren Limes inferior und Limes superior einer Folge (xn), so ist
[Bearbeiten] Folgen reeller Zahlen
Für eine Folge reeller Zahlen müssen Limes inferior und Limes superior nicht existieren, da die reellen Zahlen keinen vollständigen Verband bilden. Wenn sie existieren, sind sie der kleinste bzw. der größte Häufungspunkt der Folge. Häufig werden Limes inferior und Limes superior allerdings als Elemente der erweiterten reellen Zahlen betrachtet; in diesem Fall existieren sie immer.
Für eine Folge von reellen Funktionen mit für sind Limes inferior und Limes superior punktweise definiert, d.h.
analog für lim sup.
Eine der bekanntesten mathematischen Aussagen, die den Begriff des Limes inferior verwenden, ist das Lemma von Fatou.
[Bearbeiten] Folgen von Mengen
[Bearbeiten] Limes superior und Limes inferior
Für eine beliebige Menge Ω bildet die Potenzmenge P(Ω) einen vollständigen Verband. Betrachtet man eine Folge (An) von beliebigen Teilmengen von Ω, so bezeichnet der Limes inferior dieser Folge alle Elemente, die in fast allen An liegen. Entsprechend bezeichnet der Limes superior eine Menge, die alle Elemente enthält, die in unendlich vielen An liegen.
In der Sprache der Mengenlehre ausgedrückt,
und
Der Limes superior von Mengen wird beispielsweise im Borel-Cantelli-Lemma verwendet.
[Bearbeiten] Zusammenhang mit Folgen von Zahlen
Die charakteristische Funktion des Limes inferior bzw. Limes superior von Mengen ist der punktweise Limes inferior bzw. Limes superior der charakteristischen Funktionen der einzelnen Mengen: Aus
- für
und
- für
folgt
analog für lim sup.
[Bearbeiten] Konvergenz
Man sagt, die Folge (An) konvergiert gegen eine Menge A, falls der Limes inferior und der Limes superior gleich sind und schreibt oder auch . Eine Folge von Teilmengen einer Menge X konvergiert genau dann, wenn es zu jedem x einen Index N gibt, so dass entweder für alle oder für alle gilt.
[Bearbeiten] Monotone Konvergenz
Ist , dann kann man zeigen, dass (An) gegen eine Menge A konvergiert und man schreibt .
Entsprechend kann man für zeigen, dass (An) gegen eine Menge A konvergiert und man schreibt .
[Bearbeiten] Limes superior und Limes inferior von Funktionen
Ist eine reellwertige Funktion auf einem Intervall I gegeben und ξ ein innerer Punkt des Intervalls, so sind Limes superior und Limes inferior jene Werte aus den erweiterten reellen Zahlen , die folgendermaßen definiert sind:[1]
- ,
- .
f((ξ − a,ξ + a)) bezeichnet dabei die Bildmenge des offenen Intervalls (ξ − a,ξ + a); a ist dabei so klein zu wählen, dass .
Analog zu einseitigen Grenzwerten werden ein einseitiger Limes superior und ein einseitiger Limes inferior definiert:
- ,
- ,
- ,
- .
Limes superior und Limes inferior von Funktionen werden beispielsweise bei der Definition der Halbstetigkeit verwendet.
[Bearbeiten] Quellen
- ↑ Nelson Dunford and Jacob T. Schwartz. Linear Operators. Part I. General Theory. John Wiles and Sons, 1988, p. 4. ISBN 0-471-60848-3.