Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 33 / 1 / c / i

Write $\eta (A)={\int }_A{X}_{\infty }d\lambda$. This is a finite positive measure. For $A\in {\mathcal{F}}_n$, the conditional expectation inequality givesThe union $\mathcal{A}={\bigcup }_n{\mathcal{F}}_n$ is an algebra of sets generating $\mathcal{B}([0,1))$, since half-open dyadic intervals generate all open sets and hence all Borel sets. The class $\{A:\eta (A)\le \mu (A)\}$ is closed under increasing and decreasing limits, by continuity of these finite measures. The Monotone class theorem extends the inequality from $\mathcal{A}$ to every Borel set. Approximation by nonnegative simple functions and monotone convergence then giveThe difference $\nu =\mu -\eta$ is therefore a finite nonnegative measure, not merely a signed measure. For $A\in {\mathcal{F}}_n$,Consequently its restricted Radon-Nikodym derivative isChoose the cell-average versions of all the conditional expectations. Then $Y_n$ is constant on each level-$n$ cell and equals $2^n\nu (D_k^n)$ there, so these versions are nonnegative at every point.