Eine stetige Deformation zwischen zwei stetigen Abbildungen (oder Räumen), parametrisiert durch ein Intervall: Eine Homotopie zwischen f und g ist eine stetige Abbildung H(x,t) mit H(·,0)=f und H(·,1)=g und drückt aus, dass f stetig zu g verformt werden kann.

Prinzip

Homotopie erfasst Deformationsäquivalenz: unter Homotopie-invariante Eigenschaften sind grobe topologische Invarianten, die Metrik und kleinräumige Struktur ignorieren, aber globale Zusammenhängigkeit und Löcher bewahren.

Demonstration

Eine Scheibe ist homotop zu einem Punkt durch radiale Kontraktion H(x,t)=(1−t)x; die Inklusion eines Kreises in einen Zylinder ist homotop zu einer Retraktion auf den Kreis, was zeigt, dass sie denselben Homotopietyp haben.

Fehlanwendung

Homotopieäquivalenz mit Homöomorphie zu verwechseln oder anzunehmen, Homotopie-Invarianten (z. B. Homotopiegruppen) würden feine geometrische Strukturen wie Einbettung oder differenzierbare Struktur festlegen.

Konsequenz

Homotopie führt zu algebraischen Invarianten (Homotopiegruppen, Homotopieklassen) und einer Klassifikation bis auf Deformation; sie erlaubt das Argumentieren über stetige Deformationen und Obstruktionstheorie in Topologie und algebraischer Topologie.

Umkehrung

Die Umkehrung ist eine rigide Äquivalenz wie Homöomorphie oder Isometrie, die alle topologischen oder geometrischen Details bewahrt anstatt nur Deformationsklassen.

Abgrenzung

Gilt für stetige Abbildungen zwischen topologischen Räumen und für den Begriff des Homotopietyps; sie erfasst keine feineren Strukturen (glatt, PL, metrisch), sofern nicht zusätzliche Einschränkungen vorliegen.

Semantische Spannung

Spannung zu Homologie: Homologie ist leichter zu berechnen und erfasst abelinisierte Lochinformation, während Homotopiegruppen im Allgemeinen stärker, aber schwerer zu berechnen sind; die Wahl bedeutet einen Tausch von Berechenbarkeit gegen Unterscheidungskraft.

Synthese

Homotopie formalisert die Idee, Abbildungen oder Räume stetig ineinander zu verformen und erzeugt Äquivalenzklassen, die großskalige topologische Merkmale bewahren und metrische Kleindetails ignorieren.