ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 2 — Applications et relations binaires · Injections, surjections, bijections

Exercice 26

Démonstration

1. Montrer que l'application ℕ2→ℕ\mathbb{N}^{2} \to \mathbb{N}, (a,b)↦2a(2b+1)−1(a,b) \mapsto 2^{a}(2b + 1) - 1, est bijective.

2. En déduire, par récurrence, que ℕr\mathbb{N}^{r} est équipotent à ℕ\mathbb{N} pour tout r⩾1r \geqslant 1.

3. Construire une bijection de [0 ,1][0\,,1] sur [0 ,1[[0\,,1[. On pourra faire subir à la suite (1n)n⩾1\big(\frac{1}{n}\big)_{n \geqslant 1} le décalage de l'« hôtel de Hilbert » et laisser fixes les autres réels.

4. Montrer que l'ensemble ℕℕ\mathbb{N}^{\mathbb{N}} des suites d'entiers naturels n'est pas équipotent à ℕ\mathbb{N}.

Corrigé

1. Il suffit de montrer que β:(a,b)↦2a(2b+1)\beta : (a,b) \mapsto 2^{a}(2b + 1) est une bijection de ℕ2\mathbb{N}^{2} sur ℕ∗\mathbb{N}^{*}, puis de retrancher 11.

• Surjectivité. Soit m∈ℕ∗m \in \mathbb{N}^{*}. L'ensemble des entiers aa tels que 2a2^{a} divise mm contient 00 et est majoré par mm, car 2a⩾a2^{a} \geqslant a ; il a un plus grand élément aa. Le quotient m/2am / 2^{a} est alors impair, de la forme 2b+12b + 1.

• Injectivité. Si 2a(2b+1)=2a′(2b′+1)2^{a}(2b + 1) = 2^{a'}(2b' + 1) avec a<a′a < a', on divise par 2a2^{a} : un entier impair serait égal à un entier pair. Donc a=a′a = a', puis b=b′b = b'.

(a,b)↦2a(2b+1)−1 est une bijection de ℕ2 sur ℕ.\boxed{(a,b) \mapsto 2^{a}(2b + 1) - 1 \text{ est une bijection de } \mathbb{N}^{2} \text{ sur } \mathbb{N}.}

2. C'est vrai pour r=1r = 1. Si σr:ℕr→ℕ\sigma_{r} : \mathbb{N}^{r} \to \mathbb{N} est bijective, l'application ℕr+1=ℕr×ℕ→ℕ\mathbb{N}^{r+1} = \mathbb{N}^{r} \times \mathbb{N} \to \mathbb{N}, (x,n)↦β′(σr(x),n)(x,n) \mapsto \beta'\big(\sigma_{r}(x), n\big), où β′\beta' est la bijection de la question 1, est une composée de bijections. ℕr est eˊquipotent aˋ ℕ pour tout r⩾1.\boxed{\mathbb{N}^{r} \text{ est équipotent à } \mathbb{N} \text{ pour tout } r \geqslant 1.}

3. On décale la suite (1n)n⩾1\big(\frac{1}{n}\big)_{n \geqslant 1} d'un cran, comme les clients de l'hôtel de Hilbert : h(x)={1n+1si x=1n, n∈ℕ∗xsinon\boxed{h(x) = \begin{cases} \dfrac{1}{n + 1} & \text{si } x = \dfrac{1}{n},\ n \in \mathbb{N}^{*} \\[2mm] x & \text{sinon} \end{cases}} Le réel 1=111 = \frac{1}{1} n'est pas atteint, et chaque 1m\frac{1}{m} avec m⩾2m \geqslant 2 a l'unique antécédent 1m−1\frac{1}{m - 1} ; les autres réels sont fixes. L'application hh est donc une bijection de [0 ,1][0\,,1] sur [0 ,1[[0\,,1[.

4. Raisonnons par l'absurde, et soit σ:ℕ→ℕℕ\sigma : \mathbb{N} \to \mathbb{N}^{\mathbb{N}} une bijection ; on note u(n)=σ(n)u^{(n)} = \sigma(n). On définit la suite vv par vn=un(n)+1v_{n} = u^{(n)}_{n} + 1. Pour tout nn, vv diffère de u(n)u^{(n)} en son terme d'indice nn : la suite vv n'est pas atteinte par σ\sigma. ℕℕ n’est pas eˊquipotent aˋ ℕ.\boxed{\mathbb{N}^{\mathbb{N}} \text{ n'est pas équipotent à } \mathbb{N}.} C'est l'argument diagonal du théorème de Cantor, démontré dans le cours pour 𝒫(E)\mathcal{P}(E) : on modifie la nn-ième suite à la nn-ième place.

Dans l'édifice

Thèmes

injections, surjections, bijections, bijections

Notions

injection, surjection, bijection

Ouvrir dans l'atlas interactif →