Schwaches Gesetz der großen Zahlen

Das schwache Gesetz der großen Zahlen ist eine Aussage der Wahrscheinlichkeitstheorie, die sich mit dem Grenzwertverhalten von Folgen von Zufallsvariablen beschäftigt. Dabei werden Aussagen über die Konvergenz in Wahrscheinlichkeit der Mittelwerte der Zufallsvariablen getroffen. Das schwache Gesetz der großen Zahlen ist eng mit dem starken Gesetz der großen Zahlen verwandt, dieses verwendet jedoch einen anderen Konvergenzbegriff, die fast sichere Konvergenz. Beide zählen zu den Gesetzen der großen Zahlen und damit zu den Grenzwertsätzen der Stochastik.

Im Laufe der Zeit wurden die Voraussetzungen, unter denen das schwache Gesetz der großen Zahlen gilt, immer weiter abgeschwächt, während dementsprechend die zum Beweis nötigen Mittel immer fortgeschrittener wurden. Einige der geschichtlich bedeutsamen Formulierungen des schwachen Gesetzes der großen Zahlen tragen auch Eigennamen wie beispielsweise Bernoullis Gesetz der großen Zahlen (nach Jakob I Bernoulli), Tschebyscheffs schwaches Gesetz der großen Zahlen (nach Pafnuti Lwowitsch Tschebyschow) oder Khinchins schwaches Gesetz der großen Zahlen (nach Alexander Jakowlewitsch Chintschin). Bisweilen finden sich noch Bezeichnungen wie ${\mathcal {L}}^{2}$ -Version oder ${\mathcal {L}}^{1}$ -Version des schwachen Gesetzes der großen Zahlen für Formulierungen, die lediglich die Existenz der Varianz oder des Erwartungswertes als Voraussetzung benötigen.

Formulierung

Gegeben sei eine Folge von Zufallsvariablen $(X_{n})_{{n\in \mathbb{N} }}$ , für deren Erwartungswert gelte $\operatorname {E} (|X_{n}|)<\infty$ für alle $n\in \mathbb{N}$ . Man sagt, die Folge genügt dem schwachen Gesetz der großen Zahlen, wenn die Folge

${\overline {X}}_{n}:={\frac {1}{n}}\sum _{i=1}^{n}\left(X_{i}-E(X_{i})\right)$

der zentrierten Mittelwerte in Wahrscheinlichkeit gegen 0 konvergiert, das heißt es gilt

$\lim _{n\to \infty }P\left(\left|{\overline {X}}_{n}\right|\geq \epsilon \right)=0$

für alle $\epsilon >0$ .

Interpretation und Unterschied zum starken Gesetz der großen Zahlen

→ Hauptartikel: Gesetze der großen Zahlen: Interpretation der Aussagen

Aus dem starken Gesetz der großen Zahlen folgt immer das schwache Gesetz der großen Zahlen.

Gültigkeit

Im Folgenden sind verschiedene Voraussetzungen, unter denen das schwache Gesetz der großen Zahlen gilt, aufgelistet. Dabei steht die schwächste und auch speziellste Aussage ganz oben, die stärkste und allgemeinste ganz unten.

Bernoullis Gesetz der großen Zahlen

Sind $(X_{n})_{{n\in \mathbb{N} }}$ unabhängig identisch Bernoulli-verteilte Zufallsvariablen zum Parameter $p\in (0,1)$ , das heißt

$X_{n}\sim \operatorname {Ber} (p)$ ,

so genügt $(X_{n})_{{n\in \mathbb{N} }}$ dem schwachen Gesetz der großen Zahlen und der Mittelwert konvergiert in Wahrscheinlichkeit gegen den Parameter .

Diese Aussage geht auf Jakob I Bernoulli zurück, wurde jedoch erst 1713 posthum in der von seinem Neffen Nikolaus I Bernoulli herausgegebenen Ars conjectandi veröffentlicht.

Tschebyscheffs schwaches Gesetz der großen Zahlen

Sind $(X_{n})_{{n\in \mathbb{N} }}$ unabhängig identisch verteilte Zufallsvariablen mit endlichem Erwartungswert und endlicher Varianz, so genügt $(X_{n})_{{n\in \mathbb{N} }}$ dem schwachen Gesetz der großen Zahlen.

Diese Aussage geht auf Pafnuti Lwowitsch Tschebyschow (alternative Transkriptionen aus dem Russischen Tschebyscheff oder Chebyshev) zurück, der sie 1866 bewies.

L²-Version des schwachen Gesetzes der großen Zahlen

Sind $(X_{n})_{{n\in \mathbb{N} }}$ eine Folge von Zufallsvariablen, für die gilt:

