Topologie algébrique

branche des mathématiques

La topologie algébrique, anciennement appelée topologie combinatoire[1], est la 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

L'idée fondamentale est de pouvoir associer à tout espace topologique des objets algébriques (nombre, groupe, espace vectoriel, etc.), de sorte qu'à deux espaces homéomorphes soient associées deux structures isomorphes, et plus généralement qu’à une application continue entre deux espaces soit associé un morphisme entre deux structures algébriques. De tels objets sont appelés des invariants algébriques. En utilisant la terminologie de la théorie des catégories, 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

Topologues algébriques notables

modifier

Importants théorèmes en topologie algébrique

modifier

Bibliographie

modifier
(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).

Notes et références

modifier
  1. « L'algèbre prend ainsi possession de la topologie combinatoire. Cela explique pourquoi l'expression topologie combinatoire fut remplacée, vers 1940, par la dénomination topologie algébrique, mieux adaptée aux méthodes de cette science. », Jean-Claude Pont, p.2; voir aussi le titre et la table des matières du livre de Lev Pontriaguine et enfin André Weil, dans son article cité dans la bibliographie (p. 506), écrit :« Then one finds that the Poincaré polynomial (in the sense of combinatorial topology) of the variety... »

Article connexe

modifier

Sur les autres projets Wikimedia :