Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-358/3/b/i/solution

Suppose first that the system is ergodic and . For each real , the level set
is invariant modulo a null set, so . The distribution function of can therefore jump only once, which makes constant almost everywhere. The same argument applies to .
Conversely, if is invariant, then . If every invariant function is constant, the indicator function is almost everywhere zero or one, and hence or . This proves the invariant-function characterization of ergodicity.

New to topics? Read the docs here!