Optional Sampling Theorem

Das Optional Sampling Theorem (englisch) i​st eine a​uf Joseph L. Doob zurückgehende wahrscheinlichkeitstheoretische Aussage. Eine populäre Version dieses Theorems besagt, d​ass es b​ei einem fairen, s​ich wiederholenden Spiel k​eine Abbruchstrategie gibt, m​it der m​an seinen Gesamtgewinn verbessern kann.

Ausgangssituation

Man betrachtet eine Menge ${\displaystyle T}$ möglicher Zeitpunkte und eine Grundmenge ${\displaystyle \Omega }$ möglicher Ergebnisse. Zu jedem Zeitpunkt ${\displaystyle t\in T}$ liegt eine σ-Algebra ${\displaystyle {\mathcal {A}}_{t}}$ auf ${\displaystyle \Omega }$ vor, die für den Informationsstand zu diesem Zeitpunkt steht. Da die verfügbare Information im Zeitverlauf steigt, gelte ${\displaystyle {\mathcal {A}}_{s}\subset {\mathcal {A}}_{t}}$ für ${\displaystyle s<t}$, das heißt ${\displaystyle ({\mathcal {A}}_{t})_{t\in T}}$ ist eine Filtrierung auf ${\displaystyle \Omega }$. In Anwendungen liegt ein Wahrscheinlichkeitsraum ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ vor und es ist ${\displaystyle {\mathcal {A}}_{t}\subset {\mathcal {A}}}$.

Zu jedem Zeitpunkt ${\displaystyle t}$ gebe es eine ${\displaystyle {\mathcal {A}}_{t}}$-messbare Zufallsgröße ${\displaystyle X_{t}:\Omega \rightarrow \mathbb {R} }$, das heißt, es liegt ein adaptierter stochastischer Prozess ${\displaystyle (X_{t})_{t}}$ vor, ${\displaystyle X_{t}}$ kann zum Beispiel für die Auszahlung eines Spiels zum Zeitpunkt ${\displaystyle t}$ stehen. Weiter wird vorausgesetzt, dass ${\displaystyle (X_{t})_{t}}$ ein Martingal ist; die definierende Bedingung ${\displaystyle E(X_{t}|{\mathcal {A}}_{s})=X_{s}}$ für ${\displaystyle s<t}$ drückt die Fairness des Spiels aus: die Prognose über die Auszahlung zum Zeitpunkt ${\displaystyle t}$ unter der bei ${\displaystyle s}$ vorliegenden Information ist genau die bei ${\displaystyle s}$ gemachte Beobachtung ${\displaystyle X_{s}}$. Insbesondere stimmt der Erwartungswert ${\displaystyle E(X_{t})}$ zum Zeitpunkt ${\displaystyle t}$ mit dem anfänglichen Erwartungswert ${\displaystyle E(X_{0})}$ überein.

Eine Stoppzeit ist eine Abbildung ${\displaystyle \tau$ :\Omega \rightarrow T\cup \{\infty \}} mit ${\displaystyle \{\omega \in \Omega$ :\,\tau (\omega )\leq t\}\in {\mathcal {A}}_{t}} . Dahinter steckt der Gedanke, den Prozess zum Zeitpunkt ${\displaystyle \tau (\omega )}$ abzubrechen, was dann zum Ergebnis ${\displaystyle X_{\tau (\omega )}(\omega )}$ führt, wobei ${\displaystyle X_{\infty }}$ geeignet zu definieren ist. Ob man zum Zeitpunkt ${\displaystyle t}$ abbricht, darf nur von den bis ${\displaystyle t}$ vorliegenden Informationen abhängen, was die an ${\displaystyle \tau }$ gestellte Messbarkeitsbedingung erklärt.

Es stellt sich nun die Frage, ob man durch Wahl einer geeigneten Stoppzeit ein besseres Ergebnis als ${\displaystyle E(X_{0})}$ erhalten kann. Das Optional Sampling Theorem sagt aus, dass dies unter geeigneten Voraussetzungen nicht der Fall ist.

Diskrete Version

Betrachtet man eine diskrete Abfolge von Zeitpunkten, so kann man dies durch ${\displaystyle T=\mathbb {N} }$ modellieren. Die diskrete Version des Optional Sampling Theorems sagt aus:

• Sind ${\displaystyle ({\mathcal {A}}_{n})_{n\in \mathbb {N} }}$ eine Filtrierung und ${\displaystyle (X_{n})_{n}}$ ein adaptiertes Martingal auf ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ und ist ${\displaystyle \tau$ :\Omega \rightarrow \mathbb {N} \cup \{\infty \}} eine Stoppzeit mit ${\displaystyle P(\tau <\infty )=1}$, ${\displaystyle E(|X_{\tau }|)<\infty }$ und ${\displaystyle \int _{\{\tau >n\}}|X_{n}|{\rm {d}}P\,{\stackrel {n\to \infty }{\longrightarrow }}\,0}$, so gilt

${\displaystyle E(X_{\tau })\,=\,E(X_{0})}$.

Die an ${\displaystyle \tau }$ gestellten, technischen Voraussetzungen sind insbesondere für den realistischen Fall beschränkter Stoppzeiten erfüllt (man kann nicht ewig warten!).

