変位レトラクト

部分空間 $A\subseteq X$ が変位レトラクトであるとは、連続写像 $H:X\times I\to X$ で $H(\cdot,0)=\mathrm{id}_X$, $H(x,1)\in A$, $H(a,t)=a\ (a\in A)$ を満たすものが存在することをいう。このとき $r=H(\cdot,1):X\to A$ は $r\circ i=\mathrm{id}_A$（$i$ は包含）を満たす。