Introducción

Estamos a punto de entrar a discutir dos de los resultados principales de nuestro curso: el teorema de la función inversa y el teorema de la función implícita. Repasemos un poco qué hemos hecho hasta ahora. En las dos entradas anteriores introdujimos la noción de diferenciabilidad, la cual cuando sucede para una función $f:{\mathbb{R}}^n\to {\mathbb{R}}^m$, nos dice que $f$ se parece mucho a una función lineal en un punto dado. Vimos que esta noción implica continuidad y que tiene una regla de la cadena relacionada con el producto de matrices. También, hemos discutido cómo esta noción se relaciona con la existencia de espacios tangentes a gráficas multidimensionales.

Ahora queremos entender todavía mejor a las funciones diferenciables. Hay dos teoremas que nos permiten hacer eso. Uno es el teorema de la función inversa y el otro es el teorema de la función implícita. En esta entrada hablaremos del primero, y en un par de entradas más introduciremos el segundo resultado. El propósito del teorema de la función inversa es dar una condición bajo la cual una función es invertible, por lo menos localmente. De hecho, la mayoría de las veces sólo se puede garantizar la invertibilidad localmente, pues las funciones usualmente no son inyectivas y esto da comportamientos globales más difíciles de manejar.

Enunciar el teorema y entenderlo requiere de cierto esfuerzo. Y demostrarlo todavía más. Por esta razón, en esta entrada nos enfocaremos sólo en dar el teorema y presentar herramientas preliminares que necesitaremos para hacer su demostración.

Enunciado del teorema de la función inversa

Supongamos que tenemos $f:{\mathbb{R}}^n\to {\mathbb{R}}^n$ y que es diferenciable en el punto $\overline{a}$. Entonces, $f$ se parece mucho a una función lineal en $\overline{a}$, más o menos $f(\overline{x})\approx f(\overline{a})+T_{\overline{a}}(\overline{x}-\overline{a})$. Así, si $T_{\overline{a}}$ es invertible, suena a que «cerquita de $\overline{a}$» la función $f(\overline{x})$ debe de ser invertible. El teorema de la función inversa pone estas ideas de manera formal.

Teorema (de la función inversa). Sea $f:S\subseteq {\mathbb{R}}^n\to {\mathbb{R}}^n$ de clase $C^1$ en el abierto $S$. Si la matriz $Df(\overline{a})$ es invertible, entonces, existe $\delta >0$ tal que:

1. $B_{\delta }(\overline{a})\subseteq S$ y $f$ es inyectiva en $B_{\delta }(\overline{a})$.
2. $f^{-1}:f(B_{\delta }(\overline{a}))\subseteq {\mathbb{R}}^n\to {\mathbb{R}}^n$ es continua en $f(B_{\delta }(\overline{a}))$.
3. $f(B_{\delta }(\overline{a}))\subseteq {\mathbb{R}}^n$ es un conjunto abierto.
4. $f^{-1}$ es de clase $C^1$ en $f(B_{\delta }(\overline{a}))$ y además, si $\overline{x}=f(\overline{v})\in f(B_{\delta }(\overline{a}))$, entonces, $D{f}^{-1}(\overline{x})=D{f}^{-1}(f(\overline{v}))=(Df(\overline{v}){)}^{-1}$.

Veamos qué nos dice de manera intuitiva cada una de las conclusiones del teorema.

1. Tendremos una bola $B_{\delta }(\overline{a})$ dentro de la cual $f$ será inyectiva, y por lo tanto será biyectiva hacia su imagen. Así, $f$ restringida a esta bola será invertible. Es importante que sea una bola abierta, porque entonces sí tenemos toda una región «gordita» en donde pasa la invertibilidad (piensa que si fuera un cerrado, a lo mejor sólo es el punto $\overline{a}$ y esto no tiene chiste).
2. La inversa $f^{-1}$ que existirá para $f$ será continua. Esto es lo mínimo que podríamos esperar, aunque de hecho el punto $4$ garantiza algo mucho mejor.
3. La imagen de $f$ en la bola $B_{\delta }(\overline{a})$ será un conjunto abierto.
4. Más aún, se tendrá que $f^{-1}$ será de clase $C^1$ y se podrá dar de manera explícita a su derivada en términos de la derivada de $f$ con una regla muy sencilla: simplemente la matriz que funciona para derivar $f$ le sacamos su inversa como matriz y esa funciona al evaluarla en el punto apropiado.

