🏨 L'expérience de pensée
Imagine un hôtel avec une infinité de chambres : chambre 1, chambre 2, chambre 3, chambre 4… jusqu'à l'infini. Toutes les chambres sont occupées. L'hôtel est complet.
Soudain, un nouveau client arrive et demande une chambre. Le réceptionniste dit : « Désolé, monsieur, nous sommes complets. »
Est-ce vraiment vrai ? David Hilbert, l'un des plus grands mathématiciens du XXᵉ siècle, proposa cette expérience de pensée en 1924 pour illustrer une vérité surprenante.
💡 L'astuce révolutionnaire
Le réceptionniste réfléchit, puis annonce par haut-parleur :
« Chers clients, chacun de vous va se déplacer dans la chambre dont le numéro est le sien + 1. Le client de la chambre 1 va en chambre 2. Le client de la chambre 2 va en chambre 3. Etc. »
Et voilà. La chambre 1 est maintenant libre pour le nouveau client. Tous les anciens clients ont toujours une chambre. Personne n'a été éjecté.
🚌 Et si un bus de 1 000 nouveaux clients arrive ?
Pas de problème ! Le réceptionniste annonce :
« Chacun se déplace dans la chambre dont le numéro est le sien + 1 000. »
Les chambres 1 à 1 000 sont libres pour les nouveaux. Et si un bus avec une infinité de clients arrive ? Même pas de souci !
« Chaque client actuel se déplace dans la chambre dont le numéro est le DOUBLE du sien. » (chambre 1 → 2, chambre 2 → 4, chambre 3 → 6…)
Toutes les chambres impaires (1, 3, 5, 7…) sont maintenant libres. Il y en a une infinité. Les nouveaux clients du bus s'y installent.
🤯 Pourquoi c'est wow
Cette expérience révèle une vérité profonde :
- Pour les ensembles finis, l'addition fait grandir : 100 + 1 > 100
- Pour les ensembles infinis, ce n'est plus vrai : ∞ + 1 = ∞
- Et même : ∞ + ∞ = ∞
- Et même : 2 × ∞ = ∞
Mais alors… tous les infinis sont-ils égaux ?
🎭 La grande surprise : il existe DES infinis (Cantor, 1879)
En 1879, le mathématicien allemand Georg Cantor démontre une chose stupéfiante : certains infinis sont PLUS GRANDS que d'autres.
Précisément :
- Les entiers naturels ℕ = {0, 1, 2, 3, …} : infini "dénombrable"
- Les rationnels ℚ (fractions) : même infini que ℕ (surprenant : on peut les numéroter)
- Les réels ℝ (tous les nombres) : STRICTEMENT PLUS infini que ℕ
📜 La diagonale de Cantor (intuition)
Supposons qu'on puisse numéroter tous les réels entre 0 et 1 dans une liste infinie :
r₁ = 0,1415926…
r₂ = 0,2333333…
r₃ = 0,7712345…
r₄ = 0,9990123…
…
Construis le nombre dont la nᵉ décimale est différente de la nᵉ décimale de rn (par exemple, +1). Tu obtiens un nombre réel qui diffère de TOUS les rn par au moins une décimale.
Donc ce nombre n'était pas dans la liste. Contradiction : il est impossible de numéroter les réels. ℝ est un infini strictement plus grand que ℕ.
🎓 Le lien avec ton programme
L'hôtel de Hilbert n'est pas au programme BAC SM. Mais le concept d'infini sous-tend plusieurs sujets que tu vois :
- Limites de suites : lim un = +∞ — qu'est-ce que ça signifie vraiment ?
- Séries (prépa) : somme infinie de termes (la série harmonique 1 + 12 + 13 + … diverge vers +∞)
- Intégrales impropres : ∫₁+∞ 1/x² dx converge — somme infinie qui donne un résultat fini !
- Théorie des ensembles (philo) : ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ — chaque inclusion stricte
🧠 Une leçon philosophique
L'infini n'est pas un nombre. C'est un concept. Et ce concept ne fonctionne pas selon nos intuitions du fini.
Les mathématiciens ont mis 2 000 ans à apprivoiser l'infini (d'Aristote qui le rejette à Cantor qui le structure). Aujourd'hui, on sait qu'il y a une infinité d'infinis, chacun strictement plus grand que le précédent. C'est une hiérarchie sans fin.
Ce qui était autrefois un sujet philosophique flou (le « plus grand de tous les nombres ») est devenu, grâce à Cantor et Hilbert, un objet mathématique rigoureux. Et ça change tout : sans cette rigueur, pas de fonction d'onde quantique, pas de probabilités modernes, pas d'analyse réelle.
💡 Bonus à venir : une visualisation animée de l'hôtel infini avec déplacement des clients.