- Alexander-Spanier cohomology
In
mathematics , particularly inalgebraic topology Alexander-Spanier cohomology is acohomology theory arising fromdifferential form s withcompact support on amanifold . It is similar to and in some sense dual tode Rham cohomology . It is named forJ. W. Alexander andEdwin Henry Spanier (1921-1996).Given a manifold "X", let be the real vector space of "k"-forms on "X" with compact support, and "d" be the standard
exterior derivative .
Then the "Alexander-Spanier cohomology groups" are the homology of thechain complex ::;
i.e., is the vector space of closed "k"-forms
modulo that of exact "k"-forms.Despite their definition as the homology of an ascending complex, the Alexander-Spanier groups demonstrate
covariant behavior; for example, given the inclusion mapping for an open set "U" of "X", extension of forms on "U" to "X" (by defining them to be 0 on "X-U") is a map inducing a map:.
They also demonstrate
contravariant behavior with respect toproper map s - that is, maps such that the inverse image of every compact set is compact. Let "f": "U" → "X" be such a map; then thepullback :
induces a map
:.
A
Mayer-Vietoris sequence holds for Alexander-Spanier cohomology.
Wikimedia Foundation. 2010.