Konvergenz (Stochastik)

In der Stochastik existieren verschiedene Konzepte eines Grenzwertbegriffs für Zufallsvariablen. Anders als im Fall reeller Zahlenfolgen gibt es keine natürliche Definition für das Grenzverhalten von Zufallsvariablen bei wachsendem Stichprobenumfang, weil das asymptotische Verhalten der Experimente immer von den einzelnen Realisierungen abhängt und wir es also formal mit der Konvergenz von Funktionen zu tun haben. Daher haben sich im Laufe der Zeit unterschiedlich starke Konzepte herausgebildet, die wichtigsten dieser Konvergenzarten werden im Folgenden kurz vorgestellt.

Voraussetzungen

Wir werden die klassischen Konvergenzbegriffe immer im folgenden Modell formulieren: Gegeben sei eine Folge $(X_n{)}_{(n\in \mathbb{N})}$ von Zufallsvariablen, die auf einem Wahrscheinlichkeitsraum $(\mathrm{\Omega },\mathrm{\Sigma },P)$ definiert sind und in denselben normierten Raum abbilden. Dieser Bildraum wird mit seiner Borel-Algebra in natürlicher Weise zu einem Messraum. Um die Kernaussagen zu verstehen, genügt es, sich stets reelle Zufallsvariablen vorzustellen. Andererseits können die folgenden Definitionen in naheliegender Weise auf den Fall metrischer Räume als Bildraum verallgemeinert werden.

Eine Realisierung dieser Folge wird üblicherweise mit $X_n(\omega )$ bezeichnet.

Fast sichere Konvergenz

Vorlage:Hauptartikel Der Begriff der fast sicheren Konvergenz ist am ehesten mit der Formulierung für Zahlenfolgen vergleichbar. Er wird vor allem bei der Formulierung von starken Gesetzen der großen Zahlen verwendet.

Man sagt, dass die Folge $X_n$ fast sicher gegen eine Zufallsvariable $X$ konvergiert, falls

$P(\underset{n\to \mathrm{\infty }}{\lim }{X}_n=X)=P\left(\{\omega \in \mathrm{\Omega }|\underset{n\to \mathrm{\infty }}{\lim }{X}_n(\omega )=X(\omega )\}\right)=1$

gilt und schreibt dann $X_n\stackrel{\text{ f. s. }}{\to }X$. Übersetzt bedeutet dies, dass für fast alle Realisierungen der Folge der klassische Konvergenzbegriff bezüglich der Norm gilt. Die fast sichere Konvergenz entspricht damit der punktweisen Konvergenz μ-fast überall aus der Maßtheorie.

Konvergenz im p-ten Mittel

Vorlage:Hauptartikel Ein integrationstheoretischer Ansatz wird mit dem Begriff der Konvergenz im $p$-ten Mittel verfolgt. Es werden dabei nicht einzelne Realisierungen betrachtet, sondern Erwartungswerte der Zufallsvariablen.

Formal konvergiert $X_n$ im $p$-ten Mittel gegen eine Zufallsvariable $X$, falls

$\underset{n\to \mathrm{\infty }}{\lim }E[|X_n-X{|}^p]=0$

gilt. Dabei wird $p\ge 1$ vorausgesetzt. Dies bedeutet, dass die Differenz $X_n-X$ im L^p-Raum ${ℒ}^p(P)$ gegen $0$ konvergiert. Man bezeichnet diese Konvergenz daher auch als ${ℒ}^p$-Konvergenz.

Wegen der Ungleichung der verallgemeinerten Mittelwerte folgt für $q>p$ aus der Konvergenz im $q$-ten Mittel die Konvergenz im $p$-ten Mittel.

Konvergenz in Wahrscheinlichkeit

Vorlage:Hauptartikel Ein etwas schwächerer Konvergenzbegriff ist die stochastische Konvergenz oder Konvergenz in Wahrscheinlichkeit. Wie der Name bereits suggeriert, werden nicht spezielle Realisierungen der Zufallsvariablen betrachtet, sondern Wahrscheinlichkeiten für bestimmte Ereignisse. Eine klassische Anwendung der stochastischen Konvergenz sind schwache Gesetze der großen Zahlen.

