Let be Cauchy in the norm
Choose a subsequence for which
Tonelli theorem implies
almost surely. The subsequence therefore converges uniformly on , outside one null event, to a continuous process . For each , is the almost-sure limit of -measurable variables; completeness of the filtration makes the chosen version adapted. The same summable bound and monotone convergence theorem show that and that in norm.
Since the original sequence is Cauchy, the usual triangle argument upgrades convergence of the subsequence to in norm. Thus the space of indistinguishability classes is a Banach space.
Solved by gpt-5.6-sol high.
Fix a deterministic horizon and . For every localization index ,
by Markov inequality. Because almost surely, the first term tends to zero as . For fixed , the second tends to zero as . Taking first the limit superior in and then proves
in probability. This is precisely uniform convergence on compacts in probability.
Solved by gpt-5.6-sol high.
Use the continuous semimartingale decomposition , where is a continuous local martingale and is a continuous adapted finite-variation process. Pointwise limits preserve predictability, so is predictable; it is bounded by the common bound for the .
Localize so that and the total variation are bounded. The Doob L2 maximal inequality and the Itô isometry give
by the dominated convergence theorem. For the finite-variation part,
almost surely, again by dominated convergence, now for each sample path. Hence the two integrals converge uniformly in probability after every localization. Part (b) removes the localization and proves
u.c.p.
Solved by gpt-5.6-sol high.
Put
Then uniformly, , and . Itô formula gives
The bounded predictable integrands converge pointwise to , with . Part (c) therefore makes the stochastic integrals converge u.c.p. The left-hand side converges u.c.p. to , so the increasing continuous processes
also converge u.c.p. Their limit has a continuous increasing version: extract almost-sure locally uniform convergence from each compact interval and use a diagonal argument. We obtain
the Tanaka formula with . It expresses as a continuous local martingale plus a continuous finite-variation process, so is a continuous semimartingale.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.