Kurs:Analysis (Osnabrück 2014-2016)/Teil III/Vorlesung 76

Der Satz über implizite Abbildungen und Mannigfaltigkeiten

Die Einheitssphäre, die wir in der letzten Vorlesung als ein motivierendes Beispiel einer Mannigfaltigkeit besprochen haben, ist die Faser zur differenzierbaren Abbildung

${ℝ}^3⟶ℝ,(x,y,z)⟼x^2+y^2+z^2,$

über $1$. Diese Abbildung ist mit Ausnahme des Nullpunkts regulär. Der Satz über implizite Abbildungen macht in dieser Situation weitreichende Aussagen über die lokale Gestalt der Faser zu einer Abbildung $\phi :{ℝ}^n\to {ℝ}^m$, nämlich, dass es lokal Homöomorphismen zwischen der Faser in einem regulären Punkt und einer offenen Menge des ${ℝ}^k$ gibt, wobei $k$ die Differenz zwischen der Dimension des Ausgangsraumes und der Dimension des Zielraumes ist. Wir werden gleich sehen, dass solche Fasern nicht nur topologische Mannigfaltigkeiten, sondern auch differenzierbare Mannigfaltigkeiten sind. Wir formulieren den Satz über implizite Abbildungen in einer Version, aus der sich ablesen lässt, dass die regulären Fasern differenzierbare Mannigfaltigkeiten sind.

Satz

Es sei  $G\subseteq {ℝ}^n$  offen und sei

$\phi :G⟶{ℝ}^m$

eine stetig differenzierbare Abbildung. Es sei  $Z={\phi }^{-1}(0)$  die Faser über  $0\in {ℝ}^m$,  und $\phi$ sei in jedem Punkt der Faser regulär.

Dann gibt es zu jedem Punkt  $P\in Z$  eine offene Umgebung  $P\in W\subseteq G$,  offene Mengen  $V\subseteq {ℝ}^{n-m}$  und  $V^{\prime }\subseteq {ℝ}^m$,  und einen $C^1$-Diffeomorphismus

$\theta :W⟶V\times V^{\prime }$

mit  $\phi {\mid }_W=p_2\circ \theta$,  der eine Bijektion zwischen $Z\cap W$ und $V\times \{0\}$ induziert, und so, dass das totale Differential ${\left(D\theta \right)}_Q$ für jedes  $Q\in W$  eine Bijektion zwischen $\mathrm{kern}{\left(D\phi \right)}_Q$ und ${ℝ}^{n-m}$ stiftet.

Beweis

Diese Aussage wurde im Beweis des Satzes über implizite Abbildungen mitbewiesen. Der Zusatz ergibt sich aus

$\mathrm{kern}{\left(D\phi \right)}_Q\cong \mathrm{kern}{\left(D{p}_2\right)}_{\theta (Q)}={ℝ}^{n-m}.$

$◻$

Für die Faser selbst ergibt sich daraus die Struktur einer Mannigfaltigkeit. Der Satz über implizite Abbildungen beschert uns also mit einer riesigen Klasse von Mannigfaltigkeiten. Es handelt sich dabei um sogenannte abgeschlossene Untermannigfaltigkeiten, die wir bald, wenn wir Tangentialräume zur Verfügung haben, systematischer behandeln werden.

Satz

Es sei  $G\subseteq {ℝ}^n$  offen und sei

$\phi :G⟶{ℝ}^m$

eine stetig differenzierbare Abbildung. Es sei  $Z={\phi }^{-1}(Q)$  die Faser über einem Punkt  $Q\in {ℝ}^m$.  Das totale Differential ${\left(D\phi \right)}_P$ sei surjektiv für jeden Punkt  $P\in Z$. 

Dann ist $Z$ eine differenzierbare Mannigfaltigkeit der Dimension $n-m$.

Beweis

Wir setzen  $Q=0$.  Aufgrund von Satz 76.1 gibt es zu jedem Punkt  $P\in Z$  eine offene Umgebung  $P\in W\subseteq G$  und einen $C^1$-Diffeomorphismus

$\theta :W⟶V\times V^{\prime }$

mit offenen Mengen $V\subseteq {ℝ}^{n-m}$ und $V^{\prime }\subseteq {ℝ}^m$ derart, dass $\theta$ eine Bijektion zwischen $Z\cap W$ und  $V\times \{0\}\cong V$  induziert. Die Einschränkungen dieser Diffeomorphismen auf $Z\cap W$ bzw. $V$ nehmen wir als Karten für $Z$. Zum Nachweis, dass dies eine differenzierbare Struktur auf $Z$ definiert, seien offene Umgebungen (im ${ℝ}^n$) $W_1$ und $W_2$ von  $P\in Z$  gegeben zusammen mit Diffeomorphismen

${\theta }_1:W_1⟶V_1\times {V_1}^{\prime }$

und

${\theta }_2:W_2⟶V_2\times {V_2}^{\prime }.$

