Una familia continua de aplicaciones F: X × [0,1] → Y que interpola entre dos aplicaciones continuas f0 y f1 (F(·,0)=f0, F(·,1)=f1); formaliza la idea de deformar una aplicación en otra mediante aplicaciones continuas.

Principio

Identificar mapas que son deformables entre sí por un parámetro continuo: la homotopía es una relación de equivalencia sobre mapas (con condiciones técnicas) que captura la invariancia por deformación en lugar de la igualdad punto por punto.

Demostración

Un lazo en un espacio es nulo‑homotópico si se extiende a una aplicación continua del disco; por ejemplo, cualquier lazo en R^n es nulo‑homotópico por contracción radial, mientras que un lazo que rodea un punto eliminado del plano no lo es.

Aplicación incorrecta

Usar 'homotopía' cuando se necesita 'isotopía' (deformación mediante incrustaciones) o confundir equivalencia por homotopía de espacios con nociones más débiles como equivalencia por homología; eso puede invalidar conclusiones geométricas sobre incrustaciones o estructuras diferenciables.

Consecuencia

La homotopía genera el grupo fundamental y los grupos de homotopía superiores como invariantes, sustenta la teoría de obstrucciones y organiza muchos resultados de clasificación: dos mapas homotópicos inducen frecuentemente las mismas aplicaciones en grupos de homotopía y cohomología.

Inversión

Sustituir homotopía por homeomorfismo o isotopía fortalece la noción (equivalencia más refinada que preserva datos puntuales o de incrustación); sustituirla por equivalencia por homología la debilita (pierde información de los grupos de homotopía superiores).

Límite

Requiere mapas continuos y una topología ambiente; la homotopía relativa (fijando un subespacio) y la homotopía apuntada (fijando un punto base) son variantes con restricciones añadidas. La homotopía no detecta fenómenos invisibles a deformaciones continuas, como obstrucciones de isotopía suave o torsión fina en grupos de homotopía.

Tensión semántica

Tensión entre homotopía e isotopía o difeotopía: la homotopía admite autointersecciones y deformaciones continuas arbitrarias, la isotopía no. También existe tensión entre la homotopía y invariantes algebraicos como la homología que capturan aspectos distintos de la topología.

Síntesis

La homotopía es la noción formal de deformación continua entre mapas: identifica mapas que pueden transformarse continuamente uno en otro, genera invariantes algebraicos fundamentales y herramientas de clasificación, y se distingue de equivalencias geométricas más fuertes como la isotopía.