SOBRE LAS APLICACIONES DE Rn EN Rm

EL TEOREMA DE LA
FUNCIN INVERSA

Carmen SNCHEZ DEZ

1. Introduccin:
En su expresin ms simple, el Teorema de la Funcin Inversa se refiere a una

r
r r
r
r
f : A B , esto es, que x A, f ( x ) = y B , en la cual se pretende
r
r
r r
r
r
despejar la x y obtener otra funcin g : B A tal que y B, g ( y ) = x A ,
funcin

verificando

r r r
( g o f )( x ) =
r r r
( f o g )( y ) =

r r r
g f (x) =
r r r
f [g ( y ) ] =

r
x
r
y

explicando asimismo las propiedades de diferenciabilidad y continuidad de la

r
funcin g : B A en funcin de las propiedades de diferenciabilidad y continuidad

de la funcin f : A B .
Intrnsecamente conectado con este teorema est el llamado Teorema de la
Funcin Implcita que, tambin expuesto de la manera ms sencilla, pretende

r
f :A B,
r r
cuando se conocen relaciones implcitas de las variables de la forma F ( x , y ) = 0 ,

establecer las condiciones en las que es posible obtener la funcin

encontrando condiciones que permitan tanto despejar variables como establecer

condiciones de diferenciabilidad y continuidad.
El problema adquiere gran importancia cuando se establece una generalizacin a
funciones

r
f : R n R m en el Teorema de la Funcin Inversa, o cuando se estudian

relaciones implcitas de la forma Fk ( x1 ,..., x n ) = 0, k = 1,... En su forma ms general

se trata, en definitiva, de un sistema de n ecuaciones con n+k variables

f j ( x1 , x 2 ,..., x n ; t1 , t 2 ,..., t k ) = 0,

j = 1,2,..., n

y se trata de saber bajo qu condiciones puede ser resuelto tal sistema respecto de
las n variables x1 , x 2 ,..., x n en funcin de las t1 , t 2 ,..., t k . En la demostracin que
hacemos del Teorema de la Funcin Implcita en el desarrollo de este trabajo
usaremos la notacin

r r
f j ( x; t 0 ) = 0,
r

j = 1,2,..., n

r r

donde es x = ( x1 , x2 ,..., xn ) R , t0 = (t1 , t 2 ,..., t k ) R , por lo que ( x ; t0 ) R

n

n+ k

2. Desarrollo:
Teorema 1:
La condicin necesaria y suficiente para que la funcin

r
f : A B admita

inversa g : B A es que sea suprayectiva y uno a uno (inyectiva).

Demostracin:
-

Condicin suficiente. Si es suprayectiva e inyectiva admite inversa:

r
f suprayectiva
y B, x A / f ( x) = y y B, x A / g ( y ) = x Dom( g ) = B
r
f inyectiva
f ( x1 ) = y f ( x 2 ) = y f ( x1 ) = f ( x 2 ) x1 = x 2

g ( y ) = x1
x1 = x 2 g uniforme
g ( y) = x2

Condicin necesaria. Si existe inversa, entonces la funcin es suprayectiva e

inyectiva:

g o f = I dA

f o g = I dB

y B, ( f o g )( y ) = f [g ( y )] = f ( x) = y ,
es decir:

y B, x A / f ( x) = y f sup rayectiva
f ( x1 ) = f ( x 2 ) ( g o f )( x1 ) = ( g o f )( x 2 ) I dA ( x1 ) = I dA ( x 2 ) x1 = x 2
f inyectiva

Teorema 3:

r
r
f : S R n f ( S ) R m , inyectiva en el conjunto compacto
r
r
r
S R n , es decir, existe la funcin inversa f 1 : f ( S ) S . Entonces, si f es
r 1
r
continua en S , f
es continua en f ( S ).
Sea la funcin

Demostracin:

{r

Sea y f ( S ) / lim y n = y , Sean tambin {x n } = f

( y n ) , n = 1.2,..

Se tendr entonces que

{xrn } S {xrn } inf inito S compacto x S / x punto _ acumulac{xrn }

r
r
r
r
{x ' n } {x n }/ lim x ' n = x
r
r r
r r
r
y, por ser f continua, {f ( x ' n )} {f ( x n )} = {y n }
se tiene, en definitiva:

r
r r
r
r
r r
r r
lim x ' n = x f continua lim f ( x' n ) = f ( x )
r
r
r r
lim f ( x ' n ) = lim y n f ( x ) = y
r
r
r
f ( x ' n ) {y n } lim y n = y

r 1 r
r r
r r
r
( y ) , o bien lim x n = lim f 1 ( y n ) = f 1 ( y )

de lo cual se sigue que x = f

r 1 r
r r
r
r
( y n ) = f 1 ( y ) f 1 continua en f ( S )

Ahora bien, lim f

Teorema 4 (Teorema de la Funcin Inversa):

r
r
r
S R n abierto y sea f : S R n f ( S ) R m tal que f C 1 en S .
r
r
r
r
x0 S / J f ( x0 ) 0 A S B f ( S ) g : B A tales que verifican:
r r
r
1) x 0 A , f ( x 0 ) B .
r
2) f ( A) = B .
r
3) f es uno a uno en A.
r
r r r
r r
4) g ( B ) = A, g ( f ( x )) = x , x A.
r
1
5) g C en B .
Sea