Die Stopp-Strategie, b​eim Roulette i​mmer auf rot z​u setzen, m​it einem Euro beginnend j​edes Mal d​en Einsatz z​u verdoppeln u​nd beim ersten Auftreten v​on rot abzubrechen, erfüllt n​icht diese technischen Bedingungen. Man h​at hier allerdings d​ie unrealistische Situation e​iner unbeschränkten Stoppzeit m​it exponentiell wachsenden Einsätzen (am „Ende“ gewinnt m​an insgesamt e​inen Euro).

Die folgende Verschärfung für beschränkte Stoppzeiten w​ird ebenfalls a​ls Optional Sampling Theorem bezeichnet:

• Sind ${\displaystyle ({\mathcal {A}}_{n})_{n\in \mathbb {N} }}$ eine Filtrierung und ${\displaystyle (X_{n})_{n}}$ ein adaptiertes Submartingal auf ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ und sind ${\displaystyle \sigma ,\tau$ :\Omega \rightarrow \mathbb {N} } beschränkte Stoppzeiten mit ${\displaystyle \sigma \leq \tau }$, so gilt

${\displaystyle X_{\sigma }\,\leq \,E(X_{\tau }|{\mathcal {A}}_{\sigma })}$.

Dabei ist ${\displaystyle {\mathcal {A}}_{\sigma }}$ die sogenannte σ-Algebra der σ-Vergangenheit. Setzt man speziell ${\displaystyle \sigma =0}$, so ist sicher ${\displaystyle \sigma \leq \tau }$ und es folgt ${\displaystyle X_{0}\leq E(X_{\tau }|{\mathcal {A}}_{0})}$ und nach Anwendung des Erwartungswerts ${\displaystyle E(X_{0})\leq E(X_{\tau })}$. Im Falle von Martingalen kann man dieses Argument auch auf ${\displaystyle (-X_{n})_{n}}$ anwenden, und man erhält die Aussage des erstgenannten Satzes für beschränkte Stoppzeiten.

• Sind ${\displaystyle ({\mathcal {A}}_{n})_{n\in \mathbb {N} }}$ eine Filtrierung und ${\displaystyle (X_{n})_{n}}$ ein adaptiertes Martingal auf ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ und sind ${\displaystyle \sigma ,\tau$ :\Omega \rightarrow \mathbb {N} } beschränkte Stoppzeiten mit ${\displaystyle \sigma \leq \tau }$, so gilt

${\displaystyle X_{\sigma }\,=\,E(X_{\tau }|{\mathcal {A}}_{\sigma })}$.

Das ergibt sich sofort aus obiger Ungleichung, denn ist ${\displaystyle X}$ ein Martingal, so sind ${\displaystyle X}$ und ${\displaystyle -X}$ Submartingale.

Kontinuierliche Version

Im zeitkontinuierlichen Fall, der durch ${\displaystyle T=[0,\infty )}$ modelliert wird, sind weitere technische Voraussetzungen zu stellen, die es erlauben, den Beweis auf den diskreten Fall zurückzuführen. Analog zum diskreten Fall gelten die folgenden beiden Sätze, die ebenfalls als Optional Sampling Theorem bezeichnet werden.

• Sind ${\displaystyle ({\mathcal {A}}_{t})_{t\in [0,\infty )}}$ eine Filtrierung und ${\displaystyle (X_{t})_{t}}$ ein adaptiertes Martingal mit rechtsseitig stetigen Pfaden auf ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ und ist ${\displaystyle \tau$ :\Omega \rightarrow [0,\infty ]} eine Stoppzeit mit ${\displaystyle P(\tau <\infty )=1}$, ${\displaystyle E(|X_{\tau }|)<\infty }$ und ${\displaystyle \int _{\{\tau >t\}}|X_{t}|{\rm {d}}P\,{\stackrel {t\to \infty }{\longrightarrow }}\,0}$, so gilt

${\displaystyle E(X_{\tau })\,=\,E(X_{0})}$.

• Sind ${\displaystyle ({\mathcal {A}}_{t})_{t\in [0,\infty )}}$ eine Filtrierung und ${\displaystyle (X_{t})_{t}}$ ein adaptiertes Submartingal mit rechtsseitig stetigen Pfaden auf ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ und sind ${\displaystyle \sigma ,\tau$ :\Omega \rightarrow [0,\infty )} beschränkte Stoppzeiten mit ${\displaystyle \sigma \leq \tau }$, so gilt

${\displaystyle X_{\sigma }\,\leq \,E(X_{\tau }|{\mathcal {A}}_{\sigma })}$.

• Sind ${\displaystyle ({\mathcal {A}}_{t})_{t\in [0,\infty )}}$ eine Filtrierung und ${\displaystyle (X_{t})_{t}}$ ein adaptiertes Martingal mit rechtsseitig stetigen Pfaden auf ${\displaystyle (\Omega ,{\mathcal {A}},P)}$ und sind ${\displaystyle \sigma ,\tau$ :\Omega \rightarrow [0,\infty )} beschränkte Stoppzeiten mit ${\displaystyle \sigma \leq \tau }$, so gilt

${\displaystyle X_{\sigma }\,=\,E(X_{\tau }|{\mathcal {A}}_{\sigma })}$.

Siehe auch

• Optional Stopping Theorem

Literatur

• Albrecht Irle: Finanzmathematik. Teubner-Verlag, 2003, ISBN 3-519-12640-0