Invariant-function characterization of ergodicity
= 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.