Cohomologia Alexander-Spanier

Em matemática e mais particularmente em topologia algébrica , a cohomologia de Alexander-Spanier é uma teoria cohomológica para espaços topológicos .

História

Foi introduzido pela primeira vez por James Waddell Alexander II em 1935 para o caso particular de espaços métricos compactos , então estendido por Edwin Spanier em 1948 para todos os espaços topológicos, por sugestão de AD Wallace.

Definição

Se X é um espaço topológico e G um grupo abeliano , então definimos um complexo diferencial C cujo p -ésimo termo C p é o conjunto de todas as funções de X p +1 em G e da diferencial d dada por:

Denotamos por C 0 o subcomplexo formado por funções que se cancelam em uma vizinhança da diagonal.

Os grupos de cohomologia de Alexander-Spanier H p ( X , G ) são definidos como sendo os grupos de cohomologia do complexo C / C 0 .

Variantes

Também é possível definir a homologia de Alexander-Spanier ( William Massey , 1978) e a cohomologia de suporte compacto de Alexander-Spanier ( Glen Bredon  (en) , 1997).

Link com outras teorias cohomológicas

A cohomologia Alexander-Spanier coincide com a cohomologia Čech para espaços compactos e com a cohomologia singular para complexos localmente finitos.

Notas e referências


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