Histoire et cultureThéorème · Glossaire
conjecture de Poincaré
La conjecture de Poincaré est un énoncé fondamental de topologie algébrique, formulé par Henri Poincaré en 1904. Dans sa forme historique en dimension 3, elle affirme que toute variété topologique fermée et simplement connexe est homéomorphe à la 3-sphère. Sa généralisation à la dimension n porte sur les variétés fermées ayant le type d’homotopie de la sphère Sⁿ. L'énoncé est trivial en dimension 1 et avait déjà été établi au XIXe siècle. Il a été résolu au cours du XXe siècle pour les dimensions n ≥ 4 : la cas n ≥ 5 par Stephen Smale (1961), et le cas n = 4 par Michael Freedman (1982). La dimension 3, qui correspond au cas le plus naturel du point de vue physique, s'est révélée la plus difficile. Inscrite en 2000 parmi les sept problèmes du millénaire, elle a été résolue par le mathématicien russe Grigori Perelman en 2003, grâce à des méthodes originales fondées sur le flot de Ricci. Perelman a reçu en 2006 la médaille Fields pour cette démonstration, récompense qu'il a déclinée.
Sommaire
Ce que vous allez apprendre
- Formuler l’énoncé exact en dimension 3.
- Distinguer fermeture, dimension et simple connexité.
- Appliquer les hypothèses dans un exemple guidé.
- Situer les résultats de Smale, Freedman et Perelman.
- Éviter la généralisation fausse de la simple connexité à toute dimension.
En clair
Imaginez un espace fermé en trois dimensions dans lequel une boucle de ficelle peut toujours se resserrer jusqu’à un point, sans être coupée. Cette propriété signifie qu’aucun tunnel ne retient la boucle.
La conjecture de Poincaré affirmait qu’un tel espace a nécessairement la même forme topologique que la 3-sphère. Il peut être déformé, étiré ou comprimé, mais sans déchirure ni collage. Perelman a démontré ce résultat en 2003.
Définition
La conjecture de Poincaré, formulée en 1904, porte sur les variétés topologiques de dimension 3. Une variété est ici un espace qui ressemble localement à l’espace ordinaire. Elle est fermée lorsqu’elle est compacte et sans bord. Elle est simplement connexe lorsqu’elle est connexe et que toute boucle tracée dans l’espace peut être continûment contractée en un point.
L’énoncé affirme que toute variété fermée de dimension 3 et simplement connexe est homéomorphe à la 3-sphère. Un homéomorphisme est une correspondance continue, bijective et dont l’inverse est continu : il autorise les déformations sans coupure ni collage. La 3-sphère est l’analogue tridimensionnel de la surface sphérique usuelle, mais elle vit naturellement dans un espace à quatre coordonnées.
Grigori Perelman a résolu le cas de dimension 3 en 2003 à l’aide du flot de Ricci. Les versions généralisées avaient été établies pour les dimensions au moins égales à 5 par Stephen Smale en 1961, puis pour la dimension 4 par Michael Freedman en 1982.
Le principe
On note M une variété topologique. Si M est fermée, de dimension 3 et simplement connexe, alors M est homéomorphe à la 3-sphère, notée S3.
Le symbole de conclusion signifie « est homéomorphe à ». Le résultat classe donc complètement l’espace dès que les trois hypothèses sont établies.
Quand l'utiliser
L’énoncé concerne une variété topologique de dimension 3. Elle doit être fermée, donc compacte et sans bord. Elle doit enfin être simplement connexe : elle est d’un seul tenant et chacune de ses boucles se contracte continûment en un point.
Ces conditions donnent une conclusion topologique, non une identité de taille ou de courbure : la variété peut être fortement déformée tout en restant homéomorphe à la 3-sphère. Le schéma associé rend visible l’implication entre les trois hypothèses et cette conclusion.
Un tore tridimensionnel fournit un contre-cas : certaines boucles qui l’entourent ne peuvent pas se contracter. La simple connexité échoue, donc le théorème de Poincaré ne permet pas de conclure qu’il s’agit d’une 3-sphère. Il faut alors étudier d’autres invariants topologiques.
Un exemple, pas à pas
Considérons une variété M dont on veut déterminer le type topologique. Les données établies sont les suivantes : M a la dimension 3, elle est compacte, elle n’a pas de bord et toute boucle de M peut être contractée en un point.
Étape 1. La compacité et l’absence de bord montrent que M est fermée.
Étape 2. La contraction de toutes les boucles établit la simple connexité.
Étape 3. Les trois hypothèses du théorème sont maintenant réunies : dimension 3, fermeture et simple connexité.
Étape 4. On conclut que M est homéomorphe à S3. Le contrôle consiste à reprendre chaque hypothèse séparément : si un bord existe ou si une seule boucle ne se contracte pas, cette conclusion n’est plus autorisée.
En pratique
Pour reconnaître si le résultat s’applique, le topologue vérifie d’abord la dimension, la compacité et l’absence de bord. Une variété avec bord demande un autre énoncé, même si toutes ses boucles se contractent.
Il examine ensuite les boucles. La présence d’une boucle impossible à contracter écarte immédiatement la simple connexité ; d’autres invariants servent alors à distinguer l’espace d’une 3-sphère.
Dans l’histoire des mathématiques, le résultat relie un critère portant sur toutes les boucles à une classification globale. La démonstration de Perelman, fondée sur le flot de Ricci, a clos en 2003 le problème du millénaire posé pour la dimension 3.
À ne pas confondre
2-sphère et 3-sphère. La surface d’une boule ordinaire est une 2-sphère : elle est de dimension 2. La 3-sphère est de dimension 3 et se représente naturellement avec quatre coordonnées. La dimension tranche entre les deux objets.
Simple connexité et absence de cavité visible. Le critère mathématique porte sur toutes les boucles. Une impression visuelle ne suffit pas : une seule boucle non contractile fait échouer la simple connexité.
Conjecture et théorème. « Conjecture de Poincaré » est le nom historique de l’énoncé proposé en 1904. Depuis la démonstration de Perelman en 2003, cet énoncé est un théorème, même si son nom usuel n’a pas changé.
Limites et pièges
La simple connexité ne suffit pas dans toute dimension. L’énoncé exact de dimension 3 ne se généralise pas en remplaçant seulement 3 par un entier quelconque. Par exemple, le produit de deux 2-sphères est une variété fermée simplement connexe de dimension 4, mais il n’est pas homéomorphe à la 4-sphère. Dans les versions généralisées, l’hypothèse pertinente est d’avoir le type d’homotopie d’une sphère.
Compact ne signifie pas fermé à lui seul. En topologie des variétés, « fermée » impose aussi l’absence de bord. Si un espace compact possède un bord, il manque une hypothèse et l’implication vers la 3-sphère ne s’applique pas.
Tester quelques boucles ne constitue pas une preuve. La condition porte sur toutes les boucles possibles. Lorsqu’une famille particulière se contracte, il reste à établir le critère global avant d’invoquer le théorème.
Les dimensions ont des histoires distinctes. Le cas de dimension 1 était déjà connu au XIXe siècle. Smale a traité les dimensions au moins égales à 5 en 1961, Freedman la dimension 4 en 1982, et Perelman la dimension 3 en 2003.
Pour aller plus loin
Conjecture de Poincaré : un roman noir — Une note de lecture pour prolonger l’histoire humaine et scientifique qui entoure la résolution du problème.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres