A criterion in homotopy theory that a map f: X → Y between CW complexes (or more generally between connected weak CW-like spaces) is a homotopy equivalence if and only if it induces isomorphisms on all homotopy groups π_n for every basepoint (equivalently, is a weak homotopy equivalence under suitable hypotheses).

Principle

For CW complexes, 'weak' data (isomorphisms on homotopy groups) suffices to upgrade to strict homotopy equivalence because CW structure allows reconstruction of spaces from homotopy groups and attaching maps; cellular approximation and cellular induction are the organizing tools.

Demonstration

An inclusion of a subcomplex that induces isomorphisms on all π_n (for instance after attaching contractible cells) is a homotopy equivalence by Whitehead; similarly, the universal cover of an aspherical manifold reflects the theorem when π_n vanish for n>1.

Misapplication

Using Whitehead's theorem for arbitrary topological spaces without CW structure can fail: a weak homotopy equivalence between non-CW spaces need not be a homotopy equivalence, so assuming equivalence of maps merely from π_n data is unsafe outside the CW setting.

Consequence

Applied properly, the theorem reduces homotopy-equivalence questions to algebraic checks on homotopy groups, simplifies classification problems in homotopy theory, and justifies constructions where one builds homotopy inverses from cellular data.

Reversal

The reversal is the false expectation that isomorphic homotopy groups imply equivalence for all spaces without further structure; counterexamples show that additional cellular hypotheses are necessary to realize algebraic isomorphisms geometrically.

Boundary

Valid for CW complexes and many CW-like categories (based, connected, or with mild local conditions); it excludes pathological or highly noncellular spaces and requires attention to basepoints and action of π_1 on higher π_n in non-simply-connected cases.

Semantic Tension

Competes with weaker model-category notions (weak equivalence vs homotopy equivalence) and with algebraic invariants like homology: Whitehead equates weak homotopy equivalence with homotopy equivalence in CW settings, but in other contexts homology or other invariants may be insufficient.

Synthesis

Whitehead's theorem asserts that for CW complexes, a map inducing isomorphisms on all homotopy groups is a homotopy equivalence, bridging algebraic homotopy data and geometric equivalence via cellular methods and thereby enabling algebraic criteria for topological classification.