Differentialgeometrie
Heinz Grundemann
Vorwort
Meist ist es die Form eines allgemeinen Gegenstandes unserer Anschauung, die zu
beschreiben ist, bevor es an die Analyse anderer Eigenschaften geht. Grundlegende
Kenntnisse der Geometrie im Allgemeinen und der Differentialgeometrie im Besonderen sind deshalb f
ur jeden Ingenieur und Naturwissenschaftler unabdingbar und sollten fester Bestandteil seiner Ausbildung sein. Dem Lernenden stehen auf dem weit
gefacherten Gebiet der Differentialgeometrie hervorragende Lehrb
ucher zur verf
ugung,
die meist von einem modernen auf dem Begriff der differenzierbaren Mannigfaltigkeiten
aufbauenden Standpunkt an dieses Thema herangehen.
Dieser Text ist aus einem Skript zu einer einsemestrigen Veranstaltungsreihe mit zwei
eineinhalb-st
undigen Vorlesungen pro Woche hervorgegangen. Zum Zuhorerkreis gehorten angehende Techno-Mathematiker und Ingenieure des Maschinenbaues hoherer Se
mester. Werden innerhalb dieses Zeitrahmens noch Ubungen
durchgef
uhrt, so ist damit
sicher die Grenze des Machbaren erreicht.
Zu einigen Kernsatzen sind auch die Beweise mit angegeben, da diese ein tieferes
Verstandnis der Zusammenhange fordern. Die Aufgaben zu den beiden Hauptkomplexen konnen auch als zusatzliche Beispiele angesehen werden. Der Leser sollte aber
trotzdem zunachst an eine selbstandige Losung herangehen, bevor er die ausf
uhrlichen
Losungen im Anhang konsultiert.
Frankenberg im Februar 2011
Heinz Gr
undemann
Inhaltsverzeichnis
1. Einfu
hrung
2. Grundlagen
2.1. EUKLIDischer Raum . . . . . . .
2.2. Reziproke Basen . . . . . . . . . .
2.3. Topologie EUKLIDischer Raume
2.4. Abbildungen und Funktionen . .
1
.
.
.
.
.
.
.
.
.
.
.
.
3. Kurven
3.1. Definitionen und Parameterdarstellung
3.2. Bogenelement und Bogenlange . . . . .
3.3. Begleitendes Dreibein und Kr
ummung
3.4. FRENETsche Formeln und Torsion . .
3.5. Hauptsatz der Kurventheorie . . . . . .
3.6. Ebene Kurven . . . . . . . . . . . . . .
3.7. Evolute und Evolvente . . . . . . . . .
3.8. Globale Theorie ebener Kurven . . . .
3.9. Aufgaben . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4. Fl
achen
4.1. Definitionen und Parameterdarstellung . .
4.2. Tangentialraum und Einheitsnormalenfeld
4.3. Erste metrische Fundamentalform . . . . .
4.4. Zweite metrische Fundamentalform . . . .
4.5. Kr
ummung . . . . . . . . . . . . . . . . .
4.6. Ableitungsgleichungen . . . . . . . . . . .
4.7. Hauptsatz der Flachentheorie . . . . . . .
4.8. Geodaten . . . . . . . . . . . . . . . . . .
4.9. Ausgewahlte Flachen . . . . . . . . . . . .
4.10. Minimalflachen . . . . . . . . . . . . . . .
4.11. Flachenabwicklung . . . . . . . . . . . . .
4.12. Satz von GAU und BONNET . . . . . .
4.13. Aufgaben . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
16
18
20
.
.
.
.
.
.
.
.
.
25
25
31
33
38
42
45
53
57
63
.
.
.
.
.
.
.
.
.
.
.
.
.
67
68
72
80
83
86
96
101
104
112
120
124
129
136
A. Anhang
141
A.1. Losungen zu den Aufgaben aus 3.9 . . . . . . . . . . . . . . . . . . . . 141
A.2. Losungen zu den Aufgaben aus 4.13 . . . . . . . . . . . . . . . . . . . . 148
Literaturverzeichnis
159
vi
Stichwortverzeichnis
Inhaltsverzeichnis
161
1. Einfu
hrung
In direkter Ubersetzung
aus dem Griechischen bedeutet Geometrie Landvermessung.
In diesem urspr
unglichen Sinne ist Geometrie mit der Einf
uhrung eines Maes - einer
Metrik - verbunden, mit der man Langen und Winkel mit und diese Groen damit der
Zahlenarithmetik zuganglich macht. Heute fasst man den Begriff Geometrie aber sehr
viel weiter und verbindet damit nicht nur die Vermessung, sondern auch die Beschreibung des Raumes und der in ihm enthaltenen un
ubersehbaren Formenvielfalt, die sich
materiell durch Figuren und Korper sowie deren Veranderungen manifestiert. Um dieser Vielfalt Herr zu werden ist es notwendig, an den Anfang jeder konkreten Theorie zur
Geometrie gewisse allgemein akzeptierte elementare Bedingungen (die Axiome) zu stellen. Es geht in der Regel aber nicht um eine umfassende und detaillierte Beschreibung
der Dinge, sondern um die Aufdeckung von Gemeinsamkeiten verschiedener geometrischer Objekte - man spricht dann von Invarianzen oder Isometrien. Diese werden
durch die Eigenschaften von Abbildungen oder Transformationen zwischen den Objekten sichtbar und f
uhren zu einer Algebraisierung der Geometrie. Eine auf algebraischen
Prinzipien beruhende Systematisierung der Geometrie wurde von Felix KLEIN 1872 in
seinem Erlanger Programm vorgestellt und bildet seitdem die methodische Grundlage
zum Studium der Geometrie.
Die erste umfassende Theorie zur Geometrie wurde von EUKLID in seinem Werk Die
Elemente dargelegt und ist bis heute Bestandteil der Schulmathematik. Diese EUKLIDische Geometrie ist in ihrem Kern auf das Studium von Geraden und Ebenen
im Raum sowie deren Invarianzen unter bestimmten Transformationen gerichtet. Zu
1. Einf
uhrung
Man kann die Differenzialgeometrie, um die es hier geht, an der Nahtstelle zwischen
der elementaren EUKLIDischen Geometrie und der RIEMANNschen Geometrie ansiedeln. Durch Einbeziehung der Differenzial- und Integralrechnung sowie dem damit
verbundenen Begriff des Grenzwertes in die EUKLIDische Geometrie wird es moglich,
gekr
ummte geometrische Objekte zum einen lokal (bezogen auf Umgebungen einzelner Punkte) zu studieren und zum anderen deren Ausdehnung (Langen, Inhalte,...) zu
berechnen. Gleichzeitig wird in der klassischen Differenzialgeometrie aber auch der Weg
sichtbar, der eingeschlagen werden muss hin zu einer Geometrie gekr
ummter Raume.
Im Folgenden wird ein Uberblick zum Inhalt und zu den Schwerpunkten einer Differentialgeometrie der Kurven und Flachen gegeben.
Was ist Differenzialgeometrie und wozu ist sie brauchbar?
In der klassischen Differenzialgeometrie geht es um die Beschreibung und Untersuchung
von Kurven und Flachen im dreidimensionalen EUKLIDischen Raum. Wie in der Geometrie im Allgemeinen so auch in der Differenzialgeometrie sind die Untersuchungsobjekte von einem hohen Grad an Anschaulichkeit gepragt. Man hat meist ein Bild der
Geometrie eines Gegenstandes vor Augen, das jetzt durch ein gewisses Ma an elementarer Analysis zu erganzen ist. Allerdings gestaltet sich die praktische Umsetzung oft
sehr m
uhsam, da man es in der Regel mit vielen Indizes und mehrfach verketteten partiellen Ableitungen zu tun hat, was zu einer umfangreichen Rechenarbeit f
uhren kann.
Dazu stehen aber heute Computer-Algebra-Systeme zur Verf
ugung (siehe [Gray] oder
[RKP]), die das formale Rechnen bedeutend vereinfachen. Auerdem entschadigt der
zu erwartende Gewinn f
ur so manche Rechenm
uhe, denn nahezu un
uberschaubar sind
die Gebiete aus Naturwissenschaft und Technik, in denen die Differenzialgeometrie zu
einem n
utzlichen und oftmals unentbehrlichen Darstellungs- und Untersuchungswerkzeug geworden ist. Eine keineswegs vollstandige Auswahl von Applikationsfeldern soll
hier stichpunktartig genannt werden:
- Kinematische Beschreibung der Bewegung allgemeiner materieller Objekte durch Kurven oder Schlauche im Raum (z.B. Bahnkurven von Flugobjekten, Raumsonden,
Fahrzeugen, Bewegungsablaufe technischer Aggregate (Roboter) und im Sport, kinematische Grundlage zur allgemeinen Mehrkorperdynamik).
- Zeitliche und raumliche Veranderungen allgemeiner materieller Objekte unter dem
Einflu auerer Einwirkungen (Dynamik), z.B. die Deformation von 2D- oder 3DBauteilen unter dem Einflu von Kraften, technologische Verfahren der Umformung
und plastischen Verformung.
- Hydro- und Aerodynamik (geometrische Beschreibung von Stromungsfeldern, insbesondere Anwendungen aus der Meteorologie, der Hydrologie und Diffusions-/Migrationstheorie)
- Aus historischer Sicht war die Geodasie ein Ausgangspunkt f
ur die Entwicklung der
Differenzialgeometrie (C.F. GAU). Auch heute noch bildet die Differenzialgeometrie
die theoretische Basis der Erd- und Gebaudevermessung und nat
urlich der Kartografie.
3
Moderne Kommunikations- und Navigationstechniken (z.B. GPS) benutzen als technologische Basis die Satellitengeodasie, deren theoretische Grundlage eine anspruchsvolle, weit u
ber den hier abgesteckten Rahmen hinausgehende Differenzialgeometrie
ist.
- Konstruktions- und Simulationsprozesse im allgemeinen Maschinen-/Anlagenbau,
Fahrzeugbau und in Architektur/Bauwesen werden heute in der Regel mittels CATechniken virtuell auf dem Rechner vorbereitet und realisiert. Die softwareseitige Umsetzung erfordert tiefe Einblicke in differenzialgeometrische Zusammenhange.
1. Einf
uhrung
existieren und den umgebenden Raum nicht wahrnehmen konnen. Die 1. metrische
Fundamentalgroe bestimmt auerdem die Flachenelemente und durch Integration
u
ber diese den Inhalt einer Flache. Alle Begriffe, Beziehungen und Parameter, die
eine Flache charakterisieren und sich ausschlielich auf G zur
uckf
uhren lassen, werden als innergeometrisch (d.h. zur inneren Geometrie gehorend) definiert. Mit diesen
Groen gehen Flachlander um. Als Erdbewohner nehmen wir z.B. die spharische Gestalt unseres Planeten gewohnlich gar nicht wahr und wahnen uns als Flachlander
auf einer weit ausgedehnten Ebene. Alle Entfernungs- und Winkelmessungen oder
Flacheninhaltsbestimmungen, die sich nur auf die Erdoberflache beziehen, sind deshalb
innergeometrische Groen des Erdgeoids. Dass es dabei zu unverhofften Ergebnissen
kommen kann, zeigt das folgende einfache Beispiel: Tragt man ausgehend von einem
festen Erdpunkt P0 eine Strecke von z.B. 50 km konsequent nach Norden gerichtet ab
und anschlieend vom erreichten Endpunkt weiter fortfahrend ebenfalls eine Strecke
von 50 km diesmal konsequent nach Westen gerichtet ab, so wird man bei Durchf
uhrung
dieser Streckenabtragung in umgekehrter Reihenfolge (also von P0 beginnend erst 50
km nach Westen dann 50 km nach Norden) gegen
uber der ersten Langenabtragung in
einem anderen Erdpunkt landen. Auf einer idealen Ebene kommt so etwas nicht vor.
Unabhangig von der Reihenfolge der Langenabtragungen wird man stets im gleichen
Punkt ankommen. Die Ursache daf
ur, dass es auf einer Kugeloberflache nicht so ist,
liegt an ihrer Kr
ummung. Von zentraler Bedeutung f
ur die lokale Flachentheorie ist
deshalb der Kr
ummungsbegriff.
Die Kr
ummung einer Flache, von der jeder eine intuitive Vorstellung hat, wird letztlich auf die Kr
ummung von Kurven, die nur auf der Flache verlaufen (Flachenkurven)
zur
uckgef
uhrt. Zur naheren Erlauterung dessen sei P0 ein Flachenpunkt der Flache F,
in dem die Tangentialebene ET an F eindeutig bestimmt ist (siehe Abb. 1.1). Weiter
verlaufe durch P0 eine glatte Flachenkurve C mit eindeutig bestimmtem Tangentenvektor t im Punkt P0 . Die Tangentialebene ist durch ihren Normalenvektor N bestimmt,
der gleichzeitig auch Normalenvektor an F im Punkt P0 ist. Durch den Tangentenvektor t und Normalenvektor N wird die zur Tangentialebene senkrecht stehende Ebene
EN aufgespannt (Vorsicht! Dies ist i. A. weder die Normalebene noch die Schmiegeebene der Kurve C.) Die Kurve C projiziert man nun jeweils orthogonal auf ET und
EN . Diese Projektionen ergeben ebene Kurven CT und CN . Die Kr
ummung der Flache
F im Punkt P0 bezogen auf die Kurve C wird nun durch die Kr
ummungen der beiden
Kurven CT und CN im Punkt P0 beschrieben.
E
C
T
E
T
P0
F
C
N
Die Kr
ummung kg von CT in P0 nennt man geodatische Kr
ummung und die Kr
ummung
5
kn von CN in P0 heit Normalkr
ummung. Da CT in der Tangentialebene liegt, ist kg
die Kr
ummung, die Flachlander als Kr
ummung der Flachenkurve C wahrnehmen. Aus
diesem Grund ist kg eine Groe der inneren Flachengeometrie. kn hingegen beschreibt
die Kr
ummung der Flache eingebettet in den umgebenden Raum und steht in direkter
Beziehung zum Normalenvektor N. Flachlander sind nicht in der Lage, kn zu beobachten, weshalb man kn der aueren Geometrie der Flache zuordnen muss, die von der
2. metrischen Fundamentalgroe L beherrscht wird. Die Normalkr
ummung ist direkt
aus der L zugeordneten Bilinearform berechenbar und besitzt den gleichen Wert f
ur
alle Flachenkurven durch P0 mit gleichem Tangentenvektor t in diesem Punkt. Darunter gibt es genau eine Kurve, die gleich ihrer Projektion auf die Ebene EN ist, f
ur
die also die geodatische Kr
ummung kg verschwindet und demzufolge auch die Normalkr
ummung gleich der Kurvenkr
ummung ist. Diese Flachenkurve heit geodatische
Linie oder einfach Geodate durch den Punkt P0 in Richtung der Tangente t. Flachlander
nehmen diese Kurve als Gerade auf ihrer Flache wahr, da sie keine Kr
ummung feststellen. Die Geodaten einer Flache sind also die auf ihr verlaufenden Geraden. Die
k
urzeste Verbindungslinie zweier Punkte auf einer Flache ist stets eine Geodate. Ebenso wie die k
urzeste Verbindung zweier Punkte in der Ebene deren Verbindungsgerade ist. Die Geodaten auf einer Kugel sind deren Grokreise. Demzufolge sind z.B.
1. Einf
uhrung
2. Grundlagen
In diesem Kapitel sind jene grundlegenden Definitionen, Bezeichnungen, Theoreme und
daraus folgenden elementaren Aussagen der linearen Algebra und Analysis in lockerer
Folge zusammengestellt, auf die im Haupttext standig Bezug genommen wird.
y1 x 1
= y x
v=
xy
2
2
y3 x 3
v1
v2
v3
fest. Andererseits ist mit einem Punkt x R3 und einem Vektor v eindeutig ein
Dieser Zusammenhang zwischen PunkPunkt y R3 bestimmt, so dass gilt v =
xy.
ten und Vektoren bringt zum Ausdruck, dass der Anfangspunkt eines Vektors unter Beibehaltung seiner Richtung in einen anderen Punkt verschoben werden kann.
Man spricht deshalb von der Moglichkeit der Parallelverschiebung von Vektoren im
R3 .
1 1 1
u + v1
v
u
u, v V3
u + v = u2 + v 2 = u2 + v 2
u3 + v 3
v3
u3
2. Grundlagen
1
v 1
v
v = v 2 = v 2
v 3
v3
v V3 ;
Kommutativitat
Assoziativitat
Existenz eines Nullvektors 0
Zu jedem Vektor u existiert ein inverses Vektor u
Distributivgesetze der Multiplikation
Assoziativgesetz der Multiplikation
Einselement der Multiplikation
Gelegentlich dr
uckt man Vektoren auch durch eine Zeile in der Form
T
bzw. v = v 1 , v 2 , v 3
aus.
vT = v 1 , v 2 , v 3
In diesem Fall bilden {g1 , g2 , g3 } eine Basis im V3 , d.h. jeder Vektor v V3 ist eindeutig als Linearkombination dieser Vektoren in der Form
v = a1 g 1 + a2 g 2 + a3 g 3
darstellbar. Die reellen Zahlen a1 , a2 , a3 heien Koordinaten des Vektors v bez
uglich der
Basis {g1 , g2 , g3 } und sind aus dem linearen Gleichungssystem
1 1 1 1 1
v
g1 g2 g3
a
g12 g22 g32 a2 = v 2
v3
a3
g13 g23 g33
eindeutig berechenbar.
Die Vektoren {v1 , v2 , v3 } heien linear abh
angig, wenn det ({v1 , v2 , v3 }) = 0.
Die Basis
0
0
1
0 ,
1 , e3 =
0 , e2 =
e1 =
1
0
0
deren Vektoren als Pfeile gedeutet vom Ursprung ausgehen und in Richtung der positiven Achsen des kartesischen Koordinatensystems weisen, heit Standardbasis oder
kanonische Basis des R3 . Die zusatzliche Charakterisierung kanonisch tritt haufig
in physikalisch/technischen Zusammenhangen mit mathematischer Pragung auf und
bedeutet so viel wie in nat
urlicher Weise oder auf direktem offensichtlichem Wege.
Ein Vektor v V3 gestattet in der Basis {e1 , e2 , e3 } die Darstellung
1
v
v = v 2 = v 1 e1 + v 2 e2 + v 3 e3 .
v3
In dieser Basis sind den Punkten x R3 die sogenannten Ortsvektoren (hier unter
Beibehaltung der Bezeichnung)
x1
x = 0x = x2 = x1 e1 + x2 e2 + x3 e3
x3
zugeordnet. Diese nach Festlegung eines kartesischen Koordinatensystems eindeutige Zuordnung zwischen Punkten und Vektoren gestattet es, beide miteinander zu
identifizieren und deshalb in gleicher Weise u
ber Punkte und Ortsvektoren zu sprechen.
Summationen u
ber jeweils oben und unten stehende gleiche Indizes konnen gema der
EINSTEINschen Summenkonvention abgek
urzt werden. Das folgende Beispiel, in
dem aij und bj (i, j = 1, 2, 3) beliebige indizierte Groen sind, soll dies demonstrieren:
si = ai1 b1 + ai2 b2 + ai3 b3 aij bj .
Der Summationsindex j heit stummer Index, da er auch durch ein anderes Symbol
( z.B. k, l.m, ..) ersetzt werden kann. Wenn nichts anderes vermerkt ist, so durchlauft
der Summationsindex hier die nat
urliche Zahlenfolge {1, 2} oder {1, 2, 3}.
Die Regel, nach der Indizes oben oder unten vergeben werden, ist mit der Unterscheidung zwischen kovarianten und kontravarianten Vektoren sowie der damit zusammenhangenden Beziehung eines Vektorraumes zu seinem dualen Raum verbunden. Auf
diese tieferliegende Problematik wird hier nicht eingegangen. Die Indexstellung ist deshalb als Formalismus zur Realisierung der Summationsregel zu verstehen. Wie man
einen Index hoch- bzw. herunterziehen kann, wird im folgenden Abschnitt beschrieben.
III. Metrik und inneres Produkt
Mit den Operationen + und ist im V3 lediglich eine Arithmetik definiert. Metrische Groen, z.B. Langen, Winkel, Inhalte,... sind damit aber noch nicht berechenbar.
Um Geometrie betreiben zu konnen ist im R3 ein Abstand und vertraglich dazu im V3
ein Ma einzuf
uhren.
Ausgangspunkt dazu ist eine Abbildung (, ) : V3 V3 R, die jedem Vektorpaar
u, v aus V3 eine reelle Zahl (u, v) zuordnet und zusatzlich folgende Bedingungen erf
ullt
10
2. Grundlagen
( u, v, w V3 und , R beliebig ):
(u, v) = (v, u)
( Symmetrie )
(u + w, v) = (u, v) + (w, v)
( Linearitat )
Eine derartige Abbildung, die auf Grund der Symmetrie in beiden Argumenten linear
ist, heit bilineare Abbildung. Ist die bilineare Abbildung positiv definit, d.h.
gilt
(v, v) > 0 f
ur alle v V3 mit v 6= 0,
so bildet (, ) auf V3 ein inneres Produkt (bzw. skalares Produkt).
Mit der Festlegung der inneren Produkte der Vektoren der Standardbasis
0 f
ur i 6= j
(ei , ej ) = ij =
1 f
ur i = j
ist das innere Produkt f
ur beliebige Vektoren u = ui ei und v = v j ej schon definiert:
(u, v) = ui ei , v j ej = ui v j (ei , ej ) = u1 v 1 + u2 v 2 + u3 v 3 .
nat
urlich den gleichen numerischen Wert. Mit gi = gij ej sind die inneren Produkte
(gi , gj ) auf jene der Standardbasis zur
uckf
uhrbar.
Mit den inneren Produkten wird im R3 der EUKLIDische Abstand
x
1
1
p
= y x
d (x, y) = (v, v)
mit v =
xy
2
2
y2 x 2
der Punkte x = (x1 , x2 , x3 ) und y = (y1 , y2 , y3 ) definiert. Mit diesem Abstand ist auch
die Lange des die beiden Punkte verbindenden Vektors v, die man Norm kk nennt,
gegeben:
p
kvk = (v, v)
f
ur alle v V3 .
Uber
die Eigenschaften des inneren Produktes sind f
ur die Vektornorm folgende Merkmale ableitbar:
kvk > 0 f
ur alle v 6= 0 und kvk = 0 v = 0
kvk = || kvk
f
ur alle R
kv + uk kvk + kuk
( Dreiecksungleichung )
11
v
1
in einen Einheitsvektor u =
u
uhrt werberf
kvk
kvk
berechenbar, wobei den Winkel bezeichnet, den die Richtungsgeraden von u und v
einschlieen.
Die Vektoren u und v heien orthogonal zueinander, wenn ihr inneres Produkt
(u, v) = 0 ist und dr
uckt dies symbolisch durch u v aus.F
ur u 6= 0 und v 6= 0 schlieen die beiden Vektoren dann einen rechten Winkel = 2 ein.
mit A0 = gij
3
i,j=1
Die Transformation einer Basis {g1 , g2 , g3 } in eine andere Basis {g1 , g2 , g3 } gema gi =
aji gj heit orientierungserhaltend (bzw. orientierungsumkehrend) wenn
det (A) > 0
mit A0 = aji
3
i,j=1
12
2. Grundlagen
n
T
T o
V2 = v V3 | v = v 1 , v 2 , 0 v 1 , v 2
legen den zweidimensionalen EUKLIDischen Raum R2 fest, auf den zur Darstellung
ebener geometrischer Zusammenhange zur
uckgegriffen wird. Alle im R3 eingef
uhrten
Begriffe und daraus abgeleiteten Folgerungen sind im u
ur den
bertragenen Sinne auch f
R2 g
ultig. Dazu ist im Zusammenhang mit Vektoren lediglich die dritte Koordinate zu
streichen.
V. Vektorprodukt und Spatprodukt
Die arithmetische und metrische Struktur des R3 (und nur des R3 ) wird mit der
Einf
uhrung des Vektorproduktes und Spatproduktes zusatzlich bereichert.
Das Vektorprodukt (oder auch Kreuzprodukt genannt) ist eine Abbildung
V3 V3 V3 , die jedem geordneten Vektorpaar u, v einen Vektor w = u v zuordnet, der folgende Bedingungen erf
ullt:
- Sind u und v linear abhangig, d.h. existiert ein R mit u = v oder sind u = 0
bzw. v = 0, so ist u v = 0.
- Sind u und v linear unabhangig, so ist
ku vk = kuk kvk sin ()
( = ] (u, v))
w = u v ist orthogonal zu u und v: (u, w) = 0, (v, w) = 0
Die Vektoren {u, v, w} bilden in dieser Reihenfolge ein Rechtssystem.
w = u
v
u
13
Es sind also nur die 3 Vektorprodukte der Basisvektoren noch zu bestimmen. Die
Produkte der Vektoren der Standardbasis ergeben sich sofort u
ber die Rechte-HandRegel:
e1 e2 = e3 , e1 e3 = e2 , e2 e3 = e1
e
2
uv =
u3 v 1 u 1 v 3 e 2 + u 1 v 2 u 2 v 1 e 3
u2 v 3 u 3 v 2
u3 v 1 u1 v 3 w.
u1 v 2 u 2 v 1
Die in der Formel enthaltene Determinante entwickelt man nach der ersten Zeile und
fasst die 3 entstehenden Adjunkten zu dem Vektor w zusammen, der nun auch in der
Standardbasis dargestellt ist.
Eigenschaften des Vektorproduktes ( a, b, c, d V3 beliebig ):
GRASSMANN - Identit
at:
a (b c) = b (a, c) c (a, b)
Als Merkhilfe kann man sich den Spruch abc = bac minus cab einpragen.
LAGRANGEsche Identit
at:
(a, c) (a, d)
(a b, c d) = (a, c) (b, d) (a, d) (b, c) =
(b, c) (b, d)
(2.1)
(2.2)
JACOBI-Identit
at:
(a b) c + (b c) a + (c a) b = 0.
(2.3)
14
2. Grundlagen
Der Betrag des Spatproduktes |[w, u, v]| ist gleich dem Inhalt des Spates, der von den
Vektoren w, u, v aufgespannt wird.
S p a t
v
u
Bei zyklischer Vertauschung der Reihenfolge der Vektoren w, u, v andert sich nicht
der Wert des Spatproduktes. Das Spatprodukt wechselt jedoch sein Vorzeichen bei
Vertauschung zweier Vektoren.
[w, u, v] = [u, v, w] = [v, w, u] = [u, w, v] = [v, u, w] = [w, v, u] .
N
utzlich ist auch die Identitat ( a, b, c, d V3 )
(a b) (c d) = [a, c, d] b [b, c, d] a.
(2.4)
g = x = x0 + tv V | t R
x = x 0+ t v
v
0
15
N
X
E = {X = X0 + uT1 + vT2 V3 | u, v R}
2
1
0
darstellbar, wobei X0 der vom Ursprung 0 ausgehende St
utzvektor und T1 , T2 zwei
linear unabhangige Richtungsvektoren der Ebene sind. Eine Ebene ist folglich eine
um den Ortsvektor X0 verschobener, von den Vektoren T1 und T2 aufgespannter
zweidimensionaler Unterraum {uT1 + vT2 | u, v R} V3 . Indem die Ortsvektoren
X = X0 + uT1 + vT2 mit den entsprechenden Punkten X R3 identifiziert werden,
kann eine Ebene auch als zweidimensionale Mannigfaltigkeit des R3 interpretiert werden.
Das normierte Vektorprodukt der beiden Richtungsvektoren T1 und T2 liefert den
Normalenvektor
T1 T2
N=
kT1 T2 k
zur Ebene E. In der Reihenfolge {T1 , T2 , N} bilden diese Vektoren ein Rechtssystem.
Der Normalenvektor N ist zu allen Vektoren X X0 , die in der Ebene E liegen, orthogonal. Folglich kann eine Ebene bei gegebenem Normalenvektor N und St
utzvektor
X0 durch die sogenannte Normalgleichung der Ebene
(X X0 , N) = 0
definiert werden. Der Vektor X X0 liegt in dem von T1 und T2 aufgespannten Unterraum von V3 , demzufolge sind die Vektoren X X0 , T1 , T2 linear abhangig und ihr
Spatprodukt verschwindet:
[X X0 , T1 , T2 ] = 0.
Dies ist die dritte Form, in der eine Ebene darstellbar ist.
(u, v R)
(2.5)
16
2. Grundlagen
Erwahnt sei noch die Beschreibung einer Geraden als Schnittmenge zweier nicht paralleler Ebenen E1 und E2 . Die Vektoren x dieser Schnittgeraden bilden die Losungmenge
des linearen Gleichungssystems
(x X01 , N1 ) = 0
(x X02 , N2 ) = 0
T
1
T
1
festgelegt. Setzt man diese Vektoren als Linearkombinationen der Basis T1 , T2 gema
Ti = Gi1 T1 + Gi2 T2 = Gik Tk
(2.7)
an, so sind die Koeffizienten aus den Bedingungen (2.6) berechenbar. Es ergibt sich:
11
(T1 , T1 ) (T1 , T2 )
G
G12
(T1 , T1 ) (T1 , T2 )
1 0
=
=
(T2 , T1 ) (T2 , T2 )
G21 G22
(T2 , T1 ) (T2 , T2 )
0 1
und damit
G11 G12
G21 G22
(T1 , T1 ) (T1 , T2 )
(T2 , T1 ) (T2 , T2 )
1
= G1
X .
17
G11 G12
G21 G22
(T1 , T1 ) (T1 , T2 )
(T2 , T1 ) (T2 , T2 )
folgt sofort die Darstellung der Vektoren T1 , T2 als Linearkombinationen der reziproken
Basis:
1
T
T1
1
2
k
(2.8)
Ti = Gi1 T + Gi2 T = Gik T
oder
= GX
T2
T2
= (det (GX ))1 sind beide Determinanten entweder gleichzeitig posiWegen det G1
X
tiv oder negativ, folglich haben beide Basissysteme auch die gleiche Orientierung.
Ein Vektor U TX kann in beiden Basen wie folgt ausgedr
uckt werden:
U = U 1 T1 + U 2 T2 = U j Tj = U j Gjk Tk = Uk Tk
U = U1 T1 + U2 T2 = Ui Ti = Ui Gik Tk = U k Tk .
Ein Vergleich zwischen den Koordinaten Uk und U k beider Darstellungen ergibt die
Zusammenhange
U k = Ui Gik
und
Uk = U j Gjk .
(2.9)
Die Koordinaten eines Vektors konnen also bei Transformation zwischen den beiden
Basissystemen u
uhrt werden. Bei
ber die Matrixkoeffizienten Gik , Gjk ineinander u
berf
k
der Berechnung der Koordinaten U (bzw. Uk ) aus den Koordinaten Ui (bzw. U j )
spricht man vom Heben (bzw. Senken) der Indizes.
Die Zweckmaigkeit der Einf
uhrung einer reziproken Basis zur Basis T1 , T2 wird bei
der Berechnung des inneren Produktes von Vektoren deutlich. Sind U und V Vektoren
aus TX mit den Darstellungen
U = U i Ti = Uj Tj
und
V = V i Ti = V j Tj ,
so kann das innere Produkt (U, V) in den folgenden vier Formen ausgedr
uckt werden:
(U, V) = U i V j (Ti , Tj ) = U i V j Gij
(U, V) = Ui Vj Ti , Tj = Ui Vj Gij
(U, V) = U i Vj Ti , Tj = U i Vj ij = U i Vi
(U, V) = Ui V j Ti , Tj = Ui V j ji = Ui V i .
Die Indizes von mehrfach indizierten Groen konnen ebenfalls mit den Koeffizienten
Gik , Gjk gehoben und gesenkt werden. Die folgenden Beispiele sollen die Vorgehensweise
erlautern:
Aij = Aik jk = Aik Gkm Gmj = Am
i Gmj
k
= B mijl Gmp Gpk = Bpijl Gpk .
B kijl = B mijl m
18
2. Grundlagen
19
offene Menge, wenn diese als Vereinigung beliebig vieler oder als Durchschnitt endlich
vieler offener Kugeln darstellbar ist:
\
[
oder
G=
Kni (x0j )
G=
Kn (x0 )
i=1,...k; j=1,...,m
I, J
Daraus folgt, dass die Vereinigung endlich vieler und der Durchschnitt beliebig vieler
abgeschlossener Mengen wieder abgeschlossene Mengen sind.
Nicht jede Teilmenge des Rn ist als offene oder abgeschlossene Menge klassifizierbar.
Halbseitig offene Intervalle sind z.B. im R1 weder offen noch abgeschlossen. Zu einer beliebigen Teilmenge P Rn kann aber stets eine maximale offene und minimale abgeschlossene Menge angegeben werden, die auf folgenden Begriffen basieren:
Inneres von P:
= {x P | Es existiert ein > 0 mit Kn (x) P}
P
Abgeschlossene Hu
lle von P:
P = {x Rn | F
ur beliebiges > 0 ist Kn (x) P 6= } .
und
P P und insbesondere gilt f
ur offene Mengen G = G
Offensichtlich ist P
von P ist stets eine offene Menge und
abgeschlossene Mengen B = B. Das Innere P
20
2. Grundlagen
Die abgeschlossene H
jede in P enthaltene offene Menge ist auch Teilmenge von P.
ulle
P von P ist stets eine abgeschlossene Menge und jede P enthaltende abgeschlossene
bildet
Menge enthalt P als Teilmenge. Die mengentheoretische Differenz P = P P
den Rand der Menge P.
Eine offene Menge G Tn heit zusammenh
angend (oder wegzusammenhangend),
wenn zwei beliebige Punkte in G durch einen ganz in G verlaufenden Polygonzug
verbunden werden konnen. Eine offene und zusammenhangende Menge des Rn nennt
man Gebiet.
Eine Menge P Rn heit beschr
ankt, wenn ein x0 Rn und eine reelle Zahl R
(0 < R < ) existieren, so dass P vollstandig in der Kugel KnR (x0 ) enthalten ist:
P KnR (x0 ). Eine abgeschlossene und beschrankte Menge des Rn wird kompakt
genannt. Ein abgeschlossenes und beschranktes Intervall [a, b] R1 und die Mengen
n
o
x = (x1 , ..., xn )T | ai xi bi ; < ai , bi < Rn
sind Beispiele f
ur kompakte Mengen.
21
im Punkt x0 I, wenn f
ur beliebiges > 0 ein = () > 0 existiert und f
ur alle
y = f (x) mit
y J0 = {y | |y f (x)| < } J
gilt x I0 = {x | |x x0 | < } I.
Damit ist aber f (I0 ) J0 und I0 , J0 sind offene Umgebungen (Intervalle) aus der
Topologie des R1 .
Eine Abbildung f : M N heit:
a) Surjektiv, wenn f
ur jedes y N wenigstens ein x M mit f (x) = y existiert.
Damit ist erlaubt, dass verschiedenen Urbildern x1 , x2 M das gleiche Bildelement
y = f (x1 ) = f (x2 ) zugeordnet wird.
b) Injektiv, wenn f
ur beliebige x1 , x2 M mit f (x1 ) = f (x2 ) stets x1 = x2 folgt. Dabei muss nicht f
ur jedes y N ein x M mit y = f (x) existieren.
c) Bijektiv, wenn f surjektiv und injektiv ist. In diesem Fall spricht man auch von
einer eineindeutigen Abbildung (Funktion) von M auf N. Jedem x M wird genau ein
y N zugeordnet und umgekehrt gehort zu jedem y N genau ein x = f 1 (y) M.
Die Abbildung f 1 : N M heit inverse Abbildung (oder inverse Funktion) zu
f.
Beispiele:
a) M = N = R und f : R R gema x R y = f (x) = x (x2 1)
R
y
Die Abbildung f ist surjektiv,
denn f
ur beliebiges y R
existiert wenigstens ein x R
mit f (x) = y.
y = x(x 2 - 1)
-1
v
0
y = x 0 + t v
22
2. Grundlagen
f
ur alle u, v M und , R,
y 1 (x)
x1
Jf (x) =
...
y n (x)
x1
f
ur 1 i n und 1 j m
y 1 (x)
...
xm
n m
(2.10)
...
...
= y,ji (x) i=1 j=1 .
n
y (x)
...
xm
f
f
e1 + ... + m em .
1
x
x
23
Jy (t) =
y 1 (t)
t
...
y n (t)
t
dy (t)
y (t) .
=
dt
f
ur alle t I.
Denn, durch Ableitung des inneren Produktes c2 = ky (t)k2 = (y (t) , y (t)) folgt:
0=
d
(y (t) , y (t)) = 2 (y (t) , y (t))
dt
24
2. Grundlagen
beschreibbar. Die Abbildung A ist genau dann bijektiv, wenn det (A) 6= 0. In diesem
Fall bildet A einen Isomorphismus von V3 auf V3 .
Die lineare Abbildung Q : V3 V3 heit orthogonal, wenn das innere Produkt (, )
in V3 invariant bez
uglich Q ist, d.h. wenn gilt
(u, v) = (Q (u) ,Q(v))
f
ur alle u, v V3 .
Unter einer orthogonalen Abbildung bleiben die Langen von Vektoren und die zwischen ihnen bestehenden Winkel unverandert. Die einer orthogonalen Abbildung in
der Standardbasis zugeordnete Matrix Q ist orthogonal und det (Q) = 1. Orthogonale Abbildungen sind demzufolge bijektiv und es existiert die inverse orthogonale
Abbildung Q1 , deren zugeordnete Matrix Q1 = QT ist. Aus Sicht der Geometrie
beschreibt eine orthogonale Abbildung eine Drehung des Raumes um eine feststehende
Achse durch den Ursprung ( im Falle det (Q) = 1 ) oder eine Spiegelung an einer Ebene
( im Falle det (Q) = 1 ).
3. Kurven
Unter einer Kurve im EUKLIDischen Raum R3 stellt man sich eine aus Punkten stetig
zusammengesetzte linienformige Struktur vor und stuft sie demzufolge als eindimensionales geometrisches Objekt ein, das nur in einer Richtung bzw. in der dazu entgegengesetzten Richtung zu durchlaufen ist. Eine Kurve besitzt einen Anfangs- und
Endpunkt, womit eine Orientierung verbunden ist. Fallen beide Punkte zusammen, so
spricht man von einer periodischen oder geschlossenen Kurve. Endet eine Kurve nicht im gleichen Punkt, in dem sie beginnt, so handelt es sich um eine offene
Kurve.
Eine offene Kurve oder ein offenes Kurvenst
uck kann anschaulich als d
unner Draht im
Raum gedeutet werden. Ein derartiger Draht ist stets zu einem Geradenst
uck verbiegbar, welches auf einem Intervall der reellen Zahlengeraden platziert werden kann. Auf
diese Weise entsteht eine Abbildung, die jeder reellen Zahl einen Kurvenpunkt zuordnet und von der wir fordern, dass sie hinreichend glatt ist. Zumindest soll in jedem
Punkt der Kurve in eindeutiger Weise eine Tangente angelegt werden konnen. Damit
sind Kurven ausgeschlossen, die einen Knick besitzen oder Punkte enthalten in denen
x1 (t)
x : I R3 gema t I x (t) = x1 (t) e1 + x2 (t) e2 + x3 (t) e3 = x2 (t) .
x3 (t)
Wenn t das Intervall I durchlauft, besteht der Wertebereich dieser Abbildung aus allen
Ortsvektoren x (t). Die Menge aller dieser Ortsvektoren ist
c = x R3 | x = x (t) ; t I
26
3. Kurven
.
x (t)
Tx (c) = {y R | y = y ( ) = x (t) ; R}
T a n g e n te
x (t)
0
heit Tangentialraum der Kurve im Punkt x (t) und die Gesamtheit aller Vektoren
x (t) + Tx (c) wird als Tangente an die Spur c der Kurve im Punkt x (t) bezeichnet.
f
ur alle I.
27
F
ur die Tangentenvektoren x (t) und x
(t) an eine Kurve im Punkt x
( ) = x ( ( )) leitet man u
ber die Kettenregel der Differenziation den Zusammenhang
x
( ) =
dx dt
= x (t) ( )
dt d
mit t = ( )
her. Wie zu erwarten war, andert sich bei einer vertraglichen orientierungserhaltenden Parametertransformation lediglich die Lange des Tangentenvektors um den Faktor
( ), nicht jedoch seine Richtung.
In der Klasse (c) aller vertraglichen Parametrisierungen einer Kurve kann eine Relation
wie folgt eingef
uhrt werden:
Die Parametrisierungen x : I R3 und x
: I R3 stehen genau dann in Relation
(x x
) zueinander, wenn : I I ein orientierungserhaltender Diffeomorphismus
Definition 3.3 Eine orientierte Kurve ist eine Klasse (c) vertraglicher Parametrisierungen, die untereinander orientierungserhaltend sind.
28
3. Kurven
Alternativ, aber nicht aquivalent zu den Definitionen 3.1 - 3.3 kann eine Kurve als
eindimensionale Mannigfaltigkeit eingef
uhrt werden.
Definition 3.4 Eine C r Kurve ist eine Punktmenge C des R3 zusammen mit folgenden Forderungen (siehe dazu Abb. 3.2):
1. Zu jedem P C existiert eine offene Menge C mit P C , so dass gilt
[
C=
C (I Indexmenge) .
I
C
C
Ia
C
a
C
b
t
t = m b(m
-1
a
(t))
Ib
bildet einen C r Diffeomorphismus. Die Abbildungen heien Karten und die Transformationen (1
) zwischen den Parametrisierungen Kartenwechsel oder Koordinatentransformationen. Man nennt einen Kartenwechsel im Einklang mit Definition 3.2
orientierungserhaltend (bzw. orientierungsumkehrend), wenn gilt
d
1
(t) > 0
dt
(bzw. < 0) .
29
auszugehen. Betrachtet man jedoch eine Kurve als globales geometrisches Objekt, so
ist es zweckmaiger, diese als eindimensionale Mannigfaltigkeit zu interpretieren. Im
Weiteren werden wir von einer Kurve als einer Klasse (c) gleichorientierter Parametrisierungen bzw. eingeschrankter als Menge c (Spur) von Ortsvektoren (Punkten) des
EUKLIDischen Raumes R3 im Sinne der Definitionen 3.1 -3.3 oder als einer Mannigfaltigkeit C im Sinne der Definition 3.4 sprechen.
Beispiel 3.1 Eine Gerade ist eine Kurve mit der Parametrisierung
1
v
x01
x (t) = x0 + tv = x02 + t v 2 ; t R , x0 , v V3 v 6= 0.
v3
x03
x1
c= x=
R2 |
x2
x21
a2
x22
b2
=1
-a
x
2
a
-b
x
1
30
3. Kurven
a cos (t)
b sin (t)
, tR
x (t) =
a sin (t)
b cos (t)
6= 0.
x2 ( ) =
a cos ( )
b sin ( )
a cos (t)
b sin (t)
, t (0, 3)
und
(0, 3)
>1
liefern die gleiche Spur c. Zwischen den Parametrisierungen besteht zwar der Zusammenhang t = , der aber kein Diffeomorphismus von (0, 3) auf (0, 3) ist. Es gibt
keine bijektive stetig differenzierbare Abbildung t = ( ), die eine Umparametrisierung von x2 im Intervall (0, 3) auf x1 im gleichen Intervall (0, 3) realisiert. Die
Parametrisierungen x1 und x2 beschreiben somit, im Sinne der Definition einer Kurve
als Klasse zueinander vertraglicher (diffeomorpher) Parametrisierungen, verschiedene
Kurven (c1 ) und (c2 ). Dieses Beispiel zeigt, dass die Abbildung, die die Klasse (c) einer Kurve die Spur c dieser Kurve zuordnet (d.h. (c) c), nicht bijektiv oder injektiv,
sondern nur surjektiv ist.
Mit a = b = 1 entsteht die Kreislinie S 1 des Einheitskreises in der x1 x2 Ebene:
x1
2
2
2
R | x1 + x2 = 1
S = x=
x2
1
Beispiel 3.4 Eine in drei Dimensionen verlaufende Kurve ist die Schraubenlinie
mit der Parametrisierung
R cos (t)
x (t) = R sin (t) ;
t
2 p b
tR
R sin (t)
x (t) = R cos (t) =
6 0
Diese Kurve beschreibt die Windungen einer Schraube. R ist der Radius und 2 die
Ganghohe dieser Schraube. Mit dem Parameter kann die Schnelligkeit des Durchlaufes der Kurve gesteuert werden. Ist > 0, so spricht man von einer Rechtsschraube
und im Falle < 0 von einer Linksschraube. Mit = 0 entsteht der Spezialfall einer
Kreislinie mit dem Radius R.
31
d s (t)
x (t+ d t)
x (t)
(3.1)
ist
ds (t) =
p
p
(x (t) dt, x (t) dt) = (x (t) , x (t))dt = kx (t)k dt.
Durch Integration u
ber diese (differenziellen) Bogenelemente erhalt man die Lange der
Kurve (c).
so heit L L
ange der Kurve (c). Eine Kurve mit endlicher Lange wird rektifizierbar
genannt.
Diese Definition der Lange einer Kurve erscheint zunachst etwas vage, da sie auf einer
konkreten Kurvenparametrisierung beruht. Es ist aber sofort einsichtig, dass die Lange
von (c) nicht von der Parametrisierung abhangt. Denn, ist x
: I R3 mit x
=
x
( ) eine andere vertragliche Parametrisierung aus der Klasse (c), so ergibt sich mit
der Umparametrisierung ( ) : I I und dem daraus folgenden Differenzial dt =
( ) d :
Z
Z
Z
Z
( )
d = k ( ) x ( ( ))k d = kx ( ( ))k ( ) d = kx (t)k dt.
x
I
Zt
a
kx ( )k d
(a I)
32
3. Kurven
1
1
dt
=
=
ds
kx (t)k
kx ( (s))k
(3.2)
einen Diffeomorphismus von I auf I realisiert und eine regulare orientierungserhaltende Parametertransformation darstellt. Der Parameter s, den man auch Parameter
der Bogenl
ange nennt, kann deshalb als Kurvenparameter Verwendung finden. Ist
x : I R3 mit x = x (s) eine Parametrisierung von (c) nach der Bogenlange s und
x
: I R3 mit x
=x
(t) irgend eine andere Parametrisierung der Kurve (c), so stehen
d
x dt
x
( (s))
.
x (s) =
=
dt ds
( (s))
x
Definition 3.6 Eine Parametrisierung x : I R3 mit x = x (s) heit Parametrisierung nach der Bogenl
ange oder natu
rliche Parametrisierung der Kurve
(c), wenn f
ur alle s I gilt
kx (s)k = 1.
Die Bezeichnung Parametrisierung nach der Bogenlange ist insofern berechtigt, weil
sich die Parameter s und zweier vertraglicher orientierungserhaltender Parametrisierungen mit kx (s)k = kx ()k = 1 nur durch eine Konstante d gema = s + d
unterscheiden. Die Lange einer nat
urlich parametrisierten Kurve ist gleich der Lange
des Parameterintervalls:
Z
Z
L (c) = kx (s)k ds = ds = I.
I
33
d2 x (t)
dx (t)
x (t) ,
x
(t) , ...
Ableitung von x (t) nach dem Parameter t:
dt
dt2
Dementsprechend werden zuk
unftig alle Ableitungen nach dem Parameter s der Bogenlange mit Hochkommas bezeichnet, wahrend Ableitungen nach einem beliebigen Parameter t wie bisher Punkte u
ber dem Funktionssymbol tragen.
Zusammenh
ange zwischen den Ableitungen von x (t) und x (s):
( Parametertransformation: t = (s), sParameter der Bogenlange)
Mit
dt
1
d2 t
(x (t) , x
(t))
t0 (s) =
=
und t00 (s) = 2 =
ds
kx (t)k
ds
kx (t)k4
(3.3)
ist
dx (s)
x (t)
=
ds
kx (t)k
2
(x (t) x
(t)) x (t)
d x (t)
=
x00 (s) =
2
dt
kx (t)k4
x0 (s) =
(3.4)
(3.5)
Wegen 1 = kx0 (s)k2 = (x0 (s) , x0 (s)) ist (x0 (s) , x00 (s)) = 0 und damit x0 (s) x00 (s).
Die Beweise zu den Formeln (3.3) - (3.5) sind Gegenstand von Aufgabe 1 aus Abschnitt
3.9.
Beispiel 3.5
a) Eine Gerade x (t) = x0 + tv (t R) ist wegen x (t) = v nach der Bogenlange
parametrisiert, wenn der Richtungsvektor ein Einheitsvektor ist ( d.h. kvk = 1 ).
T
b) Die Schraubenlinie x (t) = (R cos (t) , R sin (t) , t)
hat den Tangentenvektor
p
R2 2 + 2 = K = const.
x (t) = (R sin (t) , R cos (t) , )T mit kx (t)k =
Uber
die Transformation
s
t = (s) =
K
wird folglich die Schraubenlinie nach dem Bogenma parametrisiert.
Beschrankt man x (t) auf das Intervall (a, b), so besitzt die Schraubenlinie die Lange
L=
Zb
a
kx (t)k dt =
Zb p
a
R2 2 + 2 dt = (b a)
R 2 2 + 2 .
34
3. Kurven
Kurvenpunktes x (s0 ) (s0 I) ist die Entwicklung von x (s) gema der TAYLORschen
Formel nach Potenzen von (s s0 ):
1
x (s) = x (s0 ) + x0 (s0 ) (s s0 ) + x00 (s0 ) (s s0 )2 + (s s0 )2 (s s0 ) .
2
F
ur das Restglied gilt: lim (s s0 ) = 0.
ss0
Die ersten beiden Glieder der rechten Seite definieren die Tangente an (c) im Punkt
x (s0 )
xT (s) = x (s0 ) + x0 (s0 ) (s s0 ) s R.
Nimmt man das nachfolgende Glied noch hinzu, so entsteht die Parabel
1
xP (s) = x (s0 ) + x0 (s0 ) (s s0 ) + x00 (s0 ) (s s0 )2 ,
2
die (c) von zweiter Ordnung ber
uhrt. D.h. xP (s) und x (s) besitzen im Ber
uhrungspunkt
x (s0 ) die gleiche erste und zweite Ableitung. Die Tangente schmiegt sich wegen x0 (s0 ) =
x0T (s0 ) von erster Ordnung an (c) im Punkt x (s0 ) an.
Die Vektoren x0 (s) und x00 (s) sind im Falle x00 (s) 6= 0 linear unabhangig und wegen
(x0 (s) , x00 (s)) = 0 auch orthogonal zueinander. Die Erganzung dieser Vektoren durch
ihr Vektorprodukt x0 (s) x00 (s), welches orthogonal zu x0 (s) und x00 (s) ist, f
uhrt nach
Normierung zu einem orthonormalen System dreier Vektoren, welches jedem Kurvenpunkt x (s) zugeordnet werden kann:
t (s) = x0 (s)
( Tangentenvektor )
x00 (s)
n (s) = 00
kx (s)k
( Hauptnormalenvektor )
( Binormalenvektor )
(3.6)
Das orthonormale System {t (s) , n (s) , b (s)} heit begleitendes Dreibein der Kurve (c) im Punkt x (s). In der Reihenfolge t, n, b bilden die Vektoren ein Rechtssystem.
n (s)
x (s)
t(s )
b (s)
35
Definition 3.7 Eine C 3 Kurve (c), die nach der Bogenlange gema x = x (s) (s I)
parametrisiert ist, heit FRENET-Kurve, wenn in jedem Kurvenpunkt x (s) (s I)
das begleitende Dreibein {t (s) , n (s) , b (s)} existiert und eindeutig bestimmt ist (siehe
Abb. 3.6).
In jedem Kurvenpunkt x (s) werden durch das begleitende Dreibein drei aufeinander
senkrecht stehende Ebenen definiert. Die vom Tangentenvektor t und vom Hauptnormalenvektor n aufgespannte Ebene heit Schmiegebene. Von n und b wird die
Normalebene und schlielich von b und t die rektifizierende Ebene (oder Streckebene) aufgespannt. Bezogen auf den Kurvenpunkt x (s0 ) werden die Ortsvektoren X
dieser Ebenen mittels Spatprodukten durch folgende Gleichungen in parameterfreier
Form beschrieben:
[X x (s0 ) , t (s0 ) , n (s0 )] = 0
[X x (s0 ) , n (s0 ) , b (s0 )] = 0
[X x (s0 ) , b (s0 ) , t (s0 )] = 0
( Schmiegebene )
( Normalebene )
( rektifizierende Ebene ) .
(3.7)
Definition 3.8 Es sei (c) eine nach der Bogenlange gema x = x (s) (s I) parametrisierte C 3 Kurve. Die reelle nicht negative Funktion
k : I R gema s I k (s) = kx00 (s)k R
(3.8)
heit Kru
ummung
mmung der Kurve (c). Den reziproken Wert der Kr
(s) =
1
1
= 00
k (s)
kx (s)k
(k (s) 6= 0)
(3.9)
Bemerkung 3.2 Die Kurve (c) mit der Parametrisierung x = x (s) (s I) nach
Bogenlange enthalt auf dem Teilintervall (, ) I genau dann ein Geradenst
uck
x (s) = x0 +sa (s (, )), wenn die Kr
ummung k (s) f
ur alle s (, ) verschwindet.
Beweis. k (s) = 0 ist gleichbedeutend mit x00 (s) = 0.
a) Es sei x00 (s) = 0 f
ur alle s (, ), dann folgt x0 (s) = a = const. und weiter das
Geradenst
uck
Zs
f
ur alle s (, ) .
x (s) = x () + a d = x () + (s ) a
36
3. Kurven
kx (t) x
(t)k
.
kx (t)k3
(3.10)
k(x x
) xk
.
4
kxk
Wegen (x x
) x ist k(x x
) xk
= kx (t) x
(t)k kxk,
womit sofort die angegebene Formel folgt.
Geometrische Interpretation der Kru
mmung und des Kru
mmungsradius
Wir gehen wieder von einer C 3 Kurve (c) aus, die nach der Bogenlange gema x =
x (s) mit s I parametrisiert ist. x0 = x (s0 ) (s0 I) sei ein beliebiger Kurvenpunkt
und t0 = t (s0 ) , n0 = n (s0 ) die Vektoren des begleitenden Dreibeins in x0 , welche die
Schmiegebene von (c) in diesem Punkt aufspannen. Weiter seien k0 = k (s0 ) = kx00 (s0 )k
und 0 = k01 Kr
ummung und Kr
ummungsradius im Kurvenpunkt x0 .
In der Schmiegebene wird nun ein Kreis (S) mit dem Radius 0 so platziert, dass er die
Kurve (c) im Punkt x0 ber
uhrt und die von x0 ausgehende Normale n0 zum Mittelpunkt
des Kreise weist (siehe Abb. 3.7). Dieser Kreis hat in der Parametrisierung nach seiner
Bogenlange die Darstellung
s
s
xK (s) = xM + 0 sin
t0 cos
n0
sR
0
0
mit xM = x0 + 0 n0 .
Die Ableitungen dieser Parameterdarstellung, berechnet f
ur s = 0, ergeben:
xK (0) = x0 = x (s0 )
x0K (0) = t0 = x0 (s0 )
1
x00K (0) =
n0 = k0 n0 = x00 (s0 ) .
0
Die Ableitungen bis zur zweiten Ordnung der beiden nach der Bogenlange parametrisierten Kurven (c) und (S) stimmen also im Punkt x0 u
berein und damit auch ihre
Kr
ummungen. Auf diese Weise kann der Kr
ummungsradius 0 (d.h. der reziproke Wert
der Kr
ummung k0 !) im Punkt x0 der Kurve (c) als der Radius eines in der Schmiegebene liegenden Kreises gedeutet werden, der (c) im Punkt x0 von zweiter Ordnung
ber
uhrt.
37
t0= t( s 0)
x ''( s 0 ) ~ t ( s 0+ h ) - t ( s 0 )
t(s 0+ h )
S
0
Bemerkung 3.4 Eine C 3 Kurve mit der Parametrisierung x (s) (s I) ist genau
dann eine FRENET-Kurve, wenn in jedem Kurvenpunkt die Vektoren x0 (s) und x00 (s)
linear unabhangig sind. Dies ist insbesondere in den Kurvenpunkten nicht der Fall,
in denen x00 (s) = 0 und demzufolge kein eindeutig bestimmtes begleitendes Dreibein
existieren kann.
Ist x00 (s) = 0 auf einem Teilintervall (, ) I, so hat die Kurve nach Bemerkung 3.2
auf (, ) einen geradlinigen Verlauf. Verschwindet x00 (s) in einem isolierten Punkt
s0 , d.h. ist x00 (s0 ) = 0 und x00 (s) 6= 0 in einer hinreichend kleinen Umgebung von s0 ,
so kann, muss aber nicht, in x (s0 ) ein Wendepunkt der Kurve vorliegen (siehe Beispiel
3.9).
Beispiel 3.6 Die in den Beispielen 3.4 und 3.5 b) beschriebene Schraubenlinie hat
nach Bogenlange parametrisiert die Ableitungen:
sR
R sin K
cos K
s
s
2
1
R
0
00
R cos K s
sin K s
x (s) =
; x (s) =
p
K
K2
0
K = R2 2 + 2 .
F
ur die Kr
ummung erhalt man
2 R
K2
und f
ur Tangenvektor und Hauptnormalenvektor
t (s) = x0 (s) ;
cos
sin
n (s) =
s
K
s
K
R sin K
b (s) = t (s) n (s) =
s R cos Ks
K
cos K
s
sin K s
0
sin K
s
1
cos K s
=
K
R
38
3. Kurven
0
0
t (s)
(t , t) (t0 , n) (t0 , b)
t (s)
n0 (s) = (n0 , t) (n0 , n) (n0 , b) n (s) .
b (s)
(b0 , t) (b0 , n) (b0 , b)
b0 (s)
F
ur die inneren Produkte der Matrixkoeffizienten ergeben sich folgende Werte:
1. Wegen (t, t) = (n, n) = (b, b) = 1 f
ur alle s folgt nach Ableitung sofort
(t0 , t) = (n0 , n) = (b0 , b) = 0.
d
(t, n) = (t0 , n) + (t, n0 ) = 0 und damit (t0 , n) = (t, n0 ).
ds
Mit t (s) = x0 (s) ist t0 (s) = x00 (s) = k (s) n (s) und weiter
(n0 , t) = k (s) .
d
(t, b) = (t0 , b) + (t, b0 ) = 0 und damit (t0 , b) = (t, b0 )
3. Aus (t, b) = 0 folgt
ds
und weiter
(t0 , b) = k (s) (n, b) = 0;
(b0 , t) = 0.
39
d
(b, n) = (b0 , n) + (b, n0 ) = 0 und damit
ds
(n0 , b) = (b0 , n) .
(3.11)
Windung (oder Torsion) der Kurve (c). Die Gleichungen in der Matrixdarstellung
0
t (s)
0
k (s)
0
t (s)
n0 (s) = k (s)
0
w (s) n (s)
(3.12)
0
b (s)
0
w (s)
0
b (s)
nennt man FRENETsche Formeln oder Ableitungsgleichungen der Kurve (c).
Sieht man von Vorzeichen ab, so wird der Zusammenhang zwischen {t0 , n0 , b0 } und
{t, n, b} f
ur eine FRENET-Kurve nur durch die zwei Funktionen k (s) und w (s) beschrieben. Die Kr
ummung konnte geometrisch durch den Radius eines in der Schmiegebene liegenden Kreises, der die Kurve von zweiter Ordnung ber
uhrt, beschrieben werden. Auch die Windung erlaubt eine geometrische Deutung.
Geometrische Interpretation der Windung
Wir entwickeln die C 4 Kurve (c) mit der Parameterdarstellung x (s) (s I) in der
Umgebung von x (s0 ) (s0 I) gema der TAYLORschen Formel:
1
x (s) = x (s0 ) + x0 (s0 ) (s s0 ) + x00 (s0 ) (s s0 )2
2
1 000
+ x (s0 ) (s s0 )3 + (s s0 )3 (s s0 ) ,
6
wobei lim (s s0 ) = 0. Mit den Substitutionen x0 (s0 ) = t0 , x00 (s0 ) = k0 n0 ,
ss0
Setzt man diesen Ausdruck in die TAYLORsche Formel ein, so entsteht die folgende
Darstellung f
ur x (s):
x (s) = x (s0 ) + a (s) t0 + b (s) n0 + c (s) w0 (s0 ) b0 + (s s0 )3 (s s0 )
40
3. Kurven
mit
1 2
2
a (s) = (s s0 ) 1 k0 (s s0 )
6
1 0
1
2
b (s) =
(s s0 ) k0 + k0 (s s0 )
2
3
1
(s s0 )3 k0 .
c (s) =
6
Die ersten drei Glieder x (s0 ) + a (s) t0 + b (s) n0 der rechten Seite beschreiben Vektoren aus der Schmiegebene von x (s) im Punkt x (s0 ). Sieht man von dem mit (s s0 )4
gegen Null strebenden Anteil ab, so wird der Rest von dem orthogonal zur Schmiegebene stehenden Vektor c (s) w (s0 ) b0 bestimmt. Die darin auftretende Torsion w (s0 )
gibt an, wie stark die Kurve in der Umgebung von x (s0 ) aus der Schmiegebene in
den umgebenden Raum herausgedreht wird oder, mit anderen Worten, sich aus der
Schmiegebene herauswindet.
Satz 3.1 Eine nach der Bogenlange mit x (s) (s I) parametrisierte FRENET-Kurve
(c) verlauft genau dann vollstandig in einer Ebene des R3 (ist also eine ebene Kurve),
wenn ihre Torsion verschwindet, d.h. wenn w (s) = 0 f
ur alle s I.
Beweis. Aus der dritten FRENETschen Formel b0 (s) = w (s) n (s) folgt, dass die
Bedingung w (s) = 0 aquivalent zu b0 (s) = 0 und damit zu b (s) = b = const. ist ((c)
ist eine FRENET-Kurve und folglich n (s) 6= 0!).
a) Es sei b (s) = b = const. (s I). Wahlt man einen beliebigen Kurvenpunkt x (s0 ),
dann ist
d
(x (s) x (s0 ) , b) = (t (s) , b) = 0
ds
und damit das innere Produkt (x (s) x (s0 ) , b) = c = const. f
ur alle s I. F
u r s = s0
ist insbesondere (x (s0 ) x (s0 ) , b) = 0. Also kann nur c = 0 und damit x (s) x (s0 )
b f
ur alle s I sein. D.h. aber, b ist Normalenvektor einer Ebene, in der alle
Ortsvektoren x (s) der Kurve (c) enden.
b) Liegt die Kurve (c) vollstandig in einer Ebene, so konnen deren Ortsvektoren x (s)
in der Form
x (s) = a + (s) c + (s) d
mit den zweimal stetig differenzierbaren Funktionen , : I R und den konstanten
Vektoren a, c, d R3 beschrieben werden. Durch Ableitung dieser Darstellung ergibt
sich
x0 (s) = 0 (s) c + 0 (s) d = t (s)
x00 (s) = 00 (s) c + 00 (s) d = k (s) n (s) .
Aus diesen Formeln folgt, dass die zueinander orthonormalen Vektoren t (s) und n (s)
f
ur jedes s I dem (abgeschlossenen) Unterraum Vcd = span {c, d} V3 angehoren.
41
n0 (s) =
1
(x000 (s) k 0 (s) n (s))
k (s)
1
(x0 (s) x00 (s)) .
k (s)
1
(b (s) , x000 (s) k 0 (s) n (s))
k (s)
1
(b (s) , x000 (s))
(s)k
1
(x0 (s) x00 (s) , x000 (s)) .
=
00
kx (s)k2
=
kx00
(3.13)
2. F
ur eine C 3 Kurve (c) in beliebiger regularer Parametrisierung x (t) (t I) mit
der Parametertransformation t = (s) ist zunachst
x0 (s) = x (t) 0 (s)
2
x00 (s) = x
(t) (0 (s)) + x (t) 00 (s)
...
3
x (t) 0 (s) 00 (s) + x (t) 000 (s) .
x000 (s) = x (t) (0 (s)) + 3
Substituiert man die Ableitungen im Spatprodukt [x0 (s) , x00 (s) , x000 (s)] durch
die rechten Seiten dieser Gleichungen, so folgt aus den Eigenschaften des Spatproduktes (bzw. aus Eigenschaften der Determinante) der Zusammenhang
...
6
[x0 (s) , x00 (s) , x000 (s)] = (0 (s)) [x (t) , x
(t) , x (t)] .
Mit der Formel (3.10) f
ur k (t) und mit (3.2) f
ur 0 (s) erhalt man
...
[x (t) , x
(t) , x (t)]
.
w (t) =
kx (t) x
(t)k2
(3.14)
42
3. Kurven
Beispiel 3.7 Mit den im Beispiel 3.6 angegebenen Vektoren des begleitenden Dreibeins
der Schraubenlinie kann die Torsion dieser Kurve u
ber
s
sin K s
sin K
1
cos K
cos K
s
s
und b (s) =
n0 (s) =
K
K
0
R
direkt berechnet werden:
w (s) =
.
K2
2 R
Zusammen mit der Kr
ummung k (s) =
(siehe
K2
NETschen Formeln
0
t
0
R
n0 = R 0
K2
b0
0
n .
b
0
Satz 3.2 Es sei F : I R3 R3 eine auf dem offenen Intervall I R stetig differenzierbare Abbildung gema
s I F (s) = {Fij (s)}3i,j=1 R3 R3
und s0 I, x0 R3 fest gewahlte Groen. Dann gibt es genau eine stetig differenzierbare Abbildung x : I R3 mit
x0 (s) = F (s) x (s)
x (s0 ) = x0 .
sI
43
Ausf
uhrungen zu Anfangswertproblemen f
ur Systeme gewohnlicher Differenzialgleichungen findet man z.B. in [MeVa] Bd. 2, S. 93 - 102.
n (s0 ) = n0 ,
b (s0 ) = b0
besitzt.
ur alle s I
Beweis. Zunachst wird eine 3 3Matrixfunktion B (s) = {Bij (s)}3i,j=1 f
T
eingef
uhrt, wobei B (s0 ) B0 = (t0 , n0 , b0 ) die Matrix ist, deren Zeilen die Vektoren
des vorgegeben orthonormalen Systems {t0 , n0 , b0 } sind. B0 ist folglich eine orthogonale Matrix mit det (B0 ) = 1. Die Matrixfunktion B (s) wird aus dem gewohnlichen
Differenzialgleichungssystem
0
k (s)
0
0
w (s)
B0 (s) = A (s) B (s)
(s I)
mit A (s) = k (s)
0
w (s)
0
und den Anfangsbedingungen B (s0 ) = B0 bestimmt. Unter der vorausgesetzten Differenzierbarkeit von k (s) und w (s) besitzt dieses AWP nach Satz 3.2 eine eindeutig
bestimmte Losung B (s) (s I) .
Bemerkt sei, dass das hier formulierte AWP aus drei Problemen der im Satz 3.2 genannten Art besteht, die u
ber die Matrixformulierung der Losung B (s) in einer Gleichung
zusammengefasst sind.
a) Als erstes wird gezeigt, dass B (s) f
ur alle s I eine orthogonale Matrix ist. Mit
B0 = AB folgt nach der Produktregel der Differenziation
0
0
T
BBT = B0 BT + B BT = B0 BT + B (B0 ) = ABBT + BBT AT .
(3.15)
44
3. Kurven
Setzt man G (s) = B (s) BT (s), so ist wegen der Orthogonalitat von B (s0 ) = B0
die Matrix G0 = G (s0 ) = B0 BT0 = I die 3 3Einheitsmatrix im R3 . Die Beziehung
(3.15) wird nun als Differenzialgleichungssystem
G0 (s) = A (s) G (s) + G (s) AT (s)
(s I)
f
ur die Matrixfunktion G (s) mit den Anfangsbedingungen G (s0 ) = G0 aufgefasst.
Die Einheitsmatrix I (s) I ist wegen
A (s) I (s) + I (s) AT (s) = A (s) + AT (s) = 0 = I0 (s)
( A ist antisymmetrisch! )
eine Losung dieses AWPs. Andererseits erf
ullt dieses AWP aber auch die Bedingungen
des Satzes 3.2 und ist deshalb eindeutig losbar. Damit ist I = G (s) = B (s) BT (s) f
ur
alle s I die einzige Losung und folglich B (s) f
ur jedes s I eine orthogonale Matrix
mit det (B (s)) = 1 (da det (B0 ) = 1 und B (s) stetig!).
b) Die Zeilenvektoren der Matrix B (s)
t (s) = (B11 (s) , B12 (s) , B13 (s))T
n (s) = (B21 (s) , B22 (s) , B23 (s))T
b (s) = (B31 (s) , B32 (s) , B33 (s))T
(s I)
bilden f
ur jedes s I ein orthonormales Rechtssystem und die Gleichung
0
B (s) = A (s)B (s) stellt in kompakter Form die FRENETschen Formeln mit den vorgegeben Funktionen k (s) und w (s) dar. Damit bildet das System {t (s) , n (s) , b (s)}
f
ur jedes s I ein begleitendes Dreibein f
ur die noch zu konstruierende Kurve (c).
0
c) Wegen x (s) = t (s), der Stetigkeit von t (s) und mit x0 (s0 ) = t (s0 ) = t0 kann eine
Parameterdarstellung von (c) durch Integration dieses Zusammenhanges bez
uglich s
hergeleitet werden
Zs
(s I) .
x (s) = x0 + t () d
s0
(s0 ) = B0
und Aussagen des Satzes erf
ullt. Es seien B (s) = t (s) , n
(s) , b
0 (s) = A (s) B
(s) die FRENETdie Matrixfunktion des begleitenden Dreibeins und B
schen
Formeln
der
Parametrisierung
x
(s).
Die
Matrixfunktion
45
Zs
t () d = x0 +
s0
Zs
t () d = x (s)
f
ur alle s I.
s0
Beide Parametrisierungen sind folglich gleich, woraus auf die Identitat von (c) und (
c)
geschlossen werden kann.
Bemerkung 3.5 Unterwirft man die Parameterdarstellung x (s) (s I) einer Kurve
(c) einer EUKLIDischen Bewegung x
(s) = Q x (s)+b mit der orthogonalen Matrix Q
(det (Q) = 1) und dem festen Vektor b, so ist x
(s) Parameterdarstellung einer Kurve
(
c), wobei beide Kurven (c) und (
c) f
uralle s I die gleiche Kr
ummung und Torsi
on besitzen k (s) = k (s) , w (s) =w (s) und zwischen
den Vektoren der begleitenden
n
(s) = Q n (s) ,
(s) = Q b (s)
b
(s I) .
x
00 (s) = Q x00 (s) ,
x
000 (s) = Q x000 (s)
Damit ist
t (s) = Q t (s)
k (s) = k
x00 (s)k = kQx00 (s)k = kx00 (s)k = k (s)
1
1
00
n
(s) =
x
(s)
=
Q x00 (s) = Q n (s)
k
x00 (s)k
kx00 (s)k
(s) = t (s) n
b
(s) = Q (t (s) n (s)) = Q b (s)
0
(s) = (Q n0 (s) , Q b (s)) = (n0 (s) , b (s)) = w (s) .
w (s) = n
(s) , b
Verzichtet man im Hauptsatz der Kurventheorie auf die Vorgabe von x0 und {t0 , n0 , b0 },
so erhalt man als Losung eine Schar von Kurven, die alle die gleiche Kr
ummung und
Torsion aufweisen und u
ber eine EUKLIDische Bewegung aufeinander abgebildet werden konnen.
46
3. Kurven
werden. Ebene Kurven konnen deshalb im EUKLIDischen Raum R2 mit dem Translationsraum V2 untersucht werden. Der Binormalenvektor steht dann im Raum senkrecht
auf der x1 x2 Ebene und sei unabhangig von der Kurvenorientierung b = e3 . Mit dem
Tangentenvektor
t1 (s)
0
(s I)
x (s) = t (s) =
t2 (s)
ist dann der orthogonal zu t (s) orientierte Normalenvektor durch
n (s)
n (s) =
0 1
1
0
t (s) =
t2 (s)
t1 (s)
0
x (s)
t(s )
(3.16)
eindeutig bestimmt. Der Normalenvektor entsteht also aus dem um 2 entgegen dem
Uhrzeigersinn gedrehten Tangentenvektor.
Wegen (t, n) = 0 und ktk = knk = 1 bildet {t (s) , n (s)} f
ur jedes s I im R2
ein orthonormales Rechtssystem. Es gilt nat
urlich weiterhin t (s) x00 (s), woraus
die Parallelitat von x00 (s) zu n (s) folgt. x00 (s) hat deshalb die Darstellung x00 (s) =
(x00 (s) , n (s)) n (s).
Aus dem Zusammenhang zwischen x00 (s) und dem Normalenvektor n (s) leiteten wir die
Kr
ummung einer Kurve ab. Im allgemeinen dreidimensionalen Fall wird zunachst x00 (s)
berechnet und daraus nach Normierung der Normalenvektor abgeleitet. Der nicht negative Wert der Norm kx00 (s)k ist dann die Kr
ummung der Kurve. Im Fall einer ebenen
Kurve geht man anders vor und definiert ihre Kr
ummung vorzeichenbehaftet. Der Normalenvektor ist hier durch die vorgegebene Drehung aus dem Tangentenvektor schon
festgelegt und damit auch die Beziehung x00 = (x00 , n) n zwischen x00 und n. Daraus
folgt die Definition der Kr
ummung einer ebenen Kurve.
Definition 3.10 Die ebene C 2 Kurve (c) sei nach der Bogenlange gema x (s)
(s I) parametrisiert, dann heit die Groe
0 1
00
x0 (s)
(s I)
(3.17)
k (s) = (x (s) , n (s))
mit n (s) =
1
0
(orientierte) Kru
mmung der Kurve (c).
Bemerkung 3.6 F
ur ebene Kurven gilt weiter die allgemeine Beziehung
x00 (s) = k (s) n (s)
47
und damit kx00 (s)k = |k (s)| = |(x00 (s) , n (s))|. Der mogliche Vorzeichenwechsel von
k (s) beim Durchlaufen einer ebenen Kurve ergibt sich nur aus der geanderten Festlegung des Normalenvektors gegen
uber dem allgemeinen raumlichen Fall.
(s)
(k < 0 )
n (k > 0 )
(k = 0 )
t
Zum Nachweis dieser Beziehungen halten wir einen Kurvenpunkt x0 = x (s0 ) zum
Parameterwert s0 I mit der Kr
ummung k0 = (x00 (s0 ) , n (s0 )) fest und legen in
diesem Punkt die Tangente xT (s) = x0 + x0 (s0 ) (s s0 ) an die Kurve. Dann folgt u
ber
die Entwicklung von x (s) gema der TAYLORschen Formel:
1 00
=
k0 + (s s0 ) (s s0 )2 .
2
ur alle s 6= s0 aus
Wegen lim (s s0 ) = 0 liest man aus diesem Zusammenhang f
ss0
Der Tangentenvektor wird deshalb im Falle k0 > 0 (bzw. k0 < 0) auf n zu und damit
entgegen dem Uhrzeigersinn (bzw. von n weg und damit im Uhrzeigersinn) gedreht.
Ist auf einem Kurvenst
uck k (s) > 0 (k (s) < 0), so spricht man auch von einem
konvexen (konkaven) Kurvenverlauf. Ein Kurvenpunkt mit k (s) = 0, in dem ein
Wechsel von konvexem zu konkavem Kurvenverlauf oder umgekehrt stattfindet, heit
Wendepunkt.
48
3. Kurven
Bemerkung 3.8 Ist die ebene C 2 Kurve (c) in einer beliebigen Parametrisierung
x (t) (t I) mit der Transformation t = (s) zum Parameter der Bogenlange s gegeben, so ist die Kr
ummung k (t) aus der Formel
x 1 (t) x1 (t)
1
1
=
k (t) =
(x 1 (t) x2 (t) x 2 (t) x1 (t))
(3.18)
3 x
2 (t) x2 (t)
kx (t)k
kx (t)k3
mit x = (x 1 , x 2 )T und x
= (
x1 , x2 )T berechenbar.
Beweis. Uber
die Formeln (3.16) und (3.3) erhalt man
1
0 1
0 1
0
x (t)
x (s) =
n (s) =
0
1
0
kx (t)k 1
1
(x (t) , x
(t))
2
x00 (s) = x
(t) (0 (s)) + x (t) 00 (s) =
(t)
x (t) .
2x
kx (t)k
kx (t)k4
Wegen n x folgt dann
1
(x (s) , n (s)) =
kx (t)k3
00
x
(t) ,
0 1
1
0
x (t) .
Das rechts stehende innere Produkt kann in diesem Fall als (2, 2) Determinante geschrieben werden.
Beispiel 3.8 Die Randkurve einer Ellipse besitzt die Standardparametrisierung (siehe
Beispiel 3.3):
b
x (t) =
a cos (t)
b sin (t)
tR
(a = b > 0) .
m a x
x
a
x
1
m in
a sin (t)
b cos (t)
x
(t) = x (t)
49
sowie die Kr
ummung
a sin (t) a cos (t)
1
k (t) =
3
b cos (t) b sin (t)
kx (t)k
ab
=
kx (t)k3 .
1
0
f (t) f (t)
k (t) =
2 3/2
1 + f (t)
=
f (t)
2 3/2 .
1 + f (t)
Zu beachten ist, dass k (t) und f (t) stets das gleiche Vorzeichen besitzen.
Anhand der Funktionen f1 (t) = t4 und f2 (t) = t3 kann das Verhalten der entsprechenden Kurven (c1 ) und (c2 ) in Kurvenpunkten mit verschwindender Kr
ummung studiert
werden (siehe Abb. 3.11).
f (t)
x
2
t
n
x
1
n
x
f2 ( t )
50
3. Kurven
a) F
ur f1 (t) = t4 ist
k1 (t) =
12t2
(1 +
16t6 )3/2
= 0 f
ur t = 0
.
> 0 sonst
Bezieht man den Grenzfall k1 (0) = 0 mit ein, so besitzt diese Kurve einen konvexen
Kurvenverlauf. Der Kurvenpunkt x (0) = 0 ist folglich kein Wendepunkt.
b) F
ur f2 (t) = t3 ist
ur t < 0
< 0 f
6t
= 0 f
ur t = 0 .
k2 (t) =
(1 + 9t4 )3/2 > 0 f
ur t > 0
Mit wachsendem t geht diese Kurve bei t = 0 von einem konkaven zu einem konvexen
Verlauf u
ber (siehe Abb. 3.11). Der Punkt x (0) = 0 ist deshalb ein Wendepunkt der
Kurve.
Der Unterschied in der Definition des Normalenvektors n und der Kr
ummung k im
ebenen und raumlichen Fall wird an dieser Kurve besonders deutlich. Gema der Definition des Normalenvektors f
ur ebene Kurven zeigt n (t) langs der gesamten Kurve
einen stetigen Verlauf. Demgegen
uber wechselt der
Normalenvektor gema der Defini1
tion f
ur raumliche Kurven n (s) =
x00 (s) beim Uberschreiten
des Parameter|k (s)|
wertes t = 0 die Richtung der Orientierung und existiert folglich f
ur t = 0 nicht (siehe
Abb. 3.12).
x 2
t
x
1
51
und in diesem Punkt den Tangentenvektor t0 = t (s0 ) = e1 (1, 0)T besitzen. Der
Tangentenvektor von (c0 ) kann in der Form
cos ( (s))
(3.20)
t (s) =
sin ( (s))
mit einer noch zu bestimmenden Winkelfunktion (s) (s I) angesetzt werden. Der
Normalenvektor ist dann eindeutig durch
sin ( (s))
0 1
t (s) =
n (s) =
cos ( (s))
1
0
festgelegt. Aus der ersten FRENETschen Formel folgt der Zusammenhang t0 (s) =
k (s) n (s). Andererseits ergibt sich aus dem Ansatz f
ur t (s)
sin ( (s))
0
0
= 0 (s) n (s)
(3.21)
t (s) = (s)
cos ( (s))
und damit weiter 0 (s) = k (s). Die Integration dieser Beziehung mit dem Anfangswert
(s0 ) = 0 (folgt aus der Anfangsbedingung t0 = e1 !) ergibt
(s) =
Zs
k () d.
s0
Nochmalige Integration von x0 (s) = t (s) mit x (s0 ) = 0 liefert die Formel
x (s) =
x1 (s)
x2 (s)
Zs
s0
cos ( ( ))
sin ( ( ))
d.
(3.22)
(3.23)
x (s) =
Zs
s0
cos (k ( s0 ))
sin (k ( s0 ))
1
d =
k
sin (k (s s0 ))
cos (k (s s0 ))
0
1
52
3. Kurven
x
1
k
1 0
=
.
k 1
s = s
0
x
1
1
in der x1 x2 Ebene
k
entsteht durch Anwendung einer EUKLIDische Bewegung der Form (3.23) auf x (s).
Die Parameterdarstellung jedes anderen Kreises vom Radius
1
Zs
C ( (s))
cos 2a2 2
d = a
(s = 0)
x (s) =
2
1 2
S ( (s))
sin
2a2
Z
0
cos ()
d ;
S () =
Z
0
sin ()
d.
und
= a 2 ;
s = a 2; s = 0 = 0
a
d = d.
2
1
und
lim x (s) =
x
lim C () = lim S () =
1
s
2
2
wird sichtbar, dass die Klothoide mit immer kleiner werdendem Kr
ummungsradius
den Punkt x umkreist (siehe Abb. 3.14).
1 .4
1 .0
a = 1
0 .5
0 .5
1 .0
1 .4
1
k (s)
53
Anderung der Kr
ummung f
uhrt damit auch zu einer stetigen Anderung
der Zentrifugalkrafte, was sich zum einen verschleimindernd auf die bewegten Fahrzeugteile auswirkt
und zum anderen von den mitfahrenden Passagieren als ruhiges und gleichmaiges
Fahrverhalten registriert wird.
K r e is b o g e n
m i t k 1 = R1
R
s
1
K r e is b o g e n
m i t k 2 = - R1
s4
K lo th o id e
1
0
1
s
s
2
R
2
k
k
G e r a d e n s t c k
k
K lo th o id e
s
1
s
3
s5
s
x M (s)
xM (s) = x (s) +
1
n (s)
k (s)
(s I , k (s) 6= 0) .
0
n (s)
x (s)
k (s )
t(s )
Mit dieser Darstellung ist die Evolute nicht nach ihrer Bogenlange parametrisiert!
(3.24)
54
3. Kurven
Bemerkung 3.9 Eine Kurve (c) mit stetig differenzierbarer streng monotoner nirgends verschwindender Kr
ummungsfunktion k (s), d.h. mit k (s) 6= 0 und k 0 (s) 6= 0 f
ur
alle s I, besitzt eine f
ur alle s I regular parametrisierbare Evolute. Die Tangentenvektoren tM (s) der Evolute sind in jedem Kurvenpunkt parallel zum Normalenvektor
n (s) von (c) und es gilt:
dxM (s)
k 0 (s)
x M (s) =
n (s)
ds
(k (s))2
s I.
Beweis. Mit der zweiten FRENETschen Formel n0 (s) = k (s) t (s) = k (s) x0 (s)
erhalt man:
x M (s) = x0 (s) +
k 0 (s)
1 0
k 0 (s)
n (s)
n
(s)
=
n (s) .
k (s)
(k (s))2
(k (s))2
Da tM (s) parallel zu x M (s) ist, folgt aus dieser Formel auch die Parallelitat von tM (s)
|k 0 (s)|
> 0 ist (cM ) f
ur alle s I regular parametrisierbar.
zu n (s). Wegen kx M (s)k =
(k (s))2
Bemerkung 3.10 Ist die Kurve (c) nach dem freien Parameter t gema x (t) (t I)
regular parametrisiert,
so ergibt sich
ur k (t) und
(3.18) f
mit Formel
1
x 2 (t)
0 1
:
t (s) =
n (s) =
x 1 (t)
1
0
kx (t)k
(x 1 (t))2 + (x 2 (t))2
x 2 (t)
.
xM (t) = x (t) +
x 1 (t)
x 1 (t) x2 (t) x 2 (t) x1 (t)
Beispiel 3.12 Ein Kreis mit dem Radius R und der Parametrisierung
x (t) = R
cos (t)
sin (t)
n
tR
x (t)
1
1
besitzt die konstante Kr
ummung k =
und den Normalenvektor n (t) = x (t).
R
R
Die Evolute eines Kreises besteht folglich nur aus einem Punkt, dem Mittelpunkt des
Kreises: xM (t) = x (t) + Rn (t) = 0.
Beispiel 3.13 (c) sei eine Parabel mit der Parameterdarstellung
t
t R.
x (t) =
t2
55
1
2t
und x
(t) =
xM (t) =
xM 1 (t)
xM 2 (t)
Mit x (t) =
0
2
t
t2
ergibt sich f
ur (c) die Evolute
1 + 4t2
+
2
2t
1
4t3
0.5 + 3t2
die f
ur alle t R definiert ist. Allerdings liegt wegen
12t2
und
x M (0) = 0
x M (t) =
6t
ur t = 0
f
ur t = 0 keine regulare Parametrisierung vor k (0) = 0 . Die Evolute besitzt f
einen Knick und folglich ist auch der Normalenvektor im Punkt xM (0) nicht definiert
(siehe Abb. 3.18).
r
2
3 x
und weiter
Aus x = xM 1 = 4t3 folgt t2 =
16
r
2
3 x
2
y (x) = xM 2 = 0.5 + 3t = 0.5 + 3
.
16
Die Evolute zu (c) kann deshalb in einem funktionellen Zusammenhang y = y (x)
dargestellt werden und beschreibt eine als NEILsche Parabel (oder semikubische
Parabel) bekannte Kurve (siehe Abb. 3.18).
c
0 .5
c
M
t
x
Auf eine ebene Kurve (c), die nach der Bogenlange gema x (s) (s I) parametrisiert
ist, sei ein Faden straff anliegend aufgezogen. Wickelt man diesen Faden beginnend
beim Parameterwert s0 stets tangential zur Kurve (c) haltend ab, so beschreibt der
Fadenanfang (s = s0 ) die Spur einer Kurve (cE ), die Evolvente (oder Fadenlinie) der
Kurve (c) zum Parameterwert s0 genannt wird (siehe Abb. 3.19).
-t(s 2)
x (s2)
x (s1)
-t(s1)
x (s0) = x E (s 0)
x E (s2)
x E (s 1)
56
3. Kurven
Eine Parameterdarstellung xE (s) (s = s0 ) der Evolvente (cE ) zu (c) zum Wert s0 erhalt
man nach der Vorschrift
xE (s) = x (s) (s s0 ) t (s)
(s = s0
s ist der Bogenlangenparameter zu (c), aber nicht von (cE ), folglich liegt mit xE (s) keine Parametrisierung der Evolvente nach der Bogenlange vor.
Satz 3.4 Bildet man zu einer ebenen Kurve (c) mit x (s) (s I = (0, L)) die Evolvente mit xE (s) (s I) zum Wert s0 = 0 und zu dieser Evolvente die Evolute mit
der Parametrisierung xM (s), so gilt x (s) = xM (s) (s I). Eine ebene Kurve ist
demzufolge gleich der Evolute ihrer Evolvente.
Beweis. Mit s = 0 erhalt man die Evolvente von (c) in der Form
xE (s) = x (s) st (s) .
Zur Beschreibung der Evolute von xE (s) werden die Ableitungen x E (s) und x
E (s)
benotigt. Mit x0 (s) = t (s) und den FRENETschen Formeln (3.19) f
ur die Kurve (c)
folgt:
x E (s) = x0 (s) t (s) st0 (s) = sk (s) n (s)
x
E (s) = k (s) n (s) sk 0 (s) n (s) sk (s) n0 (s)
= (k (s) + sk 0 (s)) n (s) + sk 2 (s) t (s) .
Mit diesen Groen und Formel (3.18) erhalt man weiter:
kx E (s)k = s |k (s)|
und
det ({x E (s) , x
E (s)}) = s2 k 3 (s)
1
1
kE (s) =
E (s) , x
E (s)}) = sign (k (s))
3 det ({x
s
kx E (s)k
1
0 1
x E (s)
nE (s) =
1
0
kx E (s)k
sk (s)
0 1
0 1
t (s) = sign (k (s)) t (s)
=
1
0
0
s |k (s)| 1
Werden diese Groen in der Parameterdarstellung (3.24) von xM (s) substituiert, so
folgt
1
nE (s) = x (s) st (s) + st (s) = x (s) .
xM (s) = xE (s) +
kE (s)
57
Beispiel 3.14 Ein Kreis mit dem Radius R und dem Mittelpunkt im Ursprung 0 hat
mit der Bogenlange s als Parameter die Darstellung
cos (s/R)
(s R) .
x (s) = R
sin (s/R)
Mit s0 = 0 folgt die Evolvente
sin (s/R)
cos (s/R)
+s
xE (s) = R
cos (s/R)
sin (s/R)
(s = 0) .
cos ( (s))
sin ( (s))
58
3. Kurven
u
berschneidenden Abschnitte der Spur werden dabei in radialer Richtung etwas auseinander gezogen (siehe Abb. 3.20). Den entstehenden Linienzug um den Ursprung nennt
man Tangentenindikatrix zur Kurve (c).
t
2
t1
g
t3
t3
t
1
sin ( (s))
cos ( (s))
= (s)
0 1
1
0
cos ( (s))
sin ( (s))
Definition 3.11 Die ebene C r Kurve (c) (r > 0) mit der Parametrisierung x (s)
(s R) heit periodisch (oder geschlossen), wenn ein S > 0 existiert und gilt
x (s) = x (s + S)
f
ur alle s R.
Das kleinste S > 0 mit dieser Eigenschaft wird Periode von (c) genannt.
Die ebene C r Kurve (c) heit einfach periodisch (oder einfach geschlossen),
wenn sie periodisch mit der Periode S ist und jede eingeschrankte Abbildung
x
: [s, s + S) R2
mit
x
(s) = x (s)
injektiv ist.
Bemerkung 3.13 Die Kurve (c) ist einfach geschlossen, wenn sie auf jedem Intervall [s, s + S) keine Schnittpunkte besitzt, oder gleichbedeutend dazu, wenn es keine
Kurvenpunkte gibt, f
ur die gilt
x (s1 ) = x (s2 )
mit
s s1 < s2 < s + S
59
S c h n ittp u n k te
Beispiel 3.15 Der Kreis x (s) = (R cos (s/R) , R sin (s/R))T (s R; R > 0) ist einfach periodisch und besitzt die Periode S = 2R.
Definition 3.12 (c) sei eine nach der Bogenlange parametrisierte ebene periodische
C 2 Kurve mit der Periode S und der Kr
ummungsfunktion k (s). Die Groe
Tc =
ZS
k () d
heit Totalkru
mmung von (c).
ZS
0
s+S
s+S
Z
Z
k () d =
k () d =
0 () d.
s
Die Gleichheit zum ganz rechts stehenden Integral folgt wegen k (s) = 0 (s) (siehe
Bemerkung 3.12).
Definition 3.13 (c) sei eine nach der Bogenlange parametrisierte ebene periodische C 2 Kurve mit der Periode S und dem Tangentenvektor t (s) =
(cos ( (s)) , sin ( (s)))T . Die Groe
Uc =
heit Umlaufzahl der Kurve (c).
1
( (S) (0))
2
60
3. Kurven
Satz 3.5 Ist (c) eine nach der Bogenlange parametrisierte C 2 Kurve mit der Periode
S und der Kr
ummung k (s), so ergibt sich f
ur die Umlaufzahl
1
Uc =
2
ZS
k () d =
1
Tc .
2
Beweis. Der Beweis folgt unmittelbar aus Bemerkung 3.12 und mit
1
1
( (S) (0)) =
Uc =
2
2
ZS
1
() d =
2
0
ZS
k () d.
61
t1
t
Tangentenindikatrix Umlaufzahl
t1
2
t1
t2
Uc = 0
t
2
Uc = 1
Uc = 3
Bemerkung 3.16 Die ebene periodische C 2 Kurve (c) mit der Periode S sei nicht
nach der Bogenlange s, sondern nach dem freien Parameter t gema x (t) (t R)
parametrisiert, wobei der Zusammenhang s = s (t) = 1 (t) mit
s (t + T ) = s (t) + S
und
x (t) = x (t + T )
f
ur alle t R
Zt+T
k ( ) kx ( )k d.
Beispiel 3.17 Die Kurve (c) sei nach dem freien Parameter t gema
sin (2t)
(t R)
x (t) =
sin (3t)
parametrisiert. Dann ist
2 cos (2t)
x (t) =
3 cos (3t)
und
x
(t) =
4 sin (2t)
9 sin (3t)
62
3. Kurven
Zum Nachweis der Regularitat dieser Parametrisierung wird zunachst vom Gegenteil
ausgegangen, d.h., dass ein t0 R mit x (t0 ) = 0 existiert. In diesem Fall ware
cos (2t0 ) = cos (3t0 ) = 0 und es m
ute ganze Zahlen k und l mit
2t0 =
+ k
2
und
3t0 =
+ l
2
f
ur alle t R.
Daraus folgt T = 2 (l k) und damit die Periodizitat von (c). T = 2 ist der kleinste
positive Wert, der diese Beziehung erf
ullt und deshalb die Periode von (c) in dieser
Parameterdarstellung. Wegen sin(k) = 0 ist x (0) = x () und damit (c) nicht einfach
periodisch. Mit
1/2
ds = kx (t)k dt = 4 cos2 (2t) + 9 cos2 (3t)
dt
und
1
12 sin (2t) cos (3t) 18 cos (2t) sin (3t)
k (t) =
(t) , x
(t)}) =
3 det ({x
kx (t)k
kx (t)k3
erhalt man f
ur die Totalkr
ummung von (c)
Tc =
t+2
Z
Der Integrand ist eine ungerade Funktion und folglich verschwindet dieses Integral u
ber
dem Intervall [, ] (mit t = ). F
ur die Totalkr
ummung und Umlaufzahl gilt deshalb Tc = 0 und Uc = 0. Abb. 3.24 zeigt den Verlauf der Spur von (c).
3.9. Aufgaben
63
3.9. Aufgaben
1. Die Kurve (c) sei nach dem freien Parameter t gema x (t) (t I) und nach dem
Bogenma s gema x (s) s I regular parametrisiert.
a) Mit der hinreichend
oft stetig differenzierbaren Parametertransformation
t = (s) : I I sind die Zusammenhange (3.3) (3.5) zwischen den 1.
und 2. Ableitungen von x (t) und x (s) zu bestatigen.
b) F
ur eine Ellipse mit der Parametrisierung
x (t) = (a cos (t) , b sin (t) , c)T
t = 0;
a, b, c R a = b > 0
3. Die FRENET-Kurve (c) sei nach der Bogenlange s gema x (s) (s I) parametrisiert und s0 ein beliebiger, aber fest gewahlter Parameterwert. Anhand der
TAYLORschen Formel f
ur x (s) in der Umgebung von s0 mit dem Restglied
3
(s s0 ) (s s0 )
lim (s s0 ) = 0
ss0
t R; (a = b > 0)
64
3. Kurven
erf
ullt. Das xyKoordinatensystem sei so gewahlt, dass die Seilkurve den Punkt
(0, a) enthalt und in diesem Punkt die Tangente parallel zur xAchse verlauft.
Man gebe eine regulare Parametrisierung dieser als Kettenlinie bezeichneten Kurve an.
7. Zu zeigen ist: Besitzt eine ebene Kurve (c) die Parameterdarstellung
x (t) =
t
f (t)
tIR
xM (t) =
2
1 + f (t) f (t)
+
1
f (t)
t
f (t)
darstellbar.
8. Unter bestimmten Bedingungen ist eine ebene Kurve (c) auch in der Form
x () =
x1
x2
r () cos ()
r () sin ()
IR
c
2
r(j )
x
1
<a
( = const 6= 0) .
b) (Archimedische Spirale)
r () =
0a
( = const 6= 0) .
3.9. Aufgaben
65
10. Rollt man einen Kreis mit dem Radius R auf einer Geraden ab, so durchlauft ein
mit dem Kreis fest verbundener Punkt, der sich im Abstand a (0 < a R) vom
Mittelpunkt des Kreise befindet, eine Kurve, die als Zykloide bezeichnet wird.
R
a
0
R j
2 p R
a) Man gebe eine Parameterdarstellung der Zykloide an und weise die Kurvenpunkte mit regularer Parametrisierung aus.
b) In allen regularen Parameterpunkten ist die Kr
ummung der Zykloide zu berechnen.
c) Es ist die Bogenlange L der Zykloide mit a = R nach einem vollstandigen
Abrollen des Kreises zu berechnen.
11. Eine FRENET-Kurve (c) mit der Parametrisierung x (s) (s I , s Bogenlange
von (c)) heit Boschungslinie, wenn sie gegen
uber einer Ebene mit dem Normalenvektor nE einen konstanten Anstieg besitzt. Genauer, wenn f
ur den Tangentenvektor t (s) gilt (t (s) , nE ) = const. f
ur alle s I.
Es ist zu zeigen, dass (c) genau dann eine Boschungslinie ist, wenn Kr
ummung
k (s) und Windung w (s) proportional zueinander sind, d.h., wenn eine Konstante
c mit w (s) = ck (s) (s I) existiert.
4. Fl
achen
Eine Flache ist eine zweidimensionale Mannigfaltigkeit. Gegen
uber einer Kurve, auf
der nur Bewegungen vor und zur
uck moglich sind, kann man sich auf einer Flache
in zwei voneinander unabhangige Richtungen bewegen, z.B. langs einer Kurve, die
vollstandig in die Flache eingebettet ist (Flachenkurve). Neben Kurven lassen sich
auf einer Flache in vielfaltiger Weise andere ein- und zweidimensionale geometrische
Objekte (Dreiecke oder beliebige durch geschlossene Kurven berandete Flachenst
ucke)
unterbringen. Es erscheint sinnvoll danach zu fragen, was man darunter versteht, sich
auf einer Flache geradeaus zu bewegen oder ob es zwischen zwei Punkten auf einer
Flache stets eine eindeutig bestimmte k
urzeste Verbindung gibt. Ist die Flache eine
Ebene, so werden diese Fragen durch die Analytische Geometrie klar beantwortet. Bewegt man sich jedoch als Flachlander z.B. auf der Oberflache einer Kugel, so ergeben
die Anderung der Flachennormale beurteilen, die der Flachlander in dieser Weise gar
nicht wahr nimmt. Ebenso wird ein Flachlander nicht u
ber die Lage seiner Flache
im Raum Bescheid wissen und nicht bemerken, wenn man sie einer starren Drehung
oder Translation im Raum unterwirft. Diese Vorgange werden der aueren Geometrie
zugeordnet.
Zur Beschreibung einer Flache werden zwei unabhangige Parameter benotigt. Damit
kann eine Flache durch Abbildungen einer Punktmenge des R2 in den R3 analytisch
erfasst werden. Flachen, die uns im Alltag begegnen, sind jedoch so vielfaltig geformt,
dass es sinnvoll ist, sich (wie im Fall der Kurven) auf hinreichend glatte Flachen zu
beschranken. In diesem Sinne sollen Ecken, scharfe Kanten oder Spitzen von Flachen
(z.B. Spitze eines Kegels oder Kanten und Ecken der Oberflache eines Polyeders), in
denen der Normalenvektor nicht eindeutig definiert ist, ausgeschlossen werden. Auerdem sollen diese Flachen zusammenhangend sein, d.h. nicht aus separaten voneinander getrennten Flachenst
ucken bestehen. Mathematisch klarer ausgedr
uckt, es
werden Flachen betrachtet, die als Immersionen zusammenhangender Mengen des R2
in den R3 beschreibbar sind. Selbst unter diesen Bedingungen gelingt es in der praktischen Umsetzung nicht immer, jede glatte Flache vollstandig durch eine Immersion zu beschreiben. Nur f
ur Teilbereiche wird es moglich sein, eine derartige Abbildung zu definieren. Deshalb u
berdeckt man eine Flache so mit Umgebungen ihrer
68
4. Flachen
1
X1 (u1 , u2 )
u
U X u1 , u2 = X2 (u1 , u2 ) .
X : U R3 gema u =
u2
X3 (u1 , u2 )
X1
u1
X2
JX (u) =
u1
X
3
1
u
X1
u2
X2
u2
(4.1)
3
2
u
: U R3 eines
Definition 4.2 Die regularen Parametrisierungen X : U R3 und X
(
C r Flachenst
uckes mit X = X (u) und X = X
u) = X ( (
u)) heien miteinander
69
vertr
agliche Parametrisierungen, wenn die Transformation : U U gema
1 1 2
1
1
(
u , u )
u
u
(
= X1 X
u) U
= (
u) =
U u =
u
=
2
1
2
2
2
(
u , u )
u
u
gilt
1
1
1
u2
u
6= 0 f
ur alle u
U , wobei
det
=
.
u
2
2
1
u
u2
Ein Vergleich mit den Definitionen 3.1 und 3.2 zeigt, dass ein C r Flachenst
uck durch
1
2
den Ubergang zu zwei unabhangigen Parametern u und u als direkte Verallgemeinerung zur Einf
uhrung von C r Kurven anzusehen ist. Alle zueinander vertraglichen
Parametrisierungen einer Flache werden, wie schon f
ur Kurven praktiziert, zu einer
Klasse (f ) zusammengefasst, die im Weiteren regul
ares Fl
achenstu
ck heien soll.
Da die Immersionen U X (U ) im Allgemeinen nicht injektiv sind, ist die Abbildung
(f ) f zwischen den Klassen (f ) und Spuren f von Flachen nur surjektiv und man
hat deshalb deutlich zwischen Klassen und Spuren zu unterscheiden. F
ur die Untersuchung lokaler Eigenschaften einer Flache ist dies nicht von Bedeutung, denn daf
ur
muss in Umgebungen eines Flachenpunktes lediglich eine konkrete regulare Parametrisierung X (u) zur Verf
ugung stehen. Globale Flacheneigenschaften, die eine Flache als
einheitliches geometrisches Objekt beschreiben, erfordern die Einf
uhrung einer Flache
als zweidimensionale Mannigfaltigkeit.
F
a
u
2
F
b
m b( v )
m a(u )
u
u
v = m b(m
1
-1
a
v
2
(u ))
v
R
1
70
4. Flachen
Definition 4.3 Eine Flache ist eine Punktmenge F des R3 zusammen mit folgenden
Forderungen (siehe dazu Abb. 4.1):
1. Zu jedem X F existiert eine Menge F mit X F , so dass gilt
[
F=
F
(I Indexmenge) .
I
1
u1
u
u2
Dg X (u) =
X : Dg R3 gema u =
u2
1
2
g (u , u )
71
u
2
u
1
1 0
mit
JX (u) = 0 1
g,1 g,2
g (u1 , u2 )
ui
g,i =
hat f
ur alle u Dg den Rang 2. Wird F als Mannigfaltigkeit betrachtet, so ist diese
mit = X1 : R3 Dg durch eine globale Karte beschreibbar.
Beispiel 4.3 Die Einheitssph
are im R3 wird durch die Punktmenge
n
o
S 2 = X = (X1 , X2 , X3 )T R3 | X12 + X22 + X32 = 1
definiert.
S
2
U
2 p
u
1
X
3
S
0
X
X
2
X
X
u
3
X
1
u
1
X
2
1
cos (u1 ) sin (u2 )
u
(4.2)
X = sin (u1 ) sin (u2 )
u =
u2
2
cos (u )
regular parametrisierbar. Die Spaltenvektoren der JACOBI-Matrix
72
4. Flachen
sind f
ur alle u U orthogonal zueinander und 6= 0. Folglich ist rang (JX (u)) = 2 f
ur
alle u U .
Die sich aus X durch eine EUKLIDische Bewegung ergebende Abbildung
U = U S02 = S 2 QS0 gema
cos (
u1 ) sin (
u2 )
= QX =
cos (
u2 )
u
U X
sin (
u1 ) sin (
u2 )
Q S
mit
1 0 0
Q= 0 0 1
0 1 0
X
0
2
1
Definition
4.4 (f ) sei ein
uck mit der Parametrisierung X =
regulares Flachenst
1
2 T
X (u) u = (u , u ) U und X0 = X (u0 ) ein fester Flachenpunkt. Die Vektoren
T1 (u0 ) =
X (u0 )
u1
und
T2 (u0 ) =
X (u0 )
u2
73
f
E
X
0
X
0
T
2
T
1
Bemerkung 4.2 Es ist ersichtlich, dass die Spaltenvektoren der JACOBI-Matrix JX (u)
(siehe (4.1)) die Tangentenbasisvektoren T1 (u) und T2 (u) im Punkt X (u) sind. Geht
(
man zu einer anderen zu X (u) vertraglichen Flachenparametrisierung X = X
u)
u
U mit der Transformation u = (
u) (siehe Definition 4.2) u
ber, so besteht zwiX (
schen den entsprechenden JACOBI-Matrizen JX (u) und J
u) der Zusammenhang
X (
J
u) = JX ( (
u))
(
u) .
(4.3)
(i = 1, 2) .
1 (
2 (
(
Die Basisvektoren T
u) und T
u) der Parametrisierung X
u) sind folglich Linearkombinationen der Basisvektoren T1 (u) und T2 (u) der Parametrisierung X (u),
weshalb beide Vektorpaare den gleichen Tangentialraum aufspannen. Der Tangentialraum und damit auch die Tangentialebene zu einem festen Flachenpunkt sind deshalb
unabhangig von der konkreten Flachenparametrisierung.
Bemerkung 4.3 Abhangig von der Parametrisierung X = X (u) eines Flachenst
uckes
(f ) konnen in der Spur f zu (f ) folgende Kurvenspuren eingef
uhrt werden:
c1 (d2 ) = x f | x = X u1 , d2 = const. mit u1 , d2 U
c2 (d1 ) = x f | x = X d1 = const., u2 mit d1 , u2 U .
74
4. Flachen
d
2
c 1( d 2)
2
d
1
u
1
gema
X F N X R3 ,
wobei
a) kNX k = 1 und
b) (NX , U) = 0 f
ur alle U TX (D.h. NX ist f
ur jeden Punkt X zu allen Vektoren
U TX orthogonal.)
75
T
X
-N
T
2
T
1
Bemerkung 4.4 Aus der Unabhangigkeit der Tangentialraume von einer Flachenparametrisierung ergibt sich, dass auch ein Einheitsnormalenfeld unabhangig von der speziellen Wahl der Karten ist, die F beschreiben.
Bemerkung 4.5 Mit einem Einheitsnormalenfeld N kann in jedem Flachenpunkt X0
die Tangentialebene durch die Menge aller Ortsvektoren X beschrieben werden, die
folgende Gleichung erf
ullen (siehe (2.5)):
(X X0 , NX0 ) = 0.
Bemerkung 4.6 Ein Einheitsnormalenfeld N ist jedoch nicht eindeutig bestimmt,
denn mit jeder derartigen Abbildung ist auch N ein Einheitsnormalenfeld. Man konnte
auch von Punkt zu Punkt den Richtungssinn von N andern, d.h., sich einmal f
ur NX
und zum anderen f
ur NX entscheiden. Ein derartiges Einheitsnormalenfeld ware wegen kNX k = 1 zwangslaufig unstetig. Existiert jedoch auf F ein stetiges Einheitsnormalenfeld N, so kann es mit N nur noch ein weiteres ebenfalls stetiges Einheitsnormalenfeld geben. Entscheidet man sich unter der Bedingung der Stetigkeit f
ur das eine
oder das andere und legt damit das Einheitsnormalenfeld eindeutig fest, gibt man der
Flache gleichzeitig eine Orientierung. Es zeigt sich aber, dass nicht auf jeder Flache
ein stetiges Einheitsnormalenfeld existiert und damit nicht jede Flache orientierbar ist
(siehe Beispiel 4.6). Orientierbarkeit einer Flache bedeutet im anschaulichen Sinne die
Moglichkeit, sich f
ur eine von zwei ihrer Seiten zu entscheiden.
Definition 4.6 Eine Flache F (im Sinne der Definition 4.3) heit orientierbar, wenn
auf F ein stetiges Einheitsnormalenfeld N existiert.
Ist die Flache F orientierbar, so ist durch die Wahl eines stetigen Einheitsnormalenfeldes eine Orientierung von F gegeben und F heit dann orientierte Fl
ache.
76
4. Flachen
Ein C 2 Flachenst
uck F0 , welches mit einer Karte gema : F0 U bzw. der injektiven Parametrisierung X = 1 beschreibbar ist, kann stets orientiert werden.
X (u)
In diesem Fall sind die Tangentenbasisvektoren Ti (u) =
(i = 1, 2) auf U
ui
stetige Vektorfunktionen. Ein Einheitsnormalenfeld auf F0 ist durch Bildung des Vektorproduktes der Tangentenbasisvektoren mit anschlieender Normierung berechenbar:
T1 (u) T2 (u)
u U.
(4.4)
NX (u) N (u) =
kT1 (u) T2 (u)k
Liegt eine Flachenparametrisierung vor, so wird im Weiteren das Einheitsnormalenfeld mit NX (u) oder N (u) bezeichnet. Mit der Zuweisung (4.4) ist eine Abbildung
verbunden, die jedem Parameterpaar u = (u1 , u2 ) U einen Vektor N (u) der Einheitssphare S 2 = {X R3 | kXk = 1} zuweist. Gema dieser Abbildung wird der an
jedem Flachenpunkt X (u) angeheftete Normalenvektor N (u) parallel in den Ursprung
des R3 verschoben.
(4.5)
Eine Flache ist damit gema Definition 4.6 genau dann orientierbar, wenn es eine regulare Parametrisierung gibt, in der die GAU-Abbildung stetig ist.
Ein Tripel, bestehend aus den Tangentenbasisvektoren T1 (u) , T2 (u) und dem Normalenvektor N (u) , heit begleitendes Dreibein im Flachenpunkt X (u) der Flachenparametrisierung. Aus der Injektivitat der Parametrisierung und der Stetigkeit der
Tangentenbasisvektoren folgt die Stetigkeit von N (u) auf F0 . Wird N (u) gema (4.4)
gebildet, so stellt die geordnete Vektorfolge {T1 (u) , T2 (u) , N (u)} des begleitenden
Dreibeins f
ur jedes u U ein Rechtssystem dar. Man spricht deshalb im Zusammenhang mit dieser Wahl eines Einheitsnormalenfeldes von einer positiv orientierten Flache
F0 . Bei einer Entscheidung f
ur N (u) ist F0 negativ orientiert.
(
Bemerkung 4.7 Geht man zu einer anderen Flachenparametrisierung X = X
u) mit
u
der Transformationsmatrix
ber, so spannen die daraus folgenden Tangentenba
u
1, T
2 die gleiche Tangentialebene auf wie die Vektoren T1 , T2 der Parasisvektoren T
77
< 0 kommt es
Orientierung und folglich ist NX (
u) = NX (u). Im Falle det
u
1, T
2 , woraus ein Vorzeijedoch zu einem Wechsel in der Orientierung der Basis T
chenwechsel des Normalenvektors resultiert: NX (
u) = NX (u).
Eine Flache F, die mit einer globalen Karte vollstandig beschreibbar ist (siehe Beispiele
4.1 und 4.2), kann nach diesen Betrachtungen stets orientiert werden. Existiert f
ur F
keine globale Karte, so gibt es zu jedem Flachenpunkt zumindest ein Flachenst
uck,
das nur durch eine Karte beschreibbar ist und eine Orientierung im beschriebenen
Sinne ermoglicht. Man stellt deshalb fest, dass jede als Mannigfaltigkeit definierbare
C 2 Flache stets lokal (d.h. in Umgebungen der Flachenpunkte) orientierbar ist. Eine
derartige Flache ist auch global orientierbar, wenn es gelingt, diese lokale Orientierbarkeit u
ber die Kartenwechsel vertraglich (d.h. unter Beibehaltung der gleichen Orientie
rung) von Flachenst
uck zu Flachenst
uck auf ganz F auszudehnen. Diese Uberlegungen
f
uhren zu folgender notwendigen und hinreichenden Bedingung f
ur die Orientierbarkeit
einer Flache.
Satz 4.1 Eine zusammenhangende Flache F ist genau dann orientierbar, wenn es eine
Familie von Karten : F U (bzw. Parametrisierungen X = 1
: U F )
gibt, so S
dass
F ( F ist f
ur jedes zusammenhangend ) und
a) F =
I
b) f
ur jedes Indexpaar , I mit F F 6= und der Transformation
1
u = (
u) = X (X (
u)) gilt det
> 0 f
ur alle u
U mit X (
u) F F .
Beweis. (skizziert)
a) Ist F orientierbar, so existiert auf F ein stetiges Einheitsnormalenfeld N, welches
vom Flachenpunkt X, aber nicht von der konkreten Parametrisierung X (u) abh
angt.
S
F
F
ur F als Mannigfaltigkeit gibt es eine Familie von Flachenst
ucken F mit F =
I
78
4. Flachen
0
1
> 0 sein.
Wegen det (B (u)) > 0 und det (B (
u)) > 0 muss zwangslaufig det
u
b) Existiert wie angegeben eine Familie von Flachenst
ucken F , so kann auf jedem dieser
Flachenst
ucke ein stetiges Einheitsnormalenfeld gema
NX =
T1 (u) T2 (u)
kT1 (u) T2 (u)k
u U ,
X = X (u)
angegeben werden. Wegen det
> 0 besitzen
u
bei einer Umparametrisierung die
1, T
2 die gleiche Orientierung, woraus die
Tangentenbasissysteme {T1 , T2 } und T
Gleichheit der Normalenvektoren folgt:
NX =
1 (
2 (
T
u) T
u)
T1 (u) T2 (u)
X.
=N
=
Beispiel 4.4 Eine Flache F, die durch eine stetig differenzierbare Funktion g : Dg
R2 R erzeugt wird, besitzt eine globale Karte (siehe Beispiel 4.2) und ist damit stets
orientierbar. In jedem Flachenpunkt X (u) bilden die Vektoren
g,1
0
1
1
g,2
T1 (u) = 0 ; T2 (u) = 1 ; N (u) = q
2
2
1 + g,1 + g,2
1
g,2
g,1
ein positiv orientiertes begleitendes Dreibein und N (u) ist ein stetiges Einheitsnormalenfeld. Die Ortsvektoren X = (x, y, z)T der Tangentialebene an F im Flachenpunkt
X0 = (x0 , y0 , z0 = g (x0 , y0 ))T werden durch die Gleichung
z z0 = g,1 (x x0 ) + g,2 (y y0 )
beschrieben.
79
N = -X
T
X
1
X
2
(
Daraus folgen
X
u) = QX (
u)
sofort die begleitenden Dreibeine der 2Parametrisierung
2
u
U = U in den Punkten des Flachenst
uckes S0 von S :
1 (
2 (
(
(
T
u) = QT1 (
u) ; T
u) = QT2 (
u) ; N
u) = QX (
u) = X
u) .
1
1
1
cos
(u
)
cos
(u
/2)
cos
(u
)
u1 , u2 R (1, 1) .
X u1 , u2 = sin (u1 ) + u2 sin (u1 ) cos (u1 /2) ;
sin (u1 /2)
0
80
4. Flachen
X 1 X 2
u + 2 u = JX (u (t)) u und
u1
u
= (x (t) , x (t)) = (JX (u (t)) u,
JX (u (t)) u)
= (GX (u (t)) u,
u)
x (t) =
kx (t)k2
erhalt man
ds =
p
(GX (u (t)) u,
u)dt.
JTX
(u) JX (u) =
(4.6)
(4.7)
81
Bemerkung 4.8 Die Matrix GX ist symmetrisch und positiv definit. Die Symmetrie
folgt aus G12 = (T1 , T2 ) = (T2 , T1 ) = G21 . Da stets eine regulare Flachenparametrisierung vorausgesetzt wird, sind die Tangentenbasisvektoren T1 , T2 in jedem Flachenpunkt linear unabhangig. Folglich ist
1
U T1 + U 2 T2
2 =
U 1 T1 + U 2 T2 , U 1 T1 + U 2 T2
1
1
U
U
1
2
6= 0,
> 0 f
ur alle
U , U GX
U2
U2
woraus die positive Definitheit von GX sich ergibt. GX ist genau dann eine Diagonalmatrix, wenn es sich bei X (u) um eine GAUsche Parametrisierung (siehe Definition
4.4) handelt.
Bemerkung 4.9 Haufig bezeichnet man die Metrikkoeffizienten mit den urspr
unglich
von GAU eingef
uhrten Buchstaben E = G11 , G = G22 und F = G12 = G21 , womit die
Fundamentalgroe die folgende Form annimmt:
E (u) F (u)
.
GX (u) =
F (u) G (u)
(
Bemerkung 4.10 Geht man zu einer anderen Flachenparametrisierung X
u) mit der
X (
Transformation u = (
u) u
u) = JX ( (
u))
(
u) (siehe
ber, so entsteht mit J
u
(4.3)) der nachfolgende Zusammenhang zwischen den metrischen Fundamentalgroen
X und GX beider Parametrisierungen
G
X (
G
u) =
(
u)
T
GX ( (
u))
(
u) .
(4.8)
Demgegen
uber ist die metrische Fundamentalform unabhangig (invariant) von einer
Flachenparametrisierung und es gilt
ij U i V j = Gij U i V j
G
mit
U 1
U 2
1
U1
U2
und
V 1
V 2
1
V1
V2
(4.9)
Bemerkung 4.11 Haben die beiden Flachenkurven (c1 ) und (c2 ) mit den Parametrisierungen xi (t) = X (ui (t)) (t Ii ; i = 1, 2) einen gemeinsamen Schnittpunkt
x1 (t1 ) = x2 (t2 ) = X, so schlieen die Tangentenvektoren Ui = x i (ti ) = Tj u ji (ti )
an die Kurven in diesem Punkt X den Schnittwinkel = ^ (U1 , U2 ) ein und es gilt
cos () =
(4.10)
82
4. Flachen
f
T
c
2
g
U
c
1
Aus (4.10) und Bemerkung 4.10 geht hervor, dass cos () und damit auch unabhangig
von der Flachenparametrisierung sind.
Bemerkung 4.12 Zur Flachenberechnung greift man auf ein Fl
achenelement dF
zur
uck, welches u
ber das Vektorprodukt der infinitesimal kleinen Tangentenvektoren
T1 du1 , T2 du2 gebildet wird (siehe Abb. 4.11):
dF = kT1 T2 k du1 du2 .
T 2d u
T 1d u
d F =
T
T
2
d u 1d u
und weiter
dF =
p
det (GX (u))du1 du2 .
= det (GX )
(4.11)
F
ur einen Parameterbereich U0 U berechnet man den Inhalt A des Flachenst
uckes
X (U0 ) aus
ZZ
ZZ p
det (GX (u))du1 du2 .
A=
dF =
X(U0 )
U0
Beispiel 4.7 F
ur jeden Punkt einer Ebene (siehe Beispiel 4.1) erhalt man die konstanten Tangentenbasisvektoren T1 = a, T2 = b und damit die konstante Fundamentalgroe
(a, a) (a, b)
.
GX =
(b, a) (b, b)
83
Beispiel 4.8 F
ur eine durch die stetig differenzierbare Funktion g : Dg R2 R
gebildete Flache (siehe Beispiele 4.2 und 4.4) ergibt sich die Fundamentalgroe
2
1 + g,1
g,1 g,2
GX =
.
2
g,1 g,2 1 + g,2
q
2
2
+ g,2
du1 du2 gegeben.
Das Flachenelement dF ist mit dF = 1 + g,1
Beispiel 4.9 F
ur die Einheitssphare S 2 (siehe Beispiel 4.3) leitet man mit der Parametrisierung X = X (u) f
ur S02 und den im Beispiel 4.5 angegebenen Tangentenbasisvektoren die Fundamentalgroe
sin2 (u2 ) 0
1
2
GX u , u =
0
1
ab. Das Flachenelement ist mit dF = sin (u2 ) du1 du2 (0 < u2 < ) gegeben.
vektor x (t) =
u = u 1 T1 + u 2 T2 . F
ur die Ableitung (Anderungsgeschwindigkeit)
ui
von N entlang der Kurve ergibt sich
dN = N u 1 + N u 2 = N,i u i .
N
dt
u1
u2
84
4. Flachen
in jedem
Wegen kNk = (N, N) = 1 ist
kNk = 2 N, N = 0 und damit N
Kurvenpunkt x (t) ein Vektor aus dem Tangentialraum Tx(t) des Flachenst
uckes. In
jedem Kurvenpunkt x (t) wird damit dem Tangentenvektor x (t) Tx(t) der Vektor
(u (t)) Tx(t) zugeordnet.
N
2
d
dt
2
WX (U) = U 1 N,1 + U 2 N,2 TX
(4.12)
heit WEINGARTEN-Abbildung.
Die bilineare Abbildung LX (, ) : TX TX R gema
U, V TX
(4.13)
wobei
LX =
und
L11 L12
L21 L22
(4.14)
i, j = 1, 2.
(4.15)
(4.16)
85
(4.19)
(4.20)
besteht.
u)
u
u
zeichenwechsel der Normalenrichtung (siehe Bemerkung 4.7) und damit auch zu einem
86
4. Flachen
Vorzeichenwechsel in der WEINGARTEN-Abbildung. Mit der Transformation (4.9) be X und LX beider Parametrisierungen
steht zwischen den zweiten Fundamentalgroen L
der Zusammenhang
T
(
u) LX ( (
(
u) ,
u))
u
< 0 zu nehmen ist. Bei einer orienwobei das Minuszeichen im Falle det
u
tierungstreuen Parametertransformation bleibt die zweite metrische Fundamentalform
invariant:
ij U i U j = Lij U i U j .
L
X (
L
u) =
Lediglich im Falle einer Umorientierung der Flache andert sich das Vorzeichen dieses
Ausdruckes.
Beispiel 4.10 Das Einheitsnormalenfeld einer Ebene (siehe Beispiel 4.1) ist konstant:
N=
ab
.
ka bk
Damit verschwinden alle Ableitungen N,i von N und folglich auch die WEINGARTENAbbildung: WX (U) = 0 und LX (U, V) = 0.
Beispiel 4.11 Ist eine Flache durch eine Funktion X3 = g (u1 , u2 ) gegeben, so erhalt
man direkt aus den Formeln f
ur die begleitenden Dreibeine (siehe Beispiel 4.4)
g,ji
Lij = (N,i , Tj ) = N, Tj,i = q
2
2
1 + g,1
+ g,2
1
g,11 g,12
.
LX = q
g,12 g,22
2
2
1 + g,1
+ g,2
und
4.5. Kru
mmung
Die Kr
ummung einer Flache (f ) wird zur
uckgef
uhrt auf die Kr
ummung von Kurven,
die auf (f ) verlaufen. Die Kr
ummung ist deshalb nicht mehr ein einfacher Zahlenwert
(skalare Groe), der einem Flachenpunkt X zugeordnet ist, sondern hangt auch von
einer Richtung aus dem Tangentialraum TX ab.
4.5. Kr
ummung
87
k
g
P
-1
(4.21)
x '' = k ( s ) n ( s )
n
N
k
n
Aus der Orthogonalitat von N und P folgt auerdem k 2 (s) = kn2 (s)+kg2 (s) .
mit
N = N (u (s))
(4.22)
kg (s) = (x00 (s) , P (s)) = (x00 (s) , N t (s)) = [N, x0 (s) , x00 (s)]
(4.23)
heit Normalkru
mmung und die Groe
geod
atische Kru
mmung der Kurve (c) mit der Parametrisierung x (s) im
Flachenpunkt X (u (s)).
88
4. Flachen
x (s)
E
x T(s)
xN(s)
N
xN(s)
X (u (s))
E
N
S
k
t
1
n
k |( n ,N ) |
k g
x T(s)
k |( n ,P ) |
Der Kr
ummungskreis S in der von t und n aufgespannten Schmiegebene zum Kurvenpunkt x (s) ber
uhrt die raumliche Kurve an dieser Stelle von zweiter Ordnung und
besitzt den Radius 1/k (s) (siehe Abschnitt 3.3). Damit ber
uhren sich auch die entsprechenden orthogonalen Projektionen SN , xN auf EN und ST , xT auf ET beider
Kurven im Punkt x (s) von zweiter Ordnung und besitzen deshalb in diesen Punkten
auch die gleiche (orientierte) Kr
ummung. Die Projektion SN des Kr
ummungskreises
1
1
S auf die Ebene EN ist eine Ellipse mit den Hauptachsen k und k |(n, N)|. Entspreuhrungspunkt
chend ist ST eine Ellipse mit den Hauptachsen k1 und k1 |(n, P)|. Im Ber
x (s) hat nach Beispiel 3.8 die Ellipse SN eine minimale Kr
ummung mit dem Betrag
1
|(n, N)|
k
= |(kn, N)| = |(x00 (s) , N)| = |kn (s)| .
1 2
k
F
ur den Betrag der Kr
ummung der Ellipse ST im Ber
uhrungspunkt x (s) erhalt man
ebenso den Wert |kg (s)|. Folglich sind die Betrage der Normalkr
ummung und der
geodatischen Kr
ummung gleich den Betragen der Kr
ummungen der ebenen Kurven
xN (s) und xT (s) im Punkt x (s). Dieser Zusammenhang kann als Rechtfertigung angesehen werden, die Groen kn und kg als Kr
ummungen zu bezeichnen.
Die geodatische Kr
ummung beschreibt den Teil der Kurvenkr
ummung, der in der
Flache selbst liegt. Ein Flachlander nimmt nur diesen Teil der Kurvenkr
ummung wahr.
Die geodatische Kr
ummung ist deshalb eine innergeometrische Groe der Flache und
wird im Abschnitt 4.8 weiter untersucht.
Die Normalkr
ummung beschreibt die Kr
ummung entlang der Kurve eingebettet in
4.5. Kr
ummung
89
Bemerkung 4.17 Durch Ableitung des Tangentenvektors x0 (s) = X,j (uj ) einer Flachenkurve x (s) = X (u (s)) erhalt der Kr
ummungsvektor x00 (s) die Form
0
0
00
x00 (s) = X,ji uj ui + X,j uj .
Ber
ucksichtigt man noch, dass (X,j , N) = 0 (i, j = 1, 2) ist, so entsteht damit f
ur die
Normalkr
ummung dieser Kurve der Ausdruck:
0
0
0
0
T
kn = (x00 , N) = (X,ji , N) uj ui = Lij uj ui = (u0 ) Lx(s) u0 .
mit
90
4. Flachen
2
0
U
L21 L22
G21 G22
deren Eigenwerte 1 ,2 die Hauptkr
ummungen sind. Die zugehorigen Eigenvektoren
1
2 T
(Uk , Uk ) (k = 1, 2) m
ussen zusatzlich der Bedingung
L
= 1 Gij Uki Ukj = 0
(k = 1, 2)
gen
ugen. Diese entsprechen den Normierungsbedingungen kUk k = 1 und legen im Falle
1 6= 2 die Eigenvektoren bis auf ein Vorzeichen eindeutig fest. Aus den Eigenvektoren
ergeben sich schlielich die Hauptkr
ummungsrichtungen
Uk = Uk1 T1 + Uk2 T2
(k = 1, 2) .
4.5. Kr
ummung
91
(k = 1, 2) .
2
X
i,j=1
2
(U, Ui ) U, Uj LX Ui , Uj
Die Groen 1 , 2 und (Uk1 , Uk2 ) (k = 1, 2) konnen deshalb auch als Eigenwerte und Eigenvektoren der Matrix G1
alt man
X LX angesehen werden. Mit Formel (4.20) erh
WX (Uk ) k Uk = Lim Gmj k ij Uki Tj = (Lim k Gim ) Gmj Uki Tj = 0.
Dabei wurde beachtet, dass gema der Eigenwertgleichung (4.25) und wegen der Symmetrie von LX und GX gilt: (Lim k Gim ) Uki = 0 (m, k = 1, 2). Dieses Ergebnis ist wie
folgt zu interpretieren: Die Hauptkr
ummungen 1 , 2 und Hauptkr
ummungsrichtungen
i
Uk = Uk Ti (k = 1, 2) sind die Eigenwerte und zugehorigen Eigenvektoren der WEINGARTEN-Abbildung.
92
4. Flachen
ahnlich geBemerkung 4.21 In der linearen Algebra werden die Matrizen A und A
1
= C AC ist (siehe [MeVa], Bd.
nannt, wenn eine regulare Matrix C existiert und A
1, S. 325). Wegen
I u
A
= C1 AC C1 C u
= C1 (A I) C
u
sind die beiden Gleichungen
I u
A
=0
und
(A I) u = 0
mit
u = C
u
besitzen
f
ur die gleichen Werte erf
ullt. Zueinander ahnliche Matrizen A und A
deshalb die gleichen Eigenwerte. Man sagt, die Eigenwerte einer quadratischen Matrix
einer regularen Matrix C. Sind auf der Flache (f ) mit X (u) und X (
u) zwei regulare
Parametrisierungen bekannt, die u
ber eine Parametertransformation mit der regularen
u
beider Parametrisierungen in der folgenden Beziehung zueinander (siehe Bemerkungen
4.10 und 4.16):
X = CT G X C
X = CT LX C.
G
und
L
u
ungen 1 , 2 der Matrix G1
aren orientierungserX LX sind folglich invariant unter regul
haltenden Parametertransformationen. Die Hauptkr
ummungen einer orientierten Flache
sind deshalb als Funktionen i : f R gema X f i (X) R (i = 1, 2) der
Flachenpunkte anzusehen. Ist die Parametertransformation nicht orientierungstreu, so
andern die Eigenwerte ihr Vorzeichen (i i ). Mit der Invarianz von 1 , 2 sind
auch die Groen
spur G1
und
det G1
X L X = 1 + 2
X L X = 1 2
4.5. Kr
ummung
93
(4.27)
1
1
H (X) = spur G1
X LX = spur (I) = 1.
2
2
N
U
k n > 0
2
U
2
94
4. Flachen
eine kleine Umgebung des Punktes X sieht die Flache wie ein hyperbolisches
Paraboloid aus. Flachenpunkte dieser Art heien hyperbolisch.
N
N
U
U
U
2
2
1
U
1
N
2
U
1
U
U
2
1
Die GAUsche Kr
ummung und der damit verbundene Begriff der Totalkr
ummung
einer Flache (integraler Wert u
ummungen) sind von zentraber die GAUschen Kr
ler Bedeutung f
ur die globale Flachentheorie (siehe Abschnitt 4.12). Ein interessantes Zwischenresultat ist an dieser Stelle schon ableitbar und beinhaltet eine Aussage zur totalen Absolutkr
ummung eines Flachenst
uckes, das sich auf der Grundlage
der GAU-Abbildung (siehe Definition 4.7) ergibt. Geht man von einer Parametrisierung X (u) (u U ) eines C 2 Flachenst
uckes aus, so wird durch die GAU-Abbildung
2
4.5. Kr
ummung
95
Abb. 4.17).
X (u ) = N (u )
u
X (G )
G
u
u
X (G )
N (u )
X (u )
S
p
1
2
mit dem Flachenelement dF = det (G
mmung des
X )du du totale Absolutkru
Flachenst
uckes X (G). Der Inhalt X (G) der Bildmenge X (G), die sich bei der GAU-
r
X du1 du2 und der Fundamentalgroe
det G
mit dem Flachenelement dF =
(
)
n
o
i
X
X = J
TX J
X =
,i , X
,j . J
X =
G
X
ist die JACOBI-Matrix der GAUuj
Abbildung X.
|K (X (u))| dF =
ZZ
dF .
Beweis. Es gen
ugt, einen Zusammenhang
zwischen den Flachenelementen dF und dF
,i , X
,j = (N,i , N,j ). Mit der Ableitungsgleichung
= N ist X
herzustellen. Wegen X
96
4. Flachen
nach WEINGARTEN (4.18) und unter Beachtung der Symmetrie von GX und LX
ergibt sich
N
T
,1
1
1
1
X =
N,1 N,2 = LX GX
T1 T2 G1
G
X L X = L X GX L X .
N,2
T2
Folglich ist
und weiter
det (L ) 2
X
p
X du1 du2 = |K| det (GX )du1 du2 = |K| dF .
det G
4.6. Ableitungsgleichungen
Die FRENETschen Gleichungen, die den Zusammenhang zwischen den Vektoren des
begleitenden Dreibeins einer Kurve und deren Ableitungen herstellen, bilden die Grundlage zur Rekonstruktion dieser Kurve. Auch Flachenst
ucke mit vorgegebenen Eigenschaften konnen u
ber die Losung eines Systems von partiellen Differenzialgleichungen
erzeugt werden. Diese Gleichungen stellen einen Zusammenhang zwischen FlachenDreibeinen T1 , T2 , N und deren Ableitungen her und werden Ableitungsgleichungen
der Flachentheorie genannt. Mit der Ableitungsgleichung nach WEINGARTEN (4.17)
liegen diese Gleichungen f
ur Ableitungen N,i des Einheitsnormalenfeldes N schon vor.
Herzustellen sind noch Beziehungen f
ur die Ableitungen der Tangentenbasisvektoren
Ti,j = X,ij . Diese werden als Linearkombinationen der Vektoren T1 , T2 , N in der
Form
X,ij = 1ij T1 + 2ij T2 + Lij N
(4.28)
angesetzt und heien Ableitungsgleichungen nach GAU. Zunachst stellt man fest,
dass wegen Ti N und (X,ij , N) = Lij (N, N) = Lij die Koeffizienten Lij tatsachlich,
wie durch die Bezeichnung schon ausgewiesen, die Koeffizienten der zweiten metrischen Fundamentalgroe LX sein m
ussen. Zur Berechnung der Glieder kij werden die
Skalarprodukte von (4.28) mit den Vektoren X,k gebildet und dabei beachtet, dass
(X,m , X,k ) = Gmk ist:
(X,ij , X,k ) = m
k = 1, 2.
(4.29)
ij Gmk
Vertauscht man in den Ableitungen
4.6. Ableitungsgleichungen
97
kl
m l
l
Daraus ergibt sich zusammen mit m
ij Gmk G = ij m = ij und (4.29):
1
lij = Gkl (Gki,j + Gjk,i Gij,k ) .
2
(4.31)
T1
1k
21k L1k
T1
22k L2k T2
T2 = 12k
k = 1, 2.
(4.32)
uk
1
2
N
Lk Lk
0
N
98
4. Flachen
mit
Y (u0 ) = Y0
(4.33)
besitzt genau dann in einer offenen Menge U U0 mit u0 U eine eindeutig bestimmte zweimal stetig differenzierbare Losung Y (u) = (Y1 (u) , ..., Yn (u))T , wenn die
Integrabilit
atsbedingungen
Bk,l (u) + Bk (u) Bl (u) = Bl,k (u) + Bl (u) Bk (u)
(4.34)
f
ur alle u U0 erf
ullt sind.
Beweis. Es soll hier nur die Notwendigkeit der Bedingung (4.34) gezeigt werden.
Y (u) sei f
ur alle u U eine zweimal stetig differenzierbare Losung von (4.33). Durch
Ableitung von Y,k = Bk Y nach ul erhalt man:
Y,kl = Bk,l Y + Bk Y,l = Bk,l Y + Bk Bl Y = (Bk,l + Bk Bl ) Y
und analog durch Ableitung von Y,l = Bl Y nach uk : Y,lk = (Bl.k + Bl Bk ) Y. Nach dem
Satz von SCHWARZ u
ber die Vertauschbarkeit partieller Ableitungen ist Y,kl = Y,lk ,
womit auch die G
ultigkeit der Integrabilitatsbedingungen (4.34) f
ur k, l = 1, 2 gezeigt
ist.
Die Ableitungsgleichungen in der Darstellung (4.32) zusammen mit den Anfangsbedingungen Ti (u0 ) = Ti0 und N (u0 ) = N0 konnen mit den Matrizen
1k
21k L1k
T10
T1
22k L2k
(4.35)
Y = T2 ; Y0 = T20 und Bk = 12k
1
Lk Lk2 0
N0
N
4.6. Ableitungsgleichungen
99
(u0 U0 ) die Metrikkoeffizienten Gij (u) zweimal und Lij (u) einmal stetig differenzierbar sind (die CHRISTOFFEL-Symbole kij (u) sind dann auch stetig differenzierbar)
ullen. Nach
und die Matrizen Bk aus (4.35) die Integrabilitatbedingungen (4.34) erf
einfachen Umformungen entstehen aus (4.34) zwei Gleichungen, die man als Integrabilitatsbedingungen der Flachentheorie bezeichnet.
Satz 4.4 Die Integrabilitatsbedingungen (4.34) mit der Matrix Bk aus (4.35) sind
aquivalent zu den folgenden Gleichungen:
Gleichung von GAU
m
s
m
s m
sm
m
jk,l jl,k + jk sl jl sk = (Ljk Lls Ljl Lks ) G
j, k, l, m = 1, 2
(4.36)
i, j, k = 1, 2.
(4.37)
Die Herleitung dieser Gleichungen ist Gegenstand der Aufgabe 8 aus Abschnitt 4.13.
Bemerkung 4.24 Sind die Gleichungen (4.36) und (4.37) f
ur alle u0 U0 erf
ullt,
so ist die Vertauschbarkeit zweiter partieller Ableitungen der Losungsfunktionen Ti (u)
und N (u) der Anfangswertaufgabe f
ur alle u U U0 gewahrleistet. Wegen Ti = X,i
muss damit die angestrebte Parametrisierung X (u) des zu rekonstruierenden Flachenst
uckes wenigstens dreimal stetig differenzierbar sein. Die G
ultigkeit der Gleichungen
(4.36) und (4.37) ist damit aquivalent zur Vertauschbarkeit auch dritter partieller Ableitungen von X (u):
X,ijk (u) = X,ikj (u) und N,jk (u) = N,kj (u) f
ur alle u U und i, j, k = 1, 2.
Bemerkung 4.25 Die Ausdr
ucke
m
m
s
m
s m
Rjkl
= m
jk,l jl,k + jk sl jl sk
j, k, l, m = 1, 2
(4.38)
(4.39)
an. Aus den Gleichungen (4.36) und (4.37) ist ersichtlich, dass die Fundamentalgroen
GX und LX u
ber die aus den Metrikkoeffizienten und deren Ableitungen folgenden
CHRISTOFFEL-Symbole gerade in dieser Weise miteinander verbunden sind.
100
4. Flachen
Bemerkung 4.26 Aus den Beziehungen (4.39) sind die Symmetrieeigenschaften der
Koordinaten Rijkl des Kr
ummungstensors erkennbar. Unter Beachtung von Lij = Lji
ergibt sich
Rijkl = Rklij = Rjikl = Rijlk .
F
ur i = j und k = l verschwinden folglich die Koordinaten Rijkl . Da f
ur (zweidimensionale) Flachen die Indizes nur die Werte 1 und 2 annehmen, folgt, dass die Koordinaten
des Kr
ummungstensors in diesem Fall schon durch einen Wert
R1212 = R2121 = R2112 = R1221
bestimmt sind.
Ein Anlass zur Definition der ersten metrischen Fundamentalform im Abschnitt 4.3
war die Einf
uhrung eines spezifischen flacheneigenen Maes. Dieses Ma ist z.B. aus
Messungen infinitesimaler Langen dsi auf den Koordinatenlinien ci und der Winkel ,
die zwischen sich schneidenden Koordinatenlinien bestehen, ableitbar. Zwischen diesen
Messgroen und den Metrikkoeffizienten bestehen die Zusammenhange:
dsi =
Gii dt ;
cos () =
G12
.
G11 G22
Definition 4.13 Eine allgemein tensorielle Groe (X), die eine Funktion der
Flachenpunkte X einer Flache (f ) mit der Parametrisierung X (u) ist und ausschlielich von der ersten metrischen Fundamentalgroe GX (u) und deren Ableitungen
abhangt, heit innergeometrische Gr
oe der Flache (f ).
101
R1221 (X)
.
det (GX )
K (X) =
R1221 (X)
det (LX )
=
.
det (GX )
det (GX )
Bemerkung 4.27 Das Theorema egregium gehort zu den bedeutendsten Aussagen der
Differenzialgeometrie. Eine der vielseitigen Konsequenzen aus diesem Satz ist, dass die
Kr
ummung einer Flache nicht von ihrer Einbettung im Raum abhangt.
102
4. Flachen
Beweis.
a) Die Matrizen Bk (u) aus (4.35) werden mit den vorgegebenen Funktionen Gij (u)
und Lij (u) aktualisiert. Zusammen mit den Anfangswerten Ti0 , N0 bilden die Ableitungsgleichungen (4.32) ein Anfangswertproblem der Form (4.33), welches mit den
Voraussetzungen V1-V4 nach dem Satz von FROBENIUS eindeutig bestimmte zweimal stetig differenzierbare Losungsfunktionen T1 (u) , T2 (u) und N (u) besitzt. Es
ist noch zu zeigen, dass diese Vektorfunktionen f
ur jeden Parameterwert u U ein
begleitendes Dreibein bilden, d.h. die Bedingungen
ij = 1, 2
(4.40)
(N, N) = 1 ; (N, Ti ) = 0
und
Ti , Tj = Gij
erf
ullen. Mit den Anfangsbedingungen V3 und V4 ist dies zumindest f
ur u = u0 der
Fall. Die jeweils linken Seiten der Gleichungen (4.40) sind mit Ti (u) und N (u) ebenfalls zweimal stetig differenzierbare Funktionen. Durch Ableitung dieser Funktionen
und mehrfache Verwendung der Gleichungen (4.28), (4.32) entstehen folgende Differenzialgleichungen 1. Ordnung:
i
+ lkj (N, Tl ) + Lkj (N, N)
=
L
T
,
T
+
N,
T
=
N
,
T
N,
T
i
,k
j
j,k
j
j
k
uk
l
l
+ Ljk (N, Ti )
(4.41)
=
(T
,
T
)
+
L
N,
T
T
,
T
T
,
T
i
ik
i
l
l
j
j
j
ik
jk
uk
ur eine VekDiese Gleichungen konnen als Anfangswertproblem der Form (4.33) f
torfunktion Y (u) = (Y1 (u) , ..., Y6 (u))T mit den Anfangswerten Y (u0 ) = Y0 =
(1, 0, 0, G11 (u0 ) , G12 (u0 ) , G22 (u0 ))T geschrieben werden, wobei sich die Matrix Bk (u)
aus den Koeffizienten Gij , lij und Lij ergibt, die in (4.41) enthalten sind. Nach Konstruktion besitzt dieses Anfangswertproblem die Losung
Y1 = ((N, N) , (N, T1 ) , (N, T2 ) , (T1 , T1 ) , (T1 , T2 ) , (T2 , T2 ))T .
103
mit
X (u0 ) = X0 .
Aus den Ableitungsgleichungen nach GAU (4.28) folgt mit den Symmetrien kij = kji
und Lij = Lji die Erf
ullung der Integrabilitatsbedingungen X,ij = X,ji . Damit existiert
eine eindeutig bestimmte Losung X (u). Zu zeigen ist noch, dass die Matrizen G (u)
und L (u) die metrischen Fundamentalgroen dieser Flachenparametrisierung sind. Mit
X,i = Ti und Formel (4.40)3 ist dies f
ur G (u) der Fall. Mit der Ableitungsgleichung
nach GAU (4.28) und den Beziehungen (4.40)1 , (4.40)2 ergibt sich
(X,ij , N) = kij Tk + Lij N, N = Lij (N, N) = Lij ,
womit der Zusammenhang (4.16) zu den Koeffizienten der zweiten metrischen Fundamentalform L (u) hergestellt ist.
(f ) einer orientierungstreuen EUKLIDischen Bewegung X (u) = QX (u)+b mit der or (u) die Paramethogonalen Matrix Q (det (Q) = 1)und einem festen Vektor b, so ist X
und LX
(u) = LX (u). Zwischen den Vektoren der begleitenden Dreibeine bestehen die
Beziehungen
i = QTi i = 1, 2 und N
= QN.
T
Verzichtet man im Hauptsatz der Flachentheorie auf die Vorgabe des St
utzvektors X0
und des begleitenden Dreibeins T10 , T20 , N0 in X0 , so erhalt man als Losung eine Schar
von Flachen, die alle die gleichen Fundamentalgroen G (u) und L (u) besitzen und
u
ber EUKLIDische Bewegungen aufeinander abgebildet werden konnen. Der Nachweis
dieser Aussagen ist analog zu den entsprechenden Aussagen f
ur Kurven in Bemerkung
3.5 zu f
uhren.
Bemerkung 4.29 Es wird deutlich darauf hingewiesen, dass die Vorgabe einer beliebigen symmetrischen positiv definiten Matrix G (u) und einer beliebigen symmetrischen
Matrix L (u) nicht zwangslaufig ein Flachenst
uck definieren. Nur in dem Fall, wenn
beide Matrizen u
upft sind (wie im
ber die Integrabilitatsbedingungen miteinander verkn
Hauptsatz gefordert), ergibt sich ein Flachenst
uck mit eben diesen Fundamentalgroen.
104
4. Flachen
4.8. Geod
aten
Die Kr
ummung einer Kurve innerhalb einer Flache wird nach den Betrachtungen zu
Beginn des Abschnittes 4.5 durch die geodatische Kr
ummung kg beschrieben. Nur
dieser Teil der raumlichen Gesamtkr
ummung einer Kurve nimmt ein Flachlander als
Kr
ummung einer f
ur ihn ebenen Kurve wahr. Verschwindet kg langs eines Kurvenst
uckes,
so wahnt er sich entlang einer Geraden zu bewegen. Diese Flachenkurven mit verschwindender geodatischer Kr
ummung, um die es in diesem Abschnitt geht, nennt man
Geodaten einer Flache.
Auf einem Flachenst
uck (f ) mit der Parametrisierung X (u) (u U ) verlaufe eine
Flachenkurve mit der Parametrisierung x (t) = X (u (t)). Ist t = s der Bogenlangenparameter, so ergibt sich nach (4.23) f
ur die geodatische Kr
ummung kg = [N, x0 , x00 ].
Zur Herleitung einer Formel f
ur kg bei freier Kurvenparametrisierung nach t sind die
Ausdr
ucke (3.4) und (3.5) f
ur x0 und x00 in [N, x0 , x00 ] = (N, x0 x00 ) zu substituieren. Zunachst ist mit der GRASSMANN-Identitat (2.1) und unter Beachtung von x
x x
:
1
(x [(x x
) x])
kxk
5
1
1
2 (x x
) (x,
x x
) x =
=
x x
.
5 kxk
kxk
kxk
3
x0 x00 =
1
[N, x,
x
] .
kxk
3
(4.42)
Die geodatische Kr
ummung, die f
ur Flachenbewohner in direkter Weise beobachtbar
ist, sollte eine innergeometrische Groe sein. Der folgende Satz gibt die Bestatigung
daf
ur.
det (GX )
[GX (u,
u)]
3/2
u2 + u i u j 2ij u 1 u1 + u i u j 1ij u 2
(4.43)
Beweis. Uber
die Kettenregel der Differenziation werden die erste und zweite Ableitung der Kurve x (t) = X (u (t)) gebildet:
x = X,l u l ;
x
= X,ij u i u j + X,k uk .
4.8. Geodaten
105
[N, x,
x
] = u l uk + u i u j kij
Unter Beachtung von X,k X,k = 0 und
N, X,l , X,k .
p
(X,1 X,2 , X,1 X,2 )
= kX,1 X,2 k = det (GX )
N, X,1 , X,2 =
kX,1 X,2 k
Schlielich ist
kxk
2 = (X,i X,j ) u i u j = Gij u i u j = GX (u,
u)
.
Werden die Ausdr
ucke f
ur kxk
2 , N, X,l , X,k und [N, x,
x
] in (4.42) substituiert, so
ummung.
entsteht die Formel (4.43) der geodatischen Kr
Bemerkung 4.30 Die Flachenkurve x (s) = X (u (s)) sei o.B.d.A. nach der Bogenlange s parametrisiert und habe den Hauptnormalenvektor n (s). x (s) ist genau
dann eine Geodate, wenn sich in jedem Kurvenpunkt der Flachennormalenvektor N (u (s))
und der Hauptnormalenvektor n (s) nur um ihr Vorzeichen unterscheiden, d.h. wenn
n (s) = N (u (s)) .
Man kann diesen Sachverhalt auch wie folgt ausdr
ucken: Eine Flachenkurve x (s) ist
genau dann Geodate, wenn die Flachennormale N in jedem Kurvenpunkt in der von
n (s) und t (s) aufgespannten Schmiegebene zu x (s) sich befindet.
Beweis. a) x (s) sei eine Geodate und damit kg (s) = 0. Einerseits ist nach (3.6)
und (3.8) x00 = kn und andererseits mit (4.21) x00 = kn N + kg P, woraus sich kn =
kn N + kg P = kn N ergibt. Bildet man von beiden Seiten dieser Beziehung die Norm,
so ist wegen knk = kNk auch |kn | = |k| und deshalb n = N.
b) Ist n = N, so folgt kn N + kg P = kn = kN. Indem diese Beziehung skalar mit
P multipliziert wird (es ist (N, P) = 0 und kPk = 1), ergibt sich
0 = k (N, P) = kn (N, P) + kg (P, P) = kg .
Nach Definition 4.14 ist x (s) damit eine Geodate.
106
4. Flachen
Satz 4.8 Eine Flachenkurve x (t) = X (u1 (t) , u2 (t)) ist genau dann eine Geodate,
wenn die Funktionen u1 (t) , u2 (t) die Geod
atengleichungen
uk + u i u j kij = 0
k = 1, 2
(4.44)
erf
ullen.
Der Beweis dieses Satzes ergibt sich mit (4.43) unmittelbar daraus, dass kg = 0 genau
dann eintritt, wenn uk + u i u j kij = 0 f
ur k = 1, 2. In (4.44) gehen als Koeffizienten nur
die ausschlielich von den Metrikkoeffizienten abhangigen CHRISTOFFEL-Symbole
kij ein. Die Eigenschaft einer Flachenkurve Geodate zu sein, ist deshalb eine innergeometrische Eigenschaft. Die Gleichungen (4.44) bilden ein System gewohnlicher Differenzialgleichungen zweiter Ordnung f
ur die beiden Funktionen u1 (t) und u2 (t).
Beispiel 4.17 Auf einer Ebene mit der Parametrisierung X (u) = X0 + u1 a + u2 b
(siehe Beispiel 4.1 und 4.15) verschwinden samtliche CHRISTOFFEL-Symbole, so dass
aus (4.44) die Differenzialgleichungen
uk = 0 mit den Losungen uk (t) = ck t + dk
k = 1, 2; ck , dk R folgen. Daraus ergeben sich die Geodaten
x (t) = X (u (t)) = X0 + c1 t + d1 a + c2 t + d2 b
= X0 + d 1 a + d 2 b + t c 1 a + c 2 b ,
Beispiel 4.18 Die Mantelflache eines Rotationszylinders mit dem Radius R und der
X3 Achse als Rotationsachse hat die Standardparametrisierung
R cos (u1 )
X (u1 , u2 ) = R sin (u1 )
u2
u1 , u 2 R
x
S
T
2
T
N
cos (u1 )
0
R sin (u1 )
T1 = R cos (u1 ) ; T2 = 0 ; N = sin (u1 )
0
1
0
4.8. Geodaten
107
ableitbar.
a) Meridianlinien xM (t) = X (c, t) sind wegen x
M (t) = 0 und damit [N, x M , x
M ] = 0
Geodaten auf der Zylindermantelflache.
b) Schraubenlinien haben gema Beispiel 3.4 (mit = 1) die Parametrisierung
R cos (t)
R
xs (t) = X (t, t) = R sin (t)
t
cos (t)
sin (t)
(t) = sin () sin (t) .
x (t) = sin () cos (t) ; x
0
0
Mit dem Flachennormalenvektor N (t) = X (t, ) (siehe Beispiel 4.5) ergibt sich
f
ur die Breitenkreise x die geodatische Kr
ummung
kg =
1
1
cos ()
, x
] =
(N , x x
) =
= cot () .
3 [N , x
3
sin ()
sin ()
kx k
und
u k (t0 ) = U k
k = 1, 2.
(4.45)
108
4. Flachen
Damit liegt ein Anfangswertproblem f
ur ein gewohnliches Differenzialgleichungssystem 2. Ordnung vor. Unter der Voraussetzung einer hinreichend glatten Flachenparametrisierung X (u) folgt aus der Theorie gewohnlicher Differenzialgleichungen (siehe z.B. [MeVa], Bd. 2) die Existenz und Eindeutigkeit einer
T
Losung u (t) = (u1 (t) , u2 (t)) von (4.44) mit den Anfangsbedingungen (4.45)
in einer Umgebung von u0 . Zu jedem Flachenpunkt X0 und einem beliebigen
Tangentenvektor t0 = U k Tk TX0 gibt es genau eine Geodate x (t) = X (u (t))
mit x (t0 ) = X0 und x (t0 ) = t0 . Die Umgebung, in der diese Geodate existiert,
ist von den Eigenschaften der Flache abhangig.
Bei vorgegebenem normiertem Tangentenvektor t0 ( kt0 k =
U k Tk
= 1 ) ist
die konstruierte Geodate nach der Bogenlange parametrisiert.
Beweis. Nach Definition 3.6 ist zu zeigen, dass kx (t)k = 1 oder wegen kx (t0 )k =
d
kt0 k = 1 dazu gleichbedeutend
(x (t) , x (t)) = 0.
dt
Mit den Ableitungsgleichungen nach GAU und (4.29) ist zunachst
Gij,k = (X,ik , X,j ) + (X,i , X,jk ) = sik Gsj + sjk Gis .
k = 1, 2 und t0 < t1
erganzt. Bei hinreichend glatter Parametrisierung X (u) besitzt dieses Randwertproblem ebenfalls eine eindeutig bestimmte Losung u = u (t) mit u (ti ) =
ui (i = 0, 1). In einer hinreichend kleinen Umgebung beider Flachenpunkte existiert damit genau eine beide Punkte verbindende Geodate x (t) = X (u (t)). Daraus folgt weiter, dass sich alle von einem Flachenpunkt ausgehenden Geodaten in
einer hinreichend kleinen Umgebung des Punktes nicht schneiden oder ber
uhren
(abgesehen in diesem Punkt selbst). Die so konstruierten Geodaten sind jedoch
im Allgemeinen nicht nach der Bogenlange parametrisiert. Dass sich diese Aussagen nur auf eine hinreichend kleine Umgebung der beiden durch eine Geodate
verbundenen und hinreichend nahe beieinander liegenden Punkte bezieht, soll
mit dem folgenden Beispiel untermauert werden.
4.8. Geodaten
109
Beispiel 4.20 Die Punkte X0 = X (u10 , u20 ) und X1 = X (u11 , u21 ) der Mantelflache eines Zylinders, die sich nicht auf dem gleichen Breitenkreis befinden
(u20 6= u21 ), konnen durch eine Schraubenlinie, die nach Beispiel 4.18 Geodate ist,
verbunden werden. Lasst man die gesamte Mantelflache mit X = X (u) (u R2 )
f
ur den Kurvenverlauf zu, so gibt es unendlich viele beide Punkte verbindende
Schraubenlinien mit verschiedenen Steigungen . Gilt aber z.B. 0 < u10 < u11 < 2
und schrankt man den Parameterbereich auf den Streifen U0 = (0, 2) R ein, so
existiert genau ein Teilst
uck einer Schraubenlinie, welches beide Punkte verbindet.
Liegen X0 und X1 auf einem Breitenkreis des Zylinders, so konnen diese bei uneingeschranktem Parameterbereich stets durch zwei Geodaten verbunden werden,
die gleich den beiden von X0 und X1 begrenzten Teilkurven des Breitenkreises
entsprechen.
Bemerkung 4.31 Wie im vorstehenden Punkt 1. gezeigt, gibt es zu einem festen
Flachenpunkt X0 in jede Tangentenrichtung t TX0 mit ktk = 1 eine eindeutig nach
der Bogenlange r = s parametrisierte Geodate xt (r) (0 < r < s0 ). Die Gesamtheit dieser Geodaten bildet eine Schar von Kurven, die sich ausgehend von X0 sternformig bis
zu einem von der Richtung t abhangigen Punkt ausbreiten.
T
X = e x p X (r t)
rt
0
x t( r )
F
r
X
0
y r(j )
Die Menge aller der Punkte dieser Geodaten, die zu einer festen Bogenlange r =
s (0 < r < s0 ) gehoren, bilden eine geschlossene Kurve (geodatischer Kreis) yr ()
( R), die jede Geodate unter einem rechten Winkel schneidet. Die beiden Kurvenscharen yr () (0 < r < s0 ) und xt (r) (t TX0 , ktk = 1) bilden folglich ein orthogonales Liniennetz, welches geod
atisches Polarkoordinatensystem genannt wird.
Verbunden damit ist eine (GAUsche) Parametrisierung X = X (r, ) eines Flachenst
uckes F0 F in der Umgebung von X0 durch die geod
atischen Polarkoordinaten
r und , die jedem Parameterpaar r, (0 < r < s0 , R) einen Flachenpunkt X F0
zuordnen. Im Punkt X0 ist diese Parametrisierung jedoch nicht regular. Zwischen den
Vektoren rt und den Punkten xt (r) auf einer Geodaten besteht die Abbildung:
expX0 : V0 TX0 F0 F
gema
rt V0 xt (r) .
110
4. Flachen
Ursprungsgeraden in TX0 und ihre Bildlinien auf den entsprechenden Geodaten haben
die gleiche Lange.
Bei einer Parametrisierung mittels geodatischer Polarkoordinaten gilt f
ur die Tangentenbasisvektoren (T1 , T1 ) = 1 und (T1 , T2 ) = 0, so dass die erste metrische Fundamentalform die Darstellung
1 0
mit G22 = (X, , X, ) und X, =
GX =
X (r, )
0 G22
annimmt.
Eine Ebene ist nach Wahl eines Ursprunges P0 stets durch Polarkoordinaten parametrisierbar. Die Koordinatenlinien sind die von P0 ausgehenden Geraden und die
konzentrischen Kreise mit dem Mittelpunkt in P0 . Jeder Punkt der Ebene auer dem
Punkt P0 wird auf diese Weise regular parametrisiert. Ist die Ebene durch X (u1 , u2 ) =
r > 0, 0 < 2.
Auf einer Kugel bildet das Liniennetz der vom Nordpol ausgehenden Langenkreise und
die Breitenkreise ein (spharisches) Polarkoordinatensystem. Diese Parametrisierung ist
auer im Nord- und S
udpol f
ur jeden Punkt der Kugeloberflache regular. Im Falle der
2
Einheitssphare S entspricht (4.2) mit u2 = r und u1 = einer Parametrisierung in
geodatischen Polarkoordinaten.
In der Ebene ist die k
urzeste Verbindungslinie zwischen zwei beliebigen Punkten das
durch diese Punkte verlaufende Geradenst
uck. Die Geraden, die Geodaten der Ebene
sind, realisieren also die k
urzeste Verbindung zwischen Punkten auf einer Ebene. Die
Geodaten einer beliebigen Flache wurden in einer freien Interpretation als verallgemeinerte Geraden der Flache interpretiert. Es liegt deshalb nahe, unter den Geodaten
die Flachenkurven zu suchen, die Punkte einer Flache auf k
urzestem Wege verbinden.
Satz 4.9 Auf einer C 2 Flache mit der Parametrisierung X = X (u) (u U ) verlaufe
eine C 2 Kurve mit x (s) = X (u (s)), die zwei Punkte X0 = X (u0 ) und X1 = X (u1 )
auf k
urzestem Wege verbindet, dann ist x (s) notwendigerweise Teil einer Geodate der
Flache.
Beweis. x (s) sei nach der Bogenlange parametrisiert und realisiere die k
urzeste Verbindung zwischen den Punkten X0 = X (u (s0 )) und X1 = X (u (s1 )) mit s0 < s1 . Zu
zeigen ist, dass x (s) mit s0 s s1 eine Geodate ist. Dies geschieht auf der Grundlage
der Variationsrechnung.
4.8. Geodaten
111
x (s)
f
u r s0 s s1
x e(s )
Jede Kurve x (s) verbindet die Punkte X0 = x (s0 ) und X1 = x (s1 ). Bei der Bildung von Ableitungen der Parametrisierung x (s) muss beachtet werden, dass s im
Allgemeinen nicht der Bogenlangenparameter f
ur x ist. Die Bogenlange von x (s)
(s0 s s1 ) ist
Zs1 q
L =
Gij (u (s)) u i (s) u j (s)ds.
s0
L nimmt nach Voraussetzung im Grenzfall lim x (s) = x (s) ein Minimum an. Die
0
notwendige Voraussetzung daf
ur ist:
d
L
= 0 f
ur alle (fest gewahlten) v mit u = u + v.
d =0
Mit lim (Gij u i u j )
0
1/2
du k
= v k ergibt sich:
d
i j k
i k
d
G
u
v
+
2G
u
1/2
ij,k
ik
Gij u i u j
=
1/2
d
=0
2 Gij u i u j
=0
0 i
1h
0
0
Gij,k ui uj v k + 2Gik ui v k .
=
2
parametrisier! ) und
Unter der vorausgesetzten Glattheit der Kurven und X (u) kann die Differenziation
nach und Integration in den Grenzen s0 s s1 vertauscht werden, was zu folgenden
Ausdr
ucken f
uhrt:
Zs1
0
0
0 i
1 h
d
Gij,k ui uj v k + 2Gik ui v k ds
L
=
d =0
2
1
=
2
s0
Zs1
s0
Gij,k u
i 0
j 0
2 Gik u
0
i 0
v k ds = 0.
Hier wurde auf das zweite Glied im Integranden des ersten Integrals partielle Integration angewendet und ber
ucksichtigt, dass v k (s0 ) = v k (s1 ) = 0. Dieses Integral
T
verschwindet f
ur alle stetig differenzierbaren Funktionen v (s) = (v 1 (s) , v 2 (s)) mit
u (s) = u (s) + v (s) U . Daraus folgt notwendigerweise, dass der in eckigen Klammern stehende Ausdruck des letzten Integrals Null sein muss. Im anderen Fall konnte
112
4. Flachen
Mit
2 Gik u
0
i 0
00
0
uj + 2Gik ui
0
0
00
+ Gjk,i ) ui uj + 2Gik ui
= 2Gik,j ui
= (Gki,j
0
Gik ui
Glk Gik
00
l = 1, 2.
Ein Vergleich mit (4.44) zeigt, dass es sich hierbei um das Differenzialgleichungssystem
f
ur eine Geodate handelt, folglich ist x (s) auch eine Geodate.
Bemerkung 4.32 Die k
urzeste Verbindungslinie zweier Flachenpunkte ist auf beliebigen Flachen im Allgemeinen nicht eindeutig bestimmt. Als Beispiel konnen zwei diametral gegen
uberliegende Punkte, konkret der Nord- und S
udpol, der Einheitssphare
dienen. Jeder Halbkreis, der auch Langenkreis ist, realisiert die k
urzeste Verbindung
dieser Punkte. Es gibt folglich unendlich viele k
urzeste Verbindungen zwischen beiden
Punkten.
Die Bedingung des Satzes ist nicht hinreichend daf
ur, dass x (s) k
urzeste Verbindungslinie zwischen Flachenpunkten ist. D.h., eine Geodate, die zwei Flachenpunkte verbindet,
muss nicht zwangslaufig die k
urzeste Verbindung zwischen diesen Punkten herstellen.
der Einheitssphare, so werden diese durch zwei Geodaten auf dem Aquator unterschiedlicher Lange verbunden. Gibt es andererseits eine k
urzeste Verbindungslinie zwischen
zwei Flachenpunkten, so ist diese zwangslaufig Teil einer Geodaten.
4.9. Ausgew
ahlte Fl
achen
uck gibt es zwei Scharen von Kurven,
Auf einem regular parametrisierbaren Flachenst
die Koordinatenlinien. Es lassen sich aber auch in mannigfaltiger Weise Flachen erzeugen, indem man umgekehrt von zwei vorgegebenen (unabhangigen) Kurvenscharen
ausgeht und damit eine regular parametrisierbare Flache beschreibt. Auf der Grundlage dieser Vorgehensweise werden die im Folgenden zu besprechenden Flachen konstruiert.
113
I. Drehfl
achen
Die Punktmenge einer Drehflache kann als Spur aufgefasst werden, die eine ebene
Kurve bei Drehung um eine starre gerade Achse im Raum hinterlasst. Ohne auf Allgemeinheit zu verzichten kann die erzeugende Kurve in der X1 X3 Ebene platziert
werden und die X3 Achse als Drehachse dienen. Geht man von der Kurvenparametrisierung
r (u1 )
X1 (u1 )
1
u1 I R
=
x u =
h (u1 )
X3 (u1 )
mit den wenigstens zweimal stetig differenzierbaren Funktionen r, h : I R
(r (u1 ) > 0 f
ur alle u1 I) aus, so ist die daraus entstehende Drehfl
ache wie folgt
parametrisierbar:
X
u1 I,
h ( u 1)
r (u 1)
X
2
X
1
(4.46)
u2 R
r cos (u2 )
r sin (u2 )
h cos (u2 )
1
h sin (u2 ) ,
T1 = r sin (u2 ) ; T2 = r cos (u2 ) ; N = p
2
2
r + h
0
h
r
1
dr (u1 )
= dh (u ) . F
und
h
ur jedes Parameterpaar (u1 , u2 ) I R
du1
du1
bilden T1 , T2 eine orthogonale Tangentenbasis, womit die Regularitat der (GAUschen) Parametrisierung gesichert ist. Zusammen mit den zweiten partiellen Ableitungen
r cos (u2 )
r cos (u2 )
r sin (u2 )
X,11 = r sin (u2 ) ; X,12 = r cos (u2 ) ; X,22 = r sin (u2 )
0
0
h
dabei ist r =
ergeben sich u
ber Gij = (Ti , Tj ) und Lij = (X,ij , N) die metrischen Fundamentalgroen
2
rh 0
1
r h
r + h 2 0
G=
;
L= p
.
(4.47)
0
r2
0
rh
r 2 + h 2
114
4. Flachen
rh
r h
0
1
G1 L =
h r 2 + h 2
3/2
0
r 2 + h 2
r
folgen die Hauptkr
ummungen
rh
r h
1 =
3/2
r 2 + h 2
und
h
2 = p
r r 2 + h 2
2r r + h
rh
h r h
K = 1 2 =
2 .
2
2
r r + h
(4.48)
Bemerkung 4.33 Ist die erzeugende Kurve x (u1 ) nach der Bogenlange s = u1 parametrisiert, so vereinfachen sich diese Formeln bedeutend. In diesem Fall ist kx0 (s)k2 =
(r0 (s))2 + (h0 (s))2 = 1 und nach Ableitung bez
uglich s: r00 r0 + h00 h0 = 0. Damit erhalt
man die Hauptkr
ummungen
1 = r0 h00 r00 h0 =
h00
r00
=
,
r0
h0
2 =
h0
r
h00 h0
+
r0
r
(rh0 )0
= 2 0 ,
(r )
r00
K= .
r
(4.49)
115
ergeben sich folgende Aussagen zu den Meridianlinien und Breitenkreisen einer Drehflache:
ur eine Meridianlinie (X (u1 , c)) die geodatische
Mit G11,2 = 0 leitet man aus (A.3) f
Kr
ummung kg1 = 0 ab. Meridianlinien einer Drehflache sind damit stets Geodaten.
F
ur die geodatische Kr
ummung eines Breitenkreises (X (c, u2 )) folgt aus (A.3):
r
kg2 = p
.
r r 2 + h 2
Ein Breitenkreis ist deshalb nur dann eine Geodate, wenn r (u1 ) = 0. In diesem Fall
ist die Tangente an die erzeugende ebene Kurve parallel zur X3 Achse.
Beispiel 4.21 (Drehflachen)
1. Kreiszylindermantelflache:
X
r (u1 ) = R
h (u1 ) = u1
X
3
X
R
u1 R
(X1 )2 + (X2 )2 = R2
2. Kreiskegelmantelflache:
r (u1 ) = u1
h (u1 ) = mu1
m u
X
3
u1 > 0
2
X
1
3. Kugeloberflache:
r (u1 ) = R sin (u1 )
h (u1 ) = R cos (u1 )
1
X
1
X
2
X
1
116
4. Flachen
4. Rotationshyperboloid:
q
1
r (u ) = R2 + (u1 )2
b
h (u1 ) = u1
R
h ( u 1)
u1 R, R > 0, b > 0
X
3
r (u 1)
R
X
1
2
1
=1
R2
R2
b2
5. Torus:
X
1
X
3
r (u ) = r cos (u ) + R
h (u1 ) = r sin (u1 )
0 u1 < 2; 0 < r < R
R
X
r
X
2
X
1
117
II. Regelfl
achen
Eine Regelflache ist als geometrisches Objekt beschreibbar, welches aus kontinuierlich
aneinandergef
ugten Geraden besteht. Auszugehen ist von einer regular parametrisier2
ten C Kurve y (u1 ) : I R R3 und einem ebenfalls zweimal stetig differenzierbaren Richtungsfeld r (u1 ) : I R3 , wobei die lineare Unabhangigkeit der Vekdy (u1 )
toren y (u1 ) =
und r (u1 ) f
ur alle u1 I vorausgesetzt wird. Diese beiden
du1
Vektorfunktionen legen f
ur jeden festen Parameterwert u1 I eine Gerade y (u1 ) +
u2 r (u1 ) fest. Die Gesamtheit dieser Geraden bildet eine Flache mit der Parametrisierung
r ( u 1)
(4.50)
u1 I , u2 R.
y ( u 1)
Anschaulich kann man sich eine Regelflache als Spur vorstellen, die die gerade Stange
eines Jongleurs hinterlasst, wenn sich dieser entlang einer Kurve im Raum bewegt. Die
Kurve y (u1 ) heit Leitkurve und die mit r (u1 ) als Richtungsvektoren gebildeten Geraden nennt man erzeugende Geraden (oder einfach Erzeugende) einer Regelflache.
Die Tangentenbasisvektoren
,
X,2 u1 , u2 = r u1
X,1 u1 , u2 = y u1 + u2 r u1
sind wegen der vorausgesetzten linearen Unabhangigkeit von y (u1 ) und r (u1 ) f
ur jedes
1
Parameterpaar (u , 0) ebenfalls linear unabhangig. Aus der geforderten Glattheit der
Funktionen y und r folgt, dass zu jedem u1 I Umgebungen Uu1 R2 mit (u1 , 0) Uu1
existieren, in denen die Tangentenbasisvektoren
immer noch linear unabhangig sind.
S
In der Vereinigung U =
Uu1 aller dieser Umgebungen ist damit die Regularitat der
u1 I
Parametrisierung (4.50) gesichert. Eine mit dieser Einschrankung durch (4.50) parametrisierte Flache wird Regelfl
ache genannt.
118
4. Flachen
1. Verallgemeinerte Zylinderflache:
X
3
r ( u 1)
y ( u 1)
X
Mit y (u1 ) = (u1 , u1 , 0) (|| + || 6= 0) erhalt man als Spezialfall eine Ebene.
2. Verallgemeinerte Kegelflache:
T
y (u ) - O P
P
3
X
O
r (u1 ) = y (u1 ) OP
y ( u 1)
3. Hyperbolisches Paraboloid:
X
1
y (u ) = (au , bu , 0)
r (u1 ) = (a, b, 4u1 )
|a| + |b| 6= 0
y ( u 1)
X
r ( u 1)
X
1
119
4. Einschaliges Hyperboloid:
X
r ( u 1)
y ( u 1)
X
X
2
(4.51)
(4.52)
120
4. Flachen
Beispiel 4.23 Zu den Tangentenflachen gehoren die Schraubentorsen, die von einer Schraubenlinie als Leitkurve erzeugt werden. Zusammen mit Beispiel 3.4 ( = 1)
folgt f
ur eine Schraubentorse die Parameterdarstellung:
X
1
R (cos (u ) u sin (u ))
X (u1 , u2 ) = R (sin (u1 ) + u2 cos (u1 ))
(u1 + u2 )
u1 , u 2 R ;
u2 > 0.
r ( u 1)
3
y ( u 1)
X
X
2
u2 R cos (u1 )
X (u1 , u2 ) = u2 R sin (u1 )
u1
u1 R,
(4.54)
u2 > 0.
4.10. Minimalfl
achen
Eine im Raum verlaufende geschlossene regular parametrisierte (insbesondere doppelpunktfreie) Kurve kann als Rand einer Flache angesehen werden. Die von einer solchen Raumkurve eingeschlossene Flache ist innerhalb des Randes in vielfaltiger Weise
verformbar. Mit Bezug auf einen festen Rand hat man es deshalb mit einer Menge gleichberandeter Flachen zu tun und wird bestrebt sein, in dieser Menge nach
Flachen mit besonderen Eigenschaften zu suchen. Eine f
ur viele Aufgaben aus Natur und Technik interessante Frage ist: Gibt es unter diesen Flachen mit gleichem
Rand solche mit kleinstem Inhalt? Diese Fragestellung f
uhrt zum Begriff der Minimalflache.
Experimentell lassen sich derartige Flachen erzeugen, indem eine Drahtschleife in eine
Seifenlosung getaucht wird. Beim Herausziehen der Schleife aus der Losung bildet sich
4.10. Minimalflachen
121
u U0 ; R (hinreichend klein)
eingef
uhrt, wobei (u) eine beliebige (aber fest gewahlte) auf U0 zweimal stetig differenzierbare Funktion mit (u) = 0 f
ur alle u U0 ist.
Satz 4.10 Besitzt F0 unter allen Flachen F den kleinsten Flacheninhalt, so muss
notwendigerweise die mittlere Kr
ummung in jedem Flachenpunkt von F0 verschwinden:
H (u) =
1
(1 (u) + 2 (u)) = 0
2
f
ur alle u U0 .
(4.55)
i = 1, 2
122
4. Flachen
sei G (u) = Gij (u) und GX (u) = {Gij (u)}. Dann ist
1/2
(det (G ))
=0
1
2
=
G
G
(G
)
11 22
12
2 (det (G ))1/2
=0
1
G
G
G11
=
G22 + G11 22 2 12 G12
1/2
2 (det (G ))
=0
= 0 f
ur alle (fest gewahlten) zulassigen Funktionen (u).
der Flache F ist
A ()
=0
Mit der vorausgesetzten Glattheit der Parametrisierung X (u) ist
ZZ
1/2
A ()
(det (G )) du1 du2
=
=0
=0
U0
ZZ
H (det (GX ))1/2 du1 du2
= 2
U
= 2
Z 0Z
(u) H (u) dF = 0.
U0
Wahlt man, abgesehen von einem beliebig kleinen Randstreifen, in dem (u) gegen Null
abfallt, (u) = H (u), so folgt aus dieser Forderung H (u) = 0.
Bemerkung 4.38 Aus dem Beweis dieses Satzes folgt nur, dass die Flache F0 ein kritischer Punkt bez
uglich aller Variationen in Normalenrichtung ist, was nicht zwangslaufig bedeutet, dass A f
ur = 0 ein lokales Minimum besitzt. In [Jost] wird jedoch
ur gen
ugend kleine Flachenst
ucke auch hinreichend
gezeigt, dass die Bedingung (4.55) f
f
ur ein Minimum des Flacheninhaltes ist. Man definiert deshalb den Begriff Minimalflache allgemein wie folgt:
4.10. Minimalflachen
123
r 2 + 1 r
r
2r (r 2 + 1)3/2
Der Parameter b beschreibt die Verschiebung der Flache langs der Drehachse X3 .
Nimmt man b = 0, so ist r (0) = a der Taillenradius der Drehflache. Die erzeugte
124
4. Flachen
Flache
u 1 = a
X
3
r(u )
1
X
1
u 1= -a
heit Kettenflache oder Katenoid und ist die einzige Minimalflache unter den Drehflachen.
4.11. Fl
achenabwicklung
In diesem Abschnitt geht es um Klassen von Flachen mit gleicher innerer Geometrie.
Alle Flachen einer solchen Klasse m
ussen die gleiche erste metrische Fundamentalform
besitzen. Die Verbindung zwischen den Flachen wird durch Abbildungen hergestellt,
die die Flachenmetrik nicht verandern.
ucke, zwischen denen die Abbildung
Es seien F und F Flachenst
:FF
gema
= (X) F
XFX
X = X u1 , u 2
=X
u1 , u2
X
u = u1 , u 2
u
= u1 , u
T
2 T
U
U
und
u = u1 , u2 U ui = ui u1 , u2 U
aufeinander abbildbar sind. Ist diese Abbildung entsprechend der Def. 4.2 ein DifT
feomorphismus, so kann u
=u
(u) = (
u1 , u2 ) als zulassige Umparametrisierung des
Flachenst
uckes F angesehen werden und es ergibt sich:
X u1 , u 2
u1 u1 , u2 , u2 u1 , u2 Y u1 , u2 .
=X
4.11. Flachenabwicklung
125
von F u
Y (u1 , u2 ) ist dann eine Parametrisierung der Flachenpunkte X
ber dem gleichen
1
2
Parameterbereich U wie die Parametrisierung X (u , u ) von F.
x
X
X = F (X )
X (u )
X (u ) = Y (u )
u = u (u )
U
y
Y
u
u
Es wird nun eine auf F verlaufende Flachenkurve c mit der Parametrisierung x (t) =
X (u (t)) (t I) und deren Bildkurve c = (c) auf F mit der Parametrisierung y (t) =
dx (t)
= X,i u i
dt
und
y (t) =
dy (t)
= Y,i u i
dt
ergeben sich f
ur beide Kurven die Bogenelemente
q
p
ds (t) =
(X,i , X,j ) u i u j dt = (GX U, U)dt
q
q
i
j
X
ds (t) =
G
(Y,i , Y,j ) u u dt =
U, U dt
T
X
mit U = (u 1 , u 2 ) R2 . GX und G
bezeichnen die ersten metrischen Fundamentalgroen der Flachenst
ucke F und F.
Bemerkung 4.41 Wie in Bemerkung 4.10 gezeigt, ist die erste metrische Fundamentalform unabhangig von einer bestimmten Flachenparametrisierung, folglich ist diese
Definition der Isometrie von Flachenst
ucken auch unabhangig von den gewahlten Pa
rametrisierungen X (u) und X (
u). Andererseits gen
ugt zum Nachweis der Isometrie,
= (X) Parametrisierungen X (u) und X
(
dass f
ur alle Punktepaare X, X
u) = Y (u)
existieren, in denen die ersten metrischen Fundamentalgroen GX = {(X,i , X,i )} und
X
X
G
.
= {(Y,i , Y,j )} gleich sind: GX = G
126
4. Flachen
Bemerkung 4.42 Aus der Gleichheit der metrischen Fundamentalformen folgt, dass
zueinander isometrische Flachen die gleiche innere Geometrie aufweisen und damit alle
Punktepaar X, X gleich.
Bemerkung 4.43 Die Menge aller zueinander isometrischen Flachen bildet eine Aquivalenzklasse, d.h. es gilt:
a) Jede Flache ist zu sich selbst isometrisch (Reflexivitat).
b) Ist F1 zu F2 isometrisch, so ist auch F2 zu F1 isometrisch (Symmetrie).
c) Sind F1 zu F2 und F2 zu F3 isometrisch, so ist auch F1 zu F3 isometrisch (Transitivitat).
Beispiel 4.26 Die verallgemeinerte Zylinderflache (siehe Abschnitt
2
1
(u) = x u + u e3 | u U
mit U = u = u1 , u2
Z= X
4.9, Regelflachen)
1
u IR
2
u R
gema
(u) Z f
X (u) S X
ur alle u U
1
verbunden. Nach einfachen Rechnungen (unter Beachtung
von kx (u )k = 1) erhalt
1 0
X
. Damit sind beide
man f
ur die ersten Fundamentalgroen GX = G
=
0 1
Flachenst
ucke isometrisch zueinander.
Definition 4.17 Die Flachen F und F heien aufeinander abwickelbar, wenn es eine
Familie von Flachen F mit den regularen Parametrisierungen X (u) ( u U ;
) gibt, so dass folgendes gilt:
a) F = F und F= F .
b) Die Parametrisierungen X (u) sind von stetig abhangig.
c) F
ur beliebige Parameterwerte 1 , 2 [, ] sind die Flachen F1 und F2 zueinander
isometrisch.
4.11. Flachenabwicklung
127
Ein Flachenst
uck F ist auf ein anderes Flachenst
uck F abwickelbar (man spricht auch
davon, dass F in F verbiegbar ist), wenn es eine Schar sich stetig andernder untereinander isometrischer Flachen gibt, die die eine Flache in die andere u
uhrt. Man
berf
denke dabei z.B. an die Mantelflache eines Zylinders, die aus einem ebenen rechteckigen Kartonst
uck entsteht indem zwei gegen
uberliegende Seiten ohne Dehnung des
Materials aneinander gef
ugt werden. Entscheidend ist, dass es zu keinen Verzerrungen
der Flachenst
ucke kommt, da diese zu Veranderungen der Flachenelemente und folglich
zu einer anderen Metrik f
uhren w
urden. Um es praktisch auszudr
ucken, aufeinander
abwickelbare Flachen m
ussen aus einer flexiblen Haut bestehen, die jedoch keine Verzerrungen zulasst, wie es z.B. mit einem St
uck Papier oder Stahlblech moglich ist,
wenn nicht zu groe Krafte bei der Verbiegung aufgewendet werden. Nicht zulassige
Flachenverformungen im Sinne der Flachenabwicklung treten auf, wenn man eine aus
Gummi gefertigte Flache durch beliebig geformte kompakte Gegenstande einer Belastung aussetzt, in deren Folge sich die Gummihaut der Oberflachenform dieser Gegenstande anpasst.
Beispiel 4.27 Die im Beispiel 4.26 eingef
uhrte Zylinderflache Z und der ebene Streifen S sind nicht nur isometrisch zueinander, sondern auch aufeinander abwickelbar.
Um dies zu zeigen, wird eine Familie von Zylinderflachen Z mit den Parametrisierungen
X (u) = x u1 + u2 e3
u U;
01
1
cos
(
(u
))
t u1 = x u1 = sin ( (u1 ))
0
mit einer wenigstens stetigen Winkelfunktion (u1 ) darstellbar (siehe (3.20)). Ausgehend von dieser Schreibweise werden die Tangentenvektoren t (u1 ) der Kurvenschar
x (u1 ) wie folgt definiert:
1
cos
(
(u
))
t u1 = x u1 = sin ( (u1 )) .
0
Es ist dann t1 (u1 ) = x 1 (u1 ) = x (u1 ) und t0 (u1 ) = e1 sowie kt (u1 )k = 1 f
ur 0
1 und a < u1 < b. Durch Integration u
ber t (u1 ) ergeben sich nach (3.22) die
Kurvenparametrisierungen
x u
1
= x (a) + (1 ) ae1 +
Zu1
t ( ) d
01
.
a < u1 < b
Die Kurven x (u1 ) sind nach der Bogenlange parametrisiert und x1 (u1 ) = x (u1 ) ,
x0 (u1 ) = u1 e1 . F
ur die mit diesen Kurven definierten Parametrisierungen X (u) der
128
4. Flachen
Bemerkung 4.44 Aufeinander abwickelbare Flachen sind insbesondere zueinander isometrisch. Alle in den Bemerkungen 4.41 -4.43 genannten Eigenschaften f
ur zueinander
isometrische Flachen sind in gleicher Weise auch f
ur aufeinander abwickelbare Flachen
und die damit verbundene Flachenschar zutreffend. Hervorzuheben ist, dass sich aus
der Gleichheit innergeometrischer Groen u
ber das Theorema egregium (Satz 4.5) die
Gleichheit der GAUschen Kr
ummung K aufeinander abwickelbarer Flachen ergibt.
Flachen mit verschiedener GAUscher Kr
ummung konnen nicht ineinander verbiegbar
sein. Ein Flachenst
uck der Einheitssphare S 2 mit K = 1 (siehe Beispiel 4.14) kann
deshalb nicht auf die Ebene (K = 0) abgewickelt werden. Allgemeiner: Flachen mit elliptischen oder hyperbolischen Punkten sind nicht auf die Ebene abwickelbar. Dagegen
sind neben Zylinderflachen auch Kegel- und Tangentenflachen (allgemein Torsen) auf
die Ebene abwickelbar (siehe [K
uhn] S. 60/61). Ein Beispiel zu nicht ebenen aufeinander abwickelbaren Flachen wird im Folgenden behandelt.
Beispiel 4.28 Das im Beispiel 4.25 entwickelte Katenoid mit der Parametrisierung
XK
1
2
a
cosh
(u
/a)
cos
(u
)
u1 , u2 = a cosh (u1 /a) sin (u2 )
u1
u1 R
0 < u2 < 2
und die Wendelflache (Beispiel 4.24 Formel (4.54) mit R = = a, der zulassigen
Parametertransformation
u1 u2 2 , u2 sinh (u1 /a) und unter Beachtung von
2
2
cos u 2 = sin (u ) , sin u2 2 = cos (u2 ))
XW
1
2
a
sinh
(u
/a)
sin
(u
)
(u2 )
u1 , u2 = a sinh (u1 /a) cos
a u2 2
u1 R
0 < u2 < 2
129
Nach Def. 4.17 folgt mit a) - c) die Abwickelbarkeit des Katenoids auf die Wendelflache. In Abb. 4.36 sind einige Phasen dieser Abwicklung f
ur Parameterwerte u1 = 0
dargestellt.
l = 0
l =
3
1 0
l = 1p 0
l = p5
l = p2
l =
2
130
4. Flachen
der eine Flache F berandet, fest, so kann die Form der Flache im u
brigen (inneren)
Bereich homoomorph in eine andere Form transformiert werden, ohne dass sich die
Gesamtkr
ummung, d.h. der integrale Wert der GAUschen Kr
ummung, andert. Damit ist die Gesamtkr
ummung bei festgehaltenem Randstreifen invariant gegen
uber der
sonstigen Flachenform. Das, was an positiver Flachenkr
ummung hinzukommt, muss
an anderer Stelle zwangslaufig als negative Kr
ummung auftreten. Aber es gilt noch
mehr: Die Gesamtkr
ummung u
ber einer kompakten Flache ohne Rand (z.B. die glatte Oberflache eines kompakten Korpers) ist proportional zur EULER-Charakteristik
der Flache, was nochmals die Invarianz gegen
uber homoomorphen Abbildungen unterstreicht.
u1 , u 2 U
eine C 2 Flache und B U eine kompakte (d.h. abgeschlossene und beschrankte) Menge mit der einfach geschlossenen, positiv orientierten, st
uckweise glatten
C 2 Randkurve
m
[
B =
Bj = u = u1 , u2 U | u = g (t) ; t I
j=1
heit regul
are C 2 Fl
ache mit dem stu
ckweise glatten Rand
m
[
FB =
FBj , FBj = X (Bj ) .
j=1
B
u
F
j
X
1
F
B
In den Eckpunkten Xj = X (uj ) der Flache FB sind die positiv orientierten Auenwinkel j gema
+
j = ] t
j , tj
mit
tj = lim X (g (t))
h0 dt
(h>0)
definiert.
t=tj h
t +j
B
X
j
= X (u
j
b
j
131
m
S
FBj .
j=1
Die GAUsche Kr
ummung K auf FB , die geodatischen Kr
ummungen kgj auf den
Randst
ucken FBj und die Auenwinkel j (j = 1, ..., m) seien bekannt. Dann gilt:
Z
K dF +
m Z
X
kgj (s) ds +
m
X
j=1 F
FB
j = 2.
j=1
Bj
Bemerkung 4.46 Wie im Vorspann zu diesem Abschnitt schon erwahnt, kann diese
Formel wie folgt interpretiert werden: Halt man einen beliebig schmalen Randstreifen
von FB fest (damit werden die Winkel j und die geodatischen Kr
ummungen kgj nicht
geandert) und deformiert das Innere von FB diffeomorph Rzu einer regularen C 2 Flache
FB , so haben FB und FB die gleiche Gesamtkr
ummung K dF .
FB
Folgerung 4.1 Ist FB ein sogenanntes geodatisches mEck, d.h., die Randst
ucke
(j = 1, ..., m) sind Geodaten der Flache F, dann ist kgj = 0 und man erhalt f
ur die
Gesamtkru
uckes FB :
mmung des auf F liegenden Flachenst
Z
m
X
K dF = 2
j .
j=1
FB
X
3
g
1
g1
1
D
g
g
2
b
2
132
4. Flachen
Aquators
und den 0 sowie 90 Meridianlinien begrenzt, so erhalt man mit
Z
1
3
K = 1 und KdF = (4) = die Innenwinkelsumme = .
8
2
2
Dg
p
2
p
2
N o rd p o l
2
0 o- M e r id ia n
Wegen
Dg
KdF
q u a to r
9 0 o- M e r id ia n
S2
3. K < 0 : Die Winkelsumme eines geodatischen Dreiecks ist dann stets < .
Diese Eigenschaft besitzen z.B. geodatische Dreiecke auf einer Pseudosphare mit
der Parametrisierung:
X (u1 , u2 ) =
Ru1 p
1 a2 exp (2t)dt
(a > 0)
Die Gausche Kr
ummung dieser Flache ist K = 1.
Die Integralformel von GAU und BONNET bildet den Ausgangspunkt zur Ableitung
globaler Aussagen u
ber Flachen ohne Rand. Im Allgemeinen wird sich eine Flache ohne
Rand nicht durch eine einzige Parametrisierung darstellen lassen. Im Folgenden wird
133
deshalb unter einer kompakten C 2 Flache ohne Rand die Vereinigung endlich vieler regularer C 2 Flachen Fi mit st
uckweise glattem Rand verstanden:
F=
n
[
und
Fi
F = .
i=1
F
i
F
j
( g e m e in a m e g la tte R a n d k a n te )
E c k e n
mit der EULER-Charakteristik (F) der Flache F. (F) wird aus der Formel
(F) = e k + n
berechnet, wobei n die Zahl der Teilflachen Fi , k die Zahl der Kanten und e die Zahl
der Ecken von F benennen.
Beweis. (skizziert) Aus der Orientierbarkeit von F ergibt sich, dass Randkurven benachbarter Teilflachen jeweils in entgegengesetzter Richtung durchlaufen werden konnen.
F
ur jede Teilflache Fi gilt die Integralformel von GAU und BONNET. Addiert man alle
Formeln u
urzen sich, da F geschlossen ist, die Randintegrale
ber die Teilflachen auf, so k
u
ummungen heraus und es entsteht die Gleichung:
ber die geodatischen Kr
Z
F
K dF = 2n
mi
n X
X
i=1 j=1
(i)
j .
134
4. Flachen
(i)
j ist der jte Auenwinkel am Eckpunkt Xj der Teilflache Fi und damit ist
(i)
(i)
j = j der zugehorige Innenwinkel am Punkt Xj zur Teilflache Fi (siehe Abb.
4.43).
(i)
(i)
j
Da die Zahl der Ecken und Kanten jeder Teilflache gleich ist und jede Kante beim Aufmi
n P
P
= 2k. Damit ergibt sich:
summieren genau zweimal auftritt, ist
i=1 j=1
2n
mi
n X
X
i=1 j=1
(i)
j
mi
n X
X
(i)
j = 2 (n k + e) = 2 (F) .
= 2n
i=1 j=1
135
2. Schneidet man in S 2 zwei kreisformige Locher und verschweit die beiden Begrenzungskurven eines gekr
ummten Zylindermantels endlicher Lange mit den
Randern dieser Locher, so entsteht eine Flache S12 (siehe Abb. 4.44) mit der
EULER-Charakteristik (S12 ) = 0.
Der Nachweis ist wie folgt zu f
uhren: Auf S 2 wahlt man zunachst eine solche
Zerlegung in Teilflachen, in der die beiden herausgeschnittenen kreisformigen
Flachen enthalten sind und durch jeweils eine geschlossene kreisformige Kante
mit einer Ecke begrenzt werden. Nach Entfernung der beiden Kreisflachen bleibt
die Zahl der Ecken und Kanten unverandert, so dass die verbleibende Flache die
Charakteristik (S 2 ) 2 = 0 aufweist. Den Zylindermantel kann man sich als
eine Flache vorstellen, die durch eine Mantellinie als Kante getrennt ist. Diese
Kante wird durch zwei Ecken begrenzt, die auf den beiden den Zylindermantel abschlieenden Kreislinien sich befinden. Verbindet man nun die beiden Kreislinien
des Zylindermantels mit denen auf S 2 in der Weise, dass die Punkte zusammenfallen, so wird die vorhandene Struktur lediglich um eine Flache und eine Kante
erweitert. Demzufolge ist (S12 ) = 0 1 + 1 = 0.
Die gleiche EULER-Charakteristik hat auch die Oberflache eines Torus (siehe
Abb. 4.45) und eines Quaders, in dessen Mitte ein Bereich ausgestanzt ist. Modifiziert man letztere durch entsprechende Abrundung der Ecken und Kanten, so
entsteht eine durchgangige C 2 Flache mit der gleichen EULER-Charakteristik.
136
4. Flachen
das Geschlecht g = 3 (Abbildungen 4.46 und 4.47).
Folgerung 4.2
1. Besitzt eine geschlossene Flache nirgends eine positive Kr
ummung, so ist (F) 0
2
und folglich kann F nicht homoomorph zu S sein.
2. Eine bemerkenswerte FolgerungRaus dem Satz von GAU und BONNET ist, dass
die GAUsche Gesamtkr
ummung K dF nicht von der Metrik abhangt, obwohl zur
F
4.13. Aufgaben
1. F
ur die Einheitssphare S 2 = {x R3 | kxk = 1} sind regulare Parametrisierungen zu den Flachenbereichen S+2 = S 2 / {e3 } und S2 = S 2 / {e3 } mit e3 =
(0, 0, 1)T auf der Grundlage der stereografischen Projektion anzugeben.
Hinweis: Man betrachte alle Geraden im R3 mit dem St
utzvektor e3 (bzw. e3 ),
die je einen Schnittpunkt PE mit der X1 X2 Ebene und Ps mit S 2 besitzen. Die
Zuordnung + : S+2 R2 ( bzw. : S2 R2 ) gema Ps S 2 PE R2 heit
stereografische Projektion und bildet den Ausgangspunkt f
ur die zu entwickelnde
Parametrisierung (siehe Abb. 4.48).
Ps
PE
Ps
PE
-e
3
X 1X
2
- E b e n e
4.13. Aufgaben
137
2. F
ur die ENNEPER-Flache mit der Parametrisierung
1
X u ,u
2
3
2
u1 13 (u1 ) + u1 (u2 )
= u2 31 (u2 )3 + u2 (u1 )2
2
2
(u1 ) (u2 )
u1
u2
R2
0
t
a11 a12 a13
t
N0 = a21 a22 a23 N
P
a31 a32 a33
P0
herzuleiten und die geometrische Bedeutung der Koeffizienten aij aufzudecken.
0<t<
<t<
< t < .
138
4. Flachen
X
a
x
X
g
3
A B C
C
2
Diese Kurven schneiden sich in den Punkten A, B, C und bilden ein Dreieck 4ABC
auf S 2 (siehe Abb. 4.49). Ist dieses Dreieck ein geodatisches Dreieck auf S 2 ? Zu
berechnen sind:
a) Die Schnittpunkte A, B, C der Kurven.
b) Die Auenwinkel , , in den Eckpunkten des Dreiecks 4ABC .
c) Der Inhalt |4ABC | des Dreiecks 4ABC auf S 2 .
7. Ein Flachenst
uck sei mittels geodatischer Polarkoordinaten r, parametrisiert
(siehe Bemerkung 4.31). Es ist zu zeigen, dass die GAUsche Kr
ummung K nur
vom Metrikkoeffizienten G22 = (X, , X, ) abhangig ist und mit der Formel
!
2
1
1
2 G22
G22
K=
2G22 2G22
r
r2
beschrieben wird.
8. Die Gleichungen von GAU und CODAZZI-MAINARDI sind aus den Integrabilitatsbedingungen (4.34) zu dem Differenzialgleichungsystem Y,k (u) = Bk (u) Y (u)
mit den Matrizen (4.35) herzuleiten.
9. Es ist eine Schar von Abbildungen X (u) ( I) zu konstruieren, die eine Abwicklung des Kegelmantels X32 = b2 (X12 + X22 ) mit 0 < X12 + X22 < R2 (b, R > 0)
in die X1 X2 Ebene realisiert.
10. Gegeben sind Matrizen
G=
A C
C B
und L =
R T
T S
4.13. Aufgaben
139
A. Anhang
A.1. L
osungen zu den Aufgaben aus 3.9
ds
= kx (t)k und
dt
1
ds
1
dt
=
=
ds
dt
kx (t)k
d dt
d
d
1
1
dt
=
=
ds ds
ds kx (t)k
dt kx (t)k ds
i
1
1
1
d
d h
=
(x (t) , x (t))1/2
kx (t)k dt kx (t)k
kx (t)k dt
1
(x (t) , x (t))3/2 2 (x (t) , x
(t))
2 kx (t)k
1
(x (t) , x
(t)) .
kx (t)k4
x
(t) kx (t)k x (t) kx (t)k1 (x (t) , x
(t)) 1
2
kx (t)k
kx (t)k
x
(t) (x (t) , x (t)) x (t) (x (t) , x
(t))
=
4
kx (t)k
1
=
(x (t) (
x (t) x (t))) .
kx (t)k4
F
ur die letzte Umformung wurde die GRASSMANN-Identitat (2.1) verwendet.
b) Mit
a cos (t)
a sin (t)
a cos (t)
(t) = b sin (t)
x (t) = b sin (t) ; x (t) = b cos (t) ; x
0
0
c
142
A. Anhang
ist
1/2
1/2
a2 sin2 (t) + b2 cos2 (t)
= b2 + a2 b2 sin2 (t)
Zt
1/2
s (t) =
b2 + a2 b2 sin2 ( )
d
kx (t)k =
x0 (s) =
x (t)
kx (t)k
a cos (t)
a sin (t)
2
2
(a b ) sin (t) cos (t)
1
b sin (t) +
b cos (t)
x00 (s) =
2
2
kx (t)k
k
x
(t)k
c
0
kx (t) x
(t)k
ab
k (t) =
=
3/2 .
3
kx (t)k
b2 + (a2 b2 ) sin2 (t)
Die Groe e =
2. a)
2a2 + b2 e d = et 2a2 + b2
s (t) : R (0, )
s (t) =
x (s) =
b)
t (s) = ln
dt
1
und
=
ds
s
2a2 + b2
a cos (t (s))
s
a sin (t (s))
2a2 + b2
b
143
b
w (s) = (n0 (s) , b (s)) =
s 2a2 + b2
x00 (0) = k0 n0 ;
1
xS (s) = x0 + st0 + k0 s2 n0 + s2 S (s)
2
mit
lim S (s) = 0.
s0
x
0
x
S
(s)
t0
Vernachlassigt man f
ur kleine s das Glied s2 S (s), so beschreibt die Projektionskurve xS (s) eine Parabel in der Schmiegebene, deren Scheitelpunkt sich in x0
befindet.
144
A. Anhang
Die Projektion von x (s) auf die von n0 und b0 aufgespannte Normalebene im
Punkt x0 ergibt:
b
1
1
xN (s) = x0 + k0 s2 n0 + k0 w0 s3 b0 + s2 N (s)
2
6
mit
lim N (s) = 0.
x N (s)
n
s0
Verzichtet man f
ur kleine s auf das Glied s2 N (s), so beschreibt die Projektionskurve xN (s) eine NEILsche Parabel in der Normalebene (vorausgesetzt w0 6= 0).
Die Projektion von x (s) auf die von t0 und b0 aufgespannte rektifizierende Ebene
im Punkt x0 ergibt:
1
xR (s) = x0 + st0 + k0 w0 s3 b0 + s2 R (s)
6
mit
x
R
(s)
lim R (s) = 0.
t
0
s0
a cos (t)
b sin (t)
; x (t) =
a sin (t)
b cos (t)
1/2
; x
(t) =
a cos (t)
b sin (t)
erhalt man
1
1
0 1
b cos (t)
n (t) =
x (t) =
0
kx (t)k 1
kx (t)k a sin (t)
a sin (t) a cos (t)
ab
1
=
k (t) =
3
b cos (t) b sin (t)
kx (t)k
kx (t)k3
a2 sin2 (t) + b2 cos2 (t) b cos (t)
a cos (t)
xM (t) =
a sin (t)
b sin (t)
ab
2
cos (t) a a sin2 (t) ba cos2 (t)
=
2
a2
2
sin (t) b b sin (t) b cos (t)
2
cos3 (t) a ba
.
=
2
sin3 (t) b ab
145
x M (t)
x (t)
a
b b
x
1
a -
b 2
a
5. F
ur eine Schraubenlinie sind Kr
ummung und Windung konstant (siehe Beispiele
3.6 und 3.7):
2 R
; w (s) w0 = 2 mit K 2 = R2 2 + 2 .
(A.1)
2
K
K
Nach dem Hauptsatz der Kurventheorie konnen sich alle FRENET-Kurven mit
der gleichen konstanten Kr
ummung k0 > 0 und Torsion w0 nur durch EUKLIDische Bewegungen unterscheiden. Es muss deshalb nur noch gezeigt werden, dass
f
ur eine FRENET-Kurve mit konstanter Kr
ummung k0 > 0 und konstanter Torsion w0 stets Parameter , , R angegeben werden konnen, die die Zusammenhange
(A.1) herstellen. Die Nebenbedingung K 2 = R2 2 + 2 kann zu
k (s) k0 =
1 = R 2 2 + 2
normiert werden. Diese Normierung entspricht wegen t = s/K (siehe Beispiel 3.5)
einer Kurvenparametrisierung nach der Bogenlange s. Zusammen mit k0 = 2 R
und w0 = stehen dann drei Gleichungen f
ur , , R zur Verf
ugung. Wegen
c2 = k02 + w02 = 2 2 R2 + 2 = 2
w0
w0
k0
k0
=
und R = 2 = 2
c
erf
ullt. Folglich gibt es eine nach der Bogenlange parametrisierte Schraubenlinie
mit der vorgegebenen Kr
ummung k0 und Torsion w0 .
= c;
dy
, so entsteht die gewohnliche Differenzialgleichung 1. Orddx
q
dz
= 1 + (z (x))2 ,
a
dx
146
A. Anhang
x
dy
(0) = z (0) = sinh ()
dx
und damit = 0 sein. Weiter ist
Z
x
!
y (x) = z (x) dx = a cosh
+
mit y (0) = a + = a.
a
0=
beschreiben.
1
7. Mit xM = x + n und den Formeln (3.16) und (3.18) erhalt man das angegebene
k
Resultat.
8. Berechnung der Ableitungen von x ():
dr
d2 r
r cos () r sin ()
mit r =
, r =
x () =
r sin () + r cos ()
d
d2
r 2 + r2
kx ()k =
1
und t () =
x ()
ds = r 2 + r2 d
kx ()k
1
1
9. a) Mit r = exp
und r = 2 exp
ist
1
2 + 1d
ds = r 2 + r2 d = exp
und damit
Za
a
2 + 1
L=
d = 1 + 2 exp
exp
2
exp
2
2
2
+ exp
k () =
3
(2 + 1)3/2 exp
exp
.
=
1 + 2
3
1
2 exp
147
p
b) Mit r = und r = 0 ist ds = 1 + 2 d und damit
Za p
i
h
2
2
2
1 + d =
a 1 + a + ln a + 1 + a
L =
2
0
k () =
(2 + 2 )
(1 + 2 )3/2
10. a) F
ur alle R ist
a sin ()
R a cos ()
R a sin ()
; x
(t) =
; x (t) =
x (t) =
a cos ()
a sin ()
R a cos ()
x (t) = 0 f
ur R = a und = 2k. Die angegebene Parametrisierung ist im Falle
0 < a < R f
ur alle R regular. Liegt der die Zykloide erzeugende Punkt auf
der Peripherie des Kreises (a = R), so besitzt die Kurve f
ur die Parameterwerte
= 2k einen Knick und ist folglich an diesen Stellen nicht stetig differenzierbar.
b) Mit
q
p
kx (t)k =
(R a cos ())2 + a2 sin2 () = R2 + a2 2Ra cos ()
x 1 x2 x 2 x1 = (R a cos ()) a cos () a2 sin2 () = aR cos () a2
erhalt man
k () =
aR cos () a2
d = 4R cos
= 8R.
L = 2R sin
2
2 0
0
11. a) (c) sei eine Boschungslinie, dann existiert ein vom Bogenlangenparameter s
unabhangiger konstanter Vektor nE mit knE k = 1 und (t (s) , nE ) = d = const.
Mit der FRENETschen Formel t0 (s) = k (s) n (s) folgt
d
(t (s) , nE ) = (t0 (s) , nE ) = k (s) (n (s) , nE )
ds
und damit (n (s) , nE ) = 0 im Falle k (s) 6= 0. Unter Einbeziehung der zweiten
FRENETschen Formel n0 (s) = k (s) t (s) + w (s) b (s) folgt nach nochmaliger
Ableitung des rechts stehenden Ausdruckes
d
[k (s) (n (s) , nE )]
0 =
ds
= k 0 (s) (n (s) , nE ) + k (s) (n0 (s) , nE )
= k (s) (n0 (s) , nE )
= k (s) [k (s) (t (s) , nE ) + w (s) (b (s) , nE )]
= k (s) [k (s) d + w (s) (b (s) , nE )]
0=
148
A. Anhang
und daraus k (s) d = w (s) (b (s) , nE ). Schlielich erhalt man mit der dritten
FRENETschen Formel b0 (s) = w (s) n (s):
d
(b (s) , nE ) = (b0 (s) , nE ) = w (s) (n (s) , nE ) = 0
ds
und folglich (b (s) , nE ) = b = const. (im Falle w (s) 6= 0). Damit ist
k (s) d = w (s) b
d
oder w (s) = k (s) = ck (s) .
b
b) Es gelte w (s) = ck (s). Zu zeigen ist, dass ein konstanter Vektor nE mit
knE k = 1 und (t (s) , nE ) = const. existiert.
Es gibt zunachst stets einen Winkel (0 < < ) mit c = cot (). Mit diesem
setzt man nE als Vektor aus der rektifizierenden Ebene gema
nE = cos () t (s) + sin () b (s)
an. F
ur nE gilt dann
(t (s) , nE ) = cos () = const.
und
knE k = 1.
dnE
= 0 ist. Mit
ds
den FRENETschen Formeln t0 (s) = k (s) n (s), b0 (s) = w (s) n (s)
und w (s) = ck (s) = cot () k (s) erhalt man
Es bleibt deshalb zu zeigen, dass nE unabhangig von s, d.h.
dnE
ds
A.2. Lo
sungen zu den Aufgaben aus 4.13
(1 + t) X1
y1 (t)
t R.
y (t) = y2 (t) = X + t (X e3 ) = (1 + t) X2
(1 + t) X3 t
y3 (t)
Die Koordinate y3 (t) verschwindet mit t =
X3
. Folglich ist der Schnittpunkt
X3 1
1
X1
u
.
=
OPE = u =
u2
1 X 3 X2
149
S2
gema X
S2
1
(X) = u =
1 X3
X1
X2
R2 .
Die inverse Abbildung dazu entsteht auf folgendem Wege. Zunachst ist
u1
2
(1 X3 )2 = X12 und
u2
2
(1 X3 )2 = X22 .
kuk2
kuk2 1
X
+
=0
3
kuk2 + 1
kuk2 + 1
mit der (f
ur alles Weitere nur interessanten) Losung
kuk2 1
X3 =
.
kuk2 + 1
Damit ist weiter
Xi = ui (1 X3 ) =
2ui
1 + kuk2
i = 1, 2
2u1
1
S2 .
2u2
gema u R2 X (u) =
2
1 + kuk
kuk2 1
Die Tangentenbasisvektoren
2
2
2u1 u2
1 (u1 ) + (u2 )
1 + (u1 )2 (u2 )2
; X
X
2u1 u2
,2 = A
,1 = A
2u2
2u1
2
A =
2
2
kuk + 1
sind zueinander orthogonal, womit die Regularitat der Parametrisierungen gesichert ist. F
ur die erste metrische Fundamentalgroe ergibt sich
1 0
.
GX = 2A
0 1
150
A. Anhang
2
2
1 (u1 ) + (u2 )
X,1 =
2u1 u2
1
2u
2u1 u2
und X,2 = 1 (u2 )2 + (u1 )2
2u2
2u1
X,1 X,2
1
.
2u2
N=
=
2
kX,1 X,2 k
2
1 + kuk
1 kuk
2u
2u1
2u1
X,11 = 2u2 ; X,22 = 2u2 ; X,12 = 2u1
0
2
2
liefern mit Lij = (X,ij , N) und L12 = L21 die zweite metrische Fundamentalgroe
2
0
.
LX =
0 2
Damit erhalt man f
ur die GAUsche Kr
ummung:
K (u) =
det (LX )
4
=
2 < 0.
det (GX )
1 + kuk2
151
3. Analog zur Herleitung der FRENETschen Formeln im Abschnitt 3.4 werden die
Ableitungen t0 (s) , N0 (s) , P0 (s) als Linearkombinationen von t (s) , N (s)
N (u (s)) und P (s) angesetzt. Dies f
uhrt zu folgender Matrixdarstellung:
0
0
t (s)
(t , t) (t0 , N) (t0 , P)
t (s)
N0 (s) = (N0 , t) (N0 , N) (N0 , P) N (s) .
P (s)
(P0 , t) (P0 , N) (P0 , P)
P0 (s)
F
ur die Koeffizienten der Ubertragungsmatrix
gilt:
a) Wegen (t, t) = (N, N) = (P, P) = 1 ist (t0 , t) = (N0 , N) = (P0 , P) = 0.
b) Aus (t, N) = (t, P) = (N, P) = 0 folgt
(t0 , N) = (N0 , t) ;
(t0 , P) = (P0 , t) ;
(N0 , P) = (P0 , N) .
(t0 , N) = (x00 , N) = kn ;
(t0 , P) = (x00 , N t) = kg
(N0 , P) = (N0 , N t) = [N0 , N, t] wg .
t (s)
kg
wg N (s) .
P (s)
0
T
2
E = 1 + g,1
2
G = 1 + g,2
und G,1 = 2g,2 g,21
; G,2 = 2g,2 g,22
F = g,1 g,2 und F,1 = g,11 g,2 + g,1 g,21 ; F,2 = g,12 g,2 + g,1 g,22 .
Unter Ber
ucksichtigung der Symmetrie lij = lji (i, j, l = 1, 2) ergeben sich 6
CHRISTOFFEL-Symbole. Mit Formel (4.31) ist
1
111 =
(GE,1 2F F,1 + F E,2 )
2K
1
(GE,2 F G,1 )
112 =
2K
1
122 =
(2GF,2 GG,1 F G,2 )
2K
1
211 =
(2EF,1 EE,2 F E,1 )
2K
1
(EG,1 F E,2 )
212 =
2K
1
(EG,2 2F F,2 + F G,1 ) .
222 =
2K
152
A. Anhang
b) Mit den Ableitungen der Metrikkoeffizienten aus (4.47) ergeben sich aus Formel
(4.31) die CHRISTOFFEL-Symbole
r
r + h h
1
111 = G11 G11,1 =
2
r 2 + h 2
r
1
212 = G22 G22,1 =
2
r
rr
1 11
1
22 = G G22,1 =
2
2
r + h 2
211 = 0
112 = 0
(A.2)
222 = 0.
G22,1
1
122 = G11 G22,1 =
.
2
2G11
=
kg1 =
G11 G11 2G22
2G11 G22
.
kg2 =
=
G22 G22 2G11
2G22 G11
(A.3)
6. x1 (t) und x2 (t) sind Teilkurven von Grokreisen auf S 2 und damit Geodaten.
x3 (t) ist jedoch ein Breitenkreis
ummung (siehe dazu
mit der geodatischen Kr
Beispiel 4.19) kg3 = cot 4 = 1. Demzufolge ist 4ABC kein geodatisches
Dreieck.
a) Schnittpunkt A von x1 und x3 :
1
x1
= x3
= (1, 0, 1)T
4
2
2
Schnittpunkt B von x1 und x2 :
= x2 (0) = (1, 0, 0)T
x1
2
153
sin (t)
cos (t)
cos (t)
; x 2 = 12 cos (t) ; x 3 = 1 sin (t)
0
x 1 =
2
1 cos (t)
sin (t)
0
2
erhalt man f
ur die Auenwinkel an den Schnittpunkten:
1
= arccos x 3
, x 1
= arccos (0) =
2
4
2
1
3
, x 2 (0) = arccos
= arccos x 1
=
2
4
2
= arccos x 2
, x 3 (0) = arccos (1) = .
2
c) Das Integral u
ummung kg3 langs x3 (t) im Parameterber die geodatische Kr
intervall 0 t 2 ist
Z/2
Z/2
1
dt = .
kg3 ds =
2
2 2
0
= 2
(4ABC )
3
+
+
2
4
2 2
.
=
4 2
Z/2
kg3 ds
R1221
7. Aus dem Theorema egregium folgt: K =
. Mit GX =
det (GX )
det (GX ) = G22 und
1 0
0 G22
s
2
R1221 = R2121 = R121
Gs2 = R121
G22 .
ist
154
A. Anhang
Aus der allgemeinen Formel f
ur die CHRISTOFFEL-Symbole (4.31) folgt
111 = 21 G11 (G11,1 + G11,1 G11,1 ) = 0
112 = 12 G11 (G11,2 + G21,1 G12,1 ) = 0
G22,1
2
K =
r
G22,1
2G22
G22,1
2G22
2
1
(G22,1 )2
2
=
G22,11 G22 (G22,1 )
2G222
4G222
1
2
(G
)
2G
G
=
22,1
22,11
22
4G222
!
2
2
1
1
G22
G22
=
.
2G22 2G22
r
r2
8. Die Matrix Bk wird in Blockmatrizen aufgeteilt:
1
1k
21k L1k
k
2
1
2k L2k
2k
=
Bk =
T
(G1 Lk )
Lk1 Lk2 0
Lk
0
j, k, l, m = 1, 2.
i, k, l = 1, 2
155
0 u2 cos (u1 /0 )
X1 (u)
2
1
X (u) = X2 (u) = 0 u
p sin (u /0 )
2
2
X3 (u)
1 0 u
0 < u1 < 0
0 < u2 < R/0
0
und dem Zusammenhang b = p
u
uft man durch Substitution von
berpr
1 02
Xi (u) in X12 + X22 = b2 X32 und 0 < X12 + X22 < R2 , dass X (u) eine regulare
Parametrisierung des Kegelmantels ist.
X
2
p a 0 r0 = p R
u
2
r0
K
K a
0
1 - a
X
2
0
a
2
a 0u
2
u2 cos (u1 /)
X (u) = u2 sin (u1 /)
1 2 u2
0 < u1 < 0
0 < u2 < R/0
liefert die angestrebte Abwicklungsfunktion. Mit = 0 erhalt man die Parametrisierung des Kegelmantels K0 und mit = 1 ist
u2 cos (u1 )
X1 (u) = u2 sin (u1 )
0
0 < u1 < 0
0 < u2 < R/0
156
A. Anhang
cos (u1 /)
u2 sin (u1 /)
sin (u1 /)
T,1 = X,1 = u2 cos (u1 /) ; T,2 = X,2 =
0
1 2
entstehen die von unabhangigen Fundamentalgroen
2 2
(u ) 0
G (u) =
.
0
1
Damit ist die Abwickelbarkeit der Kegelmantelflache auf die Ebene gezeigt.
10. Nach dem Hauptsatz der Flachentheorie (Abschnitt 4.7) muss zunachst G positiv
definit sein, d.h. A > 0 und det (G) = AB C 2 > 0. Weiterhin m
ussen G
und L die Integrabilitatsbedingungen (4.36) und (4.37) erf
ullen. Die aus den
konstanten Koeffizienten von G nach (4.31) gebildeten CHRISTOFFEL-Symbole
verschwinden, so dass die Gleichungen (4.36) die Form
(Ljk Lls Ljl Lks ) Gsm = 0
j, k, l, m = 1, 2
annehmen. Dr
uckt man diese Bedingungen mit den Konstanten von L aus, so
ergibt sich als einzige Forderung
RS T 2 = det (L) = 0.
Mit der Konstanz von L und mit sij = 0 verschwindet auerdem die linke Seite
von (4.37). G und L sind also metrische Fundamentalformen einer Parametrisierung eines Flachenst
uckes, wenn
A > 0 , AB C 2 > 0 und RS = T 2 .
(A.4)
157
erf
ullen (A.4) und definieren eine Ebene mit den Richtungsvektoren a und b.
Wahlt man
2
R 0
R 0
(R > 0) ,
und L =
G=
0 0
0 1
so liegen die Fundamentalgroen eines Flachenst
uckes auf der Mantelflache eines
Kreiszylinders mit dem Radius R vor.
11. Mit dem begleitenden Dreibein
sin (u1 )
cos (u1 )
u2 sin (u1 )
X,1 = u2 cos (u1 ) , X,2 = sin (u1 ) , N = cos (u1 )
u2
0
und weiter
G L=
2
2
(u ) + 2
1
L=
0 1
1 0
0
1
2 2
2
(u ) + 0
1
Wegen H = spur (G1 L) = 0 ist nach Definition 4.15 die Wendelflache eine
2
Minimalflache.
Zu einem k
urzeren Beweis kommt man wie folgt: Nach Beispiel 4.25 ist das Katenoid eine Minimalflache und im Beispiel 4.28 wurde die Abwickelbarkeit eines
Katenoids auf die Wendelflache gezeigt. Beide Flachen sind folglich zueinander
isometrisch und besitzen damit die gleiche innere Geometrie. Insbesondere verschwindet f
ur beide Flachen die mittlere Kr
ummung H, woraus unmittelbar die
Minimaleigenschaft der Wendelflache folgt.
12. Mit der Standardparametrisierung
R sin (u1 )
X u1 , u2 = R cos (u1 )
u2
0 u1 2
u2 R
R sin (t)
x (t) = R cos (t)
g (t)
158
A. Anhang
durch c und den Breitenkreis ca mit der Parametrisierung X (u1 , a) berandet wird
(siehe Abb. A8):
Ma = {X M | X (t, a) X X (t, g (t)) ; 0 t 2} .
X
3
c
M
m 2
X
1
g (t)
b = p - a
m 1
a
d =
a
g =
p
2
2 p
p
2
Ma wird langs des Meridians X (0, u2 ) aufgeschnitten und die beiden Schnittufer
mit cm1 und cm2 (cm2 = cm1 ) bezeichnet. Nach der Integralformel von GAU
und BONNET gilt f
ur das Flachenst
uck Ma :
Z
ZZ
kg (s) ds + + + + = 2.
(A.5)
KdF +
Ma
Ma
F
ur die Groen in dieser Formel gilt folgendes;
a) Die GAUsche Kr
ummung verschwindet auf einer Zylinderflache, demzufolge
ist
ZZ
KdF = 0.
Ma
b) Die Kurven ca , cm1 und cm2 der Randkurve Ma = c ca cm1 cm2 sind
Geodaten (mit der geodatischen Kr
ummung kg = 0 ), so dass
Z
Z
kg (s) ds = kg (s) ds.
c
Ma
Literaturverzeichnis
[Bett] Betten, J.: Tensorrechnung f
ur Ingenieure, B. G. Teubner-Verlagsgesellschaft
Stuttgart 1987
[Gray] Gray, A.: Differentialgeometrie, Spektrum Akad. Verl. 1994
[dCar] do Carmo, M. P.: Differentialgeometrie von Kurven und Flachen; ViewegVerlag, 1992
[Jost]
[W
uns] Wu
nsch, V.: Differentialgeometrie - Kurven und Flachen; B. G. TeubnerVerlagsgesellschaft Stuttgart Leipzig 1997
Stichwortverzeichnis
Abbildung, 20
affine, 24
bijektiv, 21
bilinear, 10
eindeutig, 20
injektiv, 21
inverse, 21
isometrisch, 125
orthogonal, 24
positiv definit, 10
stetig, 20
surjektiv, 21
vektorwertig, 22
Ableitungsgleichung
nach GAU, 96
nach WEINGARTEN, 85
Ableitungsgleichungen, 39, 96
Archimedische Spirale, 64
Auenwinkel, 130
Boschungslinie, 65
Basis, 8
der Standard-Topologie, 18
kanonische, 9
reziproke, 16
Standard-, 9
begleitendes Dreibein, 34, 76
Binormalenvektor, 34
Bogenelement, 31
Bogenlangenparameter, 32
CHRISTOFFEL-Symbole, 97
Diffeomorphismus, 23
Drehflache, 113
Breitenkreis, 113
Meridian, 113
Ebene, 15, 70
rektifizierende, 35
Einheitsnormalenfeld, 75
Einheitssphare, 71
Breitenkreis, 107
Grokreis, 107
einschaliges Hyperboloid, 119
Ellipse, 29
ENNEPER-Flache, 137
EUKLIDische Bewegung, 24, 45, 51, 72
EUKLIDischer Raum, 11
EULER-Charakteristik, 133, 134
Evolute, 53
Evolvente, 55
Exponentialabbildung, 109
Flache
abwickelbar, 126
Ecken der, 133
Flachpunkt, 90
Kanten der, 133
mit st
uckweise glattem Rand, 130
Nabelpunkt, 90
orientierbar, 75
Spur der, 68
Flachenelement, 82
Flachenkurve, 80
Flachenpunkt
elliptisch, 93
hyperbolisch, 94
parabolisch, 94
Flachenst
uck
isometrisch, 125
regular parametrisierbar, 68
regulares, 69
Flachpunkt, 94
FRENET-Kurve, 35
162
FRENETsche Formeln, 39
Fundamentalform
erste metrische, 80
zweite metrische, 84
Fundamentalgroe
erste metrische, 80
zweite metrische, 84
Funktion, 20
inverse, 21
skalar, 22
Funktional, 22
lineares, 22
GAU-Abbildung, 76
Gebiet, 20
Geodate, 104, 105
Geodatengleichung, 106
Anfangswertproblem, 108
Randwertproblem, 108
geodatische Polarkoordinaten, 109
geodatisches Dreieck, 131
geodatisches n-Eck, 131
Gerade, 14
Gesamtkr
ummung, 131, 136
Gleichung
von CODAZZI-MAINARDI, 99
von GAU, 99
Gradient, 22
Gradkurve, 119
GRASSMANN-Identitat, 13
Grenzwert, 20
Hauptkr
ummungen, 89
Hauptkr
ummungsrichtungen, 89
Hauptnormalenvektor, 34
Hauptsatz
der Flachentheorie, 101
der Kurventheorie, 43
Homoomorphismus, 23
Immersion, 23
innere Geometrie, 100
inneres Produkt, 10
innergeometrische Groe, 100, 104
Integrabilitatsbedingungen, 98
Integralformel von GAU-BONNET, 131
Isomorphismus, 24
Stichwortverzeichnis
JACOBI-Identitat, 13
JACOBI-Matrix, 22, 71
Katenoid, 124
Klothoide, 52
Koordinatenlinien, 74
Kr
ummung, 86
der Kurve, 35
GAUsche, 92
geodatische, 87
mittlere, 92
orientierte, 46
Kr
ummungskreis, 88
Kr
ummungsradius, 35
Kurve, 25
ebene, 40, 45
einfach geschlossen, 58
einfach periodisch, 58
geschlossen, 25, 58
Lange der, 31
offen, 25
orientierte, 27
periodisch, 25, 58
regular parametrisiert, 25, 26
regulare, 26
rektifizierbare, 31
Spur der, 26
Kurvenverlauf
konkaver, 47
konvexer, 47
LAGRANGE-Identitat, 13
Linkssystem, 12
Logarithmische Spirale, 64
Mobius-Band, 79, 119
Menge
abgeschlossen, 19
abgeschlossene H
ulle einer, 19
beschrankt, 20
Inneres der, 19
kompakt, 20
offen, 19
Rand einer, 20
zusammenhangend, 20
Meridianlinie, 107
Metrik, 9
Stichwortverzeichnis
Metrikkoeffizienten, 80, 97
Minimalflache, 120, 123
NEILsche Parabel, 55, 144
Norm, 10
Normalebene, 35
Normalenvektor, 15
Normalkr
ummung, 87
offene Kugel, 18
Orientierung, 11, 27, 77
positiv orientiert, 11
Ortsvektor, 9
Parametertransformation
orientierungserhaltende, 27
orientierungsumkehrend, 27
vertraglich, 26
Parametrisierung
GAUsche, 73
nach der Bogenlange, 32
nat
urliche, 32
vertragliche, 69
Periode, 58
Rechtssystem, 11, 12, 76
Regelflache, 117
erzeugende Gerade der, 117
Leitkurve der, 117
Richtungsvektor, 15
RIEMANNscher Kr
ummungstensor, 99
Rotationshyperboloid, 116
Rotationszylinder, 106
Satz
von FROBENIUS, 98
von GAU und BONNET, 133
von HOPF, 60
Schmiegebene, 35
Schnittwinkel, 81
Schraubenlinie, 30
Schraubentorse, 120
skalares Produkt, 10
Spatprodukt, 14
St
utzvektor, 15
Standard-Topologie, 19
Streckebene, 35
Summenkonvention, 9
163
Tangente, 26
Tangentenbasisvektoren, 72
Tangentenflache, 119
Tangentenindikatrix, 58
Tangentenvektor, 26, 34
Tangentialebene, 73
Tangentialraum, 26, 73
Theorema egregium, 101
Theorema Elegantissimum, 131
Topologie, 18
Flachensatz der, 134
Torse, 119
Torsion, 39
Torus, 116, 135
totale Absolutkr
ummung, 95
Totalkr
ummung, 59
Transformation
linear, 24
Translationsraum, 11
Umgebung, 19
Umlaufzahl, 59
Vektor, 7
Einheits-, 10
Kr
ummungs-, 89
linear unabhangig, 8
orthogonal, 11
Vektoren
Heben, 17
Senken, 17
Vektorfunktion, 22
Vektorprodukt, 12
Vektorraum, 7
WEINGARTEN-Abbildung, 84
Wendelflache, 120
Wendepunkt, 47
Windung, 39
Winkelfunktion, 51, 58
Zykloide, 65