Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 16 / 5 / Solution

We first prove invariance, before using any assertion that requires it. Write $A_n\phi (x)=n^{-1}{\sum }_{k=0}^{n-1}\phi (f^{k}x)$. Choose a point whose forward orbit has the prescribed convergence against every continuous function; the hypothesis gives a set of such points of full measure. For each continuous function $\phi$, telescoping givesbecause a continuous function on a compact metric space is bounded. Both test functions are continuous, so their averages converge to their prescribed integrals. Hencefor every continuous function $\phi$. The continuous-test criterion for an invariant measure therefore gives $f_{\ast }\mu =\mu$. The points in the hypothesis can now be called generic points for an invariant measure.

For ergodicity, let $B$ be a Borel set invariant modulo null sets, and set $h=1_B$, $p=\mu (B)$. Then $h\circ f=h$ almost everywhere. Since invariance preserves null preimages, deleting the union of all iterated preimages of the exceptional null set gives $h(f^{k}x)=h(x)$ for every $k\ge 0$ on one full-measure set. Thus $A_{n}h=h$ almost everywhere for every $n$.

Given $ϵ>0$, the continuous approximation of Borel indicators on a compact metric space, proved in the supporting steps below, supplies $\phi \in C(X)$ with $0\le \phi \le 1$ and $\Vert h-\phi {\Vert }_{L^1(\mu )}<ϵ$. By the hypothesis, $A_n\phi \to \int \phi d\mu$ almost everywhere. Since $0\le A_n\phi \le 1$, the dominated convergence theorem also gives convergence in $L^1(\mu )$. Invariance and the triangle inequality give the uniform estimateConsequently,Letting $n\to \infty$ and then $ϵ\downarrow 0$ proves $\Vert h-p{\Vert }_1=0$. Explicitly,so $p\in \{0,1\}$. Every invariant Borel set has measure zero or one, which provesThis proof controls measurable-set averages through a uniform $L^1$ estimate; convergence only against continuous test functions is not silently assumed to include indicator functions.