Ergodic components of a rational circle rotation
ID: ergodic-components-of-a-rational-circle-rotation
For rotation by with coprime integers and Haar probability on the circle, components are the equal measures on the -point orbits. The quotient map is . Integration over the quotient recovers Haar measure, and the rotation permutes each orbit transitively, making its probability measure ergodic.
New to topics? Read the docs here!