## [Teoría de la Homotopía](/es/node/62246) Definición El estudio de espacios topológicos, mapas y construcciones hasta equivalencia por homotopía, junto con estructuras algebraicas y categóricas (grupos de homotopía, categorías de modelos, espectros) que codifican información de deformación en dimensiones superiores. ## Principio Principio Sustituir la igualdad estricta por la equivalencia por homotopía como noción relevante de identidad; estudiar invariantes y construcciones invariante por homotopía, organizar objetos mediante estructuras de modelos o marcos ∞-categorícos para gestionar homotopías superiores y coherencias de composición. ## Demostración Demostración Calcular π_n(S^k) para esferas con herramientas como la sucesión exacta larga de una fibración, el teorema de suspensión de Freudenthal y secuencias espectrales; construir la categoría de homotopía de complejos CW y trabajar con torres de Postnikov para clasificar espacios por datos de homotopía por etapas. ## Aplicación incorrecta Aplicación incorrecta Tratar equivalencia por homotopía como homeomorfismo (son diferentes), o ignorar coherencias superiores trabajando solo con conjuntos de homotopía ingenuos cuando son esenciales las grupos de homotopía u otra estructura superior; también se abusa cuando problemas de punto-conjunto invalidan las estructuras de modelos asumidas. ## Consecuencia Consecuencia Produce invariantes (grupos de homotopía, clases de mapas hasta homotopía), métodos teórico-obstruccionales y marcos estructurales (categorías de modelos, ∞-categorías, espectros) que permiten la clasificación y manipulación de espacios y mapas hasta homotopía; guía construcciones como localización y la teoría estable de homotopía. ## Inversión Inversión La visión opuesta enfatiza la equivalencia puntual o geométrica estricta (homeomorfismo, isotopía o difeomorfismo) en lugar de la equivalencia por deformación; en otro sentido, la homología o cohomología descartan datos homotópicos superiores, entregando un invariante 'aplanado'. ## Límite Límite Se centra en fenómenos invariantes por homotopía: complejos CW, conjuntos simpliciales, categorías de modelos y espectros son dominios naturales; excluye preguntas que requieran precisión punto-conjuntista (incrustaciones salvajes, propiedades métricas finas) salvo que se reformulen homotópicamente. ## Tensión semántica Tensión semántica Tensión entre clasificación invariante por homotopía (más burda pero a menudo calculable) y datos geométricos o medibles más finos; tensión interna entre descripciones algebraicas clásicas y formulaciones ∞-categorícas modernas de coherencia y morfismos superiores. ## Síntesis Síntesis La teoría de la homotopía formaliza el estudio de espacios mediante deformaciones continuas: sustituye la igualdad por equivalencia por homotopía, desarrolla herramientas algebraicas y de categorías superiores para registrar y calcular datos de deformación, y sustenta resultados de clasificación tanto inestables como estables.