Tema 11

Función inversa

Como segundo resultado fundamental del cálculo diferencial, estudiaremos ahora la posible
existencia, así como la diferenciabilidad, de la función inversa de una función diferenciable.
Empezamos probando una regla de diferenciación de la función inversa, para funciones entre
espacios normados arbitrarios, que generaliza casi al pie de la letra la que conocemos para
funciones reales de una variable real.
Pasamos entonces al problema mucho más interesante que empieza por discutir la propia
existencia de la función inversa, esto es, la inyectividad de una función diferenciable. Claro
está que, una vez asegurada la inyectividad, también nos preguntamos si la función inversa es
diferenciable. En el caso conocido de las funciones reales de una variable real, este problema se
resolvía mediante el llamado “teorema de la función inversa” para tales funciones, que tiene una
versión “local” y otra “global”. A la hora de su generalización a funciones de varias variables,
estos dos resultados se comportan de manera muy diferente. La versión local se generaliza de
forma casi literal, obteniendo el teorema de la función inversa en RN . Como consecuencia de
este teorema fundamental, que como se ha dicho tiene carácter “local”, deducimos fácilmente
un resultado que puede entenderse como una versión “global” del teorema, pero no generaliza
lo que conocemos para funciones de una variable, es un resultado mucho más débil.

11.1. Diferencial de la inversa

Recordemos la regla de derivación de la inversa, para funciones de una variable:

Sea Ω un subconjunto no vacío de R y f : Ω → R una función inyectiva. Sea B = f (Ω) y

consideremos la función inversa f −1 : B → R . Si f es derivable en un punto a ∈ Ω ∩ Ω 0 ,
entonces b = f (a) ∈ B 0 y las siguientes afirmaciones son equivalentes:
(i) f −1 es derivable en el punto b
(ii) f −1 es continua en b y f 0 (a) 6= 0

0 1
Caso de que se cumplan (i) y (ii) , se tiene: f −1 (b) = 0 (a)
.
f

125
11. Función inversa 126

Con vistas a generalizar este resultado, de forma que pueda aplicarse a una función entre
dos espacios normados arbitrarios, conviene aclarar dos cuestiones.
Tendremos un subconjunto abierto Ω de un espacio normado X y una función f : Ω → Y ,
donde Y es otro espacio normado, que será diferenciable en un punto a ∈ Ω e inyectiva. Surge
aquí la única pequeña diferencia con el caso particular que acabamos de recordar: para poder
hablar de la diferenciabilidad de f −1 en el punto b = f (a) , necesitamos que b sea, no sólo
punto de acumulación del conjunto B = f (Ω) , sino punto interior del mismo. Las hipótesis
sobre f no permiten asegurar que esto ocurra, luego deberemos suponerlo. Al fin y al cabo, si
b∈/ B ◦ , no tendría sentido plantearse el problema que estamos estudiando.
La otra cuestión, más relevante, se refiere a la forma correcta de generalizar la afirmación
(ii) , más concretamente la condición f 0 (a) 6= 0 que en ella aparece. Es una ingenuidad pensar
que, en general, la condición vaya a ser D f (a) 6= 0 . Recordemos que, en el caso particular, la
diferencial D f (a) es la aplicación lineal de R en R que consiste en multiplicar por f 0 (a) .
Por tanto, decir que
f 0 (a) 6= 0 , es tanto como decir que D f (a) es biyectiva, y entonces, la
0
expresión de f −1 (b) al final del enunciado anterior nos dice que D f −1 (b) = D f (a)−1 .
En general, si queremos tener la misma expresión para la diferencial de la función inversa, no
sólo necesitamos que D f (a) sea biyectiva, sino también que su inversa D f (a)−1 sea continua.
Como se trata de una aplicación lineal de Y en X , su continuidad será automática cuando Y
tenga dimensión finita, pero no en general. Esto motiva la siguiente definición.
Si X e Y son espacios normados, llamamos homeomorfismo lineal de X sobre Y a toda
aplicación lineal y continua de X en Y , que sea biyectiva y tal que T −1 también sea continua.
Más brevemente, estamos exigiendo que T ∈ L(X,Y ) sea biyectiva con T −1 ∈ L(Y, X) . La
nomenclatura es coherente con la noción de homeomorfismo que se usa en Topología: biyección
continua entre dos espacios topológicos, cuya función inversa también es continua. En nuestro
caso, un homeomorfismo lineal entre dos espacios normados X e Y no es más que lo que su
nombre indica: un homeomorfismo de X sobre Y que además es lineal, lo que obviamente
hace que la función inversa también sea lineal. Notemos que, cuando dos espacios normados
son linealmente homeomorfos, es decir, existe un homeomorfismo lineal de uno en otro, son
idénticos como espacios vectoriales (pues tenemos una biyección lineal entre ellos) y también
como espacios topológicos (pues son homeomorfos). Podemos por tanto pensar que se trata de
un mismo espacio vectorial, en el que tenemos dos normas que pueden ser distintas, pues un
homeomorfismo lineal puede no preservar las normas, pero sí son equivalentes, pues dan lugar
a la misma topología.
Los comentarios hechos anteriormente hacen ver que el siguiente resultado generaliza, de
manera casi literal, la regla de derivación de la función inversa que acabamos de recordar.

