Deformation retraction/Definition

Definition

A subspace, $A$, of a topological space $(X,\mathcal{ J })$ is called a deformation retract of $X$, if there exists a retraction, $r:X\rightarrow A$, with the additional property:

• $i_A\circ r\simeq\text{Id}_X$

Caution:Be sure to see the warnings on terminology