Progressiv messbarer stochastischer Prozess
# Progressiv messbarer stochastischer Prozess

Ein progressiv messbarer stochastischer Prozess ist ein stochastischer Prozess in der Wahrscheinlichkeitstheorie, der noch zusätzlichen Messbarkeitskriterien genügt. Progressiv messbare Prozesse sind eine Verschärfung von adaptierten Prozessen und treten beispielsweise bei der Untersuchung von Stoppzeiten auf. Ebenso spielen sie eine zentrale Rolle bei der Konstruktion des Itō-Integrals in der stochastischen Analysis.

## Definition

Gegeben sei ein stochastischer Prozess $X=(X_{t})_{t\in T}$ auf $(\Omega ,{\mathcal {A}},P)$ mit Werten in einem polnischen Raum $E$, versehen mit der Borelschen σ-Algebra ${\mathcal {B}}(E)$ und Indexmenge $T=[0,\infty )$ sowie eine Filtration $\mathbb {F} =({\mathcal {F}}_{t})_{t\in T}$ in ${\mathcal {A}}$.

Dann heißt der stochastische Prozess progressiv messbar (bezüglich $\mathbb {F}$), wenn für jedes $t\in T$ die Abbildung

    $S\colon \Omega \times [0,t]\to E$

definiert durch

    $S(\omega ,s):=X_{s}(\omega )$

stets ${\mathcal {F}}_{t}\otimes {\mathcal {B}}([0,t])$-${\mathcal {B}}(E)$-messbar ist.

In den meisten Fällen ist $(E,{\mathcal {B}}(E))=(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ))$.

## Eigenschaften

* Jeder progressiv messbare Prozess ist ein adaptierter Prozess und produktmessbar. Umgekehrt lässt sich zeigen, dass ein adaptierter produktmessbarer Prozess immer eine progressiv messbare Modifikation besitzt.
* Ist ein Prozess adaptiert und linksstetig oder rechtsstetig, so ist er progressiv messbar. Somit ist aufgrund der Definition der vorhersagbaren σ-Algebra auch jeder vorhersagbare Prozess progressiv messbar.
* Ist der Prozess hingegen nur fast sicher linksstetig oder rechtsstetig, so existiert eine Modifikation des Prozesses, die progressiv messbar ist.
* Die einem reellwertigen stochastischen Prozess und einer Stoppzeit $\tau$ zugeordnete Zufallsvariable $X_{\tau }:=X_{\tau (\omega )}(\omega )$ ist für progressiv messbare stochastische Prozesse immer messbar bezüglich der σ-Algebra der τ-Vergangenheit.
