Homotopieäquivalenz

Eine Homotopieäquivalenz ist ein zentraler Begriff im mathematischen Teilgebiet Topologie: eine stetige Abbildung, die eine "stetige Umkehrabbildung bis auf Homotopie" besitzt.

Zwei Räume heißen homotopieäquivalent, wenn es eine Homotopieäquivalenz zwischen ihnen gibt. (Man sagt dann auch, die beiden Räume haben denselben Homotopietyp.) Homotopieäquivalenz definiert eine schwächere Äquivalenzrelation als Homöomorphismus. Topologie handelt zwar eigentlich von Eigenschaften, die unter Homöomorphismen invariant sind, viele topologische Invarianten sind aber auch invariant unter Homotopieäquivalenz.

Während man sich einen Homöomorphismus als Dehnen, Stauchen, Verbiegen, Verzerren, Verdrillen (aber nicht Zerschneiden) vorstellt, ist bei Homotopieäquivalenzen anschaulich gesprochen auch das Aufdicken und Zusammenquetschen zulässig.