Teorema (Regla de diferenciación de la inversa). Sean X e Y espacios normados, Ω

un abierto de X , f : Ω → Y una función inyectiva y f −1 : B → X su función inversa, donde
B = f (Ω) . Supongamos que f es diferenciable en un punto a ∈ Ω y que b = f (a) ∈ B ◦ .
Entonces, las siguientes afirmaciones son equivalentes:
(i) f −1 es diferenciable en el punto b .
(ii) f −1 es continua en b y D f (a) es un homeomorfismo lineal de X sobre Y .
En caso de que se cumplan (i) y (ii) , se tiene que: D f −1 (b) = D f (a)−1 .
11. Función inversa 127

Demostración. (i) ⇒ (ii) . Como f −1 es diferenciable en b , también es continua en b .

Además, si Id X e Id Y son las funciones identidad en X e Y respectivamente, tenemos que
f −1 ◦ f es la restricción a Ω de la aplicación lineal y continua Id X . Sabemos entonces que
f −1 ◦ f es diferenciable en el punto a y su diferencial es la propia Id X . Análogamente, la
diferencial de f ◦ f −1 en el punto b es Id Y . Aplicando entonces dos veces la regla de la
cadena, obtenemos

D f −1 (b) ◦ D f (a) = Id X y D f (a) ◦ D f −1 (b) = Id Y

Esto prueba que D f (a) es biyectiva con D f (a)−1 = D f −1 (b) ∈ L(Y, X) , luego D f (a) es un
homeomorfismo lineal de X sobre Y , como queríamos. De paso, hemos probado ya la última
afirmación del enunciado.

(ii) ⇒ (i) . Para abreviar escribimos T = D f (a) ∈ L(X,Y ) y, por hipótesis, sabemos que T es
biyectiva con T −1 ∈ L(Y, X) . Como ya hemos usado otras veces, la diferenciabilidad de f en
el punto a equivale a la continuidad en a de la función Φ : Ω → R definida por

f (x) − f (a) − T (x − a)
Φ(x) = ∀ x ∈ Ω \ {a} y Φ(a) = 0
kx−ak
Por tanto Φ es continua en el punto a y evidentemente verifica que

f (x) − f (a) − T (x − a) = Φ(x) x − a ∀x ∈ Ω (1)

Definimos entonces Λ : B → R por

Λ(y) = f −1 (y) − f −1 (b) − T −1 (y − b)

∀y ∈ B

de modo que bastará probar la igualdad

Λ(y)
lı́m =0 (2)
y→b ky−bk

Para y ∈ B arbitrario, escribimos x = f −1 (y) ∈ Ω , y tenemos

Λ(y) = x − a − T −1 (y − b) = T −1 T (x − a) − (y − b)

6 T −1 T (x − a) − f (x) − f (a)


(3)
= T −1 Φ(x) x − a

donde hemos usado la definición de la norma en L(Y, X) y la igualdad (1) . Por otra parte,
tenemos también
k x − a k = T −1 T (x − a)

6 T −1 T (x − a) − f (x) − f (a) + f (x) − f (a)

= T −1 Φ(x) x − a + y − b

o lo que es lo mismo,

1 − k T −1 k Φ(x) k x − a k 6 k T −1 k k y − b k


(4)
11. Función inversa 128

Nuestro objetivo es conseguir a partir de (4) una estimación de k x − a k que podamos usar
en (3) . Para ello necesitamos que k T −1 k Φ(x) < 1 , lo cual es cierto para y suficientemente
próximo a b como vamos a ver. En primer lugar, por ser Φ continua en a con Φ(a) = 0 , existe
ρ > 0 tal que, para z ∈ Ω con k z−a k < ρ se tiene k T −1 k Φ(z) < 1 . Usando entonces que f −1
es continua en el punto b , podemos encontrar δ > 0 de forma que, para y ∈ B con k y − b k < δ
se tenga k f −1 (y) − f −1 (b) k < ρ , es decir, k x − a k < ρ , de donde k T −1 k Φ(x) < 1 como
queríamos.
Por tanto, si y ∈ B verifica que k y − b k < δ , para x = f −1 (y) tenemos, usando (4) , que

k T −1 k k y − b k
kx−ak 6
1 − k T −1 k Φ(x)

y de (3) deducimos entonces que

k T −1 k2 Φ(x) k y − b k
Λ(y) 6
1 − k T −1 k Φ(x)

En resumen, hemos encontrado δ > 0 tal que

k T −1 k2 Φ f −1 (y)


