Topologischer Raum/Deformationsretrakt/Fundamentalgruppe/Fakt

Es sei  $Y\subseteq X$  ein Deformationsretrakt eines topologischen Raumes $X$ und  $P\in Y$. 

Dann sind die Fundamentalgruppen ${\pi }_1(Y,P)$ und ${\pi }_1(X,P)$ zueinander kanonisch isomorph.

Zum Beweis, Alternativen Beweis erstellen