Lemma von Fatou

Das Lemma von Fatou (nach Pierre Fatou) erlaubt in der Mathematik, das Lebesgue-Integral des Limes inferior einer Funktionenfolge durch den Limes inferior der Folge der zugehörigen Lebesgue-Integrale nach oben abzuschätzen. Es liefert damit eine Aussage über die Vertauschbarkeit von Grenzwertprozessen.

Mathematische Formulierung

Sei $(S,\Sigma ,\mu )$ ein Maßraum. Für jede Folge $(f_{n})_{n\in \mathbb {N} }$ nichtnegativer, messbarer Funktionen $f_{n}\colon S\to \mathbb {R} \cup \{\infty \}$ gilt

$\int _{S}\liminf _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu \leq \liminf _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu ,$

wobei auf der linken Seite der Limes inferior der Folge $(f_{n})_{n\in \mathbb {N} }$ punktweise zu verstehen ist.

Analog gilt dieser Satz auch für den Limes superior, sofern es eine nichtnegative, integrierbare Funktion $g$ mit $f_{n}\leq g$ gibt:

$\int _{S}\limsup _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu \geq \limsup _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu$.

Dies lässt sich zusammenfassen zu der Merkregel

$\int _{S}\liminf _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu \leq \liminf _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu \leq \limsup _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu \leq \int _{S}\limsup _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu \leq \int _{S}g\ \mathrm {d} \mu .$

Beweisidee

Um das Lemma von Fatou für den Limes inferior zu beweisen, wendet man auf die monoton wachsende Funktionenfolge

$g_{n}:=\inf _{k\geq n}f_{k}\nearrow \liminf _{n\rightarrow \infty }f_{n}$

den Satz von der monotonen Konvergenz an. Mit der daraus resultierenden Gleichung und der auf der Monotonie des Integrals basierenden Ungleichung

$\int _{S}\left(\inf _{k\geq n}f_{k}\right)\leq \int _{S}f_{n}$

erhält man aus den Rechenregeln für den Limes:

$\int _{S}\liminf _{n\rightarrow \infty }f_{n}=\lim _{n\rightarrow \infty }\int _{S}\left(\inf _{k\geq n}f_{k}\right)\leq \liminf _{n\rightarrow \infty }\int _{S}f_{n}$.

Für das Lemma von Fatou mit Limes superior kann man analog verfahren, denn nach Voraussetzung ist $g_{1}=\sup _{k\geq 1}f_{k}\leq g$ mit $g$ integrierbar, also ist $g_{1}$ integrierbar.

Beispiele für strikte Ungleichung

Der Grundraum $S$ sei jeweils versehen mit der borelschen σ-Algebra und dem Lebesgue-Maß.

• Beispiel für einen Wahrscheinlichkeitsraum: Sei $S=[0,1]$ das Einheitsintervall. Definiere $f_{n}(x)=n\mathbf {1} _{(0,{\frac {1}{n}})}(x)$ für alle $n\in \mathbb {N}$ und $x\in S$, wobei $\mathbf {1} _{(0,{\frac {1}{n}})}$ die Indikatorfunktion des Intervalls $(0,{\tfrac {1}{n}})$ bezeichne.
• Beispiel mit gleichmäßiger Konvergenz: Sei $S$ die Menge der reellen Zahlen. Definiere $f_{n}(x)={\tfrac {1}{n}}\mathbf {1} _{[0,n]}(x)$ für alle $n\in \mathbb {N}$ und $x\in S$. (Beachte, dass es in diesem Beispiel keine integrierbare Majorante gibt und daher der sup-Teil des Lemmas von Fatou nicht anwendbar ist.)

Jedes $f_{n}$ hat Integral eins,

$\int _{S}f_{n}\ \mathrm {d} \mu =1$

deshalb gilt

$1=\lim _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu =\liminf _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu =\limsup _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu$

Die Folge $(f_{n})_{n\in \mathbb {N} }$ konvergiert auf $S$ punktweise gegen die Nullfunktion

$0=\lim _{n\rightarrow \infty }f_{n}=\liminf _{n\rightarrow \infty }f_{n}=\limsup _{n\rightarrow \infty }f_{n},$

daher ist das Integral ebenfalls Null

$0=\int _{S}\liminf _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu =\int _{S}\limsup _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu ,$

daher gelten hier die strikten Ungleichungen

$\int _{S}\liminf _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu <\liminf _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu ,$

$\int _{S}\limsup _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu <\limsup _{n\rightarrow \infty }\int _{S}f_{n}\ \mathrm {d} \mu$

Diskussion der Voraussetzungen

Auf die Voraussetzung der Nichtnegativität der einzelnen Funktionen kann nicht verzichtet werden, wie das folgende Beispiel zeigt: Sei $S$ das halboffene Intervall $[0,\infty )$ mit der borelschen σ-Algebra und dem Lebesgue-Maß. Für alle $n\in \mathbb {N}$ definiere $f_{n}(x):=-{\tfrac {1}{n}}{\mathfrak {1}}_{[0,n]}(x)$. Die Folge $(f_{n})_{n\in \mathbb {N} }$ konvergiert auf $S$ (sogar gleichmäßig) gegen die Nullfunktion (mit Integral 0), jedes $f_{n}$ hat aber Integral −1. Daher ist

$0=\int _{S}\lim _{n\rightarrow \infty }f_{n}\ \mathrm {d} \mu >\lim _{n\rightarrow \infty }\int _{S}f_{n}\mathrm {d} \mu =-1$.

Siehe auch

• Satz von der majorisierten Konvergenz
• Satz von der monotonen Konvergenz

Literatur

• Elliott H. Lieb, Michael Loss: Analysis. (= Graduate Studies in Mathematics. Bd. 14). 2. Auflage. American Mathematical Society, Providence RI 2001, ISBN 0-8218-2783-9.
• Walter Rudin: Analysis. Deutsche Ausgabe neu bearbeitet von Norbert Herrmann. 2., korrigierte Auflage. Oldenbourg, München u. a. 2002, ISBN 3-486-25810-9, S. 376: Kapitel 11, Satz 11.31.