TOPICS
Search

Whitehead's Theorem


Whitehead's theorem states that a continuous map f:X->Y between nonempty connected CW-complexes is a homotopy equivalence if, for a basepoint x_0 in X, it induces isomorphisms of homotopy groups

 f_*:pi_n(X,x_0)->pi_n(Y,f(x_0))

for every integer n>=1 (Hatcher 2002, p. 346).


See also

CW-Complex, Homotopy Group, Isomorphism

Explore with Wolfram|Alpha

References

Hatcher, A. Algebraic Topology. Cambridge, England: Cambridge University Press, p. 346, 2002. https://pi.math.cornell.edu/~hatcher/AT/AT.pdf.

Referenced on Wolfram|Alpha

Whitehead's Theorem

Cite this as:

Weisstein, Eric W. "Whitehead's Theorem." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/WhiteheadsTheorem.html

Subject classifications