Die mathematische Formulierung für reelle Zufallsvariablen lautet: Eine Folge $(X_n{)}_{n\in \mathbb{N}}$ von reellen Zufallsvariablen konvergiert stochastisch gegen eine Zufallsvariable $X$, falls

$\mathrm{\forall }\epsilon >0:\underset{n\to \mathrm{\infty }}{\lim }P(|X_n-X|>\epsilon )=0$

gilt. Für die Konvergenz in Wahrscheinlichkeit werden meist folgende Schreibweisen verwendet: ${\mathrm{P-lim}}_{n\to \mathrm{\infty }}{X}_n=X$ oder $\mathrm{plim}(X_n)=X$ oder $X_n\stackrel{P}{\to }X$.

Die stochastische Konvergenz entspricht der Konvergenz dem Maße nach aus der Maßtheorie.

Schwache Konvergenz

Vorlage:Hauptartikel Der vierte prominente Konvergenzbegriff ist der der Konvergenz in Verteilung, manchmal auch schwache Konvergenz (für Zufallsvariablen) genannt. Er entspricht der schwachen Konvergenz für Maße der Maßtheorie.

Eine Folge von Zufallsvariablen $X_n$ konvergiert in Verteilung gegen die Zufallsvariable $X$, wenn die Folge der induzierten Bildmaße ${\mu }_n(A):=P(X_n\in A)$ schwach gegen das Bildmaß $\mu (A):=P(X\in A)$ konvergiert. Das heißt, für alle stetigen beschränkten Funktionen $f$ gilt

$\underset{n\to \mathrm{\infty }}{\lim }E(f\circ X_n)=E(f\circ X)$.

Für reelle Zufallsvariable ist nach dem Satz von Helly-Bray die folgende Charakterisierung äquivalent dazu: Für die Verteilungsfunktionen $F_n$ von $X_n$ und $F$ von $X$ gilt

$\underset{n\to \mathrm{\infty }}{\lim }{F}_n(x)=F(x)$

an allen Stellen $x\in ℝ$, an denen $F$ stetig ist. Die wohl bekanntesten Anwendungen der Konvergenz in Verteilung sind zentrale Grenzwertsätze.

Da die Konvergenz in Verteilung ausschließlich durch die Bildmaße bzw. durch die Verteilungsfunktion der Zufallsvariablen definiert sind, ist es nicht notwendig, dass die Zufallsvariablen auf demselben Wahrscheinlichkeitsraum definiert sind.

Als Notation verwendet man in der Regel $X_n\stackrel{w}{\to }X$ oder $X_n\stackrel{𝒟}{\to }X$, manchmal aber auch $X_n⟹X$. Die Buchstaben „W“ bzw. „D“ stehen dabei für die entsprechenden Begriffe im Englischen, also weak convergence bzw. convergence in distribution.

Zusammenhang zwischen den einzelnen Konvergenzarten

In der Reihe der wichtigsten Konvergenzbegriffe in der Stochastik stellen die beiden zuerst vorgestellten Begriffe die stärksten Konvergenzarten dar. Sowohl aus fast sicherer Konvergenz als auch aus Konvergenz im p-ten Mittel lässt sich immer die stochastische Konvergenz einer Folge von Zufallsvariablen ableiten. Ferner folgt aus stochastischer Konvergenz automatisch auch die Konvergenz in Verteilung, die die schwächste der hier vorgestellten Konvergenzarten ist. Kompakt gilt also

$\begin{array}{c}\text{Fast sichere}\\ \text{Konvergenz}\end{array}⟹\begin{array}{c}\text{Konvergenz in}\\ \text{Wahrscheinlichkeit}\end{array}⟹\begin{array}{c}\text{Konvergenz in}\\ \text{Verteilung}\end{array}$

