Past exam of the probability, measure and martingales course of the University of Oxford / 2023 / 2 / c / iii / Solution

Choose $Z_{\infty }$ as the pointwise limit of a sequence of $(Z_n)$ where it exists, and as zero otherwise. The convergence event and every $Z_n$ are $\sigma (X)$-measurable, so this is an exactly $\sigma (X)$-measurable version, bounded by $L$. Part (a)(ii), the Doob-Dynkin lemma, supplies a Borel measurable function $g$ on $[0,1]$ such that $Z_{\infty }=g(X)$. Applying scalar clipping to $g$ with bounds $[-L,L]$ preserves that equality and ensures $|g(u)|\le L$ everywhere.

Part (c)(ii) and the conditional expectation formula from part (b)(iv) now giveSince the indices $n$ form a countable family, these identities may be taken on one common full-probability event.

For fixed $n,k$, both the slope and the displayed average are constant on the atom $A_{n,k}$, whose probability is $2^{-n}>0$. An equality holding almost surely of these constants forces the deterministic equalitySum over $0\le k<j$. The telescoping sum givesThus the desired identity holds at every dyadic endpoint, including $1$, without evaluating the undefined slope at $X=1$.

Finally, given $x\in [0,1]$, take dyadic endpoints $x_n\to x$. The Lipschitz condition implies $|f(x_n)-f(x)|\le L|x_n-x|$, and the bound on the Borel measurable function $g$ givesPassing to the limit of a sequence provesThis is a martingale proof of the integral representation of a Lipschitz function. It constructs a bounded Lebesgue integrable function representing the increments of $f$, and in particular proves absolute continuity of $f$. No prior assumption that $f$ has a derivative is needed.