El teorema de la función inversa es profundo pues tanto su enunciado como su demostración combina ideas de topología, álgebra y cálculo. Por esta razón, para su demostración necesitaremos recopilar varias de las herramientas de álgebra lineal que hemos repasado en la Unidad 2 y la Unidad 5. Así mismo, necesitaremos ideas topológicas de las que hemos visto en la Unidad 3. Con ellas desarrollaremos algunos resultados auxiliares que en la siguiente entrada nos permitirán concluir la demostración.

Un criterio para campos vectoriales $C^1$

El teorema de la función inversa es para funciones de clase $C^1$. Nos conviene entender esta noción mejor. Cuando una función $f$ es de clase $C^1$, entonces es diferenciable. Pero el regreso no es cierto y hay contraejemplos. ¿Qué le falta a una función diferenciable para ser de clase $C^1$? A grandes rasgos, que las funciones derivadas $T_{\overline{a}}$ y $T_{\overline{b}}$ hagan casi lo mismo cuando $\overline{a}$ y $\overline{b}$ son cercanos. En términos de matrices, necesitaremos que la expresión $||(Df(\overline{a})-Df(\overline{b}))(\overline{x})||$ sea pequeña cuando $\overline{a}$ y $\overline{b}$ son cercanos entre sí.

El siguiente teorema será importante en nuestro camino hacia el teorema de la función inversa. Intuitivamente, para lo que lo usaremos es para aproximar una función $f$ localmente, con «cuadritos» que corresponden a los planos tangentes, porque «muy cerquita» estos planos varían muy poco si pedimos que $f$ sea de clase $C^1$. Es decir si $\overline{a}$ y $\overline{b}$ son dos puntos en el dominio de una función diferenciable, y estos están muy cerca uno del otro, sus planos tangentes serán casi el mismo. Esto nos invita a cambiar localmente a una superficie por cuadritos como más adelante se explicará con detalle.

El teorema concreto que nos interesa demostrar es la siguiente equivalencia para que una función sea de clase $C^1$.

Teorema. Sea $f:S\subseteq {\mathbb{R}}^n\to {\mathbb{R}}^m$ una función diferenciable en $S$. Se tiene que $f$ es de clase $C^1$ en $S$ si y sólo si para todo $\overline{a}\in S$ y para cada $\epsilon >0$ existe $\delta >0$ tal que $B_{\delta }(\overline{a})\subseteq S$, y si $\overline{b}\in B_{\delta }(\overline{a})$ se tiene $||(Df(\overline{b})-Df(\overline{a}))(\overline{x})||\le \epsilon ||\overline{x}||$ para todo $\overline{x}\in {\mathbb{R}}^n$.

Demostración. $\Rightarrow ).$ Supongamos que $f$ es de clase $C^1$ en $S$, es decir, todas sus funciones componentes tienen derivadas parciales en $S$ y son continuas. Sea $\epsilon >0$. Veremos que se puede encontrar una $\delta$ como en el enunciado.

Tomemos $\overline{a}$ y $\overline{b}$ en $S$. Expresamos a $(Df(\overline{b})-Df(\overline{a}))(\overline{x})$ como

$$\begin{array}{r}\left(\begin{array}{ccc}\frac{\partial f_1}{\partial x_1}(\overline{b})-\frac{\partial f_1}{\partial x_1}(\overline{a})& \dots & \frac{\partial f_1}{\partial x_n}(\overline{b})-\frac{\partial f_1}{\partial x_n}(\overline{a})\\ ⋮& \ddots & \dots \\ \frac{\partial f_m}{\partial x_1}(\overline{b})-\frac{\partial f_m}{\partial x_1}(\overline{a})& \dots & \frac{\partial f_m}{\partial x_n}(\overline{b})-\frac{\partial f_m}{\partial x_n}(\overline{a})\end{array}\right)\left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)\end{array}$$

o equivalentemente como

$$\begin{array}{r}\left(\begin{array}{c}(▽f_1(\overline{b})-▽f_1(\overline{a}))\cdot \overline{x}\\ ⋮\\ (▽f_m(\overline{b})-▽f_m(\overline{a}))\cdot \overline{x}\end{array}\right).\end{array}$$

De tal manera que por Cauchy-Schwarz:

