🎛️ Construis l'ensemble de Cantor étape par étape
À chaque étape, on enlève le tiers central de chaque segment restant. À l'infini, il reste un ensemble paradoxal.
À chaque étape : 2× plus de segments, longueur totale × 2/3.
Nombre de segments
16
Longueur restante (2/3)ⁿ
0.198
Dim fractale log(2)/log(3)
0.6309…
Étape 4 : 16 segments restants, longueur totale (2/3)⁴ ≈ 0.198. À l'infini, longueur tend vers 0 mais l'ensemble reste non vide.
🪛 Une recette de cuisine simple
Considère le segment [0, 1] de la droite réelle. La construction de l'ensemble de Cantor se fait ainsi :
- Étape 0 : Tu pars du segment plein [0, 1].
- Étape 1 : Enlève le tiers central ]1/3, 2/3[. Il reste [0, 1/3] ∪ [2/3, 1].
- Étape 2 : Sur chaque morceau restant, enlève le tiers central. Il reste 4 segments.
- Étape n + 1 : Sur chacun des 2ⁿ segments de l'étape n, enlève le tiers central. Il reste 2n+1 segments.
- À l'infini : l'intersection de toutes ces étapes définit l'ensemble de Cantor C.
Voilà. C'est tout. La règle tient en deux mots : « enlève le tiers du milieu, répète ». Pourtant, l'objet obtenu est l'un des plus surprenants des mathématiques.
📏 Propriété 1 : longueur totale nulle
À l'étape n, il reste 2n segments de longueur (1/3)n chacun. La longueur totale vaut donc :
Ln = 2n · (1/3)n = (2/3)n
Quand n → ∞, Ln → 0. L'ensemble de Cantor a une longueur (mesure de Lebesgue) égale à zéro.
Conclusion 1 : si tu choisis un point au hasard dans [0, 1] avec la loi uniforme, la probabilité qu'il appartienne à l'ensemble de Cantor est 0. L'ensemble est « invisible » pour la mesure des longueurs.
🤯 Propriété 2 : autant de points que ℝ tout entier
Voilà le coup de théâtre. L'ensemble de Cantor a la cardinalité du continu — il contient autant de points que la droite réelle ℝ tout entière.
Pour démontrer ça, on utilise l'écriture en base 3 (ternaire). Tout point de [0, 1] s'écrit 0.d1d2d3… avec di ∈ 2.
- Enlever le tiers du milieu revient à enlever les points dont le premier chiffre ternaire est 1.
- Itérer revient à enlever tous les points dont la décomposition ternaire contient au moins un chiffre 1.
- Ce qui reste, c'est l'ensemble des points dont l'écriture ternaire ne contient que des 0 et des 2.
Maintenant, tu peux injecter ℝ dans C ainsi : à chaque suite binaire b1b2b3…, tu associes le point de C dont l'écriture ternaire est (2b1)(2b2)(2b3)…. C'est une bijection entre 1ℕ (le continu) et C. Donc |C| = |ℝ| = 2ℵ₀.
🔮 Propriété 3 : dimension fractale non entière
L'ensemble de Cantor est aussi un fractal. À chaque zoom de facteur 3, on retrouve 2 copies miniatures du tout. La dimension fractale (dimension de Hausdorff) est :
d = log(2) / log(3) ≈ 0.6309
Cette dimension est strictement entre 0 et 1. C est « plus qu'un ensemble fini de points » (dim 0) mais « moins qu'un segment » (dim 1). Une preuve quantitative que C est entre les deux.
🌌 Cantor est ferme, parfait, totalement discontinu
L'ensemble de Cantor a des propriétés topologiques étonnantes :
- Fermé : il contient toutes ses limites (intersection d'une suite de fermés).
- Parfait : tout point est limite d'autres points de C. Aucun point isolé.
- Totalement discontinu : pour deux points quelconques de C, il existe un intervalle entre les deux qui n'est pas dans C. Aucun « morceau continu » dans C.
- Compact : fermé borné dans ℝ.
- Non vide : contient 0, 1, 1/3, 2/3, 1/9, etc.
Pour les topologues, C est un exemple parfait (au sens technique) d'objet compact, parfait, totalement discontinu. Tout espace topologique qui satisfait ces 3 propriétés est homéomorphe à C. C est donc l'archétype canonique d'une classe entière d'espaces.
📚 1883 : Cantor invente la modernité
Georg Cantor (1845-1918), mathématicien allemand d'origine russe, introduit cet ensemble en 1883 dans un article fondateur. Son but : montrer qu'il existe des ensembles « pathologiques » qui défient l'intuition géométrique classique.
Cantor est aussi le père de la théorie des ensembles, des nombres cardinaux infinis, et du « diagonal argument » qui démontre que |ℝ| > |ℕ|. Sa carrière a été dévastée par les critiques de ses contemporains (Kronecker l'a traité de « charlatan ») et il est mort dans un asile psychiatrique. Aujourd'hui, sa théorie est le fondement de toutes les mathématiques modernes.
🎭 Variantes : le tapis de Sierpiński en 2D, l'éponge de Menger en 3D
L'ensemble de Cantor se généralise :
- Tapis de Sierpiński (2D) : on prend un carré, on enlève le carré central (le 1/9 du milieu d'une grille 3×3), on répète sur les 8 carrés restants. Mesure 0, dimension fractale log(8)/log(3) ≈ 1.893.
- Éponge de Menger (3D) : version cubique, on enlève le cube central et les cubes du centre de chaque face. Mesure 0, dimension fractale log(20)/log(3) ≈ 2.727.
Ces objets sont utilisés en architecture, en design d'antennes (antennes fractales), et en art numérique (Mandelbrot a inspiré toute une génération de digital artists).
📐 Le lien avec ton programme
L'ensemble de Cantor n'est pas au programme BAC SM, mais c'est un terrain d'entraînement parfait pour :
- Suites géométriques : la longueur (2/3)n et le nombre de segments 2n sont des suites géométriques classiques.
- Limites : on calcule (2/3)n → 0 quand n → ∞, exercice basique du chapitre limites 1BAC SM.
- Récurrence : démontrer le nombre d'intervalles à l'étape n requiert une récurrence sur n.
- Base de numération : la description en base 3 du complémentaire de C est un bon exercice d'arithmétique (programme arithmétique 2BAC SM).
- Sommes géométriques : la longueur totale enlevée est ∑ 2n/3n+1 = 1, ce qui confirme que C a longueur 0.