Conjecture de Poincaré

Conjecture de Poincaré

En mathématiques, la conjecture de Poincaré est une conjecture topologique portant sur la caractérisation de la sphère à trois dimensions.

Jusqu'à l'annonce de sa démonstration par Grigori Perelman en 2003, il s'agissait d'une conjecture non résolue, qui faisait partie des problèmes de Smale et des sept « problèmes du prix du millénaire » recensés et mis à prix en 2000 par l'Institut de mathématiques Clay. En 2006, cette démonstration a été validée par l'attribution d'une médaille Fields à Perelman (qui l'a refusée) ; de plus, en mars 2010, l'institut Clay a officiellement décerné le prix correspondant à Perelman, prix qu'il a également refusé, en raison d'un « désaccord avec les décisions de la communauté mathématique[1] ».

Sommaire

Historique

Formulation

La conjecture fut formulée pour la première fois par Henri Poincaré en 1904, et s'énonce ainsi :

« Soit une variété compacte V simplement connexe, à 3 dimensions, sans bord. Alors V est homéomorphe à une hypersphère de dimension 3. »

Poincaré ajouta, avec beaucoup de clairvoyance, un commentaire : « mais cette question nous entraînerait trop loin ».

Précisément, la question est de savoir si toute variété de dimension 3 fermée, simplement connexe et sans bord, est homéomorphe à une sphère. Plus grossièrement, il s'agit de déterminer si « un objet à trois dimensions » donné possédant les mêmes propriétés que celles d'une sphère (notamment que toutes les boucles de celui-ci peuvent être resserrées en un point), est bien seulement une « déformation » d'une sphère tridimensionnelle (la sphère ordinaire — surface dans l'espace ordinaire — possède seulement deux dimensions).