$$\begin{array}{rl}||(Df(\overline{b})-Df(\overline{a}))(\overline{x})|{|}^2& =\sum _{i=1}^m((▽f_i(\overline{b})-▽f_i(\overline{a}))\cdot \overline{x}{)}^2\\ & \le \sum _{i=1}^m||▽f_i(\overline{b})-▽f_i(\overline{a})|{|}^2||\overline{x}|{|}^2\\ & =||\overline{x}|{|}^2\sum _{i=1}^m||▽f_i(\overline{b})-▽f_i(\overline{a})|{|}^2\\ & =||\overline{x}|{|}^2\sum _{i=1}^m\sum _{j=1}^n{(\frac{\partial f_i}{\partial x_j}(\overline{b})-\frac{\partial f_i}{\partial x_j}(\overline{a}))}^2\end{array}$$

En este punto se ve la importancia de que las parciales sean continuas. Podemos encontrar una $\delta$ que nos garantice que $B_{\delta }\subseteq S$ y que si $||\overline{b}-\overline{a}||<\delta$, entonces $$|\frac{\partial f_i}{\partial x_j}(\overline{b})-\frac{\partial f_i}{\partial x_j}(\overline{a})|<\frac{\epsilon }{\sqrt{mn}}.$$ En esta situación, podemos seguir acotando $||(Df(\overline{b})-Df(\overline{a}))(\overline{x})|{|}^2$ como sigue:
$$\begin{array}{rl}& \le ||\overline{x}||\sum _{i=1}^m\sum _{j=1}^n\frac{{\epsilon }^2}{mn}\\ & ={\epsilon }^2||\overline{x}|{|}^2.\end{array}$$

Al sacar raiz cuadrada, obtenemos la desigualdad $$||(Df(\overline{b})-Df(\overline{a}))(x)||\le \epsilon ||\overline{x}||$$ buscada.

$\Leftarrow ).$ Supongamos ahora que para cada $\epsilon$ existe una $\delta$ como en el enunciado del teorema. Debemos ver que todas las derivadas parciales de todas las componentes son continuas. Podemos aplicar la desigualdad $||(Df(\overline{b})-Df(\overline{a}))(\overline{x})||\le ||\overline{x}||\epsilon$ tomando como $\overline{x}$ cada vector ${\hat{e}}_i$ de la base canónica. Esto nos dice que

$$||Df(\overline{b})({\hat{e}}_i)-Df(\overline{a})({\hat{e}}_i)||<\epsilon ||{\hat{e}}_i||=\epsilon .$$

Por nuestro desarrollo anterior, para cada $i$ tenemos

$$\begin{array}{rl}\epsilon & >||Df(\overline{b})({\hat{e}}_i)-Df(\overline{a})({\hat{e}}_i)||\\ & =||(▽f_1(\overline{b})\cdot {\hat{e}}_i-▽f_1(\overline{a})\cdot {\hat{e}}_i,\dots ,▽f_m(\overline{b})\cdot {\hat{e}}_i-▽f_m(\overline{a})\cdot {\hat{e}}_i)||\\ & =\left|\left|(\frac{\partial f_1}{\partial x_i}(\overline{b})-\frac{\partial f_1}{\partial x_i}(\overline{a}),\dots ,\frac{\partial f_m}{\partial x_i}(\overline{b})-\frac{\partial f_m}{\partial x_i}(\overline{a}))\right|\right|\\ & =\sqrt{\sum _{j=1}^m{(\frac{\partial f_j}{\partial x_i}(\overline{b})-\frac{\partial f_j}{\partial x_i}(\overline{a}))}^2}.\end{array}$$

Elevando al cuadrado,

$$\sum _{j=1}^m{(\frac{\partial f_j}{\partial x_i}(b)-\frac{\partial f_j}{\partial x_i}(a))}^2<{\epsilon }^2.$$

Como todos los términos son no negativos, cada uno es menor a ${ϵ}^2$. Así, para cada $i,j$ tenemos

$$|\frac{\partial f_j}{\partial x_i}(\overline{b})-\frac{\partial f_j}{\partial x_i}(\overline{a})|<\epsilon .$$

Esto es precisamente lo que estábamos buscando: si $\overline{b}$ está lo suficientemente cerca de $\overline{a}$, cada derivada parcial en $\overline{b}$ está cerca de su correspondiente en $\overline{a}$.

Invertibilidad de $Df(\overline{a})$ en todo un abierto

En esta sección demostraremos lo siguiente. Si $f:{\mathbb{R}}^n\to {\mathbb{R}}^n$ es un campo vectorial diferenciable en $\overline{a}$ y $Df(\overline{a})$ es invertible, entonces $Df(\overline{x})$ será invertible para cualquier $\overline{x}$ alrededor de cierta bola abierta alrededor de $\overline{a}$. Los argumentos en esta ocasión están un poco más relacionados con el álgebra lineal.

