Optional Stopping Theorem - Proof

Proof

Let X τ denote the stopped process, it is also a martingale (or a submartingale or supermartingale, respectively). Under condition (a) or (b), the random variable Xτ is well defined. Under condition (c) the stopped process X τ is bounded, hence by Doob's martingale convergence theorem it converges a.s. pointwise to a random variable which we call Xτ.

If condition (c) holds, then the stopped process X τ is bounded by the constant random variable M := c. Otherwise, writing the stopped process as

gives |Xtτ| ≤ M for all t ∈ ℕ0, where

.

By the monotone convergence theorem

.

If condition (a) holds, then this series only has a finite number of non-zero terms, hence M is integrable.

If condition (b) holds, then we continue by inserting a conditional expectation and using that the event {τ > s} is known at time s (note that τ is assumed to be a stopping time with respect to the filtration), hence

\begin{align}\mathbb{E} &=\mathbb{E}+\sum_{s=0}^\infty \mathbb{E}\bigl\cdot\mathbf{1}_{\{\tau>s\}}}_{\le\,c\,\mathbf{1}_{\{\tau>s\}}\text{ a.s. by (b)}}\bigr]\\ &\le\mathbb{E}+c\sum_{s=0}^\infty\mathbb{P}(\tau>s)\\ &=\mathbb{E}+c\,\mathbb{E}<\infty,\\ \end{align}

where a representation of the expected value of non-negative integer-valued random variables is used for the last equality.

Therefore, under any one of the three conditions in the theorem, the stopped process is dominated by an integrable random variable M. Since the stopped process X τ converges almost surely to Xτ , the dominated convergence theorem implies

By the martingale property of the stopped process,

hence

Similarly, if X is a submartingale or supermartingale, respectively, change the equality in the last two formulas to the appropriate inequality.

Read more about this topic:  Optional Stopping Theorem

Famous quotes containing the word proof:

    “If any proof were needed of the progress of the cause for which I have worked, it is here tonight. The presence on the stage of these college women, and in the audience of all those college girls who will some day be the nation’s greatest strength, will tell their own story to the world.”
    —Susan B. Anthony (1820–1906)

    “The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
    —Andrew Michael Ramsay (1686–1743)

    “If we view our children as stupid, naughty, disturbed, or guilty of their misdeeds, they will learn to behold themselves as foolish, faulty, or shameful specimens of humanity. They will regard us as judges from whom they wish to hide, and they will interpret everything we say as further proof of their unworthiness. If we view them as innocent, or at least merely ignorant, they will gain understanding from their experiences, and they will continue to regard us as wise partners.”
    —Polly Berrien Berends (20th century)