Teorema de la funcin inversa

1
Teorema de la funcin inversa
En la rama de la matemtica denominada anlisis matemtico, el teorema de la funcin inversa proporciona las
condiciones suficientes para que una aplicacin sea invertible localmente en un entorno de un punto p en trminos de
su derivada en dicho punto. Tcnicamente es un teorema de existencia local de la funcin inversa. El teorema puede
enunciarse para aplicaciones en R
n
o se puede generalizar a variedades diferenciables o espacios de Banach.
Enunciado del Teorema
La versin en del teorema es la siguiente: Sea una funcin C
1
. Supongamos que para
, la diferencial es invertible y que . Entonces existen abiertos tales que
, y es una funcin biyectiva por lo que la inversa de es C
1
y por
lo tanto .
Existe una versin del teorema en espacios de Banach, que es una generalizacin de lo anterior. Sin embargo, la
versin presentada es la que se presenta frecuentemente en la literatura puesto que su comprensin es ms fcil. La
demostracin 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 adems de otros resultados del anlisis matemtico que se
obtienen de la caracterizacin de la convexidad.
Ejemplo
Consideremos la funcin F de R
2
en R
2
definida por
Su matriz jacobiana es
y su determinante
Como el determinante e
2x
es no nulo en todo punto, aplicando el teorema, para cada punto p de R
2
, existe un entorno
de p en que F es invertible.
Generalizaciones
Variedades diferenciables
En este contexto, el teorema afirma que dada una aplicacin F : M N entre dos variedades diferenciables, si 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, 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 aplicacin F es
un difeomorfismo local.
Teorema de la funcin inversa
2
Inversa global
El teorema de la funcin inversa slo garantiza localmente la existencia de una funcin inversa. Los requerimientos
para la existencia de una inversa global son algo ms complicados y no quedan garantizados por el cumplimiento de
las condiciones del teorema de la funcin inversa. De hecho dada una funcin diferenciable:
Puede demostrarse que existe una constante si se cumple:
Tal que la funcin f admite inversa global, donde u
f
es el vector desplazamiento asociado a la funcin definido como
la resta vectorial entre la imagen de un punto y su posicin inicial:
Puede demostrarse que si el dominio es convexo, mientras que un dominio no convexo requiere .
Referencias
Para una demostracin con detalles vase:
Alejandro Jofr, Patricio Felmer, Paul Bosch, Matas Bulnes, Arturo Prat, Luis Rademacher, Jos Zamora, y
Mauricio Vargas. "Clculo en Varias Variables - Apunte Completo" (2010). Disponible en: http:/ / docencia. dim.
uchile. cl/ calculo_vv/ material/ apunte_cvv_felmer-jofre. pdf
Para ejemplos de aplicacin prctica:
Bombal, Marin & Vera: Problemas de Anlisis matemtico: Clculo Diferencial, 1988, ed. AC, ISBN
84-7288-101-6.
Fuentes y contribuyentes del artculo
3
Fuentes y contribuyentes del artculo
Teorema de la funcin inversa Fuente: http://es.wikipedia.org/w/index.php?oldid=74647763 Contribuyentes: Alfredobi, Davius, Eduardosalg, Farisori, Fcrizul, Gato ocioso, Ignaciolopezpaj,
Isha, Juan Marquez, Juan Mayordomo, Martnhache, Orly01, Seba91, Tano4595, Tirithel, Ucevista, 32 ediciones annimas
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/