Irrational rotation (source code)

= Irrational rotation
{wiki}

= Irrational rotation of the circle
{synonym}

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