Beruflich Dokumente
Kultur Dokumente
Differentialgeometrie
Daniel Grieser
Skript zur Vorlesung im Wintersemester 2008/2009
berarbeitet 2013
Einleitung
Dies ist das Skript zur Vorlesung Differentialgeometrie, die ich im erstmalig Wintersemester 2008/2009
an der Universitt Oldenburg gehalten habe. Dies ist eine erste Einfhrung in die Differentialgeometrie.
Sie richtet sich an Hrerinnen und Hrer etwa ab dem fnften Studiensemester.
Worum geht es in der Differentialgeometrie? Geometrie ist das Studium von Figuren. Z.B. kennt man
aus der Schule die Geometrie der Dreiecke, Vierecke oder Kreise, aus der linearen Algebra die Geometrie
der Geraden, Ebenen, allgemeiner der linearen oder affinen Unterrume eines Vektorraums. Die in der
Differentialgeometrie untersuchten Figuren sind, allgemein gesprochen, Riemannsche Mannigfaltigkeiten.
Die wichtigsten Exemplare hiervon sind zunchst die Kurven in der Ebene oder im Raum, dann die (mglicherweise gekrmmten) Flchen im Raum, dann deren hherdimensionale Verallgemeinerungen, d.h.
die Untermannigfaltigkeiten des Rn . Der Begriff Riemannsche Mannigfaltigkeit ist dann eine Abstraktion, welche die fr die Geometrie (genauer die innere Geometrie, siehe unten) wesentlichen Eigenschaften
dieser Untermannigfaltigkeiten erfasst und die unwesentlichen weglsst.
Hier sind einige Fragen, auf die wir in der Vorlesung Antworten finden werden.
(1) Was bedeutet Krmmung? Zumindest fr Kurven hat man eine anschaulichen Vorstellung davon,
was stark oder weniger stark gekrmmt bedeutet. Fr Flchen wird es komplizierter, da sie in verschiedenen Richtungen verschieden stark gekrmmt sein knnen, z.B. ist der Zylinder (womit die
Zylinderoberflche ohne oberen und unteren Deckel gemeint sei) entlang einem Querschnittskreis
gekrmmt, nicht aber entlang einer Mantellinie.
Wie fasst man das mathematisch? Das heit, wie kann man Krmmung quantifizieren? Wie berechnet man die Krmmung fr die verschiedenen Arten, auf die eine Kurve oder Flche gegeben sein
kann (als Graph oder mittels einer Parametrisierung oder als Niveaumenge)?
(2) Kartographen wissen seit Jahrhunderten, dass es unmglich ist, verzerrungsfreie Landkarten von
der Erde (oder auch nur von beliebigen Teilgebieten der Erde) zu zeichnen. Verzerrungsfrei heit
hierbei, dass alle Lngen in derselben Proportion korrekt wiedergegebenen werden, und eine Landkarte soll natrlich auf einem Blatt Papier, also einem Gebiet in der Ebene, gezeichnet sein.
Fr Gebiete auf einem Zylinder gibt es dagegen verzerrungsfreie Landkarten (zumindest fr solche
Gebiete, die gengend klein sind, z.B. eine feste Mantellinie nicht treffen).
Was macht den Unterschied zwischen Sphre (= Erdoberflche) und Zylinder? Wie sieht man einer
beliebigen Flche an, ob sie verzerrungsfreie Landkarten zulsst?
(3) Wie bestimmt man die krzeste Verbindungslinie zweier Punkte auf einer gegebenen Flche, die
ganz innerhalb der Flche verluft?
(4) Was ist der gekrmmte Raum, der zentrale Begriff der allgemeinen Relativittstheorie, den wohl
jeder schon einmal gehrt hat?
Die Krmmung ist der zentrale Begriff der Differentialgeometrie. Wie wir sehen werden, bildet die
Krmmung auch den Schlssel zu Frage 2) jedoch nicht die volle Krmmungsinformation der Flche,
sondern nur ein Teil davon, die sogenannte Gau-Krmmung.
Das vorliegende Skript gliedert sich in drei Teile: Kurven (Kapitel 1), Flchen (Kapitel 2 und 3) und
Riemannsche Mannigfaltigkeiten (Kapitel 4). Bei den Kurven und Flchen nehmen wir meist an, dass
sie in der Ebene (Kurven) oder im dreidimensionalen Raum (Kurven oder Flchen) liegen, daher ist dieser Teil sehr anschaulich. Diese Theorie wird oft als Elementare Differentialgeometrie bezeichnet. Vieles
hiervon lsst sich leicht auf Kurven im Rn und auf allgemeine Hyperflchen (also (n 1)-dimensionale
Untermannigfaltigkeiten des Rn ) verallgemeinern. Die Theorie der Riemannschen Mannigfaltigkeiten, oft
Hhere Differentialgeometrie genannt, braucht man z.B. zur Beantwortung der Frage 4), und sie stellt
auch die Basis fr die Verbindung zu anderen Teilen der Mathematik, z.B. der Theorie der Lie-Gruppen
(eine spannende Verbindung zur Algebra) her. Im Prinzip ist es mglich, direkt mit der hheren Differentialgeometrie anzufangen. Ich halte das jedoch fr wenig sinnvoll, da viele dort eingefhrte Begriffe
durch die berlegungen fr Kurven und Flchen erst motiviert sind.
Die Theorie der Flchen gliedert sich in zwei Teile. Im ersten Teil berlegen wir uns, wie wir sinnvoll
einen Krmmungsbegriff definieren knnen. Hier gibt es mehrere quivalente Antworten, die sich aus
verschiedenen anschaulichen berlegungen ergeben. Notwendigerweise beziehen sich diese Begriffe auf
die Lage der Flche im Raum, z.B. darauf, wie sich der Normalenvektor von Punkt zu Punkt ndert.
Im zweiten Teil fragen wir uns, welche Eigenschaften einer Flche ein Flachlnder bestimmen kann,
also ein Wesen, das ganz in der Flche lebt und nicht aus ihr heraussehen kann. Zum Beispiel kann ein
Flachlnder nicht unterscheiden, ob er in einem ebenen Blatt Papier oder in einem zu einem Halbzylinder
gekrmmten Blatt Papier lebt. berraschenderweise kann er aber unterscheiden, ob er auf einem Stck
einer Sphre oder einem Stck der Ebene lebt! Diese berlegungen fhren zu einem der zentralen Stze
der elementaren Differentialgeometrie, dem Theorema Egregium (Herausragendes Theorem) von Gau,
das unter anderem eine vollstndige Beantwortung der Frage 2) erlaubt.
Der zweite Teil der Flchentheorie, die innere Geometrie der Flchen, bildet die Brcke zur hheren
Differentialgeometrie. Dort geht es im Wesentlichen darum, die Erkenntnisse der inneren Flchentheorie
auf beliebige Dimensionen zu verallgemeinern.
Zusammenfassungen der Inhalte der einzelnen Kapitel finden sich in deren Einleitungen.
Es ist ein fundamentaler Zug der Differentialgeometrie, dass sie eine geometrische und eine rechnerische Seite hat. Die Formeln werden teils recht kompliziert, und man braucht etwas bung, um mit ihnen
umzugehen. Gleichzeitig sollte man sich immer daran erinnern, dass sie geometrische Bedeutung haben,
und diese bersetzung Formel Geometrie klar herauszustellen ist ein zentrales Ziel dieser Vorlesung.
Die Figuren der Differentialgeometrie, also die Mannigfaltigkeiten, sind glatt, drfen also keine Ecken,
Kanten oder sonstige Singularitten haben. Dies mag zunchst als bedauerliche Einschrnkung erscheinen. Jedoch sei erwhnt, dass das Studium von allgemeineren Figuren, die solche Singularitten haben
drfen (manchmal singulre Rume genannt), auch seinen Platz in der Mathematik hat und ein aktuelles Forschungsgebiet ist. Eine spezielle Klasse solcher singulrer Rume sind die algebraischen Varietten,
die in der algebraischen Geometrie untersucht werden (das sind im Wesentlichen die Nullstellenmengen
mehrerer Polynome im Rn oder Cn ).
Vorausgesetzte Kenntnisse: Vorausgesetzt werden gute Kenntnisse in Analysis I-III sowie in Linearer Algebra. Vielerorts, so auch in Oldenburg, wird der Begriff der Untermannigfaltigkeit des Rn in Analysis II
oder III eingefhrt. Daher werden hier zwar die bentigten grundlegenden Definitionen und Stze ber
diese formuliert und einige Beispiele gegeben, aber nicht alles im Detail bewiesen (z.B. wie der Satz ber
implizite Funktionen verwendet wird, um nachzuweisen, dass eine Niveaumenge eine Untermannigfaltigkeit ist).
Dieses Skript entstand mit der Mithilfe von Christina Delfs und Stefan Grahl. Vielen Dank!
Oldenburg, den 1. Oktober 2009
Daniel Grieser
Inhaltsverzeichnis
I. Kurven im Rn
I.1. Grundbegriffe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
19
RN
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
24
29
31
31
Die Weingartenabbildung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
34
37
39
40
43
III.1. Isometrien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
47
53
57
68
79
80
Topologie auf M . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
80
83
84
Lineare Struktur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
Koordinatenwechsel fr Tangentialvektoren . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
Kurven . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
IV.3. Vektorfelder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
96
97
Pull-back . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
Die Lie-Ableitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
IV.4. 1-Formen und Tensoren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
IV.5. Riemannsche Mannigfaltigkeiten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
Inhaltsverzeichnis
IV.6. Kovariante Ableitungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
IV.7. Der Riemannsche Krmmungstensor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
I. Kurven im Rn
Die Kurven bilden die Basis fr alles Folgende. Nach einfhrenden berlegungen zu Bogenlnge und
Parametrisierungen einer Kurve lernen wir den Begriff Krmmung kennen. Hierbei gibt es einen Unterschied zwischen Kurven in der Ebene und Kurven im Raum: Bei Kurven in der Ebene kann die Krmmung positiv oder negativ sein, whrend die Krmmung einer Kurve im Raum immer als 0 definiert
ist. Dies liegt daran, dass man in der Ebene einen Begriff von nach links gekrmmt oder nach rechts
gekrmmt hat, whrend es im Raum keinen sinnvollen analogen Begriff gibt. Fr Kurven im dreidimensionalen Raum fhren wir dann die Torsion ein, die zustzliche Information ber den Kurvenverlauf gibt.
Krmmung und Torsion knnen entlang der Kurve variieren, sind also Funktionen auf dem Parameterintervall. Die fundamentale Bedeutung dieser Funktionen zeigt der Hauptsatz der Kurventheorie, der
besagt, dass diese Funktionen die vollstndige Information ber die Kurve enthalten (bis auf starre Bewegungen der ganzen Kurve). Fr ebene Kurven gibt es keine Torsion, da reicht die Krmmungsfunktion.
Fr den vollstndigen Beweis dieses Satzes ist es sinnvoll, zunchst einige Grundbegriffe ber hherdimensionale Mannigfaltigkeiten kennenzulernen, daher wird er erst im zweiten Kapitel beendet.
I.1. Grundbegriffe
Die Mathematische Beschreibung von Kurven ist auf unterschiedliche Weise mglich:
B
mittels einer Parametrisierung - das hat den Schnheitsfehler, dass es viele Parametrisierungen gibt.
Es wird ausgezeichnete Parametrisierungen geben, die nach Bogenlnge. Zunchst wollen wir aber
ein paar Grundbegriffe einfhren.
I.1.1 Definition
a) Eine parametrisierte Kurve ist eine glatte Abbildung c : I Rn , wobei I R ein Intervall
ist. Glatt heit dabei unendlich oft differenzierbar (C ).
b) c heit regulr , wenn fr alle t I gilt c(t) :=
dc(t)
dt
I. Kurven im Rn
b) c(t) = (cos t, sin t) beschreibt einen Kreis mit Radius 1. Sie ist regulr, da c(t) = ( sin t, cos t) fr
kein t in beiden Koordinaten gleichzeitig null werden kann. Fr I = [0, 2 ] wird der Kreis einmal
durchlaufen, fr I = R unendlich oft. Daher werden die Kurven mit I = R oder mit I = [0, 2 ] als
unterschiedliche Kurven betrachtet, obwohl sie dasselbe Bild haben.
c) c(t) = (t2 , t3 ) beschreibt die sogenannte Neilsche Parabel. Es gilt
y(t) =
x (t)3/2
falls t 0
x (t)3/2
falls t 0.
Beachte: Das Bild von c hat eine Spitze bei t = 0. Es gilt c = (2t, 3t2 ) = 0 fr t = 0, also ist c in
diesem Punkt nicht regulr.
d) Eine parametrisierte Kurve kann sich selber schneiden, so dass c(t0 ) = c(t1 ) gilt. Dabei ist aber im
Allgemeinen nicht c(t0 ) = c(t1 ), die Tangentialvektoren knnen in verschiedene Richtungen zeigen.
Wir interessieren uns oft nur fr das Bild einer parametrisierten Kurve, aber wie am Beispiel des Kreises
gesehen knnen viele parametrisierte Kurven das gleiche Bild haben. Allerdings knnen sie oft ineinander
berfhrt werden.
I.1.2 Definition
Sei c : I Rn eine parametrisierte Kurve. Eine Umparametrisierung von c ist dann eine Kurve
ce : J Rn der Form ce = c , wobei : J I eine bijektive Abbildung ist und , 1 glatt sind.
Ein solches heit Parametertransformation .
Beispiel: Sei (t) = 2t. Dann ist fr eine Kurve c die Umparametrisierung ce mit ce(t0 ) = c(2t0 ) dieselbe
Kurve, aber mit doppelter Geschwindigkeit durchlaufen.
Bemerkung:
B
Wenn ce eine Umparametrisierung von c ist, dann ist Bild ce = Bild c. Die Umkehrung gilt im Allgemeinen nicht.
( a) b) folgt aus der Kettenregel, b) a) aus dem Satz ber die Umkehrabbildung. )
B
Wenn J das Definitionsintervall von ist und 0 (t) 6= 0 t J, dann gilt aufgrund des Zwischenwertsatzes fr 0 bereits 0 (t) > 0 t J oder 0 (t) < 0 t J. Im ersten Fall heit
orientierungserhaltend , andernfalls orientierungsumkehrend . Beispielsweise ist (t) = t eine
orientierungsumkehrende Parametertransformation.
I.1.3 Definition
B
Eine Kurve ist eine quivalenzklasse von parametrisierten Kurven, wobei c und ce quivalent heien, wenn ce eine Umparametrisierung von c ist.
Eine orientierte Kurve ist ebenfalls eine quivalenzklasse von parametrisierten Kurven,
wobei hier c und ce quivalent heien, wenn ce eine Umparametrisierung von c mittels einer
orientierungserhaltenden Parametertransformation ist.
I.1. Grundbegriffe
Anschaulich kann man sich eine parametrisierte Kurve als die Route eines Teilchens (z.B. eines Busses),
zusammen mit einem Fahrplan, der angibt, wann sich das Teilchen wo befindet, vorstellen. Bei einer
Kurve vergisst man den Fahrplan und auch die Fahrtrichtung. Bei einer orientierten Kurve vergisst man
den Fahrplan, aber nicht die Fahrtrichtung. Diese markiert man mit einem Pfeil an der Kurve.
Wir wollen nun den Begriff der Bogenlnge einfhren.
I.1.4 Definition
Sei c : [ a, b] Rn eine parametrisierte Kurve. Die Lnge von c ist definiert als L[c] :=
Rb
kc(t)k dt.
k
P
i =1
kc(ti ) c(ti1 )k
zu setzen. Wir messen, wie gut P die Kurve approximiert, mittels der Feinheit von P, definiert durch
( P) :=
i {1,...,k}
Dann gilt:
I.1.5 Lemma
Fr alle e > 0 gibt es ein > 0, so dass fr alle Polygonzge mit
( P) <
gilt | L[ P] L[c]| < e.
Informell gesprochen: Fr ( P) 0 ist L[ P] L[c]. Das rechtfertigt die Definition von L[c].
Beweis: Nach Taylor gilt
c(ti ) = c(ti1 ) + c(ti1 )(ti ti1 ) + Ri
mit
Daraus folgt
c(ti ) c(ti1 ) = c(ti1 )(ti ti1 ) + Ri ,
also
k
X
kc(ti ) c(ti1 )k =
i =1
k
X
i =1
k
X
ri .
i =1
i =1
Zb
kc(t)k dt = L[c]
k
X
ri | M
i =1
k
X
i =1
( t i t i 1 )2 M
k
X
(ti ti1 ) = M (b a) 0,
i =1
I. Kurven im Rn
Wichtig im Beweis war, dass fr 0 automatisch die Anzahl der Teilpunkte k geht. Daher wird
die Anzahl der Summanden im Restterm
Pk
i =1 r i
gegen Null geht, liegt daran, dass k von der Ordnung 1 ist und jedes ri von der Ordnung 2 , damit ist
die Summe von der Ordnung .
I.1.6 Lemma
L[c] ist unabhngig von der Parametrisierung.
Das bedeutet, dass Lnge eine Eigenschaft von Kurven ist, nicht blo von parametrisierten Kurven.
Beweis: Die Behauptung ist unmittelbar klar wegen der Darstellung ber Polygonzge, die unabhngig
von einer Parametrisierung ist.
Bemerkung: Genau genommen ist die Darstellung nicht ganz unabhngig von der Parametrisierung,
da sie Bezug nimmt auf die Feinheit der Unterteilung des Zeitintervalls. Man muss also zeigen: Ist
: [ a0 , b0 ] [ a, b] ein Parameterwechsel, so entsprechen feine Unterteilungen von [ a0 , b0 ] feine Unterteilungen von [ a, b], genauer: Zu jedem > 0 existiert ein 0 > 0, so dass fr alle Unterteilungen
a0 = t00 < < tk = b0 mit maxi (ti0 ti01 ) < 0 gilt, dass die Bildunterteilung ti = (ti0 ) die Ungleichung
maxi (ti ti1 ) < erfllt. Dies folgt unmittelbar daraus, dass gleichmig stetig ist (bung). Da auch
die Umkehrung 1 gleichmig stetig ist, stimmt die Aussage auch andersherum.
I.1.7 Definition
c : I Rn heit nach Bogenlnge parametrisiert , falls kc(t)k = 1 fr alle t I gilt.
Bemerkung: Das ist quivalent dazu, dass fr alle t1 , t2 I mit t1 < t2 gilt
L[c|[t
Denn einerseits gilt L[c|[t
]
1 ,t2 ]
Rt2
1 ,t2 ]
Rt2
kc(t)k dt =
t1
t1
] = t2 t1 .
1 dt = t2 t1 .
Rt
t1
I.1.8 Lemma
Jede regulre Kurve kann nach Bogenlnge parametrisiert werden.
Rt
gilt, ist invertierbar. Setze ce(s) = c(1 (s)). Sei s1 < s2 , t1 = 1 (s1 ) und t2 = 1 (s2 ).
Dann ist s2 s1 = (t2 ) (t1 ) = L[c|[ a,t2 ] ] L[c|[ a,t ] ] = L[c|[t ,t2 ] ] = L[ce|[s ,s2 ] ], also ist ce eine Parame1
1
1
trisierung nach Bogenlnge.
In Kurzschreibweise setzen wir s = s(t) =
Rt
Rt
s
R
Im Folgenden werden wir bei einer allgemeinen Parametrisierung immer die Variable t und bei einer Parametrisierung nach Bogenlnge die Variable s verwenden. c = dc
dt ist der Tangentenvektor. Den
Einheitstangentenvektor
de
c
ds
Bemerkung: Man sieht leicht, dass die Parametrisierung nach Bogenlnge eindeutig ist bis auf Zeitverschiebung und Zeitumkehr; genauer: ist c nach Bogenlnge parametrisiert, so sind auch
B
nach Bogenlnge parametrisiert, und jede Bogenlngeparametrisierung ist von einer dieser Formen.
I.2.1 Definition
a) Sei c
0 1
1 0
:=
c(s) der
nannte Einheitsnormalenvektor an c in s.
N (s)
T (s)
c(s)
Offenbar ist k T (s)k = k N (s)k = 1 fr alle s I. Wir wollen nun die Krmmung einer Kurve definieren.
Anschaulich ist uns klar, was es in der Ebene bedeutet, dass eine Kurve stark oder weniger stark gekrmmt
ist.
Man knnte es als schnelle bzw. langsame Richtungsnderung auf gleicher Strecke bezeichnen. Das
wrde auch dazu passen, dass eine Gerade die Krmmung null haben sollte.
Die Krmmung in einem Punkt der Kurve setzen wir also als nderungsgeschwindigkeit des Tangentenvektors an. Dafr betrachten wir bei einer nach Bogenlnge parametrisierten Kurve c : I R2 den
dT (s)
Vektor T (s) = ds . Die Krmmung soll allerdings kein Vektor, sondern eine Zahl sein.
Eine solche erhalten wir mit Hilfe der folgenden zentralen (im Rn gltigen!) Rechnung. Wir nennen
I. Kurven im Rn
d
ds 1
=
=
=
2
d
ds k T ( s )k
d
ds h T ( s ), T ( s )i
d
d
h ds
T (s), T (s)i + h T (s), ds
T (s)i
= 2 h T (s), T (s)i
Also gilt T (s) T (s). Fr n = 2 ist auerdem auch N (s) T (s), also gibt es genau eine Zahl (s) mit
T (s) = (s) N (s).
I.2.2 Definition
Die Kurve c sei nach Bogenlnge parametrisiert. Die Krmmung von c in s ist die Zahl (s) mit
T (s) = (s) N (s). ist also eine Abbildung I R.
Man kann (s) auch mittels (s) = h T (s), N (s)i bestimmen, da aus T (s) = (s) N (s)
Sei c(s) = c0 + s v mit kvk = 1 eine nach Bogenlnge parametrisierte Gerade. Es ist T (s) = c(s) = v
und somit T (s) = 0. Also gilt (s) = 0 fr alle s.
Sei c(s) = ( R cos Rs , R sin Rs ) die Bogenlngenparametrisierung des Kreises mit Radius R. Dann ist
T (s) = ( sin Rs , cos Rs ) und T (s) = ( R1 cos Rs , R1 sin Rs ). Da auerdem nach obiger Definition
N (s) = ( cos s , sin s ) gilt, folgt daraus T (s) = 1 N (s). Also ist (s) = 1 die Krmmung fr
R
ndert man den Durchlaufsinn von c, so kehrt sich das Vorzeichen von um.
Denn sei c gegeben und ce eine Umparametrisierung von c mit ce(s) = c(s). Dann ist offensichtlich
e (s) = ce (s) = c (s) = T (s) und damit auch N
e (s) = N (s).
T
e (s) = ( T (s)) = T (s) und somit aus T (s) = (s) N (s)
Nach der Kettenregel folgt jetzt T
e (s) = (s) N (s) = (s) N
e ( s ).
sofort T
B
Wenn > 0 ist, dann ist die Kurve nach links gekrmmt, bei < 0 nach rechts. Bei einem Kreis
entspricht positive Krmmung also dem positiven Durchlaufsinn (entgegen dem Uhrzeigensinn).
f 00 (t)
det(c(t),c(t))
.
kc(t)k3
N (s)
N (s)
c(s)
c(s)
Abbildung I.3.: > 0
I.2.3 Satz
Sei : [0, b] R glatt und c0 , v R2 , kvk = 1. Dann gibt es genau eine nach Bogenlnge
parametrisierte Kurve c : [0, b] R2 mit c(0) = c0 , c(0) = v und = Krmmung von c.
Der Satz zeigt, dass die Krmmung die Kurve eindeutig festlegt (bis auf Anfangspunkt und -richtung).
Beweis: Bestimme zunchst wie in der Bemerkung vor dem Satz.
Es gilt (s) = (s) genau dann wenn (s) = (0) +
Rs
mit der x Achse bildet. Danach finde c(s) = ( x (s), y(s)) mittels c(s) = ( x (s), y (s)) = (cos (s), sin (s)).
Dies ist quivalent zu x (s) = x (0) +
Rs
Rs
( x (0), y(0)) = c0 .
Beispiel: Aus dem Satz folgt, dass Geraden und Kreise oder Teile davon die einzigen Kurven konstanter
Krmmung sind.
Der Krmmungskreis
Der Krmmungskreis an eine Kurve in einem Punkt ist der Kreis, der die Kurve dort am besten approximiert, sich am besten an sie anschmiegt. Um dies zu przisieren, brauchen wir folgenden Begriff.
I.2.4 Definition
Seien c, ce :
Fr k = 0 bedeutet dies, dass die beiden Kurven bei t0 einen Schnittpunkt haben, bei k = 1 zustzlich
die gleiche Tangente in t0 .
Bemerkung: Seien c und ce zwei parametrisierte Kurven. Dann sind quivalent:
a) c und ce sind in t0 tangential zur Ordnung k
b) kc(t) ce(t)k = O(|t t0 |k+1 )
Dies folgt aus dem Satz von Taylor (bung). Aussage b) kann man so formulieren, dass c, ce zur Ordnung
k + 1 bereinstimmen. (Also eins mehr als die Ordnung der Tangentialitt. Das Wort tangential trgt
gewissermaen eine weitere Ordnung zum bereinstimmen bei.)
I. Kurven im Rn
I.2.5 Lemma
Seien c und ce nach Bogenlnge parametrisierte Kurven. Dann gilt:
c, ce sind in s0 tangential zur Ordnung
0
1
2
(s s0 ) c(s0 ) nach Bogenlnge parametrisieren. Da eine Gerade ihre eigene Tangente ist, sind c, ce in s0
tangential zu erster Ordnung. Dies kann man auch an Taylors Formel ablesen:
c(s) = c(s0 ) + (s s0 ) c(s0 ) + O(|s s0 |2 )
Also c(s) ce(s) = O(|s s0 |2 ). Aus dem Lemma folgt auch, dass die Tangente die einzige Gerade mit
dieser Eigenschaft ist.
Mit einem Kreis kann man c noch besser approximieren:
I.2.6 Definition
Sei c eine nach Bogenlnge parametrisierte Kurve. Der Krmmungskreis an c in s0 ist der eindeutige Kreis, der c in s0 zur zweiten Ordnung berhrt. Er ist dann definiert, wenn (s0 ) 6= 0.
Damit die Definition Sinn macht, mssen wir prfen, dass es so einen Kreis gibt und dass er eindeutig ist.
Nach dem Lemma muss der Kreis dieselbe Krmmung haben wie c bei s0 , also (s0 ). Sein Radius muss
also | (1s ) | sein. Da er weiterhin durch p laufen muss und dort die Tangente c(s0 ) haben soll, gibt es nur
0
zwei Mglichkeiten fr diesen Kreis. Man berzeugt sich leicht, dass er auf der Innenseite von c liegen
muss.
Man kann den Krmmungskreis konkret angeben: Es ist der Kreis mit Radius | (1s )| um den Punkt
0
(s0 ) = c(s0 ) + (1s ) N (s0 ).
0
Beachte: Wegen der Bemerkung oben stimmt der Krmmungskreis mit c bei s0 zu dritter Ordnung
berein. Das heit, man kann ihn so als ce(s) parametrisieren, dass kc(s) ce(s)k = O(|s s0 |3 ) gilt. Zum
Vergleich: Die Tangente an c in s0 stimmt mit c nur zu zweiter Ordnung berein.
Wir erhalten also eine weitere Interpretation der Krmmung: | (s)| =
1
R,
eindeutigen Kreises ist, der c in s zu zweiter Ordnung berhrt. Falls es keinen solchen Kreis gibt, ist
(s) = 0.
Bemerkung: Sind c, ce zwei regulre (unparametrisierte) Kurven, die durch einen Punkt p R2 laufen,
so sagen wir, dass c, ce im Punkt p tangential zur Ordnung k sind, falls man sie so nach Bogenlnge
parametrisieren kann, dass die resultierenden parametrisierten Kurven tangential zur Ordnung k sind.
Ordnung von Tangentialitt ist damit eine geometrische Eigenschaft, unabhngig von Parametrisierungen.
In der Diskussion des Krmmungskreises fixieren wir trotzdem eine Parametrisierung, um Probleme
mit Selbstschnittpunkten der Kurve zu vermeiden. (Dort knnte es mehrere Krmmungskreise geben,
einen fr jeden Zweig der Kurve.)
Im Raum macht die alte Definition von Krmmung keinen Sinn mehr, da es in jedem Punkt der Kurve
viele Normalenvektoren gibt; diese bilden die Normalenebene. Die Idee der Krmmung als nderungsgeschwindigkeit der Tangentialrichtung kann aber beibehalten werden.
I.3.1 Definition
Sei c : I R3 eine nach Bogenlnge parametrisierte Kurve, s I.
a) Die Krmmung von c in s ist definiert als (s) := k T (s)k = kc(s)k.
b) Falls (s) 6= 0, so ist der Hauptnormalenvektor in s definiert als
T (s)
N (s) = kT (s)k = (1s) T (s)
v1
w1
v 2 w3 v 3 w2
v w = v w v w .
1 3
2 2 3 1
v3
w3
v 1 w2 v 2 w1
hv w, ui = det(v, w, u)
fr alle u R3 . Daraus folgt leicht:
B
es ist v w v und v w w
sind v, w linear unabhngig, dann ist v w 6= 0 und (v, w, v w) ist positiv orientiert, d.h. es gilt
det(v, w, v w) > 0.
es gilt kv wk = kvk kwk| sin ]v, w| = Flche des von v und w aufgespannten Parallelogramms
Bemerkung:
( T (s), N (s), B(s)) ist fr jedes s mit (s) 6= 0 eine positiv orientierte Orthonormalbasis von R3 . Bei
(s) = 0 sind N (s) und B(s) undefiniert.
Vorsicht: ist hier immer 0! Falls c in der x yEbene liegt, ist das neue der Betrag des
ebenen . Entsprechend ist N gleich dem negativen des ebenen N, falls dort < 0. Dies liegt
daran, dass in 3D +90 keinen Sinn macht. In 2D erhalten wir so etwas mehr Information.
Krmmung misst, wie stark eine Kurve davon abweicht, gerade zu sein. Wie kann man messen, wie
stark eine Kurve davon abweicht, eben zu sein?
Die Idee ist, die nderung von N zu betrachten:
I. Kurven im Rn
10
N steht immer senkrecht auf N, nach der Standardrechnung, die wegen k N (s)k = 1 fr alle s auch
fr N funktioniert. Daher ist N eine Linearkombination aus T und B.
Liegt die Kurve in der x, y-Ebene, so liegt N ebenfalls in dieser Ebene, muss also ein Vielfaches von
T sein. Ist also die B-Komponente von N ungleich Null, so kann die Kurve nicht eben sein.
N = kTT k =
= ( cos s, sin s, 0)
und
B = T N = (b sin s, b cos s, a)
folgt
Bi = b
= h N,
Also sind = a2 und = b konstant.
bung: Zeige, dass es zu gegebenem > 0, R genau eine Schraubenlinie mit dieser Krmmung
und Torsion gibt.
Fr ebene Kurven bestimmt die nderung (Ableitung) von T und von N. Fr Raumkurven bestimmen
und die Ableitung von T, N und B wie folgt.
I.3.3 Satz (Frenet-Gleichungen)
Es gilt
0
T
N =
N ,
Ti =
Auf die gleiche Weise erhlt man die Koeffizienten fr die dritte Gleichung, denn es gilt analog h B,
h B, T i = h B, N i = 0, h B, N i = h B, N i = h B, Bi = und h B, Bi = 0.
11
Die Schmiegebene
Erinnerung: Die Tangente an c in s0 ist die Gerade, die c nahe s0 am besten approximiert. Dies sieht man
an der Taylor-Formel:
c(s) = c(s0 ) + (s s0 ) c(s0 ) + O(|s s0 |2 )
Dabei ist ce(s) = c(s0 ) + (s s0 ) c(s0 ) ein Punkt auf der Tangente, und die Formel sagt, dass c(s) ce(s) =
O(|s s0 |2 ); d.h. dass die Tangente tangential an c zu erster Ordnung ist. Sie ist die einzige Gerade mit
dieser Eigenschaft.
Wie kann man eine Ebene bestimmen, zu der c nahe s0 mglichst kleinen Abstand hat (im Sinne von
Ordnung)? Schreiben wir einen weiteren Term in der Taylor-Formel:
c(s) = c(s0 ) + (s s0 ) c(s0 ) +
= c ( s0 ) + ( s s0 ) T ( s0 ) +
( s s0 )2
2
c(s0 ) + O(|s s0 |3 )
( s s0 )2
( s0 )
2
N (s0 ) + O(|s s0 |3 ),
so sehen wir, dass c(s) von der durch T (s0 ) und N (s0 ) aufgespannten Ebene durch c(s0 ) den Abstand
O(|s s0 |3 ) hat. Die Kurve berhrt also diese Ebene zu zweiter Ordnung.
Man kann sich berlegen, dass dies die einzige Ebene mit dieser Eigenschaft ist (bung).
I.3.4 Definition
Die Schmiegebene an c in s0 ist die von T (s0 ) und N (s0 ) aufgespannte Ebene durch den Punkt
c(s0 ). Sie ist definiert, falls (s0 ) 6= 0.
Damit knnen wir die Torsion noch besser verstehen: Eine Ebene durch c(s0 ) kann man eindeutig durch
ihren Normalenvektor festlegen. Die Schmiegebene span{ T, N } in s0 hat die Normale B.
Die Gleichung B = N bedeutet, dass der Vektor B, also die Schmiegebene, sich mit Geschwindigkeit
in Richtung N dreht, wenn man entlang der Kurve geht. Also ist
Euklidische Bewegungen
Wie verhalten sich Krmmung und Torsion, wenn man die Kurve bewegt?
I.3.5 Definition
Eine euklidische Bewegung des Rn ist eine Abbildung der Form F : Rn Rn mit F ( x ) = Rx + b,
wobei R eine orthogonale n nMatrix und b Rn ist.
F heit orientierungserhaltend, falls det R = 1 ist.
Zur Erinnerung einige Fakten der linearen Algebra:
R orthogonal heit k Rx k = k x k fr alle x Rn . quivalent dazu sind
B
h Rx, Ryi = h x, yi x, y Rn
(daraus folgt: R ist winkelerhaltend, also ]( Rx, Ry) = ]( x, y))
R RT = I
RT R = I
Falls v1 , . . . , vn eine Orthonormalbasis ist, so ist auch Rv1 , . . . , Rvn eine Orthonormalbasis
I. Kurven im Rn
12
Falls R orthogonal ist, gilt det R = 1 oder det R = 1. Dabei gilt det R = 1 genau dann, wenn R orientierungserhaltend ist, d.h. wenn fr jede positive orientierte Basis v1 , . . . , vn auch die Basis Rv1 , . . . , Rvn
positiv orientiert ist. Eine Basis v1 , . . . , vn von Rn heit positiv orientiert , wenn det(v1 , . . . , vn ) > 0 ist.
Im 3D bedeutet R orthogonal und det R = 1, dass R eine Rotation ist. Eine Rotation ist durch ihre
Drehachse und den Drehwinkel eindeutig festgelegt.
Eine orientierungserhaltende euklidische Bewegung in R3 ist also eine Rotation (x 7 Rx) gefolgt von
einer Translation (Rx 7 Rx + b).
Bemerkung: Ein hchst nicht-trivialer Satz der klassischen Geometrie sagt: Ist F : Rn Rn eine beliebige
abstandserhaltende Rbbildung, also k F ( x ) F (y)k = k x yk fr alle x, y Rn , dann ist F eine euklidische
Bewegung.
Bemerkenswert daran ist, dass F automatisch durch eine lineare Abbildung, gefolgt von einer Translation, gegeben sein muss.
I.3.6 Proposition
Sei F eine orientierungserhaltende euklidische Bewegung des R3 und c : I R3 . Dann haben c
und F c dieselbe Krmmung und Torsion.
Beweis: Sei F ( x ) = Rx + b. Die Ableitung von F ist DF| x = R fr alle x. Sei ce = F c. Dann ist mit der
e = RT. Da R konstant ist, folgt durch Ableiten nach s, dass T
e = R T,
also T
Kettenregel ce = DF|c (c) = Rc,
e k = k R T k = k T k = , weil R orthogonal ist. Der Beweis fr verluft hnlich.
also e = k T
Zurck zur Schwertfrage: Das Hineinstechen des Schwertes ist eine Abfolge euklidischer Bewegungen.
Daher muss die Scheide konstantes und haben. Die einzige Mglichkeit hierfr sind Schraubenlinien
(oder Geraden)! Das folgt aus folgendem Satz.
T
0
N =
T
0
und
A
=
mit U :=
N
B
0
13
Beachte: Fr jedes s ist A ist eine schiefsymmetrische Matrix, d.h. A T = A, und U eine orthogonale
2
Matrix. A und U sind also Kurven in M(n)
= Rn , dem Raum der n n-Matrizen..
Der Zusammenhang von schiefsymmetrischen mit orthogonalen Matrizen ber die Gleichung U = AU
ist eine allgemeine fundamentale Tatsache. Die beiden folgenden Lemmata drcken diesen Zusammenhang aus. Hierbei sind U und A Kurven in M(n).
I.3.8 Lemma
Wenn U (s) orthogonal fr jedes s ist, dann ist U (s) U 1 (s) = A(s) schiefsymmetrisch.
Beweis: Da U orthogonale Matrix ist, gilt U (s) U T (s) = I fr alle s. Ableiten dieser Gleichung nach s
ergibt 0 = d (U U T ) = U U T + U U T = U U T + (U U T ) T = A + A T .
ds
Es gilt auch folgende Umkehrung. Wir verwenden t als Buchstabe, da es nicht auf Bogenlngeparametriesierung (von A oder U) ankommt. Die Einheitsmatrix bezeichnen wir mit I.
I.3.9 Lemma
Sei U : [0, b] M(n) eine Kurve mit
(1) U (0) = I
(2) U (t) = A(t)U (t) fr eine schiefsymmetrische Matrix A(t), fr jedes t.
Dann ist U (t) orthogonal und orientierungserhaltend fr jedes t.
Dies kann man etwas trickreich direkt beweisen, wir werden aber einen sehr natrlichen Beweis nach
Einfhrung einiger Mannigfaltigkeitskonzepte im folgenden Abschnitt geben.
Beweis (des Hauptsatzes): Zunchst zeigen wir, dass es genau eine Kurve mit Krmmung und Torsion
gibt, die im Punkt c0 = 0 startet mit T (0) = e1 und N (0) = e2 .
Dafr bestimmen wir zunchst B(0) = e1 e2 = e3 . Wir haben dann
(s)
A(s) =
( s )
0
(s)
1
e = I
und
U
=
( s )
0
e3
vorgegeben und suchen zunchst U (s) derart, dass U (s) = A(s) U (s) s und die Anfangsbedingung
U (0) = U0 gilt. Dies ist eine lineare Differentialgleichung im R9 (d.h. ein System aus 9 Gleichungen mit
9 unbekannten Funktionen; dies sind die Eintrge der 3 3Matrix U).
Nach dem Existenz- und Eindeutigkeitssatz fr Differentialgleichungen gibt es genau eine Lsung U.
Eindeutigkeit: Nach dem gerade Gesagten bestimmen die gegebenen Daten U = ( T, N, B) T eindeutig,
also insbesondere T, und damit ist c wegen der eindeutigen Lsbarkeit der Gleichung
c(s) = T (s) s,
c (0) = 0
eindeutig bestimmt.
Existenz: Wir bestimmen zunchst U als Lsung von U = AU, U (0) = I mit A wie oben und dann c
als Lsung der obigen Differentialgleichung. Wir mssen nachprfen, dass c Krmmung und Torsion
hat. Nach Lemma I.3.9 ist U (s) orthogonal fr alle s. Fr alle s gilt c = T, c = T = N (aus der ersten Zeile
von U = AU), B = T N (da U orthogonal und orientierungserhaltend ist). Also ist die Krmmung
und T, N, B das begleitende Dreibein von c. Schlielich ist noch N = T + B (aus der zweiten Zeile
Bi die Torsion von c. Also ist c die gesuchte Kurve.
von U = AU), also = h N,
Damit haben wir die Existenz in a) bewiesen. Fr die Eindeutigkeit brauchen wir:
I. Kurven im Rn
14
I.4.1 Definition
Sei c : [ a, b] Rn eine parametrisierte Kurve.
a) c heit geschlossen , wenn c(k) ( a) = c(k) (b) fr alle k N0 gilt.
b) c heit einfach , wenn c auf [ a, b) injektiv ist.
Eine einfache Kurve schneidet sich also nicht selbst. Ihre Endpunkte drfen aber gleich sein. Eine einfache
und geschlossene Kurve nennt man einfach geschlossen .
Fr eine geschlossene Kurve sind die Endpunkte gleich, c( a) = c(b). Smtliche Ableitungen an den
Endpunkten sollen auch bereinstimmen, damit die Kurve nach einem Durchlauf glatt weiterluft.
Anders gesagt (am einfachsten fr a = 0), ist c genau dann im Sinne der Definition geschlossen, wenn
ihre periodische Fortsetzung
ce : R Rn ,
glatt ist, wobei t mod b die eindeutige Zahl in [0, b) ist, die von t um ein ganzzahliges Vielfaches von b
abweicht.
Wir betrachten nun ebene Kurven.
I.4.2 Definition
Sei c : [ a, b] R2 eine ebene regulre geschlossene Kurve, nach Bogenlnge parametrisiert. Die
Umlaufzahl von c ist definiert als
nc :=
1
2
Z b
(s) ds
a
Hierbei wird der Krmmungsbegriff fr ebene Kurven verwendet, bei dem auch negativ sein kann.
Der Sinn dieser Definition liegt in Teil b) des folgenden Lemmas:
15
I.4.3 Lemma
Sei c : [ a, b] R2 eine ebene regulre geschlossene Kurve.
a) Die Umlaufzahl ndert bei Umkehrung der Orientierung ihr Vorzeichen.
b) Sei : [ a, b] R eine glatte Funktion derart, dass c(t) = r (t)(cos (t), sin (t)), r (t) > 0 fr
alle t gilt. Dann ist
nc =
1
((b) ( a))
2
2 ), sin( s
+ 2 )) nach
bekannten Identitten fr sin und cos, also ist (s) = s + 2 eine Winkelfunktion. Das sollten Sie sich auch
geometrisch klar machen. Fr s [0, 2 ] wird der Kreis einmal gegen den Uhrzeigersinn durchlaufen,
1
und die Umlaufzahl ist 2
((2 ) (0)) = 1. Wegen (s) = 1 s folgt das auch direkt aus der Definition
der Umlaufzahl.
Beispiel: Fr den Kreis c(s) = (cos s, sin s) ist c(s) = ( sin s, cos s) = (cos(s +
Bemerkung: Ist die Kurve c : [ a, b] R2 regulr geschlossen, aber nicht notwendig nach Bogenlnge
parametrisiert, so kann man ihre Umlaufzahl durch
b
1
(t) |c(t)| dt
2 a
berechnen. Dies folgt direkt durch Variablensubstitution.
nc =
Wrde man (t) so definieren, dass man fr jedes t einen der mglichen Winkel nimmt, wre die
resultierende Funktion evtl. nicht stetig.
Wir mssen also zeigen, dass man den Winkel fr jedes t so bestimmen kann, dass die resultierende
Funktion stetig ist (sie ist dann automatisch glatt, s. unten).
Im Beispiel des Kreises sind die Punkte c(0) und c(2 ) gleich, ebenso die Tangenten c(0) = c(2 ). Und
doch ist (0) 6= (2 ), und offenbar muss dies fr stetiges auch so sein, da beim Umlaufen des
Kreises zunimmt.
I.4.4 Lemma
Sei c : [ a, b] R2 eine ebene regulre parametrisierte Kurve. Dann existiert eine Winkelfunktion
Diese ist bis auf eine additive Konstante in 2Z eindeutig.
fr c.
Beweis: (Ein einfacherer Beweis mit etwas Funktionentheorie ist unten gegeben.) Wir knnen o.B.d.A.
annehmen, dass c nach Bogenlnge parametrisiert ist. Die Idee ist, die Kurve in viele kleine Stcke aufzuteilen, auf denen sich die Tangente jeweils nur wenig ndert. Auf jedem dieser Stcke kann man dann
eine Winkelfunktion definieren und diese Teile zusammensetzen.
Wir betrachten zunchst eine Kurve, deren Tangente wenig variiert.
I. Kurven im Rn
16
Behauptung: Sei c : [ a, b] R2 wie im Lemma. Angenommen, die Menge der Tangentialvektoren T = {c(s) : s [ a, b]} ist in einer der Halbebenen x > 0, x < 0, y > 0, y < 0
enthalten. Sei ein Winkel 0 fr c( a) gegeben. Dann existiert genau eine Winkelfunktion fr
c mit ( a) = 0 .
Beweis der Behauptung: Der Hauptpunkt ist, dass die Tangens-Funktion auf dem Intervall ( 2 , 2 ) in-
jektiv ist, mit Bild R. Angenommen, T ist in der Halbebene x > 0 enthalten. Mit c(s) = ( x (s), y(s))
bedeutet das x (s) > 0 fr alle s. Wir wollen finden mit x (s) = cos (s), y (s) = sin (s) fr alle s. Dies ist
y (s)
y (s)
quivalent zu tan (s) = x (s) (prfen Sie dies nach!) und damit zu (s) = arctan x (s) + 2k, k Z. Dieses
ist stetig genau dann, wenn k konstant ist. Die Vorgabe von ( a) = 0 legt also eindeutig fest, und das
so gegebene erfllt die Behauptung.
Die Flle der anderen Halbebenen kann man hnlich behandeln, oder mittels Drehung in den Fall x > 0
berfhren.
Wir beweisen nun das Lemma. Da [ a, b] kompakt und c stetig ist, ist c gleichmig stetig. Also existiert
ein > 0, so dass fr alle s, s0 mit |s s0 | < gilt, dass kc(s) c(s0 )k <
a = s0 < s1 < < s N = b mit Feinheit maxi=1,...,N (si si1 ) < . Sei Ii = [si1 , si ].
Dann ist fr jeden Abschnitt ci := c| I die Menge der Tangenten Ti = {ci (s) : s Ii } in einem
i
offenen Viertelkreis enthalten (ein Viertelkreis ist ein Teilbogen des Einheitskreises mit Gesamtwinkel 2 ;
der maximale Abstand zweier Punkte auf einem Viertelkreis ist 2). Jeder Viertelkreis, also auch Ti , ist in
einer der Halbebenen x > 0, x < 0, y > 0, y < 0 enthalten.
Um die Existenz von zu zeigen, whle einen Winkel 0 fr c( a). Mittels der Behauptung oben konstruiere nun eine Winkelfunktion auf [ a, s1 ] mit ( a) = 0 . Setze 1 = (s1 ). Wiederum mittels der
Behauptung konstruiere eine Winkelfunktion auf [s1 , s2 ] mit (s1 ) = 1 . Fahre so fort, bis auf ganz
[ a, b] definiert ist. Per Konstruktion ist diese Funktion stetig. Sie ist sogar glatt. Dies stimmt per Konstruktion auerhalb der Menge {s1 , . . . , s N 1 }, und die Glattheit in einer Umgebung von si folgt, indem
wir die Behauptung auf die Einschrnkung von c auf ein kleines Intervall um si anwenden.
Dann ist konstant auf jedem
Eindeutigkeit bis auf 2Z: Sei eine weitere Winkelfunktion fr c.
Teilintervall Ii nach der Behauptung oben, und wegen der Stetigkeit ist es konstant auf [ a, b]. Die Konstante
muss in 2Z liegen, da der Winkel von c( a) bis auf 2Z bestimmt ist.
Bemerkung (Beziehung zur Funktionentheorie): Mit Mitteln der Funktionentheorie ist es einfach, eine
Winkelfunktion fr die Kurve = c hinzuschreiben: Man setzt
Z
(t) = 0 + Im
|[ a,t]
dz
z
wobei 0 ein Winkel fr ( a) ist. Denn dies ist offenbar eine glatte Funktion von t mit (0) = 0 , und
da die Funktion
1
z
die Stammfunktion log z hat und Im log z = arg z gilt, ist (t) arg (t), d.h. ein
Winkel fr (t). Hierbei sind log z und arg z mehrwertige Funktionen, aber weil
1
z
wohldefiniert.
Da der Realteil von log z einwertig ist, ist das Integral ber eine geschlossene Kurve
R dz
z rein imaginr,
(I.1)
nc =
1
2i
dz
,
z
= c
Die rechte Seite nennt man auch die Windungszahl von bzgl. 0 . Sie ist fr geschlossene Kurven
definiert, die nicht durch den Nullpunkt laufen (dies ist hier der Fall, da c regulr ist). Anschaulich gibt
sie an, wie oft die Kurve sich um den Nullpunkt herumwindet.
Kurz: Die Umlaufzahl von c ist die Windungszahl von c bzgl. 0.
17
Hopfscher Umlaufsatz
I.4.5 Satz
Sei c : [ a, b] R2 eine ebene regulre geschlossene Kurve.
a) Es gilt nc Z.
b) (Hopfscher Umlaufsatz) Ist c einfach, so ist nc = 1 oder nc = 1.
Dies ist ein globaler Satz, da er eine Aussage ber das Integral der Krmmung ber die ganze Kurve
macht. Dies ist wesentlich, dieser Satz hat kein lokales Analogon.
Beweis: a): Whle eine Winkelfunktion fr c. Da c geschlossen ist, gilt c( a) = c(b), also ist (b) ( a)
((b) ( a)) Z.
b): Siehe z.B. Thm. 2.28 im Buch von Khnel: Differentialgeometrie.
Problem: Wie verwendet man die Voraussetzung, dass die Kurve einfach ist?
Idee (mit Hilfe des Begriffs der Windungszahl in der Bemerkung oben):
1. Deformationsinvarianz der Windungszahl: Zunchst berlegt man sich, dass die Windungszahl konstant bleibt, wenn man eine geschlossene Kurve stetig ndert, sie dabei aber niemals durch den Nullpunkt
luft.
Genauer: Fr jedes r [0, 1] sei r : [ a, b] C \ {0} eine geschlossene Kurve. Weiterhin seien die Abbil1 R
dz
dungen (t, r ) 7 r (t) und (t, r ) 7 r (t) stetig. Fr jedes r ist dann die Windungszahl w(r ) = 2i
r z
definiert. Das Integral hngt stetig von r ab (nach einem Satz der Analysis ber parameterabhngige InteR
R b r (t)
grale hierzu schreibe das Integral aus als r dz
z = a r (t) dt), daher ist die Abbildung r 7 w ( r ) stetig,
und da sie Werte in Z hat, muss sie konstant sein, was zu zeigen war.
d.h. eine Familie geschlossener Kurven
2. Man konstruiert nun eine Deformation der Kurve 0 := c,
r wie oben, derart, dass man der Kurve 1 direkt ansehen kann, dass ihre Windungszahl gleich 1
ist. Daraus folgt dann die Behauptung. Die Schwierigkeit liegt in der Konstruktion der Deformation. Sehr
grob gesprochen erhlt man sie, indem man statt der Tangenten c(t) von c die normalisierten Sekanten
c(t)c(t0 )
verwendet. Fr t0 % t konvergiert dies gegen c(t). Man kann z.B. t0 = (1 r )t setzen, dies
kc(t)c(t0 )k
definiert dann r . Die Einfachheit der Kurve c wird dabei dadurch verwendet, dass nur fr einfache
Kurven diese Sekanten fr alle t 6= t0 definiert sind.
Hier fehlen noch viele Einzelheiten (z.B. ist das angegebene r nicht geschlossen und fr t = b, r = 1
nicht definiert), und wenn Sie sich den in Khnel (oder anderen Quellen) gegebenen Beweis ansehen,
erkennen Sie vielleicht diese Beweisidee so nicht wieder meistens sind die Beweise recht formal gehalten.
Dies einmal gut auszuarbeiten kann Ausgangspunkt fr eine Bachelorarbeit sein!
2Z. Nach Lemma I.4.3b) ist also nc =
1
2
berblick: Begriffe im bereits behandelten Fall der Kurven und ihre Entsprechungen fr Flchen:
Kurven
Flchen
Parametrisierung
Parametrisierung
Umparametrisierung
Umparametrisierung (Kartenwechsel)
Bogenlnge
Flcheninhalt
Bogenlngeparametrisierung
(kein Analogon)
Tangente
Tangentialebene
19
20
II.1.1 Definition
Seien n N N. Eine Teilmenge M R N heit ndimensionale Untermannigfaltigkeit , falls
gilt:
e Rn und einen
Fr alle p M gibt es eine offene Umgebung U M, eine offene Teilmenge U
e U, so dass als Abbildung U
e R N glatt und D fr alle u U
e
Homomorphismus : U
|u
injektiv ist.
heit lokale Karte , U Kartenumgebung oder Kartengebiet .
Bemerkung:
B
Homomorphismus heit, dass stetig und bijektiv und auch 1 stetig ist.
i
(u) i=1,...,N
u j
j=1,...,n
(u), . . . un (u)
u1
Da diese Vektoren Bild(D|u ) aufspannen, sind sie dann eine Basis dieses Raums.
e erfllt sind, dann heit Immersion .
Falls diese Bedingungen fr alle u U
(u)
u j
Kurz: M ist Untermannigfaltigkeit, wenn es durch Kartengebiete berdeckt werden kann. Eine Menge {( i , Ui ) : i I } von lokalen Karten und Kartenumgebungen heit Atlas von M, wenn M von
den Ui berdeckt wird, d.h. wenn M =
S
i I
Ui gilt.
Im Unterschied zur Kurventheorie liegt unsere Aufmerksamkeit nun auf der Menge M. Die lokalen
Karten (Parametrisierungen) sind zur Beschreibung von M weiterhin notwendig, werden aber mehr
als Mittel zum Zweck betrachtet.
Beispiele:
21
n = 1: Sei M das Bild einer einfach geschlossenen regulren Kurve. Dann ist M eine eindimensionale Untermannigfaltigkeit. Ist ce : R M eine periodische Parametrisierung (siehe die Erklrung
nach Definition I.4.1), so ist ce| J eine lokale Karte fr jedes offene Intervall J, auf dem ce injektiv ist.
e also dass ce regulr ist.
Injektivitt von Dce bedeutet ce (u) 6= 0 fr alle u R,
|u
Eine Kurve, die sich selbst schneidet, ist keine Untermannigfaltigkeit: Der Schnittpunkt hat keine
Kartenumgebung.
Wann ist das Bild einer einfachen regulren Kurve c : I R N eine Untermannigfaltigkeit? Die
Antwort ist berraschend kompliziert. Sie ist z.B. dann nein, wenn I einen Endpunkt enthlt, oder
wenn I = ( a, b) offen ist und der Grenzwert limu a c(u) ein Kurvenpunkt ist. Eine hinreichende
Bedingung fr die Antwort ja ist: I = ( a, b) und c lsst sich zu einer einfachen regulren Kurve auf
[ a, b] fortsetzen.
Die kompakten eindimensionalen Untermannigfaltigkeiten von R N lassen sich charakterisieren: es
sind die Vereinigungen endlich vieler disjunkter Bilder einfach geschlossener regulrer Kurven.
(bung)
B
Bemerkung:
e benannt, bei n = 2
Bezeichnungen: Punkte im Rn werden als u = (u1 , . . . , un ) U
oft mit (u, v). In R N schreiben wir meist (u, v) = p M oder (u, v) = x = ( x1 , . . . x N ) M, bei
N = 3 auch (u, v) = ( x, y, z). Statt (u) schreiben wir gelegentlich x (u).
B
Bevor wir weitere Beispiele angeben, erinnern wir an zwei Stze, die aus der Analysis III als bekannt
vorausgesetzt werden:
II.1.2 Satz (Graphen sind Untermannigfaltigkeiten)
e Rn offen, h : U
e R N n glatt. Dann ist Graph( h) = {(u, h(u)) : u U
e } R N eine
Sei U
ndimensionale Untermannigfaltigkeit
e U = Graph( h); u 7 (u, h(u)) als (globale) Karte nehmen.
Denn wir knnen : U
F ( x ) 6= 0.
Beide Stze haben Umkehrungen, aber nur lokal: Jede Mannigfaltigkeit kann lokal als Graph und als
Niveaumenge geschrieben werden. (Das heit: Jeder Punkt von M hat eine Umgebung U, so dass U
ein Graph bzw. eine Niveaumenge ist.) Fr die Darstellung als Graph mssen ggf. erst die Koordinaten
permutiert werden.
Die Surjektivitt von DF| x muss nur fr Punkte x M gelten. Falls Sie fr alle x W gilt, so heit F
eine Submersion .
22
Beispiel: Die Einheitssphre S2 = {( x, y, z) R3 : x2 + y2 + z2 = 1} ist eine 2dimensionale Untermannigfaltigkeit des R3 . Denn fr die Abbildung F : R3 R mit F ( x, y, z) = x2 + y2 + z2 und r = 1 ist
S2 = F 1 (r ) und es gilt F ( x, y, z) = (2x, 2y, 2z) 6= (0, 0, 0) fr alle ( x, y, z) S2 .
Ein Atlas fr S2 ist gegeben durch folgende 6 Karten:
B
f = {( x, y) : x2 + y2 < 1} und ( x, y) = ( x, y,
U1 = S2 {z > 0}, U
1
1
f2 = U
f und 2 ( x, y) = ( x, y, 1 x2 y2 ).
U2 = S2 {z < 0}, U
1
1 x 2 y2 ).
Es fehlt noch der quator C = S2 \ {U1 U2 }. Um diesen zu berdecken, nehmen wir z.B.
f3 = {( x, z) : x2 + z2 < 1} und 3 ( x, z) = ( x,
U3 = S2 {y > 0}, U
f =U
f3 und ( x, z) = ( x, 1 x2 z2 , z).
U4 = S2 {y < 0}, U
4
4
f6 = U
f5 und 6 (y, z) = ( 1 y2 z2 , y, z).
U6 = S2 { x < 0}, U
1 x 2 z2 , z ).
Dieser Atlas bentigt 6 Karten. Es gibt aber einen anderen Atlas,
der mit zwei Karten auskommt:
2
2
2v
2u
,
, u +v 1 = Schnittpunkt der Strecke von (u, v, 0)
u2 + v2 +1 u2 + v2 +1 u2 + v2 +1
e = R2
= (0, 0, 1) mit S2 . Dann ist UN = S2 \ { N }. Konstruiere analog S auf U
S
S = (0, 0, 1). Dann ist US = S2 \ {S} und somit die ganze Sphre von den beiden
e = R2 und (u, v) =
Setze U
N
N
zum Nordpol N
mit dem Sdpol
Kartengebieten berdeckt.
Beachte:
B
Eventuell braucht man viele Koordinatensysteme, um (selbst zusammenhngende) Untermannigfaltigkeiten zu berdecken, z.B. einen Torus mit mehreren Lchern.
2
Beispiel: Sei M(n) = {n n Matrizen}
= Rn und O(n) = {orthogonale n n Matrizen}. Dann ist
O(n) eine Untermannigfaltigkeit der Dimension n(n21) .
Denn: Sei Symm(n) M(n) der Unterraum der symmetrischen Matrizen. Betrachte die Abbildung
F : M(n) Symm(n) mit U 7 UU T I. Es gilt U O(n) genau dann, wenn F (U ) = 0, also ist
O(n) = F 1 (0).
d
Es gilt per Definition DF|U ( B) = dt
F (U + t B) = BU T + UB T = BU T + ( BU T ) T . Die Abbildung
| t =0
DF|U ist surjektiv fr jedes U O(n), denn zu C Symm(n) knnen wir B M(n) so whlen, dass
BU T = ( BU T ) T = C2 gilt, also B = C2 U.
Nach Satz II.1.3 ist also O(n) eine Untermannigfaltigkeit. Wegen dim M(n) = n2 und dim Symm(n) =
n ( n +1)
n ( n +1)
folgt dim O(n) = n2 2
= n(n21) .
2
Die Untermannigfaltigkeit O(n) ist kompakt. Denn eine orthogonale Matrix U = (Uij ) hat normierte
Pn
2
Zeilen, also ist i,j
=1 (Uij ) = n fr alle U O(n ), d.h. O(n ) ist beschrnkt. Es ist auch abgeschlossen, da
F stetig ist.
Bemerkung: Oft ist eine Untermannigfaltigkeit als F 1 (r ) gegeben. Um darauf rechnen zu knnen (z.B.
die Krmmung zu bestimmen), muss man meist zu lokalen Karten bergehen (z.B. ist die Krmmung
mittels Parametrisierung definiert!).
23
d
dt |t=0 f ( p + tX )
Xi
f
.
ui
Allgemeiner gilt: Ist eine beliebige Kurve mit (0) = p und (0) = X, so ist D f | p ( X ) =
denn nach der Kettenregel gilt
d
dt
d
dt |t=0 f ( ( t )),
II.1.5 Satz
a) Tp M ist ein ndimensionaler Untervektorraum von R N .
e U lokale Karte und u U
e das Urbild von p unter , also (u) = p. Dann gilt
b) Sei : U
24
e mittels
e : I U
e = . Nach der
b) Kurven : I U entsprechen genau Kurven
d
n
e
e(t)) = D|u (
e(0)). Nun gibt es fr jedes X R ein
e mit
e(0) = u
Kettenregel ist (0) = dt |t=0 (
n
e
e(0) = X. Damit folgt Tp M = D (R ) = Bild D .
und
Beweis:
|u
Es gilt
|u
(u)
ui
(u), . . . , un (u)
u1
a) folgt aus b)
c) Falls X Tp M, (0) = p, (0) = X, (t) M fr alle t und M = F 1 (r ), dann ist F ((t)) = r
fr alle t. Ableiten nach t an der Stelle 0 liefert DF| p ( X ) = 0, also X Kern DF| p und damit
Tp M Kern DF| p . Da die beiden Vektorrume die gleiche Dimension haben, folgt die Gleichheit.
Bemerkung:
b) erklrt, warum eine Immersion sein soll: Dies stellt sicher, dass M in jedem Punkt
Eine Karte gibt ein Koordinatennetz auf U M an: Dies besteht aus den ui Linien (i = 1, , n),
also den Bildern unter der zur ui Achse parallelen Geraden.
( u0 )
ui
durch p = (u0 ).
B
Falls F : R N R, also M eine Hyperflche ist, dann ist Kern DF| p = ( F ( p)) .
Beispiele:
b) Sei n = 1 und M das Bild einer regulren Kurve c. Dann ist Tp M = span c(t) fr p = c(t).
1 x2 y2 . Dann ist
= (1, 0, xz ) und
1 x2 y2 gesetzt.
25
II.2.1 Definition
Sei M R N eine Untermannigfaltigkeit. Eine Funktion f : M R heit glatt , wenn fr jede
e U die Funktion fe = f : U
e R glatt ist.
lokale Karte : U
1 x 2 y2 .
Nun ist es schwierig, nachzuprfen, ob etwas in jeder Karte gilt. Daher ist folgendes Lemma ntzlich:
II.2.2 Lemma
Sei {( i , Ui ) : i I } ein Atlas fr M. Eine Funktion f : M R ist genau dann glatt, wenn f i
glatt ist fr alle i I.
Mit anderen Worten: Zum berprfen der Glattheit gengt es, nur die Karten eines festen Atlasses zu
berprfen, z.B. bei der Sphre die beiden stereographischen Projektionen. Fr den Beweis brauchen wir
folgendes Lemma, das aus Analysis III bekannt ist.
II.2.3 Lemma
Seien , zwei lokale Karten fr M. Dann ist der Kartenwechsel 1 glatt.
Den genauen Definitions- und Bildbereich von 1 liest man aus Abbildung II.3 ab.
e U eine beliebige
Beweis (von Lemma II.2.2): Angenommen, ist f i glatt fr alle i I. Sei : U
Karte. Wir mssen berprfen, dass f glatt ist. Fr jedes i ist f = ( f i ) ( i1 ), wo dies
definiert ist, d.h. auf 1 (U Ui ). Nach Voraussetzung ist f i glatt und nach Lemma II.2.3 ist i1
26
Analog definieren wir fr Abbildungen zwischen Untermannigfaltigkeiten Glattheit mittels lokaler Karten:
II.2.4 Definition
Seien M, N n bzw. mdimensionale Untermannigfaltigkeiten von Ra bzw. Rb . Eine Abbildung
e U M und : V
e V N die
f : M N heit glatt , wenn fr alle lokalen Karten : U
e Rn V
e Rm glatt ist.
Abbildung fe = 1 f : U
Wiederum stellt man sich f als f in lokalen Koordinaten , geschrieben vor. Beachte, dass hierbei f
e R geschrieben werden kann.
Werte in Rm hat, also als Vektor f = ( f1 , . . . , fm ) mit Funktionen fi : U
Auch hier gengt es natrlich wieder, die Bedingung fr alle Karten in einem Atlas fr M und alle
Karten in einem Atlas in N nachzuprfen.
Bemerkung: Wegen N Rb kann man auch f als Vektor f = ( f 1 , . . . , f b ) schreiben, und dann ist
Glattheit von f im Sinne der Definition quivalent zu Glattheit jeder der Komponentenfunktionen f i :
M R (bung).
Die gegebene Definition hat den Vorteil, sofort auf den Fall abstrakter Mannigfaltigkeiten M, N bertragbar zu sein. Auerdem wird das hier auftretende f auch fr die Berechnung des Differentials d f
mittels Basen von Tp M, T f ( p) N gebraucht, siehe den folgenden Satz.
II.2.5 Definition
Seien M Ra , N Rb Untermannigfaltigkeiten und f : M N glatt, p M. Das Differential
von f in p ist die Abbildung
d f | p : Tp M T f ( p) N
definiert wie folgt:
Sei X Tp M gegeben durch die Kurve : (e, e) M, also (0) = p und (0) = X. Dann sei
d f | p ( X ) : = ( f ) (0) =
d
dt |t=0 f ( ( t )).
f ist eine Kurve in N und es ist ( f )(0) = f ( p), daher ist tatschlich d f | p ( X ) T f ( p) N.
Bemerkung:
Die Vorstellung ist: Der Vektor X beschreibt, in welcher momentanen Richtung und
mit welcher momentanen Geschwindigkeit sich ein Punkt x von p fortbewegt; der Vektor d f | p ( X )
gibt dann die momentane Richtung und Geschwindigkeit von f ( x ) an.
B
d
dt
gilt Tp M = Rn fr alle p M
stimmt die Definition von d f mit der alten Definition des Differentials D f berein, wir knnen
also wahlweise D f oder d f schreiben.
B
(Spezialfall N = R) Ist f : M R eine glatte Funktion, so ist also fr jedes p M das Differential
eine lineare Abbildung d f | p : Tp M R, also ein Element des Dualraums Tp M := ( Tp M ) . Fr
X Tp M ist die Zahl d f | p ( X ) die Richtungsableitung von f in Richtung X.
Beispiele:
um die zAchse. Es ist f ( p) = U p, wobei U eine orthogonale Matrix ist. Dann gilt d f | p ( X ) =
d
d
27
Betrachte zum Beispiel p = (1, 0, 0) und einen Einheitsvektor X Tp S2 , der tangential an den
quator liegt. Dann ist d f | p ( X ) ein Einheitsvektor tangential an den quator im Punkt f ( p) =
(0, 1, 0).
B
d|u (ei ) =
(II.1)
(u)
ui
d f| p
u j
m
X
fei
i =1
u j
vi
fr j = 1, . . . , n. Dabei ist fe = 1 f .
Kurz: In lokalen Koordinaten ist d f durch die Jacobimatrix von fe gegeben.
Weiterhin gilt die Kettenregel:
d( g f )| p = dg| f ( p) d f | p
Kurz: d( g f ) = dg d f .
Die Darstellung durch die Jacobimatrix von f ist hier bezglich der Basen
T f ( p) N zu verstehen.
u j
von Tp M und
vi
von
Der bersichtlichkeit halber haben wir nicht hingeschrieben, wo die jeweiligen partiellen Ableitungen
auszuwerten sind. Dies werden wir hufig so handhaben. Aus dem Kontext kann man dies immer leicht
herleiten. In diesem Fall ist, falls (u) = p = (v), ausfhrlich
Beweis:
e
fi
( u ), j ( u )
u j
u
und
(v)
vi
gemeint.
Wohldefiniertheit: Reduziere alles mittels lokaler Karten auf offene Mengen im Rn : Sei
d
dt |t=0 ( f
dg
B
d
dt |t=0 f ( ( t ))
d
dt |t=0 g ( f ( ( t )))
d
dt |t=0 g ( f ( ( t ))).
P
Whle lokale Karten fr M nahe p und fr N nahe f ( p). Wegen f = in=1 fi ei gilt d f(e j ) =
n
P
f
fi
=
ai ei , wobei ai =
gesetzt wurde. Aus f = f folgt nun mit der Kettenregel
u j
i =1
u j
i
i a j ei )
i
i a j d ( ei ),
II.2.7 Definition
f : M N heit Diffeomorphismus, wenn f bijektiv ist und f und f 1 beide glatt sind.
e U sind Diffeomorphismen.
Beispiel: Lokale Karten : U
28
:
Xp =
X i ( p)
,
ui
p U.
e = AU,
e d.h. U
e erfllt dieselbe Differentialgleichung und Anfangsbedingung wie U. Wegen
Damit gilt U
e (t) = U (t) fr alle t [0, b], also U (t) O+ (n) fr alle n.
der Eindeutigkeit der Lsungen folgt U
II.2.11 Definition
Der Fluss von X ist (t, p) = p (t), wobei p die maximale Integralkurve mit p (0) = p ist.
29
Der Fluss enthlt die Information aller Integralkurven gemeinsam. Der Definitionsbereich des Flusses
ist {(t, p) : p M, t I p,max } R M. Falls alle Integralkurven fr alle Zeiten definiert sind, d.h.
I p,max = R fr alle p, ist also
: R M M.
Wir nehmen dies im Folgenden immer an (es ist z.B. fr kompaktes M immer erfllt) und definieren
noch t : M M durch t ( p) = (t, p).
II.2.12 Satz
Es gilt 0 = id M und t+s = t s fr alle t, s R. Die Abbildung t ist ein Diffeomorphismus
M M fr alle t.
(u)
ui
i, j {1, . . . , n}. Die n nMatrix gij heit die Matrix von g bezglich der Basis v1 , . . . , vn .
Sind X =
X i vi und Y =
n
P j
P
Y v j beliebige Vektoren in V, dann gilt g( X, Y ) =
gij X i Y j .
i,j=1
von Tp M. Setze
gij (u) = g p i , j
fr i, j {1, . . . , n}. gij (u) heit Darstellung von g p bzgl. der Karte . gij ist eine Abbildung, die jedem
e eine n nMatrix zuordnet.
uU
g p ist also in der Basis 1 , . . . , n durch die Matrix gij (u) gegeben.
Damit ist die Lnge eines Tangentialvektors X Tp M, der in Koordinaten als X =
gleich
kXk =
v
uX
u n
g p ( X, X ) = t
X i X j gij (u)
i,j=1
X i i gegeben ist,
30
g p ( X,Y )
Der Winkel zwischen zwei Vektoren X, Y Tp M ist X, Y = arccos k X kkY k , was wiederum mittels der
gij ausgedrckt werden kann.
Bemerkung: Allgemein ist eine Riemannsche Metrik auf einer (Unter-)Mannigfaltigkeit M eine Zuordnung eines Skalarproduktes g p zu jedem Punkt p M, die glatt von p abhngt. Die Glattheit bedeutet
e sind.
dabei, dass fr jede lokale Karte die Funktionen gij = g(i , j ) glatt auf U
Die euklidische Metrik auf R N kann als Riemannsche Metrik aufgefasst werden: Fr jeden Punkt p
R N ist Tp R N = R N , und das Skalarprodukt darauf ist einfach das euklidische fr jedes p.
Die erste Fundamentalform auf der Untermannigfaltigkeit M R N ist dann diejenige Riemannsche
Metrik, die von der euklidischen auf R N induziert ist, in dem Sinn, dass man fr jedes p M das
euklidische Skalarprodukt auf Tp M einschrnkt. Auer in Kapitel IV.5 werden wir immer diese induzierte
Riemannsche Metrik betrachten.
Sei n = N = 2, M = R2 und (u) = u. Dann ist 1 = (1, 0) und 2
1
die entsprechenden Skalarprodukte ausrechnet, erhlt man damit gij =
0
Beispiele:
Betrachte Polarkoordinaten auf R2 \ {0}, also (r, ) = (r cos , r sin ). Dann ist r =
und =
1
r2
= (cos
,
sin )
= (r sin , r cos ). Durch Ausrechnen der Skalarprodukte ergibt sich gij =
. Also ist dies die Darstellung der euklidischen Metrik auf R2 in Polarkoordinaten.
Betrachte einen Zylinder im R3 , also x2 + y2 = 1 und z beliebig mit der Karte (, z) = (cos , sin , z).
!
1 0
Betrachte zuletzt die obere Hlfte der Einheitssphre S2 mit der Karte ( x, y) = ( x, y,
Es ist x =
= (1, 0,
x
)
1 x 2 y2
und y =
= (0, 1,
x2
1 x 2 y2
xy
1 x 2 y2
1 x 2 y2 ).
xy
1 x 2 y2
,
y2
1+
2
2
1 x y
1+
gij =
y
1 x 2 y2
u
h v1 , v1 i
u
u
..
udet
u
.
h v n , v1 i
...
...
h v1 , v n i
q
..
= det(hvi , v j i)
.
hvn , vn i
ist.
Daraus haben wir gefolgert, dass das Bild eines Wrfels W unter der linearen Abbildung d|u (wobei
e U M eine lokale Karte ist) das n-dimensionale Volumen
:U
r
det hi , j i voln (W )
e und W ein kleiner Wrfel mit u U,
e so liegt weiterhin das Bild (W ) nahe dem Bild von
hat. Ist u U
W unter d|u (verschoben in den Punkt p = (u)). Denn d|u (W ) Tp M. Dies motiviert die folgende
Definition.
31
II.3.2 Definition
e U M eine lokale Karte.
Sei M R N eine ndimensionale Mannigfaltigkeit und : U
a) dvol(u) =
det( gij (u)) du heit das Volumenelement von M bezglich der Karte .
b) Es sei vol(U ) =
dvol(u) =
e
U
Rq
e
U
c) Sei {( k , Uk )}i=1,...,K ein Atlas fr M, derart, dass die Kartengebiete Uk paarweise disjunkt
sind und M \
SK
k=1 Uk
SM
vol(S) :=
vol(S Uk )
Mit Hilfe dieses Maes kann man Funktionen integrieren. Es gilt (mit Notation wie in c), wobei ( gij )
die Darstellung von g in der Karte k ist)
Z
M
f dvol =
XZ
k
e
U
k
(k)
dvol = EG F2 du dv.
Beispiel: Fr Polarkoordinaten auf
R2
r2
g11
g12
g21
g22
. Damit ist
32
a) definiert ein glattes Einheitsnormalenvektorfeld auf einer Kartenumgebung U. Aber auf ganz M
muss ein solches nicht existieren!
Beispiel: Beim Mbiusband gibt es kein stetiges Einheitsnormalenvektorfeld, da es sonst an einem Punkt
gleichzeitig nach innen und nach auen zeigen msste (Beweis als bung).
Man kann zeigen, dass ein stetiges Einheitsnormalenvektorfeld glatt ist.
II.4.2 Definition
M heit orientierbar , wenn es ein glattes Einheitsnormalenvektorfeld besitzt. M zusammen mit
einem glatten Einheitsnormalenvektorfeld N heit orientierte Flche , N Orientierung fr M.
(2) Diese Definition ist direkt auf beliebige Hyperflchen (d.h. n-dimensionale Untermannigfaltigkeiten
des Rn+1 ) bertragbar. Im Fall ebener Kurven (n = 1) ist die Wahl eines Einheitsnormalenfeldes
quivalent zur Wahl einer Durchlaufrichtung (mittels 90-Grad Drehung wie dort besprochen), also
zur alten Definition von Orientierung.
Fr Hyperflchen kann man ein Einheitsnormalenfeld in einer Kartenumgebung analog durch
hv1 vn , ui = det(v1 , . . . , vn , u)
fr alle u Rn+1 gilt. Die Eigenschaften dieses Kreuzproduktes sind analog zu denen in R3 .
Wir verfolgen nun zwei Ideen, die Krmmung einer Flche zu beschreiben:
a) Mit Hilfe der nderungsgeschwindigkeit des Tangentialraums.
b) Mit Hilfe der Krmmung von Kurven, die in M verlaufen.
a) fhrt zur Weingartenabbildung, die im nchsten Unterabschnitt behandelt wird, b) zur zweiten Fundamentalform im darauf folgenden Unterabschnitt. Es sind quivalente Beschreibungen.
Die Weingartenabbildung
Die Tangentialebene kann durch den Einheitsnormalenvektor beschrieben werden. Wir betrachten, wie
sich dieser ndert, wenn wir in Richtung eines Tangentialvektors gehen. Wir haben also einen Tangentialvektor X Tp M und untersuchen die nderungsgeschwindigkeit von N ( x ), wenn sich x von p in
Richtung (und Geschwindigkeit) X fortbewegt. Dazu bentigen wir die Ableitung von N in Richtung X,
also gerade das Differential.
Vorberlegung: Wenn N ein Einheitsnormalenvektorfeld auf M ist, dann ist wegen k N ( p)k = 1 jedenfalls N ( p) S2 fr alle p. Also ist N eine Abbildung M S2 . Per Definition ist dN| p ( X ) die nderungsgeschwindigkeit von N in Richtung X. Nun ist dN| p : Tp M TN ( p) S2 , also dN| p ( X ) tangential an S2 im
Punkt N ( p). Da TN ( p) S2 = N ( p) = Tp M gilt, ist dN| p eine Abbildung Tp M Tp M.
33
(II.2)
Dies ist unabhngig von der Wahl von (da wir dies allgemein bei der Definition des Differentials
gezeigt hatten). Dass dies tangential an M in p ist, folgt aus der berlegung vor der Definition, wir
knnen es aber auch direkt nachrechnen: Es gilt h N ((t)), N ((t))i = 1 fr alle t, und wenn man dies
nach t ableitet, ergibt sich 2h N ((t)),
d
dt N ( ( t ))i
ist Wp ( X ) Tp M.
Bemerkung:
W hngt von der Orientierung ab. Dreht man sie um (ersetzt man also N durch N), erhlt man
W anstelle von W.
Die Krmmung einer nach Bogenlnge parametrisierten Kurve c : I R2 war mittels der Ableitung
der Tangente T = N definiert. Es gilt dann N = T, also folgt fr die Weingartenabbildung von
Bild(c)
d
N ((t)) = N = T.
W ( T ) = dt
(Bei Kurven hatten wir N als Funktion von t, nicht von p = c(t) geschrieben. Auerdem knnen wir
wegen T = c hier = c bis auf eine irrelevante Zeitverschiebung nehmen.)
Das heit: Fr Kurven im R2 ist Wp = Multiplikation mit ( p).
W in Koordinaten:
e U M eine lokale Karte und p U, p = (u). Wir wollen W in den lokalen Koordinaten
Sei : U
berechnen. Das heit, wir wollen W (i ) bestimmen. Der Vektor i = i (u) wird durch die Kurve
u
(t) = (u + tei ) reprsentiert, d.h. (0) = i . Wir wenden Gleichung (II.2) fr diese Kurve an. Es ist
( N )
d
dt |t=0 N ( ( t ))
d
= dt
N ( (u + tei )) =
. Es ist blich, statt N einfach N zu schreiben, d.h. N (u)
| t =0
ui
ist der Normalenvektor im Punkt (u) (so wie wir es schon bei Kurven getan haben).
Also folgt
N
W ( i ) = i
u
j
Die Matrix von W bzgl. der Basis (i ) wird mit (wi ) bezeichnet, d.h. W (i ) =
Beispiele:
2
P
j =1
wi j fr jedes i.
Wenn M eine Ebene im R3 ist, dann ist N konstant, also dNp = 0 und somit auch Wp = 0 fr alle p.
34
Wenn M der Zylinder im R3 ist, also (, z) = (cos , sin , z), und N nach auen zeigt, dann ist
!
1 0
W ( ) = und W (z ) = 0. Also ist die Matrix von W bzgl. der Basis , z gleich
.
0 0
II.4.4 Satz
Die Weingartenabbildung ist selbstadjungiert bezglich g, d.h. fr alle p M gilt
g p (Wp ( X ), Y ) = g p ( X, Wp (Y ))
fr alle X, Y Tp M.
Beweis: Da g p bilinear ist, gengt es, dies fr eine Basis zu zeigen. Setze also X = i , Y = j . Den Index
p lassen wir der bersicht halber weg. Es ist
g(i , W ( j )) = hi , W ( j )i
=h
, Nj i
ui
u
= h
2
, Ni
u j ui
= h
2
, Ni
ui u j
= ...
= g( j , W (i ))
= g (W ( i ) , j )
!
Nachprfen von = :
Es gilt h
(u), N (u)i
ui
, N i + h i , Nj i
u u
u j ui
0
u j
= 0.
Bemerkung: Die Selbstadjungiertheit von Wp bedeutet nicht, dass (wi ) eine symmetrische Matrix ist. Das
wre nur der Fall, wenn ( gij ) die Einheitsmatrix wre. Spter werden wir aber sehen, dass die Matrix
P k
w j gik symmetrisch ist.
k
35
II.4.6 Proposition
In der Situation von II.4.5 hngt die Normalkrmmung von in p nur von (0) und von M ab.
Fr X Tp M schreiben wir n ( X ) = h (0), N ( p)i, wobei (0) = p, (0) = X.
Genauer gilt n ( X ) = g p ( X, Wp ( X )), wobei Wp die Weingartenabbildung von M in p ist.
Mit anderen Worten, zwei beliebige in M verlaufende Kurven durch p mit demselben Tangentialvektor in
p haben dort dieselbe Normalkrmmung.
Man nennt daher n ( X ) auch die Normalkrmmung von M in Richtung X .
Beweis: Es gilt h (t), N ((t))i = 0 fr alle t, da M. Ableiten nach t ergibt h (t), N ((t))i +
d
h (t), dt
N ((t))i = 0. Setze t = 0, dann folgt h (0), N ( p)i + h X, Wp ( X )i = 0.
Bemerkung: Der Beweis zeigt, dass die Formel h (0), N ( p)i = g p ( X, Wp ( X )) auch ohne die Annahme
k X k = 1 gilt. Um von Normalkrmmung sprechen zu knnen, braucht man aber diese Bedingung.
Fr bestimmte Kurven fllt die Krmmung mit der Normalkrmmung zusammen (bis auf das Vorzeichen):
II.4.7 Definition
Sei M Flche, p M, X Tp M und k X k = 1. Sei E p = span{ N ( p), X }. E p + p (Verschiebung von
E p nach p) heit Normalschnitt von M in p bezglich X.
E p ist also die Ebene durch p, die von N ( p) und X aufgespannt wird.
Zur Berechnung der Normalkrmmung ist manchmal ntzlich:
II.4.8 Proposition
M ( E p + p) ist nahe p eine regulre Kurve, deren Krmmung in p genau |n ( X )| ist. Die Krmmung dieser Kurve ist in p also gerade die Normalkrmmung.
Beweis: Dass dies eine regulre Kurve ist, folgt aus dem Satz ber implizite Funktionen (bung). Sei
die genannte Kurve, nach Bogenlnge parametrisiert. (0) muss in E p liegen und senkrecht zu (0) = X
sein. Also ist (0) parallel zu N ( p) und somit |h (0), N ( p)i| = k (0)k.
Bei dem Zylinder mit X = ist ( E p + p) M ein Kreis mit Radius 1, also muss g( X, W ( X )) = 1
sein. Es war W =
1
0
0
0
Bei X = z ist der Normalschnitt eine Gerade. Sie hat die Krmmung 0, also ist hier W ( X ) = 0.
Wir haben jetzt zwei Wege, Krmmung einer Flche in einem Punkt p zu verstehen:
B
Als lineare Abbildung Wp : Tp M Tp M: Fr X Tp M beschreibt Wp ( X ), wie sich der Normalenvektor ndert, wenn man von p in Richtung X luft.
36
Der Zusammenhang zwischen diesen beiden Beschreibungen ist Spezialfall eines allgemeinen Prinzips
der Linearen Algebra:
Sei V Vektorraum, g Skalarprodukt auf V. Dann sind folgende Konzepte auf V quivalent:
B
Symmetrische Bilinearformen B : V V R
Relationen:
B
q mittels q( X ) = B( X, X )
B mittels B( X, Y ) = g( X, A(Y ))
A mittels Riesz-Lemma (fr jede Linearform l auf V gibt es genau einen Vektor Z V mit
P
j
X i vi ,
jY
jv
j)
P
i,j
Bij X i Y j
Ai v j
j
A und B stehen in der oben genannten Beziehung genau dann, wenn Bij = Ai fr alle i, j gilt.
Wichtig: Dies gilt nur fr Orthonormalbasen (vi ), nicht fr eine beliebige Basis.
Die quadratische Form ist dann durch q(
P
i
X i vi ) =
P
i,j
fr beliebige t R, X V, also ist q schon durch ihre Werte auf der Einheitssphre (k X k = 1) eindeutig
bestimmt.
R2
mit vi = ei und A =
Das ist die allgemeine Formel fr quadratische Formen von zwei Variablen.
II.4.9 Definition
Sei M eine Flche, p M, N ein Einheitsnormalenvektorfeld und W die zugeordnete Weingartenabbildung.
Die zweite Fundamentalform von M in p (bezglich N) ist I I p ( X, Y ) := g p ( X, Wp (Y )) fr
X, Y Tp M.
I I p : Tp M Tp M ist wie die erste Fundamentalform g p eine symmetrische Bilinearform auf Tp M. Es ist
diejenige symmetrische Bilinearform auf Tp M, die bezglich g p der linearen Abbildung Wp zugeordnet
ist.
Im Unterschied zu g p braucht I I p aber nicht positiv definit zu sein.
37
II.4.10 Proposition
Seien M, p, N wie in der Definition und X Tp M mit k X k = 1. Dann ist I I p ( X, X ) die Normalkrmmung von M bei p in Richtung X.
Das heit, die Normalkrmmung als Funktion von X ist die quadratische Form (eingeschrnkt
auf Einheitsvektoren X), die der Bilinearform I I p zugeordnet ist .
Beweis: Folgt sofort aus der Definition und der vorigen Proposition.
Bemerkung:
Wie oben bemerkt, gilt I I p ( X, X ) = h (0), N ( p)i fr beliebige X Tp M (ohne Bedingung k X k = 1).
Der folgende Satz gibt eine Interpretation von I I p als Hessische einer Funktion:
II.4.11 Satz
e
Sei M Flche, p M. Dann ist M nahe p ein Graph ber Tp M. Das heit es gibt Umgebungen U
e R mit U = { p + X + h( X ) N ( p) :
von 0 in Tp M, U von p in M und eine glatte Funktion h : U
e }. Es gilt h(0) = 0, dh = 0 und Hess( h) = I I p .
XU
|0
|0
Die Aussage wird klarer, wenn man das Koordinatensystem so wie am Anfang des Beweises unten legt.
Bemerkung: Wenn h : V R eine glatte Abbildung auf einem Vektorraum V mit h(0) = 0 ist, dann ist
dh|0 : V R linear, und falls dh|0 = 0, dann ist Hess(h)|0 : V V R eine symmetrische Bilinearform
definiert durch Hess(h) ( X, Y ) = d( dh( X ))(Y ) = d2 h( X, Y ).
2
h
Falls V = Rn ist, so ist Hess(h) in der Standarbasis durch die Matrix
(0) gegeben.
i j
x x
R3
yEbene ist.
M ist lokal Graph ber der x yEbene nahe p (Analysis II, Satz ber implizite Funktionen). Also gibt
e R2 }, und
es h mit U = {( x, y, h( x, y)) : ( x, y) U
h
x (0)
= h
y (0) = 0 wegen T0 M = ( x, y )-Ebene.
2
Berechne I I0 : Sei X = (, ) R = Tp M und (t) = (tX, h(tX )) = (t, t, h(t, t )). Damit ist (0) = 0
und (0) = X und der Normalteil von ist
h (0), N i
d2
h(t, t )
dt2 |t=0
d
dt |t=0
h (t, t ) + h (t, t )
Dies ist genau die quadratische Form, die durch die Matrix Hess(h)|0 gegeben ist.
Beispiel: Sei M = {( x, y, h( x, y)) : x, y R} mit h( x, y) =
1
2
2 ( ax
38
Da Wp selbstadjungiert bzgl. des Skalarprodukts g p ist, ist Wp diagonalisierbar mit reellen Eigenwerten,
d.h. es gibt eine Basis aus Eigenvektoren. Falls 1 6= 2 , so sind die Eigenvektoren bis auf skalare Vielfache
eindeutig und stehen senkrecht aufeinander. Falls 1 = 2 , so folgt Wp = 1 Id.
II.4.13 Proposition
Die Hauptkrmmungen von M in p sind der kleinste und der grte Wert von I I p ( X, X ) ber
alle X Tp M mit k X k = 1. Falls 1 6= 2 , sind die Hauptkrmmungsrichtungen die zugehrigen
Vektoren X.
Beweis: Seien 1 , 2 die Eigenwerte von Wp und X1 , X2 zugehrige Eigenvektoren. Es gilt also Wp ( X1 ) =
1 X1 und Wp ( X2 ) = 2 X2 . Wir knnen annehmen, dass k X1 k = k X2 k = 1 und X1 X2 (die Orthogonalitt ist fr 1 6= 2 automatisch, fr 1 = 2 knnen wir X1 , X2 so whlen). Die Darstellung von W
in dieser Basis ist die Diagonalmatrix diag(1 , 2 ), und da dies eine Orthonormalbasis ist, ist I I durch
dieselbe Matrix dargestellt, d.h. fr X = X1 + X2 ist
I I ( X, X ) = 1 2 + 2 2
Unter allen Vektoren X mit k X k2 = 2 + 2 = 1 hat dies, wie im Beispiel oben gezeigt, Maximum und
Minimum 1 , 2 , und diese werden bei den Vektoren X = X1 bzw. X = X2 angenommen.
h( x, y) = x4 + y4 . Hier ist h xx (0) = hyy (0) = h xy (0) = 0, also I I0 = 0 und somit 1 = 2 = 0. Bei 0
hat der Graph einen Flachpunkt.
1 +2
2
1
2
tr Wp .
k X k2
39
Zylinder, W =
1
0
0
0
H = 21 .
Bemerkung: Ersetzt man N durch N, so
B
geht W in W ber
gehen 1 , 2 in 1 , 2 ber
geht K in K ber
geht H in H ber
Wenn M als Graph ber Tp M dargestellt wird und die Hauptkrmmungsrichtungen X1 , X2 als Basisvektoren von Tp M genommen werden, ergibt sich I I p ( X, X ) = 1 2 + 2 2 = Hess(h)|0 ( X, X ). Identifiziere Tp M mit R2 und X = X1 + X2 mittels dieser Basis, dann folgt nach Taylor h(, ) =
1
2
2 (1
+
2
fr , 0. Das bedeutet, dass M zu dritter Ordnung durch eine quadratische Flche
approximiert wird (bzw. tangential zu zweiter Ordnung an eine solche Flche ist). Es gilt
2 ) + O(|(, )|3 )
K = 1 2 > 0: M liegt nahe p auf einer Seite von Tp M, p ist ein elliptischer Punkt
Abbildung II.6.: = 0
40
Beispiel: Wenn man die Einheitssphre mit nach auen gerichtetem Einheitsnormalenvektorfeld betrachtet, so hat diese H = 1. Dehnt man die Sphre nach auen aus, wird die Flche grer. Genauer gilt:
II.4.15 Satz
Sei M eine Flche, N ein Einheitsnormalenvektorfeld, a : M R beschrnkt und glatt und
Me := { p + ea( p) N ( p) : p M}. Dann ist
d
de |e=0 vol( Me )
= 2
a H d vol .
II.4.16 Korollar
Falls die Flche von M unter kleinen nderungen nicht verkleinert werden kann, so ist H 0.
II.4.17 Definition
M heit Minimalflche , wenn H 0 ist.
K hat auch die Bedeutung eines Verzerrungsfaktors fr den Flcheninhalt unter der Gau-Abbildung
N : M S2 .
Genauer gilt: Ist p M und K ( p) 6= 0, so existiert eine Umgebung
U M von p, so dass N : M N (U )
R
U
ein Diffeomorphismus ist und die Flche von N gleich K d vol ist.
(bung, wegen K = det W = det( dN ) ist das im Wesentlichen die Transformationsformel.)
(u)
ui
ist
gij X i Y j
i,j
falls X =
P
i
X i i und Y =
Fr W setzen wir
j
wi
ij
P j
Y j ist.
j
W (X) =
X X
j
P
j
wi X i
j .
Weiter ist
hij := I I i , j = h
2
, Ni
ui u j
Wir suchen nun eine Beziehung zwischen den gij , hij und wi , um Zusammenhnge darstellen zu knnen.
41
Es gilt fr alle i, j
hij
I I i , j
g i , W j
!
g i ,
X
k
wkj
wkj k
u
g i ,
uk
wkj gik
i,j=1,2
und w = wkj
j,k=1,2
gilt h = w g (Matrixprodukt).
II.4.18 Definition
gij
i,j
Damit ist wi =
P
k
i,j
hik gkj , da w = h g1 .
Bemerkung: Oft wird die Einsteinsche Summationskonvention benutzt. Die Summenzeichen lsst man
weg, aber es wird immer ber Indizes summiert, die sowohl unten als auch oben vorkommen. Indizes,
ber die nicht summiert wird, behalten ihre Positionen (oben oder unten).
j
Zum Beispiel schreibt man dann hij = wkj gik und wi = hik gkj .
Es gilt gij = g ji und hij = h ji , denn g und h symmetrisch. Die Weingartenabbildung W ist selbstadjunj
giert bezglich g, daraus folgt aber im Allgemeinen nicht, dass wi = wij ist! Dies gilt nur, wenn die i eine
Orthonormalbasis bilden.
Diese Formeln sind scheulich und fr geometrische Fragen eher ungeeignet! Aber man braucht sie
manchmal zur Rechnung.
Ist eine lokale Karte gegeben, so kann man also nacheinander berechnen:
(1) Die Vektoren i =
ui
(5) wi =
2
, Ni
ui u j
P
k
hij gkj
(6) K = det w =
(7) H =
1
2
det h
det g
tr w
(8) 1/2 = H
H2 K
,h =
x2
1
2 (1
42
F
E
1
EG F2
eG f F
,
EG F2
w12 =
eF + f G
,
EG F2
eg f 2
EG F2
1
2
tr W =
1 eG 2 f F + Eg
.
2
EG F2
Beispiel: Sei M als Graph gegeben, M = {( x, y, ( x, y)}. ( x, y) = ( x, y, ( x, y)) ist also eine lokale Karte
und es ist
= (1, 0, x ),
hij = h
ij
2
ui u j
gij =
1 + x2
x y
x y
1 + y2
1
1+||2
x y
x y
,
1 + x2
1
(x , y , 1),
1+||2
also
hij =
1
1+||2
K=
H=
,
!
1 + y2
, N i mit N =
xx
xy
yx
yy
xx yy 2xy
(1+||2 )2
und
2
2
1 (1+y ) xx 2x y xy +(1+x ) yy
.
2
(1+||2 )3/2
III.1. Isometrien
Diese Ideen sollen hier mathematisch formuliert werden.
III.1.1 Definition
0
e (t)k dt
k
Zb
k dF|(t) ( (t))k dt
Zb
k (t)k dt
L[]
43
44
Damit ist
ZT
k (t)k dt
L [ T ]
L [ F T ]
ZT
k dF|(t) ( (t))k dt
= k (0)k = X
und andererseits
d
dt | T =0 L [ F T ]
(2) (1) bedeutet: Wenn F Lngen erhlt, dann erhlt es auch Winkel. Denn wenn
g( X,Y )
der Winkel zwischen X und Y ist, dann ist cos = k X kkY k .
Bemerkung:
Eine Isometrie ist immer ein Diffeomorphismus, d.h. F 1 ist glatt. Denn (2) impliziert, dass dF| p
injektiv ist, wegen dim M = dim M0 also bereits bijektiv. Mit dem Satz ber die Umkehrabbildung
folgt dann dass F 1 glatt ist.
III.1. Isometrien
45
III.1.4 Proposition
Sei F : M M0 Diffeomorphismus. F ist genau dann eine Isometrie, wenn zu jeder lokalen Karte
e U M fr die lokale Karte 0 = F : U
e U 0 : = F (U ) M 0
:U
Wie immer gengt es, dass die Bedingung fr eine berdeckung von M mit lokalen Karten erfllt ist.
Beweis: Mit i =
0
und i0 = i folgt aus der Kettenregel i0
i
u
u
g(i , j ) = g(dF (i ), dF ( j )) = g0 (i0 , 0j ) = gij0 .
( F )
=
= dF (i ). Ist F eine Isometrie,
ui
so gilt also gij =
Umgekehrt bedeutet gij = gij0 , dass die
Isometriebedingung fr die Vektoren X = i , Y = j erfllt ist. Da g, g0 bilinear sind, gilt sie dann fr
beliebige X, Y.
Folgende Formulierung wird spter ntzlicher sein.
III.1.5 Korollar
e U U M und : U
e V M0 lokale Karten mit demselben Definitionsbereich
Seien : U
e Rn . Seien g , g0 die ersten Fundamentalformen fr M, M0 bezglich dieser Karten. Falls
U
ij
ij
e und alle i, j gilt, so sind U, V isometrisch, d.h. es gibt eine Isometrie
gij (u) = gij0 (u) fr alle u U
U V.
Beweis: Setze F = 1 : U V, dann ist F = , und nach Proposition III.1.4 ist F eine Isometrie.
Beispiel: F : (0, 2 ) R U Z mit (, z) 7 (cos , sin , z) ist ein Diffeomorphismus auf den Zylinder
ohne Naht an der Seite (aufgeschnittenen Zylinder U). Wir hatten berechnet, dass g von Z in den
!
1 0
, z Koordinaten gleich
ist fr alle und z.
0 1
1
ist auch die Matrix der euklidischen Metrik auf (0, 2 ) R. Also ist F eine Isometrie (entspricht
0 1
dem Aufrollen eines Papiers).
46
Allgemein: jede Gre, die sich in lokalen Koordinaten allein mittels der gij oder ihrer (einfachen
und hheren) partiellen Ableitungen nach den uk (also z.B. ohne Verwendung von
ui
oder N)
Weiter unten lernen wir die kovariante Ableitung und den Riemannsche Krmmungstensor, die
beide Gren der inneren Geometrie sind. Dies sind komplizierte Arten von Objekten (keine Funktionen).
,
ui
M heit flach , wenn es lokal isometrisch zu Rn ist, d.h. fr alle p M gibt es eine Umgebung U M von p, so dass U isometrisch zu einer Teilmenge des Rn ist.
Zylinder und Kegel sind flach, da sie lokal isometrisch zum R2 sind.
Die Sphre ist nirgends flach, d.h. es gibt keine offene Menge U S2 , die isometrisch zu einem
e R2 ist.
U
Denn sei p U. Berechne den Umfang eines Kreises mit Radius R > 0, innerhalb der Sphre
gemessen. Wir bestimmen zunchst den in R3 gemessenen Radius r dieses Kreises: Dazu sei dieser
Kreis der obere Rand eines Kegels mit Spitze im Ursprung und halbem ffnungswinkel . Es ist
r = sin und R = , also r = sin = sin R. Also hat der Kreis einen Umfang von 2r = 2 sin R.
Wre U flach, so msste dieselbe Formel wie im R2 gelten, da alle Lngen unter einer Isometrie
erhalten bleiben. Wegen R > sin R fr R > 0 gilt aber 2 sin R 6= 2R, also ist U nicht flach!
Bemerkung: Fr Ebene und Zylinder / Kegel gilt jeweils K = 0!
Dass die Sphre und die Ebene nicht isometrisch sind, kann man auch daran sehen, dass in der Sphre
K 1, fr R2 aber K 0 gilt. Dafr muss man aber gezeigt haben, dass K eine Gre der inneren
Geometrie ist. Das werden wir spter zeigen.
47
Frage: Wie bestimmt man fr zwei gegebene Mannigfaltigkeiten, ob sie isometrisch sind?
Ein Beweis, dass sie isometrisch sind, wrde im Angeben einer Isometrie bestehen. Es kann aber schwierig sein, eine solche zu finden. Noch schwieriger ist die Frage, wie man beweisen kann, dass keine Isometrie
existiert.
Frage: Wie sieht man einer Flche M (in lokalen Koordinaten gegeben) an, ob sie flach ist?
Um solche Fragen zu beantworten, sucht man nach Invarianten, d.h. Gren, die M zugeordnet sind
und unter den relevanten Abbildungen (hier: Isometrien) erhalten bleiben.
Berechnet man die Invariante fr M und fr M0 und sind diese verschieden (bzw. nicht zur Deckung
zu bringen), so folgt, dass M und M0 nicht isometrisch sein knnen.
X (u) =
n
P
i =1
e
X i (u)i fr u U.
Beachten Sie, dass im zweiten Fall X durch n Komponentenfunktionen beschrieben wird, im ersten
durch N Komponentenfunktionen (die allerdings zustzliche Bedingungen erfllen mssen, damit X p
Tp M ist). Beide Betrachtungsweisen erlauben uns, zu definieren, was es bedeutet, dass ein Vektorfeld glatt
ist: Die jeweiligen Komponentenfunktionen sollen glatt sein. Im ersten Fall ist das quivalent dazu, dass
die Abbildung M R N glatt ist. Diese aus den beiden Betrachtungsweisen resultierenden Definitionen
von Glattheit sind quivalent (bung).
Wir verwenden folgende Bezeichnungen:
B
C ( M ) = {glatte Funktionen M R}
(hX ) p = h( p) X p .
Das heit, die Lnge von X p wird variabel mit p gendert, so wie es die Funktion h vorgibt.
48
( X f )( p) = d f | p ( X p ).
Also blo eine neue Notation fr ein altes Konzept! Wir stellen X f in lokalen Koordinaten dar: Sei
e U M eine lokale Karte. Betrachte zunchst X = und fe = f . Nach Definition und
: U
i
Kettenregel ist
(i f )( (u))
d f | (u) ( i ) = d f | (u)
( f )
(u)
ui
e
f
(u)
ui
(u)
ui
Also kurz:
i f =
fe
ui
Diese eingngige Identitt ist der Grund fr die Bezeichnung i . Fr ein beliebiges Vektorfeld X (u) =
P
i
Xi
e
f
ui
a) ( X + Y ) f = X f + Y f
b) (h X ) f = h ( X f )
(2)
a) X ( f + g) = X f + Xg
b) X (c f ) = c X f
(3) X ( f g) = X f g + f Xg (Produktregel)
Beweis: (1) und (2) sind einfach direkt nachzurechnen. Fr (3) gengt es wegen Punkt (1) des Lemmas,
die Aussage fr X = i nachzuprfen. Damit folgt (3) aus der blichen Produktregel.
Bemerkung: Man kann die Aussagen des Lemmas auch mit schicken Begriffen der Algebra formulieren
(das ist hier nicht unbedingt ntig, kann aber fr die bersicht ntzlich sein, wenn Sie noch mehr hnliche
Regeln kennenlernen):
B
X ( M) und C ( M) sind R-Vektorrume. Dabei sind Addition und Multiplikation mit Skalaren
punktweise definiert, d.h. ( X + Y ) p = X p + Yp , (cX ) p = cX p fr X, Y X ( M ) und c R, und
hnlich fr Funktionen.
C ( M) ist sogar eine R-Algebra , d.h. ein Vektorraum, auf dem zustzlich ein Produkt C ( M)
C ( M) C ( M), ( f , g) 7 f g definiert ist (punktweise Multiplikation), das R-bilinear ist, d.h.
mit den Vektorraum-Operationen vertrglich ist (insbesondere ist C ( M ) mit + und ein Ring).
49
Genauer ist C ( M ) eine assoziative R-Algebra , d.h. das Produkt erfllt das Assoziativgesetz
( f g)h = f ( gh).
X ( M) ist aber keine assoziative Algebra: Man kann Vektorfelder nicht multiplizieren. (In Kapitel
IV.5 werden Sie aber die Lie-Klammer kennenlernen, die X ( M ) doch zu einer Algebra macht diese
ist aber nicht assoziativ.)
B
Teil (2) des Lemmas sagt: Die Abbildung ( X, f ) 7 X f ist R-linear bzgl. f . D.h. fr jedes feste X ist
f 7 X f R-linear.
Teil (3) des Lemmas sagt insbesondere, dass ( X, f ) 7 X f nicht C ( M)-linear bzgl. f ist: X ( f g) ist
im Allgemeinen nicht gleich f ( Xg).
Ist A eine R-Algebra, so nennt man eine Abbildung D : A A eine Derivation , wenn sie R-linear
ist und die Produktregel
D ( f g) = ( D f ) g + f ( Dg)
fr beliebige f , g A gilt.
(2) und (3) sagen also, dass f 7 X f fr jedes X X ( M ) eine Derivation ist.
R
X Y
p
= dY| p ( X p ).
R
X Y ist ein Vektorfeld.
III.2.5 Alternativ-Definition
Sei : I R N mit (0) = p und (0) = X p , dann definieren wir
R
X Y
p
d
dt |t=0 Y(t)
50
Die Alternativ-Definition ist deshalb von Interesse, weil Y hier nur an den Kurvenpunkten (t) definiert
sein muss. Die quivalenz der beiden Definitionen folgt direkt aus der Kettenregel.
Ist Y = (Y 1 , . . . , Y N ) =
P i
N
1
N
i
Y ei , so ist R
X Y = X (Y ), . . . , X (Y ) , wobei X (Y ) die Richtungsablei-
p
d
dt |t=0 Y(t) ,
wobei innerhalb von M verluft und (0) = p, (0) = X p ist (es gibt so eine Kurve, weil X p Tp M).
Problem: Das muss nicht tangential an M sein! Lsung: Projiziere auf Tp M!
Erinnerung: Sei v R N , dann ist v = hv, Np i Np + (v hv, Np i Np ) die Zerlegung von v in Vektoren
parallel und orthogonal zu N.
III.2.6 Definition
Sei M R N eine Untermannigfaltigkeit, X, Y X ( M ).
Die kovariante Ableitung von Y in Richtung X ist das (tangentiale) Vektorfeld X Y X ( M)
definiert durch
N
R
( X Y ) p = (R
X Y ) p h( X Y ) p , Np i Np .
Auch wenn M keine Hyperflche ist, kann man natrlich eine Formel X Y angeben, sie ist aber ein klein
wenig komplizierter.
Beachte, dass sich diese Definition auf die extrinsischen Gren N und R
berraschend, dass wir gleich zeigen werden, dass eine Gre der inneren Geometrie ist!
Statt kovariante Ableitung sagt man auch Zusammenhang oder Levi-Civit-Zusammenhang .
III.2.7 Lemma (Rechenregeln fr )
Seien X, Y, X1 , X2 , Y1 , Y2 X ( M), h C ( M ).
(1)
(2)
X1 + X2 Y = X1 Y + X2 Y
hX Y = h X Y
X (Y1 + Y2 ) = X Y1 + X Y2
Die Produktregel in (2) merkt man sich am besten so: Wenn das Produkt hY abgeleitet wird, muss eine
Summe herauskommen: Im ersten Summanden wird h ableitet und das Ergebnis mit Y multipliziert, im
zweiten wird Y abgeleitet und das Ergebnis mit h multipliziert. Die angegebenen Ableitungsoperationen
(Xh bzw. X Y) sind die in diesem Kontext einzig natrlichen.
Bemerkung: Nochmal fr die Algebra-Fans: (1) sagt, dass ( X, Y ) X Y bezglich X C ( M)-linear ist
(Man kann Funktionen rausziehen). (2) sagt, dass es bezglich Y nicht C ( M)-linear ist, sondern eine verallgemeinerte Derivation. Ist A eine Algebra und M ein A-Modul, so ist eine verallgemeinerte Derivation
auf M eine A-lineare Abbildung D : M M, fr die eine Derivation D 0 auf A existiert, so dass
51
III.2.8 Lemma
N
e = Y . Dann ist R Y =
e U M eine lokale Karte, Y X ( M ) und Y
Sei : U
Beweis: R
Y = dY ( i ) =
i
(Y )
ui
e
Y
:
ui
e
Y
.
ui
e schreiben) folgt
Insbesondere fr Y = j (wobei wir hier nachlssig sind und Y statt Y
N
R
j =
i
2
.
ui u j
Bemerkung (Hoch- und Runterziehen von Indizes): Bei den folgenden Rechnungen in Koordinaten ist
folgende Konstruktion wichtig: Sind ( a1 , . . . , an ) und (b1 , . . . , bn ) Vektoren in Rn , so gilt:
al =
bk gkl l bk =
X
l
da wir
gkl al k
g11
.
g = ..
...
gn1
...
g1n
g11
.. 1 ..
. ,g = .
gnn
gn1
...
...
g1n
..
gnn
bk k al = g(v, l ) l
denn g(
P k
P
b k , l ) = bk gkl .
k
In Worten: (bl ) sind die Komponenten eines Vektors ak = Skalarprodukte des Vektors mit k .
III.2.9 Definition
M
RN
X ( M) X ( M)
eine
Untermannigfaltigkeit
und
e
U
fr i, j = 1, . . . , n.
Die Christoffel-Symbole erster Art von M bzgl. erhlt man durch Runterziehen des oberen
Indexes
ij,l =
ijk k
i j
R
R
j h j , N i N
i
2
ui u j
2
, N i N.
ui u j
52
Auerdem ist h
2
, Ni
ui u j
2
ui u j
ijk k + hij N.
ijk = kji
2
ui u j
2
u j ui
gilt, folgt
ij,l = ji,l
1
2
g jl
ui
gil
u j
gij
ul
fr i, j, , l = 1, . . . , n.
Beweis: Wende Lemma III.2.7 auf X = l , Y = i , Z = j an.
gij
ul
= l gij
l g i , j
g l i , j + g i , l j
li,j + lj,i
Damit folgt
1
2
g jl
ui
gil
u j
gij
ul
li,j + lj,i ,
ij,l + il,j ,
jl,i + ji,l .
= ij,l .
Beispiel: Ist M flach, so knnen wir eine Karte whlen, in der gij = ij ist, also konstant fr jedes i, j. Aus
der Formel im Satz folgt dann ij,l = 0 fr alle i, j, l.
Es lohnt sich nicht, die Formeln fr ijk auswendig zu lernen. Wichtig ist nur, dass durch g bestimmt
Die folgenden berlegungen sind fr das weitere Verstndnis zunchst nicht unbedingt ntig, vervollstndigen aber das Bild etwas.
In welchem Sinne bleibt unter Isometrien erhalten? Um dies zu formulieren, ist folgende Notation
ntzlich:
III.2.11 Definition
0
( F X )q = dFp ( X p )
fr q = F ( p)
Man rechnet leicht nach, dass F ( X + Y ) = F X + F Y ist und dass man Funktionen rausziehen kann:
Fr h C ( M), X X ( M ) ist F (hX ) = F hF X; wobei F h = h F 1 die auf M0 verschobene Funktion
h ist.
53
III.2.12 Satz
Die kovariante Ableitung ist eine Gre der inneren Geometrie in dem Sinn, dass fr jede Iso0
F (i j ) = F (
ijk k ) =
0 0j =
i
ijk 0k
und
X 0
k 0
ij k
det h
det g
terminante der Weingarten-Abbildung). Wir suchen eine Formel, die K allein mittels g ausdrckt. Damit
det h
det g
= (ein Ausdruck in g) folgen. Eine solche Formel wrde also bedeuten, dass es eine Beziehung
zwischen g und h gibt, die fr jede beliebige Flche besteht.
Stellen wir uns also zunchst folgende Frage: Gibt es universelle Beziehungen, die fr beliebige Flchen
(und beliebige lokale Karten) zwischen g und h bestehen?
Ein wenig anders formuliert: Knnen wir Bedingungen an die Matrizen g und h finden, die erfllt sein
mssen, damit es eine Flche gibt, die g als erste und h als zweite Fundamentalform hat?
Offensichtliche Bedingungen sind, dass g und h symmetrisch sind und dass g positiv definit ist. Gibt
es weitere? Prziser formuliert (fr Hyperflchen, was nicht schwieriger als fr Flchen ist):
wrde
dass g(u) =
gij (u) positiv definit fr alle u. Gibt es dann eine lokale Karte einer Hyperflche M Rn+1 , so dass
gij und hij gerade die erste und zweite Fundamentalform von M bezglich dieser Karte beschreiben?
Wenn die Antwort nicht allgemein ja lautet, knnen wir dann (notwendige und hinreichende) Bedingungen an g und h formulieren, unter denen ein solches existiert?
54
Um dies zu untersuchen, stellen wir zunchst zusammen, welche Beziehungen zwischen , den gij
Wenn gij
und hij
2
ui u j
(2)
N
uk
= i j + hij N =
= W ( k ) =
hk g .
N
uk
etc.,
P
ij + hij N
Beweis:
ui
= W ( k ) =
2
ui u j
= R
j in tangentialen und normalen Anteil. Dies
i
wk mittels wk =
hk g
Bemerkung: Diese Formeln sind die Analoga fr Flchen der Frenet-Formeln fr Kurven: Man drckt die
Ableitung von Tangential- und Normalvektoren mittels der Tangential- und Normalvektoren aus. Bei den
Frenet-Gleichungen nahmen wir eine Bogenlngeparametrisierung an, daher hatte T keine T Komponente.
Dies hat kein Analogon in n 2 Dimensionen. T entspricht hier i , i = 1, n.
Fr die folgenden berlegungen bentigen wir noch folgendes Lemma.
III.3.2 Lemma
Fr ein Vektorfeld X auf M ist die Zerlegung von
X
ui
= R
X in Tangential- und Normalteil
i
gegeben durch
X
ui
= i X + I I ( i , X ) N
Dies hatten wir fr X = j bereits in Satz III.3.1 verwendet. Die Notation hier ist etwas vereinfacht: wir
e = X .
unterscheiden nicht zwischen X und X
Beweis: Der tangentiale Teil ist i X nach Definition der kovarianten Ableitung. Der Normalanteil von
X
ui
ist g( N,
X
) N.
ui
ui
g( N, X ) = g( N,
X
)+
ui
g( Ni , X )
u
Der letzte Term ist g(W (i ), X ) = I I (i , X ), und die Behauptung folgt. (Diese Rechung wurde bereits
analog im Beweis von Satz II.4.4 durchgefhrt.)
bei gegebenen
dass jedes
ij
gij
gij
Bemerkung: Um die folgenden berlegungen einordnen zu knnen, ist es ntzlich, sich an folgendes
Problem aus Analysis III zu erinnern.
e Rn ein Gradientenfeld?
Frage: Wann ist ein Vektorfeld auf U
= Xi
ui
fr alle i ?
55
i
j
2
2
2
= Xj und i j = Xi . Da immer i j =
j
i
u
u u
u
u u
u u
i
j
2
fr alle i, j gilt, folgt Xj = Xi fr alle i, j. Dies ist die gesuchte notwendige Bedingung an X.
u
u j ui
u
Analog zu dieser Bemerkung wollen wir aus den Gleichungen (1) und (2) in Satz III.3.1 die hheren
-Ableitungen und N sowie
ijk
N
uk
eliminieren, um eine Gleichung nur fr die gij und hij zu erhalten (denn
Dazu leiten wir Formel (1) aus dem Satz nochmals ab und verwenden
2
ui u j ul
Wir berechnen
2
,
j
i
u u ul
2
.
j
i
u u ul
= j l + h jl N
an und erhalten:
ui j l
= i j l + I I ( i , j l ) N
(h jl N )
ui
= h jl Ni +
u
h jl
ui
Dies ist bereits eine Summe eines tangentialen und eines normalen Teils. Mit
2
ui u j ul
N
ui
= W (i ) folgt also
= i j l h jl W (i ) + (. . . ) N
wobei wir die genaue Formel fr den normalen Teil hier nicht bentigen.
Wir schreiben nun denselben Ausdruck noch einmal mit vertauschten Indizes i, j hin und bilden die
Differenz:
(III.1)
0=
2
ui u j ul
2
u j ui ul
= i j l j i l h jl W (i ) hil W ( j ) + (. . . ) N
Die Differenz der eckigen Klammern ist tangential, der letzte Term ist normal. Daher mssen beide
verschwinden. Das ist die gesuchte Relation zwischen g und h ! Die erste eckige Klammer lsst sich allein
mittels g ausdrcken, die zweite enthlt zustzlich h. Der erste Ausdruck ist so wichtig, dass er einen
eigenen Namen hat. Es ist ein Vektor, wir betrachten also seine Koeffizienten bzgl. der Basis k :
III.3.3 Definition
e U M eine lokale Karte.
Sei M R N eine n-dimensionale Untermannigfaltigkeit und : U
i j l j i l =
Rklij k
P m
Rlij gmk , die man durch Runterziehen des oberen Indexes erhlt, werden auch als
m
Komponenten des Riemannschen Krmmungstensors bezeichnet. Nach dem allgemeinen Rezept fr Runterziehen gilt
Rklij = g k , i j l j i l
Fassen wir das Ergebnis zusammen. Bildet man das Skalarprodukt von Gleichung (III.1) mit k und
verwendet g(W (i ), k ) = hik , so folgt:
56
R2121
det gij
ij
Beweis: Nach der Gau-Gleichung ist R2121 = h11 h22 h21 h12 = det hij
K=
ij
und damit
det hij
ij
det gij
ij
R2121
det gij
ij
was zu zeigen war. Dies ist eine Gre der inneren Geometrie, da R mittels der , einer Gre der inneren
Geometrie, bestimmt ist (fr eine explizite Formel siehe die Bemerkungen unten).
Bemerkungen:
Rklij sind n4 Zahlen, da i, j, k, l {1, . . . , n} sind. Viele von diesen sind aber bis
auf das Vorzeichen gleich. Beispielsweise folgt aus Rklij = h jl hik hil h jk wegen der Symmetrie der
Matrix der zweiten Fundamentalform Rklji = Rklij und Rlkij = Rklij .
Daraus folgt Rklij = 0 fr k = l oder i = j. Fr n = 2 mssen die anderen Rklij bis aufs Vorzeichen
gleich sein. Sie sind K det g. Insbesondere enthlt R hier also nicht mehr Informationen als K.
B
Indem man mittels der Christoffel-Symbole ausdrckt, erhlt man nach kurzer Rechnung die
Formel
Rklij =
jl
ui
il
u j
X
k
jl i
il kj .
Da die s Kombinationen aus g sowie seinen ersten und zweiten Ableitungen sind, sieht man: Rklij
ist ein Ausdruck in g und seinen ersten und zweiten Ableitungen.
B
Kommen wir auf unsere Ausgangsfrage zurck: Was sind Bedingungen an g und h (auer Symmetrie und Definitheit), damit diese die erste und zweite Fundamentalform einer Hyperflche bzgl.
geeigneter Koordinaten sind?
Wir haben gezeigt, dass die Gau-Gleichung eine notwendige Bedingung darstellt. Eine weitere notwendige Bedingung ergibt sich daraus, dass der Normalenanteil in Gleichung (III.1) verschwindet.
Dies ist die Codazzi-Meinardi-Gleichung . In Koordinaten lautet sie
X
jl hi il h j +
h jl
ui
hil
u j
=0
fr alle i, j, l. Man kann zeigen, dass die Gau- und die Codazzi-Meinardi-Gleichungen zusammen
auch eine hinreichende Bedingung fr die Existenz einer Hyperflche darstellen (zumindest lokal),
siehe z.B. das Differentialgeometrie-Buch von Khnel.
Dies ist das Analogon des Hauptsatzes der Kurventheorie fr Hyperflchen.
57
Dass K eine Gre der inneren Geometrie ist, kann man, wie wir zeigen werden, auch sehr viel
geometrischer einsehen. Auf dem Weg dorthin braucht man aber Formeln wie die oben angegebenen.
Bisher hatten wir immer zuerst eine Gre geometrisch (koordinatenunabhngig) eingefhrt und
dann ihre Komponenten bzgl. lokaler Koordinaten betrachtet (z.B. bei g, W, I I, ). Bei R haben wir
bisher nur einen Ausdruck in lokalen Koordinaten, die Rklij .
Fr eine koordinatenunabhngige Definition von R bentigt man den Begriff der Lie-Klammer zweier Vektorfelder. Dies wird in Kapitel IV.5 eingefhrt. Dort wird auch der Begriff Tensor eingefhrt
und gezeigt, dass R ein Tensor ist. Daraus folgt dann insbesondere: Falls Rklij = 0 fr alle k, l, i, j in
einem Koordinatensystem gilt, so gilt es auch in jedem anderen Koordinatensystem.
(Vorsicht: ist zwar ebenfalls eine Gre der inneren Geometrie, aber es ist kein Tensor, und aus
ijk = 0 i, j, k in einem Koordinatensystem folgt nicht, dass dies in jedem anderen Koordinatensys-
Aus dem Theorema Egregium folgt: Falls eine Flche M flach ist, so muss K 0 sein. Denn whlt
man lokale Karten so, dass gij = ij ist, so sind alle ijk 0 und damit auch K 0.
Allgemeiner ist fr eine flache Untermannigfaltigkeit Rklij 0 fr alle i, j, k, l. Dies folgt aus demselben Argument zusammen mit der vorigen Bemerkung.
Man kann zeigen, dass die Umkehrung auch gilt: Ist Rklij (u) = 0 fr alle u U und alle i, j, k, l (bzw.
K 0 bei Flchen), so ist M flach. Fr Flchen werden wir das im nchsten Abschnitt beweisen.
Sei M eine Mannigfaltigkeit. Der Begriff Y konstant macht hier keinen Sinn, da Yp fr verschiedene p in verschiedenen Tangentialrumen liegen.
Wir werden sehen, dass es bei n 2 kein Y X ( M ) mit X Y = 0 fr alle X X ( M) gibt, wenn die
Krmmung K 6 0 ist. Daher betrachten wir Konstanz von Y (Parallelitt) nur entlang von Kurven.
III.4.1 Definition
Sei M R N eine Untermannigfaltigkeit, : I M eine parametrisierte Kurve. Ein
Vektorfeld entlang ist eine glatte Abbildung, die jedem t I ein Xt T(t) M zuordnet. X
muss dabei nicht tangential an sein.
Beachten Sie, dass wir X hier als Funktion des Kurvenparameters t schreiben, nicht als Funktion von (t)
wie sonst bei Vektorfeldern blich. Dies ist praktischer. Falls eine einfache Kurve ist - d.h. (t) 6= 0 fr
alle t und injektiv -, kann man X als Funktion von (t) umschreiben. Hat Selbstschnitte, geht das im
Allgemeinen nicht (denn es kann Xt0 6= Xt1 sein, selbst wenn (t0 ) = (t1 ) ist).
Glattheit wird wie blich mittels lokaler Karten definiert: Ist Xt =
58
R
X : =
dX
dt ,
X := Projektion von R
X auf Tp M
d
dt X
auf Tp M ist.
III.4.2 Definition
Ein Vektorfeld X entlang einer Kurve : I M heit parallel entlang , falls X = 0 ist fr
alle t I.
Diese Definition ist sinnvoll, obwohl X nur auf und nicht in einer Umgebung davon definiert ist, denn
es wird nur die Ableitung in Richtung genommen, siehe III.2.5.
Beispiel:
dX
dt
konstant ist.
B
dX
dt ( t )
dX
dt ( t )
dX
dt
ist
Analoges gilt fr jeden Grokreis, also Schnitte von S2 mit Ebenen durch 0. Die Tangentenvektorfelder an andere Breitenkreise sind nicht parallel (bung, werden wir aber auch spter zeigen).
Sei der quator wie eben und Xt = (0, 0, 1) (senkrecht nach oben zeigend). Dann ist
dX
dt
= 0 fr
(hX ) =
dh
dt X
+ h X
= g( Xt , Yt ) + g( Xt , Yt )
59
P ai j
ai i j
ai
ijk k
X j j
X
j
dX j
dt
j + X j j
X k +
X j ai ijk k .
i,j
Also erhalten wir aufgrund der linearen Unabhngigkeit der k mit ijk = ijk ((t))
X = 0 X k +
X j ai ijk = 0 fr k = 1, . . . , n.
i,j
1
1
X
X
.
.
. = A(t) .
.
.
X n
Xn
III.4.4 Definition
Sei : I M eine glatte Kurve und t0 , t1 I. Die Parallelverschiebung entlang von t0 nach t1
: T(t0 ) M T(t ) M, die wie folgt definiert ist: Sei v T(t0 ) M. Sei X
1
das eindeutige parallele Vektorfeld entlang mit Xt0 = v. Dann setze P[t ,t ] (v) = Xt1 .
0 ,t1 ]
0 ,t1 ]
0 ,t1 ]
0 1
III.4.5 Proposition
Fr beliebige , t0 und t1 ist die Parallelverschiebung P[t
0 ,t1 ]
Das heit, die Parallelverschiebung erhlt Winkel und Lngen. Sie erhlt auch Orientierung (das wird
unten eingefhrt).
Beweis: Schreibe kurz P = P[t
0 ,t1 ]
gen ist linear, die Lsung hngt also linear von den Anfangswerten ab. Damit ist P linear. Um zu zeigen,
dass P orthogonal ist, muss man g( Xt0 , Yt0 ) = g( Xt1 , Yt1 ) nachprfen, fr beliebige entlang parallele
Vektorfelder X, Y. Es ist
parallel entlang sind.
d
dt g ( Xt , Yt )
= g( Xt , Yt ) + g( Xt , Yt ) = g(0, Yt ) + g( Xt , 0) = 0, da X und Y
60
Beispiel: Sei ein Breitengrad auf einem Kegel, also ein Kreis mit konstantem Abstand zur Spitze. Bei
einem vollen Durchlauf des Breitengrades dreht sich X unter Parallelverschiebung. ist eine geschlossene
Kurve von p nach p und P eine im Allgemeinen von der Identitt verschiedene Rotation.
Beachte: Aus der (offensichtlichen) Parallelitt der Vektoren links (im R2 ) drfen wir auf die Parallelitt
der Vektoren auf dem Kegel rechts schlieen, da die kovariante Ableitung und damit Parallelitt ein
Begriff der inneren Geometrie ist, also unter der Isometrie, erhalten bleibt.
Bemerkung:
Wenn M und M0 zwei Flchen sind, die sich entlang einer Kurve berhren, so ist Paralleltransport
entlang in M derselbe wie der in M0 . Denn X ist die Projektion von
dX
dt
Die physikalische Bedeutung der Parallelitt: Befestigt man einen Zeiger horizontal (d.h. tangenial zu
M) so an einem vertikalen Stab, dass er sich frei um diesen drehen kann, und bewegt den vertikalen Stab
entlang X, so ist die Richtung des Zeigers parallel entlang .
Auch die Schwingungsrichtung des Foucaultschen Pendels wird bei der Erddrehung parallel verschoben.
Geodtische
Was bedeutet geradeaus fahren auf einer Flche? Dass innerhalb der Flche keine Richtungsnderung
stattfindet!
III.4.6 Definition
Eine Kurve : I M heit Geodtische , falls
= 0
gilt, also falls parallel entlang ist.
Bemerkung: Wegen R
(t) = (t) = Beschleunigung ist dies quivalent dazu, dass die Beschleuni (t)
N
immer senkrecht auf M
gung im R (also die momentane nderung des Geschwindigkeitsvektors )
steht. Der tangentiale Anteil der Beschleunigung ist also gleich 0.
Beispiele:
also ist ist Geodtische genau dann, wenn eine mit konstanter Geschwindigkeit
Im R N ist = ,
durchlaufene Gerade ist.
61
Wir haben im letzten Beispiel gesehen, dass jeder Grokreis auf S2 mit konstanter Geschwindigkeit durchlaufen eine Geodtische ist. Wie wir sehen werden, sind dies auch die einzigen auf der Sphre.
Bemerkung: Wenn eine Geodtische ist, dann ist k k konstant, da parallele Vektorfelder konstante
Lnge haben.
Bemerkung: Zur intrinsischen Bedeutung von Geodtischen:
B
Ein Auto, das mit gerade gestelltem Lenkrad auf M fhrt, fhrt entlang einer Geodtischen. (Idealisiert, wenn wir den Radabstand als vernachlssigbar klein annehmen.)
Ein Teilchen, das sich nur innerhalb von M bewegen kann und auf das keine Krfte einwirken, bewegt sich entlang von Geodtischen. Dasselbe gilt fr Lichtstrahlen, die sich innerhalb M ausbreiten.
also X j = u j folgt
X = ,
= 0 u k +
u i u j ijk (u) = 0 k.
i,j
Dies ist ein System von n (nicht-linearen) Differentialgleichungen zweiter Ordnung der Form u = F (u, u ).
Nach dem Existenz- und Eindeutigkeitssatz hat dies eine eindeutige Lsung definiert in einer Umgebung
von 0, wenn (0) und (0) vorgegeben sind. Diese Lsung hngt nach dem Satz ber die glatte Abhngigkeit von Lsungen von den Anfangswerten glatt von t, p und v ab.
Beispiele:
mit Richtung v existiert und da Grokreise Geodtische sind, sind dies auch smtliche Geodtischen.
Sie sind fr alle Zeiten definiert, also I = R.
B
Wenn M eine beschrnkte offene Teilmenge des R N ist, sind Geodtischen Geraden und Punkte. Da
Geraden nach endlicher Zeit den Rand treffen, sind sie nur fr ein endliches Intervall I, das von p
und v abhngt, definiert.
Frage: Ein Schiff fhrt in Irland los in Richtung Westen und dann immer nur geradeaus. Wo trifft es
wieder auf Land, wenn es keine Strmungen und Winde gibt?
Bemerkung:
B
Sei Geodtische in einer Flche M. Ein Vektorfeld X ist parallel entlang genau dann, wenn k X k
und der Winkel zwischen X und konstant sind (bung).
Die intrinsische Bedeutung von Geodtischen folgt neben den angefhrten Argumenten auch aus
62
III.4.8 Satz
Krzeste Linien sind Geodtische, d.h. seien p, q M gegeben und eine Kurve von p nach q.
e von p nach q gilt L[
e] L[]. Dann ist eine Geodtische.
Angenommen fr jede andere Kurve
Beweis: sei oBdA nach Bogenlnge parametrisiert, : [0, L] M mit (0) = p und ( L) = q. Wir
betrachten Variationen von , d.h. Scharen von regulren Kurven s : [0, L] M, s (e, e), die auch
p und q miteinander verbinden. Sei 0 = .
Wir schreiben (s, t) = s (t) und nehmen an, dass glatt in (s, t) ist. Wir schreiben s = =
0 =
und
s .
Es ist L[s ] =
RL q
Der Integrand ist glatt in s, also ist s 7 L[s ] eine glatte Funktion. Nach Annahme hat sie ein Minimum
bei s = 0, also folgt
d
ds |s=0 L [ s ]
2
st
2
ts
und aus 0 =
2
st ,
dass
t
d
ds g ( s , s )
2 g 0 ,
2 g ( 0 , )
t g ( , )
g (0 , ) .
Auerdem gilt
g( s , s )
g( s , s ) = s
2
g( s , s )
Wir werten die Ableitung bei s = 0 aus. Wegen k 0 k = 1 ist die Wurzel im Nenner = 1.
Insgesamt ergibt sich
d
ds |s=0 L [ s ]
ZL h
t g
|0s=0 , 0 g |0s=0 , 0 0
i
dt.
0
L
Das Integral ber den ersten Term ist gleich Null, denn er ist gleich g(0 , 0 )|tt=
=0 , und wegen s (0) = p
ZL
g |0s=0 , 0 0 dt
g( Xt , Yt ) dt = 0.
0
63
Beweis: Analog zur entsprechenden Aussage ber Funktionen: Falls Yt0 6= 0 fr ein t0 (0, L) ist, so
whlen wir eine glatte Funktion : [0, L] R mit (t) 0 fr alle t, (0) = ( L) = 0 und (t0 ) > 0.
Weiter setzen wir Xt = (t)Yt . Dann ist g( Xt , Yt ) = (t)kY k2 0 und fr t = t0 sogar > 0, also
R
Die Formel fr die erste Variation der Lnge ist auch fr Kurven 0 interessant, die keine Geodtischen
sind. Beispielsweise gilt in der Ebene = = Beschleunigung (zeigt ins Innere der Kurve). Die
so nimmt die Lnge ab.
Formel sagt dann: Verschiebt man in Richtung ,
Frage: Gilt auch die Umkehrung, sind also Geodtischen immer krzeste Verbindungen?
Im Allgemeinen nicht, wie man leicht am Beispiel der Sphre erkennen kann: Liegen p und q nahe
beieinander, so kann man von p nach q entweder den kurzen oder den langen Weg (hintenherum) auf
dem Grokreis gehen; der lange Weg ist eine Geodtische, aber bestimmt nicht der krzeste Weg.
Lokal ist die Antwort aber Ja. Genauer gilt:
III.4.10 Satz
Sei M eine Untermannigfaltigkeit des R N . Jeder Punkt p M hat eine Umgebung U mit
B
zu je zwei Punkten q, q0 U gibt es genau eine Geodtische von q nach q0 , die in U verluft.
Diese ist der krzeste Weg von q nach q0 unter allen Wegen in M.
Zum Beweis siehe Bcher zur Riemannschen Geometrie. Auf der Sphre kann man fr U irgendeine
Kreisscheibe mit Radius <
Geodtische Krmmung
Die bisherigen berlegungen dieses Abschnitts galten in beliebigen Dimensionen. Nun beschrnken wir
uns auf Flchen.
Wir erinnern uns an den Anfang der Vorlesung, also Kurven in der Ebene, und wollen die berlegungen
dort auf Kurven in einer Flche M verallgemeinern.
Insbesondere hatten wir fr c : I R2 die Krmmung definiert. Sei c nach Bogenlnge parametrisiert.
Dann war die Krmmung R definiert durch | | = kck und > 0, wenn c in Richtung n zeigt, wobei
n die Drehung von T = c um + 2 war, sonst < 0. (Wir schreiben hier n statt N, um diese Normale nicht
mit der Flchennormalen zu verwechseln.)
Kurz: ist durch c = n definiert.
Das Vorzeichen wird spter sehr wichtig sein, daher berlegen wir uns fr eine Flche M zunchst, was
Drehung um + 2 bedeutet. Beachte: Eine Drehung um + 2 von oben betrachtet ist eine Drehung um
64
Rotiert man e1 , e2 gemeinsam, ndert sich die Orientierung nicht. Ist (e1 , e2 ) positiv orientiert, so ist
(e1 , e2 ) negativ orientiert.
Winkel in Tp M werden immer von e1 in Richtung e2 gemessen, wenn (e1 , e2 ) eine positive Basis
ist.
Wenn eine Orientierung gegeben ist, dann ist der Begriff Rotation um den Winkel fr jeden
Tangentialraum wohldefiniert: Man whle eine positive Orthonormalbasis (e1 , e2 ) und definiere R :
Tp M Tp M durch e1 7 e1 cos + e2 sin und e2 7 e1 sin + e2 cos . Dies hngt nicht von der
Wahl von e1 und e2 ab.
Ist ( M, N ) eine orientierte Flche und eine Kurve in Mvon p nach q, so ist die Parallelverschiebung
P orientierungserhaltend , d.h. fr jede positiv orientierte Basis (e1 , e2 ) von Tp M ist die Basis
( P (e1 ), P (e2 )) von Tq M positiv orientiert. Denn sind X, Y die parallelen Vektorfelder entlang ,
die bei p gleich e1 bzw. e2 sind, so ist die Funktion t 7 det( Xt , Yt , N(t) ) stetig und immer ungleich
Null, wechselt also nie das Vorzeichen.
Ist insbesondere p = q, so ist P daher eine Drehung von Tp M. (Fr nicht-orientierbare Flchen
stimmt das nicht, berlegen Sie sich das fr das Mbiusband!)
III.4.12 Definition
Sei M R3 eine Flche mit Orientierung N. Sei : I M eine nach Bogenlnge parametrisierte
n) eine positiv orientierte Orthonormalbasis
Kurve und t I. Whle n T(t) M derart, dass (,
ist. Die geodtische Krmmung g R von in t ist definiert durch
dt
= g n.
Es gilt g = g
dt , n .
Bemerkung:
) = 1 fr alle t ist 0 =
Wegen k k2 = g(,
d
dt g ( , )
= 2g
,
dt
, also ist
dt .
Da auerdem
dt T(t) M ist, muss dt ein skalares Vielfachen von n sein. Daher macht die
Definition Sinn.
B
Zusammenhang von Krmmung als Kurve im Raum, geodtischer Krmmung g und Normalkrmmung n : Es gilt
| g | = korthogonale Projektion von auf Tp Mk
n = korthogonale Projektion von auf N ( p)k
= k k
Nach Pythagoras gilt 2 = 2g + n2 . Beachte: n sagt etwas ber die Krmmung der Flche im Raum,
g etwas ber die Krmmung der Kurve in der Flche aus!
ist eine Geodtische genau dann, wenn berall g = 0 gilt und genau dann, wenn berall
kollinear mit N ist.
65
III.4.13 Lemma
Sei ( M, N ) eine orientierte Flche. Sei : [ a, b] M eine Kurve und e1 , e2 Vektorfelder entlang , so dass (e1 (t), e2 (t)) fr jedes t positiv orientierte Orthonormalbasis ist (e1 , e2 heit dann
orthonormaler Rahmen entlang ). Sei X 6= 0 ein paralleles Vektorfeld entlang und (t) der
Winkel von X (t) nach e1 (t). Dann gilt
= g
dt e1 , e2 .
Das bedeutet: Sei e1 ein Einheitsvektorfeld entlang . Dann gibt
dt e1 die nderungsgeschwindigkeit des
1 d
2 dt g ( e1 , e1 )
= 0.)
III.4.14 Proposition
Sei eine nach Bogenlnge parametrisierte Kurve in der orientierten Flche M und X ein paralleles
Vektorfeld entlang . Sei (t) der Winkel von Xt nach (t).
Dann gilt g = .
0=
dt X = cos dt e1 sin e1 sin dt e2 cos e2 .
0 = cos g(
dt e1 , e2 ) cos
und daraus die Behauptung, zumindest fr alle t mit cos (t) 6= 0. Fr diese t nehmen wir stattdessen das Skalarprodukt mit e1 und erhalten analog 0 = sin + sin g(e1 ,
dt e2 ), woraus wiederum
= g(e1 ,
dt e2 ) = g ( dt e1 , e2 ) folgt.
und v =
v .
Statt
v gilt. Mit
anderen Worten: Die durch definierten Koordinatenlinien schneiden sich rechtwinklig.
Man nennt dann die durch die Karte definierten Koordinaten orthogonale Koordinaten .
Beispiel (Rotationsflche): Die Flche, die entsteht, wenn man eine beliebige Funktion f um die zAchse
rotieren lsst, kann durch die Karte (, z) = ( f (z) cos , f (z) sin , z) beschrieben werden. Dabei ent
spricht = konstant den Meridianen und z = konstant den Breitenkreisen. Es gilt z (bung).
66
Gestalt
g=
hat.
Mit den beim Beweis des Theorema Egregium hergeleiteten Formeln kann man berechnen:
III.4.16 Lemma
e U eine orthogonale lokale Karte. Die Gau-Krmmung ist dann
Sei M R3 eine Flche, : U
K=
2 EG v
E/v
EG
G/u
EG
Beweis: bung!
Wir wollen zeigen, dass es immer orthogonale Koordinaten gibt. Diese (und sogar sehr spezielle) erhlt
man wie folgt.
Im Folgenden sagen wir kurz BL-Geodtische statt nach Bogenlnge parametrisierte Geodtische.
Da jede Geodtische konstante Geschwindigkeit hat, gilt: Ist Geodtische und gilt k (t0 )k = 1 fr ein
t0 , so ist eine BL-Geodtische.
III.4.17 Definition
e = I J und : U
e U M eine
Sei M R3 eine Flche. Seien I, J R Intervalle, 0 I, U
lokale Karte. Sei c : J M die durch u = 0 gegebene Kurve, d.h. c(v) = (0, v).
Die durch gegebenen lokalen Koordinaten heien Normalkoordinaten bzgl. c , wenn gilt:
Fr jedes v ist die durch v (u) = (u, v) definierte Kurve
eine BL-Geodtische, die c orthogonal schneidet.
Falls c ebenfalls eine BL-Geodtische ist, so nennt man diese Koordinaten Fermi-Koordinaten .
Beachten Sie, dass wir hier von Normalkoordinaten bezglich einer Kurve sprechen. Der Begriff Normalkoordinaten bezeichnet ein Koordinatensystem, bei dem die Kurven t 7 (tu, tv) fr beliebige u, v
Geodtische sind. Diese sind in anderen Kontexten ntzlich, wir brauchen sie hier nicht.
III.4.18 Lemma
Seien Normalkoordinaten auf U M bezglich einer regulren Kurve c gegeben. Dann gilt in U:
(1) guu = 1
(2) uu,u = uu,v = 0
(3) guv = 0
Ist zustzlich c eine BL-Geodtische, so gilt auerdem
(5) gvv = 1,
gvv
u
= 0 bei u = 0.
= v , daher folgt dies daraus, dass v fr jedes v nach Bogenlnge parame= g(u , u ) = g( v , v ) = 1.
(1) Es ist u =
67
(2) Da v eine Geodtische ist, gilt u u = v v = 0, und daraus folgt die Behauptung wegen
uu,i = g(u u , i ), i = u, v.
guv
u
(4) und (5) gvv = 1 folgt daraus, dass c nach Bogenlnge parametrisiert ist. Wir zeigen nun zunchst (5). Dazu
mssen wir v u = 0 und v v = 0 entlang c zeigen. Wegen c = v folgt die zweite Gleichung
daraus, dass c eine Geodtische ist. Die erste folgt daraus, dass u stets orthogonal zu v = c ist und
konstante Lnge 1 hat, also parallel entlang c ist.
Schlielich ist 2vv,u =
also folgt
gvv
u
gvu
v
gvu
v
gvv
u .
= 0 entlang c.
Bemerkung: (3) hat eine interessante geometrische Bedeutung: Sei die Kurve c gegeben: Fr s > 0 sei cs
die Parallelkurve zu c im Abstand s, d.h. cs (v) = v (s), der Punkt, den man erreicht, wenn man von c(v)
aus orthogonal entlang einer Geodte die Strecke s luft. (3) sagt dann, dass cs berall orthogonal zu den
Kurven v ist. Fr einen Kreis c in der Ebene ist dies klar (cs ist ein konzentrischer Kreis mit anderem
Radius), dass dies auch fr beliebige Kurven c gilt, ist weniger offensichtlich.
III.4.19 Proposition
Normalkoordinaten sind orthogonal. Genauer hat die erste Fundamentalform die Gestalt
g=
1 2 G
K =
G u2
Dies folgt sofort aus Lemma III.4.18 (1) und (3) sowie aus Lemma III.4.16. Beachten Sie, dass wir damit
auch die Existenz orthogonaler Koordinaten in geeigneten Umgebungen eines beliebigen Punktes p gezeigt haben: Whle eine regulre Kurve c durch p, finde die Geodtischen v und definiere damit . Da c
und v bei p orthogonal sind, ist d bei p injektiv, also definiert es eine lokale Karte fr eine Umgebung
von p.
Wann ist eine Flche flach?
Wir knnen nun einen der zentralen Stze der Differentialgeometrie von Flchen beweisen.
III.4.20 Satz
Sei M R3 eine Flche und K ihre Gau-Krmmung. Dann gilt:
M ist flach K 0
Erinnerung: flach bedeutet lokal isometrisch zu einer Teilmenge von R2 , oder quivalent, dass es berall
!
1 0
lokal eine Karte gibt, in der g =
gilt.
0 1
68
Beweis: Sei M flach. Da M lokal isometrisch zu R2 ist, R2 die Gau-Krmmung null hat und die GauKrmmung unter Isometrien erhalten bleibt, folgt K 0.
e R2 geben. Da
Sei umgekehrt K 0. Wir zeigen, dass Fermi-Koordinaten eine lokale Isometrie zu U
!
1 0
wir schon wissen, dass in Fermi-Koordinaten g =
ist, bleibt nur zu zeigen, dass G 1 gilt.
0 G
f 00 (u)
f 0 (0)
Bemerkung: Ein analoger Satz gilt in hheren Dimensionen: Eine Riemannsche Mannigfaltigkeit ist flach
genau dann, wenn ihr Riemannscher Krmmungstensor konstant gleich null ist. Siehe Satz IV.7.2.
Praktisch bedeutet dies, dass man entscheiden kann, ob eine Flche M flach ist, d.h. ob sie einen Atlas
aus verzerrungsfreie Karten besitzt, indem man K berechnet. Dabei kann man K entweder mit Hilfe der
ersten Fundamentalform berechnen (erst die Christoffelsymbole mit den Formeln ijk =
ij,l =
1
2
g jl
ui
dann R2121 =
+
P
gil
u j
gij
ul
berechnen, dann
k
g2k R121
und K =
R2121
det gij
k
R121
Rklij
jl
ui
il
u j
P kl
g ij,l und
l
P k
+
jl i il kj ,
).
ij
Je nachdem, wie die Flche gegeben ist, kann es allerdings einfacher sein, statt dem Weg ber die
innere Geometrie die extrinsische Gre h zu verwenden. Dann braucht man nur det h zu berechnen.
Wegen K =
det h
det g
g = 0 6= 2.
III.5.1 Definition
Eine beschrnkte, zusammenhngende Teilmenge S R2 mit stckweise glattem Rand heit
einfach zusammenhngend , wenn ihr Rand Bild einer geschlossenen Kurve ist.
Also ist z.B. eine Kreisscheibe einfach zusammenhngend, der Kreisring {u R2 : 1 < kuk < 2} aber
nicht. Der Begriff einfach zusammenhngend ist auch fr beliebige topologische (insbesondere metrische)
Rume X definiert, die Definition lautet aber anders (jede geschlossene Kurve in X lsst sich in X stetig
zu einer konstanten Kurve also einem Punkt zusammenziehen). Im oben angegebenen Spezialfall ist
sie zu der angegebenen Bedingung quivalent, und diese Bedingung werden wir verwenden.
69
III.5.2 Satz (Lokale Version des Satzes von Gau-Bonnet, glatter Fall)
e U Normalkoordinaten bzgl. einer Kurve, V
e U
e
Sei M R3 eine orientierte Flche, : U
e ). Dann gilt
beschrnkt und einfach zusammenhngend mit glattem Rand, V = (V
Z
g ds +
K dvol = 2.
V
Hierbei ist g die geodtische Krmmung von V positiv durchlaufen, K die Gau-Krmmung,
ds das Volumen- (also Lngen-)element von V und dvol das Volumenelement von M.
Der Rand (oder eine Randkomponente) einer offenen Teilmenge V M wird positiv durchlaufen , falls
V immer links liegt. Genauer: Fr die Parametrisierung : I V sei n(t) T(t) M der um + 2 gedrehte
Vektor (t). Dann soll n(t) in V hineinzeigen fr alle t I. (Als bung versuchen Sie, dies przise formal
zu definieren!)
Das heit, der Hopfsche Umlaufsatz gilt bis auf einen Defekt von
K dvol.
Beispiel: Wenn M = R2 ist, ist K = 0 und der Satz entspricht dem Hopfschen Umlaufsatz. Ist M = S2
und V eine Halbsphre, so ist g = 0 und K = 1, so dass sich
wir nicht nachgeprft, ob eine Karte wie gefordert existiert; das tut sie auch nicht; dass der Satz trotzdem
gilt, folgt aus den berlegungen weiter unten.)
Der zentrale Teil des Beweises besteht darin, das Auftreten des Integrals ber die Gaukrmmung zu
erklren. Diese Rechnung fhrt zunchst auf eine interessante Beziehung zur Parallelverschiebung.
III.5.3 Definition
Sei M eine orientierte Flche und : [ a, b] M eine geschlossene Kurve, p = ( a) = (b). Die
durch Parallelverschiebung entlang definierte lineare Abbildung
P : Tp M Tp M
heit Holonomie von . Dies ist eine Drehung um einen Winkel . Der Winkel heit
Holonomiewinkel von .
Der Holonomiewinkel ist nur bis auf ganzzahlige Vielfache von 2 definiert, sollte also als Element von
R/2Z aufgefasst werden. Dreht man die Durchlaufrichtung der Kurve um, ndert der Holonomiewinkel
sein Vorzeichen (bung).
III.5.4 Satz
Sei M eine orientierte Flche und V M wie in Satz III.5.2. Sei eine positive Parametrisierung
von V. Dann gilt fr den Holonomiewinkel
K dvol
mod 2
Wenn V gengend klein ist, ist die rechte Seite nahe Null, daher gilt hier Gleichheit, wenn man fr
einen Reprsentanten in (, ) whlt. Dies ergibt eine neue Charakterisierung der Krmmung mittels
des Holonomiewinkels (einer fr Bewohner der Flche M messbaren Gre).
Beweis: Wir whlen Normalkoordinaten bzgl. einer Kurve, wobei wir o.B.d.A. annehmen knnen, dass
eine orientierungserhaltende Karte ist, d.h. dass (u , v ) in jedem Punkt von V eine positive Basis ist.
(Andernfalls ist orientierungsumkehrend, dann ersetzen wir es durch 0 (u, v) = (u, v).)
70
Wir wollen Lemma III.4.13 auf den orthonormalen Rahmen e1 = u , e2 = v anwenden. Dazu berechG
nen wir g
dt e1 , e2 = g ( e1 , e2 ). Fr eine Kurve ( t ) = ( u ( t ), v ( t )) gilt = uu + vv , also berechnen
wir zunchst g (u e1 , e2 ) und g (v e1 , e2 ).
Wegen uu,v = 0 nach Lemma III.4.18 ist g (u e1 , e2 ) = 1 g (u u , v ) = 0.
G
G
2 G u
guv
v
gvv
u
G
u .
gvu
v
gvv
u
G
u .
Damit folgt g (v e1 , e2 ) = 1 g (v u , v ) =
G
Insgesamt folgt g ( e1 , e2 ) = v uG .
Sei nun X 6= 0 ein beliebiges paralleles Vektorfeld
entlang und (t) der Winkel von X (t) zu e1 (t).
G
Nach Lemma III.4.13 ist dann = g ( e1 , e2 ) = v u .
Nach Definition der Parallelverschiebung ist P X ( a) = X (b), also ist der Winkel von X ( a) nach X (b).
Da ( a) der Winkel von X ( a) nach e1 ( a) und (b) der Winkel von X (b) nach e1 (b) = e1 ( a) ist, folgt
( a) (b) (Skizze!). Nun ist ( a) (b) =
Rb
(t) dt =
Rb G
v u . Wir knnen dieses Integral mit
a
Hilfe des Integralsatzes von Gau, Satz III.5.5 umschreiben. Nehmen wir dort P =
K=
2
1 2G
G u
G
u ,
so erhalten mit
Zb
v uG =
g dudv =
2 G
u2
dudv =
e
V
G dudv =
K dvol
V
e
V
( P
u +
Q
v ) du dv
Zb
uQ
) dt .
(vP
e
V
(div X ) du dv =
e
V
e
V
e R2 , wobei n die uere Einheitsnormale bezeichnet. Man erhlt daraus die angegebene Formel,
X auf V
u )
(v,
e | dt = u 2 + v 2 dt.
indem man X = ( P, Q) setzt, mittels n =
und ds = |
u 2 +v 2
Wir knnen die Holonomie auch mit Hilfe der geodtischen Krmmung berechnen:
III.5.6 Lemma
Sei M R3 eine orientierte Flche und : [ a, b] M eine geschlossene Kurve. Dann gilt fr den
Holonomiewinkel
Zb
g (t) dt
mod 2
Beweis: Dies folgt direkt aus Proposition III.4.14 durch Integration (bung).
Beweis (Beweis von Satz III.5.2): Aus Satz III.5.4 und Lemma III.5.6 folgt
Zb
g (t) dt +
(III.2)
a
K dvol = 2k
V
71
fr ein k Z. Es bleibt zu zeigen, dass k = 1 gilt. Dies zeigen wir mit einem Deformationargument. Dazu
e und als Parametrisierung von V
e auf. Die Formel (III.2) folgte aus
fassen wir K als Funktion auf V
!
1 0
den Formeln fr K und g mit Hilfe der Darstellung g =
. Fr [0, 1] sei G = (1 ) G +
0 G
e und es gilt g0 = g,
. Fr jedes [0, 1] ist g eine Riemannsche Metrik auf U,
0 G
whrend g1 die euklidische Metrik ist. Das heit, g ist eine stetige Deformation von g in g1 . Fr jedes
und
gilt eine Formel (III.2) fr g . Das heit, wenn wir und K mittels g berechnen so ist h( ) :=
Rb
R
g (t) dt + K G dudv fr jedes ein ganzzahliges Vielfaches von 2. Da G und damit und K
a
e
V
stetig von abhngen, ist auch h( ) stetig in , muss also konstant sein. Insbesondere gilt h(0) = h(1).
Fr = 1 (euklidische Metrik) ist K = 0, also h(1) = 2 nach dem Hopfschen Umlaufsatz. Also folgt
k = h(0) = 2.
Wir brauchen noch eine Verallgemeinerung des lokalen Satzes von Gau-Bonnet. Hierbei darf V Ecken
haben, d.h. V kann durch eine stckweise glatte Kurve : [ a, b] U parametrisiert werden.
Sei also : [ a, b] M stckweise glatt, bei n Ecken also a = t0 < t1 < < tn = b und |[t
i 1,ti ]
glatt und regulr fr jedes i = 1, , n. An jeder Ecke ti hat man zwei Tangenten, (ti ) := limt<ti (t)
und (ti +) := limt>ti (t). Der Auenwinkel i bei (ti ) ist der Winkel von (ti ) nach (ti +). Er
sei so gewhlt, dass i (, ). (Man kann auch zulassen, wenn man sich dann etwas ber das
Vorzeichen Gedanken macht.)
III.5.7 Satz (Lokale Version des Satzes von Gau-Bonnet, stckweise glatter Fall)
Seien die Voraussetzungen wie in Satz III.5.2, auer dass V stckweise glatt ist. Seien 1 , . . . , n
g ds +
V
n
P
i =1
K d vol +
V
n
X
i = 2
i =1
erklren: g ist die momentane nderungsgeschwindigkeit des Winkels von zur x-Achse, also ist g
die Gesamtnderung dieses Winkels. Der Satz sagt dann, dass sich insgesamt genau einmal um 2
dreht. Damit dies auch mit Ecken stimmt, muss bei den Ecken die momentane nderung dieses Winkels
(also der Auenwinkel) hinzuaddiert werden.
Beweis (Skizze): Wir approximieren V durch Gebiete Ve mit glattem Rand durch Gltten der Ecken: Der
Einfachheit halber sei n = 1 (eine Ecke, sonst macht man folgende Konstruktion bei jeder Ecke separat).
72
Die Kurve habe in t0 eine Ecke. Fr kleines e > 0 konstruieren wir Ve so, dass Ve durch eine glatte
Kurve e parametrisiert ist, die auerhalb von [t0 e, t0 + e] gleich ist und auf ganz [ a, b] fr e 0
gleichmig gegen konvergiert. Da K integrierbar ist, gilt
Z
lim
e 0
Ve
K dvol =
K dvol .
V
tZ
0 +e
g,e (t) dt =
g (t) dt +
g (t) dt.
t0 e
|tt0 |>e
Fr e 0 geht das erste Integral gegen g (t) dt. Das zweite Integral ist gleich (t0 + e) (t0 e) mit
(t) = Winkel von (t) zu einem parallelen Vektorfeld Xt . Da Xt stetig ist, gilt lim (t0 + e) (t0
e 0
e) = lim (Winkel von (ti ) nach (ti +)) = . Man berzeugt sich leicht, dass dabei (, )
e 0
herauskommt.
Damit folgt der Satz aus Satz III.5.2, angewendet auf Ve , durch e 0.
Beispiele: Sei V ein geodtisches Polygon, d.h. V ist Vereinigung endlich vieler Geodten und seien
i = i die Innenwinkel. Dann gilt
i =1
i = 2
n
P
i =1
( i ) =
n
P
i =1
i (n 2).
Bei einem Dreieck auf M = R2 folgt 0 = 1 + 2 + 3 , was bekannt sein drfte. Bei einem
nEck gilt
n
P
i =1
n
P
K dvol = 2
i = (n 2).
n
P
i =1
i (n 2), also
ist insbesondere bei einem Dreieck auf der Sphrenoberflche 1 + 2 + 3 = + vol V > . Die
Flche des Dreiecks ist also der Winkelberschuss.
B
R
V
K = 1 + 2 + 3 , also 1 + 2 + 3 < .
III.5.8 Korollar
Sei M R3 eine Flche, p M. Dann ist
K ( p) = lim
D p
1 + 2 + 3
,
vol D
73
(2) V U mit einem Koordinatengebiet U, fr das eine Normalkoordinaten bzgl. einer Kurve existieren
e ), wobei V
e R2 ist und V
e zusammenhngend ist,
(3) V einfach zusammenhngend, d.h. V = (V
g = 2 und
uerer
Kreis
R
R
sich g + K dvol
V
V
innerer Kreis
= 0 6= 2.
f
S
j =1
Rj
Die Ecken bzw. Kanten einer polygonalen Menge R = ( P) sind per Definition die
Bilder der Ecken bzw. Kanten von P. (bung: Dies ist wohldefiniert, d.h. falls R0 = 0 ( P0 ) mit einem
anderen Polygon P0 und Diffeomorphismus 0 ist, so definiert das die selben Ecken und Kanten
von R. Dazu zeigt man: sind P, P0 R2 Polygone und ein Diffeomorphismus einer Umgebung
von P auf eine Umgebung von P0 mit ( P) = P0 , so bildet Ecken auf Ecken und Kanten auf
Kanten ab.)
B
Damit hat eine polygonale Zerlegung wohldefinierte Flchen, Kanten und Ecken.
Wenn R eine polygonale Zerlegung besitzt, hat es stckweise glatten Rand. Umgekehrt hat jede
kompakte Teilmenge R M mit stckweise glattem Rand eine polygonale Zerlegung, falls alle
Innenwinkel positiv sind. Das werden wir aber nicht verwenden.
Beispiele:
Sei R R2 erneut der Kreisring. Wenn man ihn an mehreren Stellen durchschneidet
(also eine Linie vom inneren zum ueren Rand zieht), entstehen Teilstcke Ri , die diffeomorph zu
Quadraten sind. Bei mindestens drei Schnitten erhlt man eine polygonale Zerlegung von R.
74
Die Sphre kann trianguliert werden, indem man sich in ihrem Inneren eine kleine Pyramide vorstellt und diese nach Auen projiziert.
g ds +
K dvol +
i = 2 ( f k + e).
i =1
n
X
Beweis: Wir nehmen zunchst an, dass die polygonale Zerlegung so fein ist, dass jedes R j in einer Kartenumgebung enthalten ist, fr die der lokale Satz von Gau-Bonnet anwendbar ist. Seien ij die Auenwinkel von R j , i = 1, , n j . Dann gilt fr j = 1, . . . , f
n
g ds +
R j
K dvol +
j
X
ij = 2.
i =1
Rj
g ds +
j
f Z
X
j =1 R
K dvol +
f
j
X
X
ij = 2 f .
j =1 i =1
f R
P
j=1 R j
g ds: Schreibe jedes Integral als Summe ber die Kanten von R j . Fr jede Kante gibt es zwei
Mglichkeiten:
B
und
R j
in unterschiedli-
R j0
cher Richtung durchlaufen und die beiden Integrale heben sich gegenseitig auf.
B
Oder sie ist Kante von genau einem R j . Dann ist sie Kante von R und alle Kanten von R
kommen genau einmal vor. Da sie bzgl. der R j positiv durchlaufen werden, so auch bzgl. R
(wichtig fr das Vorzeichen von g ).
Also folgt
f Z
X
j=1R
(2)
f R
P
g ds =
j
g ds.
R
K dvol: Es gilt
j =1 R j
f Z
X
j =1 R
da R =
S
j
K dvol =
K d vol
R
(3)
f P
j
P
j =1 i =1
ij :
Vorberlegung: Sei p eine Ecke der polygonalen Zerlegung und d ihr Grad, d.h. die Anzahl der
Kanten, die in p ankommen. Bezeichne mit l , l die Innen- bzw. Auenwinkel von p. Es ist l =
l fr alle l.
75
P l
= 2. Da mit d Kanten auch d Polygone in p zusammenstoen, folgt
X
X
( l ) = d
2 =
also
l ,
P l
= (d 2).
P l
P
= ( l ).
= ( d 1)
also
l ,
P l
= (d 2) + .
Seien nun p1 , , pe die Ecken der polygonalen Zerlegung, wobei p1 , , pn die Randecken sind,
dm der Grad von pm , m = 1, , e, sowie m der Auenwinkel von R bei pm fr m = 1, , n. Dann
folgt
n
f
j
X
X
ij
e
X
m =1
j =1 i =1
=
=
e
X
[(dm 2) ] +
m =1
n
X
dm 2e +
m =1
n
X
m =1
e
X
m =1
III.5.11 Lemma
Es gilt
e
P
dm = 2k.
m =1
Beweis: Wir zhlen die Paare {( p, V ) : p Ecke, V Kante mit p V } =: A. Fr jedes pm gibt es dm
Vs, also gilt | A| =
e
P
m =1
Also folgt
n
f
j
X
X
ij = 2k 2e +
n
X
m .
m =1
j =1 i =1
f Z
X
j=1R
g +
j =1 R
g +
=
R
f Z
X
K dvol +
f
j
X
X
ij
j =1 i =1
K d vol +2k 2e +
n
X
m =1
76
III.5.12 Lemma
e } eine offene berdeckung von D. Dann kann man den eben
Sei D R2 ein Dreieck und {U
j
gezeigten Verfeinerungsprozess so lange durchfhren (endlich oft), bis jedes der kleinen Dreiecke
e liegt.
in einem der U
j
e liegt, dann in
Beweis: Wenn nicht, so whle in der ersten Unterteilung ein Dreieck D1 , das in keinem U
j
der zweiten ein D2 , in der dritten ein D3 , und so weiter. Seien qi Di beliebig. Da D kompakt ist, muss
e . Dies ist offen, also gibt es ein
die Folge {qi } einen Hufungspunkt q in D haben. q liegt in einem U
j0
Ist { Ri }eine Triangulierung von R, Ri = i ( Di ) fr Dreiecke Di R2 , so kann man alle Di und somit Ri
simultan verfeinern. Die Verfeinerungen benachbarter Ri passen zusammen, wenn man oBdA annimmt,
dass i auf jeder Dreieckseite proportional zu einer Bogenlngeparametrisierung ist.
III.5.13 Lemma
Sei { Ri } eine Triangulierung von R und { Ri0 } eine Verfeinerung, die wie oben geschildert entsteht,
Beweis: Es gengt, einen Verfeinerungsschritt zu betrachten. Hinzufgen einer Ecke erhht k und e jeweils um eins, also bleibt f k + e gleich. Hinzufgen der Kanten innerhalb eines Dreiecks erhht f und
k jeweils um drei, also bleibt f k + e wieder gleich.
III.5.14 Lemma
Wenn man eine beliebige polygonale Zerlegung von R durch Hinzufgen von Kanten in eine
Triangulierung verfeinert, bleibt wieder f k + e gleich.
Beweis: Mit Hinzufgen jeder Kante erhht man k und f um eins, also bleibt f k + e gleich.
Sei nun { Ri } eine beliebige polygonale Zerlegung von R. Wir verfeinern Ri zunchst durch Hinzufgen
von Kanten in eine Triangulierung { R0j }.
Zu jedem p M sei nun U p eine Umgebung von p, auf der es Normalkoordinaten gibt. Ist R0j = ( D j )
e p } mit
eines der Teile, wobei D j R2 ein Dreieck und : D j 7 R0j ein Diffeomorphismus ist, so ist {U
e p := 1 (U p ) eine offene berdeckung von D .
U
j
e p passt. Da wir
Nach Lemma III.5.12 hat jedes D j eine Zerlegung, so dass jedes kleine Dreieck in ein U
nur endlich viele D j haben, knnen wir alle D j und damit auch alle R j simultan so zerlegen, dass in der
so entstehenden Triangulierung jedes Teil in einem U p enthalten ist.
Damit erhalten wir eine Triangulierung { R00l }, auf die Teil 1 des Beweises anwendbar ist. Nach den
Lemmata III.5.13 und III.5.14 ist fr diese Triangulierung der Wert f k + e der gleiche wie fr die
ursprngliche Zerlegung { Ri }.
Damit ist der Beweis nun vollstndig.
Beispiel:
Wenn man den Ring in drei Stcke teilt, erhlt man neun Kanten und sechs Ecken. Es
Bei der Sphre erhielten wir im letzten Beispiel vier Flchen, sechs Kanten und vier Ecken, also
f k + e = 2.
Rechnerisch ergibt sich wegen R = und K = 1 ebenfalls
R
S2
1 dvol = vol(S2 ) = 4 = 2 2.
77
III.5.15 Korollar
B
Die Zahl f k + e ist unabhngig von der Wahl der polygonalen Zerlegung.
Sei P ein konvexes Polyeder in R3 mit f Flchen, k Kanten und e Ecken. Dann gilt immer
f k + e = 2 ( Eulersche Polyederformel ).
Beweis:
Da die linke Seite im Satz von Gau-Bonnet unabhngig von der Zerlegung ist, ergibt sich
Fr die zweite Aussage legen wir P so, dass sich die 0 im Inneren von P befindet und projizieren
dann von 0 auf S2 . Damit erhalten wir eine polygonale Zerlegung von S2 und es gilt wie bereits
gezeigt f k + e = 2.
Bemerkung: Das Korollar kann man auch direkt mittels vollstndiger Induktion beweisen (hierzu ist es
ntzlich, die Aussage zunchst zu verallgemeinern, indem man statt polygonaler Zerlegungen Graphen
betrachtet, die in M eingebettet sind; dann kann man Schritt fr Schritt Kanten entfernen; fr Details siehe
Bcher ber Graphentheorie).
III.5.16 Definition
Die Euler-Charakteristik von R ist ( R) = f k + e, wobei f , k und e mittels einer beliebigen
polygonalen Zerlegung von R bestimmt werden.
Beispiele:
(Ring) = 0
(Sphre) = 2
(Torus) = 0
III.5.17 Proposition
ist eine differential-topologische Konstante, d.h. sind R, R0 diffeomorph, so ist ( R) = ( R0 ).
Beweis: Sei F : R R0 ein Diffeomorphismus, R1 , . . . , R f eine polygonale Zerlegung von R. Dann ist
mit Ri0 := F ( Ri ) auch { R10 , . . . , R0f } eine polygonale Zerlegung von R0 mit f = f 0 , k = k0 und e = e0 , also
offenbar ( R) = ( R0 ).
Bemerkung: Der Beweis zeigt, dass sogar eine topologische Invariante ist, dass also ( R) = ( R0 ) gilt,
wenn R und R0 blo homomorph sind. (Denn auf Differenzierbarkeit der Kanten kam es nirgends an.)
Ein Dreieck und ein Kreis in der Ebene beispielsweise sind homomorph, aber nicht diffeomorph.
III.5.18 Korollar
Sei M R3 kompakte Flche. Dann ist
Z
K dvol = 2( M ).
M
Insbesondere hngt das Integral nur von ( M) ab, nicht von der Art, wie M im Raum liegt.
Denn M = 0 und es gibt keine Auenwinkel.
Oft wird dieses Korollar als Satz von Gau-Bonnet bezeichnet.
Zum Beispiel gilt fr das Ellipsoid wie fr die Sphre
fr die Gau-Krmmung des Ellipsoids (die kompliziert ist und schwierig zu integrieren wre) verwendet
zu haben!
Bisher haben wir uns mit der sogenannten elementaren Differentialgeometrie beschftigt. Ihre Objekte
sind die Untermannigfaltigkeiten des Rn , und der Aufbau der Theorie erfolgte nach Kriterien der Zugnglichkeit und Anschaulichkeit: Erst eine Dimension (Kurven), dann zwei (Flchen); erst extrinsische
Geometrie, dann intrinsische.
Wir wenden uns nun der hheren Differentialgeometrie zu. Ihre Objekte sind die abstrakten Mannigfaltigkeiten, und der Aufbau der Theorie erfolgt nach der Systematik der Konzepte, wie es im Aufbau der
Mathematik blich ist:
Zunchst definieren wir den Begriff der Mannigfaltigkeit und beschftigen uns mit Konzepten, die
fr Mannigfaltigkeiten definiert sind. Wichtig hierbei ist, dass es auf einer Mannigfaltigkeit zunchst
keinen Abstandsbegriff gibt, daher mssen diese Konzepte ohne einen solchen Begriff auskommen.
Dies sind der Tangentialraum, Vektorfelder und deren Flsse, das Differential von Abbildungen, die
Lie-Klammer von Vektorfeldern sowie Tensoren.
Dann fhren wir den Begriff der Riemannschen Metrik ein, der es erlaubt, von Abstnden, Lngen,
Flcheninhalten etc. auf einer Mannigfaltigkeit zu sprechen. Weiterhin erlaubt er es, die Begriffe des
Zusammenhangs (genauer des Levi-Civita-Zusammenhangs) und der Krmmung einzufhren.
Die Theorie der Mannigfaltigkeiten wird manchmal als Differentialtopologie bezeichnet. Erst wenn eine
Metrik hinzukommt, spricht man von Geometrie. (Genauer gesagt: Erst wenn eine weitere Struktur hinzukommt. So gibt es z.B. komplexe Geometrie, Khler-Geometrie, symplektische Geometrie, CR-Geometrie,
affine Geometrie usw., und deren Objekte sind Mannigfaltigkeiten mit jeweils einer anderen zustzlichen
Struktur. Wir beschftigen uns hier mit Riemannscher Geometrie.)
Das Vorgehen hier hnelt dem in der linearen Algebra: Zunchst betrachtet man Vektorrume, deren
Unterrume, linearen Abbildungen etc. Erst spter fhrt man Skalarprodukte ein und Begriffe, die nur
auf euklidischen Vektorrumen (Vektorrumen mit Skalarprodukt) definiert sind: Orthogonalitt, Selbstadjungiertheit etc.
Da wir nun Mannigfaltigkeiten abstrakt, also ohne einen umgebenden Raum, betrachten, sind alle
Begriffe intrinsisch. Die Betrachtungen im Kapitel ber die innere Geometrie der Flchen sind hierfr
wesentlich, da sie einen Wegweiser bilden, in welche Richtung man berhaupt gehen soll z.B. wie man
fr abstrakte Riemannsche Mannigfaltigkeiten sinnvollerweise die Krmmung definieren sollte.
79
80
f Rn offen,
U
i
so dass gilt:
f ) offen und die Kartenwechsel
(1) Fr alle i, j I ist i1 (Ui Uj ) ( U
i
1
1
1
ij :=
j i : i (Ui U j ) j (Ui U j )
sind Diffeomorphismena .
(2) M ist mit der hierdurch induzierten Topologie Hausdorffsch. (Definition folgt)
a D.h. glatt, bijektiv, mit glatter Umkehrabbildung. Glatt bedeutet immer C , d.h. unendlich oft differenzierbar. Fr viele
Zwecke reicht auch endliche Differenzierbarkeit (oft einmal, manchmal aber auch zwei- oder dreimal). Wir fordern C ,
Bemerkung vor dem Abschnitt Rechnen in einer lokalen Karte auf Seite 83.
Topologie auf M
IV.1.2 Definition
Eine Teilmenge U M heit offen, falls i1 (U Ui ) Rn fr alle i I offen ist.
Es ist nun leicht, mit Hilfe der Eigenschaft (1) in Definition IV.1.1 nachzuprfen, dass die Menge der offenen Teilmengen von M die Axiome einer Topologie erfllt, also M dadurch zu einem topologischen Raum
wird.1 Damit sind folgende Begriffe definiert und haben die blichen Eigenschaften (z.B. Komposition
stetiger Abbildungen ist stetig etc.):
(1) Konvergenz von Folgen: Gegeben ( pk )kN M und p M . pk konvergiert gegen p fr k ,
wenn es fr alle offenen Mengen U mit p U ein k0 gibt, so dass pk U ist fr alle k k0 .
(2) Stetigkeit: Ist f eine Funktion M R (oder M C ), so heit f stetig, falls das Urbild jeder
offenen Menge offen ist. (in Analysis 2 hatten wir gezeigt, dass im Kontext metrischer Rume dies
quivalent zur mittels Folgen definierten Stetigkeit ist)
(3) Abgeschlossene Mengen sind per Definition Komplemente offener Mengen.
(4) Kompakte Mengen: eine Menge K M heit kompakt, wenn jede offene berdeckung von K eine
endliche Teilberdeckung hat.
1 D.h.:
B
81
Jeder metrische Raum ist Hausdorffsch und parakompakt. Er erfllt das 2. AZA genau dann,
wenn er hchstens abzhlbar viele Zusammenhangskomponenten hat.
Beispiele:
B
Jede offene Menge U Rn ist eine n-dimensionale Mannigfaltigkeit mit einer Karte, nmlich
: U U, = id .
Untermannigfaltigkeiten M R N der Dimension n sind natrlich auch n-dimensionale Mannigfaltigkeiten. (Teil 1 der Definition war ein Satz) Beachte, dass fr die bei Untermannigfaltigkeiten geforderte Bedingung, dass eine Immersion ist, fr abstrakte Mannigfaltigkeiten keinen Sinn macht,
da M blo eine Menge ist. Sie sagt etwas darber aus, wie M in Rn liegt.
82
Vorstellung: Da jedes x R zu genau einem Punkt in [0, 1) quivalent ist und 0 quivalent zu 1 ist,
kann man sich M so vorstellen: Man nehme das Intervall [0, 1] und verklebe die Punkte 0 und 1.
Also wie ein Kreis!
B
Der abstrakte Torus: Wir kennen den Torus als im R3 eingebettete 2-dimensionale Untermannigfaltigkeit. Interessiert man sich aber nur fr die intrinsischen Eigenschaften eines Torus, kann man
ihn auch auf einfache Weise als abstrakte Mannigfaltigkeit definieren:
M := R2 Z2 = {( x, y) + Z2 : ( x, y) R2 }
und
p, falls u = 0
2 : R M, u 7
u, falls u 6= 0
Teil 1 der Definition ist erfllt. Aber M ist nicht Hausdorffsch, denn es gibt keine zwei Umgebungen U 3 0 und V 3 p mit U V = . Beachte, dass die Folge ( 1k ) fr k sowohl gegen 0 als
auch gegen p konvergiert!
Nach all diesen Beispielen mag mancher Leser die Frage stellen, wozu der Begriff der abstrakten Mannigfaltigkeit berhaupt gut ist, wenn man alles auch als Untermannigfaltigkeit auffassen kann (dass dies
geht, genauer gesagt dass sich jede (Riemannsche) Mannigfaltigkeit (isometrisch) in einen Rn einbetten
lsst, ist die Aussage des Einbettungssatzes von Whitney bzw. von Nash). Eine Antwort auf diese Frage
ist in den Beispielen enthalten: Die Definition des Torus als Untermannigfaltigkeit erfordert vergleichsweise komplizierte Karten. Fr die Definition als Mannigfaltigkeit gengen dagegen Restklassenabbildungen.
Allgemeiner fhren manche natrliche Konstruktionen (z.B. Quotienten, Verklebungen), mit denen aus gegebenen Mannigfaltigkeiten neue konstruiert werden, nicht natrlich auf eingebettete Mannigfaltigkeiten
selbst wenn sie auf eingebettete Mannigfaltigkeiten angewendet werden.
Auerdem ist der umgebende Raum von Untermannigfaltigkeiten oft berflssig und lenkt vom Wesentlichen ab. So beschftigen sich Physiker zum Beispiel mit der Frage, was fr eine Mannigfaltigkeit der
Raum ist, in dem wir leben (dies ist erwiesenermaen nicht der R3 mit der euklidischen Metrik). Hier
wrde es einfach keinen Sinn machen, uns als in einer hherdimensionalen Welt eingebettet zu betrachten.
Bemerkung: In den meisten Bchern wird eine Mannigfaltigkeit etwas anders definiert: Als topologischer
Raum, der die Bedingungen (1) und (2) von Definition IV.1.1 erfllt, wobei die Karten i zustzlich Homomorphismen sein sollen. Wie man sich leicht berzeugt, ist dies quivalent zur gegebenen Definition.
Ich ziehe die hier gegebene Definition vor, da sie die Karten in den Vordergrund stellt, nicht die Topologie. Dies entspricht mehr dem Kern der Idee Mannigfaltigkeit.
83
Mchte man Glattheit nachprfen, muss man dies nicht fr alle lokalen Karten zeigen, sondern es
f U und
gengt, die Karten in einer berdeckung von M bzw. N zu betrachten; denn sind 1 : U
1
1
f2 U2 lokale Karten mit U U2 6= , so gilt (fr eine Funktion f : M C):
2 : U
1
Diffeomorphie ist der natrliche Begriff dafr, dass zwei Mannigfaltigkeiten im Wesentlichen gleich sind.
Ist umgekehrt eine Mannigfaltigkeit mit einem Atlas gegeben, so kann ich zu dem Atlas jeden beliebigen
n
Atlas. Dies ist ein maximaler Atlas in dem Sinne, dass es keinen Atlas gibt, der diesen echt enthlt. Man
sieht auch sofort, dass M mit dem ursprnglichen Atlas diffeomorph ist zu M mit dem neuen, maximalen
Atlas. Es ist ntzlich, immer alle solchen als Karten zuzulassen.
Damit kann man folgende lstige Spitzfindigkeit ausrumen: Zwei verschiedene Atlanten auf einer Menge
M knnen durchaus zu derselben Mannigfaltigkeit fhren, obwohl Definition (IV.1.1) eigentlich etwas
anderes sagt. Was heit dieselbe? Dass dieselben Funktionen glatt sind. quivalent dazu ist, dass jede
Karte des einen Atlas glatt ist bzgl. des anderen Atlas; oder dass die von den beiden Atlanten definierten
maximalen Atlanten gleich sind.
Genaugenommen ist also eine Mannigfaltigkeit gegeben durch eine Menge M zusammen mit einem
maximalen Atlas.
Z.B. ist die Sphre S2 mit dem durch die beiden stereographischen Projektionen gegebenen Atlas dieselbe
Mannigfaltigkeit wie S2 mit dem Atlas, der durch die Darstellungen der sechs offenen Halbsphren (oben,
unten, vorne, hinten, links, rechts) als Graphen gegeben ist.
2 Dies ist der Grund, dass wir im ersten Teil der Vorlesung ber Untermannigfaltigkeiten des Rn viele Begriffe mittels
lokaler Karten eingefhrt haben: Sie sind damit direkt auch fr abstrakte Mannigfaltigkeiten definiert.
84
Beispiel: R2 mit einer Karte id : R2 R2 . Andere Karte:
:
Offenbar ist es egal, ob wir eine lokale Karte oder die zugehrigen lokalen Koordinaten angeben. Wir
werden daher mal das eine und mal das andere tun und auf die Unterscheidung keinen groen Wert
legen.
In lokalen Koordinaten knnen wir nun die partielle Ableitung einer glatten Funktion f : M C
definieren:
f
( f )
:=
x j
u j
genauer
f
( f ) 1
( p) =
( ( p))
x j
u j
f
f
=
( p), wenn dies bersichtlicher ist (wegen vieler Klammern). Wie im Rn
x j p
x j
f
( p) die Bedeutung der nderungsgeschwindigkeit des Funktionswertes f (q) , wenn sich q auf
x j
der Mannigfaltigkeit so bewegt, dass alle Koordinaten x k (q) mit k 6= j konstant bleiben und sich x j (q)
mit Geschwindigkeit 1 vergrert; genauer gesagt, der momentanen nderungsgeschwindigkeit im Zeitpunkt, wo q durch den Punkt p luft.
Beispiel:
x j
( x j )
( u j 1 )
u j
=
=
= j =1
j
j
j
x
u
u
u
f
ist nur bzgl. einer gegebenen Karte definiert. Whlt man eine andere Karte,
x j
85
IV.2.1 Definition
Sei M Mannigfaltigkeit, p M . Ein Tangentialvektor in p ist eine quivalenzklasse [] von
Kurven
: (, ) M mit (0) = p (fr ein > 0 ),
e U
wobei zwei solche Kurven 1 , 2 quivalent heien sollen, falls fr eine lokale Karte : U
mit p U und mit ei := 1 i gilt:
(0) =
(0)
f
f
2
1
Offensichtlich ist dies eine quivalenzrelation. Weiter unten (unter Kartenwechsel) werden wir sehen:
Gilt dies bezglich einer Karte, so gilt es bezglich jeder Karte.
Wir stellen uns einen Tangentialvektor also als momentane nderungsgeschwindigkeit eines bewegten
Punktes vor, als Momentangeschwindigkeit.
IV.2.2 Definition
Der Tangentialraum Tp M an M im Punkt p ist die Menge aller Tangentialvektoren an M im
Punkt p .
Das Hbsche an unsere Definition von Tangentialvektoren ist, dass man damit unmittelbar die Intuition
fr die Ableitung (Differential genannt) einer Abbildung in eine Definition verwandeln kann.
IV.2.3 Definition
Sei F : M N eine glatte Abbildung und p M. Das Differential dF
p
Abbildung
dF : Tp M TF( p) N
p
dF ([]) = [ F ]
Ist : (, ) M eine Kurve mit (0) = p, so ist F : (, ) N, das Bild von unter der
Abbildung F, eine Kurve in N, und ( F )(0) = F ( p). Damit ist tatschlich [ F ] TF( p) N.
dF beschreibt also die nderungsrate von F, in folgendem Sinn: Sei v Tp M, und der Punkt q bewege
p
sich mit Geschwindigkeit v von p fort (also q = (t) fr v = []). Dann ist dF (v) die Geschwindigkeit,
p
dF
F ( p)
([ F ]) = dG
F ( p)
Bei der dritten Gleichheit wurde verwendet, dass ( F )(0) = F ((0)) = F ( p).
dF ([])
F ( p)
86
(dF )1 = d( F 1 )
F ( p)
Lineare Struktur
Definition IV.2.1 hat auch einen Nachteil: Es ist nicht unmittelbar klar, wie man zwei Tangentialvektoren
addieren kann. Wir gehen so vor: Zuerst sehen wir uns den Spezialfall offener Teilmengen des Rn an,
dann bertragen wir die dort erhaltene Vektorraumstruktur (= lineare Struktur) des Tangentialraums
mittels lokaler Karten und Definition IV.2.3 auf Mannigfaltigkeiten.
Beispiel: Die einfachsten n-dimensionalen Mannigfaltigkeiten sind offene Mengen U Rn . Was ist Tp U
fr p U?
Wir verwenden = id als lokale Karte. Nach Definition ist [1 ] = [2 ] 1 (0) = 2 (0). Damit ist
die Abbildung
Tp U Rn , [] 7 (0)
wohldefiniert und injektiv. Sie ist auch surjektiv, da zu Rn der Weg (t) = p + t genau (0) =
erfllt. Also:
IV.2.5 Lemma
Fr U Rn offen knnen wir Tangentialvektoren in Tp U als Vektoren im Rn auffassen. Dabei
entspricht der quivalenzklasse der Kurve mit (0) = p der Vektor (0).
Damit knnen wir identifizieren
Tp U Rn
Da Rn ein Vektorraum ist (wir knnen Vektoren addieren und mit Skalaren multiplizieren), wird dadurch
Tp U zu einem Vektorraum.
Seien M = U Rn , N = V Rm offen und F : U V glatt. Dann stimmt das oben definierte
Differential von F bei p U mit dem alten (z.B. aus Analysis II bekannten) berein, wenn man Tp U Rn
und TF( p) V Rm identifiziert. Um dies nachzuprfen, bezeichne das alte Differential mit DF . Sei
p
v Tp U, v = []. Als Vektor im Rn ist v = (0). Nach Definition ist dF ([]) = [ F ], und als Vektor
(0)
dF (v) = DF (v)
p
wie behauptet.
Bemerkung: Die Identifizierung oben verallgemeinert sich auf Vektorrume wie folgt. Sei V ein ndimensionaler R-Vektorraum. Dann ist V eine n-dimensionale Mannigfaltigkeit. Eine Karte erhlt man
P i
mittels einer Basis (v1 , . . . , vn ) von V: : Rn V, ( x1 , . . . , x n ) 7
x vi .
i
Damit ist jede offene Teilmenge U V eine n-dimensionale Mannigfaltigkeit (mittels der Einschrnkung von als Karte). Fr p U hat man eine natrliche Identifizierung
Tp U V ,
wiederum definiert durch [] 7 (0) := lim
Basis von V zu whlen braucht.
h 0
(h)(0)
. Natrlich heit, dass man hierzu keine
h
87
e Tp M
: Tx0 U
bijektiv. (Verwende Definition IV.2.3 und die darauf folgenden berlegungen fr die Abbildung , wobei
e und U als Mannigfaltigkeiten betrachtet werden; offenbar ist Tp U = Tp M.) Nach dem Beispiel ist
U
e Rn . Mittels d
Tx0 U
Etwas konkreter:
x0
Wir nennen fr v Tp M den Rn -Vektor (d )1 (v) die Darstellung von v bzgl. der Karte und
x0
( i = 1, . . . , n ).
Dies sind gerade die Vektoren, deren Darstellung bzgl. der Karte die Standardvektoren ei im Rn sind.
Explizit
= [t ( 1 ( p) + t ei )].
xi p
x0
: Rn Tp M ein Vektorraumisomorphismus
, i = 1, . . . , n eine Basis von Tp M .
xi p
n
X
Xi
i =1
Pn
i =1
Xi
X i ei
:= d ( X 1 , . . . , X n )
x0
xi p
Tp M hat bzgl. die Darstellung ( X 1 , . . . , X n ) .
xi p
hngen von der Wahl der Koordinaten, d.h. der Karte ab. Ein Vektor
xi p
in Tp M existiert unabhngig von Koordinaten; dies zeigt jedoch noch einmal, dass seine Darstellung
mittels eines n -Tupels reeller Zahlen von der Wahl eines Koordinatensystems abhngt. Mchte man in
anderen Koordinaten weiterrechnen, so muss man den Vektor vorher entsprechend transformieren (s.u.).
88
wenn der neue Tangentialraum mit dem alten (d.h. als Unterraum von R N ) identifiziert wird.
Zunchst beweisen wir die Linearitt von dF (Satz IV.2.6(2)). Sei Fe = 1 F die Darstellung von
p
e0 V
e 0 fr gewisse offene Teilmengen U
e 0 Rn , V
e 0 Rm . Nach
F bzgl. der Karten , . Es ist Fe : U
Annahme ist Fe glatt, also ist d Fe
F = Fe 1
x0
p
linear3 .
Wegen der Linearitt von dF gengt es, seine Werte auf einer Basis anzugeben.
IV.2.7 Satz
Sei F : M N glatt, p M, und seien lokale Koordinaten x fr M nahe p und y fr N nahe F ( p)
gegeben. Bezglich der Basen
, i = 1, . . . , n von Tp M und
, j = 1, . . . , m von TF( p) N
xi p
y j f ( p)
dF
xi p
m
X
F j
j =1
xi
( p)
y j F ( p)
F j
Fej
:=
(vgl. Seite 84), wobei Fej = F j die Komponenten von
i
x
ui
m
P
Fe = 1 F sind, also Fe = ( Fe1 , . . . , Fem ) =
Fej e j . Per Definition (der partiellen Ableitung) ist
j =1
m
P
Fej
F j
F j
e
d Fej (ei ) = i = i , also d Fe(ei ) =
i e j . Aus der Kettenregel folgt mit F = F
u
x
j=1 x
m
dF (
X F j
e(e )) = d(
)
=
dF
(
d
(
e
))
=
d
(
d
F
ej )
i
i
xi
xi
j =1
.
y j
struktur gemeint.
89
Koordinatenwechsel fr Tangentialvektoren
Seien , zwei lokale Karten fr M nahe p und x = 1 , y = 1 die zugehrigen lokalen Koordinaten.
Wie berechnet man die
aus den
?
i
p
x
y j p
Wenden wir Satz IV.2.7 mit M = N und F = id M an. Dann ist Fe = 1 = der Kartenwechsel. Statt
j schreiben wir auch y j , da = y x 1 , also y = x oder4 y = ( x ). Damit erhalten wir (Fupunkte
weggelassen)
n
X
y j
=
xi
xi y j
j =1
x
y
=
+
= cos + sin
r
r x
r y
x
y
x
y
=
+
= r sin + r cos
x
y
x
y
= e1 und
= e2 ist.
x
y
,
sind, und daran die Formeln
r
Dual knnen wir fragen: Wie kann man die Darstellung eines Tangentialvektors v Tp M bzgl. der xKoordinaten in die Darstellung von v bezglich der y-Koordinaten umrechnen?
Sei also v =
n
P
Xi
i =1
gleich aus
n
P
Yj
j =1
n
P
und v =
Y j j . Da 1 , . . . , m eine Basis ist, folgt durch Koeffizientenveri
y
y
x
y
j =1
n
n
P
P
y j
=v=
Xi i =
Xi i j
j
x
x y
y
i =1
i,j=1
n
X
y j
Xi
i
x
i =1
Man kann dies auch krzer schreiben als Y = d ( X ) und sieht dann, dass dies auch direkt aus X =
Yj =
(d)1 (v), Y = (d)1 (v) und 1 = 1 mit der Kettenregel folgt. Dasselbe Argument zeigt:
B
ei := 1 i
Die quivalenzbedingung in Definition IV.2.1 ist unabhngig von der Karte. Denn fr e
(0) =
(0) folgt
ei = ei und daher e
ei (0) = d (e i (0))) mit x0 = 1 ( p), d.h. aus
f
f
ist e
2
1
x0
f
f
f1 (0) =
f2 (0).
Beweis von Satz IV.2.6(1): Ist v (= Y ) die Darstellung von v bzgl. , so ist nachzuprfen, dass fr
beliebige u, v, w Tp M gilt u + v = w u + v = w und u = av u = av . Dies folgt
sofort aus v = d (v ) und analog fr u und w wegen der Linearitt von d .
x0
x0
Funktionen
Wir bezeichnen Funktionen f : M R mit kleinen Buchstaben. Wegen T f ( p) R R ist das Differential
d f : Tp M R
d
d f ([]) = ( f ) (0) =
p
dt t=0
f ((t))
4 wenn immer bequem, betrachten wir x, y nicht als Funktionen, sondern als die Koordinaten eines Punktes von M bzgl.
und bzw.
90
Das heit, fr einen Tangentialvektor v Tp M ist d f (v) die Richtungsableitung von f in Richtung v ,
d.h. die nderungsrate von f ( p) , wenn p sich entlang bewegt (fr v = [] ). Aus Satz IV.2.7 folgt
d f
xi p
f
xi p
T f ( p) R mit 1 R identifiziert
y f ( p)
fr die Basistangentialvektoren.
xi p
Kurven
Nehmen wir M = I, ein Intervall in R, in Satz IV.2.7 und schreiben dann M statt N, so erhalten wir eine
Kurve in M, meist mit statt F bezeichnet: : I M. Dann ist fr t I
d : Tt I T(t) M.
t t
) T(t) M.
(t) ist der Tangentialvektor an zum Zeitpunkt t, denn: Fr t = 0 ist (0) genau der durch die Kurve
reprsentierte Vektor in T(0) M, da der Vektor
) = [ 0 ] = [] ist. Analog ist fr beliebige t0 der Vektor (t0 ) durch die zeitversetzte
Kurve t (t t0 ) dargestellt.
daher d (
0 t
n
X
xi
i =1
(t)
xi
wenn die xi (t) die Koordinaten von (t) sind, d.h. xi (t) := xi ((t)). Das ist die bliche Notation.
IV.3. Vektorfelder
Erinnerung: Ein Vektorfeld auf einer Untermannigfaltigkeit M des R N ist definiert als eine glatte Abbildung
X:M
Tp M mit X p Tp M fr alle p M.
p M
(Wir schreiben meist X p statt X ( p), um die Anzahl der Klammern zu reduzieren.)
Wrden wir nun versuchen, diese Definition unverndert auf Mannigfaltigkeiten zu bernehmen, so
wrden wir aber schnell auf folgendes Problem stoen:
p M
Grundlage fr die Definition von glatt war. Wir mssen also Glattheit irgendwie anders definieren.
Dazu zunchst eine
IV.3.1 Definition
S
TM :=
p M Tp M
:= {( p, v) : p M, v Tp M} heit Tangentialbndel .
IV.3. Vektorfelder
91
IV.3.2 Lemma
TM ist 2n-dimensionale Mannigfaltigkeit, wenn man die Karten wie folgt definiert:
e Rn
:U
TU M
:= pU Tp M
e U M , wobei
fr Karten : U
1
(u, ( X , . . . , X )) =
( u ),
n
X
i =1
xi (u)
Beweis:
B
Kartenwechsel
sind glatt.
B
X i ( p)
mit X i : U R , so sind die X i glatt.
xi p
Daher braucht man an dieser Stelle nicht unbedingt den Begriff des Tangentialbndels. Er wird aber
spter wichtig werden.
IV.3.4 Definition
Die Menge aller Vektorfelder auf einer Mannigfaltigkeit M bezeichnen wir mit X( M) .
Vektorfelder tun im Wesentlichen zwei Dinge:
B
Vektorfelder leiten andere Objekte ab (z.B. Funktionen, andere Vektorfelder, Tensoren etc.; Stichwort:
Lie-Klammer und Lie-Ableitung)
92
fr p M und q = F ( p) .
IV.3.8 Lemma
Sei X X( M ) . Es sind quivalent:
B
Beweis: bung
IV.3. Vektorfelder
93
1
und qk = (tk ) . Wegen der Kompaktheit gibt es eine konvergente Teilfolge der qk ,
k
sagen wir qk0 q . Um rechnen zu knnen, transportieren wir alles nach Rn : Whle eine Karte
e U 3 q und setze
e = ( 1 ) ( X ) , p = 1 (q ) und p = 1 (q) . OBdA.
e = 1 , X
:U
k
k
e k auf U
e durch eine Schranke C beschrnkt. Fr einen ganz in U verlaufenden Abschnitt
ist k X
Z t
s
e( t )
e(s)k
k
e ( ) d
Z t
s
e
e ( )k d |t s| k
e ( )k = |t s| k X
k
e( ) k | t s | C
e eine -Kugel um
e(s) enthlt, die
Ein einfaches Widerspruchsargument zeigt nun, dass, falls U
genug die Kurve (t) fr t (tk0 , b) ganz in U verluft und dort einer Cauchy-Bedingung gengt;
damit folgt (t) q fr t b . Also kann nach b stetig fortgesetzt werden. Wegen (t) = X(t)
ist die Fortsetzung sogar differenzierbar.
Laut dem lokalen Existenzsatz gibt es nun in einer Umgebung von q eine Integralkurve 1 : (b
, b + ) M mit 1 (b) = q . und 1 sind beides Integralkurven durch b und daher ist (t) =
1 (t) fr alle t (b , b] , kann also verlngert werden. Auf diese Weise fhrt b < zu einem
Widerspruch. Analoges gilt fr a .
Beispiel: M = R , X ( x ) = x2
Schreibe = x . Dann gilt:
(t) = X(t)
x = x2
x
=1
x2
1
x
=1
1
x
= t+c
C ist durch die Anfangsbedingung x (0) = p festgelegt und man erhlt x (t) =
1
1
p
x (t) =
1
t+c
(falls p 6= 0 ,
ansonsten x (t) 0 ).
Beachte: x (t) ist nicht fr alle t definiert, denn die Lsung geht in endlicher Zeit gegen unendlich.
Daher ist die Kompaktheit im Satz wichtig.
94
Zur besseren Unterscheidung bezeichnen wir die maximale Integralkurve, die durch einen Punkt p
geht, auch mit p und das Intervall, auf dem sie definiert ist, mit I p .
Annahme: Im Folgenden werden wir der Einfachheit immer annehmen, dass I p = R fr alle p gilt.
Dies ist z.B. fr Vektorfelder auf kompakten Mannigfaltigkeiten immer erfllt, aber auch fr beschrnkte
oder linear beschrnkte Vektorfelder auf Rn .
IV.3.9 Satz (Zusatz zu IV.3.6)
(1) p hngt glatt von p ab, das heit
( p, t) 7 p (t)
MR M
ist glatt.
(2) Es gibt auch zeitabhngige Vektorfelder X (t) , die definiert sind durch X (t) X( M ) fr
alle t I und ( p, t) 7 X (t) p glatt. Integralkurven erfllen hier die Bedingung
p (t) = X (t) p (t) .
Der Existenzsatz gilt fr zeitabhngige Vektorfelder analog.
Beweis:
(1) Dies folgt direkt daraus, dass die Lsung einer Differentialgleichung glatt vom Anfangswert abhngt.
(2) Vollkommen analog zum Beweis fr zeitunabhngige Vektorfelder.
IV.3.10 Definition
Der Fluss eines Vektorfeldes X ist die Abbildung
: ( p, t) 7 p (t)
MR M
Wir werden meistens t ( p) statt ( p, t) schreiben. t bildet einen Punkt in M auf einen Punkt in M
ab. Man kann sich das so vorstellen, dass das Vektorfeld X die Strmung eines realen Flusses beschreibt.
Genauer ist X ( p) die Geschwindigkeit des Flssigkeitspartikels, das sich am Ort p befindet, und wir
nehmen an, dass dies nicht von t abhngt (obwohl natrlich zu verschiedenen Zeitpunkten verschiedene
Partikel bei p sein werden) die Strmung heit dann stationr. Ein Partikel, das sich zum Zeitpunkt 0
am Punkt p in diesem Fluss befindet, befindet sich zum Zeitpunkt t am Punkt t ( p) .
Die Integralkurveneigenschaft, die der Fluss erfllt, lsst sich auch so formulieren:
d
t ( p ) = X t ( p )
dt
IV.3.11 Satz
Sei X X( M ) und der Fluss von X . Dann gilt:
a) 0 = id M
b) s+t = s + t
c) t : M M ist ein Diffeomorphismus.
IV.3. Vektorfelder
95
Beweis:
a) Per Definition ist 0 ( p) = p fr alle p M .
e(s) = s+t ( p) . Es gilt:
b) Sei t fest und fr s R sei (s) = s (t ( p)) und
d
s (t ( p)) = Xs (t ( p)) , also (s) = X(s) .
ds
d(s + t)
e(0) = t ( p) und
e (s) =
d
e (s) = Xe(s) .
s+t ( p) = 1 Xs+t ( p) , also
d(s + t)
ds
(b)
(a)
bijektiv.
B
(t )1 = t ist glatt.
Bemerkung: Sei Diff( M) := {Diffeomorphismen M M } . Diff( M ) ist eine Gruppe bezglich der
Komposition. a) und b) sagen dann:
Xi
xi
wobei 1 , . . . , n die Komponenten von in den Koordinaten x sind, d.h. i = xi oder i (t) =
xi ((t)) . (Zur Erinnerung: p M hat die Koordinaten x1 ( p), . . . , x n ( p) ).
Eine blichere Notation ist, xi (t) statt i (t) zu schreiben. Wegen der mehrfachen Verwendung des
Symbols xi kann dies anfangs etwas verwirrend sein, doch ist das Einsparen von Buchstaben auch ntzlich,
und man gewhnt sich schnell dran.
Beispiel: Gegeben M = RZ , Koordinaten wie frher eingefhrt (d.h. = , : R RZ
96
. Es gilt x (t)
( X + Y ) p := X p + Yp
( aX ) p := aX p
definiert sind.
(2) X ( M ) ist ein C ( M, R)-Modul, wobei fr g C ( M, R) und X X ( M) das Produkt von
g mit X durch
( gX ) p := g( p) X p
definiert ist.
Beweis als bung. Die Eigenschaften folgen im Wesentlichen daraus, dass jedes Tp M ein Vektorraum ist.
Der zweite Teil sagt aus, dass ( f g) X = f ( gX ) und dass die Operation ( g, X ) 7 gX bilinear ist. Beides
ist offensichtlich.
Der Punkt ist, dass man im ersten Teil das Vektorfeld nur mit einer Konstante multpliziert (alle Vektoren
werden um denselben Faktor gestreckt oder gestaucht), whrend im zweiten Teil der Vektor X p mit einer
von p abhngigen Zahl gestreckt wird.
Punkt p M
F ( p) N
Kurve : I M
F : I N
Funktion f : M R
f F 1 : N R
Vektor X p Tp M
dF ( X p ) TF( p) N
p
Vektorfeld X X( M )
F ( X ) X( N )
Abbildung : M M
F F 1 : N N
IV.3. Vektorfelder
97
Beachte, dass einige dieser Operationen auch definiert sind, wenn F nicht bijektiv ist (bei Punkten,
Kurven und Vektoren). Darauf kommen wir spter zurck.
Diese Entsprechungen sind so gemacht, dass Relationen zwischen verschiedenen Typen von Objekten
bestehen bleiben (man sagt, sie sind natrlich)5 , zum Beispiel:
(1) X p = []
dF ( X p ) = [ F ]
Diese Aussagen reflektieren die Tatsache, dass diese Konzepte (Differential dF, Fluss und Integralkurve) koordinateninvariant definiert sind, man sagt auch natrlich sind. Diesen Zusammenhang kann
man allgemein beweisen, es ist aber auch einfach, die entsprechenden Aussagen direkt zu beweisen. Alle
eingefhrten Konzepte werden in diesem Sinne natrlich sein.
Beweis:
(3) bung
(2) Nach (3) gilt:
Integralkurve von X mit (0) = p
Nach Definition ist t ( p) = p (t) und fr den Fluss von F ( X ) gilt t ( F ( p)) = F ( p (t)) , also
t ( F ( p)) = F (t ( p)) , mit q = F ( p) also t (q) = F (t ( F 1 (q))) .
Ist F = id : M M , so ist id ( X ) = X .
( G F ) = G F
Eine Operation F mit diesen Eigenschaften nennt man kovarianter Funktor . F ist auch linear, d.h.
F ( X + Y ) = F X + F Y, F ( aX ) = aF X fr Vektorfelder X, Y und a R.
Alle diese Eigenschaften sind direkt aus den Definitionen offensichtlich.
( X f )( p) = d f ( X p ) p M.
, d.h. X p = i ist
xi
x p
d f
xi p
f
( p)
xi
5 Gleichzeitig beantworten sie auch die Frage: Wie soll mans denn sonst machen?
98
Also
xi
f
xi
f
( p ).
xi
( p) =
. Allgemein gilt fr X =
Xf =
Xi
xi
f
.
xi
Xi
( X f ) F 1 = ( F X )( f F 1 )
D.h.: Erst X auf f anwenden, dann das Resultat nach N rberschieben
=
erst X und f auf N rberschieben, dann Vektorfeld auf Funktion anwenden.
Beweis: bung
f C ( M) : X (Y f ) Y ( X f ) = [ X, Y ] f ,
kurz XY YX = [ X, Y ] , wobei X , Y und [ X, Y ] als Operatoren C ( M ) C ( M) aufgefasst
werden. [, ] heit Lie-Klammer .
Dies sieht zunchst etwas seltsam aus, ist aber eine der wichtigsten Operationen der hheren Mathematik berhaupt!
Beweis (und Koordinatenformel): Gegeben seien X =
X (Y f ) =
Xi
xi
und Y =
P i
Y i . Dann gilt:
x
X
i
j f
X i
Y j
x
Xi
i,j
xi
Produktregel
Yj
Xi
i,j
f
x j
X
Y j f
2 f
i j
+
X
Y
xi x j
xi x j
i,j
und
Y(X f ) =
Yi
i,j
X
X j f
2 f
j+
Yi X j i j
i
x x
x x
i,j
j i
i,j Y X
2 f
xi x j
X X
X (Y f ) Y ( X f ) =
j i
i Y
xi
i X
xi
f
j
x
=:Z j
X
j
Zj
X
f
=
Z
f
mit
Z
=
Zj j
x j
x
j
IV.3. Vektorfelder
99
Also ist
[ X, Y ] =
Zj
,
x j
Zj =
Xi
Y j
X j
Yi i
i
x
x
[ X, Y ] p =
dY ( X p )
dX (Yp )
( D f )( x ) = a( x ) f ( x ) +
impliziert a = 0 .
Xi (x)
f
( x ) fr gewisse Funktionen a, X i hat, und die Bedingung D (c) = 0
x j
[ X, [Y, Z ]] + [Y, [ Z, X ]] + [ Z, [ X, Y ]] = 0.
Beweis durch einfaches Nachrechnen.
Bemerkung: Die Jakobi-Identitt ist ein Ersatz fr die Assoziativitt, die nicht gilt: Im Allgemeinen ist
[ X, [Y, Z ]] 6= [[ X, Y ], Z ] . Genauer gesagt, gibt die Jacobi-Identitt genau die Abweichung von der Assoziativitt an, denn mittels (2) kann sie in [ X, [Y, Z ]] = [[ X, Y ], Z ] + [Y, [ X, Z ]] umgeschrieben werden (was
allerdings viel unsymmetrischer aussieht).
IV.3.16 Definition
Ein R- oder C-Vektorraum V zusammen mit einer bilinearen Abbildung [, ] : V V V , die
(2) und (3) erfllt, heit Lie-Algebra .
Beispiel: (R3 , ) ist eine Lie-Algebra, wobei das Kreuzprodukt ist.
Bemerkung: Die Bilinearitt gilt fr Multiplikation mit Skaleren, aber nicht mit Funktionen: Ist g
C ( M) , so ist
[ X, gY ] f = X (( gY ) f ) ( gY )( X f )
= g Y f
= Xg Y f + g X (Y f ) ( gY )( X f )
= Xg Y f + g [ X, Y ] f ,
100
also
[ X, gY ] = Xg Y + g [ X, Y ].
Das ist klar: In [ X, Y ] wird Y (genauer gesagt dessen Koeffizienten) in Richtung X abgeleitet, daher
muss hier die Produktregel zum Einsatz kommen.
Beispiel: In R2 bezeichne die Koordinaten mit ( x, y) . Vektorfelder seien
X=
Y = x
(= (1, 0), da 1
+0 )
x
y
(= (0, x )).
Es gilt
[ X, Y ] f =
= 1
=
f
y
f
y
x
f
x
f
x
f
2 f
2 f
+x
x
y
xy
yx
=
f,
y
y
also
,x ] =
x y
y
(= (0, 1))
xi
und Y =
Eine Art Umkehrung dieser Tatsache werden wir in Satz IV.3.21 kennenlernen.
x j
ist [ X, Y ] = 0 .
[ X, Y ] =
d
( ) Y Y
(t ) Y = lim t
,
dt t=0
t
t 0
Lie-Ableitung
das heit [ X, Y ] ist die nderungsgeschwindigkeit von Y unter dem Fluss von X .
Bemerkung: Die rechte Seite nennt man Lie-Ableitung L X Y von Y nach X . Mehr dazu spter.
Beweis: Wir geben hier einen Beweis zu Fu. Fr einen konzeptuelleren und dadurch einfacheren Beweis siehe Proposition IV.3.24.
Wir rechnen dies zunchst im Rn nach. Am bersichtlichsten geht das, wenn man alle Funktionen von
t um t = 0 Taylor-entwickelt (zu erster Ordnung). Zum Beispiel gilt fr Kurven
(t) = (0) + t (0) + t2 glatte Funktion
=O(t2 )
IV.3. Vektorfelder
101
dt
qt
dt (Yqt )
q
Yqt
qt = t ( p)
p
Abbildung IV.1.: ((t ) Y ) p = dt (Yqt )
qt
d
t ( p) +O(t2 )
dt t=0
= X ( p )
0
= p + tX p + O(t2 ).
Mit einer Taylor-Entwicklung und der Kettenregel erhalten wir auerdem fr Abbildungen F : U Rn
F ( p + tX p + O(t2 )) = F ( p) +t d f ( X p ) +O(t2 ),
g (0)
g(t)
g 0 (0)
also (mit F = Y)
Yt ( p) = Yp+tX p +O(t2 ) = Yp + tdY ( X p ) + O(t2 ).
Weiterhin gilt:
t ( p) = p tX p + O(t2 )
t = id tX + O(t2 )
q:= ( p)
t
=====
dt = d id tdX + O(t2 )
dt
t ( p)
= id tdX
+ O ( t2 )
p+tX p +O(t2 )
= id t dX + t ( ) + O(t2 )
p
= id t dX + O(t2 ).
p
Also
dt
t ( p)
= Yp + tdY ( X p ) tdX (Yp + tdY ( X p ) + O(t2 )) + O(t2 )
p
p
p
= Yp + t dY ( X p ) dX (Yp ) + O(t2 ).
p
[ F X, F Y ] = F [ X, Y ],
(Beweis: bung) und dass sich der Fluss natrlich verhlt, siehe (2) auf Seite 97.
102
Noch geometrischer lsst sich die Lie-Klammer mittels beider Flsse verstehen.
IV.3.18 Satz
Seien X, Y X( M ) , der Fluss von X und der Fluss von Y , so sind quivalent:
B
[ X, Y ] 0
s, t : s t = t s
Beispiel: Gegeben M = R2 , X =
, Y = x y
mit den Flssen
s ( x, y) = ( x + s, y) und
t ( x, y) = ( x, y + tx ).
Dann ist z.B.
s (0, 0) = (s, 0)
l ungleich
t (0, 0) = (0, 0)
[ X, Y ] 0
Beweis (von Satz IV.3.18): (Siehe auch Satz IV.3.25 fr Einordnung des folgenden Arguments in einen
allgemeineren Kontext.)
Wir wollen (t ) Y = Y fr alle t zeigen. Aus dem Lemma folgt dann (mit F = t und s statt t ),
dass t s = s t fr alle s, t.
Sei Y (t) = (t ) Y. Wir berechnen
(th ) Y (t ) Y
d
Y (t) = lim
dt
h
h 0
(t ) ((h ) Y Y )
= lim
h
h 0
= (t ) ([ X, Y ]) = 0
fr alle t, wobei in der zweiten Zeile die Rechenregeln fr push-forward und in der dritten die Stetigkeit
von (t ) sowie Satz IV.3.17 verwendet wurde. Daraus folgt Y (t) = Y (0) = Y fr alle t, was zu zeigen
war. Die umgekehrte Implikation zeigt man direkt durch Ableiten nach s und t (bung).
Auch fr [ X, Y ] 6 0 kann man die Lie-Klammer mit Hilfe des nicht-Kommutierens der Flsse ausdrcken:
IV.3. Vektorfelder
103
IV.3.20 Satz
Gegeben X, Y X(U ) , U Rn und p U . Seien , die Flsse von X, Y . Dann gilt:
[ X, Y ] p = lim
t 0
t t t t ( p ) p
( p) t t ( p)
= lim t t
t2
t2
t 0
Beweis: bung
t t t ( p)
t t ( p)
qt = t t t t ( p)
t ( p)
Abbildung IV.2.: So knnte in Satz IV.3.20 die Verschiebung von p entlang der Flsse aussehen, wenn X nach rechts gerichtet
ist und Y nach oben. Es gilt: qt = p + t2 [ X, Y ] p + O(t3 )
Hier eine weitere Frage, die mit Hilfe der Lie-Klammer beantwortet werden kann: Gegeben n Vektorfelder, X1 , . . . , Xn X( M ) ( dim( M ) = n ), linear unabhngig bei p . Gibt es Koordinaten nahe p , so dass
fr alle i
Xi =
xi
nahe p gilt?
Antwort: Nicht immer. Man kann aber angeben, wann ja:
IV.3.21 Satz (Koordinatenvektorfelder)
Sei p M und seien X1 , . . . , Xn X( M ) nahe p gegeben und bei p linear unabhngig (d.h.
X1p , . . . , Xnp sind Basis von Tp M ). Dann sind quivalent:
(1) Es gibt lokale Koordinaten x nahe p mit Xi =
xi
fr i = 1, . . . , n nahe p .
2 f
2 f
, j]f = i j j i = 0
i
x x
x x
x x
fr alle f .
(2) (1) : Sei k der Fluss von Xk . Nach Satz IV.3.18 kommutieren alle kt nahe p fr t nahe 0 . Fr
t1 , . . . , tn nahe 0 definiere
(t1 , . . . , tn ) := 1t1 2t2 ntn ( p).
Dann gilt
(t) = X 1(t)
t1
(mit t = (t1 , . . . , tn ) ).
(t1 , . . . , tn ) = kt 1t1 ( p)
k
und damit
(t) = X k(t) .
tk
104
Daher sind
t1 (0),
tn (0)
e U fr eine Umgebung U
e von 0 im Rn und eine Umgebung U von p in M (Satz ber die
U
tk
(da
=
)
tk
tk
Pull-back
Die folgenden konzeptuellen berlegungen werden unter Anderem zu einem einfacheren Beweis von
Satz IV.3.17 fhren.
Auf einer Mannigfaltigkeit betrachten wir Objekte verschiedener Typen: Funktionen, Vektorfelder (spter noch weitere: Tensoren, Differentialformen). Fr manche Typen von Objekten ist es natrlicher (naheliegender), sie unter Abbildungen F : M N zurckzuziehen, als vorwrtszuschieben. Zum Beispiel:
IV.3.22 Definition
Sei F : M N eine Abbildung und f : N R eine Funktion. Der pullback von f unter F ist die
Funktion F f : M R definiert durch
F f = f F,
also ( F f )( p) = f ( F ( p)) fr p M
einer Variablen (also eine Funktion von x), so ist ( f )( x, y) = f ( x ), d.h. f ist die Funktion von
( x, y), die auf jeder vertikalen Geraden { x = x0 } konstant ist und den Wert f ( x0 ) hat.
B
( F f )( x ) = f ( x + v). Man erhlt den Graphen von F f , indem man den Graphen von f um v
(beachte Minuszeichen!) verschiebt.
Falls F ein Diffeomorphismus ist, so ist F offenbar die umgekehrte Operation zum vorher diskutierten
pushforward. Zur Vereinheitlichung definieren wir daher auch fr Vektorfelder X X ( N )
F X = ( F 1 ) X X ( M )
(F : M N Diffeomorphismus). Auch fr Vektorfelder ist dann F die inverse Operation zu F , d.h.
F ( F X ) = F ( F X ) = X. Dies folgt ganz einfach aus den funktoriellen Eigenschaften von pushforward.
Bemerkung: Je nach Objekttyp ist pushforward oder pullback die natrlichere Operation, in dem Sinn,
dass sie fr beliebige Abbildungen definiert ist.
Z.B. ist fr Kurven und Vektoren pushforward, fr Funktionen aber pullback in diesem Sinn natrlicher.
Die jeweils umgekehrte Operation ist nur fr Diffeomorphismen F definiert. Beachte: Fr pushforward
(oder pullback) von Vektorfeldern braucht man immer Diffeomorphismen, da in der Definition ( F X )q :=
F 1 ( q )
IV.3. Vektorfelder
105
Bemerkung: Man sieht direkt aus der Definition, dass pull-back folgende Eigenschaften hat:
B
Ist F = id : M M , so ist id ( X ) = X .
( G F ) = F G
Beachte die umgekehrte Reihenfolge rechts!
Eine Operation F mit diesen Eigenschaften nennt man kontravarianten Funktor . Weiterhin ist F linear:
F ( f + g) = F f + F g etc.
Die Lie-Ableitung
IV.3.23 Definition
Sei M Mannigfaltigkeit und X X ( M) ein Vektorfeld auf M. Fr ein Objekt O (Funktion, Vektorfeld, spter auch Differentialform, Tensor) definiere die Lie-Ableitung von O nach X als
LX O =
d
O
dt t=0 t
( LX f ) p =
d
d
d
( f )( p) =
f (t ( p)) = d f
( t ( p)) = d f ( X p ) = ( X f ) p
0 ( p) dt t=0
p
dt t=0 t
dt t=0
(2) Wir verwenden die Natrlichkeit der Operation (Y, f ) 7 Y f unter pullback, angewendet auf den
Diffeomorphismus t :
t (Y f ) = (t Y )(t f )
fr beliebige Funktionen f . Wir differenzieren beide Seiten nach t und setzen dann t = 0. Wegen
0 f = f und 0 Y = Y folgt7
d
d
d
(Y f ) = ( t Y ) f + Y ( t f )
dt t=0 t
dt t=0
dt t=0
t 0
f ( p+t) f ( p)
t
6 Die neue Notation ist aber durch die vereinheitlichte Sicht ber verschiedene Objekttypen gerechtfertigt.
7 Verwende folgende Tatsache aus Analysis II: Ist (s, t) h(s, t) eine nach s, t differenzierbare Funktion, so ist d ( h(t, t)) =
dt
(s h)(t, t) + (t h)(t, t). Beweis mit Kettenregel. Hier h(s, t) = (s Y )(t f ).
106
(a) Ich bewege mich entlang der Kurve t 7 p + t (nach rechts) und betrachte dabei die Momentannderung der Funktionswerte.
(b) Ich bleibe beim Punkt p stehen und lasse die Funktion f (genauer ihren Graphen) nach links an mir
vorbeiziehen, betrachte die Momentannderung der Funktionswerte bei p.
Dies ist der Spezialfall X =
(t f )( p) f ( p)
d
= (t f )( p).
dt t=0
t
t 0
f 0 ( p) = lim
Dasselbe gilt fr Funktionen auf einer Mannigfaltigkeit M und ein Vektorfeld X auf M: (a) beschreibt
d f ( X p ), und (b) beschreibt ( L X f )( p), und beides ist gleich.
Vektorfelder: Wollen wir ein Vektorfeld Y in Richtung des Vektorfelds X ableiten, so gehen wir wie in (b)
(t Y )( p)Y ( p)
.
t
t 0
Bedeutung von t Y = (t ) Y: Der Fluss von X nimmt das Vektorfeld Y mit (und verzerrt es dabei).
Da der Fluss von X zur Zeit t gleich dem Fluss von X zur Zeit t ist, folgt:
( L X Y ) p ist die Momentannderung des Vektors bei p, den wir beobachten, wenn wir im Punkt
p sitzen und beobachten, wie Y von dem Fluss von X mitgenommen wird.
Beachte: Beschreibung (a) steht uns fr Vektorfelder Y nicht zur Verfgung. Denn dazu mssten wir
die Differenz Yt ( p) Yp bilden. Es ist aber Yt ( p) Tt ( p) M, Yp Tp M, und es macht keinen Sinn, die
Differenz zwischen Vektoren in unterschiedlichen Vektorrumen zu bilden.8 Bei Beschreibung (b) passiert
die Differenzbildung in Tp M.
Bemerkung: Es gibt einen wichtigen strukturellen (rechnerischen) Unterschied zwischen der Lie-Ableitung
L X f von Funktionen f und der Lie-Ableitung L X Y von Vektorfeldern Y, in der Art der Abhngigkeit von
X X ( M ). Am einfachsten sieht man dies in Koordinaten. Sei daher X =
B
Xi
.
xi
Fr ein Vektorfeld Y =
LX f = X f =
Z j,
x
Xi
f
xi
P i
Y i ist
x
L X Y = [ X, Y ] =
X
j
Z =
X
i
i Y
xi
i X
xi
dann die Differenz bilden knnte. Das Ergebnis wrde aber von der Wahl der Karte abhngen, wie man leicht nachrechnen
kann. Wir wollen aber ein invariantes (koordinatenunabhngiges) Resultat das macht die Geometrie aus.
107
IV.3.25 Satz
Sei X ein Vektorfeld auf M mit Fluss (t )tR . Fr ein Objekt (Funktion, Vektorfeld, Tensor etc.) O
auf M sind quivalent:
(1) O ist unter dem Fluss invariant, d.h. t O = O fr alle t.
(2) L X O = 0.
Dies ist das hhere Analogon zum Satz, dass eine Funktion auf R genau dann konstant ist, wenn ihre
Ableitung berall verschwindet.
Beweis: (1) (2): Da t O unabhngig von t ist, ist L X O =
(2) (1): Sei O(t) = t O . Dann ist fr beliebige t
d
O = 0.
dt t=0 t
O t O
dO(t)
= lim t+h
dt
h
h 0
t h O O
= lim
h
h 0
O O
= t lim h
h
h 0
= t ( L X O) = t 0 = 0
unter Verwendung der Eigenschaften des pullback. Also ist O(t) konstant in t, d.h. O(t) = O(0) = O fr
alle t.
1-Formen
Erinnerung: Fr f C ( M, R) ist fr jedes p M d f eine lineare Abbildung Tp M R . Dies ist ein
108
()
Dann ist {e1 , . . . , en } eine Basis von V , die sogenannte duale Basis zu {e1 , . . . , en } .
Die Darstellung von V in der Basis {e1 , . . . , en } ist
=
n
X
i ei ,
i = ( ei ).
i =1
Bemerkung: () sagt
ei
n
X
v j e j = vi
( v1 , . . . , v n R)
j =1
e (e j ) =
ji
:=
falls i = j
sonst
Dies definiert ei schon eindeutig, da lineare Abbildungen bereits durch ihre Werte auf einer Basis (hier
vi ei . Dann ist
v i ( ei )
( linear)
vi i
(Definition von i )
i ei ( v )
(vi = ei (v))
X
i
X
i
i ei .
also 1 = = n = 0 .
Wir halten noch fest (Anwenden einer Linearform auf einen Vektor in Koordinaten):
v=
v i ei , =
i ei , dann (v) =
i vi
109
1-Formen in Koordinaten
M
Sei x : U Rn ein Koordinatensystem und p U . Dies definiert die Basis
, . . . , xn
x1 p
p
von
, . . . , xn
x1 p
p
Hierbei sind xi : U R die Koordinatenfunktionen, also ist dxi linear, also dxi Tp M . Damit ist
p
x j p
xi
( p) = ji
x j
Pn
i =1
i ( p)dxi
mit i ( p) = p (
), wobei
xi p
i : U R Funktionen sind. heit glatt , falls die i glatte Funktionen sind. Wir schreiben kurz
=
i dxi ,
i = (
df =
)
p xi p
n
X
f
i =1
xi
dxi .
)
xi
f
xi
ist
110
i dxi
j dy j .
Frage: Wie berechnet man die i aus den j (auf U ) oder umgekehrt?
Antwort: Die y j sind Funktionen auf U . Man kann sie also als Funktionen von x1 , . . . , x n auffassen.
Wir schreiben diese als
y j = y j ( x 1 , . . . , x n ).
(Diese Scheibweise ist zwar etwas zweideutig, da das Symbol y j in zwei Bedeutungen vorkommt als
Funktion auf U M und als Funktion auf x (U ) Rn aber sie ist sehr ntzlich!)
Durch Anwenden der Formel fr d f (Seite 109) auf f = y j erhalten wir
dy j =
n
X
y j
i =1
xi
dxi ,
also
j dy j =
Da dies gleich
dxi
X
j,i
ist und da
X X y j
y j
j i dxi =
j i dxi .
x
x
i
dx1 , . . . , dx n
i dxi =
j dy j ist, so ist
i =
(*)
y j
.
xi
Wiederum sollte man sich eher die Herleitung als die Formel merken. (insbesondere folgt: sind die
j glatt, so auch die i ; damit ist Glattheit von 1-Formen wohldefiniert; beachte, dass dies funktioniert,
da die Koordinatenwechselfunktion x 7 y( x ) (frher genannt) glatt ist, daher ist das die zentrale
Bedingung in der Definition von Mannigfaltigkeiten)
Man vergleiche dies mit
IV.4.6 Lemma (Transformationsformel fr (die Koeffizienten von) Vektorfeldern)
Falls
P i
P
a i = b j j ist, so ist
x
bj =
(**)
ai
xi
y j
.
xi
P y j
P j
v j , so erhlt man durch
i
j , denn: Ist v Tp M beliebig, v =
y p
x y
xi
an und verwende dy j (
)
xi
y j
xi
111
Also ist
X
xi
X
i,j
i y
a i j =
x y
j
X
i
i y
xi
.
y j
Bemerkung: Durch Vertauschen der Rollen von x, y (oder mittels des Satzes ber die Umkehrabbildung)
kann man (*) umschreiben in:
j =
(*)
xi
als Funktion
xi
y j
x i ( y1 , . . . , y n )
aufgefasst wird).
X
i
ai
y j
xi
Das ist hnlich zu (*), aber doch verschieden! Man nennt (*) die kovariante und (**) die
kontravariante Transformationsregel . (das hat wenig mit der kovarianten Ableitung zu tun leider)
In einem Groteil der physikalischen Literatur und in (vor allem) der lteren mathematischen Literatur
sagt man (ich lasse mal das Argument p M weg):
Ein Tangentialvektor an M in p ist dadurch gegeben, dass man zu jedem Koordinatensystem x =
( x1 , . . . , x n )
einen Vektor ( a1 , . . . , an ) reeller Zahlen angibt, derart, dass bei bergang zu einem anderen
Koordinatensystem y = (y1 , . . . , yn ) sich der Vektor in (b1 , . . . , bn ) , bestimmt durch (**), transformiert.
(In moderner mathematischer Sprache wrde man das so ausdrcken: Ein Tangentialvektor an M in p
ist eine Abbildung, die jedem Koordinatensystem um p einen Vektor in Rn zuordnet und dabei folgende
Eigenschaft hat: Sind x , y zwei Koordinatensysteme und ( a1 , . . . , an ) , (b1 , . . . , bn ) die zugeordneten
Vektoren, so gilt fr diese die Beziehung (**).
Da ist doch unsere invariante Definition eines Tangentialvektors handlicher!)
Analog fr 1-Formen mit (*).
Man schreibt in dieser Literatur nie
P i
a i , sondern einfach ( ai ) (oder ai ).
Nachteil: Man muss die Transformationsformeln auswendig wissen. (bei der Notation
sie sich fast automatisch, s. oben)
P i
a
xi
ergeben
Entsprechend nennt man in der Physik eine Linearform oder 1-Form einen kovarianter Vektor und
einen Vektor oder ein Vektorfeld einen kontravarianter Vektor (wobei jeweils statt Vektor auch Tensor
gesagt wird; es gibt aber auch allgemeinere Tensoren, s. unten). Merke:
Linearform:
kovariant
untere Indizes
Vektor:
kontravariant
obere Indizes
(gemeint sind immer die Indizes der Koeffizientenfunktionen; bei den Basiselementen ist es umgekehrt)
Die Stellung der Indizes ist leicht zu merken, wenn man bei den Koordinaten xi die Indizes immer
oben schreibt und die Einsteinsche Konvention beachtet. Z.B. hat dxi einen oberen Index, also muss der
Koeffizient einen unteren haben.
Tensoren
Im Laufe der Vorlesung sind uns verschiedene Konzepte begegnet, die jedem p M ein Objekt bei p
zuordnen:
B
Vektorfeld: X p Tp M
112
1. Fundamentalform: g p : Tp M Tp M R bilinear
Weingartenabbildung: Wp : Tp M Tp M linear
Wir wollen diese Art von Objekten systematisch betrachten. Sie heien Tensoren.
Zunchst halten wir p fest und schreiben V statt Tp M .
( v1 , . . . , v s V )
(V )s = V V := {Multilinearformen V s R}
offenbar ein Vektorraum. Eine andere gngige Notation fr (V )s ist Ts0 .
A=
i1 ,...,is
113
P i
P j
v ei , w =
w e j (also vi = ei (v)
A(v, w) = A
v i ei ,
wj ej
A bilinear
v i w j A ( ei , e j ).
i,j
Nun ist vi w j = ei (v)e j (w) = (ei e j )(v, w) und A(ei , e j ) = Aij , also
A(v, w) =
i,j
Aij ei e j .
i,j
{ ei
ej
Ai,j ei (ei0 )e j (e j0 ) = 0.
= Ai j
00
Also gilt Ai0 j0 = 0 fr alle (i0 , j0 ) . (also alles analog wie fr Linearformen!)
A : V s V multilinear A =
i1 ,...,is ,j=1
mit
j
Ai is
1
Ai is ei1 eis e j
1
Basis von (V )s V
bestimmt durch
X
j
Ai is e j = A(ei1 , . . . , eis )
1
Bemerkung: Fr Bilinearformen ist ( Aij )i,j=1,...,n die altbekannte Darstellung bezglich der Basis, ebenso
j
zu.
114
Bemerkung: Der Einfachheit halber kann man auch s = 0 zulassen; was heit das? Zunchst fr einen
Vektorraum V : Per Definition ist V 0 = R . Eine 0-Linearform ist also eine lineare Abbildung
: R R.
Jedes solche ist von der Form (t) = c t fr ein c R ( c = (1) ). Also kann man 0-Linearformen
mit Zahlen in R identifizieren.
Analog ist jede lineare Abbildung
:RV
von der Form (t) = t v fr ein v V ( v = (1) ). Die Menge dieser linearen Abbildungen kann man
also mit V identifizieren.
Also ist es sinnvoll, die Definition so zu ergnzen:
IV.4.10 Definition
c) Ein (0, 0)-Tensor ist eine glatte Funktion
M R.
d) Ein (1, 0)-Tensor ist ein Vektorfeld auf M .
Bemerkung: Es gibt auch (r, s)-Tensoren mit r 2 . Diese kommen aber seltener vor (in dieser Vorlesung gar nicht). Wer nun glaubt, dies mssten dann multilineare Abbildungen V s V r sein, irrt sich!!
(Korrekte Antwort: (r, s)-Tensor = Multilinearform (V )r V s R , siehe z.B. Khnel)
A=
i1 ,...,is =1
mit Ai1 is = A(
B
xi1
,...,
xis
).
A=
i1 ,...,is ,j=1
mit
Ai is j = A( i , . . . ,
1
x
x 1
xis
Ai is dxi1 dxis j
1
x
).
j
Hierbei sind Ai1 is : U R und Ai is : U R Funktionen, und Glattheit des Tensors bedeutet
1
Glattheit dieser Funktionen.
Beispiele:
B
115
(*)
= ( gA( X1 , X2 , . . . , Xs ))( p)
Analog X( M)s X( M) . Erinnerung: [, ] : X( M )2 X( M) . Ist das ein Tensor? Nein! Denn es gilt
umgekehrt:
IV.4.11 Satz
Eine R-multilineare Abbildung
A : X( M ) s C ( M )
(bzw. X( M))
ist genau dann durch einen Tensor gegeben, wenn sie sogar C ( M )-multilinear ist (d.h. wenn man
Funktionen rausziehen darf).
Beispiel: Die Lie-Klammer [, ] : X( M ) X( M ) X( M ) ist R-bilinear, aber nicht C ( M )-bilinear, also
kein Tensor.
Wozu ist das gut?
Manche Tensoren lassen sich am einfachsten dadurch definieren, dass man sie auf Vektorfelder anwendet, nicht auf Vektoren. Man rechnet dann nach, dass die so definierte Abbildung C ( M)-linear ist. Ein
wichtiges Beispiel hierfr ist der Krmmungstensor.
Bemerkung: Dass A durch einen Tensor gegeben ist, bedeutet insbesondere: Um A( X1 , . . . , Xs ) bei
p M auszuwerten, braucht man nur die Werte von X1 , . . . , Xs , bei p zu kennen. ( Also z.B. nicht die
Werte nahebei, oder Ableitungen bei p , wie dies z.B. bei [ X, Y ] der Fall war. Daher ist [, ] kein Tensor.)
Denn es soll ja (*) (Seite 115) gelten.
Beweis (von Satz IV.4.11): (der Einfachheit halber fr s = 1 )
116
Zp = 0
( A( Z ))( p) = 0
Beweis hiervon:
Whle lokale Koordinaten nahe p und schreibe
Z=
Zi
auf U.
xi
P i
Z i) =
P i
Z A( i ) , also
( A( Z ))( p) =
A( i )
x
Zi ( p) A(
xi
)=0
xi
2 A ( Z ) = A ( 2 Z ) = A
X
Zi
xi
Zi A
xi
Werte bei p aus, ok. (Trick: Zi ist auf ganz M definiert und glatt, wenn man es auerhalb von
U gleich 0 setzt. Dasselbe gilt fr
)
xi
M
symmetrisch
Riemannsche Mannigfaltigkeit .
fr
jedes
und
X
i,j
gij dxi dx j .
positiv
definit
ist.
( M, g)
heit
117
Zum Beispiel ist fr n = 2 g = g11 dx1 dx1 + g12 dx1 dx2 + g21 dx2 dx1 + g22 dx2 dx2 . Wegen
g12 = g21 kann man dies einfacher schreiben.
Notation:
:=
+
2
2 :=
Damit ist g = g11 (dx1 )2 + 2g12 dx1 dx2 + g22 (dx2 )2 .
Beispiele:
B
M R N Untermannigfaltigkeit,
g p (v, w) = hv, wi
(Skalarprodukt in R N )
(1. Fundamentalform)
v, w Tp M Tp K
(dx )2 + (dy)2
:=
y2
Diese hat interessante Eigenschaften und ist besonders in Zusammenhang mit Algebra und Zahlentheorie interessant. In der Physik wird sie auch im Bereich Quantenchaos viel verwendet.
B
(dxi )2
Diese ist verschieden von der Metrik, die man erhlt, wenn man zum Beispiel T 2 im R3 einbettet
und die induzierte Metrik nimmt! g ist flach, d.h. hat Krmmung 0 , da die euklidische Metrik im
Rn flach ist und ( T n , g) lokal isometrisch zu (Rn , geukl ) ist.
Bemerkung: Allgemeinerer Begriff:
B
Bemerkung:
a, b sind unabhngig von der Wahl der Koordinaten. (Trgheitssatz von Sylvester)
Da g p stetig von p abhngt, sind a, b unabhngig von p (sofern M zusammenhngend ist).
118
Bemerkung: Wie ist zu verstehen, dass eine Riemannsche Metrik ein infinitesimaler Abstandsbegriff ist?
Am einfachsten lsst sich das vielleicht anhand der Formel fr die Lnge einer Kurve : [0, T ] M,
Z T
L[] =
0
k (t)k(t) dt
sehen: Der Geschwindigkeitsvektor (t) wird in der Norm k k(t) gemessen, die auf dem Tangentialraum
im Punkt (t) gegeben ist (mittels g(t) ). Approximiert man L[] durch seine Riemannschen Summen,
P
etwa iN=1 k (ti )k(t ) (ti ti1 ) fr eine Unterteilung 0 = t0 < t1 < < t N = T, so kann man
i
jeden Summanden als Lnge eines kurzen Teilstcks des Weges, gemessen in der an einem Ende des
Teilstcks gegebenen Norm, interpretieren (Lnge= Geschwindigkeit mal Zeit). Lsst man die Feinheit
der Unterteilung gegen Null gehen, hat man lauter infinitesimale Teilstcke, deren Lnge jeweils in der
an ihrem Ort gegebenen Norm gemessen wird.
brigens legt das die Frage nahe, warum die infinitesimalen Normen k k p , p M, von einem Skalarprodukt herkommen mssen, und ob man hier nicht beliebige Normen auf Tp M zulassen sollte. In
der Tat kommen solche allgemeineren Metriken vor, man nennt sie Finsler-Metriken. Wie wir im Kapitel
ber Untermannigfaltigkeiten gesehen haben, werden deren metrischen Eigenschaften aber durch eine
Riemannsche Metrik (die erste Fundamentalform) beschrieben.
war zunchst extrinsisch definiert, aber dann als intrinsische Gre identifiziert worden. Wir wollen
nun gleich intrinsisch einfhren. Ein Weg hierzu wre, die Formel fr die Christoffel-Symbole (mittels
der gij ) zu verwenden. Das wre eine Definition von mittels lokaler Koordinaten. Man msste dann
nachprfen, dass dies unabhngig von der Wahl der Koordinaten ist.
Stattdessen verfolgen wir einen anderen Weg. Dieser ist invariant, d.h. verwendet keine lokalen Koordinaten. Dies macht die Sache bersichtlicher (obwohl das auch eine Geschmacksfrage ist). Zuchst fhren
wir einen allgemeinen Begriff ein, indem wir einige wichtige Eigenschaften als Axiome nehmen.
119
IV.6.1 Definition
Sei
eine
Mannigfaltigkeit.
Eine
(oder
ein
: X( M ) X( M ) X( M )
( X, Y ) 7 X Y
mit folgenden Eigenschaften:
(1) ist C ( M, R)-linear bezglich des ersten Arguments, d.h.
X1 + X2 Y = X1 Y + X2 Y
hX Y = h X Y
( X, Y, Xi X( M), h C ( M, R))
X (Y1 + Y2 ) = X Y1 + X Y2
X (cY ) = c X Y
( c R)
(3) Fr h C ( M, R) gilt:
X (hY ) = h X Y + ( Xh) Y
Also verhlt sich X Y bezglich X wie ein Tensor. Insbesondere hngt ( X Y ) p nur von X p (und
von Y ) ab, nicht von X an anderen Punkten als p . Aber: ist nicht tensoriell bezglich Y . Um ( X Y ) p
zu bestimmen, gengt es nicht, ( X und) Yp zu kennen.
Wichtig: Es gibt viele kovariante Ableitungen. (Einfache bung: Sei A ein (1, 2)-Tensor und eine
kovariante Ableitung. Dann ist 0 , definiert durch
0X Y = X Y + A( X, Y )
eine kovariante Ableitung. Jede kovariante Ableitung entsteht aus einer gegebenen kovarianten Ableitung
120
x j
xi
xi
x j
i, j,
, ]
xi x j
= 0 . Es ist nicht schwer zu zeigen, dass umgekehrt diese Gleichheit (5) impliziert.
Die Christoffel-Symbole eines Zusammenhangs (bezglich eines Koordinatensystems) werden wie frher mittels
X
=
ijk k
j
denn [
xi
121
Addiere die ersten beiden Gleichungen und subtrahiere die dritte Gleichung. Mit Hilfe von (5) fallen alle
g( X Y, Z ) =
1
Xg(Y, Z ) + Yg( Z, X ) Zg( X, Y ) g( X, [Y, Z ]) + g(Y, [ Z, X ]) + g( Z, [ X, Y ])
2
Da dies fr alle Z gilt, ist X Y eindeutig bestimmt. Umgekehrt definiert dies X Y . Dazu muss man
nachrechnen, dass sich ( X, Y, Z ) 7 die rechte Seite von () bezglich X und Z tensoriell verhlt
und Y das richtige (in (3 vorgeschriebe) Verhalten hat sowie die Eigenschaften (4) und (5) hat. Dies ist
eine einfache Rechnung mittels der Regel fr [ X, hY ] = . . . .
() heit Koszul-Formel.
IV.6.3 Definition
Der durch g wie im Satz festgelegte Zusammenhang heit Levi-Civita-Zusammenhang . (manchmal schreibt man hierfr LC )
Bemerkung: Die frher fr Untermannigfaltigkeiten M R N definierte kovariante Ableitung ist genau
der Levi-Civita-Zusammenhang bezglich der vom R N induzierten Metrik g . Denn das folgt aus der
Eindeutigkeit, da er (1) - (5) erfllt, siehe Lemma III.2.7 fr (1)-(4) und die Bemerkung III.2.9 fr (5).
Bemerkung: In lokalen Koordinaten gilt dieselbe Formel fr ijk wie fr Untermannigfaltigkeiten, siehe
Satz III.2.10, da in deren Herleitung nur (1) - (5) verwendet wurden. Man erhlt diese Formel auch durch
Einsetzen der Koordinatenvektorfelder in die Koszul-Formel.
Sei eine kovariante Ableitung (zunchst beliebig). Man hat dann, wie frher eingefhrt, folgende
Begriffe:
B
:= X
Geodte : = 0
Es gilt:
=
t
s
t
Geodtische Krmmung (siehe Definition III.4.12; hier bentigt man, dass ( mit g vertrglich
ist, wie aus der Bemerkung nach der Definition klar wird), fr orientierte Flchen mit Vorzeichen:
g R , sonst ohne: g 0 ( g = k
dt k )
11 Beachte hierfr, dass d g( X , Y ) die Ableitung der entlang definierten Funktion g( X, Y ) in Richtung ist.
t t
dt
122
()
Rklij k = i j l j i l
xi
ui
geschrieben wurde.)
Hier wird also den drei Vektorfeldern i , j , l das Vektorfeld auf der rechten Seite von () zugeordnet.
Wie lsst sich das invariant, d.h. ohne lokale Koordinaten ausdrcken?
IV.7.1 Satz (und Definition)
Sei M Mannigfaltigkeit und eine kovariante Ableitung auf M . Die Abbildung X( M )3
X( M) , die drei Vektorfeldern X, Y, Z das Vektorfeld
R( X, Y ) Z := X Y Z Y X Z [ X,Y ] Z
zuordnet, ist ein Tensor: der Krmmungstensor von .
( M, g) eine Riemannsche
Riemannscher Krmmungstensor .
Ist
Mannigfaltigkeit
und
LC ,
so
heit
Beweis: Offenbar ist R R-multilinear. Wir mssen nur zeigen, dass man Funktionen rausziehen kann,
aus jedem der drei Argumente X, Y, Z . Wir tun das exemplarisch fr Y und lassen Z der Krze halber
in der Notation weg:
R( X, hY )
=
=
=
=
=
X hY
X h Y
h X Y + ( Xh)Y
h ( X Y
h R( X, Y )
hY X
h Y X
h Y X
Y X
[X,hY ]
h[X,Y ]+(Xh)Y
h[ X,Y ] ( Xh)Y
[X,Y ] )
Fr X gehts analog. Fr Z :
X Y hZ
= X ((Yh) Z + hY Z )
= ( XYh) Z + (Yh) X Z + ( Xh)Y Z + h X Y Z
Vertausche X, Y :
X Y hZ Y X hZ = ([ X, Y ]h) Z + h( X Y Z Y X Z ).
Auerdem ist
[X,Y ] hZ
= ([ X, Y ]h) Z + h[X,Y ] Z
Bemerkung:
123
Der Term [ X,Y ] Z fehlt in (), da [i , j ] = 0 ist. Fr beliebige Vektorfelder muss er da sein, damit
in der Rechnung oben die Terme mit h-Ableitungen (z.B. Xh, Yh ) herausfallen.
(man htte aus () die Formel fr R( X, Y ) Z erraten knnen, wie folgt: Schreibe X =
X i i ,
P
Y = Y i i , dann muss, damit R ein Tensor wird,
X
X i Y j R ( i , j )
R( X, Y ) =
X i i (
X i Y j i j +
Xi
Y j
xi j
Y X =
Y i X j j i +
Yj
X i
i ,
x j
X Y
Y j j )
und analog
also
X Y Y X = R( X, Y ) +
i Y
xi
i X
xi
Die letzte Summe ist aber gerade [ X,Y ] , siehe die lokale Formel fr [ X, Y ] auf Seite 98. Selbst nach
dieser Rechnung htte man nachprfen mssen, dass R( X, Y ) Z bezglich Z tensoriell ist.)
B
Dass R bezglich X, Y und Z tensoriell ist, ist eigentlich sehr berraschend. Immerhin wird Z
zweimal abgeleitet, z.B. in X Y Z ! Die Aussage ist, dass sich alle Ableitungen von Z in der
Gesamtsumme wegheben. Ebenso fr X, Y . Damit hngt ( R( X, Y ) Z ) p nur von X p , Yp und Z p ab.
Die Bedeutung des Krmmungstensors liegt darin, dass er die Antwort auf folgende Frage gibt: Gegeben eine Riemannsche Metrik g auf einer Mannigfaltigkeit M , wie sehe ich g an, ob es lokal isometrisch
zur euklidischen Metrik ist, d.h. ob es Koordinaten x1 , . . . , x n gibt mit
g = (dx1 )2 + + (dx n )2
(lokal)
IV.7.2 Satz
g ist (nahe p M ) lokal isometrisch zur euklidischen Metrik, genau dann wenn
R0
in einer Umgebung von p gilt.
Da man R effektiv aus g berechnen kann, beantwortet dies die Frage oben.
Dies ist der Hauptsatz ber den Riemannschen Krmmungstensor! Zum Beweis werden wir vieles von
dem verwenden, was wir uns z.B. ber kommutierende Vektorfelder erarbeitet haben.
Beweis:
ist klar, denn R 0 fr die euklidische Metrik
OBdA. sei M = Rn , p = 0 mit Standardkoordinaten y1 , . . . , yn .
1. Schritt: Wegen [yi , y j ] = 0 folgt aus R 0 , dass
i j Z = j i Z i, j, Z
y
Wir zeigen nun, dass man zu beliebigem Z0 ein Vektorfeld Z finden kann, das im Punkt 0
gerade Z0 ist und
i Z = 0 i
y
124
erfllt. Der Einfachheit halber fr n = 2 : Verschiebe zunchst Z0 parallel entlang der y1 Achse. Erhalte Z(y1 ,0) . Fr jedes y1 verschiebe nun Z(y1 ,0) parallel entlang der y2 -Geraden
durch (y1 , 0) (vertikal). Dies definiert Z(y1 ,y2 ) fr alle y1 , y2 . Wir haben nun per Definition
(1)
2 Z = 0 berall
(2)
y
y
2 1 Z = 1 2 Z berall.
y
y2
1 Z
1 Z
y
y1 ,0
= 0 , das heit 1 Z
y
= 0 folgt also 1 Z = 0
y
entlang der ganzen Geraden y2 7 (y1 , y2 ) . Also gilt auch 1 Z = 0 berall. Der Beweis fr
y
2. Schritt: Whle nun Vektorfelder Z1 , . . . , Zn wie im ersten Schritt so, dass ( Z1 )0 , . . . , ( Zn )0 eine othonormale Basis bilden. Da torsionsfrei ist, gilt fr alle i, j
[ Zi , Zj ] = Zi Zj Zj Zi = 0 0 = 0.
Die Vektorfelder Z1 , . . . , Zn kommutieren also, und nach Satz IV.3.21 gibt es Koordinaten
x1 , . . . , x n (nahe 0 ) mit
Zi =
xi
i nahe 0
3. Schritt: Da die Zi im Punkt 0 orthonormal sind und parallel entlang jeder Kurve sind, sind sie in
jedem Punkt orthonormal. Also ist
, . . . , xn
x1 p
p
R Y = dY ( X ) )
tangentialer Anteil von X
125
( X Y ) p = lim
t 0
n ,g
eukl
Fazit: Zusammenhang und Parallelverschiebung sind quivalente Begriffe, aber Parallelverschiebung ist wohl leichter geometrisch vorstellbar (aber schwieriger zum Rechnen)
Bemerkung: Andere Zusammenhnge als LC knnen durchaus von Interesse sein. Zum Beispiel der
Seefahrer-Zusammenhang auf der Kugel (genauer: auf S2 \ {Nordpol, Sdpol} ). Fr Seefahrer bedeutet geradeaus fahren, dass der Winkel zum Breitengrad konstant bleibt. Definiere also P mittels
Konstanz dieses Winkels. Der so definierte Zusammenhang hat keine Holonomie, also keine Krmmung (s. unten), aber er hat Torsion (d.h. X Y Y X [ X, Y ] 6= 0 ). Die Geodten von sind die
Seefahrer-Geodten.
Auch in der Relativittstheorie gibt es Anstze, andere Zusammenhnge als LC zu verwenden.
(Einstein-Cartan Theorie)
Krmmungstensor und Parallelverschiebung
Wir leiten eine Interpretation von R mittels der Parallelverschiebung her, mit einer Rechnung in Koordinaten.
Vorberlegung: Kovariante Ableitung in Koordinaten:
Schreibe i =
P j
. Sei Z =
Z j ein Vektorfeld. Dann gilt:
xi
X
X Z j
X
Zj j =
+
Z j ijk k
j
i
i
X
j
Z1
..
.
j,k
j X k j
Z +
Z ik
xi
Zn
j Z = i Z + i Z.
(als Gleichung zwischen Vektorfeldern Rn Rn , i Z = Matrix Spaltenvektor .
Bemerkung:
B
Sie zeigt, dass die i (also die ijk ) die Abweichung von i von der euklidischen kovarianten
126
Parallelverschiebung in Koordinaten
Wir wissen, dass folgende Aussagen ber ein Vektorfeld Z quivalent sind:
(1) Z ist parallel entlang einer zur xi -Achse parallen Geraden.
(2) i Z = 0
(3) (i + i ) Z = 0
Wir betrachten hier (mittels der lokalen Karte) Z als Vektorfeld auf einer offenen Teilmenge des Rn .
Schreiben wir kurz Z (t) := Z p+tei , so folgt
Z + i Z = 0
()
r = q + te j
q = p + tei
t2
2 Zp
+ O ( t3 )
Z + (i i 2i ) Z = 0
Z = (2i i i ) Z
Also
Zq = Z p ti Z p +
2
t2
2 ( i
i i ) Z p + O ( t3 )
2
t2
2 ( j (q)
j j (q)) Zq + O(t3 )
Beachte, dass alles bei q ausgewertet wird. Wir drcken das nun durch die Werte bei p aus:
j (q) = j ( p) + ti j ( p) + O(t2 )
Damit (und mit der Formel fr Zq ) folgt (wieder alle bei p ausgewertet):
Zr = Z p ti Z p +
2
t2
2 ( i
i i ) Z p t( j + ti j )( Z p ti Z p ) +
= Z p t ( i + j ) Z p +
t2
2
2
t2
2 ( j
j j ) Z p + O ( t3 )
Man kann nun von p aus auch erst in der j -Richtung und dann in der i -Richtung laufen, und kommt
auch bei r heraus.
127
p
Abbildung IV.4.: Parallelverschiebung in Koordinatenrichtungen (2)
p
Abbildung IV.5.: Parallelverschiebung in Koordinatenrichtungen (3)
Aus Zr0 wird dann Z p und aus Rij Z p wird Rij Z p + O(t) , d.h. hier wird der Fehler in O(t3 ) absorbiert,
und es folgt:
IV.7.3 Satz
Sei ( M, g) Riemannsche Mannigfaltigkeit, p M . Seien X p , Yp , Z p Tp M mit X p , Yp linear
unabhngig. Fr t > 0 sei
der Vektor in Tp M , den man aus Z p durch Parallelverschiebung entlang
Z p,t =
Dann ist
R( X p , Yp ) Z p = lim
t 0
Z p Z p,t
.
t2
128
x2
t
Yp
0
x1
Xp
(Vgl. der Beweis von Satz IV.7.2: Falls R 0 , so gibt es eine Basis von Vektorfeldern, die entlang
beliebiger Kurven parallel sind; insbesondere kommt man bei Rckkehr zu p wieder bei dem selben
Vektor Z p an!)
Dabei geben X p , Yp an, in welcher Ebene dieser geschlossene Weg (nahe p ) gewhlt sein soll.
Yp
Z p,t
Xp
Zp
Zp
Z p,t
(Krmmung
R( X p , Yp ) Z p = dieser Vektor geteilt
durch t2 fr
t 0)
Abbildung IV.7.: So wird Z im Satz verschoben
p
Bemerkung: Offenbar ist R( X, Y ) = R(Y, X ) (nach Definition von R ). Daraus folgt R( X p , Yp ) = 0 , falls
X p , Yp linear abhngig sind.
Weitere Krmmungsbegriffe
Der Riemannsche Krmmungstensor ist manchmal etwas unhandlich und schwer zu berblicken12 .
Man kann sich auf verschiedene Arten behelfen.
B
Man fasse R( X p , Yp ) als lineare Abbildung Tp M Tp M auf (lokale Holonomie, vgl. S. 125 128)
Betrachte die Schnittkrmmung. Diese enthlt dieselbe Information wie R , ist aber etwas anschaulicher.
Man nimmt Mittelwerte (genauer: Spuren) ber Teile von R und erhlt somit
Ric (Ricci-Tensor, ein (0, 2)-Tensor)
S (Skalarkrmmung, eine Funktion auf M )
Ric enthlt weniger Informationen als R , S noch weniger.
12 Michael Gromov, einer der berhmtesten Geometer, schrieb 1991: The curvature tensor is a little monster of multilinear
algebra whose full geometric meaning remains obscure. (Artikel: Sign and geometric meaning of curvature)
129
Schnittkrmmung
Erinnerung: Fr Flchen M R3 ist K =
P
R1212
, wobei Rklij = m gkm Rm
lij (siehe S. 56 ), das heit
det( gij )
( X, Y, Z, W ) 7 g( R( X, Y ) Z, W )
i j l k
Insbesondere, falls X p , Yp eine Orthonormalbasis von Tp M ist, so gilt
()
K = g( R( X, Y )Y, X )
(alles bei p ),
= g( X, Y )
g22 =
= g(Y, Y ),
also
g( R( X, Y )Y, X ) = K ( g( X, X ) g(Y, Y ) g( X, Y ))2
( 0 )
130
Der Ricci-Tensor
IV.7.6 Definition
Ric( X, Y ) :=
g( R(ei , X )Y, ei ) , wobei {ei } eine Orthonormalbasis sei. Ric heit Ricci-Tensor .
Fakt: Ric ist symmetrischer (0, 2)-Tensor, das heit Ric( X, Y ) = Ric(Y, X ) .
Geometrische Bedeutung: Sei k X k = 1 .
Summe der Schnittkrmmungen von n 1 paarweise orthogonalen Ebenen,
Ric( X, X ) p =
= ( n 1)
Beachte: Ric( X, X ) p mit k X k = 1 bestimmt Ric vollstndig, da Ric bilinear und symmetrisch ist.
Skalarkrmmung
IV.7.7 Definition
S :=
Geometrische Bedeutung:
S = n(n 1) Mittelwert der Schnittkrmmungen aller Ebenen Tp M