Rückwärtsmartingal
# Rückwärtsmartingal

Ein Rückwärtsmartingal, auch inverses Martingal oder rückwärts gerichtetes Martingal genannt, ist ein stochastischer Prozess, der aus einem Martingal entsteht, indem man die Indexmenge umkehrt. Anschaulich handelt es sich also um ein Martingal, das „rückwärts abgespielt wird“. Ebenso wie für Martingale existieren auch für Rückwärtsmartingale Konvergenzsätze. Diese finden beispielsweise bei dem Beweis des Darstellungssatzes von de Finetti über die Struktur von austauschbaren Familien von Zufallsvariablen Verwendung.

## Definition

Gegeben sei eine Filtrierung $\mathbb {F} =({\mathcal {F}}_{n})_{n\in -\mathbb {N} }$ und $X=(X_{n})_{n\in -\mathbb {N} }$ ein $\mathbb {F}$-Martingal. Dann heißt der Prozess

    $X:=(X_{-n})_{n\in \mathbb {N} }$

ein Rückwärtsmartingal.

## Eigenschaften

Man beachte, dass für die Filtrierung weiterhin ${\mathcal {F}}_{s}\subseteq {\mathcal {F}}_{t}$ für $s,t\in -\mathbb {N}$ mit $s<t$ gilt. ${\mathcal {F}}_{0}$ enthält somit alle relevanten Informationen des Prozesses.

Rückwärtsmartingale sind immer gleichgradig integrierbar, da sie aufgrund der Martingaleigenschaft immer die Darstellung

    $X_{-n}=\operatorname {E} (X_{0}|{\mathcal {F}}_{-n})$

besitzen und Doob-Martingale immer gleichgradig integrierbar sind.

## Konvergenzsatz für Rückwärtsmartingale

### Aussage

Ist $X=(X_{n})_{n\in -\mathbb {N} }$ ein Martingal bezüglich $\mathbb {F} =({\mathcal {F}}_{n})_{n\in -\mathbb {N} }$, so existiert

    $\lim _{n\to \infty }X_{-n}=X_{-\infty }$

im Mittel und fast sicher. Mit

    ${\mathcal {F}}_{-\infty }:=\bigcap _{n=1}^{\infty }{\mathcal {F}}_{-n}$

gilt dann

    $X_{-\infty }=\operatorname {E} (X_{0}|{\mathcal {F}}_{-\infty })$.

Analog zum Martingalkonvergenzsatz folgt der Beweis mittels der Aufkreuzungsungleichung durch Betrachten der Aufkreuzungen zwischen $-n$ und $0$ über $[a,b]$.

### Folgerung

Eine für die Herleitung des Satzes von de Finetti wichtige Folgerung aus der obigen Aussage ist die folgende: Ist

    $\varphi \colon E^{k}\to \mathbb {R} {\text{ messbar, }}\operatorname {E} (|\varphi (X_{1},\dots ,X_{k})|)<\infty$

und $(X_{n})_{n\in \mathbb {N} }$ eine austauschbare Familie von Zufallsvariablen mit Werten in $E$ sowie $(X_{1},\dots ,X_{n})^{\sigma }$ die Permutation der Zufallsvariablen unter $\sigma$ und

    $A_{n}(\varphi )={\tfrac {1}{n!}}\sum _{\sigma \in S(n)}\varphi ((X_{1},\dots ,X_{n})^{\sigma })$

das symmetrisierte Mittel. Dann gilt im Mittel und fast sicher

    $\operatorname {E} (\varphi (X)|{\mathcal {E}})=\operatorname {E} (\varphi (X)|{\mathcal {T}})=\lim _{n\to \infty }A_{n}(\varphi )$.

Dabei bezeichnet ${\mathcal {T}}$ die terminale σ-Algebra und ${\mathcal {E}}$ die austauschbare σ-Algebra.

