homotopía

History

El concepto fue introducido por Henri Poincaré a finales del siglo XIX en sus trabajos sobre geometría cualitativa. Lo aplicó para clasificar superficies.

How it works

Dos lazos en una superficie son homotópicos si uno puede deformarse en el otro sin despegarse de la superficie. Analogía: como una goma elástica en un globo: ¿se puede reducir a un punto sin deslizarse del globo?

History

El concepto fue introducido por Henri Poincaré a finales del siglo XIX en sus trabajos sobre geometría cualitativa. Lo aplicó para clasificar superficies.

How it works

Dos lazos en una superficie son homotópicos si uno puede deformarse en el otro sin despegarse de la superficie. Analogía: como una goma elástica en un globo: ¿se puede reducir a un punto sin deslizarse del globo?

History

Los orígenes del concepto se remontan a los trabajos de Henri Poincaré de 1895 sobre analysis situs, donde definió el grupo fundamental. El desarrollo posterior está ligado a Emmy Noether, quien contribuyó a la algebrización de la topología, y L. E. J. Brouwer, que refinó la idea. En los años 1930, Witold Hurewicz definió los grupos de homotopía superiores. En la segunda mitad del siglo XX, la teoría de tipos homotópicos, propuesta por Voevodsky, unificó la homotopía con la lógica y la informática, recibiendo reconocimiento en la década de 2010.

How it works

El grupo fundamental π₁(X) consta de clases de lazos homotópicos con la operación de composición. Los grupos de homotopía superiores π_n(X) generalizan a esferas S^n. Se calculan mediante secuencias exactas, secuencias espectrales y el teorema de Hurewicz. Por ejemplo, π₃(S²)=ℤ generado por la aplicación de Hopf. La invarianza homotópica está vinculada a propiedades categóricas; la teoría de categorías modelo de Quillen formaliza las estructuras homotópicas. El principio de superposición y continuidad subyace a las deformaciones, y el teorema de Noether sobre simetrías se refleja en los invariantes.

Open problems & fun facts

Cálculo de los grupos de homotopía de las esferas en general; Conjetura de Blake-Sutherland sobre los grupos de homotopía de productos; Resolver problemas de la teoría de tipos homotópicos, como el axioma de univalencia

💡 Los grupos de homotopía de las esferas son uno de los grandes problemas no resueltos de la topología. Por ejemplo, los matemáticos aún no conocen todos los grupos de homotopía de las esferas de dimensión mayor que 2.