Teorema de Whitehead

Un criterio en teoría de la homotopía que afirma que una aplicación f: X → Y entre complejos CW (o más generalmente entre espacios débilesmente tipo CW) es una equivalencia de homotopía si y solo si induce isomorfismos en todos los grupos de homotopía π_n para cada punto base (equivalente a ser una weak homotopy equivalence bajo hipótesis adecuadas).