On se place sur E = [0, 1[ qu’on munit de la mesure de Lebesgue. On définit l’application f par f(x) = {2x} (partie fractionnaire de 2x), pour tout x dans E. Cette application correspond au doublement de l’angle sur le cercle.
Dans le développement, on montre que pour presque-tout x dans E, la suite des itérées de f en x est équirépartie. On pourra regarder dans : P. Billingsley, Probability and measure.