Prinzip der großen Abweichungen

Das Prinzip der großen Abweichungen (kurz LDP von Large Deviation Principle) ist ein Begriff aus der Theorie der großen Abweichungen. Es handelt sich um eine Charakterisierung des Grenzverhaltens einer Folge von Wahrscheinlichkeitsmaßen in Relation zu einer Ratenfunktion (siehe Konvergenzrate).

Definition

Ratenfunktion

Sei $X$ ein topologischer Raum, der Hausdorff ist mit borelscher σ-Algebra $ℬ$. Eine Funktion $I:X\to [0,\mathrm{\infty }]$ heißt Ratenfunktion (auch Cramér-Funktion genannt) falls Folgendes gilt:

1. $I$ ist unterhalbstetig, d. h. es gilt $K_l=\{x\in X:I(x)\le l\}$ ist geschlossen für jedes $l<\mathrm{\infty }$.

Man spricht von einer guten Ratenfunktion, falls zusätzlich gilt:

2. $K_l$ sind kompakt.

Prinzip der großen Abweichungen

Sei $({\mu }_{\epsilon })$ eine Familie von Wahrscheinlichkeitsmaßen auf $X$. Weiter sei $\lambda (\epsilon ):(0,\mathrm{\infty })\to ℝ$ so dass $\lim {\mathrm{\backslash limits}}_{\epsilon \to 0}\lambda (\epsilon )=\mathrm{\infty }$. Dann gilt für $({\mu }_{\epsilon })$ das Prinzip der großen Abweichungen, falls eine Ratenfunktion $I$ auf $X$ existiert mit Rate $\lambda (\epsilon )$, so dass Folgendes gilt:

1. Für alle offenen $O\subset X$ gilt

   $\underset{\epsilon \to 0}{\mathrm{lim\; inf}}\frac{1}{\lambda (\epsilon )}\log {\mu }_{\epsilon }(O)\ge -\inf {\mathrm{\backslash limits}}_{x\in O}I(x)$.

2. Für alle abgeschlossenen $C\subset X$ gilt

   $\underset{\epsilon \to 0}{\mathrm{lim\; sup}}\frac{1}{\lambda (\epsilon )}\log {\mu }_{\epsilon }(C)\le -\inf {\mathrm{\backslash limits}}_{x\in C}I(x)$.