Kontrahierbar

Im mathematischen Teilgebiet der Topologie heißt ein topologischer Raum X zusammenziehbar oder kontrahierbar, wenn er homotopieäquivalent zu einem einpunktigen Raum ist, d.h. wenn es eine stetige Abbildung

$H\colon X\times[0,1]\to X$

gibt, für die

• H(x,0) = x für alle $x\in X$ und
• H(x,1) = p für alle $x\in X$ mit einem festen $p\in X$

gilt.

Beispiel

Der euklidische Raum $\mathbb R^n$ ist zusammenziehbar: Setze

H(x,t) = (1 − t)x für $x\in\mathbb R^n$ und $0\leq t\leq1$.

Man beachte, dass der Raum nicht im anschaulichen Sinne "stetig zu einem Punkt deformiert wird": Das Bild der Abbildung

$\mathbb R^n\to\mathbb R^n,\quad x\mapsto H(x,t)$

ist für t < 1 stets der gesamte Raum, erst für t = 1 ist das Bild nur noch der Ursprung.

Gegenbeispiel

Die Einheitssphäre $\mathbb S^n$ (oder allgemeiner: eine entsprechende Sphäre mit festem Radius) ist nicht zusammenziehbar. Jedoch für $n\geqslant 2$ einfach zusammenhängend.

Nullhomotope Abbildungen

Eine stetige Abbildung $X\to Y$ heißt nullhomotop (auch zusammenziehbar oder kontrahierbar), wenn sie homotop zu einer konstanten Abbildung ist.