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:
“In the reproof of chance
Lies the true proof of men.”
—William Shakespeare (1564–1616)
“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)
“The sugar maple is remarkable for its clean ankle. The groves of these trees looked like vast forest sheds, their branches stopping short at a uniform height, four or five feet from the ground, like eaves, as if they had been trimmed by art, so that you could look under and through the whole grove with its leafy canopy, as under a tent whose curtain is raised.”
—Henry David Thoreau (1817–1862)
“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)