06.08.2013 Views

Noter til Geometri 1

Noter til Geometri 1

Noter til Geometri 1

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!