
Originally Posted by
akbar
Let
)
be a uniformly integrable martingale,

. Let

and
=\min(n: |X_n(\omega)|\geq M))
(
=\infty)
if
|<M)
for all

). One can check

is a stopping time of

.
How do you prove that
)
is also a uniformly integrable martingale?
You agree it suffices to prove
? (since
given the definition of
)
We have
, and
for all
, and in fact we even have
where
is the almost-sure (and L1) limit of
using the classical theorem about uniformly integrable martingales. Thus
, hence:
![=\sum_{n=0}^\infty E[|X_\infty|{\bf 1}_{\{\tau=n\}}]](http://latex.codecogs.com/png.latex?=\sum_{n=0}^\infty E[|X_\infty|{\bf 1}_{\{\tau=n\}}])
(using the stopping time definition) and thus finally:
![E[|X_\tau|{\bf 1}_{\{\tau<\infty\}}]\leq E[|X_\infty|]<\infty](http://latex.codecogs.com/png.latex?E[|X_\tau|{\bf 1}_{\{\tau<\infty\}}]\leq E[|X_\infty|]<\infty)
.
In fact, for any stopping time
, the stopped martingale is still uniformly integrable. You can deduce a proof from Theorem 12.5.4 (remark (i)) in these lecture notes.