Konvergenz lokal nach Maß

Die Konvergenz lokal nach Maß, manchmal auch Konvergenz lokal im Maß genannt, ist ein Konvergenzbegriff der Maßtheorie für Funktionenfolgen. Es handelt sich um den schwächsten Konvergenzbegriff, der in der Maßtheorie verwendet wird. Teilweise wird er auch in der Wahrscheinlichkeitstheorie verwendet und dort als Stochastische Konvergenz bezeichnet, diese Konvergenzart kann aber je nach Quellenlage auch die Konvergenz nach Maß für ein Wahrscheinlichkeitsmaß bezeichnen.

Definition

Gegeben sei ein Maßraum  (X, \mathcal A, \mu ) und {\displaystyle f,(f_{n})_{n\in \mathbb {N} }\colon X\to \mathbb {K} } messbare Funktionen. Dann heißt die Funktionenfolge (f_{n})_{{n\in \mathbb{N} }} konvergent lokal nach Maß gegen f, wenn für jede Menge A\in {\mathcal  A} mit  \mu(A)< \infty und alle \varepsilon >0 gilt, dass

 \lim_{n \to \infty} \mu(\{ \left| f_n-f\right| \geq \varepsilon\}\cap A)=0

ist. Man schreibt dann  f_n \to f \text{ lokal n.M}

Beispiel

Bezeichnet  \chi_A (x) die charakteristische Funktion und definiert man die Funktionenfolge als

 f_n:=\chi_{[n,n+1]} ,

so konvergiert diese Funktionenfolge auf dem Maßraum  (\R, \mathcal B (\R), \lambda) lokal nach Maß gegen 0. Denn für jede Borelmenge   A in \mathbb {R} mit endlichem Lebesgue-Maß konvergiert die Reihe \sum_n \lambda(A\cap[n,n+1]) = \lambda(A\cap [0,\infty)) \le \lambda(A) < \infty, und daraus folgt  \lambda(A \cap [n,n+1])  \rightarrow 0 , das heißt \lambda(\{|f_n-0|\ge \varepsilon\} \cap A) \rightarrow 0.

Eigenschaften

Beziehung zu anderen Konvergenzbegriffen

Konvergenz nach Maß

Die Konvergenz nach Maß impliziert die Konvergenz lokal nach Maß. Denn wird das Maß der Menge  \{ \left| f_n-f\right| \geq \varepsilon\} auf der Grundmenge X beliebig klein, so wird es auch auf dem Schnitt mit jeder Menge endlichen Maßes beliebig klein.

Die Umkehrung gilt jedoch im Allgemeinen nicht. So konvergiert die Funktionenfolge

{\displaystyle f_{n}=\chi _{[n,n+1)}}

auf dem Maßraum  (\R, \mathcal B (\R), \lambda ) lokal nach Maß gegen 0, aber nicht nach Maß. Denn für  \varepsilon \in (0,1] ist

{\displaystyle \mu (\{|f_{n}-f|\geq \varepsilon \})=\lambda (\{|\chi _{[n,n+1)}-0|\geq \varepsilon \})=1}

für alle  n \in \N . Also konvergiert die Funktionenfolge nicht nach Maß gegen die 0. Betrachtet man nun aber ein  A \in \mathcal B (\R) mit  \lambda(A) < \infty und definiert {\displaystyle A_{n}=A\cap [n,n+1)}, so sind die A_{n} disjunkt und es gilt

{\displaystyle A\supset \bigcup _{n\in \mathbb {N} }A_{n}{\text{ und somit }}\infty >\mu (A)\geq \sum _{n=1}^{\infty }\mu (A_{n})}.

Somit ist {\displaystyle \lim _{n\to \infty }\lambda (A_{n})=0} da ansonsten die Reihe divergieren würde. Daraus folgt dann

{\displaystyle \lim _{n\to \infty }\mu (\{|f_{n}-f|\geq \varepsilon \}\cap A)=\lim _{n\to \infty }\mu (\{|\chi _{[n,n+1)}-0|\geq \varepsilon \}\cap A)=\lim _{n\to \infty }\lambda (A_{n})=0.}

Somit konvergiert die Funktionenfolge lokal nach Maß gegen die 0.

Auf endlichen Maßräumen folgt aus Konvergenz lokal nach Maß auch die Konvergenz nach Maß, beide Konvergenzbegriffe sind also äquivalent. Dies folgt direkt daraus, dass die Grundmenge bereits endliches Maß besitzt. Da die Funktionenfolge lokal nach Maß konvergiert, konvergiert sie demnach auch auf der Grundmenge und somit auch nach Maß.

Punktweise Konvergenz μ-fast überall

Aus der punktweisen Konvergenz μ-fast überall folgt die Konvergenz lokal nach Maß. Denn schränkt man den Maßraum auf eine Menge A mit  \mu(A) < \infty ein, betrachtet also den Maßraum  (A, \mathcal A|_A, \mu|_A ) . Dieser eingeschränkte Maßraum ist ein endlicher Maßraum, demnach gilt dort der Satz von Jegorow. Dieser liefert die fast gleichmäßige Konvergenz auf dem eingeschränkten Maßraum, diese wiederum impliziert die Konvergenz nach Maß. Da dieser Schluss aber für jede Einschränkung auf Mengen endlichen Maßes gilt, konvergiert die Funktionenfolge auf  (X,\mathcal A, \mu) lokal nach Maß.

