Odwzorowania proste 209
10.5. DEFINICJA. Jeżeli G odwzorowuje zbiór otwarty £ c R" w R" i jeżeli istnieje wskaźnik m taki, że
(9) G(x)= X.*,e,+g!(x)em (xe£),
gdzie g jest funkcją rzeczywistą określoną na E, to G nazywamy odwzorowaniem prostym. Zatem odwzorowania proste to takie odwzorowania, które zmieniają co najwyżej jedną współrzędną. Zauważmy, że (9) można też napisać w postaci
(10) G(x) = x+[r/(x)-xjem.
Jeżeli g jest różnicżkowalna w jakimś punkcie a e £, to także G jest różniczkowalna w tym punkcie. Wtedy macierz [«,;] operatora G'(a) ma w m-tym wierszu wyrazy
(U) (Dtg) (a),..., {Dmg) (a).....(D„g) (a)
oraz przy j ^ m mamy ay — 1 i ety = Odia i ^ j. Zatem jakobian G ma postać
(12) Jc(a)=det[G'(a)] = (D^)(a)
i na podstawie twierdzenia 9.36 widzimy, że pochodna G'(a) jest odwracalna wtedy i tylko wtedy, gdy (Dmg) (a) ź 0.
10.6. DEFINICJA. Operator liniowy B na R", który zamienia miejscami dwa elementy bazy standardowej R" pozostawiając pozostałe elementy nie zmienione będziemy nazywali przestawieniem.
Na przykład przestawienie B na jR4 zamieniające e2 i e4 ma postać:
(13) jB(x1e1+.x2e2+X3e3+X4e4) = x1e1+X2e4+x3e3+x4e2
lub równoważnie
(14) £(x1ei+X2e2+X3e3+x4e4) = x1e1+x4e2+X3e3+X2e4.
Możemy więc myśleć o B jako o operatorze zamieniającym współrzędne lub zmieniającym wektory bazowe.
W dowodach, które dalej nastąpią, będziemy używali projekcji P0,..., P„ w Rn, zdefinio* wanych przez P0x = 0, oraz
(15) Pmx = x1e1+...+xmem dla 1 ^ m < n.
Zatem Pm jest projekcją, której obraz i jądro są rozpinane przez odpowiednio {ej, .„, ą,}
* {®m+1» ••• > *»}•
10.7. TWIERDZENIE. Załóżmy, że F jest W-odwzorowaniem otwartego zbioru E <=■ R* w R\ 0 e E, F(0) =» 0 i F(0) jest odwracalne. Wtedy istnieje otoczenie punktu 0 w R", w którym ma miejsce przedstawienie
U - Podstawy analizy matematycznej