30.08.2014 Aufrufe

Skript

Skript

Skript

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!