Schwache Konvergenz (Maßtheorie)

Die schwache Konvergenz ist ein Begriff der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit verallgemeinerten Längen- und Volumenbegriffen beschäftigt. Die schwache Konvergenz ist ein Konvergenzbegriff für endliche Maße und enthält als Spezialfall die Konvergenz in Verteilung der Wahrscheinlichkeitstheorie. Eine Abwandlung für Maße auf Funktionenräumen ist die fdd-Konvergenz.

Definition

Sei (X,d) ein metrischer Raum und ${\mathcal B}(X)$ die Borelsche σ-Algebra sowie ${\mathcal {M}}_{f}^{+}(X)$ die Menge der endlichen Maße auf dem Messraum $(X,{\mathcal {B}}(X))$ . Seien $\mu ,\mu _{n}$ aus ${\mathcal {M}}_{f}^{+}(X)$ . Ist

$\lim _{{n\to \infty }}\int _{X}f{\mathrm d}\mu _{n}=\int _{X}f{\mathrm d}\mu$

für alle beschränkten stetigen Funktionen , so heißt $(\mu _{n})_{{n\in \mathbb{N} }}$ schwach konvergent gegen $\mu$ . Man schreibt dann auch $\mu _{n}\rightarrow \mu$ schwach, $\mu _{n}{\xrightarrow[ {}]{w}}\mu$ oder $\mu =w{\text{-}}\!\lim _{{n\to \infty }}\mu _{n}$ . Das „w“ steht hier für „weakly“.

Motivation zur Definition

Intuitiv würde man von einer Folge von Maßen $(\mu _{n})_{{n\in \mathbb{N} }}$ sagen, dass sie gegen $\mu$ konvergiert, wenn

$\lim _{n\to \infty }\mu _{n}(A)=\mu (A)$

für jede Menge aus der betrachteten σ-Algebra gilt. Setzt man nun aber als Folge von Maßen

$\mu _{n}(A)=\delta _{\tfrac {1}{n}}(A)$

