 Integer multiplication map on the circle

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