For the converse in the characterization of a martingale by stopped expectations, fix and . Define the bounded stopping timeIndeed, its only nontrivial sublevel event is . Applying the assumed stopped-expectation equality to and to the deterministic stopping time givesThis holds for every . Since is adapted and both variables are integrable, the defining test-event property of conditional expectation yieldsTogether with the given adaptation and integrability, this is exactly the martingale property.
Articles by others on the same topic
There are currently no matching articles.