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.