Será útil que recuerdes que una transformación lineal $T:{\mathbb{R}}^n\to {\mathbb{R}}^n$ es invertible si el único $\overline{x}\in {\mathbb{R}}^n$ tal que $T(\overline{x})=\overline{0}$ es $\overline{x}=\overline{0}$. El siguiente criterio es otra caracterización de invertibilidad en términos de lo que le hace $T$ a la norma de los vectores.

Teorema. Sea $T:{\mathbb{R}}^n\to {\mathbb{R}}^n$ una transformación lineal. La transformación $T$ es invertible si y sólo si existe $\epsilon >0$ tal que $$||T(\overline{x})||\ge \epsilon ||\overline{x}||$$ para todo $\overline{x}\in {\mathbb{R}}^n$.

Demostración. $\Rightarrow )$ Como $T$ es invertible, para todo $\overline{x}\ne \overline{0}$ sucede que $T(\overline{x})\ne \overline{0}$. En particular, esto sucede para todos los vectores en $S^{n-1}$ (recuerda que es la esfera de radio $1$ y dimensión $n-1$ centrada en $\overline{0}$). Esta esfera es compacta y consiste exactamente de los $\overline{x}\in {\mathbb{R}}^n$ de norma $1$.

Sabemos que las transformaciones lineales y la función norma son continuas. Por la compacidad de $S^{n-1}$, la expresión $||T(\overline{x})||$ tiene un mínimo digamos $\epsilon$, que alcanza en $S^{n-1}$. Por el argumento del párrafo anterior, $\epsilon >0$.

Tomemos ahora cualquier vector $\overline{x}\in {\mathbb{R}}^n$. Si $\overline{x}=\overline{0}$, entonces $$||T(\overline{0})||=||\overline{0}||=0\ge \epsilon ||\overline{0}||.$$ Si $\overline{x}\ne \overline{0}$, el vector $\frac{\overline{x}}{||\overline{x}||}$ está en $S^{n-1}$, de modo que $$\left|\left|T\left(\frac{\overline{x}}{||\overline{x}||}\right)\right|\right|\ge \epsilon .$$ Usando linealidad para sacar el factor $||\overline{x}||$ y despejando obtenemos $$||T(\overline{x})||\ge \epsilon ||\overline{x}||,$$ como estábamos buscando.

$\Leftarrow )$ Este lado es más sencillo. Si existe dicha $\epsilon >0$, entonces sucede que para $\overline{x}$ en ${\mathbb{R}}^n$, con $\overline{x}\ne \overline{0}$ tenemos $$||T(\overline{x})||\ge \epsilon ||\overline{x}||>0.$$ Por lo tanto, $T(\overline{x})\ne \overline{0}$ y así $T$ es invertible.

Obtengamos una consecuencia del teorema de clasificación de la sección anterior que está muy relacionada con este resultado que acabamos de demostrar.

Teorema. Sea $f:S\subseteq {\mathbb{R}}^n\to {\mathbb{R}}^n$ de clase $C^1$ en el conjunto abierto $S$ y $\overline{a}\in S$. Si $Df(\overline{a})$ es invertible, entonces existen $\delta >0$ y $m>0$ tales que $B_{\delta }(\overline{a})\subseteq S$ y $||Df(\overline{b})(\overline{x})||\ge m||\overline{x}||$, para todo $\overline{b}\in B_{\delta }(\overline{a})$ y para todo $\overline{x}\in {\mathbb{R}}^n$.

Demostración. Como $Df(\overline{a})$ es invertible, por el teorema que acabamos de demostrar existe ${\epsilon }^{\prime }>0$ tal que $$||Df(\overline{a})(\overline{x})||\ge {\epsilon }^{\prime }||\overline{x}||$$ para todo $\overline{x}\in {\mathbb{R}}^n$.

Por nuestra caracterización de funciones $C^1$, Ahora como $f\in C^1$ en $S$ (abierto) para $\epsilon =\frac{{\epsilon }^{\prime }}{2}>0$, existe $\delta >0$ tal que $B_{\delta }(\overline{a})\subseteq S$, y $||Df(\overline{b})(\overline{x})-Df(\overline{a})(\overline{x})||\le \frac{{\epsilon }^{\prime }}{2}||\overline{x}||$ para todo $\overline{b}\in B_{\delta }(\overline{a})$ y para todo $\overline{x}\in {\mathbb{R}}^n$.

Por la desigualdad del triángulo, $$||Df(\overline{a})(\overline{x})-Df(\overline{b})(\overline{x})||+||Df(\overline{b})(\overline{x})||\ge ||Df(\overline{a})(\overline{x})||,$$

