# Teorema de la función inversa

En la rama de la matemática denominada análisis matemático, el teorema de la función inversa proporciona las condiciones suficientes para que una aplicación (función) sea invertible localmente en un entorno de un punto $p$ en términos de su derivada en dicho punto. Técnicamente es un teorema de existencia local de la función inversa. El teorema puede enunciarse para aplicaciones en $\mathbb {R} ^{n}$ o se puede generalizar a variedades diferenciables o espacios de Banach.

## Diferenciabilidad de la inversa

* Sea $A\subseteq \mathbb {R} ^{n}$, $a\in {\overset {\mathrm {o} }{A}}$ y $f:A\to \mathbb {R} ^{n}$ inyectiva, diferenciable en $a$ y tal que $f(a)\in {\overset {\mathrm {o} }{f(A)}}$.
* Entonces, $f^{-1}$ es diferenciable en $f(a)$ si y sólo si $f^{-1}$ es continua en $f(a)$ y $Df(a)$ es invertible (esto es, $\det[Jf(a)]\neq 0$).
* En tal caso, $Df^{-1}(f(a))=[Df(a)]^{-1}$.
* Además, si $f$ es de clase ${\mathcal {C}}^{k}(A)$, entonces $f^{-1}$ es también de clase ${\mathcal {C}}^{k}(f(A))$.

## Teorema de la función inversa

La versión en $\mathbb {R} ^{n}$ del teorema es la siguiente:
* Teorema de la Función Inversa
* Sea $\Omega \subseteq \mathbb {R} ^{n}$ abierto, $f:\Omega \to \mathbb {R} ^{n}$ de clase ${\mathcal {C}}^{1}(\Omega )$ y $a\in \Omega$.
* Si $Df(a)$ es invertible (esto es, $\det[Jf(a)]\neq 0$), entonces existen abiertos $U,V\subseteq \mathbb {R} ^{n}$ con $a\in U\subseteq \Omega$ tales que $f|_{U}:U\to V$ es un difeomorfismo de clase ${\mathcal {C}}^{1}$.
* Además, si $f$ es de clase ${\mathcal {C}}^{k}(\Omega )$, entonces $f|_{U}$ es un difeomorfismo de clase ${\mathcal {C}}^{k}$.
En tal caso, por ser $(f|_{U})^{-1}:V\to U$ continua y diferenciable en todo punto de $V$, se tiene que $D(f|_{U})^{-1}((f|_{U})(x))=[D(f|_{U})(x)]^{-1}$ para todo $x\in U$.
Existe una versión del teorema en espacios de Banach, que es una generalización de lo anterior. Sin embargo, la versión presentada es la que se presenta frecuentemente en la literatura puesto que su comprensión es más fácil. La demostración del teorema no es sencilla, puede consultarse en las referencias puesto que entre se requiere aplicar el teorema del punto fijo de Banach y la norma matricial además de otros resultados del análisis matemático que se obtienen de la caracterización de la convexidad.

## Ejemplo

Consideremos la función $f:\mathbb {R} ^{2}\to \mathbb {R} ^{2}$ definida por $f(x,y)=(e^{x}\cos(y),e^{x}\operatorname {sen}(y))$.
Su matriz jacobiana en cualquier $(x,y)\in \mathbb {R} ^{2}$ es:
    $Jf(x,y)={\begin{pmatrix}e^{x}\cos(y)&-e^{x}\operatorname {sen}(y)\\e^{x}\operatorname {sen}(y)&e^{x}\cos(y)\\\end{pmatrix}}$
y su determinante:
    $\det[Jf(x,y)]=e^{2x}\cos(y)^{2}+e^{2x}\operatorname {sen}(y)^{2}=e^{2x}\neq 0$.
Como el determinante es no nulo en todo punto $(x,y)\in \mathbb {R} ^{2}$, aplicando el teorema, para cada punto existe un abierto $U\subseteq \mathbb {R} ^{2}$ que lo contiene en el que $f|_{U}$ es invertible.

## Generalizaciones
### Variedades diferenciables

En este contexto, el teorema afirma que dada una aplicación F : M → N entre dos variedades diferenciables, la diferencial de F,
    (dF)$_p$ : T$_p$M → T$_{F(p)}$N
es un isomorfismo lineal (es decir, isomorfismo entre espacios vectoriales) en un punto p de M, si y sólo si existe un entorno abierto U de p tal que
    F|$_U$ : U → F(U)
es un difeomorfismo.
Dicho de otro modo, la diferencial de F es un isomorfismo en todos los puntos p de M si y sólo si la aplicación F es un difeomorfismo local.

## Inversa global

El teorema de la función inversa sólo garantiza localmente la existencia de una función inversa. Los requerimientos para la existencia de una inversa global son algo más complicados y no quedan garantizados por el cumplimiento de las condiciones del teorema de la función inversa. De hecho dada una función diferenciable:
   $f:\Omega \subset \mathbb {R} ^{n}\to \mathbb {R} ^{m},\quad m\geq n,\quad f\in C^{1}(\Omega ,\mathbb {R} ^{m})$
Puede demostrarse que existe una constante $\scriptstyle c(\Omega )$ si se cumple:
   $\max _{x\in {\bar {\Omega }}}\|Du_{f}(x)\|=\sup _{x\in \Omega }\|Du_{f}(x)\|<c(\Omega )\leq 1$
Tal que la función f admite inversa global, donde u$_f$ es el vector desplazamiento asociado a la función definido como la resta vectorial entre la imagen de un punto y su posición inicial:
   $u_{f}(x)=f(x)-x\in \mathbb {R} ^{n}$
Puede demostrarse que $c(\Omega )=1$ si el dominio $\scriptstyle \Omega$ es convexo, mientras que un dominio no convexo requiere $c(\Omega )<1$.