Théorème de Cantor-Bernstein - Bibm@th.net
Enoncé
Le but de cet exercice est de démontrer un célèbre théorème de Cantor et Bernstein : si $E$ et $F$ sont des ensembles tels qu'il existe une injection de $E$ dans $F$ et une injection de $F$ dans $E$, alors il existe une bijection de $E$ sur $F$. On se donne donc deux ensembles $E$ et $F$ et deux applications injectives $i:E\to F$ et $j:F\to E$. On note par ailleurs
$$A_0=E\backslash j(F),\ A_1=(j\circ i)(A_0),\dots, A_{n+1}=(j\circ i)(A_n)$$
et
$$B=\bigcup_{n\geq 0}A_n,\ C=E\backslash B.$$
- Construction de l'application.
- Démontrer que pour tout $x\in C$, il existe un unique $z\in F$ tel que $x=j(z)$. On notera cet élément $\phi(x)$.
- Pour $x\in B$, on note $\phi(x)=i(x)$. Démontrer que l'on a ainsi bien défini une application $\phi:E\to F$.
- Injectivité de $\phi$.
- Démontrer que les restrictions de $\phi$ à $B$ et à $C$ sont injectives.
- Considérons maintenant $x\in C$ et $y\in B$ tels que $\phi(x)=\phi(y)$. Démontrer que $x=(j\circ i)(y)$.
- En déduire que $\phi$ est injective.
- Surjectivité de $\phi$. Démontrer que $\phi$ est surjective.
- Un exemple. Pour $E=\mathbb N$, $F=\{2,3,\dots,\}$, $i:E\to F,\ n\mapsto n+4$, $j:F\to E,\ n\mapsto n$, déterminer les ensembles $A_n$, $B$, $C$ et l'application $\phi$.