Numérotation des nombres rationnels
Un ensemble
est dit dénombrable si et seulement si il existe une bijection entre l’ensemble
des entiers
naturels et
. Cette bijection permet alors de numéroter les éléments de
.
Partie I
1. Montrer que les ensembles
et
2 /
sont dénombrables.
2. Dans cette question, on désire établir que
est dénombrable.
Pour cela on introduit l’application
:
définie par :
si
est pair et
si
est impair.
2.a Calculer
pour
allant de 0 à 5.
2.b Montrer que l’application
est bien définie.
2.c Etablir que
est bijective.
3. Dans cette question, on désire établir que
est dénombrable.
Pour cela on introduit l’application
2
:
définie par :
3.a Montrer que
est bien définie et qu’elle est injective.
3.b En observant, pour tout
, l’existence d’une plus grande puissance de 2 divisant
, établir que
est surjective.
3.c Conclure que
est dénombrable et qu’il en est de même de
.
4. Dans cette question, on désire établir que
est dénombrable.
4.a Exhiber une injection de
dans
.
4.b On appelle représentant irréductible d’un nombre rationnel
l’unique fraction irréductible
égale à
avec
et
.
Observer que l’application
:
qui à
associe le couple
( , )
avec
le
représentant irréductible est injective. Est-elle surjective ?
4.c Former une injection de
dans
.
On peut alors conclure que
est dénombrable à l’aide du théorème de Cantor-Bernstein dont la démonstration
est l’objet de la partie suivante.
Partie II
On veut démontrer le résultat suivant :
« Etant donnés deux ensembles
et
, s’il existe une injection de
dans
et une injection de
dans
alors il existe une bijection entre
et
. »
Supposons que
:
et
:
soient deux applications injectives.
On forme
:
et on note
.
1. On forme
( )/ et ( )
.
1.a Observer que l’ensemble
est non vide.
1.b Soit
. Montrer que
et que
.
En déduire que
( )
.
2. On forme
. On remarque que
est inclus dans tout ensemble
appartenant à
.
2.a Montrer que
.
2.b En exploitant II.1.b, établir que
puis que
.