Die $X_{n}$ sind paarweise unkorreliert, das heißt es ist $\operatorname {Cov} (X_{i},X_{j})=0$ für $i\neq j$ .
Für die Folge der Varianzen der $X_{n}$ gilt

$\lim _{n\to \infty }{\frac {1}{n^{2}}}\sum _{i=1}^{n}\operatorname {Var} (X_{i})=0$ .

Dann genügt $(X_{n})_{{n\in \mathbb{N} }}$ dem schwachen Gesetz der großen Zahlen.

Dabei ist die Bedingung an die Varianzen beispielsweise erfüllt, wenn die Folge der Varianzen beschränkt ist, es ist also $\sup _{n\in \mathbb {N} }\operatorname {Var} (X_{n})<\infty$ .

Diese Aussage ist aus zweierlei Gründen eine echte Verbesserung gegenüber dem schwachen Gesetz der großen Zahlen von Tschebyscheff:

Paarweise Unkorreliertheit ist eine schwächere Forderung als Unabhängigkeit, da aus Unabhängigkeit immer paarweise Unkorreliertheit folgt, der Umkehrschluss aber im Allgemeinen nicht gilt.
Die Zufallsvariablen müssen auch nicht mehr dieselbe Verteilung besitzen, es genügt die obige Forderung an die Varianzen.

Die Benennung in L²-Version kommt aus der Forderung, dass die Varianzen endlich sein sollen, dies entspricht in maßtheoretischer Sprechweise der Forderung, dass die Zufallsvariable (messbare Funktion) im Raum der quadratintegrierbaren Funktionen liegen soll.

Khinchins schwaches Gesetz der großen Zahlen

Sind $(X_{n})_{{n\in \mathbb{N} }}$ unabhängig identisch verteilte Zufallsvariablen mit endlichem Erwartungswert, so genügt die Folge dem schwachen Gesetz der großen Zahlen.

Dieser Satz wurde 1929 von Alexander Jakowlewitsch Chintschin (alternative Transkriptionen aus dem Russischen Khintchine oder Khinchin) bewiesen und zeichnet sich dadurch aus, dass er die erste Formulierung eines schwachen Gesetzes der großen Zahlen liefert, die ohne die Voraussetzung einer endlichen Varianz auskommt.

L¹-Version des schwachen Gesetzes der großen Zahlen

Sei $(X_{n})_{{n\in \mathbb{N} }}$ eine Folge von paarweise unabhängigen Zufallsvariablen, die identisch verteilt sind und einen endlichen Erwartungswert besitzen. Dann genügt $(X_{n})_{{n\in \mathbb{N} }}$ dem schwachen Gesetz der großen Zahlen.

Diese Aussage ist eine echte Verbesserung gegenüber dem schwachen Gesetz der großen Zahlen von Khinchin, da aus paarweiser Unabhängigkeit von Zufallsvariablen nicht die Unabhängigkeit der gesamten Folge von Zufallsvariablen folgt.

Beweisskizzen

Als Abkürzungen seien vereinbart

${\overline {X}}_{n}:={\frac {1}{n}}\sum _{i=1}^{n}\left(X_{i}-\operatorname {E} (X_{i})\right),\quad S_{n}:=\sum _{i=1}^{n}X_{i},\quad M_{n}:={\frac {1}{n}}\sum _{i=1}^{n}X_{i}$

Versionen mit endlicher Varianz

Die Beweise der Versionen des schwachen Gesetzes der großen Zahlen, welche die Endlichkeit der Varianz als Voraussetzung benötigen, beruhen im Kern auf der Tschebyscheff-Ungleichung

$\operatorname {P} \left[\left|Y-\operatorname {E} (Y)\right|\geq \epsilon \right]\leq {\frac {\operatorname {Var} (Y)}{\epsilon ^{2}}}$ ,

hier für die Zufallsvariable formuliert.

Der Beweis von Bernoullis Gesetz der großen Zahlen ist somit elementar möglich: Gilt für $X_{n}\sim \operatorname {B} (p)$ , so ist $S_{n}$ binomialverteilt, also $S_{n}\sim \operatorname {Bin} (n,p)$ . Damit ist

$\operatorname {E} (M_{n})={\tfrac {1}{n}}\operatorname {E} (S_{n})={\frac {np}{n}}=p\quad {\text{ und }}\quad \operatorname {Var} (M_{n})=\operatorname {Var} ({\tfrac {1}{n}}S_{n})={\frac {1}{n^{2}}}\operatorname {Var} (S_{n})={\frac {np(1-p)}{n^{2}}}={\frac {p(1-p)}{n}}$ .

Wendet man nun die Tschebyscheff-Ungleichung auf die Zufallsvariable $M_{n}$ an, so folgt