Que tambin puede enunciarse as:

r
: R n R m / f C 1 en S
r
r
r
x0 S / J f ( x0 ) = D j f i ( x0 ) 0, i, j = 1,..., n
r
r r
r
r
r
A S B f ( S ) g : B A / x0 A f ( x 0 ) B f inyectiva en A
r
r
r
r r r
r r
f ( A) = B g ( B) = A x A, g ( f ( x )) = x g C 1 en B

Sea S R

abierto f

Grficamente:

r r
r

x0 A, f ( x0 ) B
r

S R n abierto
f
inyectiva en A
r n
r
m
f : R R
( A) = B
f
r
r
r r r
r r
1
f C en S g ( B) = A, g f ( x ) = x , x A
r
r
J f ( x0 ) 0
g C 1 en B

Demostracin:
Se tiene, desde las hiptesis del teorema:
a)

r
r
r
J f ( x0 ) 0 J f ( x 0 ) continuo E ' ( x0 ) entorno de x0 / J f ( x ) 0, x E ' ( x0 ) (*)

(*) E ( x0 ) E ' ( x0 ) / f inyectiva en E ( x 0 )

(*) : por el teorema 5 del artculo Utilizando el Jacobiano, en esta Web.

b) Sean K, K esferas abierta y cerrada, respectivamente, con centro en el
punto x 0 , y contenidas en el entorno E ( x 0 ) :

r
K E ( x 0 ) J f ( x ) 0, x K f inyectiva en K
c) Por (**), f inyectiva en K E ( f ( x 0 )) f ( K ) .
Llamemos B = E ( f ( x 0 )) f ( K ) f ( S )

(**) : ver teorema 4 del artculo Utilizando el Jacobiano, en esta Web.

d) Sea A = f

( B) K A abierto A K E ( x0 ) S

r Por el teorema 3, se tiene que

r r
rr r
r s
f inyectiva y continua en K K compacto g : f ( K ) K / gf ( x ) = x , x K
r
r
g continua en f (K )
r 1
r
Llamemos f
a la funcion g
e) Se tiene, en definitiva, que:

r r

1. A, B abiertos / A S B f ( S ) x 0 A, f ( x 0 ) B

r
r
r
r
r r
rr
r
A = f 1 ( B) K f ( A) = f f 1 ( B) K = ff 1 ( B) f ( K ) =
3.
r
= B f (K ) = B
r
por tanto es f ( A) = B
r
r r
r
r r r
r
4. g : f ( K ) K / x K , g ( f ( x )) = x y por ser B f (K ) podemos
r
r
& xr A / f ( xr ) = yr gr ( B) A
restringir esta funcin al conjunto B, y es: y B,
r r
r
r r r
r
& yr B / gr ( yr ) = xr
pero tambin es x A, g f ( x ) = x f ( x ) B
r
g ( B) A
r
por lo cual, de ambas inclusiones: g ( B ) = A
r

2. A E ( x 0 ) f inyectiva en E ( x 0 ) f inyectiva en A

f) Para probar la afirmacin 5 del teorema, o sea, que g C en

diferenciable con continuidad en B), haremos un desarrollo aparte.
Se

trata

de

probar

que

r
g = ( g1 ,..., g n ) : R n R n

es

r
B (g

diferenciable

con

r
n
continuidad en B f ( S ) R , cumplindose, como ya hemos visto en los
apartados

anteriores,

que

r
r r
r
f ( A) = B ,
x0 A, f (x0 ) B ,
r
r r r
r r
g ( B) = A, g ( f ( x )) = x , x A.

r
f

son
es

abiertos
uno

tales
uno

en

que

A. ,

Por definicin de funcin diferenciable con continuidad (ver Utilizando el

Jacobiano en esta misma web) se trata, en definitiva, de probar que existen y
son continuas las derivadas parciales

r
r
Dr g k ( y ), y B, r , k = 1,..., n
O dicho de otro modo, que existen y son continuos los lmites

r
r
r
g k ( y + .u r ) g k ( y ) k = 1,..., n
lim
,
r = 1,..., n

(siendo el unitario ur = (0,.

.,0,1,0...0 ), esto es, el 1 est en la posicin rsma)

Veamos:
f1) Llamemos,

