Skript
Skript
Skript
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4.3 Der Satz von Fenchel<br />
muss ihre Totalkrümmung also mindestens 2π betragen.<br />
L∫<br />
Der Satz von Fenchel stellt die Forderung k(c) ≥ k(s)ds ≥ 2π nicht nur an einfach geschlossene<br />
Kurven (wie das im Umlaufsatz von Hopf der Fall ist), sondern verallgemeinert die Aussage noch etwas<br />
mehr.<br />
Um den Satz von Fenchel leicht beweisen zu können, benötigen wir eine Definition und zwei Lemmata.<br />
Definition 4.3 (Sphärischen Kurve:) Sei c : [a, b] −→ R 3 eine reguläre Raumkurve. Dann definiert man<br />
die sphärische Kurve (auch tangentiale Indikatrix genannt) wie folgt:<br />
γ c : [a, b] → S 2 ⊂ R 3<br />
γ c (t) ≥<br />
0<br />
˙c(t)<br />
∥ ˙c(t)∥<br />
Wir bemerken: Man kann die Indikatrix auch allgemeiner für R n definieren:<br />
Die Indikatrix c ind einer regulär parametrisierten Kurve c : I −→ R n ist die Abbildung<br />
c ind : I −→ S n−1 ⊂ R n , c ind (t) =<br />
˙c(t)<br />
∥ ˙c(t)∥ .<br />
Kurven auf der Kugeloberfläche heißen also sphärische Kurven. Wichtige sphärische Kurven sind Großkreise<br />
oder Kleinkreise. Die Kurve γ c ist im Allgemeinen weder regulär noch nach Bogenlänge parametrisiert.<br />
Die Frenet-Kurven im Raum sind also genau die regulären Kurven c : I −→ R 3 mit regulärer<br />
Indikatrix γ c . Die totale Absolutkrümmung (Totalkrümmung) ∫ L<br />
0<br />
k(s) ds ist also nichts anderes als die<br />
Gesammtlänge von γ c als sphärische Kurve.<br />
Die Totalkrümmung ist jedoch definiert als k(c) = ∫ L<br />
L∫<br />
0 k(s) ds = ∣c ′′ ∣ = L[c ′ ]. Der Satz von Fenchel<br />
fragt sich danach also, wieso die Länge des Tangentialbildes, d. h. der Kurve v = c ′ : I → S 2 , nicht<br />
kleiner als 2π sein kann.<br />
Lemma 4.4 Ist c : I −→ R 3 geschlossen (periodisch, regulär parametrisiert), dann liegt γ c in keiner<br />
offenen Hemisphäre.<br />
γ c liegt in einer abgeschlossenen Hemisphäre genau dann, wenn c in einer Ebene (allgemeiner: affine<br />
Hyperebene im R n ) liegt. In diesem Fall liegt γ c in einem Großkreis.<br />
Beweis: Da sich die Spur der Indikatrix nicht ändert, wenn man die Kurve c umparametrisiert, können<br />
wir Œ annehmen, dass c nach der Bogenlänge parametrisiert ist mit der Periode L.<br />
0<br />
“=⇒ “:<br />
Angenommen γ c liegt in einer abgeschlossenen Hemisphäre. Ohne Einschränkung der Allgemeinheit<br />
nehmen wir an, dass γ c in der nördlichen Hemisphäre enhalten ist. Ansonsten führen wir eine geeignete<br />
Rotation durch. Weiterhin sei c(t) = (x(t), y(t), z(t)) und<br />
γ c (t) = (γc 1 (t), γc 2 (t), γc 3 (t)).<br />
34