Topologischer Raum/Kontrahierbar auf Punkt/Deformationsintervall rechts/Definition

Kontrahierbarer Raum

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

derart gibt, dass die Eigenschaften

  1. ,
  2. ,
  3. für alle

gelten.