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!