🎛️ Visualise la duplication : 1 boule → 5 morceaux → 2 boules
Le théorème ne peut pas être vraiment représenté visuellement (les morceaux sont non mesurables). Cette schématisation aide à saisir l'idée.
Étape 0 / 3 : Boule unité (volume 1)
Une boule pleine de l'espace ℝ³. Volume = 4π/3. Nous allons la couper en 5 morceaux non mesurables.
😱 L'énoncé qui défie le bon sens
Théorème de Banach-Tarski (1924)
Soit B une boule de l'espace ℝ³. On peut partitionner B en un nombre fini de sous-ensembles
disjoints (5 suffisent), puis effectuer des rotations et translations de ces morceaux, et
obtenir deux boules identiques à B.
Lis cet énoncé une deuxième fois. Une boule, découpée en cinq morceaux, réassemblée en deux boules. Pas deux moitiés. Pas deux boules plus petites. Deux copies parfaites de la boule originale. Chacune de la même taille que l'original.
Cela viole le bon sens. Cela viole la conservation de la matière. Cela viole le bon sens physique. Et pourtant, c'est un théorème mathématique parfaitement démontré, accepté depuis 100 ans.
🎯 Pourquoi ce n'est pas physique (et pourquoi ça reste vrai)
Première précision capitale : Banach-Tarski est un théorème mathématique, pas physique. Tu ne peux pas l'appliquer à une orange réelle pour obtenir deux oranges. Pourquoi ?
- Une orange est composée d'atomes en nombre fini (≈ 10²⁵). Tu ne peux pas la découper en sous-ensembles arbitrairement fins.
- Une boule mathématique B est composée d'une infinité non dénombrable de points (de cardinal continu).
- Les 5 morceaux de la décomposition sont non mesurables au sens de Lebesgue : impossible de leur attribuer un volume au sens classique.
La conservation du volume (intuitive) ne s'applique qu'aux ensembles mesurables. Banach-Tarski exploite des ensembles non mesurables pour faire ce qui semble impossible.
🔑 La clé : l'axiome du choix
La démonstration utilise un axiome de la théorie des ensembles : l'axiome du choix. Énoncé : pour toute collection (même infinie) d'ensembles non vides, il est possible de choisir un élément dans chaque ensemble.
Cet axiome semble innocent, presque trivial. Mais il permet de construire des objets impossibles à décrire explicitement, comme les morceaux de Banach-Tarski.
🧩 Comment ça marche, sans détails techniques ?
L'idée de base, très grossièrement :
- On part d'un groupe de rotations (les rotations de l'espace forment un groupe). On choisit deux rotations spécifiques Rx et Ry autour de deux axes distincts.
- Le groupe engendré par Rx et Ry (toutes les compositions possibles) est un groupe « libre » de rang 2 : il a une structure d'arbre infini.
- Cet arbre se découpe en 4 sous-arbres (selon la première lettre de chaque mot binaire), et chaque sous-arbre est isomorphe au tout par une rotation simple.
- On applique cette décomposition aux points de la sphère via l'axiome du choix, ce qui donne 4 morceaux de la sphère qui se réorganisent en 2 sphères complètes.
- On étend à la boule en faisant tourner chaque rayon.
Cette démonstration occupe plusieurs pages de mathématiques très techniques. Mais l'idée centrale — la duplication d'un arbre infini — est étonnamment simple.
🌳 L'intuition par les arbres infinis
Imagine un arbre binaire infini : chaque nœud a 2 enfants, qui ont 2 enfants chacun, etc. Maintenant, découpe l'arbre en deux moitiés en suivant la première branche : la moitié gauche et la moitié droite.
Chaque moitié est ISOMORPHE à l'arbre original. C'est la magie des infinis : la moitié est aussi grande que le tout. Banach et Tarski ont prouvé qu'on peut transférer cette propriété aux points d'une boule en utilisant des rotations bien choisies.
🎯 La conséquence philosophique
Banach-Tarski révèle une fracture fondamentale entre intuition physique et logique mathématique. Ce qui est vrai mathématiquement n'est pas toujours vrai physiquement, et inversement.
En philosophie des sciences, on appelle ça la thèse formaliste de Hilbert : les mathématiques sont un jeu de symboles, déconnecté du monde réel. Banach-Tarski en est la preuve la plus dérangeante.
📐 Pourquoi ça ne marche pas en dimension 1 ou 2 ?
Détail fascinant : Banach-Tarski est vrai en dimension 3 et plus, mais pas en dimension 1 ou 2.
- Dim 1 (segment de droite) : impossible de dupliquer un segment par découpage et rotation/translation. Démontré par Hausdorff.
- Dim 2 (disque) : impossible non plus. Tout sous-ensemble mesurable du plan a une mesure conservée par rotation/translation.
- Dim 3 et + (boule) : c'est possible. La structure du groupe SO(3) des rotations est « assez riche » pour permettre la magie.
🌍 Banach et Tarski : deux génies de l'école de Lwów
Stefan Banach (1892-1945) et Alfred Tarski (1901-1983) faisaient partie de l'école mathématique de Lwów (aujourd'hui Lviv, en Ukraine), l'un des centres les plus brillants des mathématiques du XXᵉ siècle.
Banach a fondé l'analyse fonctionnelle moderne (espaces de Banach, théorème de Hahn-Banach). Tarski a révolutionné la logique mathématique (théorie des modèles, sémantique formelle). Leur collaboration en 1924 a produit ce paradoxe immortel.
🎓 Le lien avec ton programme
Banach-Tarski n'est pas au programme du BAC SM (il faut un master en maths pour comprendre la démonstration). Mais le théorème connecte des notions que tu commences à découvrir :
- Ensembles, partitions (1BAC SM) : Banach-Tarski parle de partitions d'une boule en sous-ensembles disjoints.
- Cardinalité de l'infini (post-bac) : la boule contient « autant » de points que deux boules réunies. Cantor a déjà montré ça pour les ensembles dénombrables.
- Géométrie de l'espace (programme 2BAC SM) : rotations et translations en dimension 3, lien avec le groupe SO(3).
- Axiome du choix (philosophie des maths) : sujet de réflexion sur les fondements des mathématiques.
🌌 Le théorème pour la culture mathématique
Banach-Tarski est le résultat mathématique le plus dérangeant et le plus partagé du XXᵉ siècle. C'est l'un des seuls théorèmes qui parvient à choquer les amateurs et les professionnels en même temps.
Le théorème a été cité dans des séries TV (The Big Bang Theory, Numb3rs), des romans (Greg Egan, Diaspora), et des conférences TED. Il symbolise l'aspect le plus contre-intuitif et le plus pur des mathématiques.