 Invariant-function characterization of ergodicity

An invertible measure-preserving system is ergodic exactly when the fixed space of its Koopman operator on $L^2$ consists only of almost-everywhere constant functions. One direction applies invariance to level sets; the other applies it to indicator functions of invariant sets.