Λ(y)
y ∈ B , 0 < k y − b k < δ =⇒ 0 6 6 (5)
1 − k T −1 k Φ f −1 (y)


ky−bk

Finalmente, como f −1 es continua en b y Φ es continua en f −1 (b) = a , tenemos que Φ◦ f −1

es continua en b , es decir,

lı́m Φ f −1 (y) = Φ f −1 (b) = Φ(a) = 0

y→b

Esta igualdad, junto con (5) , nos da directamente (2) , que era la igualdad buscada. 

La implicación fácil del teorema anterior tiene una consecuencia que merece la pena resaltar:

Sean U y V subconjuntos abiertos de sendos espacios normados X e Y respectivamente.

Si existe una aplicación biyectiva f : U → V que es diferenciable en un punto a ∈ U y
f −1 es diferenciable en el punto f (a) , entonces X e Y son linealmente homeomorfos.
En particular, si X tiene dimensión finita N ∈ N , también Y tendrá dimensión N .

En efecto, por el teorema anterior, D f (a) es un homeomorfismo lineal de X sobre Y . 

Así pues, si N, M ∈ N y N 6= M , no puede existir una biyección entre un abierto de RN

y otro de RM que sea diferenciable con inversa diferenciable. A partir de ahora trabajamos
solamente en el caso particular X = Y = RN , con cualquier norma en RN . A la hora de aplicar
el teorema anterior, en este caso tenemos la ventaja de que D f (a)−1 es continua, siempre
que D f (a) sea biyectiva, puesto que D f (a)−1 es una aplicación lineal definida en un espacio
normado de dimensión finita. Por tanto, para asegurarnos que f −1 es diferenciable en b bastará
comprobar que es continua en b y que D f (a) es biyectiva.
11. Función inversa 129

Cada aplicación lineal T ∈ L(RN , RN ) lleva asociada la matriz cuadrada AT ∈ MN×N que
la representa en la base usual de RN , cuyo determinante denotaremos por | AT | . Sabemos que
6 0 . Si ahora Ω es un abierto de RN y f : Ω → RN una
T es biyectiva si, y sólo si, | AT | =
función diferenciable en un punto a ∈ Ω , para T = D f (a) sabemos que AT = J f (a) es la
matriz jacobiana de f en a y se dice que | AT | = | J f (a) | es el determinante jacobiano de f
en a . Según hemos dicho, D f (a) es biyectiva si, y sólo si, | J f (a) | =
6 0 . Así pues, en nuestro
caso particular, el teorema anterior toma la siguiente forma:

Sea Ω un abierto de RN , f : Ω → RN una función inyectiva y f −1 : B → RN su función

inversa, donde B = f (Ω) . Supongamos que f es diferenciable en un punto a ∈ Ω y que
b = f (a) ∈ B ◦ . Entonces, las siguientes afirmaciones son equivalentes:
(i) f −1 es diferenciable en el punto b .
(ii) f −1 es continua en b y | J f (a) | 6= 0 .
En caso de que se cumplan (i) y (ii) , se tiene que D f −1 (b) = D f (a)−1 , o lo que es lo
mismo, J f −1 (b) = J f (a)−1 .

En relación con el determinante jacobiano, resaltamos un hecho elemental que será muy útil
enseguida. Es fácil ver que la aplicación T 7→ | AT | , definida en el espacio normado L(RN , RN )
y con valores en R , es continua. En efecto, para cada k, j ∈ IN sabemos que el coeficiente que
aparece en la k-ésima fila y la j-ésima columna de la matriz AT viene dado por

∀ T ∈ L(RN , RN )


αk j (T ) = T (ek ) | e j

donde {e1 , e2 , . . . e N } es la base usual de RN . Entonces la aplicación αk j : L(RN , RN ) → R

es continua, puesto que es lineal y está definida en un espacio normado de dimensión finita.
Por tanto, la función T 7→ | AT | se puede expresar como combinación lineal de productos de
funciones continuas, luego es una función continua. Apliquemos ahora esta observación al caso
particular del determinante jacobiano de una función diferenciable:

Sea Ω un abierto de RN y f : Ω → RN una función diferenciable. Si D f es continua en

un punto a ∈ Ω , entonces la función x 7→ | J f (x) | , definida en Ω y con valores en R ,
también es continua en a .

En efecto, se trata de la composición de la función D f , de Ω en L(RN , RN ) , que es continua

en a , con la función T 7→ | AT | de L(RN , RN ) en R , que es continua como hemos visto. 

11.2. Teorema de la función inversa

En la regla de diferenciación de la función inversa que acabamos de estudiar, trabajamos
con una función que de entrada se supone inyectiva. Sin embargo, igual que se hace con las
funciones reales de una variable real, podemos intentar averiguar si una función diferenciable
es inyectiva, usando su diferencial. El significado analítico de la diferencial invita a pensar que
podemos tener éxito a nivel “local”, como pasamos a explicar.
11. Función inversa 130

