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\colon X\times [0,1]\longrightarrow X$

derart gibt, dass die Eigenschaften

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

gelten.