Integer multiplication map on the circle
= 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$.