das Dirac-Maß im Punkt ${\tfrac {1}{n}}$ , so würde man intuitiv erwarten, dass die Folge gegen $\delta _{0}$ , das Dirac-Maß in der 0, konvergiert. Auf dem Messraum $(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$ ist dann aber beispielsweise für die Menge $A=(-\infty ,0]$ die obige Forderung an die Konvergenz der Maße verletzt, denn es ist

$\lim _{n\to \infty }\delta _{\tfrac {1}{n}}(A)=0\neq \delta _{0}(A)=1$

Der Konvergenzbegriff ist also zu stark. Eine äquivalente Formulierung des obigen, intuitiven Konvergenzbegriffes für Folgen von Maßen ist

$\lim _{n\to \infty }\int _{X}f\mathrm {d} \mu _{n}=\int _{X}f\mathrm {d} \mu$

für alle $f\in {\mathcal {L}}^{\infty }(X,{\mathcal {A}},\mu )$ . Ausgehend von dieser Charakterisierung sucht man nun schwächere Funktionsklassen ${\mathcal {F}}$ und Mengen von Maßen ${\mathcal {M}}$ , so dass die obige Gleichung für diese Maße und diese Funktionenklassen gilt und ${\mathcal {F}}$ eine trennende Familie für ${\mathcal {M}}$ ist. Es soll also zusätzlich noch

$\int f\mathrm {d} \mu =\int f\mathrm {d} \nu {\text{ für alle }}f\in {\mathcal {F}}\implies \mu =\nu$

gelten. Dies garantiert die Eindeutigkeit des Grenzwertes. Wählt man nun als ${\mathcal {M}}$ die endlichen Maße auf der borelschen σ-Algebra und als ${\mathcal {F}}$ die beschränkten stetigen Funktionen, so erhält man die hier beschriebene schwache Konvergenz. Eine andere Wahl der Funktionenklassen und Mengen von Maßen liefert beispielsweise die vage Konvergenz oder die Konvergenz in Verteilung der Stochastik.

Beziehung zu weiteren Konvergenzarten

Beziehung zur Konvergenz bezüglich der Totalvariationsnorm

Betrachtet man die Menge der endlichen Maße als Teilmenge des Vektorraumes der endlichen signierten Maße versehen mit der Totalvariationsnorm als Norm, so lassen sich die Konvergenz bezüglich der Totalvariationsnorm und die schwache Konvergenz in Beziehung setzen. Aus der Konvergenz bezüglich der Totalvariationsnorm folgt dann immer die schwache Konvergenz, denn es ist

$\left|\int f\mathrm {d} \mu _{n}-\int f\mathrm {d} \mu \right|\leq \int |f|\mathrm {d} |\mu _{n}-\mu |\leq \|f\|_{\infty }\|\mu _{n}-\mu \|_{TV}$

für alle beschränkten stetigen Funktionen. Hierbei bezeichnet $|\mu |$ die Variation und $\|\mu \|_{TV}$ die Totalvariationsnorm des Maßes $\mu$ .

Beziehung zur Konvergenz nach Maß

Die Konvergenz nach Maß und die schwache Konvergenz lassen sich über die Konvergenz der Bildmaße verknüpfen: Sind $f_{n},f$ messbare Funktionen von einem endlichen Maßraum $(X, \mathcal A, \mu)$ in einen separablen metrischen Raum $(Y,d)$ mit der entsprechenden borelschen σ-Algebra, und konvergieren die f_n nach Maß gegen , so konvergieren auf dem Messraum $(Y,{\mathcal {B}}(Y))$ die Bildmaße $f_{n}(\mu )$ schwach gegen $f(\mu )$ .

Wichtige Sätze und Aussagen

Das Portmanteau-Theorem zählt verschiedene äquivalente Charakterisierungen der schwache Konvergenz von Maßen auf.
Nach dem Satz von Helly-Bray ist eine Folge von reellen endlichen Maßen auf $(\mathbb{R} ,{\mathcal B}(\mathbb{R} ))$ schwach konvergent, wenn die Verteilungsfunktionen schwach konvergieren
Allgemein folgt aus der Konvergenz bezüglich der Prochorow-Metrik die schwache Konvergenz. Ist der Grundraum ein separabler Raum, so sind die beiden Konvergenzarten äquivalent.
Die schwache Konvergenz erhält das Maß der Grundmenge. Dazu setzt man $f\equiv 1$ in der Definition. Somit sind schwache Grenzwerte von Folgen von (Sub-)Wahrscheinlichkeitsmaßen wieder (Sub-)Wahrscheinlichkeitsmaße.

Einordnung

In der Funktionalanalysis versteht man unter schwacher Konvergenz Folgendes: Ausgehend von einem normierten Vektorraum (hier den Raum der signierten Maße, versehen mit der Totalvariationsnorm) bildet man den topologischen Dualraum

$V':=\{T\;|\;T:V\to \mathbb {K} {\text{ ist linear und stetig }}\}$ .

Eine Folge $(x_{n})_{n\in N}$ in heißt dann schwach konvergent gegen $x\in V$ , wenn

$\lim _{n\to \infty }T(x_{n})=T(x){\text{ für alle }}T\in V'$

ist. In konkreten Fall wäre dies äquivalent dazu, dass $(\mu _{n})_{{n\in \mathbb{N} }}$ beschränkt ist und

$\lim _{n\to \infty }\mu _{n}(A)=\mu (A)$

für alle messbaren . Wie oben aber bereits gezeigt wurde ist dies im Allgemeinen falsch, nach dem Portmanteau-Theorem gilt es nur für randlose Mengen. Somit ist die hier beschrieben schwache Konvergenz echt schwächer als die schwache Konvergenz im Sinne der Funktionalanalysis.

Tatsächlich entspricht das Konzept der schwachen Konvergenz von Maßen viel eher der Schwach-*-Konvergenz als der schwachen Konvergenz. Dabei geht man wieder von einem normierten Vektorraum aus (diesmal der Raum der stetigen beschränkten Funktionen, versehen mit der Supremumsnorm) und dem topologischen Dualraum . Eine Folge $(T_{n})_{n\in \mathbb {N} }$ aus dem Dualraum heißt dann schwach-*-Konvergent gegen , wenn

$\lim _{n\to \infty }T_{n}(x)=T(x){\text{ für alle }}x\in V$ .

Da aber in diesem konkreten Fall jedes endliche Maß für $f\in C_{b}(X)$ durch

$f\mapsto \int f\mathrm {d} \mu$

eine stetige Linearform bildet, sind die endlichen Maße auf jeden Fall eine Teilmenge des Dualraumes und die schwache Konvergenz von Maßen ist eine Abwandlung der schwach-*-Konvergenz im Sinne der Funktionalanalysis.

Schwache Topologie

Die von der schwachen Konvergenz erzeugte Topologie $\tau _{S}$ wird die schwache Topologie genannt, auch wenn sie gemäß der obigen Ausführung eher der Schwach-*-Topologie entspricht. Sie ist die gröbste Topologie, so dass alle Abbildungen

${\mathcal {M}}_{f}^{+}(X)\to \mathbb {R}$

definiert durch

$\mu \mapsto \int f\mathrm {d} \mu {\text{ für ein }}f\in C_{b}(X)$

stetig sind. Entsprechend den obigen Eigenschaften ist $\tau _{S}$ schwächer als die von dem Totalvariationsabstand erzeugte Topologie. Auch ist sie auf beliebigen metrischen Räumen schwächer als die von der Prochorow-Metrik erzeugte Topologie $\tau _{P}$ . Ist ein separabler metrischer Raum, so ist $\tau _{S}$ äquivalent zu $\tau _{P}$ , da dann die schwache Konvergenz und die Konvergenz bezüglich der Prochorow-Metrik äquivalent sind. Demnach metrisiert in diesem Fall die Prochorow-Metrik die schwache Konvergenz.

Außerdem ist sie hausdorffsch, das heißt $({\mathcal {M}}_{f}^{+}(X),\tau _{S})$ ist ein Hausdorff-Raum. Eine Umgebungsbasis von $\mu _{0}\in {\mathcal {M}}_{f}^{+}(X)$ wird gebildet von

$U_{\epsilon ;f_{1},\dots ,f_{n}}(\mu _{0})=\{\mu \in {\mathcal {M}}_{f}^{+}(X)\,|\,\left|\int f_{j}\mathrm {d} \mu -\int f_{j}\mathrm {d} \mu _{0}\right|<\epsilon {\text{ für alle }}i=1,\dots ,n\}$ ,

wobei die $f_{i}\in C_{b}(X)$ sind.

Basierend auf einem Artikel in:

Wikipedia.de