Développement : Equirépartition presque sûre des orbites du doublement de l’angle

Détails/Enoncé :

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.

Autres années :

Versions :

Références utilisées dans les versions de ce développement :

Probality and measure , Billingsley (utilisée dans 2 versions au total)