Teorema de la función inversa

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 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 Rn o se puede generalizar a variedades diferenciables o espacios de Banach.

Contenido

Enunciado del Teorema

La versión en \mathbb{R}^n del teorema es la siguiente: Sea f:A \subseteq \mathbb{R}^n \to \mathbb{R}^n una función continuamente diferenciable. Supongamos que para a \in A, la diferencial Df(a)\, es invertible y que f(a)=b\,. Entonces existen abiertos U,V \subset \mathbb{R}^n tales que a\in U, b\in V y f:U\rightarrow V es una función biyectiva por lo que la inversa f^{-1}:V\rightarrow U de f\, es continuamente diferenciable y por lo tanto Df^{-1}(b)=[Df(a)]^{-1}\,.

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 de R2 en R2 definida por

\mathbf{F}(x,y)= \begin{bmatrix} {e^x \cos y}\\ {e^x \sin y}\\ \end{bmatrix}

Su matriz jacobiana es

J_F(x,y)= \begin{bmatrix} {e^x \cos y} & {-e^x \sin y}\\ {e^x \sin y} & {e^x \cos y}\\ \end{bmatrix}

y su determinante

\det J_F(x,y)= e^{2x} \cos^2 y + e^{2x} \sin^2 y= e^{2x}. \,\!

Como el determinante e2x es no nulo en todo punto, aplicando el teorema, para cada punto p de R2, existe un entorno de p en que F es invertible.

Generalizaciones

Variedades diferenciables

En este contexto, el teorema afirma que dada una aplicación F : M → N entre dos variedades diferenciables, si la diferencial de F,

(dF)p : TpM → TF(p)N

es un isomorfismo lineal (es decir, isomorfismo entre espacios vectoriales) en un punto p de M, entonces existe un entorno abierto U de p tal que

F|U : U → F(U)

es un difeomorfismo.

Dicho de otro modo, si la diferencial de F es un isomorfismo en todos los puntos p de M, entonces la aplicación F es un difeomorfismo local.

Véase también

Referencias

Para una demostración con detalles véase:

  • Alejandro Jofré, Patricio Felmer, Paul Bosch, Matías Bulnes, Arturo Prat, Luis Rademacher, José Zamora, y Mauricio Vargas. "Cálculo en Varias Variables - Apunte Completo" (2010). Disponible en: http://works.bepress.com/mvargas/1

Para ejemplos de aplicación práctica:

  • Bombal, Marin & Vera: Problemas de Análisis matemático: Cálculo Diferencial, 1988, ed. AC, ISBN 84-7288-101-6.

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Teorema de la función implícita — En análisis matemático, el teorema de la función implícita establece condiciones suficientes bajo las cuales una ecuación o conjunto de ecuaciones de varias variables permite definir a una de ellas o varias de ellas como función de las demás. Una …   Wikipedia Español

  • Teorema de la función abierta — En matemáticas, hay dos teoremas con el nombre Teorema de la función abierta . Análisis funcional En análisis funcional, el teorema de la función abierta, también conocido como el teorema de Banach Schauder, es un resultado fundamental que… …   Wikipedia Español

  • Función recíproca — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Teorema de inversión de Lagrange — En el ámbito del análisis matemático, el teorema de inversión de Lagrange, también denominado fórmula de Lagrange Bürmann , permite obtener la expansión en serie de Taylor de la función inversa de una función analítica. Contenido 1 Enunciado del… …   Wikipedia Español

  • Función biyectiva — Ejemplo de función biyectiva. En matemática, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento… …   Wikipedia Español

  • Función trigonométrica — En matemáticas, Las funciones trigonométricas son las funciones que se definen a fin de extender la definición de las razones trigonométricas a todos los números reales. Las funciones trigonométricas son de gran importancia en física, astronomía …   Wikipedia Español

  • Teorema de representación de Riesz — Hay varios teoremas bien conocidos en el análisis funcional mencionados como el teorema de representación de Riesz. El teorema de representación de espacios de Hilbert Este teorema establece una conexión importante entre un espacio de Hilbert y… …   Wikipedia Español

  • Función W de Lambert — Gráfica de W0(x) para −1/e ≤ x ≤ 4. En matemáticas, la función W de Lambert, denominada así en honor a Johann Heinrich Lambert, si bien también se conoce como función Omega o log producto, es la función inversa de f(w) = wew donde ew es …   Wikipedia Español

  • Función gamma — en el eje real. Valor absoluto de la función gamma en el plano complejo …   Wikipedia Español

  • Teorema de equipartición — Figura 1. Movimiento térmico de un péptido tipo hélice α. El movimiento vibratorio es aleatorio y complejo, y la energía de un átomo en particular puede fluctuar ampliamente. Sin embargo, el teorema de equipartición permite que se pueda calcular… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”