Hablando informalmente, una función f que sea diferenciable en un punto a , se aproxima

muy bien, “cerca” de a , mediante una función afín y continua g que se obtiene componiendo
D f (a) con una traslación. Cuando D f (a) es inyectiva, está claro que g también lo es, y es
lógico esperar que f sea inyectiva donde sabemos que debe comportarse de forma parecida
a como lo hace g , es decir, en un entorno suficientemente pequeño de a . Con las hipótesis
adecuadas, probaremos rigurosamente que esta idea intuitiva es correcta, obteniendo así el que
puede considerarse como el resultado más importante del cálculo diferencial en varias variables:
el teorema de la función inversa en RN . Para que se comprenda mejor el enunciado de dicho
teorema, recordemos lo que ocurría en el caso N = 1, es decir, la versión local del teorema de
la función inversa para funciones reales de variable real:

Sea I ⊂ R un intervalo no trivial y f : I → R una función derivable en I . Supongamos

que f 0 es continua en un punto a ∈ I , con f 0 (a) 6= 0 . Entonces existe un δ > 0 tal que f
es inyectiva en el intervalo Iδ = I ∩ ] a − δ, a + δ [ . Además, si llamamos ϕ a la restricción
de f a Iδ
y consideramos el intervalo Jδ = f (Iδ ) , se tiene que ϕ −1 es derivable en Jδ
0
con ϕ −1 f (x) = 1/ f 0 (x) para todo x ∈ Iδ .

Vamos a conseguir una generalización casi literal del teorema anterior, válida para funciones
de N variables. El único cambio se debe a que sólo podemos usar la diferenciabilidad de una
función en puntos interiores de su conjunto de definición. Por tanto, el papel de los intervalos
que aparecen en el enunciado anterior, lo harán convenientes subconjuntos abiertos de RN . La
demostración es muy diferente de la que se hace en R , basada en la noción de monotonía. En
RN las cosas son más complicadas, como se podrá comprobar.

Teorema de la función inversa (local). Sea Ω un abierto de RN y f : Ω → RN una función

diferenciable. Supongamos que la función diferencial D f es continua en un punto a ∈ Ω y que
| J f (a) | 6= 0 . Entonces existe un abierto U de RN , con a ∈ U ⊂ Ω , para el que se verifican las
siguientes afirmaciones:
(i) f es inyectiva en U
(ii) V = f (U) es un abierto de RN
(iii) | J f (x) | 6= 0 para todo x ∈ U
(iv) Denotando por ϕ a la restricción de f a U, se tiene que ϕ−1 es diferenciable, con
D ϕ −1 f (x) = D f (x)−1 para todo x ∈ U .

Demostración. Empezamos trabajando en un caso particular más cómodo y al final veremos

que el caso general se deduce con facilidad del previamente resuelto. Concretamente suponemos
que a = f (a) = 0 y que D f (0) = Id es la identidad en RN .
En este caso, la idea intuitiva en la que se basa el teorema está muy clara: en un entorno
del origen, f debe comportarse de forma similar a como lo hace la identidad, una función
que cumple obviamente todas las afirmaciones del teorema. Así pues, procede trabajar con la
diferencia entre ambas, es decir, la función g : Ω → RN dada por
g(x) = x − f (x) ∀x ∈ Ω
Es claro que g(0) = 0 , así como que g es diferenciable con
Dg(x) = Id − D f (x) ∀x ∈ Ω
11. Función inversa 131

Como, por hipótesis, D f es continua en el origen, vemos claramente que Dg también lo es,
con Dg(0) = 0 , luego existe δ1 > 0 tal que B(0, δ1 ) ⊂ Ω y

k Dg(x) k 6 1/2 ∀ x ∈ B(0, δ1 )

Por otra parte, recordemos que la continuidad de D f en el origen también implica la de la

función x 7→ | J f (x) | , que verifica | J f (0) | = 1 , luego existe δ2 > 0 tal que B(0, δ2 ) ⊂ Ω y

| J f (x) | 6= 0 ∀ x ∈ B(0, δ2 )

Tomamos ahora r = (1/3) mı́n{δ1 , δ2 } con lo cual tenemos:

x ∈ RN , k x k < 3 r =⇒ x ∈ Ω , k Dg(x) k 6 1/2 y | J f (x) | 6= 0 (6)

Puesto que B(0, 3r) es un subconjunto abierto y convexo de RN , un corolario del teorema
del valor medio nos asegura que g es lipschitziana en dicho abierto, más concretamente:

x, z ∈ B(x, 3r) =⇒ k g(x) − g(z) k 6 (1/2) k x − z k (7)

En particular, tomando z = 0 tenemos

x ∈ B(x, 3r) =⇒ k g(x) k 6 (1/2) k x k (8)

Llegamos al paso clave de la demostración, que consiste en usar el teorema del punto fijo
de Banach, para probar lo siguiente:

(*) Para cada y0 ∈ B (0, r) existe un único x0 ∈ B (0, 2r) tal que f (x0 ) = y0 . Además, si
k y0 k < r , se tiene también k x0 k < 2r .

Fijado y0 ∈ B (0, r) , para x ∈ B (0, 2r) se tiene

f (x) = y0 ⇐⇒ g(x) = x − y0 ⇐⇒ g(x) + y0 = x (9)

lo que nos hace pensar en un punto fijo de la aplicación x 7→ g(x) + y0 . Así pues, tomamos
E = B (0, 2r) , que es un espacio métrico completo, por ser un subconjunto cerrado de RN , y
definimos h(x) = g(x) + y0 para todo x ∈ E . Usando (8) tenemos

k h(x) k 6 k g(x) k + k y0 k 6 (1/2)k x k + k y0 k 6 2r ∀x ∈ E

luego h(E) ⊂ E . Además, h es contractiva, pues de (7) deducimos claramente que,

k h(x) − h(z) k = k g(x) − g(z) k 6 (1/2) k x − z k ∀ x, z ∈ E

Por el teorema del punto fijo, existe un único x0 ∈ E tal que h(x0 ) = x0 y, en vista de (9) , x0 es
el único punto de B (0, 2r) tal que f (x0 ) = y0 . Por último, si k y0 k < 2r , razonando como antes
tenemos k x0 k = k h(x0 ) k 6 (1/2) k x0 k + k y0 k 6 r + k y0 k < 2r . Queda así comprobada la
afirmación (*) , y el resto de la demostración se obtendrá ya sin dificultad.
11. Función inversa 132

Concretamente tomamos

U = B(0, 2r) ∩ f −1 B(0, r)

Como f es continua, el conjunto f −1 B(0, r) es abierto, luego U también es abierto, y es

claro que 0 ∈ U ⊂ Ω . Comprobamos ahora todas las afirmaciones del teorema.

(i) . Si x, z ∈ U verifican que f (x) = f (z) , tomando y0 = f (x) ∈ B(0, r) , de (*) deducimos
que existe un único x0 ∈ B(0, 2r) tal que f (x0 ) = y0 , pero x, z ∈ B(0, 2r) , luego x = z = x0 y
hemos probado que f es inyectiva en U.
(ii) . Tomando V = f (U) , es claro que V ⊂ B(0, r) y comprobamos enseguida que se da la
igualdad, con lo que V es una bola abierta. Para y0 ∈ B(0, r) , usando de nuevo (*) tenemos
x0 ∈ B(0, 2r) tal que f (x0 ) = y0 , pero entonces x0 ∈ U , luego y0 ∈ f (U) como queríamos.
(iii) . Para x ∈ U tenemos k x k < 3r y (6) nos dice que | J f (x) | 6= 0 .
(iv) . Usando la regla de diferenciación de la función inversa, y teniendo en cuenta (iii) , basta
probar que ϕ−1 es continua, y de hecho veremos que es lipschitziana.
Fijados y1 , y2 ∈ V , escribimos x1 = ϕ−1 (y1 ) y x2 = ϕ−1 (y2 ) con lo que tenemos x1 , x2 ∈ U ,
f (x1 ) = y1 y f (x2 ) = y2 . Por definición de g , deducimos x1 = y1 + g(x1 ) y x2 = y2 + g(x2 ) .
Por tanto, usando (7) obtenemos

k x1 − x2 k 6 k y1 − y2 k + k g(x1 ) − g(x2 ) k 6 k y1 − y2 k + (1/2) k x1 − x2 k

Deducimos claramente que

k ϕ−1 (y1 ) − ϕ−1 (y2 ) k = k x1 − x2 k 6 2 k y1 − y2 k ∀ y1 , y2 ∈ V

Queda así demostrado el teorema en el caso particular de que se tenga a = f (a) = 0 y

D f (a) = Id . Completamos ahora la demostración, viendo que el caso general se deduce del que
ya tenemos resuelto.
Sea Ω0 = {z ∈ RN : z+a ∈ Ω} que es un abierto de RN , como imagen inversa de Ω por una
traslación, y verifica que 0 ∈ Ω0 . Como, por hipótesis, | J f (a) | 6= 0 , tenemos que T = D f (a)
es biyectiva y usaremos su inversa. Consideramos entonces la función f0 : Ω0 → RN definida
por
f0 (z) = T −1 f (z + a) − f (a)


∀ z ∈ Ω0 (10)
que verifica f0 (0) = 0 . La regla de la cadena nos dice que f0 es diferenciable con

D f0 (z) = T −1 ◦ D f (z + a) ∀ z ∈ Ω0 (11)

y en particular D f0 (0) = T −1 ◦ T = Id . También deducimos que D f0 en continua en el origen,

pues para z ∈ U0 , se tiene
D f0 (z) − D f0 (0) = T −1 ◦ D f (z + a) − T 6 T −1 D f (z + a) − D f (a)

y basta tener en cuenta que D f es continua en a . En resumen, f0 verifica las hipótesis del
teorema, pero además está en el caso particular que ya hemos resuelto.
11. Función inversa 133

Por tanto, existe un abierto U0 de RN , con 0 ∈ U0 ⊂ Ω0 , tal que f0 es inyectiva en U0 , el

conjunto V0 = f0 (U0 ) es abierto, | J f0 (z) | =
6 0 para todo z ∈ U0 y, si ϕ0 es la restricción de f0
−1
a U0 , se tiene que ϕ0 es diferenciable con

D ϕ0−1 f0 (z) = D f0 (z)−1

∀ z ∈ U0 (12)

Sólo queda hacer el camino de vuelta, traduciendo toda esta información en términos de f .
Para ello, sea U = {z + a : z ∈ U0 } que claramente es un abierto de RN con a ∈ U ⊂ Ω .
A partir de (10) deducimos claramente que


f (x) = T f0 (x − a) + f (a) ∀x ∈ Ω (13)

mientras que (11) se traduce en

D f (x) = T ◦ D f0 (x − a) ∀x ∈ Ω (14)

Comprobamos ya, de forma bastante rutinaria, que f tiene en U las propiedades requeridas.



(i). Si f (x1 ) = f (x2 ) con x1 , x2 ∈ U , usando (13) tenemos T f0 (x1 − a) = T f0 (x2 − a) ,
pero T es biyectiva, luego f0 (x1 − a) = f0 (x2 − a) . Como x1 − a, x2 − a ∈ U0 y f0 es inyectiva
en U0 , concluimos que x1 = x2 , luego f es inyectiva en U .
(ii) . Veamos que V = f (U) es abierto. Como V0 = f (U0 ) es abierto y T es un homeomorfismo,
tenemos que W0 = T (V0 ) es abierto. En vista de (13) tenemos V = {v ∈ RN : v − f (a) ∈ W0 } ,
luego V es abierto por ser la imagen inversa del abierto W0 por una traslación.
(iii) . Para x ∈ U tenemos x − a ∈ U0 , luego | J f0 (x − a) | 6= 0 , es decir, D f0 (x − a) es biyectiva.
Como T también lo es, deducimos de (14) que D f (x) es biyectiva, es decir, | J f (x) | 6= 0 .
(iv) . Si ϕ es la restricción de f a U encontramos paso a paso la
relación entre ϕ −1 y ϕ0−1 .
Para y ∈ V se tiene y − f (a) ∈ W0 = T (V0 ) , luego T −1 y − f (a) ∈ V0 , lo que permite tomar
x = ϕ0−1 ◦ T −1 y − f (a) + a ∈ U , y usando (13) vemos claramente que f (x) = y . Esto

prueba que
ϕ −1 (y) = ϕ0−1 ◦ T −1 y − f (a) + a



∀y ∈ V
y tenemos ϕ−1 como composición de funciones diferenciables. Por la regla de la cadena, ϕ−1
es diferenciable con

D ϕ −1 (y) = D ϕ0−1 T −1 (y − f (a)) ◦ T −1

∀y ∈ V

Finalmente, para x ∈ U , aplicaremos la igualdad anterior con y = f (x) ∈ V . Teniendo en cuenta

que entonces T −1 y − f (a) = f0 (x − a) donde z = x − a ∈ U0 , podemos aplicar (12) y luego

(11) para obtener

D ϕ −1 f (x) = D ϕ0−1 f0 (x − a) ◦ T −1 = D f0 (x − a)−1 ◦ T −1

−1
= T −1 ◦ D f (x) ◦ T −1 = D f (x)−1 ◦ T ◦ T −1 = D f (x)−1

Como esto es válido para todo x ∈ U , hemos comprobado la afirmación (iv) , lo que concluye
la demostración del teorema. 
11. Función inversa 134

11.3. Ejemplo: coordenadas polares

Vamos a analizar un ejemplo muy sencillo de aplicación del teorema anterior que pone de
manifiesto su utilidad. Consideremos el abierto Ω = R+ × R ⊂ R2 y la función f : Ω → R2
definida por



f (ρ, θ) = x(ρ, θ) , y(ρ, θ) = ρ cos θ , ρ sen θ ∀ (ρ, θ) ∈ Ω

Es fácil ver que f (Ω) = R2 \ {(0, 0)} , y obviamente f no es inyectiva.

Con vistas a usar el teorema anterior, es claro que x, y : Ω → R son parcialmente derivables
en todo punto (ρ, θ) ∈ Ω con

∂x ∂x ∂y ∂y
(ρ, θ) = cos θ , (ρ, θ) = −ρ sen θ , (ρ, θ) = sen θ , (ρ, θ) = ρ cos θ
∂ρ ∂θ ∂ρ ∂θ

Las cuatro derivadas parciales de f son continuas, luego f es de clase C 1 en Ω y vemos

fácilmente que | J f (ρ, θ) | = ρ > 0 para todo (ρ, θ) ∈ Ω . Por tanto, podemos aplicar a f el
teorema anterior, en todo punto de Ω .
La conclusión que se deduce del teorema puede también comprobarse directamente, pues en
realidad f es una función bien sencilla. Concretamente, dado (ρ0 , θ0 ) ∈ Ω , es fácil encontrar
un abierto U de R2 , con (ρ0 , θ0 ) ∈ U ⊂ Ω tal que f es inyectiva en U , ver que V = f (U) es
abierto, e incluso, si ϕ es la restricción de f a U , calcular explícitamente ϕ −1 , comprobar que
es diferenciable y calcular su diferencial en cada punto de V . Sin embargo, debemos pensar
que el teorema seguiría siendo útil, aunque la función f fuese mucho más complicada, y no
pudiésemos encontrar explícitamente el abierto U y la función ϕ −1 , debiendo contentarnos
con saber que existen. Por tanto, si queremos mostrar esa utilidad mediante nuestra función f ,
debemos extraer alguna consecuencia del teorema que no precise calcular explícitamente U y
ϕ−1 , como puede ser la siguiente:

Sea g : R2 \ {(0, 0)} → R un campo escalar y consideremos la función h : R+ × R → R

definida por:

∀ (ρ, θ) ∈ R+ × R


h(ρ, θ) = g ρ cos θ , ρ sen θ

Entonces g es diferenciable si, y sólo si, lo es h .

Nótese que h = g ◦ f donde f es la función con la que veníamos trabajando. Como f es

diferenciable, la regla de la cadena nos da una implicación: h será diferenciable siempre que
g lo sea. El recíproco sería igual de fácil si f fuese biyectiva y f −1 fuese diferenciable, pues
escribiríamos g = h ◦ f −1 y volveríamos a usar la regla de la cadena. Pero, esto no es posible
porque f no es inyectiva, no tiene una “inversa global” f −1 . Sin embargo el teorema anterior
nos proporciona, en cada punto de Ω lo que podríamos llamar una “inversa local” de f , a
saber la inversa de la restricción de f a un entorno del punto considerado. Precisamente porque
queremos probar una propiedad “local”, la diferenciabilidad de g , esa posibilidad de invertir
localmente la función f será suficiente, como vamos a ver.
11. Función inversa 135

Fijado (x0 , y0 ) ∈ R2 \ {(0, 0)} , queremos probar que g es diferenciable en (x0 , y0 ) . Para
ello tomamos (ρ0 , θ0 ) ∈ Ω = R+ × R tal que f (ρ0 , θ0 ) = (x0 , y0 ) . Puesto que f era de clase
C 1 en Ω con | J f (ρ0 , θ0 ) | = ρ0 > 0 , el teorema de la función inversa nos dice que existe un
abierto U de R2 , con (ρ0 , θ0 ) ∈ U ⊂ Ω , tal que f es inyectiva en U , el conjunto V = f (U) es
abierto y, llamando ϕ a la restricción de f a U se tiene que ϕ −1
es diferenciable.

Pues bien,
−1 −1 −1
para (x, y) ∈ V se tiene que ϕ (x, y) ∈ U luego f ϕ (x, y) = ϕ ϕ (x, y) = (x, y) de
donde deducimos que

g(x, y) = g f ϕ−1 (x, y) = h ϕ −1 (x, y)

∀ (x, y) ∈ V

Así pues, la restricción de g a V es la función h ◦ ϕ −1 . Como h y ϕ −1 son diferenciables, la

regla de la cadena nos dice que gV es diferenciable en todo punto de V , y en particular en el
punto (x0 , y0 ) = f (ρ0 , θ0 ) ∈ V . Por el carácter local de la diferenciabilidad, deducimos que g
es diferenciable en (x0 , y0 ) como queríamos demostrar. 

11.4. Función inversa global

Como hicimos con la versión local, recordemos el teorema de la función inversa global para
funciones reales de variable real:

Sea I ⊂ R un intervalo no trivial y f : I → R una función derivable en I con f 0 (x) 6= 0

para todo x ∈ I
. Entonces f es inyectiva, J = f (I) es un intervalo y f −1 es derivable
0
en J con f −1 f (x) = 1/ f 0 (x) para todo x ∈ I .

A diferencia de lo que ocurrió con el teorema local, la generalización del resultado anterior
que cabría esperar, no es cierta. Concretamente, sustituyendo como es natural el intervalo I por
un abierto Ω ⊂ RN , que se puede suponer conexo o incluso convexo, podríamos pensar que
una función diferenciable f : Ω → RN verificando que | J f (x) | 6= 0 para todo x ∈ Ω tenga que
ser inyectiva, pero esto es falso: basta considerar la función f del ejemplo que acabamos de
estudiar en detalle: es inyectiva en un entorno de cada punto del abierto convexo Ω = R+ × R ,
podríamos decir que es localmente inyectiva, pero no es inyectiva en Ω . Debemos pues aceptar
que, para funciones de varias variables, la versión global del teorema de la función inversa va
a ser mucho más débil que en el caso de una variable, pues la inyectividad de la función no
será parte de la tesis, sino que habrá de suponerse como hipótesis. Enunciamos ya el resultado
global que podemos conseguir.

Teorema de la función inversa (global). Sea Ω un abierto de RN y f : Ω → RN una

función de clase C 1 en Ω . Supongamos que f es inyectiva y que | J f (x) | = 6 0 para todo
x ∈ Ω . Entonces
el conjunto W = f (Ω) es abierto y f −1 es diferenciable en todo punto de W
con D f −1 f (x) = D f (x)−1 para todo x ∈ Ω . De hecho, f −1 es de clase C 1 en W .

Demostración. Sea y ∈ W y x = f −1 (y) ∈ Ω . Como D f es continua en el punto x con

| J f (x) | 6= 0 , podemos aplicar el teorema local obteniendo un abierto U de RN , con x ∈ U ∈ Ω ,
verificando las propiedades que vamos a comentar.
11. Función inversa 136

En primer lugar, que f sea inyectiva en U no es nada nuevo, pues f es inyectiva en Ω . Pero
también tenemos que V = f (U) es abierto y, como y = f (x) ∈ f (U) = V ⊂ W deducimos que
y ∈ W ◦ . Antes de seguir con el razonamiento, como y ∈ W era arbitrario, tenemos ya probado
que W es abierto. De nuevo para el punto y ∈ W que teníamos fijado, si ϕ es la restricción
de f al abierto U , está claro que la función ϕ −1 : V → U no puede ser otra que la restricción
de f −1 a V . Como el teorema local nos dice que ϕ−1 es diferenciable, por el carácter local
de la diferenciabilidad deducimos que f −1 es diferenciable en el punto y . Otra vez y ∈ W
era arbitrario, luego f −1 es diferenciable en todo punto de W . Para x ∈ U , podemos tomar
y = f (x) ∈ V y, usando de nuevo el teorema local, obtenemos
D f −1 f (x) = D f −1 (y) = D ϕ −1 (y) = D ϕ −1 ( f (x) ) = D f (x)−1

Para ver que D f −1 es continua, comprobaremos previamente el siguiente resultado.

Sea G el subconjunto de L(RN , RN ) formado por las aplicaciones lineales biyectivas.

Entonces, la aplicación T 7→ T −1 , de G en sí mismo, es continua.

Empezamos comprobando la continuidad de la función α : G → R+ definida por

1
α(T ) = ∀T ∈ G
k T −1 k
De hecho, para S, T ∈ G tenemos
 −1
 k S k − k T −1 k  k T −1 ◦ T − S ) ◦ S −1 k

