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).

Principio

Para complejos CW, los datos 'débiles' (isomorfismos en los grupos de homotopía) bastan para elevar a una equivalencia de homotopía estricta porque la estructura celular permite reconstruir los espacios a partir de sus grupos de homotopía y de las aplicaciones de adherencia; la aproximación celular y la inducción celular son las herramientas organizadoras.

Demostración

Una inclusión de un subcomplejo que induce isomorfismos en todos los π_n (por ejemplo tras adjuntar celdas contractiles) es una equivalencia de homotopía por Whitehead; de modo similar, el recubrimiento universal de una variedad asférica ilustra el teorema cuando π_n se anulan para n>1.

Aplicación incorrecta

Usar el teorema de Whitehead para espacios topológicos arbitrarios sin estructura CW puede fallar: una weak homotopy equivalence entre espacios no‑CW no tiene por qué ser una equivalencia de homotopía, por lo que asumir equivalencia de mapas solo a partir de datos π_n es inseguro fuera del marco CW.

Consecuencia

Aplicado correctamente, el teorema reduce preguntas de equivalencia homotópica a comprobaciones algebraicas sobre grupos de homotopía, simplifica problemas de clasificación en teoría de la homotopía y justifica construcciones en las que se construyen inversos homotópicos a partir de datos celulares.

Inversión

La inversión sería la expectativa falsa de que grupos de homotopía isomorfos implican equivalencia para todos los espacios sin estructura adicional; los contraejemplos muestran que hacen falta hipótesis celulares para realizar geométricamente los isomorfismos algebraicos.

Límite

Válido para complejos CW y muchas categorías tipo CW (con base, conexos o con condiciones locales suaves); excluye espacios patológicos o muy no celulares y requiere atención a los puntos base y a la acción de π_1 sobre los π_n superiores en casos no simplemente conexos.

Tensión semántica

Compite con nociones más débiles de teoría de modelos (weak equivalence vs homotopy equivalence) y con invariantes algebraicos como la homología: Whitehead equipara weak homotopy equivalence y homotopy equivalence en contextos CW, pero en otros contextos la homología puede ser insuficiente.

Síntesis

El teorema de Whitehead afirma que para complejos CW una aplicación que induce isomorfismos en todos los grupos de homotopía es una equivalencia de homotopía, conectando datos algebraicos de homotopía con equivalencia geométrica mediante métodos celulares y permitiendo criterios algebraicos para la clasificación topológica.