r
y B y para 0 :
r r r
x = g ( y ) A,

r r
r
x' = g ( y + .u r ) A

de donde

r r r
y = f (x)

r r
r
r
y + .u r = f ( x ' )

f2) En definitiva, se tiene que

r r
r r
r
f ( x ' ) f ( x ) = .ur = .(0,. r .,0,1,0...0)
o bien, usando las componentes f 1 ,... f n :

r
r
r
r 0, i r
f i ( x ' ) f i ( x ) 0, i r
fi ( x ' ) fi ( x ) =

, i = r
1, i = r
f3) Por el teorema del valor medio n-dimensional:

r r r r
r
r
f1 ( x ' ) f i ( x ) = f i ( zi ).( x ' x )
r

siendo zi punto del segmento que une x con x '

f4) Si dividimos por

se tiene:

r
r
f1 ( x ' ) f i ( x )

r r xr ' xr
= f i ( zi ).

y en forma matricial sera

 x1' x1
r
r
D1 f1 ( z1 ) ... Dn f1 ( z1 ) 0
D f ( zr ) ... D f ( zr ) x2' x2 ...

2
n 2
1 2 2

....
....
.... . = 1

...
....
....
....

... ...
r
r
D1 f n ( z n ) ... Dn f n ( z n ) x ' x 0
n n

que tiene solucin nica al ser no nulo el determinante de la matriz de los
coeficientes, pues de ser el jacobiano en un punto de S no nulo, razonando
como antes, obtenemos que

r
det D j f i ( z i ) 0
para los puntos del conjunto A. Por tanto, la k-sima incgnita es

x k' x k

r
r
r
g k ( y + .u r ) g k ( y )

k = 1,..., n
,
r = 1,..., n

f5) Por consiguiente, existen los lmites

lim

r
r
r
g k ( y + .u r ) g k ( y )

s
= Dr g k ( y ),

k = 1,..., n
r = 1,..., n

f6) Estos lmites son cocientes de determinantes donde figuran solo las

derivadas parciales de la funcin f , D j f i ( x ), que son funciones continuas por

ser f C . As, pues, de la continuidad de las

1

r
D j f i (x ) resulta la continuidad

del las Dr g k ( y ) .

5. Queda, pues, probado que al ser las Dr g k ( y ) continuas, la funcin g es

diferenciable con continuidad, o sea, g C en B.

1

Teorema 5 (Teorema de la Funcin Implcita):

Sea f = ( f 1 ,..., f n ) definida en un conjunto abierto

S R n + k con valores en R n ,
r
r r
1
que es diferenciable con continuidad, es decir, f C en S . Sea ( x 0 ; t 0 ) un
r r r
punto de S para el cual es f ( x 0 ; t 0 ) = 0 y no se anula el jacobiano,
r
r r
r r
r
J f ( x 0 ; t 0 ) = D j f i ( x0 ; t 0 ) 0, i, j = 1,..., n , con x0 R n y t 0 R k . Se verifica
r
k
entonces que existe un entorno E del punto t 0 R y una nica funcin
r
g : E R n tal que
r r
r
1) g (t 0 ) = x 0
r r r r
r
2) t E , f (g (t ); t ) = 0
r
1
3) g C en E
Ms simblicamente, puede enunciarse as:

r
r
S R n + k abierto f : R n + k R n / f C 1 en S
r r r
r r r r
r
r r
r r
x0 R n , t0 R k /( x0 ; t0 ) S , f ( x0 ; t0 ) = 0, J f ( x0 ; t0 ) = D j f i ( x0 ; t0 ) 0, i, j = 1,..., n
r
r
r
r
r
r r
r
r
E (t0 ) R k , entorno de t0 g : E (t0 ) R n / g (t0 ) = x0 g C1 en E (t0 )
r
r r r r r
t E (t0 ), f ( g (t ); t ) = 0

Sea

Demostracin:

Antes de establecer el entorno E (t 0 ) y la funcin

r
g que se indican en la tesis

del teorema, veamos la aplicacin del Teorema de la Funcin Inversa a la

funcin

r
F definida de R n + k en R n + k , de la siguiente manera:
r
F : R n+k R n+k ,

