Imagine que tu comptes les grains de sable de la plage de Fidjrossè à Cotonou. Tu n’y arriveras jamais — il y en a trop. Maintenant imagine que tu comptes les étoiles de l’univers. Encore plus impossible. Ces deux quantités sont toutes les deux « infinies » dans le sens pratique — mais sont-elles égales ?

Un mathématicien allemand nommé Georg Cantor a posé cette question au XIXe siècle et a obtenu une réponse qui a failli le rendre fou — et qui a choqué la communauté mathématique mondiale. Sa réponse : non, tous les infinis ne sont pas égaux. Certains infinis sont strictement plus grands que d’autres.

Et il l’a prouvé.

Commençons par le commencement : compter sans nombres

Avant d’attaquer l’infini, il faut réapprendre ce que signifie « même taille ». La définition intuitive — compter les éléments et comparer — ne fonctionne pas pour des ensembles infinis. Il faut une définition plus profonde.

Bijection (ou correspondance biunivoque) : Une bijection entre deux ensembles A et B est une règle qui associe à chaque élément de A exactement un élément de B, et vice versa — sans rien oublier, sans rien répéter. Si une telle bijection existe, les deux ensembles ont la même taille — le même cardinal.
🌍 Analogie du marché de Dantokpa

Imagine deux files au marché : une file de vendeuses et une file d’acheteurs. Pour savoir si les deux files ont le même nombre de personnes, tu n’as pas besoin de les compter. Il suffit de les jumeler — chaque vendeuse face à un acheteur. S’il n’y a ni vendeuse ni acheteur sans partenaire à la fin, les deux files ont le même effectif.

C’est exactement la définition d’une bijection. Et c’est le seul outil rigoureux pour comparer des ensembles infinis.

Premier choc : les nombres pairs sont « aussi nombreux » que les entiers

Voici quelque chose d’immédiatement contre-intuitif. Les nombres pairs (2, 4, 6, 8…) semblent deux fois moins nombreux que les entiers (1, 2, 3, 4…). Pourtant, en mathématiques rigoureuses, ils ont le même cardinal.

Preuve : construisons une bijection entre ℕ (entiers naturels) et les nombres pairs :

🔗 Bijection entre entiers et nombres pairs
ℕ : 1 2 3 4 5 → ∞ n → 2n Pairs : 2 4 6 8 10 → ∞ Bijection parfaite : même cardinal !

La règle n → 2n est une bijection parfaite : chaque entier correspond exactement à un pair, et chaque pair vient d’exactement un entier. Donc les entiers et les pairs ont le même cardinal — même si les pairs semblent « moins nombreux ».

C’est le premier signe que l’infini ne se comporte pas comme les nombres finis. Avec l’infini, une partie peut être aussi grande que le tout. C’est contre-intuitif — et c’est rigoureusement vrai.

Les infinis dénombrables — le premier niveau

Ensemble dénombrable : Un ensemble dont les éléments peuvent être mis en bijection avec les entiers naturels ℕ. Autrement dit, on peut les « lister » — même si la liste est infinie. Le cardinal de ℕ se note ℵ₀ (aleph-zéro).

Voici des ensembles qui sont tous dénombrables — ils ont tous le même cardinal ℵ₀ :

ℕ
0, 1, 2, 3, 4, 5, 6…
Entiers naturels — la définition
ℤ
…-2, -1, 0, 1, 2…
Entiers relatifs — aussi dénombrables !
ℚ
1/2, 3/4, 22/7… toutes les fractions
Rationnels — aussi dénombrables ! (Cantor l’a prouvé)

Oui — il y a autant de fractions que d’entiers naturels. Cantor a démontré cela avec une astuce géniale : parcourir les fractions en diagonale dans un tableau infini. C’est ce qu’on appelle le dénombrement diagonal.

Deuxième choc : les réels ne sont PAS dénombrables

Maintenant, qu’en est-il des nombres réels ℝ — tous les nombres de la droite numérique, rationnels et irrationnels confondus ? Sont-ils dénombrables ?

Cantor a répondu avec une démonstration d’une beauté et d’une simplicité dévastatrices. C’est la diagonale de Cantor — considérée comme l’une des plus belles preuves de toute l’histoire des mathématiques.

🧠 Georg Cantor — l’homme qui a osé compter l’infini

Georg Cantor (1845–1918) était un mathématicien russo-allemand. Son travail sur les ensembles infinis a été révolutionnaire — et sa vie, tragique. Ses idées ont été violemment rejetées par les mathématiciens de son époque, notamment son ancien professeur Leopold Kronecker qui disait de lui qu’il était un « corrupteur de la jeunesse ».

