13
Uwaga 3.9 Wartość odwzorowania liniowego L w punkcie x oznaczamy Lx.
Uwaga 3.10 Odwzorowanie liniowe można utożsamić z macierzą (w peumych bazach). W naszym wypadku rozpatrujemy WYŁĄCZNIE bazy standardowe.
Twierdzenie 3.9 Niech
“Ir ' “2r
' Oli “12 “21 “22
L =
\ “dl “d2 ■ ■ • “dr /
Wtedy dla dowolnego x z Rr mamy
Twierdzenie 3.10 Odwzorowanie liniowe jest odwzorowaniem Lipschitza ze stalą y J2 52 więc jest ciągle.
Niech r będzie liczbą naturalną większą od 1, d i l liczbami naturalnymi, G dowolnym niepustym podzbiorem Rr, zaś p będzie punktem z Rr.
Definicja 3.4 Niech G będzie zbiorem otwartym w £r, p punktem G, a f: G —* Rd dowolnym odwzorowaniem.
Odwzorowanie f jest różniczkowalne w punkcie p wtedy i tylko wtedy, gdy istnieje przekształcenie liniowe L 6 L(Rr,Rd)
,im /(p + h)-/(p)-Lh
Wtedy przekształcenie liniowe L nazywamy pochodni odwzorowania f w punkcie p i oznaczamy symbolem Df{p) lub /'(p).
Jeżeli w każdym punkcie x zbioru G odwzorowanie f jest różniczkowalne, to mówimy, że jest to odwzorowanie różniczkowalne na zbiorze G.
Definicja 3.5 Niech G będzie zbiorem otwartym w £', a f: G —> Rd dowolnym odwzorowaniem. Załóżmy, że f jest różniczkowalne na G. Odwzorowanie Df:G—* L(Rr,Rd) nazywamy pochodną odwzorowania f.
Uwaga 3.11
1. Df oznacza się również /'.
2. Zauważmy, że tak naprawdę przy utożsamieniu pochodnej odwzorowania f w punkcie p z macierzą [flij) jeTr w standardowych bazach, możemy myśleć o Df jako odwzorowaniu z G w R'"d.
3. Niedługo się dowiemy, jak wyrazy macierzy (“tjOjgTdjgi^: reprezentującej pochodną odwzorowania f w punkcie p związane są z odwzorowaniem f.
Twierdzenie 3.11 Niech G będzie zbiorem otwartym w £T, p punktem G, a f: G —* Rd dowolnym odwzorowaniem.
Odwzorowanie f jest różniczkowalna w punkcie p wtedy i tylko wtedy, gdy istnieje przekształcenie liniowe L 6 L(Rr,Rd)
||/(p + h)-/(p)-Lh|| 11*11
Uwaga 3.12 Zauważmy, że w liczniku i mianowniku funkcji pod granicą występują normy euklidesowe w różnych przestrzeniach euklidesowych, chociaż są tak samo oznaczane.
odwzorowanie Rr3hw /'(p)(h) € Rrf. Należy jednak zaznaczyć, że przy rozpatrywaniu pojęcia różniczkowalności odwzorowań o dziedzinach i przeciwdziedzinach będących przestrzeniami Banacha (zobacz [2]) mówi się raczej o różniczce niż pochodnych.