Topologie algébrique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

La topologie algébrique, anciennement appelée topologie combinatoire, est une branche des mathématiques appliquant les outils de l'algèbre dans l'étude des espaces topologiques. Plus exactement, elle cherche à associer de manière naturelle des invariants algébriques aux structures topologiques associées. La naturalité signifie que ces invariants vérifient des propriétés de fonctorialité au sens de la théorie des catégories.

Invariants algébriques[modifier | modifier le code]

L'idée fondamentale est de pouvoir associer à tout espace topologique des objets algébriques (nombre, groupe, espace vectoriel…), de sorte qu'à deux espaces homéomorphes soient associées deux structures isomorphes. De tels objets sont appelés des invariants algébriques. En termes savants, il s'agit d'étudier des foncteurs depuis la catégorie des espaces topologiques sur une catégorie algébrique, comme les catégories de groupes, algèbres, groupoïdes, etc. Des résultats de topologie passent alors par la démonstration plus abordable de propriétés algébriques.

Parmi les invariants notables, citons :

Applications de la topologie algébrique[modifier | modifier le code]

  • Le théorème du point fixe de Brouwer : toute application continue du disque unité de \mathbb{R}^n dans lui-même admet un point fixe.
  • Le théorème de la boule chevelue : tout champ continu de vecteurs tangents à une sphère de dimension paire s'annule en au moins un point, en conséquence un tokamak ne peut avoir une géométrie sphérique.
  • Le théorème de Borsuk-Ulam : pour toute application continue de la sphère Sn dans \mathbb{R}^n il existe un couple de points antipodaux qui prennent la même valeur par cette application. Par exemple, à tout instant, il existe deux points à la surface de la Terre diamétralement opposés ayant même température et même pression.

Topologues algébriques notables[modifier | modifier le code]

Importants théorèmes en topologie algébrique[modifier | modifier le code]

Référence[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Algebraic topology » (voir la liste des auteurs)

Article connexe[modifier | modifier le code]

CW-complexe