Diffeomorph

In der Mathematik, insbesondere in den Gebieten Analysis, Differentialgeometrie und Differentialtopologie, ist ein Diffeomorphismus eine bijektive stetig differenzierbare Abbildung, deren Umkehrabbildung auch stetig differenzierbar ist.

Dabei können die Definitions- und Zielbereiche der Abbildung offene Mengen des endlichdimensionalen reellen Vektorraums $\R^n$ sein oder allgemeiner differenzierbare Mannigfaltigkeiten. Je nach Differenzierbarkeitsklasse spricht man von C^k-Diffeomorphismen ($k \in \{1,2,\dots,\infty,\omega\}$).

Bild eines rechtwinkligen Netzes auf einem Quadrat unter einem Diffeomorphismus vom Quadrat auf sich selbst.

Definition

Im Vektorraum

Eine Abbildung $f : U \to V$ zwischen offenen Teilmengen U,V des reellen Vektorraums $\R^n$ heißt Diffeomorphismus falls sie bijektiv ist und sowohl f als auch die Umkehrabbildung f ^{− 1} überall stetig differenzierbar sind.

Sind f und f ^{− 1} sogar k-mal stetig differenzierbar („von der Klasse C^k“, $k =1, 2, 3, \dots$) so nennt man f einen C^k-Diffeomorphismus. Sind f und f ^{− 1} unendlich oft differenzierbar („von der Klasse $C^\infty$“), so bezeichnet man f als $C^\infty$-Diffeomorphismus, sind f und f ^{− 1} beide reell-analytisch („von der Klasse C^ω“) so nennt man f einen C^ω-Diffeomorphismus.

Eine Abbildung $f : U \to V$ zwischen offenen Teilmengen $U, V \subset \R^n$ heißt lokaler Diffeomorphismus, falls jeder Punkt $p \in U$ eine offene Umgebung $W \subset U$ besitzt, so dass deren Bild $f(W)\subset V$ offen und die Einschränkung $f|_W: W \to f(W)$ von f auf W ein Diffeomorphismus ist.

Auf differenzierbaren Mannigfaltigkeiten

Auf differenzierbaren Mannigfaltigkeiten wird der Begriff genau analog definiert:

Eine Abbildung $f : M \to N$ zwischen zwei differenzierbaren Mannigfaltigkeiten M und N heißt Diffeomorphismus falls sie bijektiv ist und sowohl f als auch die Umkehrabbildung stetig differenzierbar sind. Wie oben werden die Begriffe C^k-, $C^\infty$- und C^ω-Diffeomorphismus und lokaler Diffeomorphismus definiert.

Zwei Mannigfaltigkeiten M und N heißen diffeomorph, falls es einen Diffeomorphismus f von M nach N gibt. Mannigfaltigkeiten, die diffeomorph sind, unterscheiden sich bezüglich ihrer differenzierbaren Struktur nicht.

Eigenschaften

• Ein Diffeomorphismus ist immer auch ein Homöomorphismus, die Umkehrung gilt aber nicht.

• Aus der Differenzierbarkeit der Umkehrabbildung folgt, dass in jedem Punkt p die Ableitung von f (als lineare Abbildung von $\R^n$ nach $\R^n$ bzw. vom Tangentialraum T_pM nach T_f(p)N) invertierbar (bijektiv, regulär, von maximalem Rang) ist.

• Ist umgekehrt die Abbildung f bijektiv und (k-mal) stetig differenzierbar und ist ihre Ableitung an jeder Stelle invertierbar, so ist f ein (C^k)-Diffeomorphismus.

Eine stärkere Aussage enthält der Satz über die Umkehrabbildung:

Satz über die Umkehrabbildung

Eine differenzierbare Abbildung mit invertierbarem Differential ist lokal ein Diffeomorphismus.

Genauere Formulierung:

Sei $f : U \to V$ stetig differenzierbar und die Ableitung von f sei an der Stelle $p \in U$ invertierbar. Dann existiert eine offene Umgebung W von p in U, so dass f(W) offen und die Einschränkung $f|_W : W \to f(W)$ ein Diffeomorphismus ist.

Die Aussage gilt sowohl für Abbildungen zwischen offenen Mengen des $\R^n$ als auch für Abbildungen zwischen Mannigfaltigkeiten.

Beispiele

• Die Abbildung $f: (-1,1) \to \mathbb{R}$, wobei $f(t) = \tan\left(t \cdot \pi /2\right)$, ist ein Diffeomorphismus zwischen der offenen Menge (-1,1) und der Menge der reellen Zahlen $\mathbb{R}$. Damit ist das offene Intervall (-1,1) diffeomorph zu $\mathbb{R}$.
• Die Abbildung $f : \mathbb{R} \to \mathbb{R}$, f(x) = x³, ist bijektiv und differenzierbar. Sie ist aber kein Diffeomorphismus, denn f ^{− 1} ist an der Stelle 0 nicht differenzierbar.

Diffeomorphie und Homöomorphie

Bei differenzierbaren Mannigfaltigkeiten in Dimension kleiner 4 impliziert Homöomorphie immer Diffeomorphie: Zwei differenzierbare Mannigfaltigkeiten der Dimension kleiner oder gleich 3, die homöomorph sind, sind auch diffeomorph. D. h., wenn es einen Homöomorphismus gibt, dann gibt es auch einen Diffeomorphismus. Dies bedeutet nicht, dass jeder Homöomorphismus ein Diffeomorphismus wäre.

In höheren Dimensionen ist dies nicht mehr unbedingt der Fall.

Ein prominentes Beispiel ist die Milnor-Sphäre, nach John Willard Milnor: Sie ist homöomorph zur normalen 7-dimensionalen Sphäre, aber nicht diffeomorph.

Literatur

• K. Jänich: Vektoranalysis, Springer Verlag, 5. Aufl., 2005, ISBN 3-5402-3741-0
• D.K. Arrowsmith, C.M. Place: An Introduction to Dynamical Systems, Cambridge University Press.