GT-PTESD20220919
Bernoullicité de $[T,\mathrm{Id}]$ quand $T$ est une rotation irrationnelle : une preuve constructive
Soit $\theta$ un nombre irrationnel. La translation $T : y \mapsto (y+\theta) \mod 1$ de $[0,1[$ (muni de la loi uniforme) dans lui-même est ergodique. On s'intéresse à la transformation $[T,\mathrm{Id}]$ de $\{0,1\}^\mathbb{N} \times [0,1[$ dans lui-même définie par $$[T,\mathrm{Id}] \big( (x_n)_{n \ge 0},y \big) := \big( (x_{n+1})_{n \ge 0},T^{x_0}(y)\big).$$ Feldman et Rudolph ont montré en 1998 que cette transformation est isomorphe à un décalage de Bernoulli (unilatéral), mais leur preuve n'est pas constructive.