$P\left(\left|{\frac {1}{n}}\sum _{i=1}^{n}(X_{i}-\operatorname {E} (X_{i}))\right|\geq \epsilon \right)=P\left(\left|M_{n}-\operatorname {E} (M_{n})\right|\geq \epsilon \right)\leq {\frac {p(1-p)}{\epsilon ^{2}n}}\to 0$

für $n \to \infty$ und alle $\epsilon >0$ .

Analog folgt der Beweis von Tschebyscheffs schwachem Gesetz der großen Zahlen. Ist $\operatorname {E} (X_{n})=\mu$ und $\operatorname {Var} (X_{n})=\sigma ^{2}<\infty$ , ist aufgrund der Linearität des Erwartungswertes

$\operatorname {E} (M_{n})={\tfrac {1}{n}}\operatorname {E} (S_{n})={\frac {n\mu }{n}}=\mu$ .

Die Identität

$\operatorname {Var} (M_{n})=\operatorname {Var} ({\tfrac {1}{n}}S_{n})={\frac {1}{n^{2}}}\operatorname {Var} (S_{n})={\frac {n\sigma ^{2}}{n^{2}}}={\frac {\sigma ^{2}}{n}}$

folgt aus der Gleichung von Bienaymé und der Unabhängigkeit der Zufallsvariablen. Der weitere Beweis folgt wieder mit der Tschebyscheff-Ungleichung, angewandt auf die Zufallsvariable $M_{n}$ .

Zum Beweis der $L^{2}$ -Version geht man o.B.d.A. davon aus, dass alle Zufallsvariablen den Erwartungswert 0 haben. Aufgrund der paarweisen Unkorreliertheit gilt die Gleichung von Bienaymé noch, es ist dann

$\operatorname {Var} (M_{n})={\frac {\sum _{i=1}^{n}\operatorname {Var} (X_{i})}{n^{2}}}$ .

Durch Anwendung der Tschebyscheff-Ungleichung erhält man

$\operatorname {P} \left[\left|M_{n}\right|\geq \epsilon \right]\leq {\frac {\operatorname {Var} (M_{n})}{\epsilon ^{2}}}={\frac {\sum _{i=1}^{n}\operatorname {Var} (X_{i})}{n^{2}\epsilon ^{2}}}\rightarrow 0$ .

für $n \to \infty$ nach der Voraussetzung an die Varianzen.

Khinchins schwaches Gesetz der großen Zahlen

Verzichtet man auf die endliche Varianz als Voraussetzung, so steht die Tschebyscheff-Ungleichung zum Beweis nicht mehr zur Verfügung.

Der Beweis erfolgt stattdessen mithilfe von charakteristischen Funktionen. Ist $\operatorname {E} (X_{n})=\mu$ , so folgt mit den Rechenregeln für die charakteristischen Funktionen und der Taylor-Entwicklung, dass

$\varphi _{M_{n}}(t)=\left(\varphi _{X_{1}}\left({\tfrac {t}{n}}\right)\right)^{n}=\left(1+{\frac {i\mu t+n{\hbox{o}}\left({\tfrac {t}{n}}\right)}{n}}\right)^{n}$ ,

was für $n \to \infty$ aufgrund der Definition der Exponentialfunktion gegen $\exp(i\mu t)$ konvergiert, der charakteristischen Funktion einer Dirac-verteilten Zufallsvariable. Also konvergiert $M_{n}$ in Verteilung gegen eine Dirac-verteilte Zufallsvariable im Punkt $\mu$ . Da aber diese Zufallsvariable fast sicher konstant ist, folgt auch die Konvergenz in Wahrscheinlichkeit der $M_{n}$ gegen $\mu$ , was zu zeigen war.

Alternative Formulierungen

Allgemeinere Formulierung

Etwas allgemeiner sagt man, dass die Folge der Zufallsvariablen dem schwachen Gesetz der großen Zahlen genügt, wenn es reelle Folgen $(b_{n})_{n\in \mathbb {N} }$ mit $\lim _{n\to \infty }b_{n}=\infty$ und $(a_{n})_{{n\in \mathbb{N} }}$ gibt, so dass für die Partialsumme

$S_{n}:=\sum _{i=1}^{n}X_{i}$

die Konvergenz

${\frac {S_{n}}{b_{n}}}-a_{n}\rightarrow 0$

in Wahrscheinlichkeit gilt.

Mit dieser Formulierung lassen sich auch Konvergenzaussagen treffen, ohne dass die Existenz der Erwartungswerte vorausgesetzt werden muss.

Speziellere Formulierung

Manche Autoren betrachten die Konvergenz in Wahrscheinlichkeit der gemittelten Partialsummen ${\frac {1}{n}}\sum _{i=1}^{n}X_{i}$ gegen $\operatorname {E} (X_{0})$ . Diese Formulierung setzt jedoch voraus, dass alle Zufallsvariablen denselben Erwartungswert haben.