Compact-support comparison with a one-point compactification

ID: compact-support-comparison-with-a-one-point-compactification

If the one-point compactification is Hausdorff and has a basis of contractible neighbourhoods at the added point, then
The Excision theorem identifies with . The contractible neighbourhoods form a cofinal family of the complements of compact , and their pair long exact sequences identify each relative group naturally with reduced cohomology. Passing to the direct limit gives the comparison. Local contractibility matters for singular cohomology; the Hawaiian earring illustrates its failure.

New to topics? Read the docs here!