Konvergenz nach Maß

Die Konvergenz nach Maß, auch Konvergenz dem Maße nach oder Konvergenz im Maß genannt, ist ein Konvergenzbegriff der Maßtheorie für Funktionenfolgen. Das wahrscheinlichkeitstheoretische Pendant dieser Konvergenzart wird auch Konvergenz in Wahrscheinlichkeit oder stochastische Konvergenz genannt, teils wird dort aber auch die Definition der Konvergenz lokal nach Maß verwendet.

Definition

Gegeben sei ein Maßraum Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (X,{\mathcal {A}},\mu )} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f, (f_n)_{n \in \N} \colon X \to \mathbb K } messbare Funktionen. Dann heißt die Funktionenfolge $(f_{n})_{n\in \mathbb {N} }$ konvergent nach Maß oder konvergent dem Maße nach gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f } , wenn für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0 } gilt, dass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty} \mu(\{ x \in X : \left| f_n(x)-f(x)\right| \geq \varepsilon\})=0 }

ist. Man schreibt dann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n \to f \text{ n. M.}}

Beziehung zu anderen Konvergenzarten

Konvergenz im p-ten Mittel

Aus der Konvergenz im p-ten Mittel folgt die Konvergenz nach Maß mithilfe der Tschebyscheffschen Ungleichung, denn es ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 } .

Nach dem Konvergenzsatz von Vitali ist die Konvergenz im p-ten Mittel äquivalent zur Konvergenz nach Maß und der gleichgradigen Integrierbarkeit im p-ten Mittel. Auf die gleichgradige Integrierbarkeit kann dabei nicht verzichtet werden, wie das folgende Beispiel verdeutlicht. Setzt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=1 } und definiert die Funktionenfolge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n=n^2 \chi_{[0,1/n]} } .

auf dem Maßraum $([0,1],{\mathcal {B}}([0,1]),\lambda |_{[0,1]})$, so konvergiert diese nach Maß gegen 0, denn für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon \in (0,1] } ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 nach Maß verzichtet werden, denn wählt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=1 } und den Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle ([0,1], \mathcal B ([0,1]), \lambda|_{[0,1]}) } , so ist die Funktionenfolge, die durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 nach Maß konvergieren, denn für die Grundmenge und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon < \tfrac 12 } gibt es keine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f } , so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda(\{f_n-f\leq \varepsilon\}) } klein wird. Mit einem analogen Argument folgt dann auch, dass die Funktionenfolge nicht im ersten Mittel konvergiert.

Fast gleichmäßige Konvergenz

Aus der fast gleichmäßigen Konvergenz folgt automatisch die Konvergenz nach Maß. Denn nach Definition entspricht die fast gleichmäßige Konvergenz der gleichmäßigen Konvergenz auf dem Komplement einer Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A } mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(A) < \delta } für beliebiges Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta } . Folglich existiert ein Index Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N(\varepsilon) } , so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \supset \{|f_n-f|\geq \varepsilon \} } für alle $n\geq N(\varepsilon )$. Also ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(\{|f_n-f|\geq \varepsilon \})\leq \delta } für beliebiges Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta } und somit konvergiert die Folge nach Maß.

Umgekehrt folgt aber aus der Konvergenz nach Maß im Allgemeinen nicht die fast gleichmäßige Konvergenz. Betrachtet man beispielsweise die Folge von Intervallen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (I_n)_{n \in \N}= [0,1], [0, \tfrac 12],[ \tfrac 12, 1],[0 ,\tfrac 13],[\tfrac 13, \tfrac 23],[\tfrac 23 , 1],[0, \tfrac 14],[\tfrac 14, \tfrac 24], \dots }

und definiert auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle ([0,1], \mathcal B ([0,1]), \lambda) } die Funktionenfolge

$f_{n}(x)=\chi _{I_{n}}(x)$,

so konvergiert diese Folge nach Maß gegen 0, da eine Abweichung der Funktionenfolge von der 0 immer nur auf den Intervallen möglich ist. Die Breite der Intervalle und damit das Maß der Mengen, auf denen die Funktionenfolge von der 0 abweicht konvergieren aber gegen 0. Die Folge konvergiert aber nicht fast gleichmäßig, da für $A\in {\mathcal {A}}$ mit $\mu (A)<\delta <1$ gilt, dass

