Satz von Gliwenko-Cantelli
# Satz von Gliwenko-Cantelli

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

Der Satz lässt sich angeben wie folgt:
Gegeben seien ein Wahrscheinlichkeitsraum
    $(\Omega ,{\mathcal {A}},\operatorname {P} )$
und darauf eine Folge
    $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 $F\colon \mathbb {R} \to \mathbb {R}$.
Die zum Stichprobenumfang $n\in \mathbb {N}$ gehörige empirische Verteilungsfunktion ist
    $F_{n}\colon {\mathbb {R} \times \Omega }\to [0,1]$
    mit
    $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
    $D_{n}\colon \Omega \to \mathbb {R}$
    mit
    $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 $F$ unter Berücksichtigung alle nur möglichen Ausprägungen $x\in \mathbb {R}$ angibt.
Dann gilt:
    Die Folge $(D_{n})_{n\in \mathbb {N} }$ konvergiert mit Wahrscheinlichkeit 1, also fast sicher, gegen Null.
    Es gilt also
    $\operatorname {P} {\bigl\lim _{n\to \infty }D_{n}=0{\bigr )}=1$.