# Homology with compact support

A partially exact homology theory (cf. Homology theory) which satisfies the following axiom of compact support: For each element of the -dimensional group of an arbitrary pair of spaces there exists a compact pair such that is contained in the image of the homomorphism

which is induced by the inclusion. If the homology theory is exact and has compact support, the following theorem is valid: For any element which belongs to the kernel of there exists a compact pair such that

and belongs to the kernel of the homomorphism

An exact theory has compact support if and only if for any pair the group is the direct limit , where runs through the compact pairs contained in . An exact homology theory with compact support is unique on the category of arbitrary (non-compact) polyhedral pairs for a given coefficient group and is equivalent to the singular theory. For a general homology theory, in addition to the group there is also the group

where are compact subpairs in . The singular homology group, having compact support, is isomorphic to . In spectral theory one also considers — in addition to the Aleksandrov–Čech homology groups and the groups — the group which is the image of the natural homomorphism

This group, like the group , satisfies the axiom of compact support, but in spectral theory it is the latter group which has the name of homology with compact support. In spectral theory these three groups differ from one another, and each of them is the object of a duality theorem, both for a discrete and for a compact group of coefficients (cf. Duality in topology).

#### References

[1] | N.E. Steenrod, S. Eilenberg, "Foundations of algebraic topology" , Princeton Univ. Press (1966) |

[2] | P.S. Aleksandrov, "General duality theorems for non-closed sets in -dimensional space" Mat. Sb. , 21 (63) : 2 (1947) pp. 161–232 (In Russian) |

[3] | E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966) |

**How to Cite This Entry:**

Homology with compact support.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Homology_with_compact_support&oldid=11690