Satz von Donsker

Der Satz von Donsker ist ein fundamentaler Satz aus der Stochastik, genauer aus der Theorie der stochastischen Prozesse. Der Satz begründet die Existenz des Wiener-Maßes bzw. der Brownschen Bewegung und bietet zugleich eine Konstruktionsmöglichkeit.

Das Theorem ist die funktionale Variante des zentralen Grenzwertsatzes und ist deshalb auch unter dem Namen Funktionaler Grenzwertsatz und Donskersches Invarianzprinzip bekannt.

Er wurde 1952 vom amerikanischen Mathematiker Monroe D. Donsker bewiesen.

Aussage

Sei

• $C[0,1]$ der Raum der stetigen Funktionen auf $[0,1]$,
• ${\mathcal {B}}(C[0,1])$ die borelsche σ-Algebra auf $C[0,1]$,
• ${\mathcal {M}}$ der Raum der Wahrscheinlichkeitsmaße über $(C[0,1],{\mathcal {B}}(C[0,1]))$,

Weiter sei $(\Omega ,{\mathcal {F}},P)$ ein Wahrscheinlichkeitsraum und $(X_{n})_{n\in \mathbb {N} }$ i.i.d. reelle Zufallsvariablen darauf, so dass $\mathbb {E} [X_{n}]=0$ und $\mathbb {E} [X_{n}^{2}]=\sigma ^{2}$ für alle $n\in \mathbb {N}$ gilt. Sei $S_{n}=\sum \limits _{k=1}^{n}X_{k}$ mit $S_{0}=0$, konstruiere

$X_{t}^{(n)}(\omega )=({\sqrt {n}}\sigma )^{-1}S_{[nt]}(\omega )+(nt-[nt])({\sqrt {n}}\sigma )^{-1}X_{[nt]+1}(\omega ),\quad t\in [0,1].$

$X^{(n)}:\Omega \to C[0,1]$ ist die stückweise lineare Interpolation mit $X_{i/n}^{(n)}(\omega )=(\sigma {\sqrt {n}})^{-1}S_{i}(\omega )$ für $i=0,\dots ,n$. Sei $\mu _{n}\in {\mathcal {M}}$ das Bildmaß $\mu _{n}=P\circ (X^{(n)})^{-1}$, dann konvergiert $\mu _{n}$ schwach gegen das Wiener-Maß.

Erläuterungen

• Da der Satz keine zugrundeliegende Verteilung an die $X_{n}$ voraussetzt (nur dass diese iid sind), spricht man vom Donskerschen Invarianzprinzip.