Deformation retract and homotopy equivalence If $A\subset X$ is a deformation retract of $X$. Are $X$ and $A$ homotopy equivalent?
 A: If yours is the standard definition, the answer is "yes".
Namely, $A \subset X$ is a deformation retract of $X$ if there is a continuous map $r: X \longrightarrow A$ such that $r\circ i = \mathrm{id}_A$, where $i: A \longrightarrow X$ is the inclusion, and $i\circ r \simeq \mathrm{id}_X$.
Since $=$ implies $\simeq$ and being of the same homotopy type means just that there are maps $f: A \longrightarrow X$ and $g: X \longrightarrow A$ such that $f \circ g \simeq \mathrm{id}_X$ and $g\circ f \simeq \mathrm{id}_A$, obviously being a deformation retract implies being homotopy equivalent, or having the same homotopy type.
A: Let's simply say that there are many different kind of deformation retraction, one stronger than the other.
The weaker form states that $A \subseteq X$ is a (weak)deformation retract of $X$ iff there's a map $r \colon X \to A$ such that $r$ is both a left and right homotopy inverse to the inclusion map $i \colon A \to X$ (so $A$ must be homotopy equivalent to $X$).
The stronger form states that $A$ is a deformation retract of $X$ iff exists a map $D \colon X \times I \to X$ such that $D(a,t)=a$ for every $a \in A$, $D(x,0)=x$ and $D(x,1) \in A$ for all $x \in X$ (i.e. $D$ is an homotopy relative to the subspace $A$ between the identity and a map of the form $i\circ r$ for some $r \colon X \to A$).
Since $D$ is relative to $A$ you get that the $r(a)=a$ for all $a \in A$, so $r \circ i = 1_A$, while $D$ is an homotopy between $1_X$ and $i \circ r$, so $r$ and $i$ are homotopy equivalences.
