Ensemble non dénombrable de suites
Bonjour
Je cherche à prouver que le sous-ensemble $E$ de $\ell^{\infty}$ des suites constituées uniquement de $0$ et de $1$ n'est pas dénombrable.
Je ne sais pas comment procéder mais je me demande s'il n'y a pas moyen d'utiliser le fait que $\mathbb{R}$ n'est pas dénombrable, en utilisant quelque chose de proche de la démonstration de Cantor sur la non-dénombrabilité de $\mathbb{R}$. On pourrait en particulier justifier que tout entier peut s'écrire (en binaire) comme une suite de $0$ et de $1$, et donc qu'à tout élément de $\mathbb{R}$ on peut faire correspondre une unique suite (infinie) de $0$ et de $1$. En d'autres termes $\mathbb{R}$ et $E$ sont isomorphes, donc $E$ n'est pas dénombrable.
Est-ce que j'enfonce des portes ouvertes ? Est-ce qu'il existe une démonstration s'appuyant sur des arguments plus "théoriques" ?
Je cherche à prouver que le sous-ensemble $E$ de $\ell^{\infty}$ des suites constituées uniquement de $0$ et de $1$ n'est pas dénombrable.
Je ne sais pas comment procéder mais je me demande s'il n'y a pas moyen d'utiliser le fait que $\mathbb{R}$ n'est pas dénombrable, en utilisant quelque chose de proche de la démonstration de Cantor sur la non-dénombrabilité de $\mathbb{R}$. On pourrait en particulier justifier que tout entier peut s'écrire (en binaire) comme une suite de $0$ et de $1$, et donc qu'à tout élément de $\mathbb{R}$ on peut faire correspondre une unique suite (infinie) de $0$ et de $1$. En d'autres termes $\mathbb{R}$ et $E$ sont isomorphes, donc $E$ n'est pas dénombrable.
Est-ce que j'enfonce des portes ouvertes ? Est-ce qu'il existe une démonstration s'appuyant sur des arguments plus "théoriques" ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
\[
\phi((u_n)_{n\in \N}) = \{n\in \N : u_n=1\}
\] et un théorème bien connu de Cantor montre que $\mathcal P(A)$ est toujours strictement plus gros (au sens du cardinal) que $A$. En combinant ces deux choses on voit que $\ell^\infty$ est non dénombrable.
Maintenant si on veut en plus montrer que $\ell^\infty$ a le même cardinal que $\R$ l'argument avec les développement binaire fonctionne bien.
AD : tu viens d'éditer tous les messages en remplaçant les $l^\infty$ par des $\ell^\infty$. Pour moi $\ell^\infty$ c'est l'espace des suites bornées, pas la même chose que le $l^\infty$ du message initial de l'auteur donc.
Corto, qu'est-ce que c'est $l^\infty$ pour toi ?