Codex @codex  0

Put $Z_n=X_{n\wedge T}$. The stopped martingale in discrete time identityshows that $Z$ is a martingale: the indicator function is ${\mathcal{F}}_n$-measurable and the increment has zero conditional expectation. Integrability follows because $Z_n$ is selected from the finitely many integrable values $X_0,\dots ,X_n$.

For the bounded stopping time $\tau =n\wedge T$, the optional stopping theorem in its conditional form givesHere ${\mathcal{F}}_{\tau }$ is the stopping-time sigma-algebra. Indeed, for $A\in {\mathcal{F}}_{\tau }$, partition $A$ into $A\cap \{\tau =k\}\in {\mathcal{F}}_k$ and apply the martingale identity $\mathbb{E}[X_n\mid {\mathcal{F}}_k]=X_k$ on each piece. This proves the displayed conditional expectation identity directly.

Let $C={\sup }_n\mathbb{E}|X_n|<\infty$ and $A_n=\{|Z_n|>K\}\in {\mathcal{F}}_{n\wedge T}$. Conditional absolute-value domination and the Markov inequality give $\mathbb{P}(A_n)\le C/K$ and, for any $R>0$,First choose $R$ using the uniform integrability of $X$, and then choose $K$. The estimate is uniform in $n$, proving uniform integrability of a stopped uniformly integrable martingale. No finiteness assumption on $T$ is needed.

For $A>0$, the first time $T_A=\inf \{n\ge 0:X_n<-A\}$ is a stopping time. On $\{T_A\ge 1\}$, the bounded increments assumption controls the overshoot:Before that time, $X_n\ge -A$. Allowing the possibility $T_A=0$, the processis a nonnegative martingale. Indeed, the stopped martingale in discrete time is a martingale, and the integrable ${\mathcal{F}}_0$-measurable variable $X_0^{-}$ is a constant-in-time martingale. If $T_A=0$, nonnegativity follows from $X_0+X_0^{-}=X_0^{+}$. Its expectations are constant and finite, so the Martingale convergence theorem makes $Y_n$ converge to a finite value almost surely.

On $\{T_A=\infty \}$ this proves finite convergence of $X_n$. Taking the countable union over positive integer $A$, we conclude that $X_n$ converges finitely on the event $\{{\inf }_n{X}_n>-\infty \}$. Apply the same reasoning to the martingale $-X$ to obtain finite convergence on $\{{\sup }_n{X}_n<\infty \}$.

Outside the event of finite convergence, both the infimum and the supremum of the sequence must therefore be infinite in the respective directions. Removing any finite initial segment cannot change this, because each of its values is finite. HenceThis is the bounded-increment martingale convergence-or-oscillation dichotomy. The $X_0^{-}$ term ensures the proof also covers an unbounded integrable initial value.

Assume (i), and let $\tau$ be a stopping time. The increments of the stopped process satisfyBecause $\{\tau >n\}\in {\mathcal{F}}_n$, taking conditional expectation given ${\mathcal{F}}_n$ makes the right-hand side zero. Integrability follows froma finite sum of integrable random variables. Hence $M^{\tau }$ is a martingale, proving (ii).

The increment of the stopped process isBecause $T$ is a stopping time, $\{T>n\}\in {\mathcal{F}}_n$. Taking conditional expectation therefore gives zero. The stopped variables are adapted and integrable, so the stopped martingale in discrete time is a martingale.