 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$.