9 Teoremas de la función inversa e implícita
Sean un subconjunto abierto de , y una aplicacion de clase en . Supongamos que (es decir es invertible). Entonces es localmente invertible en un entorno de , con inversa de clase . Es decir, existen entorno abierto de , entorno abierto de tales que es biyectiva, y es diferenciable en . Ademas, si entonces . Por ultimo, la derivada de en es la inversa de la aplicacion lineal , es decir,
Si es el espacio de las aplicaciones lineales de en , denotaremos por al conjunto de todas las aplicaciones lineales invertibles de en , a este conjunto se le llama el grupo lineal general. Asi, .
El conjunto es abierto en el espacio y la aplicacion definida por
es de clase .
No demostrado.
Sean un abierto de un espacio de Banach , y una aplicacion contractiva (es decir, para todo , donde es una constante tal que ). Entonces la aplicacion , es un homeomorfismo de sobre un abierto de , y la aplicacion es -Lipschitz de en .
Veamos primero que es inyectiva y es Lipschitz. En efecto, para todos se tiene
lo que muestra que es inyectiva (si , , luego ) y es -Lipschitz ().
Veamos ahora que es abierto. Sea . Como es abierto existe tal que . Pongamos , y veamos que , lo que permitira concluir que es abierto. Si entonces, para todo tenemos que
es decir, . Por tanto la aplicacion lleva la bola cerrada dentro de si misma, y puesto que
resulta que es una aplicacion contractiva del espacio metrico completo en si mismo (teorema 4.16). Entonces, por el teorema del punto fijo tiene un unico punto fijo , que satisface por tanto , es decir, , lo que muestra que .
Notese que este argumento tambien prueba que , donde es el unico punto fijo de la aplicacion contractiva .
Veamos que por ultimo que es -Lipschitz. Sea . Entonces , luego . Es decir, . Como es -Lipschitz y es -Lipschitz se deduce inmediatamente que la composicion es -Lipschitz, pues
Una vez hemos visto estos teoremas auxiliares, vemos la demostracion del teorema de la funcion inversa:
Sea la inversa de . La aplicacion definida por
es de clase (composicion de funciones diferenciables e identidad) y su derivada es, aplicando la regla de la cadena,
en particular se tiene (porque se define como la inversa de en , luego ), y como es continua (son continuas cada una de las derivadas parciales) existe tal que y para todo , luego, por la desigualdad del valor medio (Corolario 10.3.),
para todos . Entonces, en la bola , la aplicacion es la suma de la identidad y la aplicacion -Lipschitz . Por el teorema anterior resulta que es un homeomorfismo de sobre el abierto de .
Veamos ahora que es diferenciable en , con . Sea . Como es continua, existe tal que para todo . En particular es -Lipschitz en , y otra vez por el teorema anterior, sabemos que es, sobre el abierto (que es entorno de ), la suma de la identidad y de una funcion -Lipschitz. Asi, para todo tendremos que
es decir
para todo en el entorno de . Como , esto implica que es diferenciable en , y su diferencial en este punto es la identidad. Entonces, por la regla de la cadena, es diferenciable en , con diferencial .
La demostracion de que si entonces no la vemos.
Sean y abiertos en dos espacios vectoriales de dimension finita. Se dice que es un difeomorfismo de clase si es una biyeccion de en y tanto como son diferenciables de clase . En este caso se dice tambien que y son difeomorfos.
Notacion: Sea . Si la funcion parcial
es diferenciable, denotaremos su diferencial por
Sea un subconjunto abierto de y sea una funcion de clase . Supongamos que y que
Entonces existen entorno abierto de en , entorno abierto de en , y una unica funcion tal que
para todo . Ademas, es de clase , y satisface que
o, en terminos de matrices,
. Si y , …
Vamos a aplicar el teorema de la funcion inversa a la funcion definida por
La ecuacion equivale pues a la ecuacion . Se tiene que y la diferencial de en viene dada por
donde es la matriz identidad. Es decir,
para todo . Si entonces y , luego (al ser invertible) tambien . Esto muestra que es invertible. Podemos aplicar entonces el teorema de la funcion inversa a : existe entorno abierto de en tal que es un difeomorfismo de clase . Sean entorno abierto de y entorno abierto de tales que . Entonces es abierto en y para todo se tiene que
Notese que, como es de la forma (es decir, su primera funcion coordenada es la proyeccion ), entonces es tambien de la forma , para alguna funcion de clase .
Definamos . Es inmediato que es abierto (se tiene que , donde la inyeccion es continua) y es no vacio puesto que , es decir . Sea la aplicacion definida por
que es claramente de clase sobre el abierto . Para cada se tiene , y en particular , . Luego lleva en . En conclusion, para todo se tiene que
Finalmente, diferenciando la aplicacion , que es constante en , obtenemos que
lo que determina la demostracion del teorema.