Twierdzenie o istnieniu różniczki odwzorowania z \(\displaystyle{ \RR^d}\) w \(\displaystyle{ \RR}\):
Niech \(\displaystyle{ f: U \to \RR}\), gdzie \(\displaystyle{ U \subset \RR^d}\).
Wtedy jeśli w otoczeniu punktu \(\displaystyle{ x \in U}\) istnieją wszystkie pochodne cząstkowe pierwszego rzędu \(\displaystyle{ f}\) i są w \(\displaystyle{ x}\) ciągłe, to istnieje różniczka \(\displaystyle{ df_x}\).
Jak brzmi wersja tego twierdzenia dla funkcji \(\displaystyle{ g: \RR^d \to \RR^p}\)?
Czy spełnienie założeń powyższego twierdzenia dla każdej z funkcji składowych \(\displaystyle{ g}\) wystarczy?
Twierdzenie o istnieniu różniczki odwzorowania
-
- Użytkownik
- Posty: 13
- Rejestracja: 30 lip 2019, o 01:26
- Płeć: Mężczyzna
- Lokalizacja: Warszawa
- Podziękował: 3 razy
Twierdzenie o istnieniu różniczki odwzorowania
Ostatnio zmieniony 21 sie 2019, o 13:29 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości. Nie stosuj wzorów matematycznych w nazwie tematu.
Powód: Poprawa wiadomości. Nie stosuj wzorów matematycznych w nazwie tematu.
-
- Użytkownik
- Posty: 7918
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1671 razy
Twierdzenie o istnieniu różniczki odwzorowania
Tak.
Odwzorowanie \(\displaystyle{ g: \RR^d \to \RR^p}\) jest różniczką \(\displaystyle{ dg_{x}}\) w punkcie \(\displaystyle{ x,}\) wtedy i tylko wtedy, gdy jego współrzędne \(\displaystyle{ g_{1}, g_{2}, ..., g_{p}}\) są różniczkowalne w tym punkcie.
Odwzorowanie \(\displaystyle{ g: \RR^d \to \RR^p}\) jest różniczką \(\displaystyle{ dg_{x}}\) w punkcie \(\displaystyle{ x,}\) wtedy i tylko wtedy, gdy jego współrzędne \(\displaystyle{ g_{1}, g_{2}, ..., g_{p}}\) są różniczkowalne w tym punkcie.
- karolex123
- Użytkownik
- Posty: 751
- Rejestracja: 22 gru 2012, o 11:01
- Płeć: Mężczyzna
- Lokalizacja: somewhere
- Podziękował: 39 razy
- Pomógł: 127 razy
Re: Twierdzenie o istnieniu różniczki odwzorowania
Można powiedzieć, że ten warunek w przypadku odwzorowania skalarnego \(\displaystyle{ \mathbb{R} ^d \to \mathbb{R}}\) nie zmienia się w przypadku funkcji wektorowej \(\displaystyle{ f: U \subset \mathbb{R}^d \to \mathbb{R}^p}\). Rzeczywiście, jeśli pochodne cząstkowe, traktowane jako funkcje \(\displaystyle{ U \to \mathbb{R}^p}\) są ciągłe w \(\displaystyle{ x \in U}\), to funkcja \(\displaystyle{ f}\) jest różniczkowalna w \(\displaystyle{ x}\). Wtedy także jest \(\displaystyle{ df_x h=\sum_{i=d} ^d h_i \frac{\partial f}{\partial x_i} \left( x \right).}\)
Ostatnio zmieniony 21 sie 2019, o 15:01 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
-
- Użytkownik
- Posty: 2282
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Twierdzenie o istnieniu różniczki odwzorowania
Coś tu nie gra. Zakładasz, że \(\displaystyle{ g}\) jest różniczką, czyli że funkcja jest różniczkowalna. Jeśli \(\displaystyle{ g}\) jest różniczką, to \(\displaystyle{ g_1,\ldots , g_p}\) są współrzędnymi tej różniczki, czyli funkcji liniowej. Te współrzędne są zawsze różniczkowalne.janusz47 pisze:Tak.
Odwzorowanie \(\displaystyle{ g: \RR^d \to \RR^p}\) jest różniczką \(\displaystyle{ dg_{x}}\) w punkcie \(\displaystyle{ x,}\) wtedy i tylko wtedy, gdy jego współrzędne \(\displaystyle{ g_{1}, g_{2}, ..., g_{p}}\) są różniczkowalne w tym punkcie.
-
- Użytkownik
- Posty: 7918
- Rejestracja: 18 mar 2009, o 16:24
- Płeć: Mężczyzna
- Podziękował: 30 razy
- Pomógł: 1671 razy
Twierdzenie o istnieniu różniczki odwzorowania
\(\displaystyle{ dg_{x}}\) jest różniczką odwzorowania \(\displaystyle{ G:\RR^{d} \to \RR^{p}}\) w punkcie \(\displaystyle{ x}\), jeśli wszystkie współrzędne tego odwzorowania \(\displaystyle{ g_{i}, \ \ i=1,2,...,p}\) są różniczkowalne (tzn. istnieją wszystkie ich pierwsze pochodne cząstkowe i są funkcjami ciągłymi).