Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
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