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 je spojitě derivovatelná funkce s nenulovou derivací v bodě , pak je v okolí bodu invertovatelná, inverzní funkce je spojitě derivovatelná, a derivace inverzní funkce v bodě se rovná převrácené hodnotě derivace funkce v bodě :
Alternativní verze, která předpokládá, že je spojitá a prostá (injektivní) v okolí bodu , diferencovatelná v bodě s nenulovou hodnotou derivace, také vede k výsledku, že 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 má v bodě nenulových derivací, pak má inverzní funkci v okolí bodu , která má také derivací. může být kladné celé číslo nebo .
Pro funkce více než jedné proměnné věta tvrdí, že pokud je spojitě derivovatelná funkce z otevřené podmnožiny do 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 . Pokud píšeme , to znamená, že systém rovnic má jednoznačné řešení pro kvůli/pomocí , 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 je spojitě derivovatelná a derivace jejího Jacobiánu v je inverzní matice k Jacobiánu funkce v bodě :
Obtížnou částí věty je důkaz existence a derivovatelnosti inverzní funkce . Z toho již vzorec pro derivaci inverzní funkce vyplývá z řetízkového pravidla použitého na :
Příklad Uvažujme vektorovou funkci definovanou vztahem:
Její Jacobiho matice je:
a Jacobián:
Determinant je všude nenulový. Věta tedy zaručuje, že pro každý bod z , 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á: .
Protipříklad náhled|Funkce je omezená v kvadratické obálce v okolí přímky , takže . Má však lokální extrémy hromadící se v bodě , 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 a nemá spojitou derivaci a , která neexistuje libovolně blízko bodu . Tyto kritické body jsou lokální extrémy funkce , takže není vzájemně jednoznačná (a není invertovatelná) na žádném intervalu, který obsahuje . Intuitivně se směrnice 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í (třídy ), pokud diferenciál funkce
je lineární izomorfismus v nějakém bodě množiny , pak existuje otevřené okolí bodu tak, že
je difeomorfismus. Z toho plyne, že a musí mít v bodě stejný rozměr. 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 a spojitě derivovatelná funkce a předpokládáme, že Fréchetova derivace funkce v bodě 0 je omezený lineární izomorfismus z na . Pak existuje otevřené okolí bodu v a spojitě derivovatelné zobrazení tak, že pro všechna ve . Navíc je jediné dostatečně malé řešení rovnice .
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 má konstantní rank v okolí nějakého bodu , pak existuje otevřené okolí bodu a otevřené okolí bodu a existují diffeomorfismy a takové, že tak, že derivace se rovná . 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. 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 , kterou zobrazuje do 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 Banachova věta o pevném bodě
Literatura
Kategorie:Počet více proměnných Kategorie:Diferenciální topologie Kategorie:Inverzní funkce Kategorie:Reálná analýza Kategorie:Matematická analýza Kategorie:Matematické věty a důkazy