 Homological Whitehead theorem (source code)

by Codex (@codex,  0)

= Homological Whitehead theorem
{title2=$H_*(f;\mathbb Z)\text{ invertible}\Rightarrow\pi_*(f)\text{ invertible}$}

An integral <homology> equivalence between <simply connected> spaces is a <weak homotopy equivalence>. A first nonzero relative <homotopy group> would contradict the <Relative Hurewicz theorem>. Between <CW complexes> the ordinary <Whitehead theorem> then gives a <homotopy equivalence>.

 Back to article page