Finite CW approximation from bounded homology

ID: finite-cw-approximation-from-bounded-homology

Start with a finite -dimensional -connected approximation. Its degree- homology kernel is finite free. Realize a basis via the Relative Hurewicz theorem and attach -cells; their boundary is injective, so they kill precisely that kernel without adding top homology. The homological Whitehead theorem gives a finite weak equivalence of dimension at most .

New to topics? Read the docs here!