Every martingale is a supermartingale, with equality in its defining conditional expectation. Taking expectations and using the tower property of conditional expectation givesso induction yields
Conversely, for a supermartingale defineThe assumed equality of expectations givesA nonnegative random variable of expectation zero vanishes almost surely, sofor 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
There are currently no matching articles.