Lindeberg-Bedingung

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Lindeberg-Bedingung ist ein Begriff aus der Stochastik. Erfüllt eine Folge von stochastisch unabhängigen Zufallsvariablen diese Bedingung, so gilt für sie der Zentrale Grenzwertsatz, auch wenn die Zufallsvariablen nicht zwingenderweise identisch verteilt sind.

Die Lindeberg-Bedingung wurde nach dem finnischen Mathematiker Jarl Waldemar Lindeberg benannt. Eine weitere hinreichende Bedingung für den zentralen Grenzwertsatz ist die Ljapunow-Bedingung.

Formulierung[Bearbeiten]

Seien X_1, X_2, X_3, \ldots unabhängige, quadratisch integrierbare Zufallsvariablen mit {\sigma_n}^2 := \mbox{Var}(X_n)>0 für alle n\in\mathbb N und seien

s_n:=\sqrt[+]{\sum_{k=1}^n {\sigma_k}^2} \quad,\quad \mu_n:=\mbox{E}(X_n) \quad \forall\ n\in\mathbb N .

Gilt dann die Lindeberg-Bedingung

\forall\ \varepsilon>0:\quad \lim_{n \to \infty} \sum_{i = 1}^{n} \mbox{E}\left(\frac{(X_i - \mu_i)^2}{s_n^2} \cdot 1_{\left\{| X_i - \mu_i| > \varepsilon s_n\right\}}\right) = \lim_{n\to\infty} \frac{1}{s_n^2}\sum_{i=1}^n \int_{\left\{| x - \mu_i| > \varepsilon s_n\right\}} (x-\mu_i)^2 P_{X_i}(dx) = 0 ,

so genügt die Folge (X_i)_{i} dem zentralen Grenzwertsatz, d.h. die Größe

\frac{1}{s_n} \sum_{i=1}^n (X_i-\mu_i)

konvergiert in Verteilung für n\to\infty gegen eine standardnormalverteilte Zufallsgröße Z\sim\mathcal N(0,1), sprich

\forall\ z\in\mathbb R:\quad \lim_{n\rightarrow\infty}\mbox{P}\left(\frac1{s_n}\sum_{i=1}^n(X_i-\mu_i)\leq z\right) = \mbox{P}(Z\leq z) = \Phi(z) ,

wobei hier \Phi die Verteilungsfunktion der Standardnormalverteilung beschreibt.

Umkehrung[Bearbeiten]

Die Umkehrung des obigen Sachverhaltes gilt i.A. nicht. Hierfür ist eine zusätzliche Forderung an die Folge X_1, X_2,\dots notwendig:

Die unabhängige Folge (X_i)_i quadratisch integrierbarer, reeller Zufallsvariablen mit \sigma_i^2>0\ \forall i genüge dem zentralen Grenzwertsatz und erfülle weiter die Fellersche Bedingung

\lim_{n\to\infty}\left(\max_{j\in\{1,...,n\}} \frac{\sigma_j}{s_n}\right) = 0 .

Dann erfüllt die Folge (X_i)_i auch die Lindeberg-Bedingung.

Literatur[Bearbeiten]

Weblink[Bearbeiten]