Durch Übergang zu  $W=W_1\cap W_2$  können wir annehmen, dass beide offenen Mengen gleich sind. Die Übergangsabbildung ${\theta }_2\circ {\theta }_1^{-1}$ ist ein $C^1$-Diffeomorphismus zwischen (offenen Teilmengen von) $V_1\times {V_1}^{\prime }$ und $V_2\times {V_2}^{\prime }$, der $V_1\times \{0\}$ in $V_2\times \{0\}$ überführt. Daher ist nach Aufgabe 52.23 auch die auf diese Teilmengen eingeschränkte Übergangsabbildung ein $C^1$-Diffeomorphismus (zwischen offenen Teilmengen des ${ℝ}^{n-m}$).

$◻$

Differenzierbare Abbildungen

Definition

Es seien $L$ und $M$ zwei $C^k$-Mannigfaltigkeiten mit Atlanten $(U_i,{U_i}^{\prime },{\alpha }_i,i\in I)$ und $(V_j,{V_j}^{\prime },{\beta }_j,j\in J)$. Es sei  $1\le \ell \le k$.  Eine stetige Abbildung

$\phi :L⟶M$

heißt eine $C^{\ell }$-differenzierbare Abbildung, wenn für alle $i\in I$ und alle $j\in J$ die Abbildungen

${\beta }_j\circ \phi \circ ({\alpha }_i{)}^{-1}:{\alpha }_i({\phi }^{-1}(V_j)\cap U_i)⟶{V_j}^{\prime }$

$C^{\ell }$-differenzierbar sind.

Da die ${\alpha }_i({\phi }^{-1}(V_j)\cap U_i)$ offen sind, ist durch diese Definition der Differenzierbarkeitsbegriff für Abbildungen zwischen Mannigfaltigkeiten auf den Differenzierbarkeitsbegriff von Abbildungen zwischen offenen Mengen in reellen Vektorräumen zurückgeführt. Da man eine $C^k$-Mannigfaltigkeit als eine $C^{\ell }$-Mannigfaltigkeit für  $\ell \le k$  auffassen kann, genügt es im Wesentlichen, von $C^k$-Abbildungen zwischen $C^k$-Mannigfaltigkeiten zu sprechen. Wichtig sind insbesondere die Fälle $k=1,2,\mathrm{\infty }$. Man beachte, dass wir bei  $k=1$  von einer differenzierbaren Abbildung sprechen, ohne dass es (bisher) eine „Ableitung“ gibt.

Proposition

Es seien $L,M$ und $N$ $C^k$-Mannigfaltigkeiten. Dann gelten folgende Aussagen.

1. Die Identität

   $\mathrm{Id}:L⟶L$

   ist eine $C^k$-Abbildung.

2. Jede konstante Abbildung

   $\phi :L⟶M$

   ist eine $C^k$-Abbildung.

3. Für jede offene Teilmenge  $U\subseteq L$  ist die offene Einbettung $U\to L$ eine $C^k$-Abbildung.
4. Es seien

   $\phi :L⟶M$

   und

   $\psi :M⟶N$

   $C^k$-Abbildungen. Dann ist auch die Hintereinanderschaltung

   $\psi \circ \phi :L⟶N$

   eine $C^k$-Abbildung.

Beweis

(1). Die zu überprüfenden Abbildungen sind genau die Kartenwechsel ${\alpha }_j\circ {\alpha }_i^{-1}$, die nach Definition einer $C^k$-differenzierbaren Mannigfaltigkeit $C^k$-Diffeomorphismen sind.
(2). Die zu überprüfenden Abbildungen sind bezüglich jeder Karte konstant, also beliebig oft differenzierbar.
(3). Die zu überprüfenden Abbildungen zu  $i,j\in I$  sind gleich

