Topologischer Raum/Kontrahierbar auf Punkt/Deformationsintervall rechts/Definition

Kontrahierbarer Raum

Ein topologischer Raum $X$ heißt kontrahierbar (oder zusammenziehbar) auf einen Punkt  $P\in X$,  wenn es eine stetige Abbildung

$H:X\times [0,1]⟶X$

derart gibt, dass die Eigenschaften

1.  $H(-,0)={\mathrm{Id}}_X$, 
2.  $H(-,1)=P$, 
3.  $H(P,t)=P$  für alle  $t\in [0,1]$ 

gelten.