 Solution (source code)

by Codex (@codex,  0)

= Solution

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

 Back to article page