2) Si Test ergodique pour µ,T2est-elle ergodique pour µ?
3) Si T(resp. T2) est uniquement ergodique, T2(resp. T) est-elle u niquement ergodique ?
4) Montrer que Test m´elangeante pour µsi et seulement si T2est m´elangeante pour µ.
Exercice 4 : Conjugaison et projection
Soit T:X→Xune application pr´eservant une mesure bor´elienne µet S:Y→Yune
application pr´eservant une mesure bor´elienne λ. Donner une d´efinition naturelle de la
conjugaison entre les deux syst`emes dynamiques. Montrer que l’ergodicit´e et le m´elange
sont deux notions pr´eserv´ees par la conjugaison.
On suppose maintenant qu’il existe une surjection h:X→Ytelle que µ=h∗λet
h◦T=S◦h. Comment se transmettent les propri´et´es d’ergodicit´e et de m´elange ?
Les applications du tore
Exercice 5 : Les translations
Soit d∈N∗et α∈Td. On consid`ere Rα:x7→ x+αla translation de vecteur αsur le tore
Td.
1) Montrer une condition (C) n´ecessaire et suffisante sur αpour que Rαsoit ergodique
pour la mesure de Lebesgue. Si αne v´erifie pas (C), existe-t-il des mesures ergodiques
pour Rα?
2) On suppose que αv´erifie (C). Montrer que Rαest uniquement ergodique.
Exercice 6 : Loi de Benford
Un ensemble de nombres suit la loi de Benford si la proportion de nombres commen¸cant par
le chiffre kest ln(1 + 1/k)/ln 10. Curieusement, beaucoup de donn´ees v´erifient empirique-
ment cette loi : taille des villes, chiffres d’affaires des entreprises, la suite des carr´es etc.
En particulier, on note que les nombres commen¸cant par 1 apparaissent plus fr´equemment
que ceux commen¸cant par 2. En utilisant l’exercice pr´ec´edent, montrer que la plupart des
suites exponentielles (an)n∈Nv´erifie la loi de Benford.
Exercice 7 : Un exemple `a faire `a la main
On regarde sur le tore T2l’application T: (x, y)7→ (x+α, x +y). Montrer que Test
ergodique pour la mesure de Lebesgue si et seulement si αest irrationnel.
Exercice 8 : Structure de groupe de Lie et mesure de Lebesgue
Le tore Tdest un groupe de Lie pour l’addition (x, y)7→ x+y. On appelle homomorphisme
du tore une application bor´elienne Ttelle que T(x+y) = T x +T y.
1) Soit µune mesure de proba bor´elienne sur Tdtelle que pour tout x∈Tdet tout bor´elien
A⊂Td,µ(x+A) = µ(A). Montrer que µest la mesure de Lebesgue sur Td.
2) Montrer qu’un homomorphisme du tore Tsurjectif pr´eserve la mesure de Lebesgue.
2