# Kontiguität (Wahrscheinlichkeitstheorie)

In der Wahrscheinlichkeitstheorie werden zwei Folgen von Wahrscheinlichkeitsmaßen als benachbart oder englisch contiguous bezeichnet, wenn sie asymptotisch denselben Träger haben. Somit erweitert der Begriff der Kontiguität (auch Benachbartheit oder englisch contiguity) den Begriff der absoluten Stetigkeit von Maßen.
Das Konzept wurde ursprünglich von Lucien Le Cam 1960 im Rahmen seiner Beiträge zur abstrakten asymptotischen Wahrscheinlichkeitstheorie eingeführt.

## Motivation

Der Satz von Radon-Nikodým verallgemeinert die Ableitung einer Funktion auf Maße:
Für ein σ-endliches Maß $\mu$ auf dem Messraum $(X,{\mathcal {A}})$ und ein σ-endliches signiertes Maß $\nu$, das absolut stetig bezüglich $\mu$ ist ($\nu \ll \mu$), existiert eine messbare Funktion $f\colon X\to \mathbb {R}$, so dass
    $\nu (E)=\int _{E}f\,\mathrm {d} \mu$ für alle $E\in {\mathcal {A}}$ gilt.
In der asymptotischen Wahrscheinlichkeitstheorie werden statt konstanten Maßen ($\mu$ und $\nu$) Folgen von Wahrscheinlichkeitsmaßen $((P_{n})_{n\in I}$ und $(Q_{n})_{n\in I})$ untersucht. Um den obigen Satz für zwei Folgen von Wahrscheinlichkeitsmaßen zu definieren, muss der Begriff der absoluten Stetigkeit mit dem Konzept der Kontiguität für diese Folgen verallgemeinert werden.
Man nennt ein Maß $Q$ bezüglich $P$ absolut stetig (in Symbolen $Q\ll P$), falls für jede messbare Menge $A$, $P(A)=0$ impliziert, dass $Q(A)=0$ gilt. Während absolute Stetigkeit fordert, dass der Träger eines Maßes $P$ im Träger eines weiteren Maßes $Q$ enthalten ist, ersetzt die Kontiguität diese Anforderung mit einer asymptotischen Version: Der Träger von $Q_{n}$ ist für große $n$ im Träger von $P_{n}$ enthalten.

## Definition

Es sei $(\Omega _{n},{\mathcal {F}}_{n})$ eine Folge von Messräumen, jeweils mit zwei Wahrscheinlichkeitsmaßen $P_{n}$ und $Q_{n}$ ausgestattet.
* Die Folge $Q_{n}$ heißt benachbart zu $P_{n}$ (in Symbolen $Q_{n}\vartriangleleft P_{n}$), falls für jede Folge $A_{n}$ von messbaren Mengen, $P_{n}(A_{n})\rightarrow 0$ impliziert, dass $Q_{n}(A_{n})\rightarrow 0$.
* Die Folgen $P_{n}$ und $Q_{n}$ heißen wechselseitig benachbart oder englisch bi-contiguous (in Symbolen $Q_{n}\vartriangleleft \vartriangleright P_{n}$), falls $Q_{n}$ benachbart zu $P_{n}$ und $P_{n}$ benachbart zu $Q_{n}$.

## Eigenschaften

* Im Fall $(P_{n},Q_{n})=(P,Q)$ für alle $n\in \mathbb {N}$ gilt: $Q_{n}\triangleleft P_{n}\Leftrightarrow Q\ll P$.
* Es ist möglich, dass $P_{n}\ll Q_{n}$ für alle $n\in \mathbb {N}$ gilt, ohne dass $P_{n}\triangleleft Q_{n}$ ist.

## Le Cams erstes Lemma

Für zwei Folgen von Wahrscheinlichkeitsmaßen $(P_{n}){\text{ und }}(Q_{n})$ auf den Messräumen $(\Omega _{n},{\mathcal {F}}_{n})$ sind folgende Aussagen equivalent:
* $P_{n}\triangleleft Q_{n}$
* ${\frac {\mathrm {d} Q_{n}}{\mathrm {d} P_{n}}}{\overset {P_{n}}{\,\longrightarrow \,}}U{\text{ auf einer Teilfolge }}\Rightarrow P(U>0)=1$
* ${\frac {\mathrm {d} P_{n}}{\mathrm {d} Q_{n}}}{\overset {Q_{n}}{\,\longrightarrow \,}}V{\text{ auf einer Teilfolge }}\Rightarrow E(V)=1$
* $T_{n}{\overset {P_{n}}{\,\longrightarrow \,}}0\,\Rightarrow \,T_{n}{\overset {Q_{n}}{\,\longrightarrow \,}}0$ für alle Teststatistiken $T_{n}:\Omega _{n}\rightarrow \mathbb {R}$
wobei $U$ und $V$ Zufallsvariablen auf den Wahrscheinlichkeitsräumen $(\Omega ,{\mathcal {F}},P){\text{ bzw. }}(\Omega ',{\mathcal {F}}',Q)$ sind.
Die Notation ${\frac {\mathrm {d} Q_{n}}{\mathrm {d} P_{n}}}{\overset {P_{n}}{\,\longrightarrow \,}}U$ bezeichnet die Konvergenz in Verteilung.

## Le Cams drittes Lemma

Das dritte Lemma von Le Cam ist eine Version des Satzes von Radon-Nikodým, in dem die absolute Stetigkeit durch Kontiguität ersetzt wird. Es wird wie folgt formuliert:

### Theorem

Sei $Q_{n}\triangleleft P_{n}$ mit den zwei Folgen von Wahrscheinlichkeitsmaßen $(P_{n}){\text{ und }}(Q_{n})$ auf den Messräumen $(\Omega _{n},{\mathcal {F}}_{n})$ und $X_{n}:\Omega _{n}\to \mathbb {R} ^{k}$ eine Folge von Zufallsvektoren und es gelte $\left(X_{n},{\frac {\mathrm {d} Q_{n}}{\mathrm {d} P_{n}}}\right){\overset {P_{n}}{\to }}(X,V)$. Dann definiert $L(B):=E(1_{B}(X)V)$ ein Wahrscheinlichkeitsmaß auf $(\mathbb {R} ^{k},{\mathcal {B}}^{k})$ mit $\int f\ \mathrm {d} L=E(f(X)V)$ für jede messbare Funktion $f:\mathbb {R} ^{k}\to \mathbb {R}$ und es gilt $X_{n}{\overset {Q_{n}}{\to }}L$.
Für die Konvergenz gegen die mehrdimensionale Normalverteilung folgt daraus folgendes Korollar:

### Korollar

Seien $(P_{n}){\text{ und }}(Q_{n})$ Folgen von Wahrscheinlichkeitsmaßen auf den Messräumen $(\Omega _{n},{\mathcal {F}}_{n})$, und sei $X_{n}:\Omega _{n}\to \mathbb {R} ^{k}$ eine Folge von Zufallsvektoren und es gelte $\left(X_{n},\log {\frac {dQ_{n}}{dP_{n}}}\right)\quad {\overset {P_{n}}{\to }}\quad {\mathcal {N}}_{k+1}\left({\begin{pmatrix}\mu \\-{\frac {1}{2}}\sigma ^{2}\end{pmatrix}},{\begin{pmatrix}\Sigma &\tau \\\tau '&\sigma ^{2}\end{pmatrix}}\right).$ Dann gilt: $X_{n}{\overset {Q_{n}}{\to }}{\mathcal {N}}_{k}(\mu +\tau ,\Sigma )$.

## Anwendungen

* Ökonometrie