Aller au contenu

Cohomologie d'Alexander-Spanier

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 11 avril 2021 à 19:19 et modifiée en dernier par Paul.schrepfer (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

En mathématiques et plus particulièrement en topologie algébrique, la cohomologie d'Alexander-Spanier est une théorie cohomologique pour les espaces topologiques.

Histoire

Elle a d'abord été introduite par James Waddell Alexander II en 1935 pour le cas particulier des espaces métriques compacts, puis étendue par Edwin Spanier en 1948 à tous les espaces topologiques, sur une suggestion de A. D. Wallace.

Définition

Si X est un espace topologique et G un groupe abélien, alors on définit un complexe différentiel C dont le p-ième terme Cp est l'ensemble de toutes les fonctions de Xp+1 dans G et de différentielle d donnée par :

On note C0 le sous-complexe formé des fonctions qui s'annulent sur un voisinage de la diagonale.

On définit les groupes de cohomologie d'Alexander-Spanier Hp(X, G) comme étant les groupes de cohomologie du complexe C/C0.

Variantes

Il est aussi possible de définir l'homologie d'Alexander-Spanier (William Massey, 1978) et la cohomologie à support compact d'Alexander-Spanier (Glen Bredon (en), 1997).

Lien avec les autres théories cohomologiques

La cohomologie d'Alexander-Spanier coïncide avec la cohomologie de Čech pour les espaces compacts et avec la cohomologie singulière pour les complexes localement finis.

Notes et références