A Proof Using The Optional Stopping Theorem
Assume (1), (5), (8), (10), (11) and (12). Using assumption (1), define the sequence of random variables
Assumption (11) implies that the conditional expectation of Xn given Fn–1 equals E almost surely for every n ∈ N, hence (Mn)n∈N0 is a martingale with respect to the filtration (Fn)n∈N0 by assumption (12). Assumptions (5), (8) and (10) make sure that we can apply the optional stopping theorem, hence MN = SN – TN is integrable and
-
(13)
Due to assumption (8),
and due to assumption (5) this upper bound is integrable. Hence we can add the expectation of TN to both sides of Equation (13) and obtain by linearity
Remark: Note that this proof does not cover the above example with dependent terms.
Read more about this topic: Wald's Equation
Famous quotes containing the words proof, optional, stopping and/or theorem:
“a meek humble Man of modest sense,
Who preaching peace does practice continence;
Whose pious life’s a proof he does believe,
Mysterious truths, which no Man can conceive.”
—John Wilmot, 2d Earl Of Rochester (1647–1680)
“Our father presents an optional set of rhythms and responses for us to connect to. As a second home base, he makes it safer to roam. With him as an ally—a love—it is safer, too, to show that we’re mad when we’re mad at our mother. We can hate and not be abandoned, hate and still love.”
—Judith Viorst (20th century)
“Research is usually a policeman stopping a novel from progressing.”
—Brian Moore (b. 1921)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)