k S −1 − T −1 k
| α(T ) − α(S) | = 6 =
k T −1 k k S −1 k k T −1 k k S −1 k k T −1 k k S −1 k
k T −1 k k T − S k k S −1 k
6 = kT − Sk
k T −1 k k S −1 k
donde, al pasar de la primera a la segunda línea, hemos usado un hecho completamente evidente:
la norma de una composición, de aplicaciones lineales y continuas entre espacios normados, es
menor o igual que el producto de las normas. Así pues, vemos que de hecho α es no expansiva,
luego continua. Deducimos obviamente que la función 1/α , es decir, la función T 7→ k T −1 k ,
de G en R+ también es continua.
Finalmente, dada T ∈ G y una sucesión {Tn } de elementos de G con {Tn } → T , bastará
comprobar que {Tn−1 } → T −1 . En efecto, para todo n ∈ N se tiene
k Tn−1 − T −1 k = k T −1 ◦ (T − Tn ) ◦ Tn−1 k 6 k T −1 k k T − Tn k k Tn−1 k

Como
 −1 k T − Tn k → 0 y la continuidad
 de la función 1/α antes comentada nos dice que
k Tn k → k T k , concluimos que k Tn − T −1 k → 0 como se quería.
−1 −1 

Para terminar la demostración del teorema de la función inversa global, teníamos ya

 −1
D f −1 (y) = D f f −1 (y)

∀y ∈ W
luego podemos escribir D f −1 = J ◦ D f ◦ f −1 , donde J es la función T 7→ T −1 , de G en
sí mismo, cuya continuidad acabamos de comprobar. Puesto que f −1 es continua, porque es
diferenciable, y D f es continua por hipótesis, concluimos que D f −1 es continua, por ser la
composición de tres funciones continuas. Así pues, f −1 es de clase C 1 en W como queríamos
demostrar.