Un teorema que compara homotopía e homología afirmando que para un espacio conexo por caminos X el homomorfismo de Hurewicz desde el primer grupo de homotopía no trivial hacia la homología es un isomorfismo bajo hipótesis de conexidad; en general identifica el primer grupo de homotopía no nulo con el grupo de homología correspondiente cuando las homotopías inferiores se anulan.

Principio

Cuando un espacio es suficientemente conexo (π_i(X)=0 para i < n), la aplicación de Hurewicz π_n(X) → H_n(X) captura la obstrucción primaria a la nullhomotopía y se vuelve un isomorfismo (las aplicaciones de Hurewicz superiores están controladas por productos de Whitehead y operaciones superiores).

Demostración

Para la esfera S^n la aplicación de Hurewicz π_n(S^n) ≅ Z → H_n(S^n) ≅ Z es un isomorfismo; para un complejo CW simplemente conexo obtenido adhiriendo celdas de dimensión > n, el primer grupo de homotopía no trivial coincide con la homología correspondiente por Hurewicz.

Aplicación incorrecta

Suponer el isomorfismo de Hurewicz sin comprobar la conexidad (por ejemplo en espacios con homotopía no trivial en bajas dimensiones) lleva a identificaciones incorrectas entre homotopía y homología.

Consecuencia

Su uso adecuado proporciona un puente desde la homotopía (difícil de calcular) hacia la homología (a menudo calculable), dando invariantes algebraicos concretos para el primer grupo de homotopía no trivial y posibilitando cálculos en teoría de obstrucciones y clasificación homotópica.

Inversión

Invertir el concepto sería afirmar que la homología determina siempre los grupos de homotopía en todos los grados; el fracaso de esa afirmación en grados superiores demuestra el papel de los productos de Whitehead y las estructuras superiores no visibles en homología.

Límite

Se aplica bajo hipótesis de conexidad (anulación de los grupos de homotopía inferiores) y para espacios conexos por caminos; no identifica generalmente los grupos de homotopía superiores con la homología salvo en el primer grado no trivial y debe usarse con cautela para espacios no-CW o patológicos.

Tensión semántica

Existe tensión entre la identificación de Hurewicz del primer grupo de homotopía no trivial con la homología y la expectativa más amplia de que la homología determine la homotopía; los sentidos competidores son 'primario' (Hurewicz) frente a 'secundario/superior' (productos de Whitehead, operaciones de homotopía).

Síntesis

El teorema de Hurewicz afirma que bajo la conectividad adecuada el primer grupo de homotopía no nulo se envía isomórficamente a la homología, proporcionando un vínculo calculable entre homotopía y homología y delimitando los grados en que la información homológica basta.