Cantor a souffert de dépression sévère toute sa vie — en partie à cause du rejet de ses travaux. Il est mort dans un sanatorium en 1918. Moins de 20 ans plus tard, ses idées sur l’infini sont devenues les fondements de toute la mathématique moderne. David Hilbert, le plus grand mathématicien de l’époque, a dit : « Personne ne nous chassera du paradis que Cantor a créé. »

Ce n’est pas la première fois dans l’histoire qu’un génie incompris par ses contemporains a dû attendre la postérité pour être reconnu. Galilée, Boltzmann, Abel — la liste est longue.

L’argument diagonal de Cantor — la preuve complète

Nous allons prouver que les nombres réels entre 0 et 1 ne sont pas dénombrables. La méthode : on suppose qu’ils le sont, et on montre une contradiction.

Hypothèse : Supposons qu’on peut lister tous les réels entre 0 et 1 — une liste infinie mais complète. Appelons-les r₁, r₂, r₃, r₄…

📐 L’argument diagonal de Cantor
La liste supposée complète : r₁ = 0. 4 1 5 9 2 6… r₂ = 0.1 6 2 1 8 2… r₃ = 0.26 5 3 5 8… r₄ = 0.589 7 3 2… r₅ = 0.7314 2 1… ⋮ Chiffres diagonaux : 4, 6, 5, 7, 2, … On change chaque chiffre : (≠4), (≠6), (≠5), (≠7), (≠2)… → d = 0.57681… est ABSENT de la liste ! Contradiction ✗

L’argument en clair

① On suppose qu’on a une liste complète de tous les réels entre 0 et 1 : r₁, r₂, r₃…
② On regarde le 1er chiffre de r₁, le 2ème chiffre de r₂, le 3ème chiffre de r₃… C’est la diagonale.
③ On construit un nouveau nombre d en changeant chaque chiffre diagonal : si le chiffre est 4, on met 5 ; sinon on met 4. (N’importe quelle règle qui change le chiffre fonctionne.)
④ Ce nombre d est différent de r₁ (car son 1er chiffre diffère), différent de r₂ (2ème chiffre), différent de r₃ (3ème chiffre)… différent de chaque rₙ.
⑤ Donc d n’est pas dans la liste — contradiction ! La liste n’était pas complète.
🌌 Conclusion vertigineuse
Aucune liste ne peut contenir tous les réels.
Les réels ne sont pas dénombrables.
Il y a strictement plus de réels que d’entiers.

Le cardinal de ℝ, noté 𝔠, est strictement supérieur à ℵ₀.

La hiérarchie des infinis

Et ce n’est pas tout. Cantor a montré qu’on peut construire des infinis de plus en plus grands, sans jamais s’arrêter. Pour tout ensemble A, l’ensemble de ses parties (noté 𝒫(A)) a un cardinal strictement supérieur à celui de A.

|𝒫(A)| > |A| — toujours, même si A est infini

Cela crée une hiérarchie infinie d’infinis :

ℵ₀
ℕ, ℤ, ℚ
Entiers, relatifs, fractions — tous pareils
𝔠 = 2^ℵ₀
ℝ, intervalles, courbes
Nombres réels — strictement plus grand que ℵ₀
2^𝔠
𝒫(ℝ) — parties de ℝ
Encore plus grand — et on peut continuer…
2^(2^𝔠)
𝒫(𝒫(ℝ))…
Et encore plus… à l’infini !

L’hypothèse du continu — le mystère non résolu

Cantor a posé une question qui est restée ouverte pendant plus d’un siècle : existe-t-il un infini entre ℵ₀ et 𝔠 ? Autrement dit, y a-t-il un niveau d’infini entre celui des entiers et celui des réels ?

Cette question s’appelle l’hypothèse du continu. La réponse est l’une des plus troublantes de toute la logique mathématique : on ne peut ni la prouver ni la réfuter dans les axiomes standard des mathématiques. C’est une question indécidable — elle dépasse les limites de notre système formel.

L’infini est là où les mathématiques rencontrent la philosophie. Et Cantor a montré que même là, la logique peut nous guider — jusqu’à une certaine frontière, au-delà de laquelle le mystère reste entier. — Réflexion sur les limites de la connaissance mathématique

Le code Python — explorer les ensembles infinis

