Noter til Geometri 1
Noter til Geometri 1
Noter til Geometri 1
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Det er velkendt fra Mat11, se f.eks. Sætning 4.3 [KT], hvordan man udregner<br />
de partielle afledede af (G ◦ F )j, nemlig<br />
∂(G ◦ F )j<br />
(u) =<br />
∂xi<br />
m ∂Gj<br />
k=1<br />
∂xk<br />
(F (u)) ∂Fk<br />
(u) (7.2)<br />
∂xi<br />
Vi ser, at G◦F har klasse C1 ,hvisb˚ade G og F har klasse C1 . Men (7.2) giver<br />
ogs˚a, at G ◦ F har klasse C2 ,hvisFog G har klasse C2 . Man differentierer<br />
(7.2) m.h.t. x, ogbemærkerat ∂ af højre side bliver kontinuert. Induktivt<br />
∂x<br />
ser vi, at hvis F og G har klasse Ck ,s˚a gælder det samme for G ◦ F .<br />
Lemma 7.2 (Kædereglen). For Jacobimatricerne gælder<br />
D(G ◦ F )u = DGF (u) · DFu.<br />
Bevis. Det ji’te element i produktet DGF (u)·DFu er den j’te række i DGF (u)<br />
multipliceret med den i’te søjle i DFu. Det er præcis højre side i 7.2.<br />
Hvis vi betragter Jacobimatricerne som lineære afbildninger (differentialerne)<br />
DFu : R n → R m , DGF (u) : R m → R l<br />
s˚a fortæller Lemma 7.2, at differentialet af en sammensætning er sammensætningen<br />
af differentialerne. Dette udtrykkes skematisk i (7.3): En “kommutativ<br />
trekant af C k -funktioner overføres i en kommutativ trekant af lineære afbildninger”:<br />
F<br />
U<br />
<br />
<br />
V<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
H <br />
G<br />
<br />
<br />
<br />
<br />
Rn DFu <br />
<br />
R<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
DHu <br />
<br />
<br />
<br />
<br />
<br />
m<br />
<br />
D(−)u <br />
Rl Rl DG F (u)<br />
(H = G ◦ F ⇒ DHu = DGF (u) ◦ DFu).<br />
(7.3)<br />
Vi minder om, at U ⊆ R n kaldes konveks, hvis der for to vilk˚arlige punkter<br />
x, y ∈ U gælder, at liniestykket mellem dem er indeholdt i U, dvs.<br />
[x, y ]={tx +(1− t)y 0 ≤ t ≤ 1} ⊆U.<br />
Kuglerne B(x, r) ={y ∈ R n ||y − x ≤ r} er konvekse.<br />
37