06.08.2013 Views

Noter til Geometri - Aarhus Universitet

Noter til Geometri - Aarhus Universitet

Noter til Geometri - Aarhus Universitet

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

7 Den inverse funktions sætning<br />

I denne paragraf vender vi <strong>til</strong>bage <strong>til</strong> differentiabilitet for funktioner F : U → R m ,<br />

hvor U er en åben delmængde af R n . En sådan funktion består af m koordinatfunktioner<br />

F(x) = (F1(x), . . . , Fm(x)), x = (x1, . . .,xn).<br />

Vi siger, at F er af klasse C1 , hvis enhver koordinatfunktion Fν(x) er kontinuert<br />

differentiabel, dvs. at ∂Fν<br />

∂Fν<br />

(u) eksisterer for alle u ∈ U, og at : U → R er<br />

∂xi ∂xi<br />

kontinuert. Hvis disse n·m funktioner har klasse C1 , siges F at have klasse C2 o.s.v.<br />

Definition 7.1. Lad U ⊆ R n være åben. En afbildning<br />

F : U → R m<br />

har klasse Ck (1 ≤ k ≤ ∞), hvis Fν har kontinuerte partielle afledede af alle<br />

ordener ≤ k. Hvis k = ∞, siges F at være glat (eller i [dC], differentiabel).<br />

For et punkt u ∈ U defineres Jacobimatricen i punktet u:<br />

DFu =<br />

⎛<br />

⎜<br />

⎝<br />

∂F1<br />

∂x1<br />

∂Fm<br />

∂x1<br />

(u) . . .<br />

.<br />

. ..<br />

(u) . . .<br />

∂F1<br />

∂xn (u)<br />

.<br />

∂Fm<br />

∂xn (u)<br />

Det er en m × n matrix og giver en lineær afbildning<br />

dFu : R n → R m ,<br />

som vi kalder differentialet af F i punktet u.<br />

Hvis U ⊆ R n og V ⊆ R m er åbne mængder, og vi har funktioner<br />

F : U → R m , G : V → R l<br />

med F(U) ⊆ V , så kan vi danne den sammensatte funktion<br />

Dens j’te koordinatfunktion er<br />

G ◦ F : U → R l<br />

⎞<br />

(G ◦ F)j(x) = Gj(F1(x), . . .,Fm(x)).<br />

⎟<br />

⎠ (7.1)<br />

Det er velkendt fra Matematisk Analyse 1, se f.eks. Sætning 9.36 i [ETP], hvordan<br />

man udregner 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 , hvis både G og F har klasse C1 . Men (7.2) giver<br />

også, at G ◦ F har klasse C2 , hvis F og G har klasse C2 . Man differentierer (7.2)<br />

m.h.t. x, og bemærker at ∂<br />

af højre side bliver kontinuert. Induktivt ser vi, at hvis<br />

∂x<br />

F og G har klasse Ck , så gælder det samme for G ◦ F.<br />

39

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

Saved successfully!

Ooh no, something went wrong!