ExerciceMaths Sup – MPSI, chapitre 2 — Applications et relations binaires · Injections, surjections, bijections
Exercice 26
1. Montrer que l'application , , est bijective.
2. En déduire, par récurrence, que est équipotent à pour tout .
3. Construire une bijection de sur . On pourra faire subir à la suite le décalage de l'« hôtel de Hilbert » et laisser fixes les autres réels.
4. Montrer que l'ensemble des suites d'entiers naturels n'est pas équipotent à .
Corrigé
1. Il suffit de montrer que est une bijection de sur , puis de retrancher .
• Surjectivité. Soit . L'ensemble des entiers tels que divise contient et est majoré par , car ; il a un plus grand élément . Le quotient est alors impair, de la forme .
• Injectivité. Si avec , on divise par : un entier impair serait égal à un entier pair. Donc , puis .
2. C'est vrai pour . Si est bijective, l'application , , où est la bijection de la question 1, est une composée de bijections.
3. On décale la suite d'un cran, comme les clients de l'hôtel de Hilbert : Le réel n'est pas atteint, et chaque avec a l'unique antécédent ; les autres réels sont fixes. L'application est donc une bijection de sur .
4. Raisonnons par l'absurde, et soit une bijection ; on note . On définit la suite par . Pour tout , diffère de en son terme d'indice : la suite n'est pas atteinte par . C'est l'argument diagonal du théorème de Cantor, démontré dans le cours pour : on modifie la -ième suite à la -ième place.