For the converse in the characterization of a martingale by stopped expectations, fix and . Define the bounded stopping time
Indeed, its only nontrivial sublevel event is . Applying the assumed stopped-expectation equality to and to the deterministic stopping time gives
This holds for every . Since is adapted and both variables are integrable, the defining test-event property of conditional expectation yields
Together with the given adaptation and integrability, this is exactly the martingale property.

Articles by others on the same topic (0)

There are currently no matching articles.