21.11.2013 Aufrufe

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

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.

Eine Teilmenge V ⊆ R n heißt sternförmig bezügli<strong>ch</strong> x 0 ∈ V , wenn für jeden Punkt<br />

x ∈ V die Verbindungsstrecke {x 0 + t(x − x 0 ) | 0 ≤ t ≤ 1} in V enthalten ist.<br />

Lemma 4. Sei V ⊆ R n offen und sternförmig bezügli<strong>ch</strong> 0 ∈ V . Sei f ∈ C ∞ (V ).<br />

Dann existieren Funktionen g i ∈ C ∞ (V ) (i = 1, . . . , n) mit g i (0) = ∂f/∂x i (0) und<br />

so, dass für alle x ∈ V gilt<br />

Beweis. Es ist<br />

Man setzt<br />

f(x) = f(0) +<br />

f(x) = f(0) +<br />

∫ 1<br />

0<br />

g i (x) =<br />

n∑<br />

x i g i (x).<br />

i=1<br />

∫<br />

d<br />

1<br />

dt f(tx) dt = f(0) + ∂f<br />

(tx)dt · xi<br />

∂xi ∫ 1<br />

0<br />

∂f<br />

(tx) dt.<br />

∂xi QED<br />

0<br />

3.8. Wir kommen nun zum Beweis von Satz 3.6 und zeigen zunä<strong>ch</strong>st, dass Φ p<br />

wohldefiniert ist. Sei (ϕ, U) eine Karte mit p ∈ U. Dann ist<br />

Φ p ([c])f = d dt∣ (f ◦ ϕ −1 ◦ ϕ ◦ c)(t)<br />

0<br />

= D(f ◦ ϕ −1 )(ϕ(p))<br />

d(ϕ ◦ c)<br />

(0). (3.8.1)<br />

dt<br />

Folgli<strong>ch</strong> hängt Φ p ([c])f ni<strong>ch</strong>t von c selbst, sondern nur von der Äquivalenzklasse [c]<br />

ab. Dass Φ p ([c]) eine Derivation an p ist, also Φ p ([c]) ∈ T p M gilt, ergibt si<strong>ch</strong> aus<br />

der Produktregel der Differentialre<strong>ch</strong>nung.<br />

Für den Na<strong>ch</strong>weis, dass Φ p : T p M → T p M eine lineare Abbildung ist, sei (ϕ, U)<br />

eine Karte an p. Na<strong>ch</strong> Glei<strong>ch</strong>ung (3.8.1) gilt dann<br />

Φ p ([c])f = D(f ◦ ϕ −1 )(ϕ(p)) A([c]),<br />

mit A wie in 3.3. Da A und D(f ◦ ϕ −1 )(ϕ(p)) lineare Abbildungen sind, ist au<strong>ch</strong><br />

Φ p linear.<br />

Als nä<strong>ch</strong>stes zeigen wir, dass Φ p injektiv ist. Ist Φ p ([c]) = 0, dann gilt na<strong>ch</strong> (3.8.1)<br />

für alle f ∈ C ∞ (M)<br />

0 = Φ p ([c])f<br />

= D(f ◦ ϕ −1 d(ϕ ◦ c)<br />

)(ϕ(p)) (0)<br />

dt<br />

n∑ ∂(f ◦ ϕ −1 )<br />

=<br />

∂x i (ϕ(p)) d(ϕi ◦ c)<br />

(0).<br />

dt<br />

i=1<br />

22

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!