Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 358 / 3 / a / ii / Solution

The map $F$ is a measure-preserving transformation whenfor every Borel set $B$, equivalently $F_{\ast }\omega =\omega$. In this case its Koopman operator is an isometry on $L^2(\omega )$.