# Vorhersagbarer Prozess

* Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen.
* Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)
Ein vorhersagbarer Prozess, auch vorhersehbarer Prozess, previsibler Prozess oder prognostizierbarer Prozess genannt, ist ein spezieller stochastischer Prozess, bei dem es möglich ist, einen kurzen Zeitschritt in die Zukunft zu schauen. Dies bedeutet nicht, dass Ausgänge schon bekannt sind, sondern lediglich, dass Informationen über die Verteilung gewonnen werden können. Vorhersagbare Prozesse spielen beispielsweise eine Rolle bei der Doob-Zerlegung, die einen beliebigen integrierbaren stochastischen Prozess in diskreter Zeit in zwei Teilprozesse zerlegt: ein Martingal und einen vorhersagbaren Prozess. Außerdem finden sie Anwendung bei der Definition des diskreten stochastischen Integrals und des stochastischen Integrals. Ein vorhersagbarer Prozess heißt auch voraussagbarer Prozess.

## Definition
### Diskreter Fall

Gegeben sei eine Filtrierung $({\mathcal {F}}_{n})_{n\in \mathbb {N} }$ und ein stochastischer Prozess $X=(X_{n})_{n\in \mathbb {N} }$. Falls $X_{0}$ konstant ist und
    $X_{n}{\text{ ist }}{\mathcal {F}}_{n-1}{\text{-messbar }}$
für alle $n\in \mathbb {N} \setminus 0$ gilt, so heißt der Prozess vorhersagbar, previsibel oder prognostizierbar.

### Stetiger Fall

Im zeitstetigen Fall definiert man die vorhersagbare σ-Algebra auf $\Omega \times [0,\infty )$ als
    ${\mathcal {P}}:=\sigma (X\,|\,X{\text{ ist adaptierter linksstetiger Prozess }})$
(siehe adaptierter stochastischer Prozess, Linksstetiger Prozess). Ein Prozess heißt dann vorhersagbar, wenn $(\omega ,t)\mapsto X_{t}(\omega )$ eine ${\mathcal {P}}$-messbare Abbildung ist.

## Interpretation des diskreten Falls

Die σ-Algebra ${\mathcal {F}}_{n-1}$ modelliert die Informationen, die zum Zeitpunkt n-1 zur Verfügung stehen. Betrachtet man nun die bedingte Erwartung der Zufallsvariable $X_{n}$ unter Berücksichtigung der Tatsache, dass die Informationen aus ${\mathcal {F}}_{n-1}$ bereits zur Verfügung stehen, so ist
    $\operatorname {E} (X_{n}|{\mathcal {F}}_{n-1})=X_{n}$.
Dies folgt daraus, dass $X_{n}$ ${\mathcal {F}}_{n-1}$-messbar ist und demnach $\sigma (X_{n})\subset {\mathcal {F}}_{n-1}$. Hat man demnach die Informationen aus dem (n-1)-ten Schritt zur Verfügung, lässt sich schon alles über die Ausgänge im n-ten Schritt sagen.

## Wichtige Sätze

Die folgenden Sätze heißen Sektionssatz (englisch section theorem) und Projektionssatz (englisch projection theorem). Von beiden gibt es eine optionale Variante und eine vorhersagbare Variante.
Für beide Sätze setzen wir einen filtrierten Wahrscheinlichkeitsraum $(\Omega ,{\mathcal {A}},\{{\mathcal {F}}_{t}\},P)$ voraus, der die üblichen Bedingungen erfüllt. Es gilt per Konvention ${\mathcal {F}}_{0-}\equiv {\mathcal {F}}_{0}$.

### Vorhersagbarer Sektionssatz

Für eine Stoppzeit $S$ definieren wir ihren Graphen $[S]:=\{(\omega ,t)\in \Omega \times \mathbb {R} _{+}:S(\omega )=t\}$, weiter definieren wir die kanonische Projektion $\pi :\Omega \times \mathbb {R} _{+}\to \Omega$.
Sei $A$ eine vorhersagbare Menge. Für jedes $\varepsilon >0$ existiert eine vorhersagbare Stoppzeit $T$, so dass
* für den Graphen $[T]\subset A$ gilt.
* $P[T<\infty ]\geq P(\pi (A))-\varepsilon .$

### Vorhersagbarer Projektionssatz

Sei $X$ ein messbarer Prozess der entweder positive oder beschränkt ist. Dann existiert ein eindeutiger (bis auf Ununterscheidbarkeit) vorhersagbarer Prozess $Y$, so dass
    $\mathbb {E} [X_{T}1_{\{T<\infty \}}|{\mathcal {F}}_{T-}]=Y_{T}1_{\{T<\infty \}}$ fast sicher für jede vorhersagbare Stoppzeit $T$.
Der Prozess $Y$ heißt vorhersagbare Projektion und wird auch mit $^{p}X$ notiert.

## Beispiel

* Jeder Prozess versehen mit der Filtrierung der vollständigen Information ist vorhersagbar.
* Einfache Beispiele von zeitstetigen vorhersagbaren Prozessen sind die elementaren vorhersagbaren stochastischen Prozesse.