Σ-Algebra der τ-Vergangenheit
# Σ-Algebra der τ-Vergangenheit

Die σ-Algebra der τ-Vergangenheit, auch Vergangenheit von τ genannt, ist in der Wahrscheinlichkeitstheorie ein spezielles Mengensystem, genauer eine σ-Algebra. Sie entsteht durch Kombination einer Filtrierung mit einer Stoppzeit und findet meist Anwendung bei Aussagen über gestoppte Prozesse, also stochastische Prozesse, die an einem zufälligen Zeitpunkt angehalten werden. Zu diesen Aussagen gehören beispielsweise das Optional Stopping Theorem, das Optional Sampling Theorem und die Definition der starken Markow-Eigenschaft.

## Definition

Gegeben sei ein Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},P)$ sowie eine Filtrierung $\mathbb {F} =({\mathcal {F}}_{t})_{t\in T}$ bezüglich der Ober-σ-Algebra ${\mathcal {A}}$ und eine Stoppzeit $\tau$ bezüglich $\mathbb {F}$. Dann heißt

    ${\mathcal {F}}_{\tau }=\{A\in {\mathcal {A}}\,|\,A\cap \{\tau \leq t\}\in {\mathcal {F}}_{t}{\text{ für alle }}t\in T\}$

die σ-Algebra der τ-Vergangenheit.

## Eigenschaften

Sind $\sigma ,\tau$ Stoppzeiten und ist $\sigma \leq \tau$, so ist ${\mathcal {F}}_{\sigma }\subset {\mathcal {F}}_{\tau }$.

Des Weiteren ist $\tau$ immer ${\mathcal {F}}_{\tau }$-messbar.

Ist $\tau <\infty$, so lässt sich zu einem stochastischen Prozess

    $X=(X_{t})_{t\in T}$

eine „gesampelte“ Zufallsvariable

    $X_{\tau }\colon \omega \mapsto X_{\tau (\omega )}(\omega )$

definieren. Ist zusätzlich $T$ höchstens abzählbar und der stochastische Prozess adaptiert, so ist $X_{\tau }$ immer ${\mathcal {F}}_{\tau }$-messbar. Die Zufallsvariable $X_{\tau }$ sollte nicht mit dem gestoppten Prozess $X^{\tau }$ verwechselt werden, insbesondere da die Notation in der Literatur nicht einheitlich ist.

Anschaulich besteht die Zufallsvariable $X_{\tau }$ im Falle der Indexmenge $T=\mathbb {N}$ auf der Menge $\{\tau =0\}$ aus der Zufallsvariable $X_{0}$, auf der Menge $\{\tau =1\}$ aus $X_{1}$ etc. Damit ergibt sich in diesem Fall die alternative Definition

    $X_{\tau }=\sum _{n=0}^{\infty }\mathbf {1} _{\{\tau =n\}}X_{n}$.
