Konvergenzsatz von Vitali

Der Konvergenzsatz von Vitali, auch Vitali-Kriterium oder Vitalis Kriterium für die -Konvergenz ist ein Satz der Maßtheorie, der für Funktionenfolgen Kriterien angibt, unter denen die Konvergenz im p-ten Mittel und die Konvergenz lokal nach Maß äquivalent sind. Daraus lassen sich auch Kriterien für die Konvergenz nach Maß und ihr stochastisches Äquivalent, die Konvergenz in Wahrscheinlichkeit, herleiten. Namensgeber des Satzes ist Giuseppe Vitali, der ihn 1907 bewies.

Aussage

Gegeben sei ein Maßraum $(X, \mathcal A, \mu)$ und $f,f_{n}\colon X\to \mathbb {K}$ , wobei $\mathbb {K} =\mathbb {R}$ oder $\mathbb {K} =\mathbb {C}$ ist. Sei $p \in (0,\infty)$ , außerdem seien $(f_{n})_{n\in \mathbb {N} },f\in {\mathcal {L}}^{p}(X,{\mathcal {A}},\mu )$ . Dann sind äquivalent:

Die $(f_{n})_{{n\in \mathbb{N} }}$ konvergieren im p-ten Mittel gegen
Die $(f_{n})_{{n\in \mathbb{N} }}$ konvergieren lokal nach Maß gegen und sind im p-ten Mittel gleichgradig integrierbar.

Bemerkung

Die Aussage gilt auch, wenn die Konvergenz lokal nach Maß durch die Konvergenz nach Maß ersetzt wird, denn jede im p-ten Mittel konvergente Folge ist wegen

$\mu(\{|f_n-f|\geq \varepsilon\}) \leq \tfrac{1}{\varepsilon^p}\int_X |f_n-f|^p \mathrm d \mu = \tfrac{1}{\varepsilon^p} \Vert f_n-f \Vert_p^p$

konvergent nach Maß. Außerdem ist sie nach dem obigen Satz auch lokal nach Maß konvergent und gleichgradig integrierbar im p-ten Mittel, demnach ist sie auch nur gleichgradig integrierbar im p-ten Mittel. Somit folgt aus der Konvergenz im p-ten Mittel die gleichgradige Integrierbarkeit und die Konvergenz nach Maß.

Die Umkehrung folgt daraus, dass aus der Konvergenz nach Maß die Konvergenz lokal nach Maß folgt. Somit ist eine nach Maß konvergente und gleichgradig im p-ten Mittel integrierbare Folge auch lokal nach Maß konvergent und gleichgradig integrierbar im p-ten Mittel und somit nach dem obigen Satz auch im p-ten Mittel konvergent.

Beispiele

Die folgenden beiden Beispiele zeigen, dass bei Verzicht auf entweder die Konvergenz lokal nach Maß oder die gleichgradige Integrierbarkeit die Schlussfolgerung zur Konvergenz im p-ten Mittel nicht korrekt ist.

Konvergent lokal nach Maß, aber nicht gleichgradig integrierbar

Mit p=1 und dem Maßraum $([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]})$ definiert man zunächst die Funktionenfolge

$f_n=n^2 \chi_{[0,1/n]}$ .

Diese ist konvergent lokal nach Maß gegen 0, denn für $\varepsilon \in (0,1]$ ist

$\lim_{n \to \infty}\lambda(\{n^2 \chi_{[0,1/n]} \geq \varepsilon\})=\lim_{n \to \infty} \frac 1n = 0$ .

Aber sie ist nicht gleichgradig integrierbar (im ersten Mittel), denn es ist

$\inf_{a \in [0, \infty)}\sup_{n \in \N} \int_{\{a < |f_n|\}} |f_n| \mathrm d \lambda =\infty$ .

Folglich ist die Funktionenfolge auch nicht (im ersten Mittel) konvergent gegen 0, denn es ist

$\lim_{n \to \infty}\int_{[0,1]} |f_n| \mathrm d \lambda = \lim_{n \to \infty} n^2 \cdot \frac 1n =\infty$ .

Gleichgradig integrierbar, aber nicht konvergent lokal nach Maß

Wieder wie oben setzt man p=1 und wählt als Maßraum $([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]})$ . Die Funktionenfolge sei definiert durch

$f_n:=\begin{cases} \chi_{[0; 1/2]} & \text{ für } n \text{ gerade } \\ \chi_{(1/2;1]} & \text{ für } n \text{ ungerade }\end{cases}$ .

Diese Funktionenfolge ist gleichgradig integrierbar im ersten Mittel, da sie von der integrierbaren Funktion, die konstant 1 ist, majorisiert wird. Aufgrund ihres oszillierenden Verhaltens kann die Folge aber nicht lokal nach Maß konvergieren, denn für die Grundmenge und $\varepsilon < \tfrac 12$ gibt es keine Funktion , so dass $\lambda(\{f_n-f\leq \varepsilon\})$ klein wird. Mit einem analogen Argument folgt dann auch, dass die Funktionenfolge nicht im ersten Mittel konvergiert.

Basierend auf einem Artikel in:

Wikipedia.de