Écriture binaire d’un nombre réel

(Oral X-Cachan Psi)
On pose {x \in[0,1[} et {x_{1} = \lfloor 2x\rfloor}.
Pour tout {n\in\mathbb{N}^{*}}, on pose :{x_{n+1}= \lfloor 2^{n+1}(x - S_{n})\rfloor\;\text{où}\;S_{n} = \displaystyle\sum_{k=1}^{n}\dfrac{x_{k}}{2^{k}}}

  1. Vérifier {S_{n}\le x \lt S_{n} +\dfrac{1}{2^{n}}} pour {n\in\mathbb{N}^{*}}.
  2. Montrer que les conditions suivantes sont équivalentes:
    \cdot\ x=j\,2^{-m} avec j entier, {0\le j\lt 2^{m}}
    {\cdot\ x_{k}=0} pour tout {k > m}.

  3. Soit {f\colon\{0,1\}^{\mathbb{N}^{*}}\rightarrow[0,1],\;(x_{k})_{k\ge1}\mapsto \displaystyle\sum_{k=1}^{+\infty}\dfrac{x_{k}}{2^{k}}}.
    Montrer que f est bien définie, surjective mais pas injective.

Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :