RevistaDigital Ugalde V14 n2 2014

Revista digital
Matemtica, Educacin e Internet

(http://www.tec-digital.itcr.ac.cr/revistamatematica/).
Vol 14, No 2. Marzo Agosto 2014. ISSN 1659 -0643
Una propuesta para la enseanza del teorema
de la funcin inversa
William J. Ugalde
william.ugalde@ucr.ac.cr
Escuela de Matemtica
Universidad de Costa Rica
Recibido: Julio 26, 2013 Aceptado: Enero 16, 2014
Resumen. El objetivo es presentar el teorema de la funcin inversa y algunos de sus principales
corolarios. Este teorema es central en el estudio del clculo en varias variables, y tradicionalmente
su presentacin se hace de manera negligente en cursos que tienden a dar poco nfasis al anlisis,
lo cual puede no ser conveniente para estudiantes de las carreras de enseanza de las matemticas,
matemtica pura y aplicada, y carreras anes.
Palabras clave: Teorema de la funcin inversa, diferencial, teorema de la funcin implcita, puntos extremos en la
frontera.
Abstract. The goal is to present the inverse function theorem and some of its main corollaries. This
theorem is central in the study of calculus in several variables, and traditionally its presentation is
neglected in courses that tend to focus little on analysis, which can be inconvenient for students
majoring in mathematics teaching, pure and applied mathematics, and related careers.
KeyWords: Inverse function theorem, differential, implicit function theorem, extreme points on the boundary
1.1 Introduccin
Para funciones f : A R f (A) R se sabe que f posee una funcin inversa f
1
: f (A) R R
si y slo si f es inyectiva. Una posibilidad para determinar si f es inyectiva en el caso real es a travs
de su monotona. En el caso de funciones derivables, la monotona queda determinada a partir de la
Una propuesta para la enseanza del teorema de la funcin inversa . William J. Ugalde
Derechos Reservados 2014 Revista digital Matemtica, Educacin e Internet (www.tec-digital.itcr.ac.cr/revistamatematica/)
2 Revista digital Matemtica, Educacin e Internet (http://www.tec-digital.itcr.ac.cr/revistamatematica/). Vol 14, No 2. Marzo Agosto 2014.
derivada de la funcin. Si f : ARR es derivable en un punto x
0
en el conjunto abierto
1
A y f
/
(x
0
) ,=0,
existe un vecindario abierto I A alrededor de x
0
tal que f es (localmente) invertible de I a f (I).
Figura 1.1: Funciones localmente invertibles.
Otro resultado del clculo en una variable establece que si f : R R es diferenciable e inyectiva en un
vecindario del punto x
0
para el cual f
/
(x
0
) ,= 0, entonces f
1
es diferenciable en y
0
= f (x
0
) y
( f
1
)
/
(y
0
) =
1
f
/
( f
1
(y
0
))
.
Se desea en este trabajo extender al caso f : AR
m
R
n
estos resultados. El objetivo central es presen-
tar una propuesta para la enseanza del teorema de la funcin inversa en un primer cursos de clculo
en varias variables, para estudiantes de las carreras de enseanza de las matemticas, matemtica pura
y aplicada, y carreras anes.
Por la ubicacin propia del material en el currculo de un estudiante de estas carreras, es necesario
asumir algunos rudimentos del lgebra lineal, y algn conocimiento inicial de la topologa mtrica de
R
n
.
En la seccin 1.2 se describe geomtricamente la diferencial de una funcin y se establecen los requi-
sitos necesarios para el resto del documento. En particular, se demuestra el Lema 1.1 llamado lema de
aproximacin, necesario en la demostracin de los principales resultados. En la seccin 1.3 se demues-
tran el teorema de la funcin inyectiva y de la funcin sobreyectiva, pasos iniciales para concluir el
teorema de la funcin inversa. En la seccin 1.4 se presenta una de las aplicaciones del teorema de la
funcin inversa, a saber, el estudio de los puntos crticos de una funcin en la frontera de una regin.
Posteriormente, en la seccin 1.5 se presenta el teorema de la funcim implcita en cuya demostracin
se utiliza la segunda versin del teorema de la funcin inversa. Dado que algunas de las demostra-
ciones requieren estructuras ms elaboradas de anlisis, o bien requieren argumentos ms extensos,
las demostraciones de algunos resultados se posponen para la seccin 1.6 para que el lector pueda
estudiar el documento en forma lineal en una primera lectura. La bibliografa ?? contiene una breve
lista de libros que el lector puede consultar para ahondar en estos temas. Para terminar, se presenta
un anexo en la seccin A con una lista de ejercicios la cual invita al lector a revisar su dominio de
los resultados presentados en este documento. Algunos de estos ejercicios muestran aplicaciones del
teorema de la funcin inversa a otras reas del clculo y el lgebra lineal.
1
Un conjunto A R
n
es abierto si y slo si para todo x
0
A existe >0 tal que
B
(x
0
) := x R
n
: [[x x
0
[[ < A.
Intuitivamente, es posible trasladarse a partir del punto y en cualquier direccin, una corta distancia sin abandonar el conjunto.
Revista digital Matemtica, Educacin e Internet (http://www.tec-digital.itcr.ac.cr/revistamatematica/). Vol 14, No 2. Marzo Agosto 2014. 3
Este trabajo es el resultado del minicurso El Teorema de la Funcin Inversa, dictado por el autor en
la Escuela de Matemtica del Instituto Tecnolgico de Costa Rica, durante el mes de enero del ao 2012
en preparacin para la Emalca 2012. La intencin principal es proveer reexin sobre estos resultados
sin dejar de lado el rigor matemtico. Se busca complementar los libros de textos tradicionales en los
cuales, el rigor y las estructuras usadas para presentar las matemticas, dejan poco espacio para el
desarrollo de la intuicin.
1.2 Signicado geomtrico de la diferencial
Para una funcin f : R R se dene la derivada mediante
f
/
(x
0
) := lim
h0
f (x
0
+ h) f (x
0
)
h
, (1.1)
siempre que dicho lmite exista. Aqu f
/
: R R.
La derivada permite aproximar la funcin f (x), para puntos x = x
0
+ h cercanos a x
0
, mediante una
funcin afn:
f (x) f
/
(x
0
)(x x
0
) + f (x
0
).
Nota. Geomtricamente, la funcin f se puede aproximar en forma local por su recta tangente.
Figura 1.2: Funcin aproximada por su recta tangente.
A la funcin lineal
d f (x
0
) : R R; x f
/
(x
0
)x
se le llama la diferencial de f en x
0
.
La relacin (1.1) puede escribirse como
lim
xx
0
1
x x
0
f (x) f (x
0
) f
/
(x
0
)(x x
0
)
= 0. (1.2)
Formalmente, para todo > 0 existe = ( f , , x
0
) > 0 (que depende de la funcin f , del valor de y
del punto x
0
) tal que
0 < [x x
0
[ < implica

f (x) f (x
0
) f
/
(x
0
)(x x
0
)
< [x x
0
[. (1.3)
La derivada y la diferencial anterior tienen una extensin natural para el caso f : R R
n
. Basta con
considerar
lim
xx
0
1
x x
0
f (x) f (x
0
) f
/
(x
0
)(x x
0
)
= 0, (1.4)
donde f (x) f (x
0
) representa un vector en R
n
paralelo al vector con punto inicial en f (x
0
) y punto
nal en el punto f (x). Aqu f
/
(x
0
), y por ende, f
/
(x
0
)(x x
0
) pertenece al mismo espacio que f (x)
f (x
0
).
En este caso, f
/
es una funcin que produce para cada x
0
un vector f
/
(x
0
) en R
n
el cual permite
aproximar la funcin f (x) para puntos x cercanos a x
0
mediante una funcin afn:
f (x) (x x
0
) f
/
(x
0
) + f (x
0
).
A la funcin lineal
d f (x
0
) : R R
n
; x x f
/
(x
0
)
se le llama la diferencial de f en x
0
. Geomtricamente, la curva que representa la funcin f en R
n
, se
puede aproximar en forma local por su recta tangente.
f (x
0
)
Figura 1.3: Funcin de R en R
n
aproximada por su recta tangente.
La grca de una funcin f : R
2
R, se puede aproximar (bajo las hiptesis apropiadas) en R
3
en
forma local, por un plano. Analticamente, lo anterior signica que la funcin f se puede aproximar
alrededor de cada punto x
0
por una funcin afn f
/
(x
0
) : R
2
R de la forma
f (x) f
/
(x
0
)(x) = m x + b,
donde m es un vector m = (m
1
, m
2
) y b un nmero real.
En el caso f : R
m
R
n
(1.2) (o bien (1.4)) deja de tener sentido pues x x
0
es ahora un vector y no se
puede considerar el cociente 1/(x x
0
).
Se observa sin embargo que se pueden reemplazar valores absolutos por normas en (1.3): para todo
>0 existe = ( f , , x
0
) >0 tal que
0 < [[x x
0
[[
R
m < implica
f (x
0
+ h) f (x
0
) f
/
(x
0
)(x x
0
)
R
n
< [[x x
0
[[
R
m, (1.5)
donde f
/
(x
0
)(x x
0
) debe pertenecer al mismo espacio que f (x
0
+ h) f (x
0
).
As, la diferencial R R; x f
/
(x
0
)x, debe reemplazarse por una aplicacin (lineal) R
m
R
n
;
x f
/
(x
0
)(x).
Una vez logrado este objetivo, (1.5) puede escribirse como
lim
xx
0
1
[[x x
0
[[
R
m
f (x) f (x
0
) f
/
(x
0
)(x x
0
)
R
n
= 0.
Denicin 1.1
Sea f : A R
m
R
n
una funcin con A un conjunto abierto. Se dice que f es diferenciable
en un punto x
0
A si y slo si existe una transformacin lineal d f (x
0
) : R
m
R
n
, para la cual,
dado >0 existe >0 (que depende de f , y x
0
) tal que
0 < [[x x
0
[[
R
m < , x A implican
f (x) f (x
0
) d f (x
0
)(x x
0
)
R
n
< [[x x
0
[[
R
m. (1.6)
Se dice que f es diferenciable en A si es diferenciable en todo punto x
0
de A.
A la transformacin lineal d f (x
0
) : R
m
R
n
se le llama la diferencial de f en el punto x
0
.
Nota.
La denicin anterior establece que f : A R
m
R
n
es diferenciable en un punto x
0
A si y
slo si
lim
xx
0
1
[[x x
0
[[
R
m
f (x) f (x
0
) d f (x
0
)(x x
0
)
R
n
= 0,
para alguna transformacin lineal d f (x
0
) : R
m
R
n
.
Obsrvese como d f toma puntos en A y produce transformaciones lineales en L(R
m
, R
n
). De
este modo, cada d f (x
0
) toma vectores en R
m
y produce vectores en R
n
y cada d f (x
0
) posee
una representacin matricial.
Ejemplo 1.1
Es fcil ver que para toda aplicacin lineal L : R
m
R
n
se tiene que dL(x
0
) = L, para todo
x
0
R
m
. De hecho, esta propiedad se sigue de usar en (1.6) la relacin
L(x) L(x
0
) L(x x
0
) = 0,
dada por la linealidad de L.
Si bien no es el tema de este documento, el siguiente ejemplo pone de maniesto que la diferencial est
ntidamente relacionada con las derivadas parciales.
Ejemplo 1.2
Sea f : R
m
R una funcin con derivadas parciales continuas. La diferencial de f en cualquier
punto x
0
R
m
se puede representar como la matriz la de m entradas, cuyo valor en cada
entrada es la respectiva derivada parcial. Esta matriz la se conoce como el vector gradiente de
f en el punto x
0
, y se denota (f )(x
0
).
d f (x
0
)x = (f )(x
0
) x =
f
x
1
(x
0
)
f
x
1
(x
0
)
x
1
.
.
.
x
m
=

i=1
m
f
x
i
(x
0
)x
i
,
donde se represent a x R
m
como el vector columna (x
1
, . . . , x
m
)
t
.
Es un resultado usual del clculo en varias variables que la continuidad de las derivadas parciales en
un punto implica la diferenciabilidad de la funcin en ese punto. Usando este hecho se puede mostrar
el siguiente resultado, que ser de mucha utilidad en las demostraciones que se estudiarn adelante.
Intuitivamente, este resultado establece que la diferencial en un punto (la cual es una aplicacin lineal
y por tanto ms fcil de manipular que la funcin original), aproxima la separacin que la funcin
produce entre dos puntos originalmente cercanos.
Lema 1.1 (Lema de aproximacin).
Para una funcin f : A R
m
R
n
con derivadas parciales de primer orden continuas en el
conjunto abierto A, para x
0
A y > 0 existe > 0 tal que si x
1
y x
2
son elementos de A tales
que [[x
i
x
0
[[
R
m < para i = 1, 2, entonces
[[ f (x
1
) f (x
2
) d f (x
0
)(x
1
x
2
)[[
R
n [[x
1
x
2
[[
R
m.
Prueba. Como las derivadas parciales de primer orden son continuas en el conjunto abierto A, se
sabe que la funcin f es diferenciable en cada punto del conjunto A. Sean x
0
A y > 0. Existe una
transformacin lineal d f (x
0
) : R
m
R
n
y un >0 que satisfacen la Denicin 1.1.
Sean ahora x
1
y x
2
elementos de A tales que [[x
i
x
0
[[
R
m < para i = 1, 2. Al aplicar la desigualdad
(1.6) sustituyendo x por x
1
y x
2
, se obtiene de la desigualdad triangular y de la linealidad de d f (x
0
)
que
[[ f (x
1
) f (x
2
) d f (x
0
)(x
1
x
0
x
2
+ x
0
)[[
R
n
[[ f (x
1
) f (x
0
) d f (x
0
)(x
1
x
0
)[[
R
n +[[ f (x
2
) f (x
0
) d f (x
0
)(x
2
x
0
)[[
R
n [[x
1
x
2
[[
R
m.
1.3 Teorema de la funcin inversa
La invertibilidad de una funcin depende de su biyectividad, por ende de su inyectividad y de su
sobreyectividad. Se vern primero dos resultados parciales, a saber, los teoremas de la funcin inyectiva
y de la funcin sobreyectiva. Estos resultados son interesantes en la medida que permiten concluir la
inyectividad o sobreyectividad local de una funcin, a partir de la inyectividad y la sobreyectividad de
su diferencial, la cual, por ser una transformacin lineal es en general ms sencilla de estudiar.
Teorema 1.1 (de la funcin inyectiva).
Sea f : A R
m
R
n
una funcin diferenciable con derivadas parciales de primer orden conti-
nuas en el conjunto abierto A. Si para x
0
A la transformacin d f (x
0
) L(R
m
, R
n
) es inyectiva,
entonces existe >0 tal que la restriccin de f a la bola abierta B
(x
0
) A,
f [
B
(x
0
)
: B
(x
0
) R
m
f (B
(x
0
)) R
n
es inyectiva. Ms an, la transformacin inversa de dicha restriccin
( f [
B
(x
0
)
)
1
: f (B
(x
0
)) R
n
B
(x
0
) R
m
es continua.
x
0
Figura 1.4: Teorema de la funcin inyectiva.

Prueba. Como d f (x
0
) es una aplicacin lineal, es continua y como u R
m
: [[u[[ = 1 R
m
es cerrado
y acotado, existe
m = inf[[d f (x
0
)(u)[[ : [[u[[ = 1.
Si m = 0 existira un u R
m
con [[u[[ = 1, para el cual d f (x
0
)(u) = 0, lo cual contradice la inyectividad
de d f (x
0
). Por lo tanto m >0 y
0 < m[[u[[ [[d f (x
0
)(u)[[, para todo u R
m
0.
Con = m/2 en el Lema 1.1, existe >0 para el cual, si [[x
i
x
0
[[ < para i = 1, 2, entonces
[[d f (x
0
)(x
1
x
2
)[[ [[ f (x
1
) f (x
2
) d f (x
0
)(x
1
x
2
)[[ +[[ f (x
1
) f (x
2
)[[
m
2
[[x
1
x
2
[[ +[[ f (x
1
) f (x
2
)[[,
donde se us la desigualdad triangular. Con u = x
1
x
2
se concluye que
m
2
[[x
1
x
2
[[ [[ f (x
1
) f (x
2
)[[,
para x
1
y x
2
en B
(x
0
). En particular f [
B
(x
0
)
es una funcin inyectiva con inversa continua:
[[( f [
B
(x
0
)
)
1
(y
1
) ( f [
B
(x
0
)
)
1
(y
2
)[[
2
m
[[y
1
y
2
[[,
al poner y
i
= f (x
i
) para i = 1, 2.
Nota.
El recproco no es cierto en general. La funcin f (t) = t
3
de R a R es inyectiva con derivada
continua. Sin embargo, su diferencial d f (t) : x 3t
2
x, no es inyectiva para t = 0, de hecho es
idnticamente cero.
Como d f (x
0
) L(R
m
, R
n
) es inyectiva, su ncleo es cero dimensional y el teorema del rango
implica que m n.
a
En los casos en que m < n, f (x
0
) no es un punto interior de f (B
(x
0
)) (el cual no es en
general un conjunto abierto) y no se puede estudiar la diferenciabilidad de la funcin inversa
alrededor de f (x
0
).
a
El teorema del rango de lgebra lineal establece que para una transformacin lineal, L L(R
m
, R
n
), de R
m
a R
n
, se
tiene m = dimker L +dimL(R
m
).
Teorema 1.2 (de la funcin sobreyectiva).
Sea f : A R
m
R
n
una funcin diferenciable con derivadas parciales de primer orden con-
tinuas en el conjunto abierto A. Si para x
0
0
) L(R
m
, R
n
) es so-
breyectiva, existen > 0 y > 0 tales que si y R
n
con [[y f (x
0
)[[
R
n , existe x A con
[[x x
0
[[
R
m y f (x) = y. Es decir, la restriccin a las bolas cerradas
f [
B
(x
0
)
: B
(x
0
) B
( f (x
0
)),
es sobreyectiva.
Figura 1.5: Teorema de la funcin sobreyectiva.

Prueba. Como d f (x
0
) : R
m
R
n
es una transformacin lineal sobreyectiva, para cada elemento e
i
de la base cannica de R
n
existe v
i
R
m
tal que d f (x
0
)(v
i
) = e
i
. Defnase la transformacin lineal
L : R
n
R
m
dada por
L
j=1
a
j
e
j
:=
n
j=1
a
j
v
j
.
Obsrvese que
d f (x
0
) L
j=1
a
j
e
j
=
n
j=1
a
j
d f (x
0
)(v
j
) =
n
j=1
a
j
e
j
,
por lo cual d f (x
0
) L es la transformacin identidad sobre R
n
.
Como L : R
m
R
n
es una transformacin lineal no nula, existe una constante C > 0 para la cual
[[L(y)[[ C[[y[[ para todo y R
n
. Tmese = 1/2C >0. De nuevo por el Lema 1.1 existe >0 tal que
si [[x
i
x
0
[[
R
m < para i = 1, 2, entonces x
1
y x
2
son elementos de A y
[[ f (x
1
) f (x
2
) d f (x
0
)(x
1
x
2
)[[
R
n [[x
1
x
2
[[
R
m.
Con = , el resto de la prueba consiste en mostrar que
f : B
(x
0
) B
( f (x
0
))
es sobreyectiva.
Sea y B
( f (x
0
)). Se va a denir una sucesin en B
(x
0
) la cual converge a un valor x con f (x) = y.
Defnanse x
1
:= x
0
+ L(y f (x
0
)) y
x
k+1
:= x
k
L
f (x
k
) f (x
k1
) d f (x
0
)(x
k
x
k1
)
.
De este modo
[[x
1
x
0
[[ = [[L(y f (x
0
))[[ C[[y f (x
0
)[[ C = /2.
Y en general, por induccin se tiene que
[[x
k+1
x
k
[[ =
f (x
k
) f (x
k1
) d f (x
0
)(x
k
x
k1
)
C[[ f (x
k
) f (x
k1
) d f (x
0
)(x
k
x
k1
)[[
C[[x
k
x
k1
[[ =
1
2
[[x
k
x
k1
[[

2
k+1
.
Para l k se tiene que
[[x
l
x
k
[[ [[x
l
x
l1
[[ + +[[x
k+1
x
k
[[

2
l
+ +

2
k+1
=
1
2
k

1
2
l
.
Por ser x
k
k
una sucesin de Cauchy en R
m
, es convergente a un lmite x R
m
. Obsrvese que
con k = 0, se concluye que [[x
l
x
0
[[ . Por ser B
(x
0
) cerrado y x
k
k
B
(x
0
), x B
(x
0
). Por
continuidad de la funcin f se tiene que f (x
k
) converge a f (x).
Por ltimo, por induccin se muestra que
d f (x
0
)(x
k+1
x
k
) = d f (x
0
)
f (x
k
) f (x
k1
) d f (x
0
)(x
k
x
k1
)
= d f (x
0
)(x
k
x
k1
)
f (x
k
) f (x
k1
)
= d f (x
0
)(x
k1
x
k2
)
f (x
k
) f (x
k2
)
=
= d f (x
0
)(x
1
x
0
)
f (x
k
) f (x
0
)
= d f (x
0
) L(y f (x
0
)) f (x
k
) + f (x
0
)
= y f (x
k
).
Al tomar el lmite se concluye que y = lim
k
f (x
k
) = f (x), lo cual completa el resultado.
Corolario 1.1
Sea f : A R
m
R
n
0
0
) L(R
m
, R
n
) es sobreyec-
tiva, existen >0 y >0 tales que la restriccin a las bolas abiertas
f [
B
(x
0
)
: B
(x
0
) B
( f (x
0
)),
es sobreyectiva.
Prueba. Por ser A abierto, es evidente que se puede tomar el del resultado anterior lo sucientemente
pequeo para tener B
(x
0
) A. Como f es una continua, tambin lo es su restriccin
f [
B
(x
0
)
: B
(x
0
) R
n
.
Si y B
( f (x
0
)) con [[y f (x
0
)[[
R
n < y y = f (x) para x B
(x
0
), existe un abierto U alrededor de y
todo contenido en el interior de B
( f (x
0
)).
Por la continuidad de la restriccin f [
B
(x
0
)
, la imagen inversa de U bajo esta restriccin es un abierto en
B
(x
0
). De este modo, x es un punto interior de B
(x
0
), y as x B
(x
0
), lo cual completa el resultado.
Corolario 1.2 (Teorema de la transformacin abierta).
Sea f : A R
m
R
n
tinuas en el conjunto abierto A. Si para cada x A la transformacin d f (x) L(R
m
, R
n
) es
sobreyectiva y si U A es abierto, entonces f (U) es abierto en R
n
.
Prueba. Sea y
0
= f (x
0
) un elemento en f (U) con x
0
en U. Por el Corolario 1.3, existen >0 y >0 tales
que si y R
n
con [[y f (x
0
)[[
R
n , existe x A con [[x x
0
[[
R
m y f (x) = y. Como U es abierto,
se puede tomar sucientemente pequeo para tener B
(x
0
) U. De este modo, B
(y
0
) f (U) y se
obtiene el resultado
Nota.
Evidentemente, es posible combinar los resultados anteriores para obtener una inversa local.
Se dar un paso ms para concluir la diferenciabilidad de la inversa local.
Si d f (x
0
) es una transformacin lineal biyectiva entre R
m
y R
n
, del teorema del rango se
concluye que necesariamente m = n.
Teorema 1.3 (Primera versin del teorema de la funcin inversa).
Sea f : A R
m
R
m
0
0
) L(R
m
, R
m
) es biyectiva,
entonces existen >0 y >0 tales que la restriccin a las bolas abiertas
f [
B
(x
0
)
: B
(x
0
) B
( f (x
0
))
es biyectiva con inversa continua.
Prueba. Por el Teorema 1.1, existe
1
>0 tal que la restriccin de f a la bola abierta B
1
(x
0
) es inyectiva,
y la funcin inversa de dicha restriccin
f [
B
1
(x
0
)
: B
1
(x
0
) f
1
(x
0
)
,
es continua. Si se aplica el Corolario 1.3 a la funcin
f [
B
1
(x
0
)
: B
1
(x
0
) f (B
1
(x
0
)),
existen >0 y >0 con B
(x
0
) B
1
(x
0
) tales que la restriccin a las bolas abiertas
f [
B
(x
0
)
: B
(x
0
) B
( f (x
0
)),
es adems sobreyectiva. Obsrvese tambin que la inversa de esta funcin es la restriccin de la funcin
inversa de f [
B
1
(x
0
)
y por lo tanto tambin es continua.
Ejemplo 1.3
La funcin f : RR dada por f (x) = x
3
es biyectiva y posee derivada de primer orden continua
en todo R, pero d f (0) no es ni inyectiva ni sobreyectiva al ser la transformacin nula. La inversa
de f , g : R R est dada por g(x) =
3
x, pero no posee derivada de primer orden en x = 0.

Teorema 1.4 (Segunda versin del teorema la funcin inversa).
Con las hiptesis del teorema anterior, se puede tomar >0 y >0 tales que la funcin inversa
( f [
B
(x
0
)
)
1
: B
( f (x
0
)) B
(x
0
),
de la restriccin a las bolas abiertas
f [
B
(x
0
)
: B
(x
0
) B
( f (x
0
))
es diferenciable y
d( f [
B
(x
0
)
)
1
(y
0
) =
d f
( f [
B
(x
0
)
)
1
(y
0
)
1
.
Los detalles de la prueba se pueden leer en la Seccin 1.6.
Nota. Las aplicaciones del teorema de la funcin inversa son variadas. Entre las que destacan
se encuentran el teorema de la transformacin abierta, el teorema de la funcin implcita, y
aplicaciones a la teora de mximos y mnimos con restricciones.
1.4 Extremos en puntos frontera
Se estudia ahora una aplicacin del teorema de la funcin inversa a la teora correspondiente a puntos
crticos en la frontera de una regin.
Denicin 1.2
Sean f , g : A R
m
R, funciones denidas en el abierto A. Se dice que f alcanza un mnimo
(respectivamente mximo) local en x
0
A sujeto a la restriccin g(x) = 0 si y slo si g(x
0
) = 0
y existe un abierto V alrededor de x
0
, tal que f (x
0
) f (x) (respectivamente f (x
0
) f (x)) para
todo x V con g(x) = 0.
Teorema 1.5 (Primera versin del teorema de los multiplicadores de Lagrange).
Sean f , g : A R
m
R funciones con derivadas de primer orden continuas en el abierto A tales
que f alcanza un extremo local en x
0
A, sujeto a la restriccin g(x) = c. Si dg(x
0
) ,= 0, entonces
existe en R tal que
d f (x
0
) = dg(x
0
).
A la constante R se le llama multiplicador de Lagrange.
Nota.
Como d f (x
0
)(x) =f (x
0
) x (vase el Ejemplo 1.2), el resultado anterior se escribe f (x
0
) =
g(x
0
).
Si dg(x
0
) ,=0, existe x R
m
0 tal que dg(x
0
)(x) ,=0 y as, dg(x
0
) es sobreyectiva, pues para
todo t R,
t = dg(x
0
)
tx
dg(x
0
)(x)
.
La hiptesis dg(x
0
) ,= 0 es equivalente a pedir que dg(x
0
) L(R
m
, R) sea sobreyectivo.
Prueba. Considrese la funcin
F : A R
m
R
2
; F(x) = ( f (x), g(x)).
Como las derivadas parciales de F son las derivadas parciales de f y de g, se tiene que F posee primeras
derivadas parciales continuas y
dF(x
0
)(x) =
d f (x
0
)(x), dg(x
0
)(x)
,
para todo x R
m
. De este modo, como d f (x
0
) y dg(x
0
) son sobreyectivos,
1 dimdF(x
0
)(R
m
) 2.
Si dF(x
0
) es sobreyectiva, F debe de ser sobreyectiva de una bola abierta alrededor de x
0
hacia una
bola abierta alrededor de F(x
0
) gracias al Corolario 1.3. Al asumir sin perdida de generalidad que
x
0
A es un mnimo local para f sujeto a la restriccin g(x) = c, como F(x) = ( f (x), g(x)), se tiene
que cualquier punto de la forma (a, c) con a < f (x
0
) no posee preimagen (cerca de x
0
) bajo F, lo cual
es una contradiccin.
As, dimdF(x
0
)(R
m
) =1 y existe (, ) R
2
con ,=0 (pues ambos d f (x
0
) y dg(x
0
) son sobreyectivos)
tal que dF(x
0
)(R
m
) = t(, ) : t R. Sin perder generalidad se puede tomar = 1. Por lo tanto, si
dF(x
0
)(x) ,= 0 se tiene que para algn t ,= 0,
(d f (x
0
)(x), dg(x
0
)(x)) = dF(x
0
)(x) = t(, 1)
de modo que
d f (x
0
)(x) = t = dg(x
0
)(x).
El resultado queda demostrado.
Ejemplo 1.4
El recproco del resultado anterior no es necesariamente cierto. Considrese la funcin
f (x, y) = x y sujeta a la restriccin g(x, y) = x
3
+ x y = 0.
Aqu la relacin f (x
0
, y
0
) = g(x
0
, y
0
) implica 1 = (3x
2
0
+ 1) y 1 = , por lo cual el
punto candidato a extremo es f (0, 0). Pero en el punto (0, 0) la funcin f (x, y) = x y sujeta
a la restriccin x
3
+ x y = 0 no posee un extremo local pues es equivalente a la expresin
f (x, x
3
x) = x
3
, la cual toma en un vecindario arbitrario del 0 valores positivos y negativos.
En la Seccin 1.6 se puede ver una generalizacin de este resultado a mltiples restricciones.
1.5 Teorema de la funcin implcita
Considrese el siguiente problema. Sea F : R
m+n
R
n
y sea
(x, y) R
m+n
: F(x, y) = 0
una curva de nivel. Existe una funcin f : R
m
R
n
para la cual la anterior curva de nivel coincida
con la grca de f ? Es decir,
F(x, y) = 0 si y slo si y = f (x).
En caso de existir, se dice que F dene a f en forma implcita.
Por ejemplo sea F : R
2
R la funcin dada por F(x, y) = x
2
+ y
2
1. En este caso la curva de nivel
cero es precisamente el crculo de radio 1, x
2
+ y
2
= 1. Si se desea resolver para y en trminos de x se
tiene
y = f (x) =
1 x
2
.
Para cualquier valor de x
0
con 0 [x
0
[ < 1, se tienen dos opciones a elegir para denir alrededor de
x
0
una funcin y = f (x). Evidentemente alrededor de x
0
= 1, lo anterior no dene una funcin de la
variable x. Por ltimo, para [x
0
[ >1 no tiene sentido tratar de denir y en trminos de x alrededor de
x
0
, pues no se satisface la relacin original.
Ms an, es posible considerar
y =

1 x
2
si x Q [1, 1],
1 x
2
si x , Q [1, 1],
lo cual dene una funcin no continua f de la variable x, que satisface F(x, f (x)) = 0.
Por lo anterior cabe preguntarse bajo qu condiciones existe la funcin f ? , y qu propiedades de la
funcin F se reejan en la funcin f ?
Figura 1.6: Teorema de la funcin implcita.
En esta seccin se presenta la siguiente respuesta parcial a dicha pregunta.
Teorema 1.6 (de la funcin implcita).
Sea F : A R
m+n
R
n
una funcin con derivadas parciales de primer orden continuas en el
conjunto abierto A. Sea (x
0
, y
0
) A tal que F(x
0
, y
0
) = 0 y dF(x
0
, y
0
)(0, y) es una biyeccin de
R
n
a R
n
. Entonces
(a) existe un conjunto abierto U R
m
con x
0
U y una nica funcin f : U R
m
R
n
, con
derivadas parciales de primer orden continuas en el conjunto abierto U, tal que y
0
= f (x
0
) y
F(x, f (x)) = 0 para todo x U;
(b) existe un conjunto abierto V R
m+n
con (x
0
, y
0
) V tal que F(x, y) = 0 para (x, y) V si y
slo si y = f (x) y x U.
Se ilustra el resultado en el caso F : R R R. Como F(x
0
, y
0
) = 0, el punto (x
0
, y
0
) pertenece a la
curva de nivel de altura 0, la cual se representa como una curva en el plano OXY. Ahora bien
dF(x
0
, y
0
)(0, y) =
F
x
(x
0
, y
0
)
F
y
(x
0
, y
0
)
0
y
=
F
y
(x
0
, y
0
)y,
la cual es una biyeccin de R en R si y slo si
F
y
(x
0
, y
0
) ,= 0. Los puntos en los que
F
y
(x
0
, y
0
) = 0
representan puntos de tangencia vertical.
Prueba. Idea de la demostracin. La idea es considerar la funcin G : A R
m+n
R
m+n
dada por
G(x, y) = (x, F(x, y)) de modo que
dG(x
0
, y
0
)(x, y) = (x, dF(x
0
, y
0
)(x, y)),
para todo (x
0
, y
0
) A y todo (x, y) R
m+n
. Luego se verica que dG(x
0
, y
0
) es una biyeccin de
R
m+n
R
m+n
.
Por el Teorema 1.4, existen >0 y >0 tales que la funcin inversa
(G[
B
(x
0
,y
0
)
)
1
: B
(x
0
, 0) B
(x
0
, y
0
),
G[
B
(x
0
,y
0
)
: B
(x
0
, y
0
) B
(x
0
, 0)
es diferenciable con derivadas parciales de primer orden continuas en el conjunto abierto B
(x
0
, 0).
Al denotar (G[
B
(x
0
,y
0
)
)
1
(z, w) = (g
1
(z, w), g
2
(z, w)) donde
g
1
: B
(x
0
, 0) R
m
, g
2
: B
(x
0
, 0) R
n
,
y (z, w) B
(x
0
, 0) R
m
R
n
, se verica que
g
1
(z, w) = z y F(z, g
2
(z, w)) = w,
para todo (z, w) B
(x
0
, 0). Adems, g
2
(x, F(x, y)) = y, para todo (x, y) B
(x
0
, y
0
).
Con U R
m
el conjunto abierto tal que si x U, entonces (x, 0) B
(x
0
, 0) se dene f : U R
n
me-
diante f (x) = g
2
(x, 0).
Por ltimo, para ver (b) tmese (x, y) B
(x
0
, y
0
) con F(x, y) = 0. Se sabe que
G(x, y) = (x, F(x, y)) = (x, 0) B
(x
0
, 0).
De este modo, x U y
(x, y) = (G[
B
(x
0
,y
0
)
)
1
(x, 0) = (x, g
2
(x, 0)) = (x, f (x)).
El resultado se obtiene al tomar V = B
(x
0
, y
0
).
Ejemplo 1.5
Mostrar que la relacin lnx +lny + xy 1 =0 dene a y como una funcin f de x en forma local
alrededor de x
0
= 1 con F(1, 1) = 0. Adems, tratar de obtener una forma explcita para f (x). En
su defecto, calcular el valor en el punto en cuestin. Con F(x, y) = lnx + lny + xy 1 se tiene
que
dF(1, 1)(0, y) =
2 2

0
y
= 2y,
lo cual es una biyeccin de R a R. As existe una funcin local y = f (x) denida alrededor de
x
0
= 1 tal que lnx +ln f (x) + x f (x) 1 = 0.
Obsrvese que
1
x
+
f
/
(x)
f (x)
+ f (x) + x f
/
(x) = 0, o bien
f
/
(x)
f (x)
=
1
x
, de donde f (x) = 1/x.
Ejemplo 1.6
Considrese la funcin F : R
2
R dada por F(x, y) = x y
2
. Evidentemente F posee derivadas
parciales de primer orden continuas en todo R
2
, F(0, 0) = 0, pero dF(x
0
, y
0
)(0, y) = 0.
Supngase que existe un intervalo abierto U R con 0 U, y una funcin f : U R tal que
x f
2
(x) = F(x, f (x)) = 0
para todo x U. Lo anterior es imposible si x <0.
Ejemplo 1.7
Considrese la funcin F : R
2
R dada por F(x, y) = x + y + e
x+y
1. Evidentemente F posee
derivadas parciales de primer orden continuas en todo R
2
, F(0, 0) = 0 y dF(0, 0)(0, y) = 2y, la
cual es una biyeccin de R a R.
Por el Teorema 1.6, existe un conjunto abierto U R con 0 U y una nica funcin f : U R,
con derivada continua en el conjunto abierto U, tal que 0 = f (0) y x + f (x) + e
x+f (x)
1 = 0
para todo x U.
Ahora bien, al derivar, 0 = (1 + f
/
(x))(1 + e
x+f (x)
), para todo x U. Por lo cual f (x) =x, para
todo x U.
Ejemplo 1.8
Sea F : A R
2
3
+ y
3
6xy. Encontrar los valores y para los
cuales la relacin F(x, y) = 0 dene a x como una funcin de y en forma local.
Como
dF(x
0
, y
0
)(x, 0) =
3x
2
0
6y
0
3y
2
0
6x
0
x
0
= 3x(x
2
0
2y
0
),
es una biyeccin de R a R si y slo si x
2
0
,= 2y
0
. El Teorema 1.6 garantiza que para esos puntos,
la relacin F(x, y) = 0 dene a x como una funcin de y en forma local.
Corolario 1.3
Con las hiptesis del Teorema 1.6, la diferencial de f en el punto x
0
est dada por la relacin
d f (x
0
) =
F
1
y
1

F
1
y
n
.
.
.
.
.
.
F
n
y
1

F
n
y
n
1
(x
0
, f (x
0
))
F
1
x
1

F
1
x
m
.
.
.
.
.
.
F
n
x
1

F
n
x
m
(x
0
, f (x
0
))
.
Prueba. Considrese la funcin H : U R
m
R
m+n
dada por H(x) = (x, f (x)).
As F H(x) = F(x, f (x)) = 0 y en consecuencia
0 = D(F H)(x) = DF(H(x)) DH(x) = DF(x, f (x)) (I d f (x))
= DF(x, f (x)) (I 0) + DF(x, f (x)) (0 d f (x))
=
F
1
x
1

F
1
x
m
.
.
.
.
.
.
F
n
x
1

F
n
x
m
(x, f (x))
+
F
1
y
1

F
1
y
n
.
.
.
.
.
.
F
n
y
1

F
n
y
n
(x, f (x))
d f (x),
de lo cual se obtiene el resultado.
Ejemplo 1.9
Mostrar que la relacin
F(x, y, z, v, w) = (xw + yv + z + v
2
, xyz + v + w +1) = (0, 0)
dene a (v, w) como una funcin f de (x, y, z) en forma local alrededor de (2, 1, 0) con
F(2, 1, 0, 1, 0) = (0, 0). Calcular d f (2, 1, 0).
Primero
dF(2, 1, 0, 1, 0)(0, 0, 0, v, w) =
0 1 1 1 2
0 0 2 1 1
0
0
0
v
w
1 2
1 1
v
w
, con
1 2
1 1
= 3 ,= 0.
Por lo cual existe una funcin f que dene a (v, w) como una funcin de (x, y, z), en forma local
alrededor de (2, 1, 0).
Ahora bien, por el Corolario 1.3
d f (2, 1, 0) =
1 2
1 1
0 1 1
0 0 2
1 2
1 1
0 1 1
0 0 2
0 1 3
0 1 3
.
Si bien se ha presentado el teorema de la funcin implcita como una consecuencia del primer teorema
de la funcin inversa, lo cierto es que ambos resultados son equivalentes. Este hecho queda demostrado
en cierta medida al completar el siguiente resultado.
Lema 1.2
El Teorema 1.3 es una consecuencia del Teorema 1.6.
Prueba. Sea f : A R
m
R
m
tinuas en el conjunto abierto A, tal que para algn x
0
A, la transformacin d f (x
0
) L(R
m
, R
m
) es
biyectiva.
La funcin F : A R
m+m
R
m
dada por F(x, y) = y f (x), posee derivadas parciales continuas en A.
Como F(x
0
, f (x
0
)) = 0 y
dF(x
0
, y
0
)(0, y) =
d f (x
0
, f (x
0
)) I

x
0
= d f (x
0
, f (x
0
))x,
la cual es una biyeccin R
m
a R
m
por hiptesis. Por el Teorema 1.6, existe un conjunto abierto U R
m
con f (x
0
) U y una nica funcin g : UR
m
R
m
, con derivadas parciales de primer orden continuas
en el conjunto abierto U, y = f (g(y)) para todo y U. Adems, existe un conjunto abierto V R
m+m
con (x
0
, f (x
0
)) V tal que y = f (x) para (x, y) V si y slo si x = g(y) y y U.
De este modo, f posee una inversa local continua, lo cual es suciente para concluir el resultado.
1.6 Demostraciones de algunos resultados
En esta seccin se presentan las demostraciones de aquellos resultados que por su extensin o requi-
sitos tcnicos, representan una obstruccin a una lectura lineal e inicial del documento.
Antes de demostrar la segunda versin del teorema la funcin inversa es necesario establecer un re-
sultado preliminar. Este resultado es interesante por s solo pues establece que si la diferencial de
una funcin en un punto es una (transformacin lineal) invertible (biyectiva), entonces existe todo un
vecindario abierto alrededor de ese puto para el cual la diferencial de la funcin es una transformacin
lineal invertible, para todo punto de dicho vecindario.
Lema 1.3
Sea f : A R
m
R
m
una funcin diferenciable con derivadas parciales de primer orden contin-
uas en el conjunto abierto A. Si para x
0
0
) L(R
m
, R
m
) es biyectiva,
entonces existe >0 tal que si [[x x
0
[[ < y x A se tiene que d f (x) L(R
m
, R
m
) es biyectiva.
Prueba. Se usar la continuidad de las derivadas parciales y la continuidad del determinante aplicado
a la matriz jacobiana:
d f (x
0
) =
f
1
x
1
(x
0
)
f
1
x
m
(x
0
)
.
.
.
.
.
.
f
n
x
1
(x
0
)
f
n
x
m
(x
0
)
.
Como d f (x
0
) es biyectivo, su matriz jacobiana es invertible, por lo cual det(d f (x
0
)) ,= 0. Como el
determinante es una funcin continua, existe todo un intervalo abierto I alrededor de det(d f (x
0
)), que
no contiene al 0 y tal que (det(d f ))
1
(I) es abierto. Obsrvese que det(d f ) : R
m
R es una funcin
continua por ser composicin de funciones continuas.
Por lo tanto, para todo x (det(d f ))
1
(I), se tiene que det(d f (x)) es diferente de 0 y as, d f (x) es
invertible.
Prueba (De la segunda versin del teorema la funcin inversa).
De la primera versin del teorema de la funcin inversa se sabe que existen > 0 y > 0 para los
cuales f [
B
(x
0
)
: B
(x
0
) B
( f (x
0
)) es biyectiva, con inversa continua.
Por el Lema 1.3 existe un abierto U alrededor de x
0
tal que d f (x) L(R
m
, R
m
) es biyectivo para
todo x U. Tmese lo sucientemente pequeo para tener B
(x
0
) U. Para simplicar la notacin
escrbase g = ( f [
B
(x
0
)
)
1
: B
( f (x
0
)) B
(x
0
). Obsrvese que g es diferenciable.
Sea y
1
B
( f (x
0
)) con y
1
= f (x
1
) para x
1
B
(x
0
) y sea > 0. Dentese con L la transformacin
inversa de d f (x
1
), la cual existe pues como x
1
U, d f (x
1
) es biyectivo. Se desea encontrar
/
>0 para
el cual, [[y y
1
[[ <
/
implica
[[g(y) g(y
1
) L(y y
1
)[[ < [[y y
1
[[.
De la prueba del Teorema 1.1, con m = inf[[d f (x
1
)(u)[[ : [[u[[ = 1, se sabe que existe (m/2) >0 para
el cual [[x x
1
[[ < (m/2) implica
m
2
[[x x
1
[[ [[ f (x) f (x
1
)[[.
Como f es diferenciable en x
1
existe
1
> 0 (el cual se puede tomar de modo que B
1
(x) B
(x
0
)) tal
que si [[x x
1
[[ <
1
se obtiene
[[ f (x) f (x
1
) d f (x
1
)(x x
1
)[[ <
m
2[[L[[
[[x x
1
[[.
Obsrvese que por ser L biyectivo, [[L[[ := sup[[L(w)[[ : [[w[[ 1 >0.
Como g es continua, g
1
(B
mn
1
,(m/2)
(x
1
)) es un conjunto abierto en B
( f (x
0
)), por lo cual existe
/
>0 tal que si [[y y
1
[[ <
/
, entonces [[g(y) x
1
[[ <mn
1
, (m/2).
Por sobreyectividad se sabe que para todo y B
( f (x
0
)) existe x B
(x
0
) con y = f (x). As si [[y
y
1
[[ <
/
se obtiene
[[g(y) g(y
1
) L(y y
1
)[[ = [[x x
1
L( f (x) f (x
1
))[[
= [[L
d f (x
1
)(x x
1
) f (x) f (x
1
)
[[
[[L[[[[ f (x) f (x
1
) d f (x
1
)(x x
1
)[[
<
m
2
[[x x
1
[[ [[ f (x) f (x
1
)[[ = [[y y
1
[[.
Se concluye que g es diferenciable con
2
dg(y
1
) =
d f
g(y
1
)
1
.
Teorema 1.7 (Segunda versin del teorema de los multiplicadores de Lagrange).
Sean f , g
i
: A R
m
R, i = 1, . . . , n < m, funciones con derivadas de primer orden continuas en
el abierto A tales que f alcanza un extremo local en x
0
A, sujeto a las restricciones g
i
(x) = c
i
.
Si dg
i
(x
0
) ,= 0 para cada i = 1, . . . , n, entonces existen
j
en R con j = 0, . . . , n tales que
0
d f (x
0
) =
1
dg
1
(x
0
) + +
n
dg
n
(x
0
).
Ms an, si el rango de la matriz
d
e
1
g
1
(x
0
) d
e
1
g
n
(x
0
)
.
.
.
.
.
.
d
e
m
g
1
(x
0
) d
e
m
g
n
(x
0
)
es n, entonces se puede tomar

0
= 1.
2
Es posible mostrar que g posee derivadas parciales de primer orden continuas en el conjunto abierto B
( f (x
0
)), dado que las
derivadas parciales de primer orden de g son precisamente las entradas de la representacin matricial de dg(y
1
), las cuales son
funciones continuas de las entradas de la representacin matricial de d f
g(y
1
)
.
Nota. Una vez ms, como se sabe que d f (x
0
)(x) =f (x
0
) x, el resultado anterior es usualmente
expresado en la forma
0
f (x
0
) =
1
g
1
(x
0
) + +
n
g
n
(x
0
).
Prueba. Considrese la funcin
F : A R
m
R
n+1
; F(x) = ( f (x), g
1
(x), . . . , g
n
(x)).
Como las derivadas parciales de F son las derivadas parciales de f y de las g
i
, se sabe que F posee
primeras derivadas parciales continuas y
dF(x
0
)(x) =
d f (x
0
)(x), dg
1
(x
0
)(x), . . . , dg
n
(x
0
)(x)
,
para todo x R
m
. De este modo, como d f (x
0
) y dg
i
(x
0
) son sobreyectivos,
1 dimdF(x
0
)(R
m
) n +1 m.
Si dimdF(x
0
)(R
m
) = n + 1, se tendra una vez ms por el Teorema 1.2 que F es localmente sobreyec-
tiva alrededor de x
0
, lo cual es una contradiccin con el hecho que (a, c
1
, , c
n
) no poseen preimagen
alrededor de x
0
si a es menor que f (x
0
) en el caso de un mnimo o a > f (x
0
) en el caso de un mximo.
De este modo dimdF(x
0
)(R
m
) = k n, y existen v
1
, . . . , v
k
vectores linealmente independiente en R
n+1
,
con cada v
j
= (v
1
j
, . . . , v
n+1
j
), tales que dF(x
0
)(R
m
) es el generado por los v
j
, j = 1, . . . , k.
Para i = 1, . . . , n +1, considrense ahora los n +1 vectores (v
i
1
, . . . , v
i
k
) R
k
con k <n +1. Estos vectores
son necesariamente linealmente dependientes, por lo cual existen nmeros reales
0
, . . . ,
n
tales que
0
(v
1
1
, . . . , v
1
k
) + +
n
(v
n+1
1
, . . . , v
n+1
k
) = 0.
Es decir,
0
v
1
j
+ +
n
v
n+1
j
= 0, para todo j = 1, . . . , k.
Ahora bien, para cada elemento e
i
, i = 1, . . . , m, de la base estndar de R
m
, existe una combinacin
lineal de la forma
dF(x
0
)(e
i
) =
1
i
v
1
+ +
k
i
v
k
.
O bien, para todo x = (x
1
, . . . , x
m
) R
m
se deduce que
d f (x
0
)(x) =
m
i=1
x
i
k
j=1
j
i
v
1
j
,
dg
1
(x
0
)(x) =
m
i=1
x
i
k
j=1
j
i
v
2
j
,
.
.
.
dg
n
(x
0
)(x) =
m
i=1
x
i
k
j=1
j
i
v
n+1
j
,
por lo cual
0
d f (x
0
)(x) +
1
dg
1
(x
0
)(x) + +
n
dg
n
(x
0
)(x)
=
n+1
l=1
l1
m
i=1
x
i
k
j=1
j
i
v
l
j
=
m
i=1
k
j=1
x
i
j
i
n+1
l=1
l1
v
l
j
= 0.
Por ltimo, si
0
= 0 se tendra para cada elemento e
i
de la base cannica de R
m
, una combinacin
lineal de la forma
0 =
1
dg
1
(x
0
)(e
i
) + +
n
dg
n
(x
0
)(e
i
)
=
1
d
e
i
g
1
(x
0
) + +
n
d
e
i
g
n
(x
0
),
i = 1, . . . , m. Si el rango de la matriz de derivadas parciales es n se tendra que
j
= 0 para todo
j = 1, . . . , n, lo cual es una contradiccin.
Prueba (Demostracin de la parte (a) del teorema 1.6).
Considrese la funcin G : A R
m+n
R
m+n
dada por G(x, y) = (x, F(x, y)). Las derivadas parciales
de primer orden de G son precisamente las derivadas parciales de (x, y) x y F, por lo cual son
continuas en A y as, G es diferenciable en A con
dG(x
0
, y
0
)(x, y) = (x, dF(x
0
, y
0
)(x, y))
= (x, dF(x
0
, y
0
)(0, y)) + (0, dF(x
0
, y
0
)(x, 0)),
para todo (x
0
, y
0
) A y todo (x, y) R
m+n
, vese el Ejercicio A.4.
Si (x, y) R
m+n
, por ser dF(x
0
, y
0
)(0, ) sobreyectivo, existe z R
n
tal que
dF(x
0
, y
0
)(0, z) = y dF(x
0
, y
0
)(x, 0),
por lo cual,
dG(x
0
, y
0
)(x, z) = (x, dF(x
0
, y
0
)(0, z) + dF(x
0
, y
0
)(x, 0)) = (x, y).
Es decir, dG(x
0
, y
0
) es sobreyectivo.
Si dG(x
0
, y
0
)(x, y) = (0, 0), entonces 0 = x y 0 = dF(x
0
, y
0
)(0, y). De nuevo, por ser dF(x
0
, y
0
)(0, )
inyectivo, se sabe que y = 0 y que dG(x
0
, y
0
) es una biyeccin de R
m+n
R
m+n
.
Por el Teorema 1.4, existen >0 y >0 tales que la funcin inversa
(G[
B
(x
0
,y
0
)
)
1
: B
(x
0
, 0) B
(x
0
, y
0
),
G[
B
(x
0
,y
0
)
: B
(x
0
, y
0
) B
(x
0
, 0)
es diferenciable con derivadas parciales de primer orden continuas en el conjunto abierto B
(x
0
, 0).
Dentese (G[
B
(x
0
,y
0
)
)
1
(z, w) = (g
1
(z, w), g
2
(z, w)) donde
g
1
: B
(x
0
, 0) R
m
, g
2
: B
(x
0
, 0) R
n
,
y (z, w) B
(x
0
, 0) R
m
R
n
.
Como
(z, w) = G[
B
(x
0
,y
0
)
(G[
B
(x
0
,y
0
)
)
1
(z, w)
= G[
B
(x
0
,y
0
)
(g
1
(z, w), g
2
(z, w))
= (g
1
(z, w), F(g
1
(z, w), g
2
(z, w)),
se sabe que
g
1
(z, w) = z y F(z, g
2
(z, w)) = w,
para todo (z, w) B
(x
0
, 0). Adems,
(x, y) = (G[
B
(x
0
,y
0
)
)
1
G[
B
(x
0
,y
0
)
(x, y)
= (G[
B
(x
0
,y
0
)
)
1
(x, F(x, y)) = (x, g
2
(x, F(x, y))),
por lo cual g
2
(x, F(x, y)) = y, para todo (x, y) B
(x
0
, y
0
).
Sea U R
m
el conjunto abierto tal que si x U, entonces (x, 0) B
(x
0
, 0). Tmese f : U R
n
denida
por f (x) = g
2
(x, 0). Se tiene que f (x
0
) = g
2
(x
0
, F(x
0
, y
0
)) = y
0
y F(x, f (x)) = F(x, g
2
(x, 0)) = 0, para
todo x U.
Las derivadas parciales de primer orden de f son continuas en U, pues las derivadas parciales de
(G[
B
(x
0
,y
0
)
)
1
son continuas en B
(x
0
, 0) (en el Ejercicio A.4 se pide mostrar que d f (x)(z) =dg
2
(x, 0)(z, 0)
para todo x U y z R
m
).
Si f
1
: U R
n
es otra funcin con estas mismas caractersticas, entonces
G(x, f (x)) = (x, F(x, f (x))) = (x, 0) = (x, F(x, f
1
(x))) = G(x, f
1
(x)),
para todo x U. Como G es biyectiva se concluye que f = f
1
, lo cual completa la prueba de (a)
Acerca de la bibliografa. Como es comn en las reas centrales de las matemticas, la
literatura disponible para estudiar clculo en varias variables y elementos de anlisis real es
ms que abundante. La siguiente lista pretende invitar al lector a revisar tantas referencias
como le sean posible, para as ampliar su formacin general como matemtico; y hacerle ver los
diferentes niveles y enfoques que un tema como este podra tomar.
Bibliografa
[1] T.M. Apostol, Mathematical Analysis. AdissonWesley, Reading, Massachusetts, 1967.
[2] R.G. Bartle, The Elements of Real Analysis. John Wiley, New York, 1976.
[3] R. C. Buck, Advanced Calculus. Third Edition, McGraw-Hill, Inc. New York, 1978.
[4] J.J. Duistermaat and J.A.C. Kolk, Multidimensional Real Analysis. Vol. I. Cambridge University Press,
Cambridge, 2004.
[5] W. R Wade, An Introduction to Analysis. Third edition,
EJERCICIOS 27
Apndice A
Ejercicios
En matemtica es fundamental al estudiar cada concepto, hacer una buena dosis de ejercicios y pro-
blemas que ayuden a claricar diferentes puntos y situaciones. La siguiente lista de ejercicios invita al
lector a vericar su nivel de comprensin y dominio de los resultados expuestos en este documento.
EJERCICIOS
A.1 Para qu puntos (x, y), las siguientes funciones de R
2
en R
2
, poseen diferencial invertible?
f (x, y) = (x, xy); g(x, y) = (x
2
y
2
, xy);
h(x, y) = (e
x
cosy, e
x
seny); i(x, y) = (e
x
+ e
y
, e
x
e
y
);
j(x, y) = (ax + by, cx + dy) con a, b, c, d parmetros reales.
A.2 Sea f : R R la funcin dada por f (x) = x +2x
2
sen(1/x) si x ,= 0 y f (0) = 0.
a) Mostrar que f es diferenciable en ] 1, 1[ con f
/
(0) = 1.
b) Mostrar que no existe un subconjunto abierto de f (] 1, 1[) sobre el cual f
1
exista.
Sugerencia: vericar que para k N,
f
2
(4k 1)
2
(4k +1)
2
(4k 3)
,
*
28 EJERCICIOS
y concluir que f no es inyectiva en ningn conjunto abierto que contenga al 0.
A.3 Considrese la funcin
f (x, y) =
a b
b c
x
y
x
y
= ax
2
+2bxy + cy
2
.
Mostrar que si (x
0
, y
0
) es un extremo de esta funcin sujeta a la restriccin x
2
+ y
2
= 1, entonces
A
x
0
y
0
:=
a b
b c
x
0
y
0
x
0
y
0
.
Es decir, el vector (x
0
, y
0
) es un vector propio para la matriz simtrica A con valor propio .
Generalizar este resultado de la siguiente manera. Sea A una matriz simtrica de orden n n y sea
f : R
n
R la funcin dada por f (x) = Ax x. Mostrar que si esta funcin f sujeta a la restriccin
[[x[[ = 1 posee un extremo local en el punto x
0
, entonces x
0
es un vector propio para la matriz A (cuyo
valor propio es precisamente el multiplicador de Lagrange). Comparar el valor del multiplicador de
Lagrange con el valor de dicho extremo local.
A.4 Usar la matriz jacobiana para vericar la frmula para dG en la demostracin del Teorema 1.6.
Vericar adems que d f (x)(z) = dg
2
(x, 0)(z, 0) para todo x U y z R
m
. Dar una frmula explcita
para d f en trminos de dF (o las derivadas parciales de F).
A.5 Sea F : A R
2
3
+ y
3
6xy. Encontrar los valores x para los
cuales la relacin F(x, y) = 0 dene a y como una funcin de x en forma local.
A.6 En cada caso mostrar que la relacin F(x, y) = 0 dene a y como una funcin f de x en forma
local alrededor de x
0
con F(x
0
, y
0
) = 0. Adems, tratar de obtener una forma explcita para f (x). En su
defecto, calcular el valor en el punto en cuestin.
a) F(x, y) = x
2
y y
3
, (x
0
, y
0
) = (0, 0);
b) F(x, y) = x
2/3
+ y
2/3
2, (x
0
, y
0
) = (1, 1);
c) F(x, y) = 2senx +cosy 3, (x
0
, y
0
) = (/2, 0).
A.7 En cada caso mostrar que la relacin F(x, y, z) = 0 dene a z como una funcin f de (x, y) en
forma local alrededor de (x
0
, y
0
) con F(x
0
, y
0
, z
0
) = 0. Adems, tratar de obtener una forma explcita
para las derivadas parciales de primer orden de f . En su defecto, calcular el valor en el punto en
cuestin.
a) F(x, y, z) = x
3
+ y
3
+ z
3
3xyz 4, (x
0
, y
0
, z
0
) = (1, 1, 2);
b) F(x, y, z) = x
2
+ y
2
+ z
2
e
z
, (x
0
, y
0
, z
0
) = (1, 0, 0);
c) F(x, y, z) = x + y z cos(xyz), (x
0
, y
0
, z
0
) = (0, 0, 1).
A.8 Mostrar que la relacin
F(x, y, z) = (x + y + z, x y 2xz) = (0, 0)
dene a y y a z como funciones f
1
y f
2
de x en forma local alrededor de 0 con F(0, 0, 0) = (0, 0). Obtener
una forma explcita para f
1
y f
2
y sus derivadas.
EJERCICIOS 29
A.9 Mostrar que la relacin
F(x, y, z, v, w) = (2e
x
+ yv 4w, ycos x 6x 2v +3w) = (0, 0)
dene a (x, y) como una funcin f de (z, v, w) en forma local alrededor de (3, 2, 1) con F(0, 1, 3, 2, 1) =
(0, 0). Calcular d f (3, 2, 1).
A.10 Sea f : R R una funcin con primera derivada continua tal que f (0) ,= 0. Considrese la
relacin
x f (y) =
y
0
f (xt) dt.
Mostrar que existen abiertos U, V alrededor de 0 en R tales que para todo x U existe una funcin
y = y(x) V. Adems mostrar que y(x) posee primera derivada continua en U y y
/
(0) = 1.
A.11 Bajo qu condiciones para f y g es posible resolver el sistema
f (x, y, z) = 0 = g(x, y, z),
para y y z en trminos de x?
A.12 Bajo qu condiciones para f , g y h es posible resolver el sistema
f (x, y, z, w) = g(x, y, z, w) = h(x, y, z, w) = 0,
para x, y y z en trminos de w?
A.13 Si f (1) = 0, bajo qu condiciones es posible resolver la ecuacin
a) 2f (xy) = f (x) + f (y);
b) f (xy) = f (x) + f (y);
para y en trminos de x alrededor de (1, 1)?
A.14 Si f (1) = 0 = g(1), bajo qu condiciones es posible resolver el sistema
f (xy) + g(yz) = 0 = g(xy) + f (yz),
para y y z en trminos de x alrededor de (1, 1, 1)?
A.15 Si F(0, 0) = 0, bajo qu condiciones para F es posible resolver la ecuacin
F(F(x, y), y) = 0,
para y en trminos de x alrededor de (0, 0)?
A.16 Discutir la solucin de la ecuacin
x
2
+ y +sen(xy) = 0,
para una de las variables en trminos de la otra, alrededor del punto (0, 0).
A.17 Discutir la solucin del sistema
x
2
yz = 0 = xy + zv,
para z y v en trminos de x y y.
30 EJERCICIOS
A.18 Discutir la solucin del sistema dado, para dos de las variables en trminos de la tercera:
a) xy +2yz 3xz = 0 = xyz + x y, alrededor de (1, 1, 1);
b) x
2
+ y
2
4 = 0 = 2x
2
+ y
2
8z
2
8, alrededor de (2, 0, 0).
A.19 Discutir la solucin de la ecuacin
xy zlny + e
xz
= 1,
para una de las variables en trminos de las otras dos, alrededor del punto (0, 1, 1).
A.20 Calcular las derivadas parciales de z con respecto a x y a y, si la relacin x
2
2y
2
+ 3z
2
yz +
y +0 dene a z implcitamente en trminos de x y y.

RevistaDigital Ugalde V14 n2 2014

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

RevistaDigital Ugalde V14 n2 2014

Hochgeladen von

Copyright:

Verfügbare Formate

Revista digital

Matemtica, Educacin e Internet

Figura 1.4: Teorema de la funcin inyectiva.

Figura 1.5: Teorema de la funcin sobreyectiva.

x, pero no posee derivada de primer orden en x = 0.

es n, entonces se puede tomar

Das könnte Ihnen auch gefallen