Irrational rotation of the circle (source code)

= Irrational rotation of the circle
{wiki=Irrational_rotation}

= Irrational rotation
{synonym}

For irrational $\alpha$, the circle rotation $T(x)=x+\alpha\pmod1$ preserves <Lebesgue measure> and is an <ergodic transformation>.