##  [Homotopy Equivalence](/homotopy-equivalence-0) 

 Definition

A continuous map f: X → Y is a homotopy equivalence if there exists a continuous g: Y → X such that g ∘ f is homotopic to id_X and f ∘ g is homotopic to id_Y; X and Y are then said to have the same homotopy type.

 

 

 

 

 

 





## Principle

Principle

Capture 'sameness' of spaces up to continuous deformation rather than homeomorphism: a homotopy inverse exhibits that two spaces have equivalent mapping behaviour into and out of them for homotopy‑theoretic purposes.

 

 

 

 

 





## Demonstration

Demonstration

A deformation retract r: X → A (with inclusion i: A → X) yields i ∘ r homotopic to id_X and r ∘ i = id_A, so inclusion of a deformation retract is a homotopy equivalence; e.g. a CW complex homotopy equivalent to a subcomplex that is a deformation retract.

 

 

 

 

## Misapplication

Misapplication

Confusing homotopy equivalence with weak homotopy equivalence (the latter only requires isomorphisms on all homotopy groups) or with homology equivalence; a weak equivalence need not admit an actual homotopy inverse without extra hypotheses (CW, simple spaces, Whitehead theorem conditions).

 

 

 

 

 





## Consequence

Consequence

Homotopy equivalent spaces have isomorphic homotopy groups, isomorphic singular cohomology rings (under mild hypotheses), and interchangeable roles in homotopy theory and many classification problems; computations can be transferred across the equivalence.

 

 

 

 

## Reversal

Reversal

Dropping the requirement of homotopy inverses yields weaker notions (weak homotopy equivalence, homology equivalence) that preserve less information; requiring a homeomorphism or diffeomorphism yields a strictly stronger relation with geometric rigidity.

 

 

 

 

 





## Boundary

Boundary

Definition assumes the existence of continuous homotopy inverses; in practical use one often restricts to well‑behaved categories (CW complexes, compactly generated Hausdorff spaces) to avoid pathologies. Whitehead's theorem relates weak homotopy equivalences to homotopy equivalences under CW/homotopy‑simple hypotheses.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Main tension is between homotopy equivalence and weak homotopy equivalence: they coincide in many convenient categories (e.g., CW complexes) but differ in general; there's also tension with homeomorphism (stronger) and homology equivalence (weaker).

 

 

 

 

 





## Synthesis

Synthesis

A Homotopy Equivalence is the precise notion of two spaces being identical for homotopy‑theoretic purposes: existence of mutual maps whose compositions are homotopic to identities ensures transfer of homotopy invariants and permits replacing spaces by simpler models, provided one works in an appropriate topological category.