Věta o inverzní funkci

Technology

12 hours ago

Author

Věta o inverzní funkci v diferenciálním počtu v matematice je postačující podmínka, aby k funkci existovalo inverzní zobrazení v okolí nějakého bodu svého definičního oboru: musí existovat derivace této funkce, která je spojitá a v daném bodě nenulová. Věta také udává vzorec pro derivaci inverzní funkce. V diferenciálním a integrálním počtu funkcí mnoha proměnných lze tuto větu zobecnit na jakoukoli spojitě diferencovatelnou vektorovou funkci, jejíž Jacobián je nenulový v nějakém bodě jejího definičního oboru, což dává vzorec pro Jacobiho matici inverzní funkce. Existují také verze věty o inverzní funkci pro holomorfní funkce v oboru komplexních čísel, pro derivovatelná zobrazení mezi varietami, pro derivovatelná funkce mezi Banachovými prostory atd.

Tvrzení věty

Pro funkce jedné proměnné věta tvrdí, že pokud f je spojitě derivovatelná funkce s nenulovou derivací v bodě , pak f je v okolí bodu invertovatelná, inverzní funkce je spojitě derivovatelná, a derivace inverzní funkce v bodě b=f(a) se rovná převrácené hodnotě derivace funkce f v bodě a:

:\bigl(f^{-1}\bigr)'(b) = \frac{1}{f'(a)} = \frac{1}{f'(f^{-1}(b))}.

Alternativní verze, která předpokládá, že f je spojitá a prostá (injektivní) v okolí bodu , diferencovatelná v bodě s nenulovou hodnotou derivace, také vede k výsledku, že f má inverzní funkci v okolí bodu , která je spojitá a injektivní, a pro kterou platí výše uvedený vzorec.

Jasně vidíme, že důsledkem je, že pokud funkce f má v bodě k nenulových derivací, pak má f inverzní funkci v okolí bodu , která má také k derivací. k může být kladné celé číslo nebo \infty.

Pro funkce více než jedné proměnné věta tvrdí, že pokud je spojitě derivovatelná funkce z otevřené podmnožiny \mathbb{R}^n\. do \mathbb{R}^n\. +more a totální derivace je invertovatelná v bodě (tj. Jacobián funkce v je nenulový), pak je invertovatelná v okolí : inverzní funkce na je definovaná na nějakém okolí bodu q=F(p)\. Pokud píšeme F=(F_1,\ldots,F_n)\. , to znamená, že systém rovnic y_i = F_i(x_1, \dots, x_n)\. má jednoznačné řešení pro x_1, \dots, x_n\. kvůli/pomocí y_1, \dots, y_n\. , za předpokladu, že, omezíme a na dostatečně malé okolí a , po řadě. V nekonečněrozměrném případě věta vyžaduje zvláštní hypotézu, podle které Fréchetova derivace funkce v bodě má omezenou inverzi.

Věta navíc říká, že inverzní funkce F^{-1}\. je spojitě derivovatelná a derivace jejího Jacobiánu v q=F(p)\. +more je inverzní matice k Jacobiánu funkce v bodě :.

: J_{F^{-1}}(q) = [ J_F(p) ]^{-1}. Obtížnou částí věty je důkaz existence a derivovatelnosti inverzní funkce F^{-1}\. +more Z toho již vzorec pro derivaci inverzní funkce vyplývá z řetízkového pravidla použitého na F^{-1}\circ F = \text{id}: :I = J_{F^{-1} \circ F} (p) \ =\ J_{F^{-1}} (F(p)) \cdot J_F (p) \ =\ J_{F^{-1}} (q) \cdot J_F (p).

Příklad

Uvažujme vektorovou funkci F:\mathbb{R}^2\to\mathbb{R}^2\! definovanou vztahem: : F(x,y)= \begin{bmatrix} {e^x \cos y}\\ {e^x \sin y}\\ \end{bmatrix}.

Její Jacobiho matice je: : J_F(x,y)= \begin{bmatrix} {e^x \cos y} & {-e^x \sin y}\\ {e^x \sin y} & {e^x \cos y}\\ \end{bmatrix}

a Jacobián: : \det J_F(x,y)= e^{2x} \cos^2 y + e^{2x} \sin^2 y= e^{2x}. \,\!

Determinant e^{2x}\. je všude nenulový. +more Věta tedy zaručuje, že pro každý bod z \mathbb{R}^2\. , existuje nějaké jeho okolí, na kterém je invertovatelná. To neznamená, že je invertovatelná na celém svém definičním oboru: v tomto případě není ani injektivní, protože je periodická: F(x,y)=F(x,y+2\pi)\.

Important

Inverzní zobrazení

Jacobiho matice a determinant

Banachova věta o pevném bodě

Protipříklad

Funkce f(x)=x+2 x^2\sin(\tfrac1x) je omezená v kvadratické obálce v okolí přímky y=x, takže f'(0)=1. +more Má však lokální extrémy hromadící se v bodě x=0, takže není vzájemně jednoznačným zobrazením na žádném okolním intervalu. Vynecháme-li předpoklad, že derivace musí být spojitá, pak funkce nemusí být invertovatelná. Například f(x) = x + 2x^2\sin(\tfrac1x) a f(0)= 0 nemá spojitou derivaci f'\. (x) = 1 -2\cos(\tfrac1x) + 4x\sin(\tfrac1x) a f'\. (0) = 1, která neexistuje libovolně blízko bodu x=0. Tyto kritické body jsou lokální extrémy funkce f, takže f není vzájemně jednoznačná (a není invertovatelná) na žádném intervalu, který obsahuje x=0. Intuitivně se směrnice f'\. (0)=1 nerozšířuje na blízké body, ve kterých mají směrnice mírné, ale velmi rychlé oscilace.

Metody důkazu

Díky důležitosti věty o inverzní funkci existuje mnoho jejích důkazů. V učebnicích je obvykle uveden důkaz, který používá princip kontrakce známý také jako Banachova věta o pevném bodě (který lze také použít jako klíčový krok v důkazu existence a jednoznačnosti řešení obyčejné diferenciální rovnice).

Protože věta o pevném bodě je platí i v nekonečněrozměrném (Banachově) prostoru, její důkaz lze okamžitě zobecnit na nekonečněrozměrnou verzi věty o inverzní funkci (viz část Zobecnění níže).

Alternativní důkaz pro konečněrozměrný prostor je založen na Weierstrassově větě pro funkce na kompaktní množině.

Důkaz, který používá Newtonovu metodu, má tu výhodu, že poskytuje efektivní verzi věty: meze derivace funkce dávají odhad velikosti okolí, na kterém je funkce invertovatelná.

Zobecnění

Variety

Větu o inverzní funkci lze přeformulovat pro derivovatelná zobrazení mezi derivovatelnými varietami. V tomto případě věta tvrdí, že pro derivovatelné zobrazení F: M \to N (třídy C^1), pokud diferenciál funkce F :dF_p: T_p M \to T_{F(p)} N je lineární izomorfismus v nějakém bodě p množiny M, pak existuje otevřené okolí U bodu p tak, že :F|_U: U \to F(U)

je difeomorfismus. Z toho plyne, že a musí mít v bodě stejný rozměr. +more Pokud derivace funkce je izomorfismem pro všechny body v , pak zobrazení je lokální difeomorfismus.

Banachovy prostory

Věta o inverzní funkci může také být zobecněný na derivovatelná zobrazení mezi Banachovými prostory a . Nechť jsou otevřené okolí počátku v a F: U \to Y\. +more a spojitě derivovatelná funkce a předpokládáme, že Fréchetova derivace dF_0: X \to Y\. funkce v bodě 0 je omezený lineární izomorfismus z na . Pak existuje otevřené okolí bodu F(0)\. v a spojitě derivovatelné zobrazení G: V \to X\. tak, že F(G(y)) = y pro všechna ve . Navíc G(y)\. je jediné dostatečně malé řešení rovnice F(x) = y\.

Banachovy variety

Uvedené dva směry zobecnění lze zkombinovat do věty o inverzní funkci pro Banachovy variety.

Věta o konstantním ranku

Větu o inverzní funkci (a větu o implicitní funkci) lze chápat jako speciální případ věty o konstantním ranku, která říká, že hladké zobrazení s konstantním rankem v okolí bodu lze vyjádřit v určité normální formě v okolí tohoto bodu. Konkrétně pokud F:M\to N má konstantní rank v okolí nějakého bodu p\in M\. +more, pak existuje otevřené okolí bodu a otevřené okolí bodu F(p)\. a existují diffeomorfismy u:T_pM\to U\. a v:T_{F(p)}N\to V\. takové, že F(U)\subseteq V\. tak, že derivace dF_p:T_pM\to T_{F(p)}N\. se rovná v^{-1}\circ F\circ u\. To znamená, že funkce „vypadá jako“ její derivace v okolí bodu . Z polospojitosti rankové funkce plyne, že existuje otevřená hustá podmnožina definičního oboru funkce , na které má derivace konstantním rank. Věta o konstantním ranku tedy platí v libovolném bodě definičního oboru.

Je-li derivace injektivní (příp. surjektivní) v bodě , pak je také injektivní (příp. +more surjektivní) v jeho okolí, a proto rank funkce je na tomto okolí konstantní, a proto věta o konstantním ranku platí.

Holomorfní funkce

Pokud je holomorfní funkce definovaná na otevřené podmnožině prostoru \mathbb{C}^n\. , kterou zobrazuje do \mathbb{C}^n\. +more a komplexní derivace Jacobiho matice je invertovatelná v nějakém bodě , pak je invertovatelná funkce v okolí . To okamžitě vyplývá z verze pro více reálných proměnných. Je možné také ukázat, že inverzní funkce je opět holomorfní.

Odkazy

Poznámky

Reference

Související články