Every evaluation map is continuous in the uniform metric, so . Conversely, for ,with the harmless restriction to for which . Thus every open ball belongs to . Separability makes every open set a countable union of balls, so and equality follows.
Let be the distance to the closed set . Continuity givesEvery variable in the countable infimum is -measurable by adaptedness, so the event belongs to . Hence is a stopping time.
Almost-sure convergence plus uniform integrability gives in . Conditional expectation is an contraction, so
Take and . Then , so is uniformly integrable and almost surely by the Borel-Cantelli lemmas. Independence and giveBut the independent events have divergent probability sum, so the second Borel-Cantelli lemma makes them occur infinitely often. Thus these conditional expectations do not converge almost surely to zero.
The Skorokhod embedding theorem states that if is a centered probability law on with finite second moment, there is a Brownian stopping time such that , the stopped process is uniformly integrable, and .
Construct the times inductively. Suppose has the law of . Conditional on the past, the martingale increment has mean zero and finite second moment. Apply the conditional form of the Skorokhod embedding theorem to this regular conditional law, using the fresh Brownian motion supplied by the Strong Markov property. This gives a stopping time increment and such that the next Brownian increment has the required conditional law. Induction provesfor every .
Articles by others on the same topic
There are currently no matching articles.