$\sup _{x\in [0,1]\setminus A}f_{n}(x)={\begin{cases}1&{\text{falls }}I_{n}\setminus A\neq \emptyset \\0&{\text{falls }}I_{n}\setminus A={\emptyset }\end{cases}}$.

Da aber das $A$ fest gewählt ist und die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_n } beständig "wandern", oszilliert die Folge und kann somit nicht fast gleichmäßig konvergieren.

Punktweise Konvergenz μ-fast überall

Aus der punktweise Konvergenz μ-fast überall folgt bei endlichen Maßräumen die Konvergenz nach Maß. Dabei folgt der Schluss dem Satz von Jegorow, dass aus der Konvergenz μ-fast überall (im endlichen Fall) die fast gleichmäßige Konvergenz folgt, aus dieser folgt wiederum die Konvergenz nach Maß.

Auf die Endlichkeit des Maßraumes kann dabei nicht verzichtet werden, wie die (weiter unten genauer untersuchte) Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n=\chi_{[n,n+1]} } auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\R, \mathcal B (\R), \lambda ) } zeigt. Sie konvergiert punktweise gegen 0, aber nicht nach Maß.

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

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [0,1],[0,\tfrac 12 ], [\tfrac 12 , 1], [0,\tfrac 13], [\tfrac 13 \tfrac 23], [\tfrac 23, 1], [0,\tfrac 14 ], \dots } ,

nummeriert diese mit den natürlichen Zahlen durch und nennt diese Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (I_n)_{n\in \N}} . Dann konvergiert die Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x)=\chi_{I_n}(x) }

auf dem Maßraum $([0,1],{\mathcal {B}}([0,1]),\lambda |_{[0,1]})$ nach Maß gegen 0, denn für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon \in (0,1] } ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x } ist in unendlich vielen $I_{n}$ enthalten und ebenso in unendlich vielen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_n } nicht enthalten. Somit nimmt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi_{I_n} } an jeder Stelle unendlich oft die Werte 0 und 1 an, kann also nicht punktweise konvergieren.

Konvergenz lokal nach Maß

Die Konvergenz nach Maß impliziert die Konvergenz lokal nach Maß. Denn wird das Maß der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{ \left| f_n-f\right| \geq \varepsilon\} } auf der Grundmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n=\chi_{[n, n+1)} }

auf dem Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\R, \mathcal B (\R), \lambda )} lokal nach Maß gegen 0, aber nicht nach Maß. Denn für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon \in (0,1] } ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(\{|f_n-f|\geq \varepsilon\})= \lambda(\{ | \chi_{[n,n+1)}-0| \geq \varepsilon\})= 1 }

für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \N } . Also konvergiert die Funktionenfolge nicht nach Maß gegen die 0. Betrachtet man nun aber ein Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A\in {\mathcal {B}}(\mathbb {R} )} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda(A) < \infty } und definiert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_n =A \cap [n, n+1) } , so sind die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_n } disjunkt und es gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \supset \bigcup_{n \in \N} A_n \text{ und somit } \infty > \mu(A) \geq \sum_{n=1}^\infty \mu(A_n) } .

Somit ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty}\lambda (A_n)= 0 } , da ansonsten die Reihe divergieren würde. Daraus folgt dann

$\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ß.

Schwache Konvergenz von Maßen

Aus der Konvergenz nach Maß einer Funktionenfolge lässt sich unter Umständen auf die schwache Konvergenz der Folge von Bildmaßen schließen.

Ist ein Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X, \mathcal A, \mu )} gegeben, ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu } ein endliches Maß und konvergiert die Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n } nach Maß gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f } , so konvergiert die Folge von Bildmaßen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nu_n:=\mu_{f_n} } schwach gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nu:= \mu_f } .

Die Bildmaße sind dann Maße auf $\mathbb {R}$. Allgemeiner lässt sich diese Aussage auch für Funktionenfolgen mit Werten in separablen metrischen Räumen zeigen.

Allgemeinere Formulierung

Die Konvergenz nach Maß lässt sich auch allgemeiner für Funktionen mit Werten in metrischen Räumen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X,d) } definieren. Dafür ersetzt man den Term Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left| f_n-f\right| \geq \varepsilon } durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d( f_n,f) \geq \varepsilon } . Hierbei muss jedoch darauf geachtet werden, dass die Mengen $\{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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X,d) } ein separabler metrischer Raum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal B (X) } die zugehörige Borelsche σ-Algebra ist und man als Messraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X, \mathcal B (X)) } wählt.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.