Ni la sphère ni un autre espace tridimensionnel dépourvu de frontière autre que \mathbb{R}^3 (l'espace ordinaire) ne peuvent être dessinés proprement comme objets dans l'espace ordinaire à trois dimensions. C'est l'une des raisons pour lesquelles il est difficile de visualiser mentalement le contenu de la conjecture.

Progrès récents

Vers la fin de l'année 2002, des publications sur arXiv de Grigori Perelman de l'Institut de mathématiques Steklov de Saint-Pétersbourg laissent penser qu'il pourrait avoir trouvé une preuve de la « conjecture de géométrisation » (voir ci-dessous), mettant en œuvre un programme décrit plus tôt par Richard Hamilton. En 2003, il publia un deuxième rapport et donna une série de conférences aux États-Unis. En 2006, un consensus d'experts a conclu que le travail récent de Perelman en 2003 résolvait ce problème, plus d'un siècle après son premier énoncé. Cette reconnaissance a été annoncée officiellement lors du congrès international des mathématiciens le 22 août 2006 à Madrid au cours duquel la médaille Fields lui a été décernée conjointement avec trois autres mathématiciens. Cependant Perelman a refusé la médaille, et laissé entendre qu'il refuserait également le prix Clay. Ce prix lui a été décerné le 18 mars 2010[2], prix accompagné d'une récompense d'un million de dollars, et il l'a effectivement refusé. Il a déclaré au journal Komsomolskaïa Pravda le 29 avril 2011[3] :

« Pourquoi ai-je mis tant d'années pour résoudre la conjecture de Poincaré ? J'ai appris à détecter les vides. Avec mes collègues nous étudions les mécanismes visant à combler les vides sociaux et économiques. Les vides sont partout. On peut les détecter et cela donne beaucoup de possibilités… Je sais comment diriger l'Univers. Dites-moi alors, à quoi bon courir après un million de dollars ? »

Éléments liés à la preuve de la conjecture

Si la conjecture a induit une longue liste de preuves incorrectes, certaines d'entre elles ont toutefois mené à une meilleure compréhension de la topologie en petites dimensions.

Sa résolution est liée au problème de classification des variétés de dimension 3. Une classification des variétés de dimension 3 est généralement considérée comme la production d'une liste de toutes les variétés de dimension 3 à un homéomorphisme près (sans répétition). Une telle classification est équivalente à un algorithme de reconnaissance, qui pourrait vérifier si deux variétés de dimension 3 sont homéomorphes ou pas.

On peut ainsi considérer la conjecture de Poincaré comme un cas particulier de la conjecture de géométrisation de Thurston. Cette dernière conjecture, une fois prouvée (ce qu'a fait Perelman en 2003), achève la question de la classification des variétés de dimension 3.

Les seules parties de la conjecture de géométrisation qu'il restait à démontrer après sa formulation par Thurston vers 1980, étaient appelées la conjecture d'« hyperbolisation » et la conjecture d'« elliptisation ». La conjecture d'« elliptisation » déclare que toute variété de dimension 3 fermée ayant un groupe fondamental fini, a une géométrie sphérique, c'est-à-dire est couverte par la 3-sphère. La conjecture de Poincaré correspond au cas où le groupe fondamental est trivial.

Problèmes mathématiques reliés

Des conjectures analogues à celles de Poincaré dans des dimensions autres que 3 peuvent également être formulées :

Toute variété compacte de dimension n qui est homotopiquement équivalente à la sphère unité est homéomorphe à la sphère unité.

La conjecture de Poincaré donnée précédemment apparaît comme le cas particulier n = 3.

La difficulté de la basse dimension en topologie est accentuée par le fait que tous les résultats analogues avaient été prouvés :

  • en dimension n = 4, de loin la plus difficile, par Michael Freedman en 1982 ;
  • en dimension n = 5, par Erik Christopher Zeeman en 1961 ;
  • en dimension n = 6, par John R. Stallings (en) en 1962 ;
  • pour n ≥ 7 par Stephen Smale en 1961 (il étendit par la suite sa démonstration à tout n ≥ 5),

alors que la version à trois dimensions originale de la conjecture de Poincaré demeurait sans solution.

Notes et références

Voir aussi

Sur les autres projets Wikimedia :

Liens internes

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Conjecture de Poincaré de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Conjecture De Poincaré — La conjecture de Poincaré est, en mathématiques, une conjecture portant sur la caractérisation de la sphère à trois dimensions. Jusqu à l annonce de sa résolution par Grigori Perelman en 2003, il s agissait d un problème de topologie non résolu.… …   Wikipédia en Français

  • Conjecture de Poincare — Conjecture de Poincaré La conjecture de Poincaré est, en mathématiques, une conjecture portant sur la caractérisation de la sphère à trois dimensions. Jusqu à l annonce de sa résolution par Grigori Perelman en 2003, il s agissait d un problème de …   Wikipédia en Français

  • Conjecture de poincaré — La conjecture de Poincaré est, en mathématiques, une conjecture portant sur la caractérisation de la sphère à trois dimensions. Jusqu à l annonce de sa résolution par Grigori Perelman en 2003, il s agissait d un problème de topologie non résolu.… …   Wikipédia en Français

  • Conjecture De Birch Et Swinnerton-Dyer — Pour les articles homonymes, voir BSD (homonymie). En mathématiques, la conjecture de Birch et Swinnerton Dyer (BSD) relie le rang du groupe abélien de points sur un corps de nombres d une courbe elliptique E à l ordre du zéro de la fonction L… …   Wikipédia en Français

  • Conjecture de birch et swinnerton-dyer — Pour les articles homonymes, voir BSD (homonymie). En mathématiques, la conjecture de Birch et Swinnerton Dyer (BSD) relie le rang du groupe abélien de points sur un corps de nombres d une courbe elliptique E à l ordre du zéro de la fonction L… …   Wikipédia en Français

  • Poincare — Poincaré Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Henri Poincaré (1854 1912), mathématicien et philosophe français cousin de Raymond Poincaré. Lucien Poincaré (1862 1920), haut… …   Wikipédia en Français

  • Conjecture De Hodge — La conjecture de Hodge est une des grandes conjectures de géométrie algébrique. Elle établit un lien entre la topologie algébrique d une variété algébrique complexe non singulière et sa géometrie décrite par des équations polynomiales qui… …   Wikipédia en Français

  • Conjecture de hodge — La conjecture de Hodge est une des grandes conjectures de géométrie algébrique. Elle établit un lien entre la topologie algébrique d une variété algébrique complexe non singulière et sa géometrie décrite par des équations polynomiales qui… …   Wikipédia en Français

  • Conjecture de géométrisation — En mathématiques, et plus précisément en géométrie, la conjecture de géométrisation de Thurston affirme que les variétés compactes de dimension 3 peuvent être décomposées en sous variétés admettant l une des huit structures géométriques appelées… …   Wikipédia en Français

  • Conjecture —  Ne doit pas être confondu avec Conjoncture. Sur les autres projets Wikimedia : « Conjecture », sur le Wiktionnaire (dictionnaire universel) En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”