Eine bijektive glatte Abbildung zwischen differenzierbaren Mannigfaltigkeiten, deren Umkehrabbildung ebenfalls glatt ist; sie stellt eine Äquivalenz der glatten Struktur her und erhält differenzierbare Karten, Ableitungen und glatte Tensoren.

Prinzip

Zwei differenzierbare Mannigfaltigkeiten gelten in der glatten Kategorie als gleich, wenn eine glatte Bijektion mit glatter Umkehrabbildung zwischen ihnen existiert, wodurch differenzierbare Strukturen und berechnungsbasierte Eigenschaften über die Abbildung korrespondieren.

Demonstration

Ein einfaches Beispiel ist die Exponentialabbildung exp: R → (0,∞), die eine glatte Bijektion mit glatter Umkehrabbildung log ist; somit sind R und (0,∞) diffeomorph zueinander als eindimensionale glatte Mannigfaltigkeiten.

Fehlanwendung

Zu glauben, ein Homöomorphismus oder eine stetige Bijektion zwischen Mannigfaltigkeiten sei automatisch diffeomorph, verkennt die Glattheit: es gibt homöomorphe Mannigfaltigkeiten, die keine glatte Bijektion mit glatter Umkehrabbildung besitzen (Phänomene exotischer glatter Strukturen in höheren Dimensionen).

Konsequenz

Ein Diffeomorphismus erlaubt den Transfer differenzialgeometrischer Strukturen: glatte Vektorfelder, Differentialformen, mit einer Metrik verträgliche Konstruktionen (falls eine Metrik transportiert wird) und lokale, auf Ableitungen beruhende Argumente lassen sich exakt übertragen.

Umkehrung

Ein nicht glatter Homöomorphismus (oder einer mit nicht glatter Umkehrabbildung) trennt topologische Äquivalenz von glatter Äquivalenz und zeigt, dass differenzielle Eigenschaften trotz topologischer Identität nicht erhalten bleiben müssen.

Abgrenzung

Diffeomorphismus ist nur in der differenzierbaren Kategorie sinnvoll; er schließt rein topologische oder rein metrische Äquivalenzen aus und verlangt kompatible glatte Atlanten auf den beteiligten Mannigfaltigkeiten.

Semantische Spannung

Diffeomorphismus steht im Spannungsfeld zu analytischen bzw. reell-analytischen Isomorphismen und zu topologischen Begriffen: die Frage ist, ob man unendlich differenzierbare Struktur, analytische Struktur oder nur die Topologie bewahren will.

Synthese

Ein Diffeomorphismus ist eine glatte Bijektion mit glatter Umkehrabbildung, die differenzierbare Mannigfaltigkeiten durch Erhalt ihrer auf dem Kalkül beruhenden Strukturen gleichsetzt.