Ein Ergebnis der Martingaltheorie, das besagt, dass unter bestimmten Integrabilitäts‑ oder Beschränktheitsbedingungen für eine Stoppzeit τ und ein Martingal (M_t) die Erwartung zur Stoppzeit der Anfangserwartung entspricht: E[M_τ] = E[M_0].

Prinzip

Die Fairness‑Eigenschaft eines Martingals bleibt unter Stopp erhalten, sofern die Stoppregel keine unkontrollierte Varianzakkumulation oder unbeschränktes Warten ohne ausreichende Integrabilität erlaubt.

Demonstration

Ist M_t ein Martingal und τ (fast sicher) durch eine Konstante T beschränkt, so gilt durch optionales Sampling E[M_τ]=E[M_0]; etwa hat eine faire Zufallsbewegung, die bei einer beschränkten Stoppzeit gestoppt wird, keinen erwarteten Nettogewinn.

Fehlanwendung

Anwendung des Satzes ohne Prüfung der Voraussetzungen (z. B. Einsatz einer unbeschränkten Stoppzeit bei unbeschränkten Inkrementen) kann zu falschen Schlüssen führen — klassische Gegenbeispiele zeigen, dass E[M_τ] von E[M_0] abweichen kann.

Konsequenz

Begründet viele 'Fair‑Game'‑Stopp‑Argumente und ist ein grundlegendes Werkzeug zum Beweis von Identitäten und Ungleichungen für gestoppte Prozesse.

Umkehrung

Wenn Integrabilitäts‑/Beschränktheitsbedingungen nicht erfüllt sind, kann das optionale Stoppen fehlschlagen und Stopp systematisch die Erwartung verändern; Stopp kann dann Verzerrung einführen statt Fairness zu erhalten.

Abgrenzung

Erfordert eine Filtration, ein angepasstes Martingal und eine Stoppzeit; zulässige Bedingungen sind u. a. beschränkte τ, gleichmäßige Integrabilität von M_{t∧τ} oder integrierende Dominierung — Fälle außerhalb dieser Bedingungen sind ausgeschlossen.

Semantische Spannung

Spannung zwischen fast sicherem Stoppen und Erwartungserhaltung: die fast sichere Endlichkeit von τ allein garantiert nicht E[M_τ]=E[M_0] ohne zusätzlichen Integrabilitätsnachweis.

Synthese

Der Satz vom optionalen Stopp besagt, dass die Erwartung eines Martingals zur Stoppzeit erhalten bleibt, wenn geeignete Beschränktheits‑ oder Integrabilitätsbedingungen vorliegen, und formt so die Formalisierung, wann das Stoppen eines fairen Spiels fair bleibt.