r
r r
r
( x , t ) R n + k / x = ( x1 ,..., x n ) R n , t = (t1 ..., t k ) R k ,
r r r
r r
r r
r r
r r
F ( x , t ) = ( F1 ( x , t ),..., Fn ( x , t ), Fn +1 ( x , t ),...., Fn + k ( x , t )) R n + k
donde cada una de las componentes viene dada por:

r r
r r f m ( x , t ) si 1 m n
Fm ( x , t ) =
si n < m n + k
tm n

O sea, la funcin

r
F puede expresarse as:
r r
r
F = f , i : Rn+k Rn+k

( )

donde es f = ( f1 ,..., f n ) : R

y es i = (i1 ,..., ik ) : R

n+k

n+ k

R n la funcin de la hiptesis,

R k la identidad en R k .

r r

Entonces, el jacobiano de esta funcin en un punto genrico ( x , t ) ser:

r r
r r
J F ( x , t ) = det D j Fi ( x , t )
r
por la forma de la definicin de la funcin F resulta inmediato que este

determinante tiene las k ltimas filas y las k ltimas columnas formando una
caja cuadrada cuya diagonal es la unidad y el resto de los elementos son nulos;
mientras que las n primeras filas y n primeras columnas coinciden con las del

determinante jacobiano de la funcin f . Por consiguiente:

r r
rr
J F ( x , t ) = det D j f i ( x , t )

r r
concluye que tambin es J F ( x 0 , t 0 ) 0 .

r r r

r r
r r
J f ( x 0 , t 0 ) = det D j f i ( x0 , t 0 ) 0 se

Luego, al cumplirse, por hiptesis, que

r r r

r r r

r r

Por otra parte, es: F ( x 0 , t 0 ) = f ( x 0 , t 0 ), i ( x 0 , t 0 ) = (0, t 0 )

Por el Teorema de la Funcin Inversa, existirn entonces dos conjuntos
contenidos

en

R n + k , A y B, y

existir

r
G : R n + k R n + k , verificndose:

tambin

una

funcin

inversa,

r
r r r r
r
r
r r r
F inyectiva en A, F ( A) = B, G ( B) = A, G F ( x , t ) = ( x , t ), G C 1 en B
r

En estas condiciones, podemos expresar a la funcin inversa G en la forma:

r
r r
G = (Gn , Gk )
De modo que:

r r r
r r r r
r r r r r r
r r
( x , t ) B, G ( x , t ) = Gn , Gk ( x , t ) = Gn ( x , t ), Gk ( x , t ) =
r r
r r
r r
r r
= (Gn1 ( x , t ),..., Gnn ( x , t ), Gk1 ( x , t ),..., Gkk ( x , t ) ) R n + k
O sea, es:

r
r r r
r r
Gn : R n + k R n , ( x , t ) B R n + k , Gn ( x , t ) R n
r
r rr
r r
Gk : R n + k R k , ( x , t ) B R n + k , Gk ( x , t ) R k
por lo cual se tiene que

) (
(
(

)(

) ( (

) (

))

r r r r
r r r r r
r r r r r r rr
rr
G F ( x , t ) = Gn , Gk F ( x , t ) = Gn F ( x , t ) , Gk F ( x , t ) = ( x , t )
r r rr
r
Gn F ( x , t ) = x
r r r r
r
Gk F ( x , t ) = t

)
)

A partir de esto, describimos el entorno E (t 0 ) y la funcin g que figuran en la

tesis del teorema de la manera siguiente:

r r
r
r
E (t 0 ) = t R k /(0, t ) B
r r r
r
r r r
t E (t 0 ), g (t ) = Gn (0, t )

con lo cual es E (t 0 ) abierto y tambin E (t 0 ) B

r
r
r
g C 1 en B , por ser las componentes de g tambin componentes de G.

Asimismo es:

(0, tr ) = Fr ( xr , tr ) gr (tr ) = G (0, tr ) = G ( Fr ( xr , tr )) = xr

r

r r

r r
r
g (t 0 ) = x 0

3. Documentacin:
Apstol, T. M.; Anlisis Matemtico, Editorial Revert. Barcelona, 1998.
Apstol, T.M.; Calculus, Editorial Revert. Barcelona, 1991.
Dieudonn, J.; Fundamentos de Anlisis Moderno, Editorial Revert. Barcelona,
1991.
Fleming, W.; Functions of several variables, Springer-Verlag, Berlin, 1994
Rudin, W.; Principios de Anlisis Matemtico, Editorial Mc Grall Hill, 1990.
Spivak, M.; Calculo en variedades, Editorial Revert. Barcelona, 1994
Spivak, M.; Calculus, Editorial Revert. Barcelona, 1988.

Carmen SNCHEZ DEZ

titakrmen@hotmail.com

10