Théorème de décomposition de Milnor

Théorème de décomposition de Milnor

En mathématiques, et plus précisément en géométrie, le théorème de décomposition de Milnor, appelé aussi théorème de décomposition des 3-variétés, ou théorème de Kneser-Milnor, affirme que toute variété compacte et orientable de dimension 3 est la somme connexe d'un ensemble unique de variétés indécomposables.

Sommaire

Énoncé

On dit qu'une variété P est indécomposable[1] si elle n'est pas une sphère, et ne peut se décomposer en somme connexe de façon non triviale, c'est-à-dire si P=P_1\#P_2 implique que P1 ou P2 est homéomorphe à une sphère. Le théorème de décomposition affirme alors que

Théorème — Toute variété compacte orientable de dimension 3 autre que la sphère S3 se décompose de manière unique en somme connexe de variétés indécomposables

Si P est une variété indécomposable de dimension 3, c'est soit le produit S2 × S1, soit le fibré non orientable de fibre S2 au dessus de S1, soit une variété irréductible, c'est-à-dire qu'une 2-sphère plongée dans P y est frontière d'une boule. On peut donc aussi énoncer le théorème en disant que toute variété compacte orientable de dimension 3 se décompose en une somme de variétés irréductibles et de tores S2 × S1.

Le théorème se généralise aux variétés non orientables, mais l'unicité doit être légèrement modifiée : les composantes sont à présent des variétés irréductibles, ou des fibrés non orientables, de fibre S2 au dessus de S1.

Historique

La démonstration est basée sur la technique des surfaces normales (en), découverte par Hellmuth Kneser (en). L'existence d'une décomposition fut montrée par Kneser en 1930, mais la formulation exacte et la démonstration de l'unicité ne furent faites par John Milnor qu'en 1962.

Notes et références

  1. L'anglais utilise prime manifold (littéralement "variété première"), par analogie avec les nombres premiers.

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de décomposition de Milnor de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Theoreme de la boule chevelue — Théorème de la boule chevelue Si un champ de vecteurs sur une sphère est symbolisé par des cheveux de longueur constante, le théorème de la boule chevelue stipule que la sphère contient au moins un épi. La figure en contient deux, un sur chaque… …   Wikipédia en Français

  • John Milnor — John Willard Milnor, né le 20 février 1931, est un mathématicien connu pour son travail en topologie différentielle et en K théorie. Sommaire 1 Biographie …   Wikipédia en Français

  • Théorème de la boule chevelue — Si un champ de vecteurs sur une sphère est symbolisé par des cheveux de longueur constante, le théorème de la boule chevelue stipule que la sphère contient au moins un épi. La figure en contient deux, un sur chaque pôle …   Wikipédia en Français

  • Lemme de Milnor — Théorème de la boule chevelue Si un champ de vecteurs sur une sphère est symbolisé par des cheveux de longueur constante, le théorème de la boule chevelue stipule que la sphère contient au moins un épi. La figure en contient deux, un sur chaque… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   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

  • SYSTÈMES DYNAMIQUES DIFFÉRENTIABLES — Sans doute née avec le mémoire que Poincaré écrivit en 1881 «sur les courbes définies par des équations différentielles», où l’étude quantitative (analytique) locale des équations différentielles dans le champ complexe est remplacée par leur… …   Encyclopédie Universelle

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

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