und

$\begin{array}{c}\text{Konvergenz im}\\ \text{p-ten Mittel}\end{array}⟹\begin{array}{c}\text{Konvergenz in}\\ \text{Wahrscheinlichkeit}\end{array}⟹\begin{array}{c}\text{Konvergenz in}\\ \text{Verteilung}\end{array}$.

In Ausnahmefällen gelten auch noch andere Implikationen: Wenn eine Folge von Zufallsvariablen in Verteilung gegen eine Zufallsvariable X konvergiert und X fast sicher konstant ist, dann konvergiert diese Folge auch stochastisch.

Aus der Konvergenz im p-ten Mittel folgt im Allgemeinen nicht die fast sichere Konvergenz. Umgekehrt lässt sich aus fast sicherer Konvergenz im Allgemeinen auch keine Konvergenz im p-ten Mittel schließen. Allerdings ist dieser Schluss erlaubt, wenn es eine gemeinsame Majorante in $L^p$ gibt (siehe Satz von der majorisierten Konvergenz). Eine Folge von Zufallsvariablen konvergiert genau dann in $L^1$, wenn sie stochastisch konvergiert und gleichgradig integrierbar ist.

Beispiel

Auf dem Wahrscheinlichkeitsraum $(\mathrm{\Omega },\mathrm{\Sigma },P)$ mit $\mathrm{\Omega }=[0,1]$, $\mathrm{\Sigma }$ den Borelmengen und $P$ dem Borel-Lebesgue-Maß betrachte man die Zufallsvariable $X(\omega )=0$ sowie die Folge $X_n(\omega )$ der Zufallsvariablen, die für $n=2^k+m$ mit $0\le m<2^k$ (jedes natürliche $n$ besitzt eine eindeutige Zerlegung dieser Art) folgendermaßen definiert ist:

$X_n(\omega )=\{\begin{array}{cc}1& \text{falls }\frac{m}{2^k}\le \omega \le \frac{m+1}{2^k}\\ 0& \text{sonst.}\end{array}$

Die Funktionen $X_n$ sind sozusagen immer dünner werdende Zacken, die über das Intervall $[0,1]$ laufen.

Wegen

$E[|X_n-X{|}^p]=\underset{0}{\overset{1}{\int }}|X_n(\omega )-0{|}^{p}d\omega =\frac{1}{2^k}\to 0$

konvergiert $X_n$ im p-ten Mittel gegen $X$. Aus dem oben beschriebenen Zusammenhang zwischen den einzelnen Konvergenzarten folgt, dass $X_n$ ebenso stochastisch gegen $X$ konvergiert, wie sich auch aus

$P(|X_n-X|>\epsilon )=\{\begin{array}{cc}\frac{1}{2^k}& \text{für}0<\epsilon \le 1\\ 0& \text{für}\epsilon >1\end{array}$

und wegen $k\to \mathrm{\infty }$ für $n\to \mathrm{\infty }$, also

$P(|X_n-X|>\epsilon )\le \frac{1}{2^k}\to 0\text{für jedes}\epsilon >0$

erkennen lässt.

Für jedes fixe $\omega \in [0,1]$ gilt aber $X_n(\omega )=1$ für unendliche viele $n$, ebenso ist $X_n(\omega )=0$ für unendlich viele $n$, sodass also keine fast sichere Konvergenz von $X_n$ vorliegt. Zu jeder Teilfolge $X_{n_i}$ von $X_n$ lässt sich allerdings eine Teilteilfolge $X_{n_{i_j}}$ finden, die fast sicher gegen $X$ konvergiert. Gäbe es eine Topologie der fast sicheren Konvergenz, so würde aus dieser Eigenschaft folgen, dass $X_n$ fast sicher gegen $X$ konvergiert. Dieses Beispiel zeigt also auch, dass es keine Topologie der fast sicheren Konvergenz geben kann.

Siehe auch

• Maßtheoretische Konvergenzbegriffe

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur