Quelltext der Seite Limes superior und Limes inferior

[[Datei:Lim sup example 5.png|350px|mini|Limes superior und Limes inferior einer Folge: Die Folge ''x''<sub>''n''</sub> wird mit blauen Punkten dargestellt. Die beiden roten Kurven nähern sich dem Limes superior und Limes inferior der Folge an, die als gestrichelte schwarze Linien dargestellt sind.]]
In der [[Mathematik]] bezeichnen '''Limes superior''' bzw. '''Limes inferior''' einer [[Folge (Mathematik)|Folge]] reeller Zahlen den größten bzw. kleinsten [[Häufungspunkt#Häufungspunkt einer Folge|Häufungspunkt]] der Folge. Limes superior und Limes inferior sind ein partieller Ersatz für den Grenzwert, falls dieser nicht existiert.

== Notation ==
Der Limes inferior wird im Folgenden mit <math>\liminf_{n\rightarrow\infty}</math> bezeichnet, der Limes superior mit <math>\limsup_{n\rightarrow\infty}</math>. Üblich sind als Bezeichnung auch <math>\varliminf_{n\rightarrow\infty}</math> für den Limes inferior bzw. <math>\varlimsup_{n\rightarrow\infty}</math> für den Limes superior.

== Limes superior und Limes inferior für Folgen ==
=== Folgen reeller Zahlen ===
==== Definition ====
Sei <math>(x_n)_{n \in \N}</math> eine Folge [[Reelle Zahl|reeller Zahlen]]. Dann ist der Limes inferior von <math>(x_n)_{n \in \N}</math> definiert als

:<math>\liminf_{n\rightarrow\infty}x_n := \sup_{n\in \N}\,\inf_{k\geq n}x_k=\sup\{\inf\{x_k:k\geq n\}:n\in\N\}</math>

Analog ist der Limes superior von <math>(x_n)_{n \in \N}</math> definiert als

:<math>\limsup_{n\rightarrow\infty}x_n:= \inf_{n\in \N}\,\sup_{k\geq n}x_k=\inf\{\sup\{x_k:k\geq n\}:n\in\N\}.</math>

Dabei stehen <math>\inf</math> und <math>\sup</math> für [[Infimum und Supremum]].
==== Eigenschaften ====
[[Datei:Illustration of Limes superior and Limes Inferior.svg|mini|300px|Bei beschränkten Folgen liegen für jedes <math>\epsilon > 0</math> fast alle Folgenglieder im offenen Intervall <math>(\liminf_{n\rightarrow\infty}x_n-\epsilon, \limsup_{n\rightarrow\infty}x_n+\epsilon)</math>.]]
Als Elemente der [[Erweiterte reelle Zahlen|erweiterten reellen Zahlen]] <math>\R\cup\lbrace-\infty,+\infty\rbrace</math> existieren Limes inferior und Limes superior für jede Folge reeller Zahlen. Der Limes inferior und der Limes superior sind genau dann beide reelle Zahlen, wenn die Folge beschränkt ist. In diesem Fall erhält man aus der Existenz von Limes inferior und Limes superior den [[Satz von Bolzano-Weierstraß]].

Für jedes <math>\epsilon>0</math> liegen jeweils unendlich viele Folgenglieder im [[Offenes Intervall|offenen Intervall]]
:<math>(\limsup_{n\rightarrow\infty}x_n-\epsilon, \limsup_{n\rightarrow\infty}x_n+\epsilon)</math> bzw. <math>(\liminf_{n\rightarrow\infty}x_n-\epsilon, \liminf_{n\rightarrow\infty}x_n+\epsilon).</math>
Außerdem erfüllen [[fast alle]] Folgenglieder
:<math>\liminf_{n\rightarrow\infty}x_n-\epsilon < x_n < \limsup_{n\rightarrow\infty}x_n+\epsilon.</math>
Damit ist der Limes inferior der kleinste und der Limes superior der größte Häufungspunkt einer Folge und somit gilt
:<math>\liminf_{n\rightarrow\infty}x_n\leq\limsup_{n\rightarrow\infty}x_n.</math>
Gleichheit liegt genau dann vor, wenn die Folge in den erweiterten reellen Zahlen [[Konvergente Folge|konvergiert]]. In diesem Fall gilt
:<math>\lim_{n\rightarrow\infty} x_n=\liminf_{n\rightarrow\infty}x_n=\limsup_{n\rightarrow\infty}x_n.</math>

Die Bezeichnung <math>\limsup</math> bzw. <math>\liminf</math> ist dadurch motiviert, dass
:<math>\liminf_{n\rightarrow\infty}x_n=\lim_{n\rightarrow\infty}\left(\inf_{k\geq n}x_k\right)</math> bzw. <math>\limsup_{n\rightarrow\infty}x_n=\lim_{n\rightarrow\infty}\left(\sup_{k\geq n}x_k\right).</math>
Die Grenzwerte existieren, da [[monotone Folge]]n in den erweiterten reellen Zahlen konvergent sind.

Da Häufungspunkte gerade die Grenzwerte konvergenter Teilfolgen sind, ist der Limes inferior die kleinste erweiterte reelle Zahl, gegen die eine Teilfolge konvergiert bzw. der Limes superior die größte.

=== Verallgemeinerung auf allgemeine Folgen ===
Sei <math>M</math> eine [[Halbordnung|partiell geordneten]] Menge und <math>f \colon \N\to M</math> eine Folge. Um <math>\liminf_{n\rightarrow\infty}x_n</math> und <math>\limsup_{n\rightarrow\infty}x_n</math> genauso wie im Fall von reellen Folgen definieren zu können, müssen in <math>M</math> die entsprechenden [[Supremum|Suprema]] und [[Infimum|Infima]] existieren. Dies ist zum Beispiel dann der Fall, wenn <math>M</math> ein [[Verband (Mathematik)#Spezielle Verbände|vollständiger Verband]] ist, so dass auch in diesem Fall jede Folge einen Limes inferior und einen Limes superior besitzt.

==== Limes superior und Limes inferior für Folgen reeller Funktionen ====
Für eine Folge [[Reelle Funktion|reeller Funktionen]] <math>(f_n)_{n \in \N}</math>, also <math>f_n\colon\R\rightarrow\R</math> für alle <math>n \in \N</math>, sind Limes inferior und Limes superior punktweise definiert, also
:<math>(\liminf_{n\rightarrow\infty} f_n)(x)=\liminf_{n\to\infty}f_n(x) \text{ und } (\limsup_{n\rightarrow\infty} f_n)(x)=\limsup_{n\to\infty}f_n(x).</math>

Eine bekannte mathematische Aussage, die den Begriff des Limes inferior einer Funktionenfolge verwenden, ist das [[Lemma von Fatou]].

==== Limes superior und Limes inferior von Mengenfolgen ====
{{Hauptartikel|Limes superior und Limes inferior von Mengenfolgen}}
Für eine beliebige [[Menge (Mathematik)|Menge]] <math>\Omega</math> bildet die [[Potenzmenge]] <math>P(\Omega)</math> einen vollständigen Verband unter der durch die [[Teilmenge]]nrelation definierten Ordnung. Sei <math>(A_n)_{n\in\N}</math> eine Folge von Teilmengen von <math>\Omega</math>, also <math>A_n\subseteq \Omega</math> für alle <math>n\in\N</math>. Dann gilt
:<math>\sup_{n\in \N} A_n= \bigcup_{n\in \N}A_n, \inf_{n\in \N} A_n=\bigcap_{n\in \N}A_n.</math>
Damit erhält man für Limes inferior und Limes superior
:<math>\liminf_{n\rightarrow\infty} A_n={\bigcup_{n=1}^\infty}\left({\bigcap_{m=n}^\infty}A_m\right)</math>
und
:<math>\limsup_{n\rightarrow\infty} A_n={\bigcap_{n=1}^\infty}\left({\bigcup_{m=n}^\infty}A_m\right).</math>
Der Limes inferior einer Folge <math>(A_n)_{n\in\N}</math> kann als die Menge aller Elemente aus <math>\Omega</math> beschrieben werden, die in [[fast alle]]n <math>A_n</math> liegen, der Limes superior der Mengenfolge <math>(A_n)_{n\in\N}</math> als die Menge aller Elemente aus <math>\Omega</math>, die in [[unendlich]] vielen <math>A_n</math> liegen.

Der Limes superior von Mengen wird beispielsweise im [[Borel-Cantelli-Lemma]] verwendet.

Außerdem lassen sich mit dem Limes inferior und superior [[konvergente Mengenfolge]]n definieren. Die Folge <math>(A_n)_{n\in\N}</math> konvergiert gegen die Menge <math>A</math>, falls der Limes inferior und der Limes superior der Folge gleich sind. Eine Folge von Teilmengen einer Menge <math>X</math> konvergiert genau dann, wenn es zu jedem <math>x \in X</math> einen Index <math>N \in \N</math> gibt, so dass entweder <math>x\in A_n</math> für alle <math>n\ge N</math> oder <math>x\notin A_n</math> für alle <math>n\geq N</math> gilt; in Formeln:
:<math>\lim_{n\in\N}A_n = A \iff \forall x \in X\; \exist N \in \N.\; (\forall n \ge N.\; x \in A_n) \lor (\forall n \ge N.\; x \notin A_n)</math>

== Limes superior und Limes inferior von Funktionen ==
Sei <math>I\subseteq \R</math> ein [[Intervall (Mathematik)|Intervall]], <math>\xi</math> ein innerer Punkt von <math>I</math> und <math>f\colon I\to \R</math> eine reellwertige Funktion.
Dann sind Limes superior und Limes inferior jene Werte aus den erweiterten reellen Zahlen <math>\R\cup\{-\infty,+\infty\}</math>, die folgendermaßen definiert sind:<ref>Nelson Dunford and Jacob T. Schwartz. ''Linear Operators. Part I. General Theory.'' John Wiles and Sons, 1988, p. 4. ISBN 0-471-60848-3.</ref>

:<math>\limsup_{x\to\xi} f(x)=\inf_{a>0} \sup f((\xi-a,\xi+a)\backslash\{\xi\})</math>,
:<math>\liminf_{x\to\xi} f(x)=\sup_{a>0} \inf f((\xi-a,\xi+a)\backslash\{\xi\})</math>.

<math> f((\xi-a,\xi+a))</math> bezeichnet dabei die [[Bild (Mathematik)|Bildmenge]] des offenen Intervalls <math>(\xi-a,\xi+a)</math>, wobei <math>a</math> so klein zu wählen ist, dass <math>(\xi-a,\xi+a)\subseteq I</math>.

Analog zu einseitigen Grenzwerten werden ein einseitiger Limes superior und ein einseitiger Limes inferior definiert:

:<math>\limsup_{x\to\xi+} f(x)=\inf_{a>0} \sup f((\xi,\xi+a))</math>,
:<math>\liminf_{x\to\xi+} f(x)=\sup_{a>0} \inf f((\xi,\xi+a))</math>,
:<math>\limsup_{x\to\xi-} f(x)=\inf_{a>0} \sup f((\xi-a,\xi))</math>,
:<math>\liminf_{x\to\xi-} f(x)=\sup_{a>0} \inf f((\xi-a,\xi))</math>.

Limes superior und Limes inferior von Funktionen werden beispielsweise bei der Definition der [[Halbstetigkeit]] verwendet.

== Verallgemeinerung von Limes superior und Limes inferior ==
=== Definition ===
Sei <math> T </math> ein beliebiger topologischer Raum, <math> M </math> eine partiell geordnete Menge, in welcher zu jeder nichtleeren Teilmenge <math> A \subseteq M </math> sowohl <math> \inf A </math> als auch <math> \sup A </math> existiert. <math>M</math> trage die von dieser Ordnung induzierte Topologie. Sei weiter <math> f: V\rightarrow M </math>, <math> V \subseteq T </math> und <math> a \in T </math> ein Häufungspunkt von <math>V</math> (das heißt jede Umgebung von <math> a </math> enthalte ein von <math> a </math> verschiedenes Element aus <math> V </math>). Die Menge der Umgebungen von <math>a</math> in <math>V</math> werde mit <math> \mathfrak{U}(a) </math> bezeichnet.

Definiere nun:

:<math> \limsup_{x\to a} f(x):=\inf_{U\in\mathfrak{U}(a)} \sup_{x\in U\backslash\{a\}} f(x) </math>
:<math> \liminf_{x\to a} f(x):=\sup_{U\in\mathfrak{U}(a)} \inf_{x\in U\backslash\{a\}} f(x) </math>

<math> \mathfrak{U}(a) </math> darf hierbei durch eine beliebige [[Umgebungsbasis]] von <math> a </math> ersetzt werden.

=== Eigenschaften ===
Es ist stets

:<math>\liminf_{x\to a} f(x) \leq \limsup_{x\to a} f(x)</math>

Außerdem folgt aus der Gleichheit des Limes superior mit dem Limes inferior <math>\liminf_{x\to a} f(x) = \limsup_{x\to a} f(x)</math>, dass <math>\lim_{x\to a} f(x)</math> existiert und es gilt

:<math> \lim_{x\to a} f(x) = \liminf_{x\to a} f(x) = \limsup_{x\to a} f(x) </math>

=== Beispiele ===
* Für <math>T = \mathbb{N} \cup \{\infty\} </math>, <math>V = \mathbb{N}</math>, <math>M = \mathbb{R} \cup \{-\infty, \infty\} </math> und <math>a = \infty </math> erhält man die aus der Analysis bekannte Definition des Limes inferior und Limes superior einer Folge reeller Zahlen.
* Für <math>T = \mathbb{N} \cup \{\infty\} </math>, <math>V = \mathbb{N}</math>, <math>M = \operatorname{Pot}(\Omega)</math> und <math>a = \infty </math> erhält man die Definition des Limes inferior und Limes superior für Mengenfolgen.

== Literatur ==
* [[Konrad Königsberger]]: ''Analysis 1.'' 6. Auflage, Springer, Berlin/Heidelberg/New York 2004, ISBN 3-540-41282-4, S. 50.
* [[Heinz Bauer (Mathematiker)|Heinz Bauer]]: ''Maß- und Integrationstheorie.'' 2. Auflage. De Gruyter, Berlin 1992, ISBN 3-11-013626-0 (Gebunden), ISBN 3-11-013625-2 (Broschiert), S. 93 (zu Folgen von Mengen).

== Einzelnachweise ==
<references />

[[Kategorie:Folgen und Reihen]]