Der Satz von Gliwenko-Cantelli oder Satz von Gliwenko, auch Hauptsatz der mathematischen Statistik oder Fundamentalsatz der Statistik genannt, englisch Central statistical theorem, ist ein mathematischer Lehrsatz auf dem Gebiet der Wahrscheinlichkeitsrechnung, welcher auf zwei Arbeiten der beiden Mathematiker Waleri Iwanowitsch Gliwenko und Francesco Cantelli aus dem Jahre 1933 zurückgeht. Aus dem Satz geht hervor, dass bei unabhängig durchgeführten Zufallsversuchen die aus den Zufallsstichproben gewonnenen empirischen Verteilungsfunktionen einer Zufallsgröße gleichmäßig mit Wahrscheinlichkeit Eins gegen deren tatsächliche Verteilungsfunktion konvergieren und dass dadurch die Möglichkeit der Schätzung dieser Verteilungsfunktion gegeben ist.

Formulierung des Satzes im Einzelnen

Der Satz lässt sich angeben wie folgt:

Gegeben seien ein Wahrscheinlichkeitsraum

${\displaystyle (\Omega ,{\mathcal {A}},\operatorname {P} )}$

und darauf eine Folge

${\displaystyle X_{n}\colon (\Omega ,{\mathcal {A}},\operatorname {P} )\to \mathbb {R} \quad (n\in \mathbb {N} )}$

von stochastisch unabhängigen und identisch verteilten Zufallsvariablen mit gemeinsamer Verteilungsfunktion ${\displaystyle F\colon \mathbb {R} \to \mathbb {R} }$.

Die zum Stichprobenumfang ${\displaystyle n\in \mathbb {N} }$ gehörige empirische Verteilungsfunktion ist

${\displaystyle F_{n}\colon {\mathbb {R} \times \Omega }\to [0,1]}$

mit

${\displaystyle F_{n}(x,\omega )={\frac {1}{n}}\cdot \sum _{k=1}^{n}{\chi _{(-\infty ,x]}(X_{k}(\omega ))}\quad (x\in \mathbb {R} ,\omega \in \Omega )}$.

Hierzu hat man auf dem gegebenen Wahrscheinlichkeitsraum die Zufallsvariable

${\displaystyle D_{n}\colon \Omega \to \mathbb {R} }$

mit

${\displaystyle D_{n}(\omega )=\sup _{x\in \mathbb {R} }{\bigl |}F_{n}(x,\omega )-F(x){\bigr |}}$,

welche die obere Grenze aller Abstände dieser empirischen Verteilung von der gemeinsamen Verteilung ${\displaystyle F}$ unter Berücksichtigung alle nur möglichen Ausprägungen ${\displaystyle x\in \mathbb {R} }$ angibt.

Dann gilt:

Die Folge ${\displaystyle (D_{n})_{n\in \mathbb {N} }}$ konvergiert mit Wahrscheinlichkeit 1, also fast sicher, gegen Null.

Es gilt also

${\displaystyle \operatorname {P} {\bigl (}\lim _{n\to \infty }D_{n}=0{\bigr )}=1}$.

Anmerkungen

1. Der Satz ergibt sich als Anwendung des kolmogorowschen Gesetzes der großen Zahlen.
2. Er ist in verschiedene Richtungen verallgemeinert und abgewandelt worden. Einen Eindruck davon gibt die Arbeit des dänischen Mathematikers Flemming Topsøe aus dem Jahre 1970.

Quellen und Hintergrundliteratur

Einzelnachweise

1. ↑ Marek Fisz: Wahrscheinlichkeitsrechnung und mathematische Statistik. 1980, S. 456 ff
2. ↑ P. Gänssler, W. Stute: Wahrscheinlichkeitstheorie. 1977, S. 145
3. ↑ B. W. Gnedenko: Einführung in die Wahrscheinlichkeitstheorie 1980, S. 185 ff
4. ↑ Achim Klenke: Wahrscheinlichkeitstheorie. 2013, S. 117 ff
5. ↑ Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie: Eine Einführung. 2014, S. 262 ff
6. ↑ Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2009, S. 353 ff
7. ↑ Walter Vogel: Wahrscheinlichkeitstheorie. 1970, S. 318 ff
8. ↑ Mit ${\displaystyle \chi }$ werde die charakteristische Funktion bezeichnet.
9. ↑ Dabei steht ${\displaystyle \sup }$ für das Supremum.
10. ↑ Flemming Topsøe: On the Glivenko-Cantelli theorem. in: Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 14 , S. 239 ff