En general, los grupos de homología suelen ser más fáciles de calcular que los grupos de homotopía. Entonces, la idea general es tratar de usar grupos de homología para contarnos algo sobre los grupos de homotopía. Hurewicz es el resultado más básico en esta dirección.
Si primero restringimos los espacios conectados que no están simplemente conectados, Hurewicz dice que [math] H_1 [/ math] es la abelianización de [math] \ pi_1 [/ math]. Asumiendo que sabemos [matemáticas] H_1 [/ matemáticas], esto no determina completamente [matemáticas] \ pi_1 [/ matemáticas], pero tampoco es nada.
A continuación, si restringimos los espacios conectados que también están simplemente conectados, Hurewicz dice que el primer grupo de homología distinto de cero es isomorfo al primer grupo de homotopía distinto de cero, es decir, si [matemáticas] H_1 = H_2 = \ dots = H_k = \ text {trivial} [ / math] y [math] H_ {k + 1} [/ math] no es trivial, entonces [math] \ pi_1 = \ pi_2 = \ dots = \ pi_k = \ text {trivial} [/ math] y [math] \ pi_ {k + 1} = H_ {k + 1} [/ matemáticas].
- A menudo se afirma que el análisis complejo es una de las ramas más útiles y bellas de las matemáticas, y que posee una elegancia ausente del análisis real. ¿Hay alguna razón profunda por la cual este sería el caso?
- Cómo explicar intuitivamente el conjunto convexo y la función convexa
- ¿Cuál es la fórmula de suma de [math] \ zeta (3) [/ math]?
- Cómo mostrar que los enésimos coeficientes diferenciales de [matemática] e ^ {- ax} \ cos (bx + c) [/ matemática], (a> 0) son [matemática] r ^ ne ^ {- ax} \ cos ( bx + c + nd) [/ math] donde [math] r \ cos d = -a, r \ sin d = b, d = \ sqrt {a ^ 2 + b ^ 2} [/ math]
- ¿Puede mostrar una manera fácil / ilustrada de demostrar / mostrar / explicar la paradoja de Banach Tarski a alguien sin mucho conocimiento matemático?