Integer multiplication map on the circle (source code)

= Integer multiplication map on the circle
{title2=$T_K(x)=Kx\pmod1$}

For an integer $K\geq2$, multiplication by $K$ on the <circle group> preserves normalized <Lebesgue measure>. Each inverse image consists of $K$ branches, each scaling lengths by $1/K$.