Homology above the dimension of a manifold (source code)

= Homology above the dimension of a manifold

An $n$-manifold has zero singular homology in every degree greater than $n$. One proof uses a countable exhaustion by subsets that retract onto $n$-dimensional CW complexes and the compact support of every singular cycle.