= Solution
{c}
Work modulo <indistinguishability of stochastic processes>, with norm $\|M\|=(\mathbb E|M_t|^2)^{1/2}$. It is a genuine norm: zero terminal value implies $M_s=\mathbb E[M_t\mid\mathcal F_s]=0$ at every fixed time, and continuity extends equality from countably many rational times to all times simultaneously.
Let $M^j$ be a Cauchy sequence in this norm. Choose a subsequence with $\|M^{j_{n+1}}-M^{j_n}\|<2^{-n}$. Part (b) applies to these difference martingales, so their telescoping series converges uniformly almost surely. Its limit has continuous paths. At each time $s$, conditional-expectation contractivity gives
$$
\|M^j_s-M^k_s\|_2\leq\|M^j_t-M^k_t\|_2,
$$
so the fixed-time limit also exists in $L^2$ and agrees with the pathwise limit. It has an adapted version obtained by taking the finite pointwise subsequence limit when it exists, and zero otherwise. Each such definition is measurable at its own time, and the almost surely uniform limit gives continuous paths. Passing to the $L^2$ limit in $\mathbb E[M^j_v\mid\mathcal F_s]=M^j_s$ shows that the limit is a martingale. The original Cauchy sequence converges to it in terminal norm. Thus \b[the space is complete].
Part (b) supplies what fixed-time $L^2$ completeness alone does not: a single full-probability set on which a subsequence converges uniformly in time, preserving path continuity. This is <completeness of continuous square-integrable martingales>.
Back to article page
