Equivalencia Homotópica

- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
Un mapa continuo f: X → Y es una equivalencia homotópica si existe un mapa continuo g: Y → X tal que g ∘ f es homotópico a id_X y f ∘ g es homotópico a id_Y; entonces se dice que X e Y tienen el mismo tipo homotópico.