Every martingale is a supermartingale, with equality in its defining conditional expectation. Taking expectations and using the tower property of conditional expectation gives
so induction yields
Conversely, for a supermartingale define
The assumed equality of expectations gives
A nonnegative random variable of expectation zero vanishes almost surely, so
for every . Hence is a martingale. Together with part (i), this proves the constant-expectation supermartingale is a martingale criterion.

Articles by others on the same topic (0)

There are currently no matching articles.