Die Umkehrung gilt aber nicht, es folgt also aus der Konvergenz lokal nach Maß nicht die Konvergenz fast überall. Ein Beispiel lässt sich wie folgt konstruieren: Man betrachtet die Intervalle

{\displaystyle (I_{n})_{n\in \mathbb {N} }=[0,1],[0,{\tfrac {1}{2}}],[{\tfrac {1}{2}},1],[0,{\tfrac {1}{3}}],[{\tfrac {1}{3}},{\tfrac {2}{3}}],[{\tfrac {2}{3}},1],[0,{\tfrac {1}{4}}],[{\tfrac {1}{4}},{\tfrac {2}{4}}],\dots }

Dann konvergiert die Funktionenfolge

 f_n(x)=\chi_{I_n}(x)

auf dem Maßraum  ([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]}) lokal nach Maß gegen 0, denn für  \varepsilon \in (0,1] ist  \lim_{n \to \infty}\lambda(\{f_n \geq \varepsilon\})=\lim_{n \to \infty}\lambda(I_n)=0 . Aber die Funktionenfolge konvergiert nicht punktweise fast überall gegen 0, denn ein beliebiges x ist in unendlich vielen  I_n enthalten und ebenso in unendlich vielen  I_n nicht enthalten. Somit nimmt  \chi_{I_n} an jeder Stelle unendlich oft die Werte 0 und 1 an, kann also nicht konvergieren.

Konvergenz im p-ten Mittel

Nach dem Konvergenzsatz von Vitali ist eine Folge genau dann Konvergent im p-ten Mittel, wenn sie lokal nach Maß konvergent ist und gleichgradig integrierbar im p-ten Mittel ist.

Auf die gleichgradige Integrierbarkeit kann dabei nicht verzichtet werden, wie das folgende Beispiel verdeutlicht. Setzt man p=1 und definiert die Funktionenfolge

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

auf dem Maßraum  ([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]}) , so konvergiert diese 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_{ f \in (f_n)_{n \in \N} } \int_{\{a < |f|\}} |f| \mathrm d \lambda =\infty

Dem Konvergenzsatz von Vitali folgend ist sie 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 .

Ebenso wenig kann auf die Konvergenz lokal nach Maß verzichtet werden, denn wählt man p=1 und den Maßraum  ([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]}) , so ist die Funktionenfolge, die 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} .

definiert wird 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 f, 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.

Schwache Konvergenz in Lp

Aus der Konvergenz lokal nach Maß folgt für  p \in (1, \infty) unter Umständen die schwache Konvergenz in {\mathcal  L}^{p}. Konvergiert eine Folge (f_{n})_{{n\in \mathbb{N} }} aus {\mathcal  L}^{p} gegen f\in {\mathcal  L}^{p} lokal nach Maß und ist die Folge reeller Zahlen  (\|f_n\|_p)_{n \in \N} beschränkt, so konvergiert die Folge auch schwach gegen f.

Für p=1 ist diese Aussage im Allgemeinen nicht richtig, wie folgendes Beispiel zeigt: Betrachtet man den Maßraum  ([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]} , so konvergiert die Folge

 f_n=n\chi_{[0,1/n]}

lokal nach Maß gegen 0 und es ist  \|f_n\|_1=1 für alle n. Aber für die konstante Funktion  g=1 aus  \mathcal L^\infty ist dann

 \int_X f_n g \mathrm d \lambda =1 .

Somit konvergiert die Folge nicht schwach gegen 0.

Weitere Konvergenzbegriffe

Die Konvergenz lokal nach Maß ist der schwächste Konvergenzbegriff für Funktionenfolgen der Maßtheorie, alle weiteren Konvergenzbegriffe implizieren demnach die Konvergenz lokal nach Maß. Beispielsweise impliziert die gleichmäßige Konvergenz μ-fast überall die fast gleichmäßige Konvergenz, diese wiederum die Konvergenz nach Maß und damit auch die Konvergenz lokal nach Maß. Die Umkehrungen sind im Allgemeinen falsch.

Allgemeinere Formulierung

Die Konvergenz nach Maß lässt sich auch allgemeiner für Funktionen mit Werten in metrischen Räume definieren. Dafür ersetzt man den Term {\displaystyle \left|f_{n}-f\right|\geq \varepsilon } durch {\displaystyle d(f_{n}-f)\geq \varepsilon }. Hierbei muss jedoch darauf geachtet werden, dass die Mengen {\displaystyle \{d(f_{n}-f)\geq \varepsilon \}} messbar sind, da ansonsten der Ausdruck in der Definition nicht wohldefiniert ist. Die Messbarkeit dieser Mengen ist beispielsweise garantiert, wenn (X,d) ein separabler metrischer Raum und  \mathcal B (X) die zugehörige Borelsche σ-Algebra ist und man als Messraum {\displaystyle (X,{\mathcal {B}}(X))} wählt.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 29.01. 2019