Let the random variables satisfy
. Show that the sequence
with
and
where are given functions, is a martingale.
Once again, we let the sequence of decompositions be . Then
is
-measurable because (1)
is
-measurable, (2)
is
-measurable, and (3)
is
-measurable if
.
Next, we show that