Eine kontinuierliche Familie von Abbildungen F: X × [0,1] → Y, die zwischen zwei stetigen Abbildungen f0 und f1 interpoliert (F(·,0)=f0, F(·,1)=f1); sie formalisiert das Konzept, eine Abbildung durch stetige Abbildungen in eine andere zu verformen.

Prinzip

Abbildungen identifizieren, die sich durch einen stetigen Parameter ineinander verformen lassen: Homotopie ist (unter technischen Voraussetzungen) eine Äquivalenzrelation auf Abbildungen und erfasst Deformationsinvarianz statt punktweiser Gleichheit.

Demonstration

Eine Schleife ist null‑homotop, wenn sie sich zu einer stetigen Abbildung der Scheibe fortsetzen lässt; etwa ist jede Schleife in R^n null‑homotop durch radiale Kontraktion, während eine Schleife, die eine entfernte Stelle der Ebene umkreist, dies nicht ist.

Fehlanwendung

Homotopie dort verwenden, wo Isotopie (Verformung durch Einbettungen) erforderlich ist, oder Homotopieäquivalenz mit schwächeren Begriffen wie Homologieäquivalenz verwechseln; das kann geometrische Schlüsse über Einbettungen oder differenzierbare Strukturen zerstören.

Konsequenz

Homotopie liefert Fundamental‑ und höhere Homotopiegruppen als Invarianten, stützt Obstruktionstheorie und ordnet zahlreiche Klassifikationsresultate: Homotope Abbildungen induzieren in vielen Kontexten dieselben Abbildungen auf Homotopie‑ und Kohomologiegruppen.

Umkehrung

Ersetzt man Homotopie durch Homöomorphie oder Isotopie, wird die Relation feiner (Erhalt von Punkt‑ oder Einbettungsdaten); ersetzt man sie durch Homologieäquivalenz, wird sie schwächer (verliert subtile Informationen der Homotopiegruppen).

Abgrenzung

Setzt stetige Abbildungen und eine zugrunde liegende Topologie voraus; relative Homotopie (mit fixer Teilmenge) und punktierte Homotopie (mit fixem Basispunkt) sind Varianten mit zusätzlichen Einschränkungen. Homotopie erfasst keine Phänomene, die gegenüber stetigen Deformationen starr sind, etwa glatte Isotopie‑Barrieren oder feine Torsionsdaten von Homotopiegruppen.

Semantische Spannung

Spannung zwischen Homotopie und Isotopie bzw. Diffeotopie: Homotopie erlaubt Selbstüberschneidungen und beliebige stetige Deformationen, Isotopie nicht. Auch besteht eine Spannung zwischen homotopie‑basierter Intuition und algebraischen Invarianten wie Homologie, die unterschiedliche Aspekte erfassen.

Synthese

Homotopie ist die formale Idee stetiger Verformung zwischen Abbildungen: sie identifiziert Abbildungen, die kontinuierlich ineinander überführt werden können, liefert fundamentale algebraische Invarianten und Klassifikationsinstrumente, unterscheidet sich aber klar von stärkeren geometrischen Äquivalenzen wie Isotopie.