de donde

$$\begin{array}{rl}||Df(\overline{b})(\overline{x})||& \ge ||Df(\overline{a})(\overline{x})||-||Df(\overline{b})(\overline{x})-Df(\overline{a})(\overline{x})||\\ & \ge {\epsilon }^{\prime }||\overline{x}||-\frac{{\epsilon }^{\prime }}{2}||\overline{x}||\\ & =\frac{{\epsilon }^{\prime }}{2}||\overline{x}||.\end{array}$$

De esta manera, el resultado es cierto para la $\delta$ que dimos y para $m=\frac{{\epsilon }^{\prime }}{2}$.

El siguiente corolario es consecuencia inmediata de lo discutido en esta sección y está escrito de acuerdo a la aplicación que haremos más adelante en la demostración del teorema de la función inversa.

Corolario. Sea $f:S\subseteq {\mathbb{R}}^n\to {\mathbb{R}}^n$ una función de clase $C^1$ en $S$ y $\overline{a}\in S$. Si $Df(\overline{a})$ es invertible, entonces, existe $\delta >0$ tal que $B_{\delta }(\overline{a})\subseteq S$ y $Df(\overline{b})$ es invertible para todo $\overline{b}\in B_{\delta }(\overline{a})$.

Queda como tarea moral responder por qué este corolario es consecuencia inmediata del teorema anterior.

Un poco de intuición geométrica

Dejamos esta entrada hasta aquí, la naturaleza densamente teórica de lo que estamos haciendo puede hacer pesadas las exposiciones. Lo que hasta aquí demostramos es que para un campo vectorial $C^1$ si su derivada en $\overline{a}$ es invertible, entonces lo es en toda una vecindad que tiene a $\overline{a}$. Imaginemos al pedacito de superficie $f(B_{\delta }(\overline{a}))$ cubierto con pequeños rectángulos. En cada punto, las imágenes de estos rectángulos están muy cerquita, casi pegados a la superficie. Esto nos garantizaría la invertibilidad de $f$ en esta vecindad.

En la Figura 2 vemos ilustrado esto. El círculo inferior corresponde a la vecindad $B_{\delta }(\overline{a})$ en el dominio de $f$. La función $f$ levanta una porción del plano en la sabana delineada con negro arriba del círculo. En el círculo tenemos al punto $\overline{a}$ en verde agua. Sobre la sábana de arriba tenemos con el mismo color a $f(\overline{a})$. Los puntos negros pequeños dentro de la vecindad alrededor de $\overline{a}$ son alzados por $f$ a puntos negros sobre la sabana. Sobre de cada punto negro en la sabana tenemos un cuadrito rojo que representa al cachito de plano tangente cerca de la imagen de cada punto. La imagen esta llena de estos pequeños cuadritos, todos ellos representan diferenciales invertibles, esto nos permitirá asegurar la invertibilidad de $f$ en al menos una vecindad.

Más adelante…

En la siguiente entrada demostraremos el teorema de la función inversa, inciso por inciso. Es importante que estes familiarizado con los resultados de esta entrada, pues serán parte importante de la demostración.

Tarea moral

1. ¿Qué diría el teorema de la función inversa para campos vectoriales $f:{\mathbb{R}}^2\to {\mathbb{R}}^2$? ¿Se puede usar para $$f(r,\theta )=(r\cos (\theta ),r\sin (\theta ))?$$ Si es así, ¿para qué valores de $r$ y $\theta$? ¿Qué diría en este caso explícitamente?
2. Explica por qué el corolario que enunciamos en efecto se deduce de manera inmediata de lo discutido en la sección correspondiente.
3. Revisa todas las desigualdades que usamos en esta entrada. ¿Qué resultado estamos usando? ¿Cuándo se darían estas igualdades?
4. Demuestra que el determinante de una matriz es una función continua en términos de las entradas de la matriz. Usa esto para demostrar que si $A\in M_n(\mathbb{R})$ es una matriz y $B$ es una matriz muy cercana a $A$, entonces $B$ también es invertible.
5. Demuestra que si una transformación $T$ es diagonalizable, entonces en el teorema de caracterización de invertibilidad se puede usar como $ϵ$ al mínimo de la expresión $|\lambda |$ variando sobre todos los eigenvalores $\lambda$ de $T$.

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral III
• Entrada anterior del curso: Regla de la cadena para campos vectoriales
• Entrada siguiente del curso: Demostración del teorema de la función inversa