Take the unit circle with its Borel sigma-algebra and normalized Lebesgue measure, and let
This is the doubling map. Its two inverse branches halve length, so Lebesgue invariance of the doubling map gives . Moreover
for every point of the circle.