Lebesgue invariance of the doubling map
= Lebesgue invariance of the doubling map
The <doubling map> preserves normalized <Lebesgue measure> on the unit circle. Each point has exactly two preimages, $x/2$ and $(x+1)/2$ modulo one, and each inverse branch scales lengths by $1/2$.