Algebraisk topologi

Den algebraiske topologi , tidligere kaldet kombinatorisk topologi, er den gren af matematik, der anvender algebraens værktøjer i studiet af topologiske rum . Snarere søger den at forbinde så naturligt den invariante algebraiske til strukturer topologisk associeret. Naturlighed betyder, at disse invarianter verificerer egenskaber ved funkionalitet i betydningen af kategoriteori .

Algebraiske invarianter

Den grundlæggende idé er at være i stand til at forbinde algebraiske objekter ( antal , gruppe , vektorrum osv.) Med ethvert topologisk rum , så to homomorfe rum er forbundet med to isomorfe strukturer og mere generelt end med et kontinuerligt kort mellem to rum er forbundet med en morfisme mellem to algebraiske strukturer. Sådanne genstande kaldes algebraiske invarianter. Ved hjælp af terminologien for kategoriteori er målet at studere funktorer fra kategorien topologiske rum på en algebraisk kategori, såsom kategorier af grupper, algebraer, groupoider osv. Topologiresultater gennemgår derefter en mere overkommelig demonstration af algebraiske egenskaber.

Nogle bemærkelsesværdige invarianter inkluderer:

Bemærkelsesværdige algebraiske topologer

Bibliografi

(fr) Denne artikel er helt eller delvist taget fra den engelske Wikipedia- artikel med titlen Algebraisk topologi  " ( se listen over forfattere ) .

Noter og referencer

  1. “Algebra overtager således kombinatorisk topologi. Dette forklarer, hvorfor udtrykket kombinatorisk topologi blev erstattet omkring 1940 med navnet algebraisk topologi, bedre egnet til metoderne i denne videnskab. », Jean-Claude Pont, s.2; se også titlen og indholdsfortegnelsen i bogen af ​​Lev Pontriaguine og til sidst skriver André Weil i sin artikel, der er citeret i bibliografien (s. 506): ”Så finder man ud af, at Poincaré-polynomet (i betydningen af ​​kombinatorisk topologi ) af sorten ... "

Relateret artikel

CW-kompleks

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">