${\alpha }_i(U\cap U_i\cap U_j)\subseteq {\alpha }_i(U_i\cap U_j)\stackrel{{\alpha }_j\circ {\alpha }_i^{-1}}{⟶}U{\text{'}}_j,$

also eine offene Einbettung gefolgt von einem differenzierbaren Kartenwechsel.
(4). Es seien

${\gamma }_{\ell }:W_{\ell }⟶W{\text{'}}_{\ell }$

die Karten für $N$. Dann sind für alle möglichen Indexkombinationen die (auf gewissen offenen Teilmengen eingeschränkten) Hintereinanderschaltungen

${\gamma }_{\ell }\circ (\psi \circ \phi )\circ {\alpha }_i^{-1}={\gamma }_{\ell }\circ \psi \circ {\beta }_j^{-1}\circ {\beta }_j\circ \phi \circ {\alpha }_i^{-1}=({\gamma }_{\ell }\circ \psi \circ {\beta }_j^{-1})\circ ({\beta }_j\circ \phi \circ {\alpha }_i^{-1})$

nach der Kettenregel differenzierbar. Bei  $k\ge 2$  verwendet man Aufgabe 46.9.

$◻$

Definition

Es seien $L$ und $M$ zwei $C^k$-Mannigfaltigkeiten. Ein Homöomorphismus

$\phi :L⟶M$

heißt ein $C^k$-Diffeomorphismus, wenn sowohl $\phi$ als auch ${\phi }^{-1}$ $C^k$-Abbildungen sind.

Definition

Zwei $C^k$-Mannigfaltigkeiten $L$ und $M$ heißen $C^k$-diffeomorph, wenn es zwischen ihnen einen $C^k$-Diffeomorphismus gibt.

Bemerkung  

Zu einer $C^k$-Mannigfaltigkeit $M$ mit einem $C^k$-Atlas $(U_i,{U_i}^{\prime },{\alpha }_i,i\in I)$ gibt es einen maximalen Atlas, der mit der durch den Atlas gegebenen differenzierbaren Struktur verträglich ist. Er besteht aus der Menge aller Homöomorphismen

$\beta :U⟶V$

mit offenen Mengen  $U\subseteq M$  und  $V\subseteq {ℝ}^n$  mit der Eigenschaft, dass diese Abbildungen $C^k$-Abbildungen (bezüglich der durch den Atlas gegebenen Struktur) sind. Dieser maximale Atlas enthält natürlich den Ausgangsatlas, ist aber im Allgemeinen bei weitem größer. Beispielsweise enthält er zu jeder Karte $\beta :U\to V$ und jeder offenen Teilmenge  $U^{\prime }\subseteq U$  auch die auf $U^{\prime }$ eingeschränkte Kartenabbildung. Wichtig ist, dass die identische Abbildung

$\mathrm{Id}:(M,A)⟶(M,B),$

wobei $A$ den Ausgangsatlas und $B$ den maximalen Atlas bezeichnet, ein $C^k$-Diffeomorphismus von Mannigfaltigkeiten ist, wie unmittelbar aus der Definition folgt. Wichtiger als der Atlas ist die durch ihn vertretene differenzierbare Struktur auf der Mannigfaltigkeit, die festlegt, welche Abbildungen differenzierbar und welche Diffeomorphismen sind. Die Karten des maximalen Atlas werden manchmal auch (verallgemeinerte) Karten der Mannigfaltigkeit genannt.

Differenzierbare Funktionen

Eine $C^k$-differenzierbare Abbildung

$f:M⟶ℝ$

von einer differenzierbaren Mannigfaltigkeit in die reellen Zahlen nennt man auch eine $C^k$-differenzierbare Funktion. Nach Definition bedeutet das einfach, dass für jede Karte

$\alpha :U⟶V$

die zusammengesetzte Funktion

$f\circ {\alpha }^{-1}:V⟶ℝ$

eine $C^k$-Funktion ist. Die Menge aller $C^k$-Funktionen auf $M$ wird mit $C^k(M,ℝ)$ bezeichnet.

Lemma

Es sei $M$ eine differenzierbare Mannigfaltigkeit und

$f,g:M⟶ℝ$

differenzierbare Funktionen auf $M$. Dann gelten die folgenden Aussagen.

1. Die Abbildung

   $f\times g:M⟶{ℝ}^2,x⟼(f(x),g(x)),$

   ist differenzierbar.
2. $f+g$ ist differenzierbar.
3. $f\cdot g$ ist differenzierbar.
4. Wenn $f$ keine Nullstelle besitzt, so ist auch $f^{-1}$ differenzierbar.

Beweis

Siehe Aufgabe 76.3.

$◻$

Insbesondere bilden die differenzierbaren Funktionen auf einer Mannigfaltigkeit einen kommutativen Ring.

Wenn

$\alpha :U⟶V$

eine Karte ist mit  $V\subseteq {ℝ}^n$  offen, so liefert jede Projektion $x_i$ eine differenzierbare Funktion

$x_i\circ \alpha :U⟶ℝ,$

die meistens wieder mit $x_i$ bezeichnet wird. Man sagt dann, dass die Funktionen $x_1,\dots ,x_n$ differenzierbare Koordinaten für  $U\subseteq M$  bilden. Für eine stetig differenzierbare Funktion

$f:U⟶ℝ$

ist nach Definition die Funktion

$f\circ {\alpha }^{-1}:V⟶ℝ$

stetig differenzierbar, d.h. für jedes $i$ existieren die partiellen Ableitungen

$\frac{\partial (f\circ {\alpha }^{-1})}{\partial x_i},$

die wiederum (stetige) Funktionen auf $V$ sind. Daher sind

$\frac{\partial (f\circ {\alpha }^{-1})}{\partial x_i}\circ \alpha$

Funktionen auf $U$. Diese werden im Allgemeinen einfach wieder mit $\frac{\partial f}{\partial x_i}$ bezeichnet.

<< | Kurs:Analysis (Osnabrück 2014-2016)/Teil III | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)