Python # Explorer les concepts de Cantor avec Python import random from fractions import Fraction # — Démonstration 1 : Bijection N → Pairs — print(« Bijection ℕ → Nombres pairs (n → 2n) : ») print(f »{‘n’:>4} → {‘2n’:>6} ») for n in range(1, 11): print(f »{n:>4} → {2*n:>6} ») # — Démonstration 2 : Dénombrement des rationnels — # Parcours diagonal du tableau p/q def rationnels_diagonale(limite): «  » »Génère les fractions positives par diagonale » » » rationnels = [] vus = set() diagonale = 2 while len(rationnels) < limite: for p in range(1, diagonale): q = diagonale – p f = Fraction(p, q) if f not in vus: vus.add(f) rationnels.append(f) if len(rationnels) >= limite: break diagonale += 1 return rationnels print(« \nDénombrement des rationnels par diagonale : ») rats = rationnels_diagonale(20) for i, r in enumerate(rats, 1): print(f » r_{i:02d} = {r} ») # — Démonstration 3 : Argument diagonal de Cantor — def cantor_diagonal(liste_reels, n_decimales=10): «  » » Construit un réel absent de la liste par l’argument diagonal de Cantor «  » » nombre_diagonal = « 0. » for i, r in enumerate(liste_reels[:n_decimales]): # Extrait le i-ème chiffre décimal de r_i decimales = f »{r:.{n_decimales}f} ».split(‘.’)[1] chiffre = int(decimales[i]) if i < len(decimales) else 0 # Règle : si chiffre = 4 → 5, sinon → 4 nouveau = ‘5’ if chiffre == 4 else ‘4’ nombre_diagonal += nouveau return nombre_diagonal # Liste « supposée complète » de réels aléatoires random.seed(42) liste = [random.random() for _ in range(8)] print(« \nArgument diagonal de Cantor : ») print(« Liste supposée complète : ») for i, r in enumerate(liste, 1): print(f » r_{i} = {r:.10f} ») absent = cantor_diagonal(liste) print(f »\nNombre construit par diagonale : {absent} ») print(« → Ce nombre est absent de la liste par construction ! ») print(« → Donc aucune liste ne peut être complète. CQFD. »)

✏️ Exercice corrigé — du collège au supérieur

Niveau collège : Construis une bijection entre les entiers naturels ℕ = {0, 1, 2, 3…} et les entiers impairs {1, 3, 5, 7…}. Donne la règle explicite.

Niveau lycée : Montre que l’ensemble ℤ des entiers relatifs (…-2, -1, 0, 1, 2…) est dénombrable en construisant une bijection avec ℕ.

Niveau supérieur : En utilisant l’argument diagonal de Cantor, explique pourquoi l’ensemble de toutes les suites infinies de 0 et de 1 n’est pas dénombrable.

▸ Correction

Niveau collège :

Règle : n → 2n + 1

0 → 1, 1 → 3, 2 → 5, 3 → 7, 4 → 9…

C’est bien une bijection : chaque impair vient d’exactement un entier naturel. ✅

Niveau lycée :

On liste ℤ en « zigzaguant » autour de 0 :

0 → 0, 1 → 1, 2 → -1, 3 → 2, 4 → -2, 5 → 3, 6 → -3…

Règle formelle : si n est pair → n/2 ; si n est impair → -(n+1)/2

Chaque entier relatif apparaît exactement une fois → bijection → ℤ est dénombrable ✅

Niveau supérieur :

Supposons qu’on peut lister toutes les suites : s₁, s₂, s₃… où chaque sᵢ est une suite infinie de 0 et 1.

On construit une nouvelle suite d en prenant le i-ème élément de sᵢ et en le changeant (0→1, 1→0).

d diffère de s₁ en position 1, de s₂ en position 2, de s₃ en position 3… donc d diffère de toute suite de la liste.

d est une suite valide (de 0 et 1) qui n’est pas dans la liste → contradiction → l’ensemble n’est pas dénombrable. ✅

Ce qu’on retient

L’infini n’est pas une montagne unique — c’est une chaîne de montagnes sans fin. ℵ₀, 𝔠, 2^𝔠… chaque infini est strictement plus grand que le précédent, et il n’y a pas de sommet. Cantor a ouvert une porte que personne n’avait osé franchir avant lui — et derrière cette porte, les mathématiques sont devenues plus vastes, plus profondes, et plus étranges que quiconque ne l’avait imaginé.

La prochaine fois qu’un élève te dit « il y a une infinité de nombres », tu pourras lui répondre avec le sourire : « Oui — mais de quelle taille d’infini parles-tu ? »

Dans le prochain article, nous plongerons dans les fractales — ces formes géométriques infiniment complexes qui se cachent dans les côtes d’Afrique, les arbres, les poumons humains, et les marchés financiers.