Teorema della funzione inversa

In matematica, il teorema della funzione inversa dà condizioni sufficienti affinché una funzione possegga una inversa locale, cioè affinché essa sia invertibile in un appropriato intorno di un punto del suo dominio.

Il teorema può essere enunciato per funzioni reali o vettoriali e generalizzato per spazi di Banach e varietà differenziabili.

Il teorema

Sia ${\displaystyle \Omega \subseteq \mathbb {R} ^{n}}$ un aperto e ${\displaystyle x_{0}}$ un punto di ${\displaystyle \Omega }$. Se ${\displaystyle F\colon \Omega \to \mathbb {R} ^{n}}$ è una funzione di classe C¹ tale che il determinante jacobiano di ${\displaystyle F}$ in ${\displaystyle x_{0}}$ è non nullo:

${\displaystyle |J_{F}(x_{0})|=\det {\frac {\partial (F_{1},\ldots ,F_{n})}{\partial (x_{1},\ldots ,x_{n})}}\neq 0,}$

o equivalentemente se il differenziale di ${\displaystyle F}$ in ${\displaystyle x_{0}}$:

${\displaystyle dF_{x_{0}}\colon \mathbb {R} ^{n}\to \mathbb {R} ^{n}}$

è un isomorfismo lineare, allora esiste un intorno ${\displaystyle U}$ di ${\displaystyle x_{0}}$ tale che la restrizione di ${\displaystyle F}$ su ${\displaystyle U}$:

${\displaystyle F\colon U\to F(U)}$

è invertibile con ${\displaystyle G=F^{-1}}$ di classe ${\displaystyle C^{1}}$ su ${\displaystyle F(U).}$ Inoltre per ogni ${\displaystyle y\in F(U)}$ vale la relazione:

${\displaystyle J_{G}(y)=(J_{F}(G(y)))^{-1}.}$

Una funzione differenziabile che possiede inversa locale differenziabile si dice un diffeomorfismo locale.

Esempio

La funzione definita sullo spazio euclideo bidimensionale:

${\displaystyle f(x,y)=(x^{2}-y^{2},2xy)}$

possiede matrice jacobiana:

${\displaystyle Jf_{(x,y)}={\begin{bmatrix}2x&-2y\\2y&2x\end{bmatrix}}}$

che ha determinante ${\displaystyle |Jf_{(x,y)}|=4(x^{2}+y^{2})}$, non nullo se il punto ${\displaystyle (x,y)}$ non è l'origine. Pertanto ${\displaystyle f}$ è un diffeomorfismo locale in ogni punto di ${\displaystyle \mathbb {R} ^{2}}$ diverso dall'origine. Ma ${\displaystyle f}$ non è un diffeomorfismo poiché non è iniettiva: ad esempio ${\displaystyle f(2,0)=f(-2,0)}$.

Generalizzazioni

Varietà differenziabili

Il teorema si estende al caso di funzioni tra due varietà differenziabili ${\displaystyle M}$ ed ${\displaystyle N}$, richiedendo la condizione che il differenziale di ${\displaystyle F}$:

${\displaystyle dF_{p}\colon T_{p}M\to T_{F(p)}N}$

sia un isomorfismo lineare tra gli spazi tangenti.

Spazi di Banach

Nel contesto degli spazi di Banach, il teorema assume la seguente forma: se ${\displaystyle F\colon X\to Y}$ è una mappa tra spazi di Banach differenziabile con continuità in un intorno dello 0 e il differenziale ${\displaystyle dF_{0}}$ è un isomorfismo lineare limitato di ${\displaystyle X}$ in ${\displaystyle Y}$, allora ${\displaystyle F}$ è localmente invertibile in 0 mediante una funzione differenziabile.

Bibliografia

• Nicola Fusco, Paolo Marcellini, Carlo Sbordone, Elementi di Analisi Matematica due, Editore Liguori, ISBN 88-207-3137-1
• Edoardo Sernesi, Geometria 2, Bollati Boringhieri, ISBN 88-339-5548-6
• (EN) Renardy, Michael and Rogers, Robert C., An introduction to partial differential equations, Texts in Applied Mathematics 13, Second, New York, Springer-Verlag, 2004, pp. 337–338, ISBN 0-387-00444-0.
• (EN) Walter Rudin, Principles of mathematical analysis, International Series in Pure and Applied Mathematics, Third, New York, McGraw-Hill Book Co., 1976, pp. 221–223.

Voci correlate

• Classe C di una funzione
• Diffeomorfismo locale
• Differenziale (matematica)
• Funzione inversa
• Funzione differenziabile
• Matrice jacobiana
• Operatore lineare limitato
• Teorema delle funzioni implicite

Collegamenti esterni

• (EN) Eric W. Weisstein, Teorema della funzione inversa, su MathWorld, Wolfram Research.

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica