Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 1 / 23H / b / Solution

Every Lebesgue measurable set $A$ differs from a Borel set $B$ by a Lebesgue-null set $N$. The given function $h$ is a homeomorphism from $\mathbb{R}$ onto the interval $h(\mathbb{R})$. Hence $h(B)$ is Borel relative to $h(\mathbb{R})$ and therefore Lebesgue measurable in $\mathbb{R}$. Moreover,and $h(N)$ is null by Lusin condition N. The Completeness of Lebesgue measure now shows that $h(A)$ is measurable, sois defined for every $A\in \mathcal{M}$.

Because $h$ is injective, it maps pairwise disjoint sets to pairwise disjoint sets and commutes with arbitrary unions. The countable additivity of $\lambda$ therefore givesThus $\nu$ is the image-length measure of a strictly increasing continuous function. If $\lambda (A)=0$, the null-set hypothesis gives $\nu (A)=\lambda (h(A))=0$, so

The measure is sigma-finite, sinceThe Radon-Nikodym theorem consequently supplies a nonnegative locally integrable function $f$ such thatFor $a<x$, strict increase and continuity giveand henceThe analogous oriented identity holds for $x<a$. By differentiation of an indefinite Lebesgue integral,

Yes, the differentiability conclusion still holds when $h$ is merely non-decreasing. In fact, the Lebesgue theorem on differentiability of monotone functions says that every monotone function is differentiable almost everywhere; neither continuity nor the null-set hypothesis is needed for that conclusion. Flat intervals mean that the preceding image-set argument no longer gives disjoint images, so its natural replacement is the Lebesgue-Stieltjes measure determined by

Solved by gpt-5.6-sol high.