Noter til Geometri 1
Noter til Geometri 1
Noter til Geometri 1
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Lad GLn(R) ⊆ Mn(R) være gruppen af invertible (n × n)-matricer. Determinantafbildningen<br />
det : Mn(R) → R<br />
er et polynomiumsudtryk i matricens indgange og derfor C∞ . Specielt er den<br />
kontinuert, og GLn(R) =det −1 (R −{0}) eren˚aben delmængde af Mn(R) =<br />
Rn2. Vi er nu klar <strong>til</strong> at bevise invers funktions sætning, som fortæller, at en<br />
Ck-afbildning, k ≥ 1, F : U → Rn lokalt omkring a har en invers afbildning,<br />
hvis og kun hvis differentialet DFa : Rn → Rn er en isomorfi. Vi begynder<br />
med C1-udgaven. Sætning 7.4. Lad U ⊆ R n være en ˚aben mængde og F : U → R n en C 1 -<br />
afbildning. Antag at DFu0 er invertibel for et punkt u0 ∈ U.<br />
Da findes der ˚abne omegne u0 ∈ W ⊆ U og F (u0) ∈ V ⊆ R n ,s˚aledes at<br />
(i) F (W )=V<br />
(ii) F|W : W → V er bijektiv<br />
(iii) F −1<br />
|W : V → W har klasse C1 .<br />
Hvis der omvendt eksisterer ˚abne omegne, s˚a (i)–(iii) er opfyldt, s˚a erDFu0<br />
invertibel.<br />
Bevis. Vi opdeler beviset i tre mindre p˚astande, som bevises hver for sig.<br />
P˚astand 1. Der findes en ˚aben omegn u0 ∈ W ⊆ U, s˚aledes at F|W er<br />
injektiv, og s˚a matricerne DFx, Φ(x, a) begge er invertible for x, a ∈ W .<br />
Da F er C1 , er afbildningen,<br />
DF : U → Mn(R),<br />
som <strong>til</strong> u ∈ U <strong>til</strong>ordner Jacobiantmatricen DFu, kontinuert. Da GLn(R) er<br />
˚aben i Mn(R), er DF −1 (GLn(R))˚aben. Da vi forudsatte, at DFu0 er invertibel<br />
ligger u0 i DF −1 (GLn(R)), og der findes en ˚aben kugleomegn B = B(u0,ε) ⊆<br />
U med detDFu = 0foru ∈ B.<br />
Vi anvender nu Lemma 7.3,<br />
F (x) − F (a) =Φ(x, a)(x − a) (7.4)<br />
for (x, a) ∈ B × B. LadD =Φ −1 (GLn(R)). Dette er en ˚aben delmængde af<br />
U × U, ogdaΦ(u0,u0) =DFu0 ∈ GLn(R) ligger (u0,u0) iD. DaD er ˚aben,<br />
kan vi vælge et δ>0, s˚a<br />
B(u0,δ) × B(u0,δ) ⊆ D.<br />
39