Ergodic maps of the additive circle #
This file contains proofs of ergodicity for maps of the additive circle.
Main definitions: #
If a null-measurable subset of the circle is almost invariant under rotation by a family of
rational angles with denominators tending to infinity, then it must be almost empty or almost full.