Beruflich Dokumente
Kultur Dokumente
Inhaltsverzeichnis
1 Kurven im Raum (lokale Theorie)
Windungszahl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Rotationszahl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3 Fl
achen im Raum (lokale Theorie)
19
1. Fundamentalform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4 2. Fundamentalform
28
37
Rotationsfl
achen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Minimalfl
achen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
42
Isometrien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Geod
aten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1
Parallelentransport . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Kr
ummung von Knoten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Definition. Eine (parametrisierte, glatte) Kurve ist eine glatte (=unendlich oft diffbare)
Abbildung
: I = (a, b) R3
t (t) = (x(t), y(t), z(t))
ebene Kurve
: I R2
t (x(t), y(t), z(t))
(t) = (x (t), y (t), z (t)) Tangentialvektor, Geschwindigkeitsvektor
Beispiel. (1) (t) = (a cos(t), a sin(t), bt), t R Helix, Schraubenlinie
(2) (t) = (t3 , t2 ), t R Neilsche Parabel
singul
arer Punkt bei t = 0, da (0) = 0
(3) (t) = (t3 4t, t2 4t), t R
(4) (t) = (cos(t), sin(t)), t R und (t) = (cos(2t), sin(2t)) haben dasselbe Bild, aber verschiedene Parametrisierungen verschiedene Kurven ( hat doppelte Geschwindigkeit)
Erinnerung. u = (u1 , u2 , u3 ), v = (v1 , v2 , v3 ) R3
Skalarprodukt: u v = u1 v1 + u2 v2 + u3 v3 = |u| |v| cos()
Norm (L
ange) von u: |u| = u u = u21 + u22 + u23
Definition (Bogenl
ange). Die L
ange von : (a, b) R3 ist
b
| (t)| dt [0, ]
L(a) :=
a
Beweis. W
ahle t0 I = (a, b) und definiere
t
| ( )| d
s(t) =
t0
ds
dt
ds 1
dt
= | ((s))|1
umparametrisierte Kurve
((s))
| ((s))|
| (s)| = 1s
Bemerkung. Parametrisierung nach Bogenlange ist eindeutig bis auf Translation und Orientierungsumkehr.
: (a, b) R3
: (a + c, b + c) R3 , s (s c) oder ((b + c), (a + c)) R3 , s
(s c)
Definition (Kr
ummung). : I R3 parametrisiert nach Bogenlange, s I.
| (s)| = k(s) heit Kr
ummung von in s.
Beispiel. 1) Gerade (s) = p + sv, |v| = 1 hat Kr
ummung k(s) = 0( (s) 0)
2) Kreis (s) = (R cos( Rs ), R sin( Rs ))
s
, cos sR), | (s)| = 1
R
1
s
1
s
(s) = ( cos , sin )
R
R R
R
1
k(s) = | (s)| =
R
(s) = ( sin
F
ur allgemeine Kurve heit
1
k(s)
(0, ] der Kr
ummungsradius.
Bemerkung. Kr
ummung ist invariant unter Translation und Orientierungsumkehr, weiterhin
abhangig von der Parametrisierung.
Erinnerung. Vektorprodukt in R3 . e1 = (1, 0, 0), e2 = (0, 1, 0), e3 = (0, 0, 1) Standardbasis
von R3 , u, v R3 .
u1 u2 u3
u2 v3 u3 v2
u v := v1 v2 v3 = u3 v1 u1 v3 = |u| |v| sin n,
e1 e2 e3
u1 v2 u2 v1
mit n Einheitsnormalenvektor zu u, vEbene so, dass u, v, n positiv orientiert det(u, v, n) >
0.
t(s) := (s)
n(s) :=
(s)
| (s)|
Normalenvektor, |n(s)| = 1
Anderung
der Schmiegeebene entlang , z. B. 0 (s) verlauft in einer Ebene.
Ubung.
M Euklid. Bewegung
M (p) = Ap + b mit b R3 , A O(3) = A R33 | AAt = .
Ubung.
Euklid. Bewegungen (d.h. det A = 1, A SO(3)) erhalten Kr
ummung und Torsion
von Kurven, d.h. : I R3 gilt:
k(M )(s) = k()(s)
(M )(s) = ()(s)
Satz 1.3 (Hauptsatz der lokalen Kurventheorie). (a) Zu glatten Funktionen k : I R+ , :
I R exisitert eine durch Bogenl
ange parametrisierte Kurve : I R3 mit Kr
ummung
k(s) und Torsion (s).
(b) Zwei nach Bogenl
ange parametrisierte Kurven , : I R3 mit derselben Kr
ummung
und Torsion unterschieden sich immer nur durch eine orientierungserhaltende Euklid.
Bewegung M :
(s) = A(s) + b, b R3 , A SO(3)
Beweis. Kurve : I R3 . Definiere f
ur s I
X(s) := (t(s), n(s), b(s)) R3
0
k(s)
0
0
(s)
X (s) = X(s) B(s) mit B(s) = k(s)
0
(s)
0
()
= XBX t + X(XB)t
= X (B + B t )X t = 0
=0
X(s) SO(3) s
Randbemerkung: B(s) so(3) =Liealgebra von SO(3). Jetzt losen wir (s) = t(s), :
I R3 mit beliebiger Anfangsbed (s0 )
: I R3
(s) = t(s), | | = 1
t (s)
k(s)
b(s) = t(s) n(s)
n(s) =
Definition. R R3 beschr
anktes, abgeschlossenes Gebiet hat glatten Rand R, falls R
eine disjunkte Vereinigung von einfach geschlossenen regularen Kurven ist (d.h. : [a, b]
R2 , (t) = 0 t, (a) = (b) + alle Ableitungen).
Konvention: R sei immer so parametrisiert (positiv ), dass R links von R liegt.
Es sei R R2 ein Gebiet, Q R2 ein R enthaltendes Gebiet und f : R R stetige Funktion
f (x, y) f
ur (x, y) R
mit f : Q R, f(x, y) =
0
sonst
Definition.
f dx dy
f (x, y) dx dy :=
R
g(x)
F (x, y) dx dy =
F (x, y) dy dx
f (x)
Definition. F
ur ein glattes Vektorfeld auf R2
v(x, y) = (p(x, y), q(x, y))
mit p, q glatt
und eine glatte Kurve : [a, b] R2 , t (x(t), y(t)) definieren wir das Kurvenintegral
(p(x, y) dx + q(x, y) dy)
v :=
v ((t)) (t) dt
:=
a
b
Ubung.
v ist invariant unter orientierungserhaltenden Reparametrisierungen von .
Definition. Die Rotation von v ist
rot v(x, y) :=
q
p
(x, y)
(x, y)
x
y
Bemerkung.
rot v(x, y) dx dy
R
= div w
x y
Satz von Green
rot v =
w n ds =
R
div w dx dy
R
Fluss durch R
Quellen in R
Der Rand R ist nur an endlich vielen Punkten parallel zur x oder yAchse
und dort ist die Kr
ummung = 0
(i)
p(x, y) dx =
R
q(x, y) dy =
(ii)
p
(x, y) dx dy
x
q
(x, y) dx dy
x
zu (i) Zerschneide R parallel zur yAchse in endlich viele Gebiete Ri wie im Satz von
Fubini.
p
dx dy =
y
Ri
Ri
p dx =
R
reicht z. z.
Ri
Ri
p
dx dy =
x
p
dx dy
y
p
dx dy
x
p dx
p dx
Ri
bi
Fubini
gi (x)
ai
fi (x)
p
dy dx
y
bi
HDI
ai
p dx +
1
Ri
p dx
3
bi
ai
Ri
p(x, gi (x)) dx
p(x, fi (x)) dx +
p dx =
bi
Ebene Kurven
: I R2 , (s) = (x(s), y(s)), s I parametrisiert nach Bogenlange.
t(s) = (s) Tangentialvektor
Definition. Neue Def. von Kr
ummung:
n(s) := Einheitsvektor t(s), so dass (t(s), n(s)) pos. orientiert ist
t (s) = k(s)n(s), k(s) R
Kr
ummung
Definition. (s) := Winkel zwischen t(s) und der xAchse. ((s) R mod 2), d.h.
t(s) = (cos (s), sin (s))
F
ur die Kr
ummung gilt dann
k(s)n(s) = t (s) = (s) ( sin (s), cos (s))
=n(s)
k(s) = (s)
Ubung.
Hieraus folgt, dass eine ebene Kurve durch k(s) eindeutig bis auf orientierungserhaltende Euklid. Bewegung des R2 festgelegt ist. (einfach integrieren)
Zur
uck zu ():1
: I R2 . F
ur R sei E eine Gerade in Richtung , die nicht schneidet.
d (s) := Abstand von (s) zu E
d (s) = 0 t(s) parallel zu E (s) =
mod
l
2,
Beweis von Satz 2.1. Sei nun wie in Lemma 2.2. OBdA = 0 (nach Rotation um Winkel
[ai , bi ]
|bi ai | <
und
i=1
iN
Sei f : R U R eine glatte Funktion (zweimal stetig diffbar reicht). Dann hat die Menge
der kritischen Werte von f Ma Null.
1
Zur
uck zu den Sternen
10
|b
a
|
<
M iN,nN [ai,n , bi,n ].
i,n
i,n
n=1 2n =
i,n=1
2) U = nN In , In abgeschlossene Intervalle.
{krit Werte von f } = nN {krit Werte von f In }
reicht zz. {krit Werte von f In } hat Ma Null. oBdA U = [a, b].
3) F
ur N N zerteile [a, b] in N Intervalle der Lange ba
N . Seien J1 , . . . , JK , K N die
Teilintervalle, die einen krit. Punkt xi Ji enthalten. F
ur x Ji gilt:
|f (x) f (xi )|
C|x xi |2 C
(b a)2
N2
2C(ba)2
N2
f (J i) Intervall Ii der L
ange |Ii | 2C(ba)
N2
K
K
{krit Werte von f } i=1 f (Ji ) i=1 Ii
K
|Ii |
i=1
K 2C(b a)2
N2
KN
2C(b a)2
<
N
f
ur N gro.
gibt mit
H(0, t) = 0 (t)
H(1, t) = 1 (t)
H(s, ) : [a, b] U
Notation:
x
s
geschlossene Kurve s
= xs etc.
11
offen
v=
1
Beweis. H : [0, 1] [a, b] U R2 , (s, t) (x(s, t), y(s, t)) Homotopie. Definiere das
Pullback-Vektorfeld w auf Q : [0, 1] [a, b] durch
w :=(p H xs + q H ys , p H xt + q H yt )
rot w = (p H xt + q H yt ) (p H xs + q H ys )
s
t
=xt (px xs + py ys ) + p Hxst + yt (qx xs + qy ys ) + q Hyst
xs (px xt + py yt ) p Hxst ys (qx xt + qy yt ) q Hyst
= (qx py ) H (xs yt xt ys )
rot v=0
det(DH)
rot w = 0
Der Rand von Q hat die vier Kurven 1 : (0, a) (1, a), 2 : (1, a) (1, b), 3 : (1, b) (0, b)
und 4 : (0, b) (0, a).
Satz von Green
0=
w=
w + ... +
w
4
2 : s = 1 H(1, t) = = a1 (t)
b
(p H xt + q H yt )(1, t) dt =
w=
2
v
1
w=
v
2
H(s, a) = H(s, b) s
w=
0=
v
1
v
0
Bemerkung (Differentialformen).
p dx + q dy :=
Differentialform
12
= dH (. . .)
d(. . .)
=0. (rot v=0)
= rot w = 0
offen
U sternf
ormig U einfach zshgd
2) R2 \{0} ist nicht einfach zshgd, denn:
x
y
, 2
2
+ y x + y2
:=
x2
rot = x
Betrachte f
ur k Z geschlossene Kurve
k : [0, 1] R2 \{0}
k (t) = (cos 2kt, sin 2kt)
k (t) = 2k( sin 2kt, cos 2kt)
1
= 2k
k
= 2k = 0
v=0
f
ur k = 0
f
ur konst. Kurve
Windungszahl
Definition. Sei : [a, b] R2 \{0} geschlossene Kurve. Die Windungszahl von (um 0) ist
w() :=
1
2
1
2
13
x dy y dx
x2 + y 2
Interpretation:
(t) = (x(t), y(t))
x(t) = r(t) cos (t)
y(t) = r(t) sin (t)
b
a
b
=
a
xy yx
dt
x2 + y 2
r cos (r sin + r cos ) r sin (r cos r sin )
dt
r2
=
a
x dy y dx
= d.
x2 + y 2
Kor 2.5
w(0 ##2 , q)
(a)
= w(0 ##2 , p)
= w(2 #0 #1 # 1 # , p)
Kreis um p
= w(, p) + w(1 #, p)
=1
14
= w(, p) + 1
wobei 0 die Kurve bis kurz vor und 2 die Kurve bis kurz nach dem Schnittpunkt
von mit der Verbindungsstrecke zwischen p und q bezeichnet, 1 das St
uck dazwischen
und verbindet 0 mit 2 um p und q herum.
Rotationszahl
15
r() =
Bemerkung. Sp
ater: Ahnliche
Formel f
ur Flachen, Satz von Gau-Bonnet.
Korollar 2.9. Es sei einfach geschlossene regul
are Kurve, dann ist
Ubung
r() = 1 = w(, U1 ).
Beweis. [a, b] = [0, l]. Nehme (orientierte) Gerade, die nicht schneidet, verschiebe sie, bis
sie in einem Punkt trifft.
Gerade L, Annahme: liegt links von L.
T := {(t1 , t2 ) [0, l] [0, l] | 0 t1 t2 l}
: T S 1 = {u R2 | |u| = 1}
(t2 )(t1 )
(0)
t1 = 0, t2 = l
| (0)|
AC
=w
ABBC
(t1 )
AC (t1 ) =
| (t1 )|
w AC = r()
Auf AB: Rotation um Winkel +.
Auf BC: Rotation um Winkel +.
w
ABBC
= +1
r() = +1
Falls rechts von L liegt, zeigt man analog, dass r() = 1.
16
H
t (s, )
Kor. 2.5
Der Kreis in R2 l
asst sich nicht regul
ar von innen nach auen st
ulpen.
17
(b) folgt aus Satz von Green analog zum Beweis von Satz 2.4: v : R R2 \{0} Ziehe VF
, x
unter v zur
uck zu Pullback-VF auf R. rot = 0 rot = 0.
= x2y
+y 2 x2 +y 2
Ubung
= ind(v, R)
0=
R
Ubung.
Finde VF v mit isolierter Nullstelle p, so dass ind(v, p) = k Z.
offen
ind(v, R) =
ind(v, pi )
i=1
Beweis. S := R\
Rand S = R
k
i=1 Bi mit Bi : disjunkte kleine Kreisschreibe um pi .
k
i=1 Bi und v = 0 auf ganz S. Mit Lemma 2.11 (b)
0 = ind(v, S)
k
= ind(v, R)
ind(v, Bi )
i=1
=ind(v,pi )
offen
Korollar 2.13. Sei R R2 ein Gebiet mit glattem Rand, v Vektorfeld auf R mit v = 0 auf
R. Falls ind(v, R) = 0, so hat v mindestens eine Nullstelle in R.
Beweis. Folgt unmittelbar aus dem Satz 2.12.
Beispiel (Auge des Hurricane). Ist ind(v, R) = 0, so gibt es im Inneren einen Punkt mit
v(x) = 0.
18
ind(v, B) = ind(w, B) = +1 = 0
Kor. 2.13
x B : v(x) = 0, Widerspruch.
Korollar 2.15. Es gibt keine glatte ( stetig reicht) Abb. f : B B mit f (x) = x x
B.4
Beweis. Annahme: f exisitert. g : B B Drehung um Winkel (0, 2). Dann ist g f :
B B B eine glatte Abbildung und es gilt
: x = g f (x) B und x B : g f (x) = g(x) = x
xB
Widerspruch zu Satz 2.14
Satz 2.16 (Fundamentalsatz der Algebra). Jedes komplexe Polynom p(z) = a0 + a1 z + . . . +
an z n , ai C, an = 0 vom Grad n 1 hat eine komplexe Nullstelle (z C : p(z) = 0).
Beweis. Betrachte VF auf R2
= C: v(z) = a0 + a1 z + . . . + an z n . Betrachte BR = {z C |
Kor. 2.13
|z| R}, Ziel: ind(v, B) = 0 z : v(z) = 0.
F
ur |z| = R: |a0 + a1 z + . . . + an1 z n1 | < |an z n | falls R gro genug. Definiere Homotopie von
VF auf BR durch
V (s, z) := s(a0 + a1 z + . . . + an1 z n1 ) + an z n ,
also V (1, z) = v(z), V (0, z) = an z n und V (s, z) = 0 s [0, 1], z BR . ind(v, BR ) =
ind(an z n , BR )
Ubung
n 1, fertig.
R
Bemerkung. Genauer gilt (nach Poincare-Hopf): Es existieren Nullstellen z1 , . . . , zk B
d
i
mit Vielfachheiten d1 , . . . , dk 1 (p(z) = ci (z zi ) +hohere Ordnung nahe zi mit ci = 0).
k
ind(p, zi ) = di
i=1 di = n.
p(z) hat genau n Nullstellen mit Vielfachheit gezahlt
Fl
achen im Raum (lokale Theorie)
x(u, v)
R3 , d.h. X(u, v) = y(u, v) mit x, y, z unendlich oft partiell diffbar (immer als Spaltenvekz(u, v)
toren, auch wenn als Zeilenvektor geschrieben5 ).
4
Kondome funktionieren
am Anfang will ichs aber mal richtig machen
19
xu
etc. und Xu = yu .
zu
Notation: xu =
x
u
cos u
(a + b cos v) cos u
(5) X(u, v) = (a + b cos v) sin u u, v [0, 2], a > b > 0.
b sin v
(x, y, z) Bild(X) ( x2 + y2 a)2 + z 2 = b2 . Torus, denn y = 0, x 0 : (x
a)2 + z 2 = b2 ist Kreis in x, z-Ebene mit Mittelpunkt um (a, 0), der um die z-Achse rotiert
wird.
A(X) :=
U
1, 0,
1 u2 v 2 ,
u
1 u2 v 2
20
u2 + v 2 < 1
v
1 u2 v 2
u
v
Xu Xv =
,
,1
1 u2 v 2
1 u2 v 2
u2 + v 2
1
|Xu Xv |2 =
+1=
2
2
1u v
1 u2 v 2
u = r cos ,
v = r sin
1
|Xu Xv | =
1 r2
1
2
1
A(X) =
r dr d
1 r2
r=0 =0
Xv =
0, 1,
= 2[ 1 r2 ]
1
0
= 2
Definition. Es sei X : U R3 eine parametrisierte Flache und f
ur V R2 die Funktion
3
: V U ein Diffeo. Dann ist X : V R eine Umparametrisierung dieser Flache.
offen
offen
f (u, v) du dv =
u
() Kettenregel
G
F
ur glatte Abbildungen Rn Rm Rk mit q Rn und G(q) Rm gilt
dq (F Q) = dG(q) dq G
Zum Beweis zur
uck:
Y := X : V R3
()
Ys = Xu us + Xv vs
21
Yt = Xu ut + Xv vt
Ys Yt = (us vt vs ut ) Xu Xv
=det(d)
d =
us ut
vs vt
|Ys Yt | ds dt
A(Y ) =
V
|Xu Xv | | det(d)| ds dt
=
V
()
|Xu Xv | du dv = A(X)
>0
det(d) = |Xu Xv | : Uq R+
=:h glatte Fkt
det(d) = fu gv fv gu
Also: Suchen f, g : Uq R, so dass
fu gv fv gu = h,
h : Uq R geg.
partielle Differentialgleichung.6 Auf dem Rechteck (u0 , v0 ) = q Uq = (a, b) (c, d) ist dies
losbar:
g(u, v) := v
Setze
u
f (u, v) := u0 h(t, v) dt
Dann ist
gu = 0,
gv = 1,
fu gv fv gu =
=
6
f
g
fu = h,
fv = ...
h7
: Uq R2 glatt
Der Hauptsatz u
osen kann.
ber partielle Differentialgleichungen sagt, dass man sie eigentlich nie l
22
det(d) = h > 0
Der Satz u
ber inverse Funktionen garantiert: Nach Verkleinern von Uq gibt es eine glatte
Umkehrabbildung : Vq = (Uq ) Uq von Uq
Diffeo, Y := X gesuchte umparametrisierte Flache.
Bemerkung.
offen
Nach Umbennenung von (x, y, z) existiert V R3 mit p V und eine glatte Funktion
offen
offen
=
(a) (b). : V W R3 , F := w : V R, dq F surjektiv. V S = F 1 (0).
1
F (0) ist lokal Graph z = g(x, y).)
(c) (d). X : U R3 , X(u, v) := (u, v, g(u, v)) Dann ist dq X injektiv, also X : U V S
z
23
xu xv
(q) invertierbar ist.
yu yv
u
x(u, v)
v := y(u, v)
w
z(u, v) + w
: U R R3
xu xv 0
dq,0 = yu yv 0
zu z v 1
invertierbar
X:U
=X U :U
V S Homoo
offen
X(U ) Homoo.
offen
offen
offen
X(U ) = V S, V V , W := 1 (V ) W
(W {w = 0} = V S
Beispiel. 1) F 1 (0) = S 2 = {(x, y, z) R3 | x2 + y 2 + z 2 = 1}
F (x, y, z) := x2 + y 2 + z 2 1 mit d(x,y,z) F = (2x, 2y, 2z) = 0 (x, y, z) S 2
3.3 (b)
S 2 ist eingebettete Fl
ache.
3.3 (d) lokal Graph: S 2 {z > 0} = {(x, y,
1 x2 y 2 ) | x2 + y 2 < 1}
=g(x,y)
z < 0 : g(x, y) = 1 x2 y 2
S 2 {y > 0} = {(x, 1 x2 z 2 ), z) | x2 + z 2 < 1}
=g(x,y)
y < 0 : g(x, z) = 1 x2 z 2
Analog x > 0 und x < 0. Jeder Punkt der Sphare liegt in mindestens einer der 6 Mengen.
2) Betrachte f
ur eine einfache regulare Kurve : (a, b) R2 , (t) = (r(t), z(t)) die Rotationsfl
ache X : [0, 2) (a, b) R3 , X(u, v) := (r(v) cos u, r(v) sin u, z(v))
S = Bild(X) ist eingebettete Flache, falls : (a, b) ((a, b)) Homoo und r(t) > 0 ist
f
ur alle t. F
ur r = 0 braucht man eine Zusatzbedingung, z. B. ar2 + bz 2 = 0 nahe r = 0.
Korollar 3.4. Es sei S R3 (eingebettete) Fl
ache, X : R2 U V S lokale Parametrisierung. f
ur alle p V S existiert V
2
F : V R mit X 1 V S = F V S .
offen
24
Beweis. Nach dem Beweis von Satz 3.3 ist (u, v, w) := x(u, v) y(u, v) z(u, v) + w ein
offen
Diffeo, : U R W V
offen
(V V ) X 1 (V V )
offen
=:U R2
offen
=:U R2
ein Diffeomorphismus.
Beweis. X 1 X Hom
oo nach Satz 3.3 (d). Kor 3.4 in einer Umgebung jedes Punktes ist
X 1 X = F X mit F : R3 V R2 glatt und X : R2 U R3 glatt. X 1 X glatt.
1
Ebenso zeigt man: X X glatt, also ist X 1 X ein Diffeo.
Definition. Es sei S R3 eine Fl
ache. Eine Abbildung f : S Rn heit glatt in p S, falls
gilt: Es existiert eine offene Umgebung V R3 von p und eine glatte Abbildung F : V Rn
mit f V S = F V S .
Kor 3.4
Kor 3.5
F
ur eine ( ) lokale Parametrisierung X : R2 U V S, q p ist f X : U
n
R glatt in q.
f heit glatt, wenn f in jedem p S glatt ist.
Nach Kor 3.5 gilt: X : R2 U V S lokale Parametrisierung X 1 : V S R2 glatt.
f : S1 S2 heit glatt mit S1 , S2 Flachen in R3 , wenn f als Abbildung S1 R3 glatt ist.
Komposition glatter Abbildungen ist glatt.
Aus Kor 3.4 folgt: f : S1 S2 glatt F
ur alle lokalen Parametrisierungen X1 : R2 U1
2
V1 S1 und X2 : R U2 v2 S2 ist X21 f X1 : (f X1 )1 (V2 ) U2 ist glatt.
Definition. Es sei S R3 eine Fl
ache, p S. Ein Vektor w R3 heit Tangentialvektor an
S in p, falls w = (0) f
ur eine glatte Kurve : ( , ) S mit (0) = p.
Die Tangentialebene von S in p ist
Tp S = {Tangentialvektoren in p}
= { (0) | : ( , ) S, (0) = p}
Korollar 3.6. Tp S ist eine Ebene durch 0 R3 . In der Beschreibung von S aus Satz 3.3 ist
die Tangentialebene gegeben durch:
(a) Tp S = (dp )1 ({w = 0}) (u v)-Ebene
(b) Tp S = ker(dp F )
25
w = (0), ( , ) S V, (0) = p
X : R2 U V S, X(q) = p
:= X 1 : ( , ) U glatt
v := (0) R2
Beh.: w = dq X(v), denn = X .
w = (0) = dq X( (0)) = dq X(v)
: w = dq X(v). Sei (t) = q + tv U, t ( , ) (0) = v.
:= X : ( , ) V S glatt
(0) = X((0)) = X(q) = p
(0) = dq X( (0)) = dq X(v) = w
Tp S = Bild(dq X) ist Ebene durch 0, da dq X : R R3 linear ist.
Definition. S1 , S2 R3 Fl
achen, f : S1 S2 glatte Abbildung mit S2
Differential von f an q ist
q = f (p). Das
dp f :=Tp S1 Tq S2
(0) (f ) (0)
Beh.: dq f ist wohldefiniert (unabh
angig von ) und linear, denn:
X : R2 U V S1 lokale Parametrisierung mit X(r) = p. Kor 3.6 (a) w := (0) =
dr X(v), v R2 . v R2 ist eindeutig mit dr X(v) = w, da dr X injektiv.
dp f (w) = (f ) (0) = (f X ) (0)
= dr (f X)( (0))
= dr (f X)(v)
Diese Definition von dp f ist unabhangig von ( dp f wohldefiniert)
dp f (1 w1 + 2 w2 ) = dr (f X)(1 v1 + 2 + v2 )
linear
= 1 dr (f X)(v1 ) + 2 dr (f X)(v2 )
= 1 dp f (w1 ) + 2 dp f (w2 )
dp f linear.
26
1. Fundamentalform
Tp S R3 linearer Unterraum.
v, w = v w = v1 w1 + v2 w2 + v3 w3 Standard-Skalarprodukt auf R3 .
Skalarprodukt , auf Tp S
11
Ip (v) = v, v
(1)
G := Xv , Xv
Mit dieser Definition ist dann
Tp S
w = w1 Xu + x2 Xv
Ip (w) = w1 Xu + w2 Xv , w1 Xu + w2 Xv
= Ew12 + 2F w1 w2 + Gw22
E F
F G
= w1 w2
E F
F G
w1
w2
F
G
= det
E F
F G
= |Xu |2 |Xv |2 Xu , Xv
= |Xu Xv |2
Der Fl
acheninhalt einer parametrisierten eingebetteten Flache X : R2 U V S
ist
A(V S) = A(X) =
|Xu Xv | du dv
U
27
=
U
E
F
F
G
1/2
du dv
Fl
acheninhalt ist aus 1. Fundamentalform berechenbar.
F
ur Gesamtfl
ache A(S) von S R3 wahle Uberdeckung
S
i=1 Vi (iA. endlich) mit
lokalen Parametrisierungen Xi : R2 Ui Vi S. Definiere Vi := Vi \ V 1 . . . V i1
und Ui := Xi1 (Vi ).
Definition. Die Gesamtfl
ache von S ist
A(Vi S)
A(S) :=
i=1
(b) L
angen von Kurven auf S
: [a, b] S glatte Kurve.
b
| (t)|
L() =
dt
a
=I(t) ( (t))1/2
L
s=0
[0,s]
d
ds
| (t)| dt
s=0
= | (0)| = Ip (w)1/2
Die 1. Fundamentalform ist durch Langenmessungen auf S bestimmbar.
Die 1. Fundamentalform reflektiert die intrinsische Geometrie von S.
2. Fundamentalform
dp N : Tp S TN (p) S 2 = Tp S
=N (p)
=N (p)
dp N : Tp S Tp S
lineare Abb.
Lemma 4.1. Es bezeichne , das Skalarprodukt auf Tp S. dp N ist symmetrisch bzgl , , d.h.
dp N w1 , w2 = w1 , dp N w2
w1 , w2 Tp S
(N X),
Nu :=
u
etc
(2)
Xuv , N + Xv , Nu = 0
Xvv , N + Xv , Nv = 0
Xu , dp N Xv = Xu , Nv = Xv , Nu = Xv , dp N Xu
(3)
= (n, N )
II p (w) = k cos =: kn
ist die Normalenkr
ummung (Kr
ummung S) einer Kurve : ( , ) S mit (0) =
p, (0) = w. (Hier ist nicht notwendigerweise nach Bogenlange parametrisiert.) spezielle
Kurven : Normalenschnitt
Cn := S Ebene von w, N (p) aufgespannt
n = N (p)
Kr
ummung von Cn = kn
Beispiel. (0) Ebene.
nN kn = 0 flach
(1) Sph
are vom Radius R > 0
SR = {x2 + y 2 + z 2 = R2 }
nach innen zeigend orientiert.
Normalenschnitt an p SR ist Kreis von Radius R mit Kr
ummung k =
Normalkr
ummungen = R1 .
1
R
= kn , d.h. alle
(2) Zylinder
{x2 + y 2 = 1}
nach innen zeigend orientiert.
Normalenschnitt = Ellipse oder Gerade.
Kreis: kn = 1 und Gerade: kn = 0 und Ellipse: 0 < kn < 1.
parabolisch
(3) Torus
{(r a)2 + z 2 = b2 }
x2 + y 2
Kr
ummung an einem Punkt p an der Innseite des Torus, Normalenvektor in den Torus
rein zeigend.
Normalenschnitte:
Kreis vom Radius b, also kn = 1b > 0
1
Kreis vom Radius a b, also kn = ab
<0
1
Ubung.
Alle Normalenkr
ummungen an p sind in ab
, 1b .
[0, 2]
elliptisch, wenn
hyperbolisch, wenn
parabolisch, wenn
flach, wenn
K>0
K<0
K = 0, dp N = 0
dp N = 0
Xu Xv
|Xu Xv |
31
Frenet-Dreibein
E F
, war (1), ist die Matrix von
F G
Xu , N = 0 = Xv , N .
e := Xu , Nu = Xuu , N
f := Xu , Nv = Xv , Nu = Xuv , N
(4)
g := Xv , Nv = Xvv , N
e f
f g
Dann ist
w = x1 Xu + w2 Xv
Ip (w) = w1 w2
E F
F G
II p (w) = w1 w2
e f
f g
w1
w2
w1
w2
a11 a12
ist die Matrix von dp N in der Basis Xu , Xv , d.h. w1 Nu +
a21 a22
w1
w2 Nv = dp N w = A
= (a11 w1 + a12 w2 )Xu + (a21 w1 + a22 w2 )Xv .
w2
Definition. A :=
Nu = a11 Xu + a21 Xv
(5)
Nv = a12 Xu + a22 Xv
definiert (aij ).
e f
w = II(w) = dp N w, w = (Aw)T
f g
wT
e f
f g
a11 a12
a21 a22
E F
F G
=
T
a11 a12
a21 a22
e f
=
f g
1
EG F 2
E F
w = w T AT
F G
E F
w
F G
E F
F G
E F
F G
G
F
F
E
Die Weingarten-Gleichungen
f F eG
EG F 2
gF f G
=
EG F 2
eF f E
=
EG F 2
f F gE
=
EG F 2
a11 =
a12
a21
a22
32
(6)
dr
ucken die Matrix von dp N durch I und II aus.
eg f 2
EG F 2
a11 + a22
eG 2f F + gE
H=
=
2
2(EG F 2 )
K = det(aij ) =
H2 K
(7)
211 G
= Xuu , Xv
212 G
= Xuv , Xv
(8a)
222 G
E F
F G
= Xvv , Xv
111
211
=
33
1
= Fu Ev
2
1
= Ev
2
1
= Gu
2
1
= F v Gu
2
1
= Gv
2
1
2 Eu
Fu 12 Ev
(8a)
(8b)
(8c)
111
211
111 =
211 =
1
EG F 2
G
F
F
E
1
2 Eu
Fu 12 Ev
GEu 2F Fu +F Ev
2(EGF 2 )
F Eu +2EFu EEv
2(EGF 2 )
Analog f
ur (8b) und (8c)
Lemma 4.2. Die Christoffel-Symbole kij sind Funktionen von E, F, G und ihren 1. Ableitungen.
kij sind intrinsisch auf S berechenbar.
Betrachte M = (Xu , Xv , N ) : U R33 .
(5) und (7)
11 112 a11
B = 211 212 a21
e
f
0
Mu = M B
Mv = M C
(5)
12 122 a12
C = 212 222 a22
f
g
0
(9)
0 = 112
111
+ 111 112 + 112 212 + a11 f 112 111 + 122 112 + a12 e
f 2 F ef G egF + ef G
f 2 eg
=
F
= F K
EG F 2
EG F 2
F K = 112 u 111 v + 112 212 122 211
(6)
a11 f a12 e =
(911 )
Analog:
EK = 212
211
(921 )
Analoge Gleichungen f
ur (12) und (22). Die Gleichungen (911 ), (912 ), (921 ), (922 ) heien GauGleichungen.
Satz 4.3 (Gau Theorema Egregium). Die Graukr
ummung K ist eine Funktion von E, F, G
und ihren 1. und 2. Ableitungen.
K ist intrinsisch auf S berechnbar.
Bemerkung. Dies gilt nicht f
ur die mittlere Kr
ummung H und die Hauptkr
ummungen k1 , k2
( spater).
34
(9)31
(9)32
parametrisierte Kurven
X : R2 U = (u, v) R3
: [a, b] R3
M = (Xu , Xv , N )
M = (t, n, b) Frenet-Dreibein
Mu = M B, Mv = M C (5 )
1
11 112 a11
12 122 a12
B = 211 212 a21 , C = 212 222 a22
e
f
0
f
g
0
Ms = M B Frenet-Formeln
0 k 0
B = k 0
0 0
0 = Cu Bv + [B, C]
(9)
B, C Ann. (9)
k,
offen
f
ur ein A SO(3), b R3
B, C erf
ullen (9). Wahle Uq = [a, b][c, d] U = [0, 1]
Mu = M B
[0, 1] (oBdA). Suchen M : Uq R33 mit (5) =
. Wahle M (0, 0) SO(3)
Mv = M C
35
f
ur festes u)
M erf
ullt Mv = M C (u, v). Behauptung: Mu = M B (u, v)
H(u, v) :=
M (u, v)1 M
u (uv, )
(ODE
(5 ). Betrachte
H
= M 1 Mv M 1 Mu + M 1
v
=C
1
= CM
Muv
Bv
=Mu C+M Cu
Mu + M
M u C + Cu B v
(9)
= CBBC
= [M
Mu B, C]
= [H, C]
H
v
= [H, C]
H(u, 0) = 0 u
Xv (u, v) = M 2 (u, v)
X(u, 0) = geg.
2
2
1
X : Uq R , Xv = M (u, v). Behauptung: Xu = M (u, v).
= (M B)2 (M C)1 = M B 2 M C 1
(B 2 C 1 )
=M
=0
(Xu M )(u, 0) = 0
(Xu M 1 )(u, v) = 0 (u, v)
X : Uq R3 ist eine parametrisierte Flache, regular, eingebettet f
ur Uq klein mit
Xu Xv
M = Xu , Xv , |X
.
u Xv |
X hat 1. Fundamentalform
E F
F G
und 2. Fundamentalform
e f
.
f g
(b) Die Konstruktion in (a) ist eindeutig bis auf die Wahl von M (0, 0) SO(3) und X(0, 0)
R3 .
S R3 .
36
Rotationsfl
achen
R2 einfache regul
are Kurve, (t) = (r(t), z(t)) mit r(t) > 0, X(u, v) =
: (a, b)
r(v) cos u
r(v) sin u , (v, u) (a, b) [0, 2).
z(v)
Ubung.
1. und 2. Fundamentalform, ...
Schnitt mit (y, z)-Ebene: k1 = k mit k : Kr
ummung der Kurve
Schnitt mit horizontaler Ebene: Kreis von Radius r. k2 = cosr mit : Projektion auf Normalenrichtung
K = k cos
und H = 21 k + cosr .
r
Beispiel. (1) K 0
entweder cos 0 S Ebene oder k 0 S Zylinder/Kegel/Ebene.
(2) Sph
are vom Radius R
k1 = R1 = k2 K = R12 , H =
1
R
(3) Ubung.
Suche Rotationsfl
ache mit H 0
Losung: Hyperboloid mit k1 < 0, k2 > 0 und k1 + k2 = 0.
S R3 Fl
ache, f : S R glatte Funktion, X : R2 U V S lokale Parametrisierung.
Definition.
f X|Xu Xv | du dv
f dA :=
V S
|Nu Nv | du dv
U
A(N (V S)) =
|K||Xu Xv | du dv =
|K| da
V S
|K(p)|A(Vr S)
A(N (Vr S))
|K(p)| = lim
r0
A(Vr S)
Satz 5.1. Sei p S mit K(p) = 0.
(a) F
ur hinreichend kleine Umgebungen V von p gilt
A(N (V S)) =
|K| dA
V S
(b) F
ur die Kugel Vr um p vom Radius r gilt
|K(p)| = lim
r0
K dA
S
Ubung.
Wenn S nahe p als Graph {z = h(x, y)} gegeben ist, so gilt
K=
H=
Nach Drehung und Verschiebung gilt oBdA p = (0, 0, 0), h(0, 0) = 0, hx (0, 0) = 0 = hy (0, 0),
also
K = hxx hyy h2xy = det(Hess h)
Hess h =
H=
hxx + hyy
1
= spur(Hess h)
2
2
hxx hxy
hyx hyy
Taylor-Entwicklung von h:
x
1
h(x, y) = (x, y) Hess h
+ O(3)
2
y
38
Definition. Eine Fl
ache S R3 heit
vollst
andig, wenn S R3 abgeschlossen ist.
kompakt, wenn S R3 beschrankt und abgeschlossen ist.
Beispiel. S 2 R3 ist kompakt.
Satz 5.3. F
ur eine kompakte Fl
ache S R3 gilt
(a) N : S S 2 ist surjektiv.
(b) Es existiert p S mit K(p) > 0.
Beispiel. xy-Ebene ist vollst
andig, aber (a), (b) sind falsch.
Beweis. (a) Sei n 2 . Nehme Ebene n, die S nicht schneidet. (Existiert, da S beschrankt.)
Verschiebe die Ebene, bis sie S erstmals in einem p S trifft. (geht, da S abgeschlossen)
Tp S = diese Ebene, N (p) = n.
(Achtung mit Vorzeichen, hier erhalt man nur n fixed: Falls das Vorzeichen falsch ist,
verschiebt man die Ebene durch die Flache komplett durch und macht dann das gleiche
Verfahren anderes Vorzeichen)
Lemma 5.2 (b)
> 0 p S f
ur ein
Minimalfl
achen
Sei U R2 beschr
ankt mit glattem Rand U und : U R3 eine glatte Kurve.
Plateau-Problem. Finde eine (regulare) parametrisierte Flache X : U R3 mit X
mit minimalem Fl
acheninhalt.
|Xu Xv | du dv
A(X) =
U
=0
A(X(t))
t=0
A(X(t)) =
=:Z(t)
|Z(t)| du dv
=
d
dt
A(X(t)) =
U
t=0
1
Z(0), Z (0) du dv
|Z(0)|
Xu Xv
, Yu Xv + Xu Yv
|Xu Xv |
=
U
du dv
=N
( Yu , Xv N + Yv , N Xu ) du dv
=
U
(partielle Integration)
=
Y,
U
(Xv N ) +
(N Xu ) du dv
u
v
Y, Xuv N + Xv Nu + Nv Xu + N Xuv du dv
U
Nu = a11 Xu + a21 Xv
Nv = a12 Xu + a22 Xv
40
Y, Xv (a11 Xu ) + (a22 Xv ) Xu du dv
=
U
H=
a11 + a22
2
Y, 2HXv Xu du dv
=
U
(Y = f Xu + gXv + hN )
hN, 2HXu Xv du dv
=
U
2hH|Xu Xv | du dv
=
U
2hH dA
=
U
= 0, ist
X hat minimalen Fl
acheninhalt U 2hH dA = 0 h ( Flacheninhalt ist extremal an X)
Falls H(q) = 0 f
ur ein q U . W
ahle h(u, v) = H(u, v)(u, v) mit 0, (q) = 1 und = 0
auerhalb einer kleinen Umgebung von q. Dann ist
2H 2 dA < 0
2hH dA =
U
1
cosh(ka) = 1
k
a0
cosh(ka)
1
=
ka
a
a0
a < a0 :
2 L
osungen k (a) 1 und k+ (a)
a = a0 :
1 L
osung
a > a0 :
Isometrien
S R3 (weg-)zusammenh
angende Flache, d.h. alle p, q S konen durch eine Kurve auf S
verbunden werden.
Definition. Der intrinsische Abstand von p, q S ist
d(p, q) = inf {L() | : [a, b] S st
uckweise glatt mit (a) = p, (b) = q} [0, )
Lemma 6.1. d definiert eine Metrik auf S 8 , d.h.
(i) d(p, q) = d(q, p)
(ii) d(p, q) 0
d(p, q) = 0 p = q
(iii) d(p, r) d(p, q) + d(q, r) p, q, r S
Beweis.
(i) klar
d(p, q) |p q| > 0
(iii) Gegeben p, q, r, > 0. Sei : [a, b] S, (a) = p, (b) = q, L() d(p, q) + 2 und
: [b, c] S, (b) = q, (c) = r, L() d(q, r) + 2 . Sei := # : [a, c] S, d.h.
(a) = p, (c) = r.
d(p, r) L() = L() + L() d(p, q) + d(q, r) +
0 gibt die Behauptung.
Also ist d eine Metrik
Lemma 6.2. p0 S C0 , r0 > 0, so dass p, q S Br0 (p0 ) = S {p R3 | |p p0 | r0 }
und r [0, r0 ] gilt:
|q p| d(p, q) (1 + C0 r2 )|q p|
Beweis. Nach Drehung und Verschiebung gilt oBdA: S nahe p0 = (0, 0, 0) ist Graph {z =
h(x, y)} und h(0, 0) = 0 = hx (0, 0) = hy (0, 0).
p = (p, h(p))) S, q = (q, h(q)) S und
S
8
42
|p| |p p0 | < r
|q| |q q0 | < r
| (t)| |q p| 1 + (Cr)2
|q p|(1 C0 r2 )
mit C0 = C 2
Bemerkung. C0 h
angt von den 2. Ableitungen von h, d.h. von Kr
ummungen von S ab.
Folgerung. : [a, b] S R3 Kurve, P = {t0 = a < t1 < . . . < tN = b}, |P =
maxi |ti ti1 | und L() = lim|P|0 N
i=1 |(ti )(ti1 )|. Nach Lemma 6.2 und Kompaktheit
von ([a, b]) C, > 0, so dass
|q p| d(p, q) (1 + Cr2 )|q p|
f
ur alle p, q Br ((t)) mit t [a, b] und 0 r . F
ur 0 < r w
ahle |P| so klein, dass
|(ti ) (ti1 )| < r i = 1, . . . , N .
|(ti ) (ti1 ) d((ti1 ), (ti ))
(1 + Cr2 )|(ti ) (ti1 )|
N
|(ti ) (ti1 )|
i=1
d((ti1 , (ti )|
i=1
|P|0
L()
N
2
(1 + Cr )
|(ti ) (ti1 )|
i=1
|P|0
r0
L() = lim
|P|0
43
a) erh
alt L
angen von Kurven, d.h.
L() = L( ) : [a, b] S.
b) erh
alt intrinsische Abst
ande, d.h.
dS (p, q) = dS ((p), (q)) p, q S.
c) erh
alt das Skalarprodukt von Tangentialvektoren, d.h.
w1 , w2 = dp w1 , dp (w2 ) w1 , w2 Tp S.
d) erh
alt die 1. Fundamentalform, d.h.
Ip (w) = I (p) (d(p) w) w Tp S.
e) F
ur die Koeffizienten der 1. Fundamentalform in jeder lokalen Parametrisierung X : R2
U S gilt X = X : U S:
E F
F G
Definition.
E F
F G
(a)(c)(d): fr
uher
(d)(e): X : U S, X = X.
Tp s
w = w1 Xu + w2 Xv
dp w = w1 dp Xu + w2 dp Xv
= w1 X u + w2 X v
Ip (w) = w12 E + 2w1 w2 F + w22 G
I (p) (dp w) = w12 E + 2w1 w2 F + w22 G
Ip (w) = I (p) (dp w) w Tp S
E F
F G
E F
F G
44
1
= 0 = K(Ebene)
R2
Alle Landkarten (von beliebig kleinem Gebiet) der Erdoberflache verzerren Abstande!
2) Zylinder ZR = {(x, y, z) R3 | x2 + y 2 = R2 }, K 0.
x
x
, R sin , z)
R
R
x
x
x = ( sin , cos , 0)
R
R
z = (0, 0, 1)
(x, z) = (R cos
E = |x |2 = 1, F = 0, G = |z |2 = 1
E F
F G
1 0
0 1
3) Kegel S = {r = x2 + y 2 = tan z} f
ur einen Offnungswinkel
(0, 2 ). K 0.
Aufschneiden entlang der Geraden y = 0, x = tan z und Ausrollen in xy-Ebene.
x = cos , y = sin .
X(, 0) = ( sin , 0, cos )
X(, ) =
X =
X =
2
2
, sin sin
, cos
2
2
sin cos
, sin sin
, cos
2
2
2
2
,
,0
sin sin
sin cos
sin cos
E = |X |2 = 1, F = 0, G = |X |2 =
2 sin
Euklidische Metrik auf R2 hat in Zylinderkoordinaten (, ) die Matrix der 1. Fundamentalform X(, ) = ( cos , sin , 0):
E = |X |2 = 1, F = 0, G = |X |2 = 2
lokale Isometrie
E F
F G
= 2 sin
(keine globale Isometrie)
45
E F
F G
Die Katenoide X(u, v) = (cosh v cos u, cosh v sin u, v) f
ur u [0, 2), v R ist
4) Ubung.
lokal isometrisch zur Helicoide X(u, v) = (v cos u, v sin u, u).
(beide Graukr
ummung 1)
Bemerkung. Wir werden sp
ater zeigen: S, S lokal isometrisch von p: p, p S existieren
Umgebungen U, U und eine Isometrie : U U , mit (p) = p K = K const.
Geod
aten
(0, t) =: w(t)
s
ein Vektorfeld entlang und tangential an S mit w(a) = 0 = w(b) (Tangentialvektorfeld
entlang ).
Variation der L
ange in 1. Ordnung:
d
ds
L(
(s, .)) =
s=0
d
ds
s=0
(s, t)
dt =
t
(t)
, w (t) dt =
| (t)|
=
a
b
(t)
a
d
dt
(t)
| (t)|
1
| (t)|
b
d
dt
(t),
(t)
| (t)|
(0, t) dt
st
, w(t)
dt
T(t) S
, w(t) dt,
Dv(t)
dt
L(
(s, .)) =
a
s=0
D
dt
| |
D
Falls dt
ur ein t0 [a, b]: Wahle w(t) = dt
| | (t0 ) = 0 f
kleinen Umgebung von t0 ungleich 0.
d
ds
L(
(s, .)) =
a
s=0
D
dt
| |
, w dt.
| |
dt < 0,
| |
(Bedingung f
ur Minimalit
at)
46
0.
Bemerkung.
1. Die Geod
atenbedingung ist invariant unter Umparametrisierung
D
Geod
aten k
onnen Bogenlange parametrisiert werden. Dann gilt dt
( ) = 0. Dies
ist eine parametrisierte Geod
ate.
2. Geod
atenbedingung ergibt sich aus Langen von Kurven. Isometrien erhalten Langen von
Kurven Isometrien bilden Geodaten auf Geodaten ab.
3. Geometrische Interpretation der Geodatengleichung:
| (t)| 1, (t) = k(t)n(t)
D
(t) ( (t)) = (t) = 0
dt
k(t) = 0 oder n(t)T(t) S
k(t) = 0 oder n(t) = N ((t)),
d.h. kr
ummt sich nur senkrecht zu S.
Beispiel.
2. Sph
are SR . = Schnitt von SR und Ebene durch 0, San Francisco und M
unchen =
Grokreise
Geod
aten.
x
x
, R sin R
, z). Geodaten auf
3. Zylinder ZR = {(x, y, z) | x2 + y 2 = R2 }, (x, z) = (R cos R
ZR = (Geraden).
R cos
a, b = 0, c, d R
at + c
at + c
, R sin
, bt + d
R
R
Helix
Kurve,
x(t)2 + y(t)2
(t) = Winkel zwischen und der horizontalen Kurve auf S durch (t)
Ubung.
Satz von Clairaut. parametrisierte Geodate r(t) cos (t) const.
Annahme: l
asst sich schreiben als u = u(v). Dann ist die k
urzeste Verbindung zwischen p und
q SR das k
urzere Segment des Grokreises durch p und q (p und q nicht Antipodenpunkte).
r sin u
r(v(t)) cos u(t)
Xu = r cos u
(t) = r(v(t)) sin u(t)
0
z(v(t))
47
dv
du
dv
du
+ r2
dv
du
+ r2 u 2
c2
r4
r2 (r2 c2 )
c2 (r 2 + z 2 )
du
c
=
dv
r
v
u(v) =
v0
r2+z2
r2 c2
c r2+z2
dv + const.
r r2 c2
u(v) =
v0
c
v
1 + 4v 2
dv +const.
v 2 c2
4v 2
=2
v 2
v0
2c
v
dv + const.
v
Parallelentransport
D
dt
Dw
dt
3
0 = (t) dw
dt , wobei p : R Tp S die
= 0.
dw
Beispiel. S = R2 : Dw
dt = dt = 0 w = const.
In lokaler Parametrisierung: X : R2 U S, (t) = X(u(t), v(t)).
w(t) = (t)Xu (t) + b(t)Xv (t) = (t)Xu (u(t), v(t)) + b(t)Xv (u(t), v(t))
w (t) = a Xu + au Xuu + av Xuv + b Xv + bu Xuv + bv Xvv
mit Xuu = 111 Xu + 211 Xv + eN etc.
Dw
= a Xu + au (111 Xu + 211 Xv )+
dt
48
Lineare gew
ohnliche DGL 1. Ordnung f
ur
zu gegebenem
a
b
(10)
a(0)
b(0)
Definition. Die lineare Abbildung T(0) S T(T ) S, w(0) w(T ) mit w(t) parallel entlang
heit Paralleltransport von w(0) entlang .
Geodatengleichung in lokaler Parametrisierung: (t) = u (t) Xu + v (t) Xv .
=w (t)
Losung von 11
u
v
=b(t)
D
=0
dt
ist eine GDL 2. Ordnung f
ur
=a(t)
u
v
: ( , ) U zu gegebenen Anfangsbedingungen
(11)
und
u (0)
.
v (0)
Lemma 6.7. F
ur p S und w Tp S existiert ein > 0 und eine eindeutige parametrisierte
Geod
ate : ( , ) S mit (0) = p und (0) = v.
Bemerkung. Geod
aten existieren f
ur alle Zeiten : R S S vollstandig.
Beispiel.
1. Ebene
Ubung
2. Sph
are SR . Paralleltransport entlang der Kurve ist auf Sphare und Kegel gleich
(w(0), w(T )) = 2(1 cos ).
Lemma 6.8 (Eigenschaften der kovarianten Ableitung
: [0, T ] S, f : [0, T ] R Funktion.
(a)
D
Dv
(f (t)v(t)) = f (t)
+ f (t)v(t)
dt
dt
(b)
d
v(t), w(t) =
dt
D
dt
d
= dt
). v, w Vektorfelder entlang
Dv
Dw
, w(t) + v(t),
.
dt
dt
(b)
Folgerung. (1) v, w parallel v(t), w(t) = const. Insbesondere (v = w) ist |v(t)| = const.
(2) parametrisierte Geod
ate | | = const., d.h. ist proportional zur Bogenl
ange parametrisiert.
(3) Sei |v(t)| 1 Dv
dt N (ormalenvektor)
R der algebraische Ort von Dv
dt .
49
Dv
dt
Dv
dt
N v mit
Dv
dt
Dv
dt , N
D
ds
D
ds
N mit
D
ds
Kru
mmung und Paralleltransport : [0, T ] S, w, e1 , e2 Vektorfelder entlang mit
e1 (t), e2 (t) positiv orientierte ONB t und |w(t)| = 1, also w(t) = cos (t)e1 (t) + sin (t)e2 (t)
f
ur : [0, T ] R (eindeutig mod 2). Dann ist
N e1 = e2 ,
N e2 = e1 ,
N w = cos e2 sin e1
De2
De1
De2
De1
=
, e2 + e1 ,
dt
dt
dt
dt
Dw
De1
De2
De1
= sin e1 + cos
+ cos e2 + sin
= +
dt
dt
dt
dt
0=
d
e1 , e2 =
dt
(cos e2 sin e1 )
=N w
Lemma 6.9.
d
De1
Dw
=
+
,
dt
dt
dt
De1
ds
d
De1
+
ds
ds
0:
kg (s) =
Korollar 6.10.
d
ds
kg ds = 2
R
Vorbereitung:
50
1
0
xu ,xv
|Xu |2
1
0
= Xu
xu , xv
Xu
|Xu |2
dX w = Xv
Betrachte Integralkurven. F
ur (u, v) U sei f (u, v) :=Schnitt der Integralkurve von w durch
u
v
:=
D(0) =
u
f (u, v)
=
v
v
f (u,0)=u
fu fv
(0) =
0 1
1 fv
0 1
1
0
w
dX
1
0
ist orthogonal zu
X v = dX
0
1
51
dX w
Ubung.
In einer orthogonalen Parametrisierung X ist
1
K=
2 EG
E
v
EG
G
u
EG
X
X
1
u , v =
, e2 =
Xuu , Xv
u
u
E
G
EG
1
1
Ev
=
Fu Ev =
2
EG
2 EG
Xu
e1
Xv
1
Gu
, e2 =
,
=
Xuv , Xv =
v
v
E
G
EG
2 EG
Lemma 6.12. Es gilt
Dw
d
1
=
+
dt
dt
2 EG
Gu
du
du
Ev
dt
dt
d
1
+
ds 2 EG
52
Gu
dv
du
Ev
ds
ds
1
2
2 EG
Gu
Eu
Gv
d
ds +
ds
dv
du
Ev
ds
ds
ds
cos
VF entlang R
sin
Eu
d
, R
ds = w
ds
Gv
=
u
, R = r(R) Rotationszahl
v
= 1 nach Kor 2.9
=w
Eu
Gv
homotop zu
2 V (u, v) =
Green
2 =
V =
R
VF auf R
rot V du dv
R
kg ds = 2
(l) (0) =
53
kg ds
Gau-Bonnet
K dA
R
k dA = 2 (l) + (0) =
K(p)A(R) 2
R
Korollar 6.14.
K(P ) =
L(R)0 A(R)
lim
Von jetzt an: R S Rn . Damit werden die letzten beiden Satze zu:
Satz 6.13 (Gau-Bonnet I). Sei R X(U ), X : R2 U S orthogonale Parametrisierung,
R glatt, dann gilt
kg ds = 2
K dA +
R
Korollar 6.14.
K(p) =
2,K
Beispiel. SR
1
.
R2
,
L(R)0 A(R)
pRS
lim
Dann ist
A(R) =
0
= 2R (1 cos )
= 2(1 cos )
1
= 2 =K
A(R)
R
Verallgemeinerung auf Gebiete R mit stu
ckweise glattem Rand. Punkte p1 , . . . , pn
verbunden durch glatte Randkurven 1 , . . . , n , d.h. R = ni=1 i mit Auenwinkeln i
(, ) am Punkt pi , i = 1, . . . , n. Approximiere R durch eine glatte Kurve = R (hier
wird i = ben
otigt), dann ist
R R
K dA
R
K dA
R
R R
kg ds
R
kg
kg ds nahe pi . Also:
K dA +
R
kg ds +
R
i = 2
i=1
54
Beispiel.
= n
n
i=1 i ,
damit
kg ds = (2 n) +
K dA +
R
n
i=1 i
i
i=1
1. R geod
atisches n-Eck : alle St
ucke von R sind Geodaten. Daraus folgt
n
i = (n 2) +
K dA,
R
i=1
z. B. n = 3:
K dA
1 + 2 + 3 = +
R
>
<
falls K > 0
falls K < 0
2. Sph
are vom Radius 1. K 1.
K dA
R
=
passt.
Damit ergibt sich eine weitere Interpretation der Gaukr
ummung: p R S geodatisches
Dreieck
3
i=1 i
K(p) = lim
A(R)
L(R)0
Globalisierung. (bisher: nur lokal)
Definition (n-Eck). Es sei R S, ein n-Eck erf
ullt
Es gibt eine orthogonale Parametrisierung X mit R X(U )
R ist st
uckweise glatt und einfach geschlossen ( zusammenhangend)
Sei S R3 kompakt, z. B. Sph
are oder Torus. Wollen R = S nehmen.
Definition. Eine Zellzerlegung von S ist eine endliche Zerlegung S =
F
j=1 Rj
mit
Rj S ist nj Eck
Ri Rj ist entweder leer oder die Vereinigung gemeinsamer Kanten.
Beispiel. Zerlegung der Erdoberfl
ache in Lander (inkl. Seehoheitsgebiete)
Definition. Eine Zellzerlegung heit Triangulisierung, wenn alle Rj Dreiecke sind.
55
Auf S bezeichne F die Anzahl der Flachen, K die Anzahl der Kanten und E die Anzahl der
Ecken. Gau-Bonnet II liefert f
ur alle Rj :
nj
nj
K dA +
Rj
ij + (2 nj )
kg ds =
i=1
ij
i=1
k dA =
j=1
Rj
K dA
S
nj
ij
E
(Innenwinkel an e) = 2E
ij =
e=1
Ecken
i,j
=2
j=1
nj = alle Kanten = 2K
Also:
K dA + 0 = 2E + 2F 2K
S
K dA h
angt nicht von der Zellzerlegung ab.
E K + F h
angt nicht von der induzierten Metrik (1. Fundamentalform) auf S R3
ab.
1
Die Euler-Charakteristik (S) := 2
angig von der
S K dA = E K + F Z ist unabh
Zellzerlegung und der 1. Fundamentalform auf S.
topologische Invariante
2: K 1
Beispiel. 1) Sph
are SR
R2
2 ) = 4R2 (S 2 ) = 1 4R2 1 = 2.
A(SR
R
2
R2
2 ) = 2.
Aquator
und dazu senkrechten Grokreis: F = 4, K = 4, E = 2 (SR
56
2) Torus
F
ur eine bestimmte Einbettung des Torus T 2 R3 war Ubung:
(T 2 ) =
1
2
K dA = 0
T2
=
N 1 (R) = Ri und N : Ri R Diffeo orientierungserhaltend K > 0
=
2
N : S S ein Diffeo.
Beweis. Fr
uher: N surjektiv. Damit ist
4 = 2 2
top. Satz
K>0
G-B III
K dA A(S 2 ) = 4
2(S) =
(S) = 2
und
K dA = 4
S
K dA > 4, Widerspruch.
dp N ist invertierbar p
N ist Diffeo.
Satz 6.18 (Gau-Bonnet IV). Sei S R3 eine orientierbare Fl
ache, R S ein kompaktes
Gebiet mit st
uckweise glattem (nicht notwendigerweise zusammenh
angenden) Rand R =
n
i=1 i und Auenwinkeln i , i = 1, . . . , n. Dann gilt
n
K dA +
R
kg ds +
R
i = 2(R)
i=1
mit (R) = E K + F f
ur eine Zellzerlegung von R.
Typische Anwendungen
(1) Sei S R3 kompakt, orientierbar und K(p) > 0 p S, 1 , 2 S einfach geschlossene
Geod
aten 1 2 = .
57
K dA +
Z
Z
>0
=0
= 2(4 6 + 2) = 0,
Widerspruch.
(2) Falls K(p) 0 p S, dann existiert keine einfach geschlossene Geodate, die ein Gebiet
= Kreisscheibe berandet.
Beweis. Angenommen, so eine Geodate = R, R
= Kreisscheibe existiert.
K dA +
R
kg ds +0 = 2(R) = 2,
R
=0
Widerspruch.
S R3 orientierbare Fl
ache, v Tangential-VF auf S mit isolierten Nullstellen. X : R2 U
S lokale Parametrisierung, X v Pullback-VF, p S Nullstelle von v:
ind(v, p) := ind(X v, X 1 (p))
R X(U ) kompakt mit glattem Rand R, so dass v(p) = 0 f
ur alle p R. p = (s) R.
(s) := (v(p), (s)). (s) := (Xu (p), (s)). (s) := (Xu (p), v(p)) = (s) (s). Nach
der Definition des Index von VF u
ber Kurven gilt
l
2 ind(v, R) :=
0
d
ds =
ds
d
ds
ds
l
0
d
ds
ds
=r(R)2
=2(Kor 2.9)
ind(v, pi ).
v(pi )=0
pi R
Zusammen:
ind(v, pi ) +
0
pi R
v(pi )=0
Falls R =
n
i=1 i
d
ds = 2
ds
st
uckweise glatt mit Auenwinkeln i Beitrage i zu
58
d
ds
ds.
Satz 6.19 (Poincare-Hopf II). Sei v ein Vektorfeld mit isolierten Nullstellen auf S R3 . Sei
R S ein n-Eck mit Auenwinkeln i und v = 0 auf R. Dann gilt
l
ind(v, pi ) +
0
pi R
v(pi )=0
d
ds +
ds
i = 2,
i=1
ind(v, pi ) +
0
Zellzerlegung S =
F
j=1 Rj
d
ds =
ds
i + (2 n)
i=1
nj
j=1
i=1
ij + (2 nj )
+0 =
pi S
v(pi )=0
= 2(E K + F )
ind(v, pi ) = (X).
i=1
ind(v, pi ) +
pi R
v(pi )=0
d
ds +
ds
Beweis. Ubung
59
i = 2(R)
Kru
mmung von Knoten
Definition. Ein Knoten ist eine einfach geschlossene, eingebettete, regulare Kurve : [a, b]
R3 . : [0, 2] R3 heit unverknotet, falls es eine glatte Abbildung
H : D = {z C | |z| 1} R3
gibt mit
i) H(eit ) = (t)
ii) dz H injektiv f
ur alle z D
iii) H injektiv
H(0) eingebettete Kreisscheibe mit Rand
k ds
Beispiel. Randkurve eines konvexen Gebietes in der Ebene (konvexe Kurve) k(s) 0
ist Kr
ummung in Ebene
k ds = 2
(siehe Rotationszahl).
Ubung.
F
ur Knoten R3 gilt:
Bemerkung.
k ds < 4.
k ds
k ds
n = kt b,
Berechne Gau-Kr
ummung von T :
Xv = r( sin vn + cos vb)
60
b = n
Xu = + r(cos vn + sin vb )
= t r cos v(kt + b) + r sin v n
= (1 rk cos v)t Xv
Xu Xv = (1 rk cos v)t Xv
= r(1 rk cos v)( sin v t n + cos v t b)
=n
=b
1
max k .
=b
= k cos vN
Nu Nv = K Xu Xv
A=
a11 a12
a21 a22
mit E = e1 e2 e3
61
3
v
2
2
3/2
k cos v dv ds
K dA =
0
/2
l
k(s)( sin v)
0
3/2
ds
/2
k(s) ds
=2
0
k ds
K dA = 2
Beweis von Satz 6.23. N : R S 2 ist surjektiv. Wahle Richtung v und orthogonale Ebene E
dazu, so dass E V = . Verschiebe E in Richtung T , der erste getroffene Punkt hat K 0.
K dA = A(N (R))
mit VFH
Transformationsformel
l.S. = 2
k ds
r.S. A(S 2 ) = 4
k ds 2
Beweis von Satz 6.24. Falls jedes v S 2 mindestens 2 Urbilder in R unter N hatte, so w
are
2
K dA 2A(S 2 ) = 8,
k ds =
im Widerspruch zur Annahme k ds < 4. Folglich existiert ein v S 2 mit genau einem
Urbild in R unter N , es existiert sogar eine offene Umgebung U (v) S 2 , so dass u U (v)
genau ein Urbild besitzt. Betrachte Hohenfunktion auf in Richtung v:
hv :[0, l] R
hv (s) = (s), v
kritische Punkte von hv :
hv (s) = (s), v = 0 (s)v
hv (s) = (s), v = k
n, v
>0
2 Maxima vorhanden w
aren, m
usste dazwischen ein weiteres Minimum sein, Widerspruch.
Jedes r (p, q) hat genau 2 Urbilder unter hv . Verbinde diese durch Geradenst
ucke. Damit
haben wir eine eingebettete Kreisscheibe mit Rand , also ist unverknotet.
63