Analisis I 2013

ndice general
1. El Espacio Normado Rn
1.
Normas equivalentes . . . . . . . . . . . . . .
2.
Continuidad y limites de funciones . . . . . .
2.1.
Reglas de clculo para lmites . . . . .
2.2.
Lmites iterados y lmites direccionales
3.
Funciones continuas sobre compactos . . . . .
Ejercicios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
6
9
13
15
20
21
2. La Diferencial de Frchet
1.
Funciones diferenciables . . . . . . . . . . . . . . . . . .
1.1.
Derivadas parciales . . . . . . . . . . . . . . . . .
1.2.
Derivadas direccionales . . . . . . . . . . . . . .
1.3.
Diferenciabilidad en un punto . . . . . . . . . . .
1.4.
Operaciones con funciones diferenciables . . . . .
1.5.
Interpretacin geomtrica de la diferenciabilidad
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .
2.
El teorema del valor medio . . . . . . . . . . . . . . . .
2.1.
Consecuencias . . . . . . . . . . . . . . . . . . .
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .
3.
Derivadas parciales de orden superior . . . . . . . . . . .
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
25
25
26
28
29
34
38
40
45
50
53
55
58
3. Teoremas de Taylor
1.
Teoremas de Taylor . . . . . . . . . . . .
1.1.
Teorema global de Taylor . . . .
1.2.
Teorema local de Taylor . . . . .
1.3.
Unicidad del polinomio de Taylor
2.
ANEXO: El lgebra de los desarrollos de
Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
61
62
63
65
68
70
.
.
.
.
.
.
. . . .
. . . .
. . . .
. . . .
Taylor
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4. Funciones Implcitas
1.
Teorema de punto fijo . . . . . . . . . . .
2.
El problema de las funciones implcitas . .
2.1.
Existencia de funciones implcitas .
2.2.
Funciones implcitas: derivacin . .
Ejercicios . . . . . . . . . . . . . . . . . .
5. Subvariedades Diferenciables
1.
Variedades . . . . . . . . . .
2.
Variedad tangente . . . . .
Ejercicios . . . . . . . . . .
de
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
74
76
80
84
Rk
87
. . . . . . . . . . . . . . . . . 87
. . . . . . . . . . . . . . . . . 89
. . . . . . . . . . . . . . . . . 90
6. Funciones Inversas
93
1.
Derivada de funciones inversas . . . . . . . . . . . . . . . . . 93
2.
Inversin local . . . . . . . . . . . . . . . . . . . . . . . . . . 96
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
7. Extremos de funciones de varias variables
1.
Extremos relativos . . . . . . . . . . . . .
1.1.
Condiciones necesarias de extremo
1.2.
Caso particular . . . . . . . . . . .
2.
Extremos condicionados . . . . . . . . . .
Ejercicios . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
99
99
100
104
107
109
2. Integracin de Funciones de Varias variables

25
1.
Medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . . 25
9. Clculo Integral
1.
El Teorema de la Convergencia Dominada . .
2.
Integrales dependientes de un parmetro . . .
Ejercicios . . . . . . . . . . . . . . . . . . . .
3.
El Teorema de Fubini-Tonelli . . . . . . . . .
Ejercicios . . . . . . . . . . . . . . . . . . . .
4.
Cambio de Variables en la Integral Mltiple .
Transformacin de conjuntos medibles
El teorema del cambio de variables . .
Ejercicios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
. 159
. 162
. 164
. 166
. 171
. 173
. 173
. 176
. 179
10.Integrales de lnea
183
1.
Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
Bibliografa
187
Captulo 1
El Espacio Normado Rn
En este curso supondremos conocida la estructura de R y su topologa,
as como las propiedades de las funciones continuas o derivables de una variable. Todo este bagaje inicial se usar, sin necesidad de hacer las demostraciones que correspondan. Nuestro objetivo fundamental sern las funciones
de varias variables, ms exactamente el clculo diferencial para funciones
definidas en subconjuntos de Rn . Muchos de los resultados sern extensiones a las varias variables de otros ya estudiados en una variable, otros en
cambio sern nuevos por responder a problemas que no tienen sentido en
1-variable.
A pesar de que slo estamos interesados en las funciones de un nmero
finito de variables, muchos conceptos y demostraciones se establecern para
funciones definidas entre espacios vectoriales reales de cualquier dimensin,
sentando as las bases para un Clculo Diferencial en espacios funcionales
y, evitando adems el uso de coordenadas, cuando stas no sean necesarias.
Consideramos pues funciones f : A E F , siendo E y F espacios vectoriales sobre el cuerpo de los nmeros reales de dimensin 1 . Cuando E
sea de dimensin n diremos que f es una funcin de las n-variables reales
(x1 , x2 , . . . , xn ). En tal caso, puesto que E es isomorfo a Rn , estamos identificando E y Rn . Tambin es habitual decir que una funcin que toma sus
valores en R (i.e. F = R ) es una funcin escalar, mientras que la funcin se
dice vectorial cuando dim(F ) > 1. En el caso en que F sea el producto de
un nmero finito de espacios vectoriales,
f : A E F1 F2 Fp ,
si se denota por fi (x) la i-sima coordenada de f (x), escribiremos f =
(f1 , . . . , fp ) y diremos que las funciones fi : A E Fi ; i = 1, 2, . . . , p, son
las funciones coordenadas de f .
1
1.1
Sea E un espacio vectorial sobre un cuerpo K = R C indistintamente.

Una norma sobre E es una aplicacin de E en R que satisface las tres
propiedades siguientes:
NOR1. kxk = 0 si y slo si x = 0
NOR2. kxk = || kxk, K, x E
NOR3. kx + yk kxk + kyk, x, y E
Al nmero real kxk se le denomina norma del vector x y se dice que
el par (E, k k) es un espacio normado. En lo sucesivo, todos los espacios
vectoriales sern reales, es decir K = R.
Ejemplos 1.1 (1) Las nicas normas sobre R son el valor absoluto y sus
mltiplos positivos. En efecto, sea k k una norma cualquiera sobre R y sea
k = k1k. Entonces
kxk = kx1k = |x|k1k = k|x|.
Para probar que k debe ser un nmero real mayor estrictamente que 0,
slo hay que tener en cuenta que toda norma sobre un espacio vectorial E
satisface las propiedades:
NOR4. Toda norma es simtrica, es decir k xk = kxk, para todo
x E,
NOR5. La norma de todo vector de E es un nmero real positivo,
La propiedad NOR4 se obtiene trivialmente de la segunda condicin de
norma. NOR5 se demuestra as:
0 = kx xk kxk + k xk = 2kxk kxk 0.
(2) En Rn las normas ms utilizadas son
k(x1 , . . . , xn )kp =
n
X
!1/p
p
|xi |
, p1
i=1
k(x1 , . . . , xn )k = m
ax{|x1 |, . . . , |xn |}.
La comprobacin, en las del tipo p, de la tercera propiedad de norma se basa
en la desigualdad de Hlder (Ver ejercico 1A , aunque para el caso p = 2
cabe una demostracin alternativa, basada en la desigualdad de CauchySchwartz, que veremos a continuacin. La k k2 es la norma de la geometra
eucldea, ella forma parte del importante grupo de normas que se derivan
1.1
de un producto escalar las Normas Eucldeas. La norma k k es conocida

como la norma producto.
Como es bien conocido mediante la igualdad
(x, y) (u, v) = xu + yv,
se define una aplicacin bilineal de R2 R2 en R, el producto escalar eucldeo
(ejercicio). Obviamente, se tiene que el producto escalar de un vector por
s mismo es justamente el cuadrado de su norma eucldea: (x, y) (x, y) =
x2 + y 2 = k(x, y)k2 .
Vamos a ver que se satisface la desigualdad,

(x, y) (u, v) k(x, y)kk(u, v)k,
conocida como Desigualdad de Cauchy-Schwartz.

Es obvio que esta desigualdad es cierta sii
(xu + yv)2 (x2 + y 2 )(u2 + v 2 )
2
2 2
2xyuv x v2 + y u
sii
sii
x2 v2 + y 2 u2 2xvyu 0,
y es claro que esto ltimo es cierto pues x2 v2 + y 2 u2 2xvyu = (xv yu)2 .
Deducimos entonces que
2

k(x, y) + (u, v)k = (x, y) + (u, v) (x, y) + (u, v)

= (x, y) (x, y) + 2(x, y) (u, v) + (u, v) (u, v)
2
2
k(x, yk + 2k(x, y)kk(u, v)k + k(u, v)k = k(x, y)k + k(u, v)k
Las normas anteriores pueden definirse sobre productos finitos de espacios

normados, o sea si E en en vez de Rn es un producto de los espacios normados
Ei , i = 1, . . . , n, entonces sobre el espacio vectorial E = E1 En
podemos considerar de forma anloga la norma producto y las normas p.
Ejercicio. Una norma k k sobre Rn la llamaremos montona si satisface la
condicin:
|xi | |yi |,
i = 1, . . . , n
k(x1 , . . . , xn )k
k(y1 , . . . , yn )k.
1.3
1. Probar que las normas k kp y la norma producto son normas montonas

de Rn .
2. Probar que la norma k(x, y)k = |x|+|xy| no es una norma montona
de R2 .
3. Si Ei , i = 1, . . . , n son espacios normados y k k es una norma montona de Rn , entonces mediante la frmula
k(x1 , . . . , xn )k = kx1 k, . . . , kxn k
se define una norma en E = E1 E2 En .

4. Si k k1 , . . . , k kn son normas sobre el mismo espacio vectorial E y k k
es una norma montona de Rn , entonces mediante la frmula
kxk = kxk1 , . . . , kxkn
se define una norma en E.

5. Utilizar uno de los dos apartados anteriores para justificar que las
siguientes expresiones son normas
en R2 :
k(x, y)k = |x| + |y| +
k(x, y)k =
x2 + y 2
(m
ax{|x|, |y|})2 + x2 + y 2 + (|x| + |y|)2
en R3 :
k(x, y, z)k = 2|x| + 3|y| + |z|
k(x, y, z)k = m
ax{|x|,
k(x, y, z)k =
q
3
|y|3 + |z|3 }
x2 + y 2 + z 2 + (|x| + |y| + |z|)2
6. Procediendo de la misma forma, construir ms normas.
1.5
1.2 Toda norma lleva asociada de forma natural una distancia d definida
por d(x, y) = kx yk. En particular, en R la distancia asociada a la norma
valor absoluto es la usual d(x, y) = |x y|. Para E = R2 la distancia
asociada a k k2 es la distancia eucldea. Para k k es fcil ver que si P, Q
son dos puntos del plano situados en un rectngulo de lados paralelos a los
ejes de medidas s, t, entonces d (P, Q) m
ax{t, s}.
Definicin 1.3 En un espacio normado (E, k k),
i) al conjunto de puntos de E que distan de un punto a menos que r > 0
lo llamaremos bola abierta de centro a E y radio r > 0 y se denotar
por B(a, r). Luego B(a, r) = {x E : kx ak < r}. Anlogamente la bola
cerrada ser, B[a, r] = {x E : kx ak r} y la esfera, S[a, r] = {x E :
kx ak = r};
ii) un subconjunto A E se dir acotado si existe alguna constante 0
tal que kxk para todo x A. Equivalentemente si A est contenido en
alguna bola.
1.4 Algunas de las propiedades elementales de las bolas en un espacio normado son las siguientes:
1. La geometra de las bolas no depende del centro ni del radio. Esto
es debido a la igualdad B(a, r) = a + rB(0, 1) (ejercicio), que nos dice
que toda bola se obtiene mediante la traslacin de una homottica de
la bola unidad (de centro 0 y radio 1).
2. Cada bola tiene infinitos puntos. En efecto, consideremos la bola B(a, r).
Entonces para cada de los infinitos puntos b E, b 6= 0; b 6= a es inmediato ver que los infinitos puntos a + tb, con t (r/kbk, r/kbk)
pertenecen a B(a, r).
3. Para cada par de puntos distintos a, b E existes dos bolas centradas
en a y en b respectivamente que son disjuntas: Si a 6= b entonces
r = 1/2kabk es mayor estrictamente que 0 y las bolas B(a, r) y B(b, r)
son disjuntas, pues si x B(a, r) entonces ka bk ka xk + kx bk <
r + kx bk, lo que implica que kx bk > r y por tanto x 6 B(b, r).
Ejercicio. Dibujar en R2 una bola respecto a la normas k k , k k1 , k k2 y
tambin respecto a la norma k(x, y)k = |x| + |x y|.
1.
1.8
Normas equivalentes
Anlogamente a cmo se haca en R, a partir de la distancia asociada a

una norma, podemos dar la definicin de sucesin convergente en espacios
normados . Concretamente:
Definicin 1.5 La sucesin de puntos del espacio normado (E, k k) se dice
que converge (o que k k-converge, si pudiera haber confusin) al punto x,
{xp } x, si para cada > 0 existe un ndice tal que si p entonces
kxp xk < . En otras palabras, si a partir de todos los trminos de la
sucesin estn en la bola B(x, ).
Por tanto, es claro que una sucesin no puede converger a dos puntos
distintos. Si la sucesin {xp } convergiese a los dos puntos distintos x1 6= x2 ,
tomando tal que B(x1 , )B(x2 , ) = , todos los trminos de la sucesin a
partir de uno en adelante deberan estar en ambas bolas, lo cual es absurdo.
Cuando la sucesin {xp } converge a x, tambin se dice que x es el punto
lmite de la misma y se escribir lm xp = x.
p
Es inmediato comprobar que si {xp } es una sucesin convergente entonces tambin es de Cauchy, i.e para cada > 0 existe un ndice tal que si
p, q entonces kxp xq k .
Ejemplo 1.6 Es fcil ver que en R2 respecto a la norma producto, una sucesin {(xp , yp )} converge al punto (x, y) si y slo si las sucesiones coordenadas
{xp } y {yp } convergen respectivamente a x e y. Igualmente en Rn .
Puesto que el concepto de sucesin convergente lo hemos expresado en
trminos de la norma, parece posible que una misma sucesin de puntos del
espacio vectorial E pueda ser convergente o no dependiendo de cul sea la
norma con la que trabajemos. De hecho, como veremos a continuacin, dos
normas sobre E que proporcionan las mismas sucesiones convergentes son
justamente las que denominaremos equivalentes.
Definicin 1.7 Dos normas k k, k k sobre el mismo espacio vectorial E se
dicen equivalentes si existen dos nmeros reales , mayores estrictamente
que 0 tales que kxk kxk ; kxk kxk, x E.
Proposicin 1.8 Sean k k, k k dos normas sobre el mismo espacio vectorial
E. Los enunciados siguientes son equivalentes:
1) Las normas k k, k k son equivalentes,
1.9
2) Cada sucesin que converge respecto a una de ellas converge tambin

respecto a la otra y al mismo lmite,
3) Cada sucesin que converge respecto a una de ellas converge tambin
respecto a la otra.
Demostracin. 1) implica 2) Supongamos que las normas son equivalentes
i.e existen , mayores estrictamente que 0 tales que kxk kxk ; kxk
kxk, x E, y sea {xp } una sucesin k k-convergente a x. Luego dado
> 0, a partir de un cierto ndice, los trminos de la sucesin k k-distan de
x menos que . Se deduce entonces que, a partir de ese ndice, kxp xk
kxp xk < . Es decir la sucesin {xp } tambin k k -tiende a x.
2) implica 1) Recprocamente, supongamos que las normas no son equivalentes, por ejemplo que no se satisface k k k k para ningn > 0. En
particular, que para cada p N existe xp E tal que kxp k > pkxp k. O lo
que es lo mismo, que
kxp k
< 1/p,
kxp k
xp
k k-converge a 0. Pero, en cambio,
kxp k ,
xp
esta sucesin no k k -converge a 0, pues kxp k = 1.
lo que significa que la sucesin,
Trivialmente 2) implica 3).

3) implica 2) Teniendo en cuenta que una sucesin {xp } converge a a
si y slo si la sucesin {xp a} converge a 0, bastar probar que si {xp }
es una sucesin que k k-converge a 0 entonces esta sucesin k k -converge a
0. Por 3) {xp } debe ser k k -convergente. Lo que se trata de probar es que
adems debe hacerlo a 0. En efecto, supongamos que {xp } k k -converge a
b, entonces es obvio que la sucesin {2xp } k k-converge a 0 y k k -converge
a 2b. Sea {yp } la sucesin definida por yp = xp si p es impar e yp = 2xp
si p es par. Obviamente {yp } k k-converge a 0, por lo que segn 3), debe
ser k k -convergente a algn c. Pero la subsucesin de los trminos impares
k k -converge a b mientras que la de los trminos pares converge a 2b. Por
tanto c = b = 2b que implica b = 0 como queramos probar.
Teorema 1.9 En Rn todas las normas son equivalentes.
Demostracin. Vamos a probar que cada norma k k sobre Rn es equivalente
a la norma k k .
1.10
1) Denotemos por ei = (0, . . . , 1, . . . , 0) entonces

kxk = k(x1 , . . . , xn )k == k
n
X
xi e i k
i=1
n
X
|xi |kei k
(kxk kei k) = (
kei k)kxk .
i=1
Entonces, si =
kei k, se ha probado que para todo x Rn , kxk kxk .
2) Para probar la otra desigualdad razonaremos por induccin sobre n.

Ya sabemos que es cierta para n = 1, pues las nicas normas sobre R son
los mltiplos positivos del valor absoluto. Supongamos cierto en Rn1 la
existencia de una desigualdad en este sentido entre cada norma y la norma
producto. Para probar esto mismo sucede en Rn , observemos que si v =
(x1 , x2 , . . . , xn ) es un vector no nulo, entonces para cada xj 6= 0 podemos
escribir v = xj (x1 /xj , . . . , 1, . . . , xn /xj ), de lo que se deduce que kvk =
kvk kuk, donde u es un vector que tiene un 1 en alguna de sus coordenadas.
La desigualdad que buscamos se obtendra si fuese cierto que existe alguna
constante > 0 tal que para cada vector u de este tipo kuk fuese mayor
que . Denotemos por L1 , L2 , . . . los conjuntos formados por los puntos que
tienen un 1 en la 1a coordenada, un 1 en la 2a coordenada,. . . y veamos que en
cada uno de ellos es cierto lo anterior. Supongamos que no y que por ejemplo
existe una sucesin de vectores up = (1, y2p , . . . , ynp ) L1 , p = 1, 2, . . . tal que
kup k 1/p. Teniendo en cuenta que
kup k = k(1, y2p , . . . , ynp )k = k(1, 0, . . . , 0) + (0, y2p , . . . , ynp )k,
eso significara que la sucesin {(0, y2p , . . . , ynp )} k k-converge a (1, 0, . . . , 0)
(luego tambin es k k-Cauchy).
Denotemos por k k a la norma sobre Rn1 definida as: k(y2 , . . . , yn )k =
k(0, y2 , . . . , yn )k (comprobar que es norma). Por hiptesis de induccin debe
existir una constante s > 0 tal que k(y2 , . . . , yn )k sk(y2 , . . . , yn )k =
sk(0, y2 , . . . , yn )k. De esta desigualdad se deduce entonces que el carcter k k-Cauchy de la sucesin {(0, y2p , . . . , ynp )} implicara que la sucesin
{(y2p , . . . , ynp )} es k k -Cauchy, equivalentemente que las sucesiones coordenadas son sucesiones de Cauchy de nmeros reales, luego convergentes.
Si c2 , c3 , . . . , cn fuesen sus lmites entonces la sucesin {(y2p , . . . , ynp )} convergera respecto a la norma k k al punto c = (c2 , . . . , cn ), pero entonces, teniendo en cuenta que (segn vimos en 1) k k k k , la sucesin
{(0, y2p , . . . , ynp )} k k-convergera a k(0, c2 , . . . , cn )k. Habramos obtenido dos
lmite diferentes para la misma sucesin.
1.13
Corolario 1.10 Rn es un espacio normado completo (un espacio de Banach) respecto a cualquier norma i.e., cada sucesin de Cauchy en (Rn , k k)
es convergente cualquiera que sea la norma k k.
Demostracin. Puesto que en Rn todas las normas son equivalente, una
sucesin es k k-Cauchy si y slo es k k -Cauchy y, por tanto, si y slo si cada
sucesin coordenada es una sucesin de nmeros reales de Cauchy (luego
convergente, pues suponemos conocido que R es completo). Se tiene pues
que dicha sucesin, segn veamos antes, es k k -convergente lo que, segn
la proposicin 1.8, equivale a ser k k-convergente.
2.
Continuidad y limites de funciones
Comenzamos aqu con el estudio de las funciones de varias variables, y

ms generalmente con el de las funciones del tipo f : A E F con E y
F espacios normados. Para ello necesitaremos definir previamente algunos
conceptos de topologa:
Definicin 1.11 Un subconjunto A de un espacio normado (E, k k) se dir
entorno del punto a (o equivalentemente que a es un punto interior de A:
o
a A) si existe un nmero real r > 0 tal que B(a, r) A. Un subconjunto

U se dir abierto cuando sea entorno de todos sus puntos o dicho de otra
o
forma si U = U . A los complementarios de abiertos se les llama cerrados.
Nos referiremos a la familia de los abiertos como a la topologa del espacio
normado.
Es obvio que todo conjunto que contenga un entorno de un punto a es
tambin entorno de a y que la interseccin de dos entornos del punto a es
tambin entorno de a. Asimismo es claro que la unin arbitraria de abiertos
y la interseccin finita de abiertos es un abierto.
Proposicin 1.12 Un conjunto U es abierto del espacio normado E si y
slo si U es unin de bolas abiertas.
S
Demostracin. Si U es abierto entonces U = xU B(x, rx ). Recprocamente, cada B(a, r) es un conjunto abierto. En efecto si x B(a, r) y
0 < rx < r kx ak entonces cada y B(x, rx ) verifica que ky ak
ky xk + kx ak < rx + kx ak < r.
Proposicin 1.13 Dos normas sobre el espacio vectorial E son equivalentes
si y slo si inducen la misma topologa sobre E. Tambin, si y slo si los
entornos de cada punto son los mismos para las dos normas.
10
1.15
Demostracin. De acuerdo a la definicin de abierto, bastar probar la segunda de las afirmaciones. Sean k k y k k dos normas sobre E y para a E,
denotemos por V (a) y V (a) a la familia de entornos de a respecto a esas
normas. Supongamos que son equivalentes y que U V (a), es decir que
existe B(a, r) U . Al ser equivalentes ambas normas existe > 0 tal que
kx ak kx ak para todo x. Por tanto si kx ak < r/ entonces kx ak < r o sea que B (a, r/) B(a, r) U , lo que implica que
U V (a).
Recprocamente, supongamos que los entornos de cada punto son los mismos para ambas normas y veamos que entonces las sucesiones convergentes
a cada punto son tambin las mismas para ambas normas. Supongamos
que {xp } es una sucesin que k k-convergente a b, y sea > 0, como la
bola B (b, ) es un entorno de b (respecto a ambas normas) debe existir
B(b, 0 ) B (b, ). Se deduce pues que todos los trminos de la sucesin a
partir de uno en adelante estn en B(b, 0 ) y por tanto en B (b, ), lo que
significa que {xp } es una sucesin que k k -converge a b.
Ejercicio. Probar que todo subespacio vectorial de Rn es cerrado.
Definiciones 1.14 La funcin f : A E F se dice:
1) continua en el punto a A, si para cada > 0 existe un > 0 tal que
si kx ak < (x A) entonces kf (x) f (a)k < .
Es fcil ver que un toda funcin continua en un punto es secuencialmente
continua en ese punto, i.e. si la funcin f es continua en el punto a y {xp }
es una sucesin de puntos que converge al punto a, entonces la sucesin de
sus imgenes {f (xp )} converge a f (a).
2) continua en A, cuando sea continua en todos los puntos de A.
3) uniformemente continua en A, si para cada > 0 existe un > 0 tal
que si kx yk < (x, y A) entonces kf (x) f (y)k < .
De la definicin se deduce que si f es uniformemente continua en A
entonces es continua en A, es decir continua en cada punto x A, pero con
la particularidad de que el no depende ms que de , es decir x puede
tomarse el mismo para todo x.
4) lipschitziana, si existe una constante k > 0 tal que kf (x) f (y)k
kkx yk.
Obviamente cada funcin lipschitziana es uniformemente continua.
Ejemplos 1.15 1. Cada funcin constante es trivialmente continua.
2. En todo espacio normado (E, k k) la aplicacin norma, k k : E R ,
es continua.
1.18
11
En efecto, de hecho esta aplicacin es lipschitziana, pues como es fcil

de comprobar se tiene la siguiente desigualdad (ejercicio):

kxk kyk kx yk
3. Sean (Ei , k k), i = 1, 2, . . . , p espacios normados. Consideremos sobre

E = E1 E2 Ep la norma producto
k(x1 , . . . , xp )k
= m
ax kxi k
1ip
Entonces, cualquiera que sea j, la aplicacin proyeccin j : E Ej

j (x1 , . . . , xp ) = xj es continua (lipschitziana), pues
kj (x1 , . . . , xp ) j (y1 , . . . , yp )k = kxj yj k
k(x1 y1 , . . . , xp yp )k = k(x1 , . . . , xp ) (y1 , . . . , yp )k .
Proposicin 1.16 La funcin f : A E F es continua en A si y slo si
para cada conjunto abierto V de F la antimagen f 1 (V ) es un abierto de A
i.e. existe algn abierto U de E tal que f 1 (V ) = U A.
Demostracin. Supongamos f continua en A y sea V un abierto de F . Veamos f 1 (V ) abierto de A: si x f 1 (V ) se tiene f (x) V luego existe
B(f (x), x ) V y por la continuidad de f en x debe existir x tal que
f (B(x, x ) A) B(f (x), x ) V B(x, x ) A f 1 (V ). Entonces:
f 1 (V )
B(x, x ) A f 1 (V ).
[
xf 1 (V )
Luego tomando el abierto U =
B(x, x ) se tiene que f 1 (V ) =
xf 1 (V )
U A.
(Probar como ejercicio la implicacin en el otro sentido).
Completaremos la serie de definiciones anteriores con la definicin de
lmite. Para ello necesitaremos referirnos previamente a la nocin de punto
de acumulacin:
Definicin 1.17 Sea A un subconjunto de un espacio normado E. Un punto
a se dice de acumulacin del conjunto A (lo que se expresar como que
a A0 ) si cada entorno de a tiene algn punto de A distinto de a. De
hecho en espacios normado el punto a ser de acumulacin de A si y slo si
12
1.18
cada entorno de A contiene infinitos puntos de A (ejercicio). Observar que

a puede ser de acumulacin de A sin necesidad de pertenecer a A. Por otra
parte tambin es inmediato probar que si un punto a es interior a A o ms
generalmente si existe una B(a, r) A {a} entonces a A0 .
Definicin 1.18 Sea f : A E F y a un punto de acumulacin de A.
Diremos que el punto l F es lmite de la funcin en el punto a, lo que
denotaremos como
lm f (x) = l,
xa
si para > 0, existe > 0 tal que si x A, x 6= a y kx ak < entonces

kf (x) lk < .
Consecuencias directas de la definicin son:
a) Una funcin no puede tener dos lmites diferentes en el mismo punto.
Como antes con las sucesiones, la demostracin de la unicidad del lmite se
basa en que puntos distintos admiten entornos disjuntos.
b) Sea f : A E F y a A. Se tiene:
Si a no es de acumulacin de A (en ese caso se dice que a es un punto
aislado de A) entonces f es continua en a.
Si a A0 entonces f es continua en a si y slo si lmxa f (x) = f (a).
Si a es aislado de A entonces existe tal que el nico x de A con la
propiedad kx ak < es justamente el punto a. Por lo tanto es obvio que
f es continua en a.
Si a A0 A, entonces:
(f continua en a) significa:
> 0, kx ak < , x A kf (x) f (a)k <
(lmxa f (x) = f (a)) significa:
> 0, kx ak < , x A, x 6= a kf (x) f (a)k <
Obviamente los dos enunciados coinciden pues para x = a, kf (a) f (a)k =
0 < .
c) Si f : A E F y a A0 (respectivamente a A), entonces
lmxa f (x) = l (respect. f continua en a) si y slo si para cada V
V (l) (respect. V (f (a)) exista algn U V (a) tal que f (U A) V (respect.
f (U A) V ), donde U = U \ {a}.
La demostracin consiste en una sencilla adaptacin de la definicin
en trminos de entornos: supongamos que lmxa f (x) = l y sea V V (l).
1.21
13
Entonces existe > 0 tal que B(l, ) V y para este existe tal que si
x A, x 6= a y kx ak < entonces kf (x) lk < . Dicho de otra forma si
x B (a, ) A entonces f (x) B(l, ) V i.e., si consideramos el entorno
U = B(a, ) se tiene que f (U A) V . La implicacin en el otro sentido
es anloga (ejercicio).
De la definicin de lmite por entornos dada en b) se deduce:
d) la existencia y el valor del lmite de una funcin en un punto o la
continuidad se mantienen, si se cambian las normas de E y F por otro par
de normas equivalentes. En particular, si los espacios E y F son de dimensin
finita, para estudiar la existencia de lmite de una funcin en un punto o la
continuidad, podemos utilizar las normas que queramos.
2.1.
Reglas de clculo para lmites
1.19 Sean E, F1 , . . . , Fp espacios normado f : A E F donde F =

F1 F2 Fp con la norma producto. Sea a A0 y denotemos por fi , i =
1, 2, . . . , p a las funciones coordenadas de f , entonces
lm f (x) = l = (l1 , . . . , lp )
xa
lm fi (x) = li .
xa
Demostracin. Teniendo en cuenta que

kf (x) lk = k(f1 (x) l1 , . . . , fp (x) lp )k = m
ax kfi (x) li k,
1ip
es obvio que kf (x) lk 0 sii kfi (x) li k 0, i.

1.20 Sea f : A E F tal que en el punto a A0 , lmxa f (x) = b y
supongamos que g es una funcin definida en un subconjunto B de F que
contiene a f (A) {b} y que es continua en b. Entonces,
lm g(f (x)) = g( lm f (x)) = g(b).
xa
xa
Demostracin. Trivial.
1.21 Sea f : A E F , a A0 . Si lmxa f (x) = b y b 6= 0, entonces
existe un entorno U de a y > 0 tal que kf (x)k para cada x U A.
En particular, f (x) 6= 0 para cada x U A.
14
1.23
Demostracin. Como consecuencia de lo anterior y de la aplicacin norma

es continua en todo punto se tiene que lmxa kf (x)k = k lmxa f (x)k =
kbk. Por tanto, tomando = kbk/2, existir > 0 tal que si kx ak < , x
A, x 6= a entonces

kf (x)k kbk kbk/2
3
kbk/2 kf (x)k kbk.
2
Luego tomando U = B(a, ) se tiene que kf (x)k = kbk/2 para todo

x U A.
1.22 Si f : A E F y lmxa f (x) = l, entonces si B A y a
B 0 , lmxa f|B (x) = l.
Demostracin. Trivial.
Es claro que, contrariamente, la existencia de lmxa f|B (x) no implica la
del lmxa f (x). Sin embargo en el caso particular en el que B = B(a, r)A,
entonces
a B 0 a A0 y lm f (x) = l lm f|B (x) = l
xa
xa
1.23 Para el clculo de lmites son aplicables las siguientes frmulas:

1) lm (f + g)(x) = lm f (x) + lm g(x);
xa
xa
xa
lm (f )(x) = lm f (x)
xa
xa
2) Si f, g son funciones escalares, entonces lm (f g)(x) = lm f (x) lm g(x)

xa
xa
3) Si f, g son escalares y lm g(x) 6= 0, entonces lm (1/g)(x) =

xa
Por tanto lm (f /g)(x) =

xa
xa
xa
1
lmxa g(x).
lmxa f (x)
lmxa g(x).
Demostracin. Las demostraciones son totalmente anlogas a las correspondientes para funciones de 1-variable:
1) es inmediata.
2) Si lmxa f (x) = l; lmxa g(x) = r, entonces:
|(f g)(x) lr| = |f (x)(g(x) r) + r(f (x) l)|
|f (x)||g(x) r| + |r||f (x) l|
|f (x) l||g(x) r| + |l||g(x) r| + |r||f (x) l|.
1.26
15
Puesto que cada uno de los tres sumandos anteriores tienden a 0 cuando
x a, se deduce que lmxa (f g)(x) = lr.
3) Puesto que lmxa g(x) = r 6= 0, de 1.21 se deduce que existe > 0
y 1 > 0 tal que si kx ak < 1 , x A, x 6= a entonces |g(x)| > . Por lo
tanto,
1
1
1
1

=
|g(x) r|
|g(x) r| 0.

g(x) r
|r||g(x)|
|r|
Los resultados anteriores sobre lmites se trasladan de forma automtica
a resultados anlogos sobre continuidad:
Corolario 1.24
La funcin f = (f1 , . . . , fp ) es continua en un punto
a si y slo si las funciones coordenadas fi son todas continuas en a.
Si f continua en a, g continua en b = f (a), entonces g f es continua
en a.
Si f, g continuas en a , entonces f + g, f, (y si f, g son escalares) f g
y f /g(cuando g(a) 6= 0), son continuas en a.
Otras consecuencias
En espacios normados la suma y la multiplicacin por escalares son
aplicaciones continuas.
Cada funcin polinmica definida en Rn es continua en todo punto.
Si f, g son funciones continuas sobre un subconjunto A de un espacio
normado y toman sus valores en R, entonces {x A : f (x) < g(x)} es
abierto de A y los conjuntos {x A : f (x) g(x)} y {x A : f (x) =
g(x)} son cerrados de A.
2.2.
Lmites iterados y lmites direccionales
A continuacin establecemos algunas condiciones necesarias para la existencia de lmite de funciones (escalares, si se quiere) de varias variables
reales.
Definicin 1.25 (Lmites iterados) Sea f : A R2 R y (x0 , y0 ) A0 .
A cada uno de los lmites
lm ( lm f (x, y)),
xx0 yy0
se les denomina lmites iterados.
lm ( lm f (x, y))
yy0 xx0
16
1.28
Proposicin 1.26 Con las notaciones anteriores, si existe

lm
(x,y)(x0 ,y0 )
f (x, y) = l,
y en algn entorno U de (x0 , y0 ) existe el lmite lmyy0 f|U A (x, y) entonces

tambin existen y es igual a l el lmite iterado lmxx0 (lmyy0 f (x, y)).
Mismo enunciado para el otro lmite iterado.
Demostracin. Resulta directamente de aplicar la definicin de lmite.
Definicin 1.27 (Lmites direccionales) Dada una recta r que pasa
por el punto (x0 , y0 ) Llamaremos lmite de la funcin f en el punto (x0 , y0 )
siguiendo esa recta al lm(x,y)(x0 ,y0 ) f|B (x, y), donde B = r A (supuesto
que (x0 , y0 ) B 0 ). Por tanto, si r es la recta de pendiente m, y y0 =
m(x x0 ), entonces el lmite siguiendo esa recta ser:
lm f (x, y0 + m(x x0 )).
xx0
Los lmites siguiendo rectas sern los lmites direccionales.(Anloga definicin para lmite siguiendo curvas que pasan por el punto).
Nota. La definicin 1.25 se generalizan de manera natural al caso de funciones de 3 o ms variables. Para generalizar tambin la nocin de lmites direccionales de una funcin en un punto, deberemos escribir en forma paramtrica las ecuaciones de las rectas que pasan por el punto. As si
a = (a1 , . . . , an ), entonces
x1 = a1 + th1 , x2 = a2 + th2 , . . . , xn = an + thn
es la ecuacin de la recta que tiene como vector director h = (h1 , . . . , hn ) y
que pasa por a. El lmite siguiendo esta recta ser entonces
lm f (a1 + th1 , . . . , an + thn ).
t0
Para n = 2 el lmite anterior coincide con el lmite direccional en el sentido

de la definicin 1.27, siguiendo la recta de pendiente m = h2 /h1 .
Como en el caso de los lmites iterados, es evidente que la existencia de lmite
implica la de los lmites direccionales y siguiendo curvas. Se deduce, pues,
que la existencia de los lmites iterados, direccionales y siguiendo curvas son
condiciones necesarias para la existencia del lmite. Por lo tanto:
NO existe lmite cuando
1.31
17
1. No existe alguno de los lmites iterados o existen pero son distintos.

Ejemplo 1.28 Consideremos la funcin
x2 + y
f (x, y) = p 2
si (x, y) 6= (0, 0);
x + y2
f (0, 0) = 0.
Esta funcin no es continua en (0, 0) ya que uno de los lmites iterados no

existe:
y
x2 + y
) = lm
lm ( lm p 2
= 1.
2
y0 |y|
y0 x0
x +y
Ejemplo 1.29 Este es un ejemplo de una funcin para la que los lmites
iterados existen pero son diferentes (luego el lmite no existe)
(x + y 1) ln(x2 + 2y 2 )
,
(x 1)2 + y 2
f (x, y) =
si (x, y) 6= (1, 0).
Se tiene que
2(x 1) ln x
=2
x1 y0
x1
(x 1)2
y ln(1 + 2y 2 )
4y
lm ( lm f (x, y)) = lm
= lm
= 0.
2
y0 x1
y0
y0
y
1 + 2y 2
lm (lm f (x, y)) = lm
2. No existe alguno de los lmites direccionales o existen, pero no son

iguales.
Ejemplo 1.30 Sea
f (x, y) =
x2
xy
si (x, y) 6= (0, 0).
+ y2
Los lmites direccionales de esta funcin no son todos iguales. En efecto:

mx2
m
= 2
2
2
x0 (m + 1)x
m +1
lm f (x, mx) = lm
x0
que depende de m. Se deduce pues que el lmite no existe.
18
1.33
Ejemplo 1.31 Sea

f (x, y) =
x4
x2 y
si (x, y) 6= (0, 0);
+ (y x)2
f (0, 0) = 0.
Es inmediato comprobar que lmx0 f (x, mx) = 0 para m 6= 1. En cambio

para m = 1 el lmite anterior no existe, es decir la funcin no tiene lmite en
(0,0) siguiendo la recta y = x y por lo tanto no admite lmite en ese punto
(no es continua en (0,0)).
3. No existe el lmite siguiendo alguna curva que pasa por el punto o el
lmite vara dependiendo de la curva que se tome.
Ejemplo 1.32 Consideremos la funcin
f (x, y) =
xy 2
si (x, y) 6= (0, 0).
x2 + y 4
Tanto los lmite iterados como los lmites direccionales en el punto (0,0)
existen y valen 0, sin embargo esta funcin no tiene lmite en ese punto, ya
que si tomamos las curvas y = m x, se tiene:

m2
m 2 x2
=
.
x0 x2 + m4 x2
m4 + 1
lm f (x, m x) = lm
x0
Es decir los lmites siguiendo esa familia de curvas existen todos pero son
diferentes entre s, luego el lmite no existe.
Ejemplo 1.33 Sea
f (x, y) =
x2 ln y
,
x4 + (x2 + ln y)2
si (x, y) 6= (0, 1);
f (0, 1) = 0.
Es inmediato comprobar que tambin en este caso los lmites iterados en

(0,1) valen 0. En cuanto a los lmites direccionales
x2 ln(1 + mx)
ln(1 + mx)
ln 1
= lm 2
= 2 = 0.
x0 x4 + (x + ln(1 + mx))2
x0 x + (x + 1/x ln(1 + mx))2
m
lm
Sin embargo tampoco existe el lmite ya que si consideramos la curva y =

2
ex , que obviamente pasa por (0,1), la funcin admite lmite siguiendo esta
curva, pero es diferente de 0.
1.33
19
Ejercicios.
1. Sea f la funcin definida en A = {(x, y) R2 : x 6= 0; y 6=
0; xy 6= 1} por
x3 y 3
f (x, y) = 2 2
.
x y xy
a) Probar que f es continua es cada punto de A.
b) Estudiar la existencia de lmite de f en los puntos (a, 0), (0, b), (c, 1/c)
siendo a 6= 0, b 6= 0 y |c| =
6 1.
c) Obtener los lmites iterados de f en los puntos (1, 1) y (1, 1)
para estudiar si existe lmite de f en esos puntos.
d) Comprobar que los lmites iterados de de f en (0, 0) no estn
definidos; que los lmites direccionales en ese punto son todos
iguales, pero que la funcin f no tiene lmite en (0, 0).
e) Considerar la funcin g definida en A por
g(x, y) = (x + y) sen
x3 y 3
,
x2 y 2 xy
y demostrar que tiene lmite en (0, 0) a pesar de que los lmites

iterados no estn definidos en (0, 0).
2. Considerar las funciones definidas en A = R2 \ {(0, 0)}:
(x + y)2 (ey 1)
(x + y)2 (ey 1)
;
f
(x,
y)
=
2
x2 + y 2
x4 + y 2
xy(ey 1)
f3 (x, y) =
.
x4 + y 2
f1 (x, y) =
a) Probar que f1 tiene lmite en (0, 0).

b) Probar que los lmites iterados y direccionales de f2 en (0, 0)
existen, pero f2 no tiene lmite en (0, 0).
c) Probar que la funcin f3 tiene lmite en (0, 0).
3.
a) Probar que la funcin de 1-variable

g(t) =
sen t
si t 6= 0; g(0) = 1,
t
es continua en todo punto t R.
20
1.35
b) Utilizar el apartado anterior para probar que la funcin

f (x, y) =
sen xy
si y 6= 0; f (x, 0) = 1,
y
es continua en todo punto de R2 .

c) Utilizar de nuevo el apartado a) para obtener lm(x,y)(a,a) f (x, y),
a R, siendo f la funcin definida en el conjunto A = {(x, y)
R2 : |x| =
6 |y|} por
f (x, y) =
3.
cos x cos y
x2 y 2
Funciones continuas sobre compactos
De nuevo nos referiremos a la topologa de un espacio normado para

enunciar, sin demostracin, algunos resultados de las funciones continuas,
por otra parte ya conocidos para las funciones de una variable. Las demostraciones de estos resultados se vern en la asignatura de Topologa del
segundo semestre de este curso o bien pueden encontrarse en los apuntes de
esta misma asignatura del curso 2011/12 (Compacidad).
Definicin 1.34 Un conjunto K de un espacio normado se dice compacto
si de cada recubrimiento de K por conjuntos abiertos se puede extraer un
S
subrecubrimiento finito. Abreviadamente si K iI Ui entonces existe un
S
subconjunto finito J I tal que K iJ Ui .
Puesto que la definicin de compacto se hace exclusivamente en trminos de los abiertos, es claro que que si dos normas sobre el mismo
espacio vectorial E son equivalente, un conjunto K E es compacto
respecto a una de la normas si y slo si lo es respecto a la otra. En particular en Rn la compacidad de un conjunto no depende de la norma
que se tome.
Es cierto, aunque no lo demostraremos, que todo compacto de un
espacio normado es un conjunto cerrado y acotado. Ya sabemos que
en R el recproco tambin se satisface: los conjuntos compactos son
justamente los que son cerrados y acotados . Esto tambin es cierto en
Rn , es decir en los espacios normados de dimensin finita y, segn un
teorema de F. Riesz (Ver Manual, Teorema 2.9), slo en ellos.
1B
21
1.35 (Funciones continuas sobre compactos). Sean E, F espacios normados y f : A E F una aplicacin continua, entonces:
i) La imagen por f de cada compacto K A, f (K), es un conjunto
compacto de F y por tanto cerrado y acotado.
ii) f es uniformemente continua sobre cada compacto K A.
iii) Si F = R entonces f alcanza un valor mximo y un valor mnimo
sobre cada compacto K A.
Ejercicios
1A Sean p, q nmeros reales positivos tales 1/p + 1/q = 1 (observar que en estas
condiciones p y q deben ser mayores que 1).
(a) Demostrar la desigualdad:
xy
1 p 1 q
x + y ,
p
q
1
x, y 0.
q
Indicacin. Escribir xy = e p ln x + q ln y
y tener en cuenta que la funcin ex es convexa.
(b) (Desigualdad de Hlder) Utilizar el apartado anterior para demostrar que
n
X
xi yi
n
X
!1/p
|xi |p
i=1
i=1
n
X
!1/q
|yi |q
i=1
En otros trminos, hx, yi kxkp kykq , x = (x1 , . . . , xn ); y = (y1 , . . . , yn ).

Indicacin. Suponer en una primera etapa que kxkp = 1, kykq = 1 y demostrar que entonces hx, yi 1.
Pn
1/p
(c) Demostrar que kxkp = ( i=1 |xi |p )
es una norma sobre Rn .
1B Sea p un nmero real mayor o igual queP
1 y denotemos por lp al conjunto de
sucesiones de nmeros reales (xn ) tales que n=1 |xn |p < . Definamos tambin
l como el conjunto de las sucesiones acotadas de nmeros reales.
(a) Probar que lp y l son espacios vectoriales y que la expresiones
kxkp =
X
n=1
|xn |p )1/p ;
kxk = sup |xn |

nN
definen sendas normas sobre lp y l

(b) Demostrar que la adherencia en l del conjunto de sucesiones que tienen
todos sus trminos nulos, salvo un nmero finito de ellos, es c0 : el espacio
vectorial de sucesiones reales que convergen a 0.
22
1C
1C Demostrar que si k k es una norma sobre Rn tal que

k(u1 , . . . , un )k 1
(*)
|ui | 1,
entonces |xi | kxk, para cada x = (x1 , . . . , xn ) Rn . Dar ejemplos de normas que
no satisfagan la condicin (*) para ningn i.
1D Estudiar si las expresiones siguientes definen una norma sobre R2 :
p
1. k(x, y)k = 4x2 + y 2 .
p
2. k(x, y)k = |x| + |y|.
p
3. k(x, y)k = |x| + | 3 x3 + y 3 |.
p
4. k(x, y)k = (x y)2 + y 2 .
1E Sean (Ei , i = 1, 2, . . . , n) una familia finita de espacios normados y empleemos
la notacin comn k k para designar a las normas de Ei .
(a) Demostrar que
k(x1 , . . . , xn )k =
n
X
i kxi k,
i 0,
i=1
k(x1 , . . . , xn )k =
p
kx1 k2 + . . . + kxn k2
son normas sobre E = E1 . . . En .

(b) Utilizar lo anterior para demostrar que
p
k(x, y, z)k = (2|x| + |y|)2 + z 2
es una norma sobre R3 .
1F Demostrar que la expresin
k(x, y, z)k =
x2 + (y x)2 + (z y)2
define una norma sobre R3 . Compararla con la norma eucldea.

1G Sea (E, k k) un espacio normado. Estudiar si la aplicacin de E en s mismo,
f (x) = xkxk, es continua, uniformemente continua o lipschitziana.
1H Encontrar una norma sobre R2 para la que la esfera unidad sea la elipse de
ecuacin x2 + 4y 2 = 4.
1I Sea {xn } con xn 6= 0 para todo n, una sucesin de Cauchy en un espacio
normado.
(a) Probar que la sucesin de nmeros reales {kxn k} es convergente. Sea su
lmite.
1K
23
(b) Probar que si > 0 entonces la sucesin { kxxnn k } es de Cauchy.

(c) Demostrar con un ejemplo que si = 0, la sucesin { kxxnn k } no es necesariamente de Cauchy.
1J Sea {xn } una sucesin convergente a 0 en un espacio normado. Probar que
tambin converge a 0 la sucesin:
yn =
x1 + x2 + . . . + xn
n
1K Sea E el espacio vectorial de las funciones polinmicas sobre el intervalo [0, 1].
Consideremos sobre l las normas:
ka0 + a1 x + . . . + an xn k = m
ax(|a0 |, . . . , |an |)
ka0 + a1 x + . . . + an xn k1 = |a0 | + + |an |
ka0 + a1 x + . . . + an xn k = m
ax |a0 + a1 x + . . . + an xn |.
x[0,1]
Establecer las comparaciones posibles entre ellas, probando, en particular, que la

primera y la tercera no son comparables.
Captulo 2
La Diferencial de Frchet
Iniciamos, con este captulo, el clculo diferencial para funciones de varias variables reales. Aunque el marco de trabajo ser, con frecuencia, el de
los espacios normados, nuestro inters se centra en la generalizacin del concepto de derivada, y el estudio de sus propiedades, a las funciones de varias
variables reales.
1.
Funciones diferenciables
Si f es una funcin real de una variable real, sabemos que f es derivable

en el punto a si existe
f (a + h) f (a)
.
h0
h
Es obvio que el concepto anterior de funcin derivable puede extenderse, sin
modificacin alguna, a las funciones de una sola variable, pero que toman valores en un espacio normado cualquiera F . En particular si f : A R Rp ,
es fcil ver que f 0 (a) = (f10 (a), f20 (a), . . . , fp0 (a)). Esta frmula es igualmente
vlida si f es una funcin de 1 variable que toma sus valores en un producto
finito de espacios normados. Sin embargo, cuando f es una funcin varias
variables (o de variable vectorial"), no podemos definir f 0 (a) como en (2.1)
pues el h por el que habra que dividir no sera, en ese caso, elemento de
un cuerpo. An sera esto posible para las funciones de variable compleja,
pero stas no son objeto de estudio en este curso. En lo sucesivo, por tanto,
el trmino variable habr que entenderlo como variable real, y del mismo
modo un espacio normado ser, siempre, un espacio normado real. No obstante, hemos de sealar que no existen diferencias esenciales entre un clculo
diferencial real y un clculo diferencial complejo.
(2.1)
f 0 (a) = lm
25
26
2.0
Antes de proceder a la extensin definitiva del concepto de derivada a

las funciones de varias variables, vamos a dedicar un primer una seccin la
introduccin de dos conceptos bsicos, el de derivada parcial y el de derivada direccional. Aunque pueda parecer exagerado, se podra afirmar que el
Clculo Diferencial en dimensin finita consiste en el clculo con derivadas
parciales.
1.1.
Derivadas parciales
Para funciones de una variable disponemos de unas reglas de clculo de

derivadas, las llamadas reglas de derivacin. Por ejemplo sabemos que la
funcin si f (x) = x2 + x sen x satisface las hiptesis necesarias para poder
aplicar estas reglas para calcular su derivada y as obtener que f 0 (x) =
2x + sen x + x cos x. En particular podemos obtener el valor de la derivada
en un punto concreto a sin ms que sustituir a en la igualdad anterior, de
este modo f 0 () = 2 + 0 = . Cuando estas reglas no son aplicables
en algn punto
a, an la funcin puede admitir derivada en a. Por ejemplo
si f (x) = x2 + x sen x, x [/2, /2] y queremos calcular f 0 (x), se
puede aplicar la regla de la cadena para hacer este clculo en todo punto x
distinto de 0. De este modo para x 6= 0 se tiene f 0 (x) = 1/2(2x + sen x +
x cos x)(2x + sen x + x cos x)1/2 . En cambio no podemos aplicar la regla
de la cadena para calcular f 0 (0) pues para ello sera necesario que la raz
cuadrada (como funcin de una variable) fuese derivable en 0. Para estudiar
la existencia de f 0 (0) recurrimos a la definicin de derivada en un punto:
f (x) f (a)
.
xa
xa
f 0 (a) = lm
Entonces para la funcin del ejemplo tendramos
f (0) = lm
x0
x2 + x sen x
=
x
si x 0+
si x 0
Una situacin idntica se plantea cuando se tiene una funcin f de varias variables, supongamos para concretar de 2-variables x, y, y se quiere
calcular la derivada (parcial) de f respecto a una de las variables. Por ejemplo si f (x, y) = x2 + y sen y la derivada parcial de f respecto de x en un
punto (x, y) no es otra cosa que la derivada de la funcin de 1-variable
que se obtiene al considerar y en la derivacin como una constante. Luef
go f
x (x, y) = 2x y anlogamente y (x, y) = sen y + y cos y. En particular
podemos obtener el valor de la derivadas parciales en un punto concreto
2.1
27
(a, b) sin ms que

p sustituir (a, b) en las igualdades anteriores. De igual modo si f (x, y) = x2 + y sen y, y [/2, /2], se pueden aplicar en cada
(x, y) 6= (0, 0) las reglas de derivacin de las funciones de una variable para
deducir que
1
f
f
1
(x, y) = x(x2 + y sen y)1/2 ;
(x, y) = (sen y + y cos y)(x2 + y sen y) 2 .
x
y
2
Como antes, no podemos aplicar la regla de la cadena para estudiar la existencia de la derivada parcial respecto a x (o respecto a y) en el punto (0, 0),
sino que habremos de recurrir a la definicin de derivada parcial respecto
a x (o respecto a y) en un punto (a, b), que de acuerdo a lo anterior no es
ms que derivada en a de la funcin de la variable x (o y) que se obtiene al
sustituir en la definicin de f la variable y (o x) por b (o a) i.e.,
f
f (x, b) f (a, b)
(a, b) = lm
;
xa
x
xa
f
f (a, y) f (a, b)
(a, b) = lm
yb
y
yb
Ms generalmente,
o
Definicin 2.1 Sea f : A Rn F y sea a A. Llamaremos derivada

parcial j-sima de f en a a la derivada en aj de la aplicacin de 1-variable
Fj : xj f (a1 , .., aj1 , xj , aj+1 , .., an )
La denotaremos por (f /xj )(a) o, tambin, Dj f (a). Por tanto:
f
f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ) f (a)
(a) = Fj0 (aj ) = lm
.
x
a
j
j
xj
xj aj
Teniendo en cuenta que las derivadas parciales no son ms que derivadas
de funciones de una variable, podemos aplicar las reglas de derivacin ya
conocidas para estas ltimas para deducir las siguientes reglas de clculo
con derivadas parciales:
f1
f2
fp
f
(a) =
(a),
(a), . . . ,
(a) .
1) Si f = (f1 , f2 , . . . , fp ),
xj
xj
xj
xj
(f + g)
f
g
(f )
f
2)
(a) =
(a) +
(a);
(a) =
(a).
xj
xj
xj
xj
xj
(f g)
f
g
3) Si f, g son funciones escalares,
(a) = f (a)
(a) +
(a);
xj
xj
xj
(f /g)
g(a)(f /xj )(a) f (a)(g/xj )(a)
y si adems g(a) 6= 0,
(a) =
xj
g(a)2

28
2.4
Ejemplo (Una funcin no continua en un punto, que admite en ese punto

derivadas parciales respecto a cualquier ndice).
f (x, y) =
x2
xy
si (x, y) 6= (0, 0);
+ y2
f (0, 0) = 0.
Es fcil ver que las dos derivadas parciales de esta funcin son nulas en
(0,0). Por otras parte la funcin no es continua en (0,0) pues los lmites
direccionales de f en (0,0) existen pero no son todos iguales:
mx2
m
=
2
2
2
x0 x + m x
1 + m2
lm
1.2.
Derivadas direccionales
o
Definicin 2.2 Sea f : A E F, a A y h 6= 0 un vector de E. Se dir

que f es derivable en el punto a, siguiendo el vector h, si existe
(2.2)
Dh f (a) = lm
t0
f (a + th) f (a)
.
t
Al elemento de F, Dh f (a), se le denominar derivada de f en a, siguiendo

el vector h. Cuando f admite derivada siguiendo cualquier vector no nulo,
se dir tambin que f admite derivadas en todos las direcciones.
Consideremos la recta de ecuacin x = a+th, t R (recta que pasa por a
y tiene a h como vector director). Entonces f (a+th) son los valores que toma
f sobre esta recta, y por tanto, por analoga con los lmites direccionales,
podra pensarse en denominar al lmite 2.2, como la derivada de la funcin
f en a siguiendo la recta x = a + th. Esto sera correcto, de no ser porque
para cada vector director de esa recta puede resultar un valor distinto para
Dh f (a). Concretamente, es fcil ver que
Dh f (a) = Dh f (a).
2.3 Observemos que las derivadas parciales en un punto no son ms que las
derivadas en ese punto siguiendo ciertos vectores particulares, los vectores
e1 = (1, 0, . . . , 0), e2 = (0, 1, 0, . . . , 0), . . .. En efecto,
f
f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ) f (a1 , . . . , an )
(a) = lm
xj aj
xj
xj aj
f (a + (xj aj )ej ) f (a)
f (a + tej ) f (a)
= lm
= lm
= Dej f (a).
xj aj
t0
xj aj
t
2.5
29
2.4 La existencia de derivadas en todas las direcciones ser una condicin

necesaria para que una funcin sea derivable en un punto. Pero de nuevo
esta condicin es muy dbil. Como pasaba con las derivadas parciales, es
posible que una funcin sea derivable en un punto en cualquier direccin y
no ser continua en ese punto.
Ejemplo (Una funcin no continua en un punto, que admite en ese punto
derivadas en todas las direcciones).
f (x, y) =
x2 y
si (x, y) 6= (0, 0);
x4 + y 2
f (0, 0) = 0.
Si tomamos v = (h, k) y aplicamos la definicin para calcular la derivada en

el punto (0,0) siguiendo el vector v, resulta
Si k 6= 0,
Si k = 0,
f (th, tk)
t3 h2 k
h2
= lm 4 4
=
t0
t0 (t h + t2 k 2 )t
t
k
Dv f (0, 0) = 0.
Dv f (0, 0) = lm
Sin embargo, esta funcin no es continua en (0,0), pues aunque los lmites
iterados y direccionales existen todos y valen 0, los lmites siguiendo las
curvas y = mx2 son todos diferentes.
1.3.
Diferenciabilidad en un punto
Hemos visto que una funcin de varias variables puede admitir derivadas
parciales e incluso direccionales en un punto a sin ser continua en a. Esto
indica que si se quiere que las funciones de varias variables que sean derivables en un punto sean continuas en ese punto, no va a bastar que se les exija
slo la existencia de derivadas parciales o direccionales.
Antes de proceder a extender a varias variables la nocin de funcin
derivable en un punto, conviene establecer un resultado elemental sobre
aplicaciones lineales, que habremos de tener en cuenta en lo sucesivo.
Lema 2.5 i) Una aplicacin L de Rn en F es lineal si y slo existen cj
F, j = 1, . . . , n tales que L(x1 , x2 , . . . , xn ) = c1 x1 + c2 x2 + + cn xn . Se
dice que L est determinada por la matriz (c1 , c2 , . . . , cn ).
ii) Toda aplicacin lineal L de Rn en F es continua, de hecho lipschitziana. (Esto no es verdad para L : E F y E de dimensin infinita):
30
2.6
Demostracin. i) Obviamente cualquier aplicacin de ese tipo es lineal. Recprocamente, si L es lineal entonces
X
L(x1 , x2 , . . . , xn ) = L(
xj ej ) =
xj L(ej ) = c1 x1 + c2 x2 + + cn xn ,
siendo cj = L(ej ).
ii) Tambin es inmediato comprobar que si L es lineal entonces es lipsP
P
chitziana, pues kL(x) L(y)k = k cj (xj yj )k ( kcj k)kxj yj k .
Ejercicio. Probar que toda aplicacin lineal y continua entre espacios normados es lipschitziana.
o
Definicin 2.6 Sea f : A Rn F, a A. Se dice que f es diferenciable

o derivable en a (en el sentido de Frchet), si admite derivadas parciales
respecto a cualquier ndice en a y adems se satisface la siguiente condicin:
f (x) f (a)
(2.3)
lm
f
j=1 xj (a)(xj
Pn
aj )
kx ak
xa
= 0,
(O equivalentemente, si
f
j=1 xj (a)hj
Pn
f (a + h) f (a)
(D)
lm
khk
h0
= 0,
Notas. 1. Observemos en primer lugar que la definicin anterior es independiente de la norma. Es decir, que si f es diferenciable en a respecto a las
normas k k de Rn y F y sustituimos estas normas por las normas equivalentes
k k , f es tambin diferenciable en a respecto a las nuevas normas. sabemos
que existen dos constantes mayores que 0, , , tales que kxk kxk para
cada x Rn y ky k ky k para cada y F . Entonces si
kf (a + h) f (a)
f
j=1 xj (a)hj k
Pn
khk
cuando khk ,
se tiene tambin que

kf (a + h) f (a)
j=1 xj (a)hj k
Pn
khk

kf (a + h) f (a)
khk
f
j=1 xj (a)hj k
Pn
cuando khk 1/,
2.8
31
2. Para funciones de una variable, la definicin anterior coincide con

la de funcin derivable en un punto. En efecto, supongamos que f es una
funcin de una variable (con valores en un espacio normado F ). Si f es
diferenciable en a entonces por la definicin debe existir (f /x)(a) = f 0 (a).
Recprocamente si f es derivable en a, entonces
f (x) f (a) f 0 (a)(x a)
=0
xa
|x a|
f (x) f (a) f 0 (a)(x a)
lm
=0
xa
xa

f (x) f (a)
f 0 (a) = 0
lm
xa
xa
lm
lm
xa
f (x) f (a)
= f 0 (a).
xa
Ejemplo 2.7 La funcin

f (x, y) =
x3 y 3
;
x2 + y 2
f (0, 0) = 0
es continua y admite derivadas parciales respecto a ambas coordenadas en

(0,0) pero no es diferenciable en (0,0).
o
Proposicin 2.8 Sea f : A Rn F y a A. Son equivalentes:

i) f es diferenciable en a.
ii) Existe una aplicacin lineal J : Rn F tal que
(2.4)
f (a + h) f (a) J(h)
= 0.
h0
khk
lm
Demostracin. i) inplica ii). De la definicin de funcin diferenciable se deduce que la condicin f diferenciable en a implica que la aplicacin lineal J
f
f
(a), . . . , x
(a)), satisface
cuya matriz asociada es la matriz jacobiana ( x
n
1
la condicin ii).
ii) implica i) De hecho de la condicin ii) se deduce:
f es derivable en todas las direcciones.
La aplicacin J es nica, J(h) = Dh f (a) =
f
j=1 xj (a)hj .
Pn
f es diferenciable en a
En efecto, supongamos que la aplicacin lineal J : Rn F satisface
lm
h0
f (a + h) f (a) J(h)
= 0,
khk
32
2.10
entonces para cada h 6= 0 (fijado) se tiene:

lm
t0
f (a + th) f (a) J(th)

f (a + th) f (a) tJ(h)
= 0 = lm
,
t0
kthk
|t|khk
que claramente implica que

f (a + th) f (a) tJ(h)
=0
t0
t
lm
y que, por tanto,

f (a + th) f (a)
= Dh f (a).
t0
t
J(h) = lm
Se ha probado pues que J no puede ser otra aplicacin que la definida por
J(h) = Dh f (a), determinada (en dimensin finita) por la matriz

(J(e1 ), J(e2 ), . . . , J(en )) = (De1 f (a), . . . , Den f (a)) =
f
f
(a), . . . ,
(a) ,
x1
xn

f
es decir J(h) = Dh f (a) = nj=1 x
(a)hj , que nos dice que la condicin ii)
j
no es otra cosa que la condicin (D) de diferenciabilidad en a.
Definicin 2.9 La funcin f : E F se dice diferenciable (o derivable) en

o
el punto a A si existe una aplicacin lineal y continua J : E F tal que

(D)
f (a + h) f (a) J(h)
= 0.
h0
khk
lm
Teniendo en cuenta la proposicin anterior si f es diferenciable en el punto

a existe nica aplicacin lineal J con esta propiedad, la aplicacin J(h) =
Dh f (a), que en lo sucesivo se denotar por Df (a) y se llamar la diferencial de f en a. En dimensin finita, es decir cuando E = Rn , ya
sabemos que Df (a) est determinada por la matriz jacobiana, es decir
P
f
(a)hj .
Df (a)(h) Df (a)h = nj=1 x
j
Proposicin 2.10 Una funcin diferenciable en un punto a es continua
en ese punto. De hecho, existe alguna bola centrada en B(a, r) y alguna
constante M 0 tal que si x B(a, r), entonces kf (x) f (a)k M kx ak.
2.10
33
Demostracin. Por la diferenciabilidad de f en a existe r > 0 tal que si

kx ak r entonces
kf (x) f (a) Df (a)(x a)k
1
kx ak
kf (x) f (a) Df (a)(x a)k kx ak.
Sea V = B(a, r) y x V , entonces teniendo en cuenta que Df (a) es lipschitziana, se tiene
kf (x) f (a)k kf (x) f (a) Df (a)(x a)k + kDf (a)(x a)k
(1 + K)kx ak.
Ejercicio. Sean las funciones

xyz
;
+ y4 + z4
xyz
f2 (x, y, z) = 2
;
x + y2 + z2
xyz 2
f3 (x, y, z) = 2
;
x + y4 + z4
f1 (x, y, z) =
x2
f1 (0, 0, 0) = 0
f2 (0, 0, 0) = 0
f3 (0, 0, 0) = 0.
1. Probar que todas las funciones anteriores admiten derivadas en (0, 0, 0)

en todas las direcciones.
2. La nica funcin que no es continua en (0, 0, 0) es f1 .
3. Comprobar que la aplicaciones T2 (u) = Du f2 (0, 0, 0) no es lineal y por
tanto f2 no es diferenciable en (0, 0, 0).
4. Estudiar cuales de las funciones fi satisfacen la igualdad Du fi (0, 0, 0) =
fi
fi
fi
x (0, 0, 0)h + y (0, 0, 0)k + z (0, 0, 0)p, siendo u = (h, k, p).
5. Comprobar que T3 (u) = Du f3 (0, 0, 0) es lineal, pero f no es dife3 (a)Du f3 (a)
renciable en (0, 0, 0) es decir lmu0 f3 (a+u)fkuk
6= 0, a =
(0, 0, 0); u = (h, k, p).
2 (a)Du f2 (a)
6. Comprobar que lmu0 f2 (a+u)fkuk
= 0, a = (0, 0, 0); u =
(h, k, p), aunque f2 no es diferenciable en (0, 0, 0) (Observar que T2 (u) =
Du f2 (0, 0, 0) no es lineal).
34
1.4.
2.12
Operaciones con funciones diferenciables
Todas las operaciones permitidas para las funciones derivables de 1variable sern vlidas para las funciones diferenciables definidas entre espacios normados:
2.11 Si f, g son funciones diferenciables en a entonces f + g es diferenciable
en a, ya que la aplicacin lineal Df (a) + Dg(a) satisface la condicin de
diferenciabilidad (D) para f +g. Del mismo modo sucede con f (ejercicio).
o
2.12 Sea f : A Rn Rp , diferenciable en a A. Si B f (A) y g : B

o
Rp F es diferenciable en b = f (a) B entonces g f es diferenciable en

a y se tiene que
(2.5)
D(g f )(a) = Dg(f (a)) Df (a)
(Regla de la Cadena).
Demostracin. De acuerdo a la proposicin 2.8 slo tenemos que probar que

g f satisface en a la condicin de diferenciabilidad respecto a la aplicacin
lineal y continua J(h) = (Dg(f (a)) Df (a))h, es decir:
lm
xa
(g f )(x) (g f )(a) J(x a)

= 0.
kx ak
En efecto, teniendo en cuenta que

(g f )(x) (g f )(a) (Dg(f (a) Df (a))(x a)
kx ak

g(f (x)) g(f (a)) Dg(f (a) Df (a)(x a)
=
kx ak
g(f (x)) g(f (a)) Dg(f (a)(f (x) f (a))
=
kx ak

Dg(f (a)) f (x) f (a) Df (a)(x a)
+
,
kx ak
bastar ver que cada uno de los sumandos en la expresin ltima tiende a 0
cuando x tiende a a. Consideremos la funcin
(y) =
g(y) g(b) Dg(b)(y b)

si y 6= b;
ky bk
(b) = 0.
La diferenciabilidad de g en b implica que es continua en 0. Por otra parte,

teniendo en cuenta que en algn entorno U de a existe un M 0 tal que
2.13
35
kf (x) f (a)k M kx ak se sigue que si x U

g(f (x)) g(f (a)) Dg(f (a))(f (x) f (a))

kx ak

kf (x) f (a)k

=
(f (x))

M k(f (x))k.
kx ak
Y puesto que lmxa (f (x)) = (lmxa f (x)) = (f (a)) = 0, se deduce

que el primero de los sumandos tiende a 0 cuando x tienda a a.
Y en cuanto al segundo sumando:
Dg(f (a)) f (x) f (a) Df (a)(x a)

lm
xa
kx ak

f (x) f (a) Df (a)(x a)
= lm Dg(f (a))
xa
kx ak

f (x) f (a) Df (a)(x a)
= Dg(f (a)) lm
= Dg(f (a))(0) = 0.
xa
kx ak
En particular, la igualdad D(g f )(a) = Dg(f (a)) Df (a) nos dice que
que la matriz jacobiana de g f (la matriz de la aplicacin lineal D(g f )(a))
es el producto de las matrices jacobianas de g en f (a) por la jacobiana de f
en a.
(g f )
(g f )
(a), . . . ,
(a) =
x1
xn
f1
f1
(a)
(a)
x1
xn
f2
f2
g
(a)
(a)
,
(f (a)) x1
xn
yp
. . . . . . . . . . . . . . . . . . .
fp
fp
(a)
(a)
x1
xn
g
(f (a)),
y1
Esta igualdad matricial nos permite escribir entonces lo que podemos llamar
la regla de la cadena para derivadas parciales:
p
X g
(g f )
fs
(a) =
(f (a))
(a).
xj
ys
xj
s=1
Nota. Observar, no obstante, que la demostracin dada para 2.12 es vlida

aunque los espacios normados no sean de dimensin finita.
36
2.15
2.13 Una funcin f = (f1 , . . . , fp ) es diferenciable en un punto a si y slo

si las funciones coordenadas f1 , . . . , fp son diferenciables en a.
Demostracin. Es inmediato comprobar que si las funciones fi son diferenciables, entonces la aplicacin lineal y continua
J(h) = (Df1 (a)h, Df2 (a)h, . . . , Dfp (a)h)
satisface la condicin de diferenciabilidad en a para la funcin f = (f1 ,
. . . , fp ). Recprocamente si f es diferenciable en a, entonces cada fi es diferenciable en a pues fi = i f , donde i es la proyeccin i-sima que es
lineal y continua y por tanto diferenciable en todo punto, segn el lema que
damos ms abajo.
2.14 Si f, g son funciones escalares diferenciables en el punto a entonces el
producto f g y el cociente f /g (si g(a) 6= 0) son diferenciables en a.
Demostracin. La aplicacin f g se obtiene por la composicin x (f (x),
g(x)) f (x)g(x). La segunda funcin no es ms que la aplicacin de R2 en
R producto de dos nmeros reales, que veremos en el lema de abajo que es
diferenciable en todo punto. La primera es diferenciable en a pues se trata
de una funcin con dos funciones coordenadas f, g, que por hiptesis son
diferenciables en a. Para el cociente Basta ver que si g(a) 6= 0, entonces la
aplicacin 1/g es diferenciable en a. Escribiendo 1/g como la composicin
de las aplicaciones
1
x g(x)
,
g(x)
eso se sigue de que la aplicacin de R en R, t 1/t, es diferenciable en
R \ {0}.
Lema 2.15 i) Si T es una aplicacin lineal y continua entre los espacios
normados E y F entonces T es diferenciable en cada punto de x E y
DT (x) = T .
ii) La aplicacin producto de nmeros reales es una aplicacin de R2 en
R diferenciable en todo punto.
Demostracin. i) Puesto que
T (x + h) T (x) T (h)
= 0,
khk
2.16
37
Es obvio que se satisface la condicin de diferenciabilidad en x con T =

DT (x).
p
p
ii) Sea p : R2 R; p(x, y) = xy. Entonces x
(a, b) = b y y
(a, b) = a,
por lo que
p
(a, b)h +
p((a, b) + (h, k)) p(a, b) ( x
p
y (a, b)k)
khk
(a + h)(b + k) ab (bh + ak)
hk
=
=
.
khk
h2 + k 2
Puesto que lm(h,k)(0,0) hhk
= 0, se tiene que p satisface la condicin de
2 +k 2
diferenciabilidad en (a, b).
Nota. No consideraremos aqu la diferenciabilidad de la inversa de una funcin, ya que el estudio de funciones inversas ser el objeto de otro captulo
posterior.
2.16 Los resultados anteriores nos permitirn construir una extensa familia
de funciones diferenciables. Empecemos, por ejemplo, con los polinomios:
Como se sabe un polinomio de varias variables es una aplicacin de la forma
f (x1 , x2 , . . . , xn ) =
ai1 ...in xi11 . . . xinn ,
ik = 0, 1, . . .
finita
Puesto que la suma y el producto de aplicaciones diferenciables es una aplicacin diferenciable, es evidente que los polinomios son diferenciables ya que
las aplicaciones
(x1 , x2 , . . . , xn ) ai1 ...in
(x1 , x2 , . . . , xn ) xik
lo son, como fcilmente puede verificarse.
Aplicando 2.14, las funciones racionales (cocientes de dos polinomios)
son diferenciables sobre el conjunto de puntos donde el polinomio del denominador no se anula.
Por ltimo, mediante la composicin de las funciones anteriores con funciones de una variable y diferenciables, se obtienen nuevas funciones de varias
variables y diferenciables
sen (x2 + y 2 ),
log(1 + x2 + y 2 ),
1
,
1 + cos2 (xyz)
...
38
1.5.
2.19
Interpretacin geomtrica de la diferenciabilidad
Es bien conocido que una funcin de una variable f es derivable en un

punto a si y slo si su grfica admite una recta tangente (no vertical) en
el punto (a, f (a)). De igual forma el hecho de que una funcin (escalar)
z = f (x1 , . . . , xn ), de n-variables, sea diferenciable en un punto a significa
en trminos geomtricos que existe un hiperplano de Rn+1 de ecuacin z =
f (a1 , . . . , an ) + J(x1 a1 , . . . , xn an ) (J lineal), tangente a la grfica de
f en el punto c = (a, f (a)). Previamente debemos formalizar la nocin de
tangencia, a fin de que la condicin de diferenciabilidad: existe J tal que
f (a + h) f (a) J(h)
= 0,
h0
khk
lm
pueda interpretarse en el sentido geomtrico anterior.

Definicin 2.17 Llamaremos curva de Rk (k > 1) a toda aplicacin continua : I R Rk , donde I es un intervalo de R. Podemos pensar en
(t) = (x1 (t), . . . , xk (t)) como en la posicin de un mvil en el instante de
tiempo t. Al subconjunto de Rk imagen de
T () = {(x1 (t), . . . , xk (t)) : t I}
se le denomina la traza de la curva.
(Idntica definicin para curva en un espacio normado).
o
Si es derivable en un punto t0 I diremos que el vector 0 (t0 ) =

0
(x1 (t0 ), . . . , x0k (t0 )) es tangente a la curva en c = (t0 ). Es fcil ver que el
vector 0 (t0 ) es, conforme a la idea intuitiva que se tiene de tangencia, un
vector tangente a la traza.
Ejemplo 2.18 Si la funcin de 1-variable f : I R R es continua en el
intervalo I entonces su grfica es la traza de una curva de R2 .
Obviamente la grfica de f, Gr(f ) = {(x, f (x)) : x I}, es la traza de
la curva : I R R2 , (x) = (x, f (x)).
Definicin 2.19 Un vector w de Rk se dir tangente al conjunto M Rk
en el punto c M , si existe alguna curva : I R Rk contenida en M
que pasa por c y tiene a w como vector tangente en c i.e.,
i) (t) M para cada t,
ii) existe t0 I tal que (t0 ) = c,
iii) es derivable en t0 y 0 (t0 ) = w.
2.20
39
Geomtricamente, un vector tangente a M en c es pues un vector tangente a alguna curva trazada sobre M pasando por c (ver ejercicio 2M para
una definicin ms general de vector tangente.) Al conjunto de vectores
tangentes a M en el punto c M se le denotar por Tc (M ).
Proposicin 2.20 Sea f : A R2 R una aplicacin diferenciable en el
o
punto a = (x0 , y0 ) A, M la grfica de f y c = (a, f (a)) = (x0 , y0 , f (x0 , y0 )).
Entonces el conjunto de vectores tangentes a M en c, Tc (M ), es el plano
vectorial director del plano afn Ac (M ) que pasa por c y tiene de ecuacin
z = f (a) + Df (a)(x x0 , y y0 ) = f (a) +
f
f
(a)(x x0 ) +
(a)(y y0 ).
x
y
Demostracin. Es claro que el plano vectorial director de Ac (M ) es L =

{(x, y, z) : z = Df (a)(x, y). Veamos primero que L Tc (M ). En efecto, sea
w = (h, k, p) L es decir tal que p = Df (a)(h, k) y consideremos la curva
(t) = (x0 + th, y0 + tk, f (x0 + th, y0 + tk)).
Obviamente es una curva contenida en M que pasa por c = (x0 , y0 , f (x0 , y0 )).
Geomtricamente podemos obtenerla mediante la interseccin de M con el
plano perpendicular al XY y contiene a la recta x = x0 +th; y = y0 +tk; z =
0. Observemos que es derivable en t = 0,
f (x0 + th, y0 + tk) f (x0 , y0 )
t0
t
= (h, k, D(h,k) f (a)) = (h, k, Df (a)(h, k)) Tc (M ).
0 (0) = h, k, lm
Veamos ahora que Tc (M ) L. Sea w = (h, k, p) Tc (M ) y, por

tanto, sea : I R R3 : (t) = (x(t), y(t), z(t)) una curva cuya
traza est contenida en M es decir z(t) = f (x(t), y(t)) y tal que en alo
gn punto t0 I (t0 ) = (x(t0 ), y(t0 ), z(t0 )) = c = (x0 , y0 , f (x0 , y0 )) y

0 (t0 ) = (x0 (t0 ), y 0 (t0 ), z 0 (t0 )) = (h, k, p).
Se trata pues de ver que de lo anterior se deduce que p = Df (a)(h, k).
En efecto, puesto que z(t) = f (x(t), y(t)), aplicando la regla de la cadena se
tiene que p = z 0 (t0 ) = Df (x(t0 ), y(t0 ))(x0 (t0 ), y 0 (t0 )) = Df (x0 , y0 )(h, k).
Observar que el plano vectorial Tc (M ) de la funcin f no contiene al
vector (0, 0, 1). Por eso, la interpretacin geomtrica que acabamos de dar
del hecho de que f sea diferenciable en a suele expresarse diciendo que la
grfica de f admite un plano tangente no vertical en el punto c = (a, f (a)).
40
2B
La proposicin anterior se extiende a ms variables y a funciones entre

espacios normados con idntica demostracin. El enunciado preciso es el
siguiente:
Proposicin 2.21 Si f : A E F es una aplicacin diferenciable en
o
el punto a A, M E F es la grfica de f y c = (a, f (a)), entonces el
conjunto de vectores tangentes a M en c, Tc (M ), es un subespacio vectorial
de E F isomorfo a E, que no contiene vectores de la forma (0, v) con v 6= 0.
Tc (M ) es asimismo el espacio vectorial director de la variedad afn de E F
de ecuacin z = f (a) + Df (a)(x a).
Ejercicios
2A Estudiar continuidad y existencia de derivadas parciales para las funciones
(
ln(1 + (x y)2 ) si x y > 1
1. f (x, y) =
x y + ln 2
si x y 1
p
2. f (x, y) = x4 + sen 2 xy
3
x
si (x, y) 6= (0, 0)
3. f (x, y) = x2 + y 2
0
si (x, y) = (0, 0)
(
sen xsen y
si x 6= y
xy
4. f (x, y) =
cos x
si x = y
2B Supongamos que f es una funcin escalar de dos variables, continua en el punto
(0,0), y sea g(x, y) = xf (x, y). Probar que g es diferenciable en (0,0).
o
2C Sean E, F espacios normados, f : A E F y a A.

(a) Si f es diferenciable en a, probar que
f (a + h) f (a)
lm
=
h0
khk
(
0
No existe
si Df (a) = 0
si Df (a) 6= 0
(b) Probar que si f admite derivadas en a siguiendo cualquier vector y

()
lm
h0
kf (a + h) f (a)k
= 6= 0
khk
entonces kDh f (a)k = khk, para todo h E.
2F
41
(c) Deducir de (b) que si dim E > dim F y f satisface () entonces f no puede
ser diferenciable en a.
Indicacin. De ser diferenciable en a, existira algn vector no nulo en el
ncleo de Df (a).
(d) Si f es diferenciable en a, entonces son equivalentes:
i) Existe lmh0
kf (a + h) f (a)k
khk
ii) kDf (a)hk = kDf (a)kkhk para todo h E.

(e) Considerar las funciones
f1 (x, y) =
(p
x2 + y 2 ;
f2 (x, y) =
x2 + y 2
p
x2 + y 2
si x 0
si x < 0
Probar que ambas funciones satisfacen la condicin () en (0,0), cuando se

considera la norma eucldea en R2 . Ninguna de las dos funciones son diferenciables en (0,0), pero mientras que la funcin f1 no admite derivadas
direccionales, la funcin f2 s.
2D Probar que la funcin f (x) = x3/2 sen 1/x,
no es lipschitziana en ningn entorno de 0.
f (0) = 0 es derivable en 0, pero
2E Estudiar continuidad, existencia de derivadas parciales, existencia de derivadas

direccionales y diferenciabilidad en el origen de coordenadas, para cada una de las
funciones siguientes. (Supondremos que todas estas funciones toman el valor 0 en
el origen)
x4 + x2 y 2 + y 5
x2 + y 4
4
x + y4
3. f (x, y) = 2
x + y2
ln(1 + xy)
5. f (x, y) = p
x2 + y 2
2
(x + y 3 )(x2 + y 2 )
7. f (x, y) =
x2 + y 4
1. f (x, y) =
2F
x3 y 3
x2 + y 2
sen (x3 + xyz)
4. f (x, y) = 2
x + y2 + z2
ln(1 + xy)
6. f (x, y) = p
3
x2 + y 2
xy
p
8. f (x, y) =
2
x + x2 + y 2
2. f (x, y) =
1. Estudiar la diferenciabilidad de la funcin f (x, y) = sen |x2 y 2 |, en los

puntos (0,0) y (1,1).
2. Estudiar la diferenciabilidad en (0,0) de la funcin f (x, y) = |xy| , segn los

valores de 0.
42
2F
3. Estudiar continuidad, existencia de derivadas parciales, existencia de derivadas direccionales y diferenciabilidad en los puntos (0,0) y (0,1), para la
funcin
(p
x4 + sen 2 (xy)
si x 0
p
f (x, y) =
x4 + sen 2 (xy) si x < 0
2G Demostrar que la funcin
x5 y 3
f (x, y) = p
;
x6 + y 4
f (0, 0) = 0
es diferenciable en (0,0).
Indicacin: Probar que
0
x6 + y 4 y 2 |x|3 ,
x, y.
2H En este ejercicio g y sern en todos los casos una funcin escalar diferenciable
en todo punto (aunque no siempre del mismo nmero de variables). Supuesto esto, se
trata de probar que la funcin h construida a partir de g es tambin diferenciable y
de calcular sus derivadas parciales en trminos de las funciones g y y sus derivadas
parciales:
1. h(x, y, z) = g(x2 z, sen xyz)
2. h(x, y, z) = g(x + y z 2 )
3. h(x) = g(x3 , sen x, x 1)
4. h(x) = g(x2 , g(x, sen x))
5. h(x, y) = g(x2 , g(x, sen y))
6. h(x, y, z) = xg(xy) + yg(xz) + zg(yz)
7. h(x) = xg(x + g(x))
8. h(x, y, z) = g(x, y) + g(x, z) + g(y, z)
9. h(x, y) = g(x + (x, y))
10. h(x, y) = g(x, y(x, y))
2I Como en el ejercicio anterior, g y denotarn funciones escalares diferenciables

en todo punto. Sean:
(a) h(x, y, z) = g(xy, (yz)), con
(0) = 0 ;
0 (0) = 1 ;
Dg(0, 0) (2, 3)
Calcular las derivadas parciales de h en (0, 1, 0).

(b) h(x, y) = x g(x, y, y), con
g(1, 0, 0) = 1 ;
Dg(1, 0, 0) (1, 2, 2).
Calcular las derivadas parciales de h en (1, 0).
2M
43
(c) h(x, y, z) = g(xz, g(y, z)), con

g(0, 1) = 0 ;
Dg(0, 0) (1, 2) ;
Dg(0, 1) (3, 4).
Calcular las derivadas parciales de h en (0, 0, 1).

2J Probar que la funcin
Z
h(x, y) =
x+y
et
+x
dt
es diferenciable en cada punto y calcular su diferencial.

Indicacin: Tener en cuenta el teorema fundamental del clculo integral:
R x Si f es
una funcin continua en el intervalo [a, b], entonces la funcin F (x) = a f (t)dt es
derivable y su derivada es F 0 (x) = f (x).
2K Considerar la funcin f (x, y) = x2 2y.
(a) Obtener la ecuacin del plano tangente a la grfica de f en el punto (0,1,-2).
(b) Calcular la derivada de f en (0,1) siguiendo el vector v = (2, 3).
(c) Encontrar alguna curva sobre la grfica de la funcin f , que pase por el punto
(0,1,-2) y tenga como vector tangente en ese punto a (2, 3, D(2,3) f (0, 1)).
2L Estudiar la existencia de derivadas direccionales en (0,0) para las funciones
p
p
f1 (x, y) = 3 x3 + y 3 ; f2 (x, y) = 3 x3 + y 4
Son diferenciables en (0,0)?
Indicacin: Para estudiar la diferenciabilidad de f2 en (0,0), puede resultar til
saber
que,si r es un nmero real > 0 y denotamos por g a la funcin g(u) =
3
u + r 3 u, entonces g es no negativa y alcanza un mximo absoluto en el punto
u = r/2.
2M (Una definicin ms general de vector tangente) Sea M un subconjunto
de un espacio normado G, c M y v G. Se dir que v es tangente a M en c, si
existe una sucesin {zn } de puntos de M y una sucesin de escalares {n > 0} tal
que:
zn c, n (zn c) v.
Se denotar por Tc (M ) al conjunto de vectores tangentes a M en c.
(a) Probar que un vector no nulo v es tangente a M en c si y slo si existe una
sucesin {zn } M, zn 6= c tal que
zn c,
zn c
v.
kzn ck
44
2M
(b) Sea : (a, b) R G una curva contenida en M que pasa por el punto
c M . Para concretar, sea c = (t0 ). Probar que si es derivable en t0
entonces el vector v = 0 (t0 ) es un vector tangente a M en c.
(c) Sean E, F espacios normados y f : A E F una aplicacin continua y
o
derivable siguiendo un vector h en el punto a A. Probar que el vector

(h, Dh f (a)) es un vector tangente en el punto c = (a, f (a)) a la grfica de la
funcin f .
(e) Sea f : A E F una funcin diferenciable en un punto a y M su grfica:
1. Demostrar que el conjunto de los vectores tangentes a M en el punto
c = (a, f (a)) es el subespacio vectorial isomorfo a E,
Tc (M ) = {(h, Df (a)h) : h E}.
2. Demostrar que el vector v es tangente a M en c = (a, f (a)) si y slo si v
es tangente en c a alguna curva contenida en M que pasa por c.
2.24
2.
45
El teorema del valor medio
Comenzaremos esta seccin recordando dos versiones del teorema del

valor medido para funciones de 1-variable y por tanto ya conocidas:
2.22 Sea f : [a, b] R R una funcin continua en [a, b] y derivable en
(a, b). Entonces:
(i) Existe algn punto c (a, b) tal que f (b) f (a) = f 0 (c)(b a).
(ii) Si adems existe alguna constante M tal que |f 0 (x)| M para todo
x (a, b), entonces |f (x) f (y)| M |x y|, x, y [a, b] (Frmula
de los incrementos finitos)
En este tema extenderemos a las varias variables la frmula de los incrementos finitos. Esta extensin, a la que nos referiremos como teorema del
valor medio estar presente en mayor o en menor medida, como suceda para
1-variable, en gran parte de los resultados del Calculo Diferencial en varias
variables. En el enunciado del teorema necesitaremos referirnos a la nocin
de segmento:
Definicin 2.23 En un espacio vectorial E se denomina segmento de extremos a, b, al conjunto
[a, b] = {a + t(b a) : t [0, 1]} = {(1 t)a + tb : t [0, 1]}.
Llamaremos segmento abierto de extremos a y b al conjunto (a, b) = [a, b] \
{a, b}. El conjunto A se dir convexo si para cada par de puntos de A, el
segmento que los une est totalmente contenido en A.
Proposicin 2.24 Toda bola es un conjunto convexo.
Demostracin. Sean x, y dos puntos de la bola B(a, r) y sea z = (1t)x+ty
un punto del segmento [x, y]. Entonces
kz ak = k(1 t)x + ty ((1 t)a + tak
(1 t)kx ak + tky ak < (1 t)r + tr = r.
El primero de los resultados (2.22(i)) se extiende tal cual a funciones
escalares de varias variables. Pero no es cierto, en general, para funciones
vectoriales.
46
2.27
Teorema 2.25 Sea [a, b] un segmento de Rn y f : A Rn R una funcin

o
continua en [a, b] A y derivable en (a, b). Entonces existe algn punto

c (a, b) tal que f (b) f (a) = Df (c)(b a).
Demostracin. Consideremos la aplicacin : [0, 1] R [a, b] Rn definida por (t) = a + t(b a) = (a1 + t(b1 a1 ), . . . , an + t(bn an )). Esta
aplicacin es claramente derivable en [0,1], siendo 0 (t) = ba. Sea g = f ,
g es una funcin escalar de una variable que es continua en [0, 1] y derivable
en (0, 1), pues f es continua en cada punto (t) con t [0, 1] y derivable en
(t) con t (0, 1). Aplicando la regla de la cadena se tiene que
g 0 (t) =
X f
xj
((t))(bj aj ).
Aplicando ahora el teorema de valor medio para funciones escalares de una

variable a la funcin g en [0, 1], se tiene que existe algn (0, 1)
f (b)f (a) = g(1)g(0) = g 0 () =
X f
xj
(())(bj aj ) = Df (())(ba).
En cuanto al segundo de los resultados (2.22(ii)) se extiende, sin ninguna

restriccin, a funciones con valores en un espacio normado F , aunque aqu
slo lo demostraremos para F = (Rp , k k ):
Teorema 2.26 Sea [a, b] un segmento de Rn y f : A Rn Rp una funcin
o
continua en [a, b] A y derivable en (a, b). Si para para algn M 0 se

tiene

f

i

(x) M,

xj

x (a, b); i = 1, . . . , p ; j = 1, . . . , n.
Entonces
(2.6)
kf (b) f (a)k M kb ak1 .
Demostracin. Es una consecuencia directa del teorema anterior (Teorema

2.25) aplicado a cada funcin coordenada de la funcin f . En efecto si f =
(f1 , f2 , ..., fp ), entonces para cada i = 1, . . . , p, existe algn punto ci (a, b)
P fi
tal que fi (b) fi (a) =
xj (ci )(bj aj ), luego
kf (b) f (a)k = m
ax |fi (b) fi (a)|
1ip
M |bj aj | = M kb ak1 .
2.27
47
El siguiente teorema no es una extensin a varias variables de alguno ya

conocido para 1-variable:
Teorema 2.27 Sea [a, b] un segmento de Rn y f : A Rn Rp una funcin
o
continua en [a, b] A. Supongamos que existe algn abierto U tal que [a, b]
U A en el que las derivadas parciales de f existen y estn acotadas, es
decir existe M 0 tal que

f

i
(x) M,

xj
x U ; i = 1, . . . , p ; j = 1, . . . , n.
Entonces kf (b) f (a)k M kb ak1 .

Demostracin. Puede suponerse que f es una funcin escalar, pues si el
teorema fuese cierto para funciones escalares, entonces para una funcin
vectorial, f = (f1 , f2 , ..., fp ), se tendra tambin:
kf (b) f (a)k = m
ax |fi (b) fi (a)| M kb ak1 .
1ip
(i) Etapa 1:
Supongamos en primer lugar que el segmento [a, b] est contenido en
algn n-rectngulo cerrado R contenido a su vez en U . Por definicin, un
n-rectngulo (cerrado) es un producto cartesiano de n intervalos (cerrados)
de R, es decir un conjunto de la forma
R = [c1 , d1 ] . . . [cn , dn ].
Por tanto un punto z = (zi ) est en R si y slo si ci zi di , para todo i.
Entonces
f (a) f (b) =f (a1 , a2 , . . . , an ) f (b1 , a2 , . . . , an )
(2.7)
+ f (b1 , a2 , . . . , an ) f (b1 , b2 , a3 , . . . , an )
..................................................
+ f (b1 , b2 , . . . , bn1 , an ) f (b1 , . . . , bn ).
Evidentemente cada uno de los nuevos puntos que utilizamos en esta descomposicin pertenecen a R, y en cada paso los dos puntos que aparecen
slo se diferencian en una de las coordenadas. Entonces, la existencia de derivadas parciales en cada punto de R, nos permite aplicar en cada uno de los
pasos anteriores el teorema de valor medio para funciones de una variable,
en efecto vayamos al primer paso y consideremos la funcin de la variable
48
2.28
x1 , F1 : x1 f (x1 , a2 , . . . , an ). Obviamente esta funcin y su derivada est

f
bien definida en [c1 , d1 ] ya que F10 (x1 ) =
(x1 , a2 , . . . , an ) y las derivadas
x1
parciales existen en cada punto de R U . Puesto que a1 , b1 [c1 , d1 ] y
|F10 (x1 )| M si x1 [c1 , d1 ], aplicando a F1 el teorema del valor medio
(2.22)(ii) se tiene que
|f (a1 , a2 , . . . , an ) f (b1 , a2 , . . . , an )| = |F1 (a1 ) F1 (b1 )| M |a1 b1 |
Procediendo de igual modo con cada lnea de (2.7) obtendramos
|f (b1 , . . . , bj1 , aj , . . . , an ) f (b1 , . . . , bj , aj+1 , . . . , an )|
M |aj bj | = M ka bk1 .
Etapa 2:
Veamos ya que la desigualdad anterior se verifica en el caso general. Para
ello vamos a utilizar el siguiente
Lema 2.28 Si el segmento [a, b] est contenido en el abierto U , entonces
existe algn > 0 tal que para todo x [a, b], el n-cubo (cuadrado en R2 )
B [x, ] est contenido en U .
1
p kb
En consecuencia es fcil ver que si p es un nmero natural tal que

ak , los puntos del segmento [a, b]:
1
1
1
a = c0 , c1 = c0 + (b a), c2 = c1 + (b a), . . . , cp = cp1 + (b a) = b
p
p
p
tienen la propiedad siguiente: Cada dos consecutivos pertenecen a un mismo n-cubo cerrado contenido en U . Entonces, conforme a lo probado en la
Etapa 1 , se tiene:
kf (a) f (b)k kf (c0 ) f (c1 )k + kf (c1 ) f (c2 )k +
M kc1 c0 k1 + M kc2 c1 k1 +
1
1
= M ( ka bk1 + ka bk1 + )
p
p
= M ka bk1 .
Demostracin del Lema. Supongamos que para cada p existe un dp [a, b]
y un yp B [dp , p1 ] tal que yp U c . Sea dp = a + tp (b a) con tp [0, 1].
Puesto que [0, 1] es compacto la sucesin {tp } tiene una subsucesin {tpk }
2.30
49
que converge a un punto s de [0, 1] y por lo tanto {dpk } converge al punto

d = a + s(b a) de [a, b] (comprobarlo como ejercicio). Tambin
kypk dk kypk dpk k + kdpk dk
1
+ kdpk dk 0,
pk
lo que nos dice que la sucesin {ypk } de puntos de U c converge a d. Pero esto
es absurdo, pues como d U y U es abierto cualquier sucesin que converja
a d debe tener sus trminos a partir de uno en adelante contenidos en U .
Nota. Los teoremas 2.26 y 2.27 pueden extenderse a funciones con valores en
un espacio normado de cualquier dimensin (F, k k). En tal caso la hiptesis
sobre las derivadas parciales habra habra de ser
k
f
(x)k M,
xj
para cada x bien en (a, b) o en algn abierto conteniendo a [a, b], segn
estemos en las condiciones del Teorema 2.26 o en las del Teorema 2.27. La
conclusin, la misma:
kf (b) f (a)k M kb ak1 .
La demostracin de este hecho se deduce claramente del siguiente
Lema 2.29 Sea F un espacio normado y f : [a, b] R F una funcin continua en [a, b] y derivable en (a, b). Supongamos que existe alguna constante M tal que kf 0 (t)k M para todo t (a, b), entonces
kf (b) f (a)k M (b a)
Hay varias demostraciones para este lema. Una de ellas, tomada bsicamente
del libro de T.M. Flett [12], puede verse en Manual (Lema 8.10(2) y Teorema
8.12). Otra puede verse en el libro de H. Cartan [5]. La demostracin que
damos a continuacin, quiz la ms corta, es la que se basa en el potente
resultado del Anlisis Funcional conocido como teorema de Hahn-Banach:
2.30 [Hahn-Banach] Sea (E, k k) un espacio normado, L un subespacio
vectorial de E y : L R una forma lineal continua sobre L tal que
|(u)| kuk para cada u L. Entonces puede extenderse a una forma
lineal y continua en todo E y tal que |(x)| kxk para cada x E.
50
2.33
Demostracin Lema 2.29 Sea h = f (b) f (a) F , L =< h > el subespacio

vectorial de F generado por h y : L R definida por (th) = tkhk. Es
obvio que es lineal y continua sobre L y para cada u L, |(u)| = kuk.
Sea : F R la extensin a F que nos proporciona el teorema de HahnBanach y, por tanto, satisfaciendo la desigualdad |(x)| kxk para todo
x E. Puesto que toda aplicacin lineal y continua es diferenciable en cada
punto, la aplicacin g = f es una funcin continua en [a, b] y derivable
en (a, b) y que toma sus valores en R. Adems,
|g 0 (t)| = |D(f (t))(f 0 (t))| = |(f 0 (t))| kf 0 (t)k M.
Por tanto, de 2.22(ii) se deduce que
kf (b) f (a)k = |(f (b) f (a))| = |g(b) g(a)| M (b a).
2.1.
Consecuencias
2.31 Sea U un conjunto abierto convexo de Rn y f : U Rp una funcin

que admite derivadas parciales acotadas en U . Entonces f es lipschitziana
en U.
Demostracin. Basta aplicar el apartado (i) del teorema anterior en el segmento [x, y] para cada x, y U .
2.32 Si todas las derivadas parciales de una funcin f : U Rn Rp son
nulas en el abierto conexo U , entonces f es constante sobre U .
Demostracin. Por definicin el abierto U se dice conexo si no se puede
descomponer como unin de otros dos abiertos no vacos y disjuntos. Sea
a U y B = {x U : f (x) = f (a). Se trata de probar que B = U . Para
ello, veamos en primer lugar que B es abierto, es decir que si x B entonces
B es entorno de x. Puesto que U es abierto, U es entorno de x y por tanto
existe alguna bola centrada en x, B(x, r(x)) contenida en U . Para que B sea
entorno de x bastar ver que esta bola est contenida en B. Puesto que las
derivadas parciales son nulas (acotadas, por tanto, por M = 0) la funcin
f debe ser, segn 2.25, lipschitziana de constante de Lipschitz M = 0 en
cada abierto y convexo contenido en U , en particular en la bola B(x, r(x)).
Es decir que si y B(x, r(x)) entonces kf (y) f (x)k 0kx yk, luego
f (y) = f (x) y, como f (x) = f (a) ya que x B, se tiene que y B.
Con el mismo argumento se prueba que tambin U \ B es abierto, por
lo que U se escribe como unin de los abiertos disjuntos B y U \ B. Como
U es conexo y B 6= (a B), se tiene que U \ B = o sea que B = U .
2.34
51
Proposicin 2.33 Un conjunto abierto U de Rn es conexo si y slo si es

conexo por arcos i.e., si para cada x, y U existe una curva r : [, ] Rn
de extremos x = r(); y = r() cuya traza est contenida en U .
Demostracin. Ver Manual (Proposicin 1.10).
2.34 [Condicin suficiente de diferenciabilidad] Sea f : A Rn
o
Rp , y a A. Si f admite derivadas parciales, respecto a cualquier ndice, en

un entorno del punto a y stas son aplicaciones continuas en a, entonces f
es lipschitziana en alguna bola centrada en a y diferenciable en a.
Demostracin. Puesto que suponemos que las aplicaciones
fi
f
:x
(x)
xj
xj
son continuas en a debe existir alguna B(a, rij ) tal que si x B(a, rij )
entonces
fi

fi

fi

fi

fi

(x)
(a) 1
(x) 1+
(a) M = (1+m
ax
(a)).
xj
xj
xj
xj
i,j
xi
Tomando r = mn rij , de 2.31 se deduce entonces que f es lispchitziana en

B(a, r).
Para que f sea diferenciable en a hemos de ver que
f (x) f (a)
(2.8)
lm
f
j=1 xj (a)(xj
Pn
aj )
kx ak
xa
= 0.
Para ello vamos a aplicar de nuevo 2.31 a la funcin

g(x) = f (x) f (a)
n
X
f
j=1
xj
(a)(xj aj ).
Es claro que
fi
fi
gi
(x) =
(x)
(a).
xj
xj
xj
Por tanto, aplicando el hecho de que las derivadas parciales de f son continuas en a, se tiene que para todo > 0 existe algn > 0 tal que si
x V = B(a, ) entonces
gi
fi

f

(x) =
(x)
(a) , i, j.
xj
xj
xj
52
2.37
Se deduce, pues, que la funcin g cumple en V las hiptesis de 2.31, luego

es lipschitziana en V . En particular, si x V
n
X
f
kg(x) g(a)k = f (x) f (a)
j=1
xj
(a)(xj aj ) kx ak1 ,
que, obviamente, significa que f satisface la condicin 2.8.

Nota. Obsrvese que del hecho de que la funcin g de la demostracin anterior sea lipschitziana en V , se deduce que
f (x) f (y)
lm
(x,y)(a,a)
f
j=1 xj (a)(xj
Pn
kx yk
yj )
= 0.
Una funcin que satisface la condicin anterior se dice que es estrictamente

diferenciable en a. Por lo tanto, se ha demostrado que si f es una funcin
cuyas derivadas parciales son continuas en a, entonces f es algo ms de
diferenciable en a, es estrictamente diferenciable en a.
Consecuencia inmediata del teorema anterior es el siguiente
Corolario 2.35 Si todas las derivadas parciales de una funcin f son continuas en un abierto U de Rn entonces f es locamente lipschitziana y diferenciable en U .
Definicin 2.36 (Funcin de clase C 1 ) Sea A un subconjunto de Rn .
Una funcin f se dice de clase C 1 sobre A, lo cual lo expresaremos con
la notacin f C 1 (A), si f admite derivadas parciales en algn abierto que
contiene a A y stas son continuas en cada punto de A.
El siguiente corolario es consecuencia directa del teorema anterior:
Corolario 2.37 Si f es una funcin de clase C 1 sobre A entonces f es
diferenciable en cada punto de A.
2Q
53
Ejercicios
2N (a) Probar que si k k es una norma cualquiera sobre Rn , entonces la aplicacin x kxk es una aplicacin lipschitziana que no admite derivadas
direccionales en 0.
(b) Sea U = {(x, y) R2 : x2 + y 2 < 1} \ {0} [0, 1], y consideremos la funcin
f definida sobre U por
(
y 2 si x > 0 e y 0
f (x, y) =
0 en otro caso
Probar que U es un abierto conexo (no convexo) sobre el que f es continua,
admite derivadas parciales acotadas, pero no es lipschitziana.
2 (a) Probar que si f es una funcin lipschitziana sobre un abierto U de Rn y
admite derivadas parciales, respecto a cualquier ndice, en todo punto de U ,
entonces sus derivadas parciales estn acotadas en U .
(b) Estudiar si la funcin f (x, y, z) = sen(x2 y 2 + z 2 ) es lipschitziana o localmente lipschitziana en R3 .
2O (a) Probar que toda aplicacin lipschitziana f : A E F, donde E y F
son espacios de Banach, se extiende a una aplicacin lipschitziana sobre A.
(b) Sean A, B dos conjuntos no vacos de un espacio normado, con B A, y
supongamos que cada uno de los conjuntos B, A \ B y A es convexo. Probar entonces que una aplicacin f es lipschitziana sobre A si y slo si es
lipschitziana sobre B y sobre A \ B.
(c) Estudiar si las aplicaciones
f (x, y) = sen |x y|,
g(x, y, z) = sen |x2 + y 2 z 2 |
son lipschizianas o localmente lipschitzianas.

2P Consideremos la funcin
(
x sen ln(x2 + y 2 ) si (x, y) 6= (0, 0)
f (x, y) =
0
si (x, y) = (0, 0)
Probar que f es una funcin continua en todo punto, que admite derivadas parciales
acotadas en R2 \ (0, 0) Es lipschitziana?
2Q (a) Sea U un abierto convexo de Rn y supongamos que f, g : U Rp son
dos funciones tales que, en cada punto x U , fi /xj (x) = gi /xj (x),
cualesquiera que sean los ndices i, j. Probar entonces que las funciones f y
g se diferencian en una constante.
54
2Q
(b) Determinar las funciones f : R2 R que satisfacen las ecuaciones

f
(x, y) = 1 ;
x
f
(x, y) = y,
y
(x, y).
2R Sea I un intervalo abierto de R, U un abierto de Rn y f : (t, x) I U f (t, x)

una funcin escalar. Demostrar que si
f
(t, x) = 0,
t
(t, x) I U
entonces f no depende de t, es decir f (t1 , x) = f (t2 , x) cualesquiera que sean

t1 , t2 , x.
2.38
3.
55
Derivadas parciales de orden superior
Conviene tener presente que, por convenio, una funcin f derivable (aunque sea parcialmente) en un punto a debe estar definida en un entorno de
a. Recordemos tambin que la derivada parcial f /xj (a), coincide con la
derivada en el punto aj de la aplicacin:
xj f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ).
o
Sea f : A Rn F, a A. Llamaremos derivada parcial segunda de

f respecto a xi y xj en el punto a, a la derivada respecto xi de la funcin
f /xj en el punto a. Abreviadamente
2f
f
(a).
(a) =
xi xj
xi xj
Se deduce, pues, que la funcin f es derivable respecto a las variables xi y
xj en el punto a, si y slo si la aplicacin
f
f
:x
(x)
xj
xj
est definida en algn entorno de a y admite derivada parcial respecto a xi
en el punto a.
Ms generalmente, si j1 , j2 , . . . , jr son nmeros naturales (independientes
entre s) comprendido entre 1 y n, definiremos inductivamente

rf
r1 f
(a) =
(a).
xj1 . . . xjr
xj1 xj2 . . . xjr
Cuando el resultado final de una derivacin parcial slo dependa del nmero
de veces que se deriva respecto a cada variable, y no del orden en que se
realiza tal proceso (esto no suceder siempre), cabe utilizar una notacin
abreviada para designar a las derivadas parciales de orden superior. As, en
ese caso, utilizaremos la expresin
rf
(a),
xi11 xi22 . . . xinn
para denotar al resultado de efectuar r derivaciones parciales: in respecto a
xn , in1 respecto a xn1 , etc. y por ltimo i1 derivaciones respecto a x1 .
Por tanto i1 + i2 + + in = r. Algunos de los ik pueden ser iguales a 0, lo
56
2.40
que expresar que no se realiza derivacin alguna respecto a la variable xk

(en cuyo caso omitiremos en la expresin anterior el trmino xikk ).
El teorema ms clsico en relacin al problema de la permutabilidad de
las derivadas es el conocido como teorema de Schwarz o de las derivadas
parciales segundas cruzadas.
Teorema 2.38 (Schwarz) Sea f una funcin escalar de dos variables. Supongamos que para cada (x, y) de alguna bola centrada en el punto (a, b),
existen
f
f
2f
(x, y),
(x, y),
(x, y),
x
y
xy
2f
es continua en (a, b). Entonces tambin existe la
xy
otra derivada cruzada en (a, b), y se verifica que
y que la aplicacin
2f
2f
(a, b) =
(a, b).
yx
xy
Una til consecuencia del teorema de Schwarz es el siguiente resultado

para funciones de n-variables:
Corolario 2.39 Si todas las derivadas parciales de orden r de la funcin
escalar f de n-variables existen en algn entorno de un punto a y son funciones continuas en a, entonces cada derivada parcial de orden r de f en a
es independiente del orden en que se efecten las derivaciones.
(Ver Apuntes 2010: Teoremas de Schwarz).
Observemos que la condicin del corolario anterior para r = 1 es justamente la que denominbamos ondicin suficiente de diferenciabilidad"(2.34).
En la proposicin siguiente vemos qu consecuencias se derivan ahora de esta
condicin sobre las derivadas de orden r.
o
Proposicin 2.40 Sea f : A Rn Rp , y a A. Si todas las derivadas

parciales de orden r de la funcin f existen en algn entorno del punto a y
stas son aplicaciones continuas en a, entonces:
1. Cada derivada de orden r 1 de f , r1 f , es una funcin lipschitziana
en algn entorno de a (luego continua en cada punto de ese entorno)
y diferenciable en a.
2.42
57
2. f y cada derivada parcial de orden s < r 1 es diferenciable en algn

entorno de a.
Demostracin. Consideremos una derivada de orden r1, r1 f . Llamemos,
por ejemplo, a esta aplicacin. Entonces la funcin satisface la condicin
suficiente de diferenciabilidad, ya que x

no es otra cosa que una derivada
j
parcial de orden r de f (que por hiptesis es continua en a):
=
( r1 f ) r f.
xj
xj
Por tanto, segn (2.34) (= r1 f ) es lipschitziana en alguna bola
B(a, ) y diferenciable en a.
Con el mismo argumento, aplicado ahora a cada r1 f , que es continua
en cada punto x B(a, ), se tiene que cada r2 f es diferenciable en
f
x. Y as sucesivamente, cada r3 f, . . . , x
y, finalmente, tambin f , son
j
diferenciables en cada x B(a, ).
Definicin 2.41 (Funcin de clase C r ) Sea A un subconjunto de Rn .
Una funcin f se dice de clase C r (r N \ {0}) sobre A, lo cual lo expresaremos con la notacin f C r (A), si f admite derivadas parciales de
orden r en algn abierto que contiene a A y stas son continuas en cada
punto de A.
De acuerdo con el resultado tipo teorema de Schwarz del corolario anterior y la Proposicin 2.40 es obvio que
Corolario 2.42 Si f es una funcin de clase C r sobre un conjunto A, entonces en el clculo de la las derivadas parciales de orden r de la funcin f
en cada punto de A o en el las derivadas de orden s < r en cada punto x de
algn abierto que contiene a A, no importa el orden en que se efecten las
derivaciones.
58
2S
Ejercicios
2S Comprobar si en las funciones siguientes se da la igualdad entre las derivadas
parciales cruzadas en (0, 0). Estudiar en cada caso si se satisfacen las condiciones
del teorema de Schwartz.
x2 y 2
; f (0, 0) = 0.
x2 + y 2
2. f (x, y) = x2 y 2 cos 1/x ; f (0, y) = 0.
1
3. f (x, y) = x2 y 2 sen 2 ; f (x, 0) = f (0, y) = 0.
xy
1. f (x, y) = xy
2T Consideremos los operadores diferenciales

f
f
2f
2f
,...,
);
f =
+ +
2
x1
xn
x1
x2n
f
F1
Fn
f
+ + xn
;
div(F1 , . . . , Fn ) =
+ +
H f = x1
x1
xn
x1
xn

F3
F2 F1
F3 F2
F1
rot(F1 , F2 , F3 ) = F =
y
z
z
x
x
y
f = (
A los operadores anteriores se les conoce, en el orden en que han sido definido, como
operador: Gradiente, Laplaciano, Hamiltoniano, Divergencia y Rotacional.
Supuesto que se pueden permutar las derivaciones, demostrar que
1. f = div f
2. div(rot F ) = 0.
3. H H = 2
4. f = 0 ((x21 + + x2n )f ) = 0.
Captulo 3
Teoremas de Taylor
Una vez ms nos disponemos a extender a las funciones de varias variables resultados ya conocidos para funciones de una variable, los teoremas
de aproximacin de Taylor. Por buena lgica deberamos empezar con la
extensin a las varias variables del concepto de funcin r-veces diferenciable
en un punto. Sin embargo, para evitar complicaciones formales (y de paso
ganar tiempo) no haremos esta extensin. Slo nos referiremos al polinomio
de Taylor de orden r de una funcin f en un punto a, cuando f sea de clase
C r en el punto a, es decir cuando f admite derivadas parciales de orden r
en algn entorno de a y stas son continuas en a.
Esto es pedirle a f algo ms que ser r-veces diferenciable en el punto a.
Ya lo sabamos para r = 1, esa condicin implica que f es diferenciable en
a y lipschitziana en algn entorno de a. En consecuencia, de la Proposicin
2.40 y el Corolario 2.39, se deduce que para r > 1, si una funcin es de clase
C r en a entonces:
1. Cada derivada de orden r 1 de f , r1 f , es una funcin lipschitziana
en algn entorno de a (luego continua en cada punto de ese entorno
i.e. de clase C r1 en ese entorno) y diferenciable en a.
2. f y cada derivada parcial de orden s < r 1 es diferenciable en algn
entorno de a.
3. En el clculo de las derivadas parciales de orden r de f en a y de las
derivadas parciales de orden r 1 de f en cada x de algn entorno
de a, se pueden permutar las derivaciones.
Ejercicio. Probar por induccin:
59
60
Teoremas de Taylor
3.2
o
1. Si f, g : A Rn R son de clase C r en un punto a A, entonces su

producto f.g tambin es de clase C r en a.
2. Si f : A Rn Rp y g : B Rp R son funciones de clase C r en
o
o
algn entorno los puntos a A y f (a) B, entonces g f es de clase
C r en algn entorno de a.
Definicin 3.1 Sea f : A Rn F una funcin que admite derivadas
o
parciales de orden r en algn entorno de un punto a A. Llamaremos
Polinomio de Taylor de la funcin f en el punto a al polinomio cuyo trmino
independiente es f (a) y los trminos de grado 1 k r son los siguientes:
X
1
k! 1i ,...,i
1
k f (a)
xi xi . . . xik
xi1 xi2 . . . xik 1 2
n
Es habitual emplear la notacin

X
Dk f (a)xk =
1i1 ,...,ik
k f (a)
xi xi . . . xik
xi1 xi2 . . . xik 1 2
n
y referirse a Dk f (a) como la diferencial de orden k de f en a. De hecho, la

igualdad anterior, caso de ser f k-veces diferenciable, establece la forma de
calcular el valor que toma la aplicacin Dk f (a) sobre el vector (x, x, . . . , x).
Puesto que en este curso no cabe hablar de diferenciales de orden superior,
la igualdad anterior nos permite dar una expresin del polinomio de Taylor
del mismo tipo que para las funciones de una variable:
Pr f (a)x = f (a) + Df (a)x +
1 2
1
D f (a)x2 + + Dr f (a)xr .
2!
2!
Proposicin 3.2 Si la aplicacin f es de clase C r en a, entonces

1 k
D f (a)xk =
k!
k
X
1 +...+kn
1
k f (a)
xk1 xk2 . . . xknn
k2
k1
kn 1 2
k
!k
!
.
.
.
k
!
n x1 x2 . . . xn
=k 1 2
Demostracin. Consideremos uno de los sumandos de Dk f (a)xk :

k f (a)
xi xi . . . xik .
xi1 xi2 . . . xik 1 2
3.3
Teoremas de Taylor
61
Nos preguntamos si puede haber otros sumandos iguales a ste. Es obvio

que, todos los sumandos en que intervengan las mismas coordenadas y el
mismo nmero de veces, son iguales, pues slo diferenciarn en el orden en
que se efectan las derivaciones y esto, de acuerdo a la hiptesis con que
trabajamos, no importa. Si k1 , k2 , k3 , . . . , kn es el nmero de derivaciones
respecto x1 , x2 , x3 , . . . , xn (donde algunos de los naturales ki puede ser igual
a 0, ya que k = k1 + k2 + + kn ), es claro entonces que el nmero de
sumandos iguales al fijado es exactamente igual al de las permutaciones de
k!
k elementos en los que se repiten k1 , k2 , . . . , kn , es decir igual a k1 !k
, y el
n!
valor comn de ellos:
k f (a)
xk11 xk22
. . . xknn
xk11 xk22 . . . xknn ,
Observar que cuando algn ki es 0 (para concretar por ejemplo si k1 = 0)

se tiene que
k f (a)
x01 xk22
x0 xk2 . . . xknn =
kn 1 2
. . . xn
k f (a)
xk22
. . . xknn
xk22 . . . xknn .
Por tanto,
1 k
1
D f (a)xk =
k!
k! k
1 +...+kn
X
k1 +k2 +...+kn
1.
k!
k f (a)
xk1 xk2 . . . xknn
k1
k2
kn 1 2
k
!k
!
.
.
.
k
!
x
x
.
.
.
x
1
2
n
n
1
2
=k
1
k f (a)
xk1 xk2 . . . xknn .
k1
k2
kn 1 2
k
!k
!
.
.
.
k
!
x
x
.
.
.
x
1
2
n
n
1
2
=k
Teoremas de Taylor
Extenderemos a continuacin a las varias variables el teorema (global)

de Taylor con resto de Lagrange y el conocido como teorema local de Taylor.
Como ya dijimos las hiptesis que usaremos sern algo ms fuerte que las
que realmente se necesitan.
Recordando:
Teorema 3.3 i)(Global) Si f : [a, b] R R es una funcin (r + 1)-veces
derivable en el intervalo [a, b], entonces existe algn punto (a, b) tal que
f (b) Pr f (a)(b a) =
1
f (r+1) ()(b a)r+1 .
(r + 1)!
62
Teoremas de Taylor
3.4
ii) Si f : [a , a + ] R R es r-veces derivable en a entonces

f (a + h) Pr f (a)h
= 0.
h0
hr
lm
Veremos en primer lugar la extensin a varias variables del teorema global.
1.1.
Teorema global de Taylor
Teorema 3.4 Sea f : A Rn R, una funcin de clase C r+1 en el sego

mento [a, a + h] A, entonces existe un punto (a, a + h) tal que
f (a + h) Pr f (a)h =
1
Dr+1 f ()hr+1
(r + 1)!
Demostracin. Puesto que f C r+1 [a, a + h], sabemos que f y cada s f

con s r es diferenciable en cada punto del segmento [a, a + h]. Vamos a
ver que la funcin de 1-variable g(t) = f (a + th) es (r + 1)-veces derivable en
[0, 1] y, por tanto, le podemos aplicar el teorema global de Taylor en [0, 1].
En efecto, g es la composicin de las aplicaciones t a + th f (a + th),
ambas diferenciables luego
g 0 (t) =
X f
j
xj
(a + th)hj .
De acuerdo con esto, tambin podremos derivar g 0 ya que las derivadas

f
tambin son derivables en cada punto a + th. Luego,
parciales x
j
g 00 (t) =
X X 2 f (a + th)
xi xj
hi )hj =
X 2 f (a + th)
i,j
xi xj
hi hj .
Procediendo de esta forma, es claro que podemos derivar g hasta el orden

r + 1 obteniendo,
g (r+1) (t) =
X
1i1 ,...,ir+1
r+1 f (a + th)
hi hi . . . hir+1 .
xi1 xi2 . . . xir+1 1 2
n
Aplicando entonces el teorema global de Taylor a g en [0, 1], y teniendo

en cuenta que g(1) = f (a + h); g(0) = f (a) se tiene ya el resultado que
buscbamos.
3.5
Teoremas de Taylor
63
Nota. El teorema global de Taylor anterior (slo vlido en esta forma para
funciones escalares), es para el caso r = 1 el teorema del valor medio para
funciones escalares: Si f : A Rn R es una funcin continua en el
segmento [a, b] A y derivable en (a, b), entonces existe un punto (a, b)
tal que
X f
f (b) f (a) = Df ()(b a) =
()(bj aj ).
xj
1.2.
Teorema local de Taylor
En la extensin del teorema local de Taylor a varias variables usaremos

el siguiente lema:
Lema 3.5 Si f es una funcin de clase C r en el punto a entonces
f
Pr f (a)(x a) (x) = Pr1
(a)(x a)
xj
xj

Demostracin. Sea k la parte homognea de grado k del polinomio de

Taylor, es decir
k (x) =
X
i1 +i2 +...+in
k f (a)
1
(x1 a1 )i1 (x2 a2 )i2 . . . (xn an )in .
i
i2
in
1
i
!i
!
.
.
.
i
!
n x1 x2 . . . xn
=k 1 2
Entonces
k
(x) =
xj
xj
=
X
i1 +i2 +...+in
ij 1
X
i1 +i2 +...+in
ij 1
1
k f (a)
(x1 a1 )i1 (x2 a2 )i2 . . . (xn an )in
i
i2
in
1
i
!i
!
.
.
.
i
!
n x1 x2 . . . xn
=k 1 2
k f (a)
ij
(x1 a1 )i1 . . . (xj aj )ij 1 . . . (xn an )in
i2
i1
in
i
!i
!
.
.
.
i
!
n x1 x2 . . . xn
=k 1 2
1
k f (a)
(x1 a1 )i1 ..(xj aj )ij 1 ..(xn an )in
i1
i2
in
i
!
.
.
.
(i
1)!
.
.
.
i
!
j
n x1 x2 . . . xn
1) 1
i1 +...+(ij
+...+in =k1
ij 1
X
i1 +i2 +...+in
1
k1 (f /xj )(a)
(x1 a1 )i1 . . . (xj aj )ij . . . (xn an )in .
i1
i2
in
i
!i
!
.
.
.
i
!
x
x
.
.
.
x
1
2
n
n
1
2
=k1
64
Teoremas de Taylor
3.6
(observar que la validez de la ltima de las igualdades anteriores se basa en

que se pueden permutar las derivaciones). Es evidente que de lo anterior se
sigue ya lo que queramos, es decir que
f
Pr f (a)(x a) (x) = Pr1
(a)(x a).
xj
xj

Teorema 3.6 (Local de Taylor) Si la aplicacin f : A Rn Rp es de

o
clase C r en un punto a A, entonces

f (x) Pr f (a)(x a)
= 0.
xa
kx akr
lm
Demostracin. Obviamente se puede suponer que f es una funcin escalar,

es decir p = 1. Razonaremos por induccin sobre r. Para r = 1 la hiptesis
implica que f es diferenciable en a, luego
lm
xa
f (x) (f (a) + Df (a)(x a)

= 0.
kx ak
Como P1 f (a)(x a) = f (a) + Df (a)(x a), de lo anterior se deduce que el

teorema es cierto para r = 1.
Supongamos pues, que para r > 1, f es de clase C r en a (por tanto f es
diferenciable en algn entorno de a) y tomemos como hiptesis de induccin
que el teorema es cierto para r 1. En particular, estamos suponiendo que
f
f
el teorema es cierto para las funciones x
, ya que cada r1 ( x
) es una
j
j
derivada parcial de orden r y por tanto continua en a. Aplicando el lema
anterior, se deduce que:
0 = lm
f
xj (x)
Pr1 (f /xj )(a)(x a)

kx akr1
1
xa
= lm
xj (f (x)
Pr f (a)(x a))
kx akr1
1
xa
Si g(x) = f (x) Pr f (a)(x a) que, igual que f , es diferenciable an algn

entorno de a, lo anterior nos dice que para cada > 0 existe B(a, ) tal que
si x B(a, ) entonces g diferenciable en x y

g

kx akr1 , j.
(x)
1
x

j
3.7
Teoremas de Taylor
65
Fijado x con kx ak1 < se puede aplicar el teorema del valor medio
(Teorema 2.26) a la funcin g en el segmento [a, x]. En efecto si z [a, x]
g
entonces | x
(z)| kz akr1
kxakr1
1
1 . Es decir g tiene sus derivadas
j
parciales acotadas en [a, x] y adems es diferenciable en [a, x], luego
r
|f (x) Pr f (a)(x a)| = |g(x) g(a)| kx akr1
1 kx ak1 = kx ak1 ,
es decir
lm
xa
f (x) Pr f (a)(x a)
= 0.
kx akr
A Pr f (a)(xa), es decir al polinomio de Taylor de orden r en a expresado en

potencias de (xi ai ) se le suele denominar el desarrollo de Taylor de orden
de f en a. La conclusin del teorema anterior suele expresarse diciendo que
el desarrollo de Taylor de f en a aproxima a f hasta el orden r, o tambin
que f y su desarrollo de Taylor son tangentes de orden r o tienen un punto
de tangencia de orden r en a.
1.3.
Unicidad del polinomio de Taylor

o
Lema 3.7 (Unicidad) Sea f : A Rn F y a A, entonces para cada

nmero natural r 1 existe a lo sumo un polinomio Q de grado r tal que
f (a + h) Q(h)
= 0.
h0
khkr
lm
Demostracin. Supongamos que existen dos polinomios de grado r tales

f (h) Q1 (h)
=0
x0
khkr
f (h) Q2 (h)
lm
=0
h0
khkr
lm
y probemos que ambos polinomios coinciden.

Si llamamos S(h) = Q1 (h) Q2 (h), nuestra hiptesis implica que
()
S(h)
= 0.
h0 khkr
lm
Se trata de ver, por tanto, que el nico polinomio de grado r que tiene la
propiedad anterior es el idnticamente nulo, o sea que S(h) = 0 para todo
h Rn .
66
Teoremas de Taylor
3.8
Escribamos S = S0 + S1 + + Sr , donde Sk es la parte homognea del

polinomio S formada por los trminos de grado k, es decir
X
Sk (h1 , . . . , hn ) =
ci1 i2 ..in hi11 hi22 . . . hinn .
i1 +i2 +...+in =k
Fijemos h = (h1 , . . . , hn ) 6= (0, . . . , 0) y veamos que S(h) = 0. De la expresin dada anteriormente para Sk , se deduce que si t R entonces
Sk (th) = Sk (th1 , . . . , thn ) = tk Sk (h1 , . . . , hn ) = tk Sk (h).
De la condicin () se sigue entonces que
0 = lm
t0+
S(th)
S0 + tS1 (h) + + tr Sr (h)
S0
=
l
m
=
S0 = 0.
r
r
r
r
+
t khk
t khk
0
t0
En consecuencia
0 = lm
t0+
tS1 (h) + + tr Sr (h)

S1 (h) + + tr1 Sr (h)
= lm
r
r
t khk
tr1 khkr
t0+
S1 (h)
S1 (h) = 0.
=
0
De este modo se deduce pues S0 = 0; S1 (h) = 0; . . . Sr1 (h) = 0 y que

0 = lm
t0+
tSr (h)
Sr (h)
=
tkhkr
khkr
que obviamente implica que tambin Sr (h) = 0.

Como consecuencia del teorema local de Taylor y el lema de unicidad se
obtiene el siguiente corolario:
Corolario 3.8 Sea f : A Rn Rp una funcin de clase C r en un punto
o
a A y supongamos que Q es un polinomio tal que
lm
h0
f (a + h) Q(h)
= 0.
khkr
Entonces Pr f (a)(x) = [Q(x)]r , donde [Q(x)]r es el polinomio formado

con los trminos de grado r del polinomio Q.
3.9
Teoremas de Taylor
67
Demostracin. Si R(h) = Q(h) [Q(h)]r , entonces es obvio que todos los

trminos de R son de grado > r. Puesto que podemos elegir la norma que
queramos, podemos suponer que para cada h = (h1 , . . . , hn ) Rn se tiene
que |hi | khk. Entonces si denotamos por M al mximo de las normas de
los coeficientes de R y por s al nmero de trminos de R, es claro que en
algn entorno de 0, kR(h)k sM khkr+1 . Luego

R(h)

khkr sM khk 0
cuando h 0.
Se deduce pues que

lm
h0
f (a + h) [Q(h)]r
(f (a + h) Q(h)) + R(h)
= lm
= 0.
h0
khkr
khkr
Puesto que nico polinomio de grado r que aproxima a f hasta el orden

r en un entorno de a es Pr f (a)x, de lo anterior se deduce que Pr f (a)x =
[Q(x)]r .
Ejemplo 3.9 (Una funcin que se aproxima hasta el orden r en un
entorno de a por un polinomio y no es de clase C r en a)
Sea la funcin
f (x) = x3 sen
1
;
x
f (0) = 0.
El polinomio 0 aproxima hasta el orden 2 a la funcin f en un entorno de

0, pues
f (x)
1
lm 2 = lm x sen = 0.
x0 x
x0
x
En cambio, f no es de clase C 2 en 0, ya que ni siquiera es 2-veces derivable
en 0.
Por contra para r = 1 se tiene:
Ejercicio. Probar que una funcin f continua en un punto a es diferenciable
en a si y slo si existe un polinomio de grado 1 tal que
f (x) Q(x a)
= 0.
xa
kx ak
lm
68
2.
Teoremas de Taylor
3.11
ANEXO: El lgebra de los desarrollos de Taylor

o
Sea f : A Rn F una funcin continua en a A y Q un polinomio.

r
Emplearemos la notacin f Q en a para expresar que
lm
xa
f (x) Q(x a)
= 0.
kx akr
o
3.10 Sean f, g : A Rn F continuas en a A, tales que f Q y g P

en a, entonces:
r
1. f + g Q + P en a, , R.
r
2. (Para F = R), f g QP en a.
Demostracin. 1. La demostracin se deduce trivialmente de la definicin.
2. Escribiendo f (x)g(x) Q(x a)P (x a) = (f (x) Q(x a))g(x) +
(g(x) P (x a))Q(x a), de la hiptesis se deduce que
lm
xa
f (x)g(x) Q(x a)P (x a)

= 0 g(a) + 0 f (a) = 0,
kx akr
3.11 Sean f : A Rn Rp y g : B Rp R funciones continuas en

o
o
r
a A y f (a) B, respectivamente. Si Q y P son polinomios tales que f Q
r
r
en a y g P en f (a), entonces g f P (Q f (a)) en a.
Demostracin. Sea > 0. Como f es diferenciable en a, existe 1 > 0 y
> 0 tal que kf (x) f (a)k kx ak. Por hiptesis existe > 0 tal que
si ky f (a)k < entonces
kg(y) P (y f (a))k r ky f (a)kr .
Entonces tomando kxak 2 = mn(1 , ) (lo que implica kf (x)f (a)k

kx ak ), se tiene que
kg(f (x))P (f (x)f (a))k r kf (x)f (a)kr r r kxakr = kxakr .
Se deduce pues que cuando kx ak < 2 ,

kg(f (x)) P (Q(x a) f (a))k kg(f (x)) P (f (x)) f (a))k
+kP (f (x) f (a)) P (Q(x a) f (a))k
kx akr + kP (f (x) f (a)) P (Q(x a) f (a))k.
3.12
Teoremas de Taylor
69
Por ltimo, sea > 0 mayor que kf (x) f (a)k y kQ(x a) f (a)k cuando
kxak 2 (observemos que cuando kxak 2 , entonces kf (x)f (a)k
2 y kQ(x a) f (a)k est acotado, pues Q es continua en el compacto
B[0, 2 ]). Puesto que P es de clase C 1 , sus derivadas parciales estn acotadas
en B[0, ], luego P es lipschitziana en B(0, ), y por tanto existe M > 0
tal si kx ak 2 entonces kP (f (x) f (a)) P (Q(x a) f (a))k
r
M kf (x) Q(x a)k. Como f Q podemos encontrar 3 > 0 tal que si
kx ak < 3 entonces kf (x) Q(x a)k /M kx akr , y en consecuencia
kP (f (x) f (a)) P (Q(x a) f (a))k kx akr .
o
Teorema 3.12 (i) Sean f, g : A Rn Rp de clase C r en un punto a A.

Entonces
1. f + g es de clase C r en a y
Pr (f + g)(a)(x a) = Pr f (a)(x a) + Pr g(a)(x a)
2. (Para p=1), la funcin f.g es de clase C r en a y
Pr (f g)(a)(x a) = [Pr f (a)(x a) Pr g(a)(x a)]r
(ii) Si f : A Rn Rp y g : B Rp R son funciones de clase C r en
o
los puntos a A y f (a) B, entonces g f es de clase C r en a y se tiene

que
Pr (g f )(a)(x a) = [Pr g(f (a))(Pr f (a)(x a) f (a))]r
Demostracin. Que la suma, producto y composicin son funciones de clase
C r era el objetivo del ejercicio propuesto al principio del captulo. Por otra
parte ya sabemos que si una funcin es de clase C r en un punto c, entonces
r
Pr (c) es el nico polinomio de grado r con la propiedad Pr en c
(ver Corolario 3.8). En (i) el polinomio de grado r Pr f (a)(x a) +
Pr g(a)(x a) tiene esta propiedad, luego segn lo anterior este polinomio
debe ser el desarrollo de Taylor de orden r de f + g. En cuanto a f g
r
tambin sabemos que f g Pr f Pr g en a lo que implica, segn el corolario
r
3.8, que f g [Pr f Pr g]r . De nuevo, se tiene que el polinomio de grado r,
[Pr f Pr g]r debe ser precisamente Pr (f g)(a).
La demostracin para la composicin (apartado (ii)) es idntica a la del
producto (ejercicio).
70
Teoremas de Taylor
3.12
Ejercicio. (a) Sea g(t) = (1 t)1 . Probar que Pr g(0)t = 1 + t + + tr .

(b) Sea
h(x, y) =
1
.
cos x sen y
Utilizar el teorema 3.12(ii) y el apartado anterior para calcular el desarrollo de Taylor de orden 4 de h en el punto (0, ).
Sugerencia: Si se escribe
h(x, y) =
1
1 (1 (cos x sen y))
y llamamos f (x, y) = 1 (cos x sen y) entonces h = g f .
Ejercicios
3A Obtener el coeficiente del trmino en x4 yz 2 del desarrollo de Taylor en el origen
de una funcin de las variables x, y, z.
3B Si en el desarrollo de Taylor en el origen de una funcin de las variables x, y, z
el nico trmino de grado 7 es 3x4 yz 2 , cules son las derivadas parciales de orden
7 de esta funcin en (0, 0, 0)?
3C Supuesta conocida la funcin f y sus derivadas, obtener el polinomio de Taylor
de orden 2 de la funcin g(x, y, z) = f (xy, xz) en un entorno del punto (0, 0, 0).
3D Obtener el polinomio de Taylor de orden 3 de la funciones
f (x, y) =
cos x
;
cos y
g(x, y) = cos xy
en un entorno de (0,0)
3E Sea f (x, y) = 3x2 y 2 + x4 + y 4 + sen3 xy. Demostrar que el polinomio de Taylor
de orden 5 para la funcin f en (0,0) es igual a 3x2 y 2 + x4 + y 4 .
3F Supongamos que f es una funcin de clase C 6 , tal que
f (x, y, z) (2x yz 2 + x2 yz + z 3 x2 )
= 0.
(x2 + y 2 + z 2 )3
(x,y,z)(0,0,0)
lm
(a) Obtener P6 f (0, 0, 0)(x, y, z), P5 f (0, 0, 0)(x, y, z) y P3 f (0, 0, 0)(x, y, z)

(b) Calcular las derivadas parciales de f en (0, 0, 0) hasta el orden 6.
3K
Teoremas de Taylor
71
3G Demostrar, sin tener que hacer el clculo, que todas las derivadas parciales de
orden 8 de la funcin f (x, y) = sen(x9 + y 9 ) son nulas en (0,0). Probar asimismo
que igual sucede con las de orden 5 para la funcin g(x, y, z) = cos xyz.
3H Estudiar la existencia de los lmites siguientes haciendo el desarrollo de Taylor
que convenga y aplicando despus el teorema de Taylor que proceda.
1.
3.
5.
7.
9.
xy sen x sen y
x2 + y 2
(x,y)(0,0)
xy sen x sen y
p
lm
(x,y)(0,0)
x6 + y 6
p
2xy 1 + cos 2(x + y)
lm
x2 + y 2
(x,y)(0,0)
y
xe yex x + y
lm
x2 + y 2
(x,y)(0,0)
y
xe yex
lm
(x,y)(0,0) x2 + y 2
lm
xy sen x sen y
(x,y)(0,0) (x2 + y 2 )3/2
sen x + cos y cos x x + y 2
4.
lm
x2 + y 2
(x,y)(0,0)
2.
lm
sen2 x + sen2 y
x2 + y 2
(x,y)(0,0)
y
xe yex x + y + x3
8.
lm
x2 + y 2
(x,y)(0,0)
y
xe yex x + y
10.
lm
x2 + y 2
(x,y)(0,0)
6.
lm
3I En cada uno de los ejemplos estudiar la existencia del lmite en (0,0).

1. h(x, y) =
3. h(x, y) =
5. h(x, y) =
7. h(x, y) =
9. h(x, y) =
(x y)3
.
(x y)2 + x4
x5 + y 3 x2 x3 y 2 + y 4 x
x4 + y 4 x2 y 2 + y 6
x4 + y 2 x2 + y 4 x + y 6
x4 + x2 y 2 + y 6
4
x + y 2 x2 + (x + y)6
x4 + x2 y 2 + y 6
x sen y y sen x
(sen2 x + sen2 y)2
x5 + y 3 x x2 y 2 + y 4 x
x4 + y 4 x2 y 2 + y 6
x5 + y 3 x2 x3 y 2 + y 4 x
4. h(x, y) =
x4 + x2 y 2 + y 6
x5 + y 4 x + y 7
6. h(x, y) = 4
x + x2 y 2 + y 6
x sen y y sen x
8. h(x, y) =
sen2 x + sen2 y
xy sen x sen y
10. h(x, y) =
x4 + y 4
2. h(x, y) =
3J Sea P un polinomio homogneo de n variables y grado k 1 y f : R R una

funcin derivable hasta el orden que necesitemos. Consideremos la funcin g = f P .
(a) Probar que para cada 0 j < k se verifica que
Pkr+j g(0)x = Pr f (0)(P (x))
(b) Aplicar (a) para calcular el polinomio de Taylor de orden 7 en (0,0) de la
funcin f (x, y) = cos(x2 xy).
3K (a) Sea f : R R una funcin n-veces diferenciable en 0. Probar que si
1 k < n, la funcin
g(t) =
f (t) Pn f (0)t
;
tnk
g(0) = 0
72
Teoremas de Taylor
3K
es k-veces diferenciable en 0.
Indicacin: Razonar por induccin sobre k.
(b) Deducir de (a) que si f es n-veces diferenciable en 0 (n 2), entonces la
funcin
f (t) f (0)
h(t) =
; h(0) = f 0 (0)
t
es (n 1)-veces diferenciable en 0, siendo
Pn1 g(0)t = f 0 (0) + 1/2!f 00 (0)t + . . . + 1/n!f (n) (0)tn1
(c) Utilizar lo anterior para demostrar que las funciones
sen x sen y si x 6= y
xy
g1 (x, y) =
cos x
si x = y
1 1 + xy si xy 6= 0
g2 (x, y) =
xy
0
si xy = 0
son de clase C (g2 en algn entorno de (0,0)). Obtener el polinomio de
Taylor de orden 4 en (0,0) de ambas funciones.
Captulo 4
Funciones Implcitas
El teorema de las funciones implcitas constituye, junto con el de la funcin inversa, la herramienta terica bsica para el estudio de las variedades
diferenciables (curvas, superficies,...). Nosotros lo obtendremos como corolario del teorema de Banach de la aplicacin contractiva.
1.
Teorema de punto fijo
Lema 4.1 Sea B[b, r] una bola cerrada de Rp y k una aplicacin de la bola
B[b, r] en s misma. Si k es una aplicacin contractiva i.e., lipschitziana con
constante de Lipschitz 0 < c < 1, entonces existe un nico punto v B[b, r]
tal k(v) = v (un punto fijo).
Demostracin. (Existencia) Supongamos k(b) 6= b y consideremos la sucesin
b, k(b), k(k(b)), . . .
Observemos que para que k tenga un punto fijo basta que esta sucesin sea
de Cauchy. En efecto, en ese caso la sucesin sera convergente a un punto
v de la bola B[b, r] pues cada trmino de la sucesin est en B[b, r] y los
conjuntos cerrados contienen a los lmites de sus sucesiones convergentes.
Pero al ser k continua, la imagen por k de esta sucesin convergera a k(v)
i.e.,
b, k(b), k(k(b)), . . . v k(b), k(k(b)), . . . k(v).
Pero es obvio que esta ltima sucesin (la sucesin imagen) es una subsucesin de la anterior y por tanto tambin ha de converger a v. Por la unicidad
del lmite resultara entonces que k(v) = v.
73
74
Funciones Implcitas
4.1
Denotemos por v1 = b, v2 = k(b), . . . , vj+1 = k(vj ), . . . y veamos que la

sucesin {vj } es de Cauchy: Si q > m entonces
kvq vm k kvq vq+1 k + kvq+1 vq+2 k + + kvm1 vm k
= kk(vq1 ) k(vq )k + kk(vq k(vq+1 )k + + kk(vm2 ) k(vm1 )k
c(kvq1 vq k + kvq vq+1 k + + kvm2 vm1 k)

cq (1 + c + + cmq1 )kb k(b)k
1
cq
kb k(b)k 0 cuando q .
1c
(Unicidad.) Si v1 y v2 fueran puntos fijos de k, entonces
kv1 v2 k = kk(v1 ) k(v2 )k ckv1 v2 k v1 = v2 .
2.
El problema de las funciones implcitas
Antes de enunciar el teorema de existencia de Funciones Implcitas, haremos algunas consideraciones sobre el tipo de problemas que vamos a tratar:
Si X, Y son espacios normados y M un subconjunto no vaco de X Y ,
un punto (a, b) M se dice que es punto regular de M si existe algn
entorno W de (a, b) tal que el trozo de M contenido en W es exactamente
bien
la grfica de una funcin de x, es decir satisface la condicin
(x, y1 ) M W, (x, y2 ) M W y1 = y2 .
equivalentemente existe A X y una funcin h : A X Y tal que
M W = {(x, h(x)) : x A},
o bien,
la grfica de una funcin de y, es decir satisface la condicin
(x1 , y) M W, (x2 , y) M W x1 = x2 .
equivalentemente existe B Y y una funcin g : B Y X tal que
M W = {(y, g(y)) : y B}.
4.1
Funciones Implcitas
75
Ejercicio. Sean X, Y espacios normados, M X Y y (a, b) M . Probar

que las condiciones siguientes son equivalentes:
1. Existe algn entorno W de (a, b) tal M W es la grfica de una funcin
y = h(x) definida en algn entorno U de a y continua en a.
2. Existen B(a, s), B(b, r) tales que M (B(a, s) B(b, r)) es la grfica
de un funcin y = h(x) definida en B(a, s) y continua en a.
3. Existen B(a, s), B(b, r) tales que para cada x B(a, s) existe un nico
punto y = h(x) B(b, r) tal que (x, h(x)) M y h continua en a.
4. Existe B(a, s) y una nica funcin h : B(a, s) Y continua en a y
h(a) = b tal que (x, h(x)) M .
El teorema de las funciones implcitas constituye la principal herramienta
para detectar en los casos interesantes si un punto es regular. El punto de
partida en este este teorema ser el subconjunto M de los puntos (x, y)
Rn Rp que satisfacen alguna ecuacin del tipo f (x, y) = 0, donde f : A
Rn Rp Rp . Por tanto M es el lugar geomtrico de los puntos de Rn Rp
que satisfacen el sistema de p ecuaciones:
f1 (x1 , . . . , xn , y1 , . . . , yp ) = 0
f2 (x1 , . . . , xn , y1 , . . . , yp ) = 0
fp (x1 , . . . , xn , y1 , . . . , yp ) = 0
El objetivo del teorema no es pues resolver la ecuacin f (x, y) = 0, que puede

ser un problema bien difcil e incluso insoluble de forma exacta, sino el de
establecer condiciones (suficientes) sobre f para, dado un punto (a, b) M ,
exista algn entorno W de (a, b) tal que M W sea la grfica de una funcin
de x y, por lo tanto, que (a, b) sea regular.
Observemos en primer lugar que muchas curvas y superficies conocidas
se expresan como un lugar geomtrico de este tipo: la circunferencia de
centro (0,0) y radio r es el lugar geomtrico de los puntos del plano que son
solucin de la ecuacin x2 + y 2 = r2 , anlogamente el conjunto de puntos
de R3 que satisfacen la ecuacin x2 + y 2 z 2 = r2 es una superficie esfrica
y los que satisfacen el sistema x2 + y 2 z 2 = r2 ; x + y + z = 0 es una
curva, concretamente una circunferencia. Pero tambin una ecuacin del
tipo f (x, y) = 0 puede originar lugares geomtricos ms complejos.
76
Funciones Implcitas
4.3
Ejercicio. Dibujar los conjuntos M1 y M2 de puntos de R2 que son, respectivamente, solucin de la ecuacin sen(x2 + y 2 ) = 0 y de la ecuacin
sen xy = 0.
Slo nos limitaremos a obtener herramientas para saber si al despejar
y vamos a tener una sola posibilidad de hacerlo, es decir si slo vamos a
encontrar una funcin y = h(x) tal que f (x, h(x)) = 0 o varias posibilidades,
es decir varias funciones y = hi (x) tales que f (x, hi (x)) = 0.
Ejemplo 4.2 Sea M el conjunto de puntos de R2 que satisfacen la ecuacin
(y 1)(x y 2 ) = 0. Vamos a analizar M en un entorno de cada uno de estos
tres puntos de M : (4, 2), (1, 1), (0, 0). Consideremos el punto (4, 2) y el
entorno de este punto (3, 5) (3, 1). Es obvio que la interseccin de este
entorno y M es justamente la grfica de una funcin de x, la funcin h
definida en (3, 5) (entorno del punto 4) por h(x) = x. Luego el punto

(4, 2) es un punto regular de M . Sin embargo el punto (1, 1) no es regular,
pues la interseccin de M con un entorno del punto (1,1) no es la grfica de
una nica funcin de x, en cualquier entorno de (1,1) la ecuacin permite
despejar y de ms de una forma pues para cada x los puntos (x, 1) y (x, + x)
son puntos solucin. Tampoco M es la grfica de una funcin de x en ningn
entorno del punto (0, 0), sin embargo es claro que en este caso M s que es
la grfica de una funcin de una funcin de y definida en un entorno de 0.
Luego (0, 0) es un punto regular.
2.1.
Existencia de funciones implcitas

o
Teorema 4.3 Sea f : A Rn Rp Rp y (a, b) un punto de A tal que

f (a, b) = 0. Supongamos que
(i) f es continua en (a, b).
(ii) Las derivadas parciales fi /yj existen en algn entorno del punto
(a, b) y son continuas en (a, b).
!
fi
(iii) det
(a, b)
yj
6= 0.
En estas condiciones, existen dos bolas abiertas U = B(a, s) y V = B(b, r)

tales que si M es el lugar geomtrico de los puntos que son solucin de la
ecuacin f (x, y) = 0, entonces M (U V ) es la grfica de una nica funcin
h definida en U i.e., para cada x U existe un nico punto y = h(x) V
verificando la ecuacin f (x, y) = 0. Adems la funcin h es continua en a.
4.3
Funciones Implcitas
77
Demostracin. 1 [?] Para concretar utilizaremos la norma k k es decir, a

lo largo de la demostracin, k k k k . Es un ejercicio fcil comprobar que
la conclusin es independiente de la norma. Vamos a ponernos en situacin
de aplicar el lema 4.1. Definamos para ello
k(x, y) = y D2 f (a, b)1 f (x, y) ,
donde con D2 f (a, b) denotamos a la aplicacin lineal de Rp en Rp cuya

matriz asociada es la matriz de las derivadas parciales de f = (f1 , f2 , . . . , fp )
respecto a las coordenadas yj en el punto (a, b), o sea

D2 f (a, b)
fi
(a, b)
yj

i,j
Observemos que k est bien definida, ya que la hiptesis (iii) garantiza la

existencia de la inversa de la aplicacin lineal D2 f (a, b). Adems es inmediato comprobar que
f (x, y) = 0 k(x, y) = y.
Luego, en particular, k(a, b) = b.
Nos va a interesar escribir
k(x, y) = D2 f (a, b)1 D2 f (a, b)(y) f (x, y)
Lo que significa que si llamamos

g(x, y) = D2 f (a, b)(y) f (x, y) =
X f
yj
(a, b)yj f (x, y),
entonces k = D2 f (a, b)1 g. Es claro que, de la continuidad de f en (a, b) y

del hecho de que (en dimensin finita) toda aplicacin lineal es lipschitziana
(ver demostracin de Proposicin 2.8 ), se deduce que k tambin es continua
en (a, b). Por otra parte, si se tiene en cuenta que
f
f
g
(x, y) =
(a, b)
(x, y),
yj
yj
yj
fi
de la continuidad en el punto (a, b) de y
se deduce que dado > 0 existe
j
r > 0 tal que si kx ak r y ky bk r entonces k(gi )/yj )(x, y)k .
1
La demostracin est sugerida por el mtodo de Newton de obtencin numrica de

races en una ecuacin
78
Funciones Implcitas
4.3
Resulta pues que para cada x fijo con kx ak r, la aplicacin gx : y

g(x, y) tiene sus derivadas parciales acotadas en la bola B[b, r]. Aplicando el
teorema del valor medio a gx , se tiene entonces que si kx ak r entonces
para todos u, v en B[b, r]
kg(x, u) g(x, v)k ku vk1 pku vk .
Si es una constante de Lipschitz para la aplicacin lineal D2 f (a, b)1 , de
lo anterior se deriva que para cada x tal que kx ak r, se tiene
kk(x, u) k(x, v)k kg(x, u) g(x, v)k pku vk .
Tomando tal que c = p < 1, la desigualdad anterior nos dice que para
cada x B[a, r] la aplicacin kx es contractiva en B[b, r]. Para poder aplicar
el teorema del punto fijo a kx slo necesitaramos que kx aplique la B[b, r] en
s misma. Esto ser posible, pero habr que tomar x en una bola centrada
en a y radio (quizs) ms pequeo que r. En efecto, de la continuidad de k
en (a, b) se deriva que existe un nmero real 0 < s < r tal que
kx ak s = kk(x, b) k(a, b)k < (estricto)r(1 c).
Entonces, si kx ak s e y B[b, r]
kk(x, y) bk = kk(x, y) k(a, b)k kk(x, y) k(x, b)k + kk(x, b) k(a, b)k
< cky bk + r(1 c) r.
Obsrvese que lo anterior prueba que kx aplica la bola cerrada B[b, r] en la
bola abierta B(b, r).
En consecuencia, del teorema del punto fijo se deduce que para cada x
B(a, s) la aplicacin kx : B[b, r] B[b, r] tiene un nico punto fijo y = h(x),
es decir para cada x B(a, s) existe un nico punto y = h(x) B(b, r) tal
que k(x, y) = y f (x, y) = 0.
Slo queda probar la continuidad de la aplicacin h en a: Utilizando de
nuevo la continuidad de k en (a, b), dado > 0 existe > 0 tal que si
kx ak < entonces,
kh(x) h(a)k = kk(x, h(x)) k(a, h(a))k
kk(x, h(x)) k(x, h(a))k + kk(x, h(a)) k(a, h(a))k
ckh(x) h(a)k + (1 c)
(1 c)kh(x) h(a)k (1 c) kh(x) h(a)k
4.3
Funciones Implcitas
79
Demostracin para n = 1, p = 1.
De acuerdo con las hiptesis, suponemos pues que
f
y
es una aplicacin
f
y (a, b)
continua en (a, b) y que

6= 0. La demostracin est sugerida por el
mtodo de Newton de obtencin numrica de races en una ecuacin. Vamos
a ponernos en situacin de aplicar el Teorema de Punto Fijo. Definamos
para ello
1
k(x, y) = y
f (x, y).
f /y(a, b)
Es inmediato comprobar que
f (x, y) = 0 k(x, y) = y.
Luego, en particular, k(a, b) = b. Por tanto lo que se tiene que probar es
que existen entornos U y V de a y b respectivamente tales que para cada
x U existe un nico y = h(x) V tal que k(x, h(x)) = h(x). O lo que es
lo mismo que si x U la aplicacin de la variable y, kx (y) = k(x, y), tiene
un nico punto fijo y = h(x) en V .
Pues vamos a ello, intentando aplicar a kx el teorema del punto fijo:
1. kx es contractiva? Segn el teorema del valor medio as ser si
|kx0 (y)| c, con 0 < c < 1.
kx0 (y) =
k
1
f
(x, y) = 1
(x, y).
y
f /y(a, b) y
f
En particular k
y (a, b) = 0 y la continuidad en (a, b) de y implica tambin
la continuidad en (a, b) de k
y . Por tanto, tomando 0 < c < 1 existe r > 0
tal que cuando |x a| r, |y b| r se tiene que
|kx0 (y)| =
(x, y)

k
(a, b) c,
y
Luego si x [a r, a + r], la aplicacin kx es lipschitziana de constante c

(contractiva) en el intervalo cerrado [b r, b + r], i.e.
|kx (y1 ) kx (y2 )| = |k(x, y1 ) k(x, y2 )| c|y1 y2 |, y1 , y2 [b r, b + r].
2. Para poder aplicar el teorema del punto fijo a kx slo necesitaramos
que kx aplique el intervalo [b r, b + r] en s mismo. Esto ser posible,
pero habr que tomar x en un intervalo centrado en a y radio (quizs) ms
80
Funciones Implcitas
4.4
pequeo que r. En efecto, de la continuidad de k en (a, b) se deriva que existe

un nmero real 0 < s < r tal que
|x a| s = |k(x, b) k(a, b)| < r(1 c).
Entonces, si |x a| s e |y b| r
|kx (y) b| = |k(x, y) k(a, b)| |k(x, y) k(x, b)| + |k(x, b) k(a, b)|
< c|y b| + r(1 c) r.
Obsrvese que lo anterior prueba que kx aplica el intervalo cerrada [br, b+r]
en en intervalo abierto (b r, b + r).
En consecuencia, del teorema del punto fijo se deduce que para cada
x (a s, a + s) la aplicacin kx : [b r, b + r] [b r, b + r] tiene un
nico punto fijo y = h(x), es decir para cada x (a s, a + s)(= U ) existe
un nico punto y = h(x) (b r, b + r)(= V ) tal que k(x, h(x)) = h(x)
f (x, h(x)) = 0.
Slo queda probar la continuidad de la aplicacin h en a: Utilizando de
nuevo la continuidad de k en (a, b), dado > 0 existe > 0 tal que si
|x a| < entonces,
|h(x) h(a)| = |k(x, h(x)) k(a, h(a))|
|k(x, h(x)) k(x, h(a))| + |k(x, h(a)) k(a, h(a))|
c|h(x) h(a)| + (1 c)
(1 c)|h(x) h(a)| (1 c) |h(x) h(a)|

La conclusin del teorema anterior suele expresarse tambin de alguna
de las formas equivalentes siguientes:
En B(a, s) B(b, r) la ecuacin f (x, y) = 0 permite despejar a y como
una (nica) funcin y = h(x) definida en B(a, s) y continua en a.
En B(a, s) B(b, r) la ecuacin f (x, y) = 0 define implcitamente una
nica funcin y = h(x) continua en a.
2.2.
Funciones implcitas: derivacin
El teorema de existencia de funciones implcitas y sobre todo su corolario,

muestra cmo las condiciones de continuidad de la aplicacin f las hereda
ntegramente la funcin h definida implcitamente a partir de la ecuacin
f (x, y) = 0. Vamos a ver ahora que igual sucede con la diferenciabilidad.
4.4
Funciones Implcitas
81
Lema 4.4 (Lema fundamental) Sea f : A Rn Rp Rp y (a, b) un

o
punto de A tal que f (a, b) = 0. Supongamos que h es una funcin continua

en a tal que h(a) = b y que verifica f (x, h(x)) = 0 para cada x de alguna
bola centrada en a. Entonces, si
(i) f es diferenciable en (a, b), y
(ii) det
fi
(a, b)
yj
6= 0,
la aplicacin h es tambin diferenciable en a y su diferencial en a se calcula

mediante la frmula:
Dh(a) = D2 f (a, b)1 D1 f (a, b).
Demostracin. Vamos a probar en primer lugar que, supuesta h diferenciable

en a, su diferencial en a es la de la frmula.
Por hiptesis existe una bola U = B(a, s) tal que f (x, h(x)) = 0 para
cada x U , es decir
fi (x1 , . . . , xn , h1 (x1 , . . . , xn ), . . . , hp (x1 , . . . , xn )) = 0, i = 1, 2, . . . , p
con otras palabras, para cada i, la composicin de las aplicaciones
i
(x1 , . . . , xn )
(x1 , . . . , xn , h1 (x1 , . . . , xn ), . . . , hp (x1 , . . . , xn ))
es la aplicacin idnticamente nula sobre U . Aplicando entonces la regla de

la cadena, se tiene que
p
0=
X fi
(fi )
fi
hk
(a, b) =
(a, b) +
(a, b)
(a),
xj
xj
yk
xj
k=1
que matricialmente se puede expresar mediante la igualdad:

D1 f (a, b) + D2 f (a, b) Dh(a) = 0 D2 f (a, b)1 D1 f (a, b) + Dh(a) = 0.
Probemos que h es diferenciable en a:
Hemos de ver que
h(a + u) h(a) + (D2 f (a, b)1 D1 f (a, b))u
= 0.
u0
kuk
lm
82
Funciones Implcitas
4.5
Como hiptesis tenemos que f es diferenciable en el punto (a, b), luego

f (a + u, b + v) f (a, b) D1 f (a, b)u D2 f (a, b)v
= 0.
kuk + kvk
(u,v)(0,0)
lm
Consideremos en la expresin anterior v = h(a + u) h(a). Teniendo en

cuenta que h es continua en a, es decir (h(a + u) h(a)) 0 cuando u 0)
y que f (x, h(x)) = 0, se deduce que
lm
u0
D2 f (a, b)(h(a + u) h(a)) + D1 f (a, b)u

= 0,
kuk + kh(a + u) h(a)k
o equivalentemente (componiendo con D2 f (a, b)1 ) que

h(a + u) h(a) + (D2 f (a, b)1 D1 f (a, b))u
= 0.
u0
kuk + kvk
lm
Observamos entonces que la diferencia entre las expresiones que dan la

diferenciabilidad de f en (a, b) y la diferenciabilidad de h en a est nicamente en el denominador de las mismas. Si escribimos
h(a + u) h(a) + (D2 f (a, b)1 D1 f (a, b))u
=
kuk
h(a + u) h(a) + (D2 f (a, b)1 D1 f (a, b))u kuk + kvk
,
kuk + kvk
kuk
donde v = h(a + u) h(a), bastar probar para terminar que cuando u 0,
la expresin
kuk + kvk
kuk
est acotada. Para ello tendremos en cuenta que D2 f (a, b)1 D1 f (a, b) es
lipschitziana, por ser lineal.
kvk = kh(a + u) h(a)k kh(a + u) h(a) + (D2 f (a, b)1 D1 f (a, b))uk
+ k(D2 f (a, b)1 D1 f (a, b))uk
(kuk + kvk) + kkuk,
donde es arbitrario y las desigualdades se verifican para u suficientemente
pequeo, es decir siempre que kuk < (que depende de ).
Se deduce que
(1 )kvk ( + )kuk.
Por lo que tomando por ejemplo = 1/2, se tiene ya que
kuk + kvk
kvk
=1+
1 + 2.
kuk
kuk
4.5
Funciones Implcitas
83
Teorema 4.5 (De las funciones implcitas) Si en el teorema de existencia de funciones implcitas (Teorema 4.3) se sustituye la hiptesis f
continua en (a, b)"por una de las siguientes:
f es continua en algn entorno de (a, b)
f es diferenciable en (a, b),
f es de clase C r en algn entorno de (a, b),
entonces, si h es la aplicacin definida implcitamente por la ecuacin
f (x, y) = 0, se tiene que:
h es continua en algn entorno de a
h es diferenciable en a,
h es de clase C r en algn entorno de a.
Demostracin. Supongamos f continua en algn entorno de (a, b). Es obvio
que en la demostracin del teorema de existencia podemos tomar las bolas
abiertas U y V de radios s y r suficientemente pequeos para que f (y por
tanto k) sea continua en cada punto de U V . La demostracin de que
entonces h es continua en cada punto de U es idntica a la que la se dio para
probar la continuidad en a.
La diferenciabilidad de h en a cuando f es diferenciable en (a, b) es
consecuencia directa del lema de derivacin (Lema 4.4).
Supongamos f de clase C r en un abierto W que contenga al punto
(a, b). Podemos suponer tambin que en todo punto (x, y) W se tiene que det(D2 f (x, y)) 6= 0. En efecto, escribamos la aplicacin (x, y)
det(D2 f (x, y)) como composicin de las funciones del diagrama
!
(x, y)
fi
(x, y)
yj
det
i,j
fi
(x, y)
yj
.
i,j
Puesto que, por hiptesis, las derivadas parciales de f respecto a las coordenadas y son continuas en (a, b) y la aplicacin determinante es tambin continua, la funcin composicin es continua en (a, b). De la hiptesis
det( D2 f (a, b)) 6= 0 resulta entonces que para todo (x, y) en algn entorno
de (a, b), det( D2 f (x, y)) 6= 0.
Tomando ahora las bolas U y V del teorema de existencia de funciones
implcitas satisfaciendo que U V W , la funcin h est en las condiciones
del lema 4.4 en cada punto x U , pues h es continua en x segn veamos
84
Funciones Implcitas
4.5
antes, f diferenciable en (x, h(x)) y det (D2 f (x, h(x)) 6= 0. Se deduce pues
que h es diferenciable en cada x de U , siendo
Dh(x) = D2 f (x, h(x))1 D1 f (x, h(x)).
De lo anterior se deduce que en cada x de U
X
hi
1
fk
(x) =
(x, h(x)),
Aik (x, h(x))
xj
det D2 f (x, h(x))
xj
donde las funciones Aik (x, h(x)) son los elementos de la fila i de la matriz
adjunta de D2 f (x, h(x)) y por lo tanto son sumas de productos de derivadas
parciales de primer orden de la funcin f . Lo mismo cabe decir para la
funcin det D2 f (x, h(x)), de la que adems sabemos que es distinta de cero
en U . De todo ello se deduce fcilmente que las aplicaciones hi /xj son
aplicaciones continuas. Razonando por induccin y teniendo en cuenta el
ejercicio siguiente se obtendra finalmente que h es de clase C r (hacerlo!).
Ejercicios
4A Dar ejemplos de funciones de clase C , f , para las que el conjunto
M = {(x, y) : f (x, y) = 0}
sea respectivamente , finito e infinito numerable.
4B Probar que el conjunto M = {(x, y) R2 : y 2 +sen2 1/x = 0} es, en un entorno
de (0, 0), la grfica de una funcin h, pero esta funcin h no est definida en ningn
entorno de 0.
4C Consideremos las funciones f1 (x, y) = 1+cos(xy); f2 (x, y) = (x2 +y 2 )(x2 +
(y 1)2 2); f3 (x, y) = (x2 + y 2 )(xy 1) y sea Mi = {(x, y) : fi (x, y) = 0} (i =
1, 2, 3).
(a) Probar que en (0, 0) las funciones fi no satisfacen alguna de las hiptesis del
teorema de existencia de funciones implcitas.
(b) Probar que existen intervalos abiertos U, V centrados en 0 tales que M1
(U V ) es la grfica de una funcin de x definida en U y continua en 0.
(c) Probar que existen intervalos abiertos U, V centrados en 0 tales que M2
(U V ) es la grfica de una funcin de x definida en U , pero no continua
en 0.
4E
Funciones Implcitas
85
(d) Probar que no existen dos intervalos abiertos U, V centrados en 0 tales que
M3 (U V ) sea la grfica de una funcin de x definida en U .
4D Estudiar si el sistema
x2 y 2 + 2t = 2
z 2 t2 xy = 1
permite despejar dos de las
variables
como funcin de las otras dos en algn entorno
del punto (x0 , y0 , z0 , t0 ) = ( 6, 0, 3, 2) y en algn entorno del punto (0, 0, 0, 1).
4E Sean x, y, z, t cuatro variables ligadas entre s por las ecuaciones
x3 + y 3 + z 3 + t3 = 0
x2 + y 2 + z 2 + t2 = 1
86
Funciones Implcitas
4E
Comprobar que la expresin x/y puede tener ms

pde un significado,
p
p y calcular
p
todos sus posibles valores para (x0 , y0 , z0 , t0 ) = ( 3/8, 1/8, 3/8, 1/8).
Qu ocurre para (x0 , y0 , z0 , t0 ) = (1/2, 1/2, 1/2, 1/2)?
4F Considerar las funciones
f1 (x, y) = y x2 3 y;
p
f2 (x, y) = y x 3 y 3 + x.
Probar que las dos son diferenciables en (0, 0), sus derivadas respecto a y en (0,0)
son distintas de 0, pero no son continuas en (0,0). Comprobar que f1 (x, h(x)) = 0
para ms de una funcin h diferenciable en 0. En cambio slo existe una funcin h
verificando f2 (x, h(x)) = 0.
Captulo 5
Subvariedades Diferenciables
de Rk
Vamos a completar lo visto en los captulos anteriores sobre el teorema
de las Funciones Implcitas y Funciones Inversas con un tema de iniciacin
al estudio de las Variedades Diferenciables.
1.
Variedades
Definicin 5.1 (Definicin explcita) Sea M un subconjunto no vaco

de Rk . Se dir que M es una variedad diferenciable de dimensin 1 n < k
y clase C r si para cada c M existe algn entorno W de c tal que M W es
la grfica de alguna funcin h definida en algn abierto U de Rn y de clase
C r sobre U .
La primera observacin que es necesario hacer es que la funcin h, debido al
carcter local de la misma, puede cambiar de un punto a otro, y asimismo las
n coordenadas de las que depende. Por tanto si M es variedad, de acuerdo
con la definicin, para el punto c M existe un W V (c) y una distribucin
de las k coordenadas de los puntos z de W en dos bloques x, y de n y p = kn
coordenadas, de forma que M W = {(x, h(x)) : x U }, con U abierto de
Rn y h : U Rn Rp de clase C r . (Obviamente, el bloque de coordenadas x
no es necesariamente el de las n primeras coordenadas de los puntos z Rk ,
aunque, por comodidad, escribamos z = (x, y)).
La segunda observacin es que W puede tomarse abierto. En efecto, si
con las notaciones anteriores M W es la grfica de la funcin h C r (U ),
entonces la funcin x (x, h(x)) es continua sobre el abierto U y por tanto
87
Subvariedades Diferenciables de Rk
88
5.2
el conjunto V = {x U : (x, h(x)) W } es un abierto. Se tiene pues que

o
M W es la grfica de la restriccin de h a V Pueden ser distintos M W

o
y M W?
Teorema 5.2 (Definicin implcita) El conjunto no vaco M Rk es
una variedad diferenciable de dimensin 1 n < k y clase C r si y slo si
para cada c M existe un entorno abierto W de c y una funcin f : W
Rk Rkn de clase C r tal que
1. Rango(Df (c)) = k n.
2. M W = {z W : f (z) = 0}.
Demostracin. Supongamos que M es un variedad diferenciable de dimensin n y sea c un punto de M . Sea W entorno abierto de c tal que M W =
{(x, h(x)) : x U } para alguna funcin h de las n-variables x y de clase C r
en U . Podemos escribir entonces que
M W = {(x, y) U Rp : y h(x) = 0,
lo cual es obvio que implica:
M W = M W (U Rp ) = {(x, y) U Rp : y h(x) = 0}
= {(x, y) U Rp : y h(x) = 0} W
= {(x, y) (U Rp ) W : y h(x) = 0}.
Si f es la funcin definida en U Rp como f (x, y) = y h(x) y W1 =
W (U Rp ), entonces lo anterior nos permite escribir que
M W1 = {(x, y) W1 : f (x, y) = 0}.
Claramente W1 es un entorno abierto de c y f C r (W1 ). Adems, la matriz
jacobiana de Df (c) es la siguiente
f1
f1
x (c) x (c) 1 0 0
n
1
f2
f2
(c)
(c)
0
1
0
x1
,
x
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
fp
fp
(c)
(c) 0 0 1
x1
xn
5.3
89
que tiene un menor de orden p = k n no nulo, luego rg(Df (c)) = p.

Recprocamente, si M satisface la condicin del teorema en c M ,
denotemos por y = (y1 , . . . , yp ) a uno de los grupos de coordenadas tal
que el menor de Df (c) correspondiente a las derivaciones respecto a yj es
diferente de 0, y por x = (x1 , . . . , xn ) al grupo formado con el resto de las
coordenadas. Sin prdida de generalidad, podemos suponer que el bloque x
es el de las n primeras coordenadas. Segn esto, los puntos de M que estn
en el entorno W son los que verifican la ecuacin f (x, y) = 0. Adems, de la
hiptesis se deduce que f satisface las condiciones del teorema de existencia
de Funciones Implcitas en c = (a, b). Luego, existen entornos abiertos U y
V de a y b, respectivamente, con U V W y una funcin h de clase C r
de U en V , cuya grfica es M (U V ).
2.
Variedad tangente
En el captulo 2 se defini el concepto de vector tangente en un punto c

de un conjunto M Rk . Geomtricamente, un vector tangente a M en c no
era ms que un vector tangente a alguna curva trazada sobre M pasando por
c (ver ejercicio 2M para una definicin ms general de vector tangente). Se
vio entonces que, en el caso particular de que M sea la grfica de una funcin
h de n variables reales y diferenciable en un punto a, el conjunto Tc (M ) de
vectores tangentes a M en el punto c = (a, h(a)) es un espacio vectorial de
dimensin n, cuya expresin es Tc (M ) = {(u, Dh(a)u) : u Rn }.
Proposicin 5.3 Si M es una variedad diferenciable de Rk de dimensin
1 n < k y clase C r y c M , entonces el conjunto Tc (M ) es un subespacio
vectorial de Rk de dimensin n
Demostracin. Puesto que, localmente, M es la grfica de una funcin de
n variables y clase C r , basta tener en cuenta lo comentado en el prrafo
anterior.
A Tc (M ) se le llamar el espacio vectorial tangente a la variedad M en c
y al trasladado a c de este subespacio, i.e., c + Tc (M ) se le llamar pues la
variedad tangente a M en c. Un punto z de Rk pertenecer a la variedad
tangente a M en c si (z c) Tc (M ).
Vamos a caracterizar ahora el espacio vectorial tangente a un variedad
en un punto a partir de la definicin implcita. Suponemos, pues, que M es
una variedad de Rk determinada, en un entorno W del punto c M , como
el lugar geomtrico de los puntos de W que satisfacen la ecuacin
90
5.4
f (z1 , z2 , . . . , zk ) = 0, donde f = (f1 , f2 , . . . , fp ) es una funcin de clase C r tal

que rg(Df (c)) 6= 0. (Abreviadamente, nos referiremos a lo anterior diciendo
que M est determinada en un entorno de c por la funcin f = (f1 , . . . , fp )).
Se tiene entonces
Proposicin 5.4 Si M es la variedad determinada en un entorno del punto
c M por la funcin f = (f1 , . . . , fp ), entonces
Tc (M ) = ker Df (c) = ker Dfi (c).
Demostracin. Sea v Tc (M ). Entonces v es el vector velocidad en c de

alguna curva contenida en M y que pasa por c. Es decir (t) M y
para algn t0 , (t0 ) = c y 0 (t0 ) = v. Puesto que M est determinada
en un entorno de c por f y esta contenida en M , se deduce que, para t suficientemente prximo a t0 , f ((t)) = 0. Luego derivando en t0 ,
se obtiene que Df ((t0 )) 0 (t0 ) = 0, o sea Df (c)v = 0, que nos dice que
T
v ker Df (c) = pi=1 ker Dfi (c). Para demostrar que Tc (M ) ker Df (c)
basta tener en cuenta que ambos subespacios tienen la misma dimensin.
En efecto, como por hiptesis, el rango de la aplicacin lineal Df (c) es igual
a p, su ncleo debe ser un subespacio de dimensin igual a n = k p.
Nota. Para otras definiciones equivalentes de una variedad diferenciable ver
Manual (Anexo: distintas presentaciones de una variedad).
Ejercicios
5A Estudiar si el conjunto M de los puntos que satisfacen las ecuaciones siguientes
son variedades diferenciables y en tal caso de qu dimensin.
1.
x2 + y 2 + z 2 + xy + yz xz = 0
2.
x2 + y 2 + z 2 + xy + yz xz = 1
5B Sea M el conjunto de puntos de R3 que satisfacen el sistema

(
x2 + y 2 z = 1
x y + z2 = 1
(a) Probar que M es una variedad diferenciable.
(b) Hallar la ecuacin de la recta tangente a M en (1, 0, 0).
5C
91
5C Sea M = {(x, y, z) 6= (0, 0, 0) : x3 + y 3 + z 3 = 2(x + y + z)2 }.

(b) Determinar los posibles puntos de M en los que el plano x + y = 0 sea
tangente a M.
(c) Determinar la recta tangente a la curva interseccin de M con el plano x+y =
0 en el punto (1, 1, 2).
Captulo 6
Funciones Inversas
En este captulo estudiaremos condiciones para la derivacin de la inversa
de una funcin de varias variables y, en particular, extenderemos a estas
funciones la frmula (g 1 )0 (g(a)) = 1/g 0 (a).
Sin embargo, el principal resultado de este captulo es el teorema conocido como Teorema de la Funcin Inversa. Lo obtendremos a partir del
teorema de las funciones implcitas y, junto a ste, constituir otra importante herramienta de la Geometra Diferencial. Formalmente este teorema
consiste en una condicin suficiente para que una funcin de varias variables, g, admita localmente una funcin inversa con las mismas propiedades
de diferenciabilidad que g.
1.
Derivada de funciones inversas
En lo que sigue la frase la funcin g : A X Y admite inversa

expresar cualquiera de los enunciados (evidentemente) equivalentes:
cada elemento y g(A) tiene una nica anti-imagen en A;
para cada elemento y g(A), A g 1 (y) es un conjunto con un slo
elemento;
para cada elemento y g(A), existe un nico x A tal que g(x) = y;
g es inyectiva en A.
g 1 : g(A) X es aplicacin.
Rn
Nuestro punto de partida en esta seccin ser una funcin g : A

o
Rn inyectiva y diferenciable en un punto a A. Es bien conocido
93
94
Funciones Inversas
6.2
que, en general, su inversa no es diferenciable. Por ejemplo, la funcin de 1variable g(x) = x3 es una biyeccin de R en R diferenciable en 0 cuya inversa
g 1 (y) = 3 y no es diferenciable en 0 = g(0). El motivo de esto es que para

funciones de 1-variable una condicin necesaria para la derivabilidad de g 1
en g(a) es que g 0 (a) 6= 0. Esta condicin se mantiene para funciones de varias
variables:
Proposicin 6.1 Sea g : A Rn Rn inyectiva y diferenciable en un
o
punto a A. Si g 1 es diferenciable en g(a) entonces
Dg 1 (g(a)) = Dg(a)1 ,
y por tanto
gi
det Dg(a) = det
(a) =
6 0.
xj

Demostracin. Puesto que g 1 g = idRn (la identidad), aplicando la regla

de la cadena resulta que
Dg 1 (g(a)) Dg(a) = idRn ,
de lo que se deduce que Dg(a) es una aplicacin lineal inversible, siendo
Dg 1 (g(a)) = (Dg(a))1 , y por tanto det Dg(a) 6= 0.
Ejercicio. Comprobar que la aplicacin g : (x, y) (u, v) cuyas funciones
coordenadas son u(x, y) = x3 + xy 2 ; v(x, y) = y es una biyeccin de R2 en
R2 cuya inversa no es diferenciable en g(0, 0) = 0.
La funcin g 1 del ejercicio anterior s ser diferenciable en (u, v) =
g(x, y) para cada (x, y) en el que det Dg(x, y) 6= 0. El motivo de esto es
que esta condicin del determinante es tambin suficiente, como veremos,
cuando g es de clase C 1 , como es el caso del ejemplo.
Ejercicio. Siendo g la funcin del ejercicio anterior y g 1 : (u, v) (x, y),
observar que no resulta fcil obtener explcitamente g 1 , es decir x e y como
funciones de (u, v). Obtener, sin necesidad de conocer g 1 , Dg 1 (3, 2) es
decir
x
x
x
y
(3, 2);
(3, 2);
(3, 2);
(3, 2).
u
v
u
v
Damos a continuacin el principal resultado de esta seccin. En l se
establecen las condiciones justas para que la inversa de una funcin biyectiva
6.2
Funciones Inversas
95
y diferenciable sea tambin diferenciable. Si no se ha incluido en el captulo

dedicado a las reglas de derivacin, es porque todo el estudio sobre funciones
inversas est estrechamente ligado al de las funciones implcitas.
Teorema 6.2 Sea g : A Rn Rn una aplicacin inyectiva y diferenciable
o
en un punto a A. Entonces la aplicacin g 1 es diferenciable en el punto
b = g(a) si y slo si
o
(a) b g(A) y g 1 es continua en b.

gi
(b) det
(a)
xj
6= 0.
Demostracin. Si g 1 es diferenciable en b = g(a) entonces, como hemos

convenido siempre, el punto b debe ser interior al conjunto donde est definida la funcin g 1 , es decir a g(A). Por otra parte g 1 debe ser continua en
b, pues toda funcin diferenciable en un punto es continua en ese punto. Por
ltimo ya vimos antes que la condicin det Dg(a) 6= 0 era necesaria para la
diferenciabilidad de g 1 .
Que las condiciones anteriores tambin son suficientes resulta del lema
4.4, aplicado a las funciones f (x, y) = g(x) y; h = g 1 , cambiando en l los
papeles de las coordenadas y y las coordenadas x (verificar como ejercicio
todos los detalles).
En la prctica los problemas que el teorema anterior plantea son dos:
1. Cmo reconocer si g es inyectiva (al menos en algn entorno del punto a).
2. Supuesta g inyectiva, cmo saber si g 1 est definida en algn entorno
de g(a) y es continua en g(a). Tengamos presente que no siempre es fcil
obtener explcitamente g 1 .
Por fortuna disponemos de herramientas de fcil aplicacin (condiciones
suficientes) para resolver ambos problemas. Concretamente, en el segundo
de ellos, bastar que g, adems de ser inyectiva, sea continua en algn entorno de a para garantizar que g 1 sea continua en g(a). De hecho con esta
hiptesis adicional g 1 resultara continua en algn entorno de g(a). Esto
es consecuencia de un importante teorema de topologa, que no tiene cabida aqu. Lo que s veremos a continuacin es otro importante teorema, que
establece condiciones suficientes fcilmente verificables en la prctica, que
garantizan a la vez el carcter inyectivo de g en algn entorno de a y la
continuidad de g 1 en algn entorno de g(a).
96
Funciones Inversas
2.
6.3
Inversin local
o
Teorema 6.3 (Lema fundamental) Sea g : A Rn Rn , a A y

supongamos que
(a) g admite derivadas parciales en algn entorno del punto a, continuas
en a.
!
gi
(b) det
(a) 6= 0.
xj
Entonces existen U y V , entornos abiertos de a y b = g(a) respectivamente,
tales que la restriccin de g a U es una biyeccin de U sobre V , cuya inversa
es diferenciable en b.
Demostracin. Observemos en primer lugar que de (a) se deriva que g es una
aplicacin diferenciable en a y continua en algn entorno de a (ver Teorema
2.34). Teniendo en cuenta esto, es fcil ver que la funcin f (x, y) = g(x)
y satisface la condiciones para poder aplicar el teorema de las Funciones
Implcitas en el punto (a, b) respecto de las coordenadas x, es decir siendo
x el bloque de coordenadas a despejar. Concretamente, f (a, b) = 0, f es
una funcin derivable en (a, b) y continua en algn entorno de (a, b), admite
derivadas parciales continuas en (a, b) y
det(fi /xj )(a, b) =
gi
(a) 6= 0.
xj
Existen, por tanto, dos entornos U1 y V , de a y b respectivamente (si se

quiere, bolas abiertas), tales que
y V, (nico) x = h(y) U1 tal que y = g(x),
y la aplicacin h hereda las propiedades de f , luego es continua en V y
diferenciable en b. De acuerdo con esto, resulta pues que cada punto y de V
tiene una nica antimagen x en U1 . Esto significa que si denotamos
U = {los puntos de U1 que son antimgenes por g de los puntos de V }
= g 1 (V ) U1 ,
entonces U es abierto (para probarlo tened en cuenta que g puede suponerse
continua sobre U1 y aplicar la Proposicin 1.16) y la restriccin g|U es una
biyeccin entre U y V , cuya inversa (que no es otra que la aplicacin h es
continua en V y diferenciable en b.
6.4
Funciones Inversas
97
Nota. Observemos que si la hiptesis (a) del lema anterior la cambiamos por
la ms fuerte, g de clase C r en algn entorno de a, entonces la funcin f
hereda esa misma propiedad y en consecuencia la funcin (g|U )1 definida
implcitamente por la ecuacin f (x, y) = 0 resultar entonces de clase C r en
el entorno de g(a), g(U ).
Como consecuencia directa del lema de inversin local se tiene:
Teorema 6.4 (Teorema de la funcin inversa) Sea U un abierto de Rn
y g : U Rn Rn una aplicacin de clase C r sobre U . Se tiene entonces,
1. Las condiciones siguientes son equivalentes:
a) Para cada x U
!
gi
det Dg(x) = det
(x)
xj
6= 0.
b) Para cada x de U existe algn entorno abierto Ux U tal que g|Ux

1
de clase C r (abreviadamente una
es inyectiva, g(Ux ) abierto y g|U
x
tal g se dice que es un difeomorfismo local de clase C r sobre
U ).
2. En particular, cuando adems g sea inyectiva en U , la equivalencia
anterior establece que la aplicacin g 1 es de clase C r (en cuyo caso
se dice que g es un difeomorfismo entre los abiertos U y g(U )) si y
slo si det Dg(x) 6= 0.
Demostracin. 1. a) implica b) Slo hay que aplicar el lema de inversin y
la nota posterior en cada x U . b) implica a) Como ya sabemos (Teorema
6.2), una condicin necesaria para que la inversa g|Ux sea diferenciable en
g(x) es que det Dg(x) 6= 0.
2. Puesto que g es inyectiva en U , la equivalencia anterior nos dice que
det Dg(x) 6= 0 para cada x U si y slo si g 1 es de clase C r en el entorno
abierto de g(x), g(Ux ) g(U ), luego g(U ) abierto y las derivadas parciales
de orden r de g 1 son continuas en cada x U .
Ejercicios
6A (T. aplicacin inyectiva) Sea g : U Rn Rp una aplicacin de clase C 1
sobre el abierto U y supongamos que para todo punto x U , Dg(x) es inyectiva.
Probar entonces que g es una aplicacin localmente inyectiva.
98
Funciones Inversas
6B
6B (T. aplicacin suprayectiva) Sea g : U Rn Rp una aplicacin de clase C 1 sobre el abierto U y supongamos que para todo punto x U , Dg(x) es
suprayectiva. Probar entonces que g es una aplicacin abierta.
6C Probar que no puede existir una aplicacin de clase C 1 e inyectiva de un abierto
de R2 en R.
6D Sea g : R R2 una aplicacin de clase C 1 . Probar que si x R existe algn
entorno de x cuya imagen por g no es entorno de g(x).
6E Sea g la transformacin de coordenadas dada por las ecuaciones
u = x2 y;
v = xy
y consideremos el abierto U = {(x, y) : det Dg(x, y) 6= 0}.

(a) Estudiar si g es un difeomorfismo local o global sobre U .
(b) Es g localmente inyectiva sobre R2 ?
(c) Probar que la transformacin anterior define un cambio de coordenadas (difeomorfismo global) sobre el abierto V = {(x, y) : x2 y < 0} y utilizase en
la ecuacin funcional

f
f (x, y) + x (x, y) = xy.

y
x
6F Estudiar si la aplicacin
g(x, y, z) = (x2 y z, 2x + y + z, x + y z)
es un difeomorfismo del abierto V = {(x, y, z) : x > 1} sobre g(V ).
6G Sea g : (a, b) R R una aplicacin derivable en (a, b) con g 0 (x) 6= 0 para
todo x (a, b). Probar que g admite funcin inversa diferenciable en cada punto
del abierto g(a, b).
6H Si f es una funcin de 2 variables y clase C 2 , transformar la expresin
x2
2
2f
f
f
2 f
+
y
+x
+y
2
2
x
y
x
y
mediante el cambio x = eu ; y = ev .
6I (a) Transformar la ecuacin diferencial y 0 = f (x, y) mediante el cambio de
variables x = x(u, v); y = y(u, v).
(b) Utilizar coordenadas polares para plantear y resolver el siguiente problema:
Obtener el perfil que debe tener unas tijeras para que corten en ngulo recto.
Captulo 7
Extremos de funciones de
varias variables
En este captulo vamos a considerar la teora clsica de extremos para
funciones diferenciables de varias variables, cuyos dos tpicos habituales son
los Extremos Relativos y los Extremos Condicionados.
1.
Extremos relativos
Una aplicacin clsica del Teorema Local de Taylor es el estudio de los

extremos relativos de una funcin escalar. Aunque la analoga con el caso de
una variable es total, hay algunas diferencias que surgen de manera natural
por el paso a una dimensin superior.
Trabajaremos con funciones escalares, definidas sobre un conjunto A
k
R . Se dir que la funcin f : A Rk R presenta un mnimo (mximo)
absoluto en el punto a A si f (x) f (a) (f (x) f (a)) para todo x A.
Y se dir que f presenta extremo relativo en a, si existe un entorno V de a
contenido en A, tal que la diferencia f (x) f (a) no cambia de signo cuando
xV:
Mximo Si f (x) f (a) 0.
Mnimo Si f (x) f (a) 0.
o
Luego slo cuando a A, es decir cuando f est definida en alguna bola

centrada en a, podremos considerar la cuestin de si f presenta un extremo
relativo en a.
99
100
1.1.
Extremos de funciones de varias variables
7.2
Condiciones necesarias de extremo
Recordemos que si queremos que una funcin derivable de 1-variable

presente un mximo o un mnimo relativo en un punto a, la recta tangente a
su grfica en el punto (a, f (a)), y = f (a)+f 0 (a)(xa) debe ser paralela al eje
X, es decir f 0 (a) = 0. Aunque sabemos que esta condicin no es suficiente,
pues a puede ser un punto de inflexin. Del mismo modo si f es de 2-variables
es intuitivamente claro que una condicin necesaria para que f presente un
extremo relativo en el punto a = (x0 , y0 ) es que (supuesta f diferenciable
en a) el plano tangente a su grfica en en el punto (x0 , y0 , f (x0 , y0 )), z =
f (x0 , y0 ) + Df (a)(x x0 , y y0 ) sea paralelo al plano XY , es decir
Df (a) (
f
f
(a),
(a)) = (0, 0).
x
y
Ms generalmente cuando f es una funcin diferenciable se obtiene la siguiente condicin necesaria de extremo, totalmente anloga a la de funciones
de una variable.
Proposicin 7.1 Si f es diferenciable en a y presenta un extremo relativo
en ese punto, entonces Df (a) = 0 y por tanto
f
(a) = 0, i = 1, 2, . . . , k.
xi
Demostracin. Supongamos, para concretar, que f presenta un mnimo en

a. Sea entonces h un vector cualquiera. Entonces:
f (a + th) f (a)
Df (a)h = Dh f (a) = lm
=
t0
t
lmt0+
lmt0
f (a+th)f (a)
t
f (a+th)f (a)
t
0
.
0
7.2 Por tanto, el proceso para encontrar los posibles puntos de extremo
relativo para una funcin diferenciable comienza con el planteamiento del
sistema
Df (x) = 0
f
(x1 , , xn ) = 0, i = 1, 2, , n.
xi
Los puntos solucin de este sistema de n ecuaciones con n incgnitas se

denominan puntos crticos . Despus de la proposicin 7.1, una condicin
7.3
101
necesaria para que la funcin f presente un extremo relativo en un punto x

es que x sea un punto crtico. Pero esto no es, en general suficiente. Cmo
continuar? Recordemos que cuando f es de una variable, para saber si esta
funcin presenta o no un extremo en un punto crtico a, se obtenan las
derivadas sucesivas f 00 (a), f 000 (a).... Si todas ellas son nulas, no disponemos
de ningn criterio general para saber si f presenta un extremo en a. En
otro caso, del teorema de Taylor se deduce que una condicin necesaria y
suficiente para que f presente un extremo relativo en a es que la primera
derivada que no se anule en a sea de orden par. Pero esto no se extiende
tal cual a las varias variables. Dicha condicin, aunque necesaria, no
ser suficiente para garantizar la existencia de extremo.
El parecido y la diferencia entre una y varias variables quedan patentes
en la proposicin que enunciaremos a continuacin:
Consideremos pues una funcin f : A Rk R cuyas derivadas
o
parciales sucesivas no son todas nulas en el punto a A y supongamos que
la primera de estas derivadas que no se anulan en a es la de orden r. Para
poder aplicar el teorema de Taylor, supondremos tambin que f es de clase
C r en a. En este caso, puesto que todas las derivadas parciales de orden
menor estrictamente que r se anulan en a, es claro que
Pr f (a)h = f (a) +
= f (a) +
1 r
D f (a)hr
r!
X
r1 +...+rk
1
r f (a)
rk
r1 r2
rk h1 h2 . . . hk .
r1
r2
r
!
.
.
.
r
!
x
x
.
.
.
x
1
n
1
2
k
=r
En lo sucesivo, siempre que no haya lugar a confusin, denotaremos por Qp

a la suma de los trminos de grado p del polinomio de Taylor de f en a. Es
decir:
1
Pr f (a) = Q0 + Q1 + . . . + Qr ; Qp (h) = Dp f (a)hp .
p!
Proposicin 7.3 En estas condiciones, es decir si la primera de las derivadas parciales sucesivas de f que no se anulan en a es la de orden r y f es de
clase C r en a, entonces:
1) Una condicin necesaria para que f presente un mnimo en a es que r
sea un nmero par y Qr (h) 0 para todo h Rk ( 0 para todo h
para mximo).
2) Una condicin suficiente para que f presente un mnimo en a es que r
sea par y Qr (h) > 0 para todo h Rk , h 6= 0 ( < 0 para todo h 6= 0
para mximo).
102
7.3
Demostracin. Para probar 1), supongamos para concretar que f presenta

un mnimo relativo en a. De acuerdo con las hiptesis y teniendo en cuenta
que para cada polinomio homogneo de grado r se satisface la igualdad
Q(th) = tr Q(h), es fcil ver que el teorema local de Taylor nos dice que si h
es un vector de Rk entonces:
(7.1)
lm
t0
1
f (a + th) f (a)
= Dr f (a)hr = Qr (h).
tr
r!
Como estamos suponiendo que f presenta un mnimo en a, f (a + th)

f (a) es 0 para t suficientemente pequeo. Por tanto r debe ser par, pues
si r fuese impar el lmite en (7.1) debera ser igual a 0 , ya que este lmite
por la derecha sera 0 mientras que por la izquierda sera 0. Como
el valor de este lmite es r!1 Dr f (a)hr , entonces de ser r impar se tendra
que Dr f (a)hr = 0 para todo h, en contra de nuestra suposicin de que las
derivadas parciales de orden r no son todas nulas. Luego la igualdad (7.1)
prueba que r es par y que Qr (h) 0 para todo h.
2) Supongamos ahora que (el polinomio homogneo de grado r) Qr (h) =
1/(r!)Dr f (a)hr es estrictamente mayor que 0 para todo h 6= 0 de Rk , y sea
el valor mnimo que alcanza este polinomio sobre la esfera {u : kuk = 1}
(que es un compacto). De acuerdo a nuestra hiptesis es claro que > 0.
Teniendo en cuenta que, al ser Qr un polinomio homogneo de grado r,
Qr (h)
h
= Qr
,
r
khk
khk

del teorema local de Taylor, se deduce que

f (a + h) f (a)
h0
khkr
0 = lm
1 r
r
r! D f (a)h
= lm
h0
f (a + h) f (a) Qr (h)
.
khkr
Y, por lo tanto, para = /2 existe un > 0 tal que si 0 < khk < ,
entonces
f (a + h) f (a) Qr (h)
2
khkr
f (a + h) f (a)
h r
=
Q
r
khkr
khk
f (a + h) f (a)
.
khkr
Lo que implica que

f (a + h) f (a)
khkr
2
7.5
103
si 0 < khk < y, por lo tanto que f (a + h) f (a) > 0. As pues f presenta
un mnimo (estricto) en a.
7.4 En resumen, el procedimiento general para la obtencin de los puntos
de extremos relativos es el siguiente:
1. Obtencin de los Puntos Crticos
f
(x1 , , xn ) = 0, i = 1, 2, , n
xi
Supongamos que a es un punto crtico y la primera derivada de la
funcin f que no se anula en a es la de orden r, entonces:
2. r impar La funcin f no tiene extremos en a
3. r par y Qr (h) > 0 para todo h 6= 0. La funcin presenta un Mnimo
en a.
4. r par y Qr (h) < 0 para todo h 6= 0. La funcin presenta un Mximo
en a.
5. r par pero Qr (h) no tienen signo constante. La funcin no tiene extremos en a.
6. r par, Qr (h) tiene signo constante, pero existe algn h 6= 0 tal que
Qr (h) = 0. Caso Dudoso.
Aplicamos a continuacin el estudio anterior a algunos ejemplos:
Ejemplo 7.5 Sea
f (x, y) = 6x2 y 2y 3 3x4 .
1. Puntos crticos:
f
(x, y) = 12xy 12x3 = 0
x
f
(x, y) = 6x2 6y 2 = 0.
y
Es claro que los nicos puntos que satisfacen el sistema anterior (los puntos
crticos), son: (0, 0), (1, 1), (1, 1)
Consideremos en primer lugar el (0,0):
Puesto que f es un polinomio de grado 4, sabemos que P4 f (x0 , y0 )(x, y) =
f (x + x0 , y + y0 ). En particular P4 f (0, 0)(x, y) = f (x, y) = 6x2 y 2y 3 3x4 .
104
7.5
Se tiene pues que todas las derivadas parciales de 1o y 2o orden de f en (0,0)

son nulas, luego
2. r = 3 (impar) y por tanto f no presenta un extremo en (0, 0).
Estudiamos ahora f en el punto crtico (1,1):
P4 f (1, 1)(x, y) = f (x + 1, y + 1) = 6(x + 1)2 (y + 1) 2(y + 1)3 3(x + 1)4
= 1 12x2 6y 2 + 12xy + 6x2 y 12x3 2y 3 3x4 .
Por lo tanto las derivadas parciales de primer orden de f en (1,1) son nulas
mientras que las de orden 2 no, luego
2. r = 2 (par) y por tanto no podemos descartar an la posibilidad de
que f presente un extremo en este punto.
3. Q2 (x, y) = 12x2 6y 2 + 12xy, y es fcil ver que podemos escribir
Q2 (x, y) = 6[x2 + (x y)2 ], de lo que se deduce que Q2 (x, y) < 0 para todo
(x, y) 6= (0, 0) y que , por lo tanto, f presenta un mximo relativo estricto
en (1, 1).
Por ltimo analizamos qu sucede en (-1,1):
P4 f (1, 1)(x, y) = f (x 1, y + 1) = 6(x 1)2 (y + 1) 2(y + 1)3 3(x 1)4
= 1 12x2 6y 2 12xy + 6x2 y + 12x3 2y 3 3x4 .
Por lo tanto las derivadas parciales de primer orden de f en (-1,1) son nulas
mientras que las de orden 2 no, luego de nuevo
2. r = 2 (par).
3. Q2 (x, y) = 12x2 6y 2 12xy = 6[x2 + (x + y)2 ]. Por tanto tambin
ahora Q2 (x, y) < 0 para todo (x, y) 6= (0, 0) y por lo tanto f presenta un
mximo relativo estricto en (1, 1).
En los casos en que la primera derivada que no se anule en un punto sea
la segunda, es decir cuando r = 2, existen ciertos atajos para estudiar la
existencia de extremo en ese punto, que vemos a continuacin:
1.2.
Caso particular
Segn lo visto antes, en el caso particular de que la primera de las derivada parciales sucesivas de la funcin f que no se anule en el punto a sea la de
orden 2, la existencia de extremo de f en a est estrechamente relacionada
con el signo de Q2 (h) (el polinomio formado por los trminos de grado 2 del
polinomio de Taylor en a). Para estudiar el posible signo de este polinomio
(en este caso y slo en este caso) podemos utilizar un resultado que se deriva
7.5
105
de la teora de las formas cuadrticas (ver Gantmacher, F.R., Thorie

des Matrices Tome 1, Dunod, Paris, 1966.):
Denotemos por Hf (a) a la matriz de las derivadas parciales segundas de
f en a ( que se denomina Hessiano de f en a).
2f
(a)
x21
2f
x x (a)
2
1
Hf (a) =
f
xk x1 (a)
2f
x1 x2 (a)
2f
(a)
x22
2f
xk x2 (a)
2f
x1 xn (a)
(a)
x2 xk
2
f
(a)
x2k
Se tiene entonces :
(i) Q2 (h) 0, h si y slo si todos los menores principales de Hf (a) son
no negativos (condicin necesaria de mnimo).
(ii) Q2 (h) 0, h si y slo si los menores principales de orden par de
Hf (a) son no negativos y los menores principales de orden impar no
positivos (condicin necesaria de mximo).
(iii) Q2 (h) > 0, h 6= 0 si y slo si los menores principales de Hf (a)
formado por las i primeras filas y las i primeras columnas i = 1, 2, . . . , k

2 f (a)
x2
1

2f
x x (a)
2
1

i =

2f
x x (a)
i
2f
x1 x2 (a)
2f
(a)
x22
2f
xi x2 (a)
2f
x1 xi (a)

2f

(a)
x2 xi

,

2f

(a)
2
x
i
son mayores (estrictamente) que 0 (condicin suficiente de mnimo).

(iv) Q2 (h) < 0, h 6= 0 si y slo si 1 < 0, 2 > 0, . . . , (1)i i > 0, . . . ,
(condicin suficiente de mximo).
106
7.6
Aplicando este criterio al ejemplo anterior en el punto (-1,1), para el que

Q2 (x, y) = 12x2 6y 2 12xy, se tendra que
!
24 12
12 12
Hf (1, 1) =
Por lo que 1 = 24 < 0, 2 = 144 > 0. Segn el criterio anterior, esto

significa que Q2 (x, y) < 0 para todo (x, y) 6= (0, 0) y por lo tanto que f
presenta un mximo en (1, 1).
Ejemplo 7.6 Sea
f (x, y, z) =
cos xz
1 xyz
definida en el abierto U = {(x, y, z) R3 : xyz < 1}.

1. Puntos crticos.
Es fcil ver (ejercicio) que los nicos puntos crticos de f en U son los
puntos (c, 0, 0), (0, c, 0), (0, 0, c) para cualquier c R. A continuacin vamos
a analizar si f presenta extremo en los puntos (0, 0, 0), (1, 0, 0), (0, 1, 0).
2. En general, parece razonable tratar de aplicar, si fuera posible, el atajo
anterior. Para lo cual, dado un punto crtico, el Hessiano de f en ese punto
debera ser distinto de la matriz idnticamente nula. En caso contrario, es
decir si las primeras derivadas no nulas son las de orden r y r > 2, deberemos
recurrir (de acuerdo al estudio general) a analizar Qr , el polinomio formado
por los trminos de grado r del polinomio de Taylor en el punto. En este
ejemplo, r = 2 en el punto (1,0,0) y en el (0,1,0), pero es mayor que 2 en
el punto (0,0,0), como puede comprobarse haciendo el clculo directo de las
derivadas parciales segundas (que resulta un poco pesado) en esos puntos.
Podemos evitar este clculo directo de derivadas obteniendo los polinomios
de Taylor y deducirlas de los coeficientes de estos polinomios. Consideremos
pues, en primer lugar, el punto crtico (0, 0, 0). Teniendo en cuenta que los
1
desarrollos de Taylor de las funciones de 1-variable cos t, 1t
en 0 son:
1
cos t 1 t2 + ;
2
1
1 + t + t2 + ,
1t
es fcil ver (ejercicio) que los sucesivos polinomios de Taylor de f en (0,0,0)

se obtienen as:
1
P f (0, 0, 0)(x, y, z) (1 x2 z 2 + )(1 + xyz + ) 1 + xyz +
2
Lo que nos indica que la primera derivadas no nula de f en (0,0,0) es
f
(0, 0, 0) = 1,
xyz
7.8
107
es decir que r = 3 (impar) y por tanto f no presenta extremos en (0, 0, 0).

Anlogamente los sucesivos polinomios de Taylor de f en (1,0,0) y (0,1,1)
se obtienen as:
1
P f (1, 0, 0)(x, y, z) (1 (x + 1)2 z 2 + )(1 + (x + 1)yz + )
2
1
1 z 2 + yz +
2
1
P f (0, 1, 0)(x, y, z) (1 x2 z 2 + )(1 + x(y + 1)z + )
2
1 + xz + .
Se deduce pues que
0 0 0
Hf (1, 0, 0) = 0 0 1 ;
0 1 1
0 0 1
Hf (0, 1, 0) = 0 0 0 ,
1 0 0
lo que de acuerdo al criterio del hessiano nos dice que f no presenta tampoco
extremos en ninguno de estos puntos, ya que en ambos hessianos existe un
menor principal de orden 2 que es menor que cero.
2.
Extremos condicionados
Vamos a desarrollar en esta seccin una tcnica clsica, basada en el uso

de Multiplicadores, para la obtencin de condiciones de extremo sobre una
variedad . Dichas condiciones no diferirn formalmente de las ya vimos para
extremos relativos.
o
Definicin 7.7 Sea : A Rk R una funcin escalar, c A y M una

variedad diferenciable que contiene a c. Se dir que presenta un extremo
sobre M (o condicionado) en el punto c, si existe un entorno W de c tal que
(z) (c) no cambia de signo cuando z W M .
Mximo Si (z) (a) 0.
Mnimo Si (z) (a) 0.
Proposicin 7.8 En la situacin anterior y supuesta diferenciable en
c, una condicin necesaria para que presente un extremo en c sobre la
variedad M es que D(c)w = 0, para todo w Tc (M ). Se dice en ese caso
que c es un punto crtico de sobre la variedad M .
108
7.10
Demostracin. Sea w Tc (M ) y una curva contenida en M que pase por

c y tenga a w por vector tangente en c. Es decir, (t0 ) = c, y 0 (t0 ) = w
en algn punto t0 . Entonces la funcin de la variable t, , presenta un
extremo relativo en el punto t0 , luego ( )0 (t0 ) = 0. Aplicando la regla de
la cadena se tiene pues
0 = ( )0 (t0 ) = D((t0 )) 0 (t0 ) = D(c)w.
Corolario 7.9 (Multiplicadores de Lagrange) Sean M y como en la

proposicin anterior y supongamos que M est determinada, en un entorno
del punto c M , por las funciones f1 , f2 , . . . , fp . Entonces, una condicin
necesaria para que la aplicacin presente un extremo sobre la variedad M
en el punto c, es que existan p nmeros reales 1 , . . . , p tales que c sea un
punto crtico de la funcin F = + 1 f1 + . . . + p fp .
Demostracin. Por la proposicin anterior, si presenta un extremo condicionado en c entonces D(c)w = 0 para todo w Tc (M ) = ker Dfi (c).
Luego
ker D(c) ker Dfi (c),
y esto implica ya lo que queramos, en virtud del lema algebraico siguiente
Lema 7.10 Si g1 , g2 , . . . , gp son formas lineales independientes de Rk y g
es otra forma lineal tal que ker g pi=1 ker gi , entonces existen p nmeros
reales 1 , . . . , p tales que
g+
i gi = 0.
Demostracin. Completemos la familia de formas lineales g1 , g2 , . . . , gp hasta

obtener una base B = {g1 , . . . , gp , gp+1 , . . . , gk }. Entonces
g=
k
X
i gi .
i=1
Sea {e1 , . . . , ek } la base dual de B, es decir gi (ej ) = ij . Es evidente entonces

que si i p < j,
ej
p
\
i=1
ker gi ker g,
7B
109
luego
0 = g(ej ) =
k
X
i gi (ej ) = j gj (ej ) = j ,
i=1
lo que implica que g = pi=1 i gi .

Tomando i = i resulta lo que queramos.
P
Nota. Los ejercicios 7E,7F,7H, 7I y 7J constituyen ejemplos prcticos de

aplicacin del resultado anterior sobre multiplicadores de Lagrange. En el
ejercicio 7E se da una indicacin que quizs pueda servir como modelo en
los dems ejercicios. En todos ellos se parte de un funcin diferenciable ,
que se sabe que alcanza un mximo o mnimo absoluto sobre una variedad
M , y se trata de obtener este valor mximo o mnimo y algn punto c M
en donde se alcance. Es inmediato comprobar que tales puntos c deben ser
puntos de extremo (condicionado) sobre M y por lo tanto puntos crticos de
sobre M .
Ejercicios
7A Estudiar la existencia de extremos relativos para las funciones
1. f (x, y) = x4 + y 4 2(x y)2
2. f (x, y) = x3 + y 2 xy 2
3. f (x, y) = x3 + y 3 3x2 y 2 + 1
4. f (x, y, z) = x4 + y 4 3x2 y 2 xz
5. f (x, y, z) = 2x4 + 2y 4 + z 4 4x2 y 2 z
6. f (x, y) = 2x4 + 3y 4 4x2 y 3
7. f (x, y) = x2 y + x2 + 2xy + xy 2 + y 2
8. f (x, y) = x4 + y 4 xy 3 + 1
9. f (x, y) = x4 + y 4 xy 4 + 1
10. f (x, y) = y 2 3x2 y + 2x4
11. f (x, y) = x3 + 3x2 y xy 2 + 1
12. f (x, y) = x2 y 2 + xy 4
7B Demostrar que los siguientes enunciados son equivalentes

(a) x2 + y 2 + z 2 (xy + xz + yz), para todos x, y, z.
(b) La funcin f (x, y, z) = x2 + y 2 + z 2 (xy + xz + yz), presenta un mnimo
relativo en el punto (0, 0, 0).
(c) [2, 1].
110
7C
7C Estudiar la existencia de extremos relativos para las funciones

f (x, y) = sen |xy|,
0 < x /2,
ax+y 2
0 < y /2.
+ b sen(x + by ) y 2 .

1
1
n+1
f (x1 , . . . , xn ) = x1 x2 xn + a
+ ... +
, (a > 0) , x = (0, )n
x1
xn
X
2
2
f (x1 , . . . , xn ) = (
ai xi )e(x1 +...+xn )
f (x, y) = e
7D Demostrar que entre los polgonos convexos de n lados inscritos en una circunferencia, el polgono regular es el de mayor permetro y tambin el de mayor
rea.
7E Hallar la distancia
(a) entre la recta x + y = 1 y la hiprbola xy = 2.
indicacin: Considerar M = {(x, y, z, t) R4 : x + y = 1; zt = 2} y la
aplicacin (x, y, z, t) = (x z)2 + (y t)2 . M es una variedad diferenciable
de R4 y el cuadrado de la distancia entre las dos curvas, el mnimo absoluto
de sobre M .
(b) entre las curvas
(
x2 xy + y 2 z 2 = 1
y
z
x
= = ;
1
2
4
x2 + y 2
=1
7F Hallar la distancia al origen de la curva interseccin de las superficies
xyz = a;
y = bx,
a > 0, b > 0.
7G Sea M el conjunto de puntos de R3 que satisfacen el sistema

(
x2 + y 2 z = 1
x y + z2 = 1
(b) Hallar la ecuacin de la recta tangente a M en (1, 0, 0).
(c) Estudiar si (1, 0, 0) es un punto crtico de la funcin g(x, y, z) = xyzxy+z
sobre M .
7H (a) Obtener el paraleleppedo recto de menor rea entre los que tienen igual
volumen.
7J
111
(b) Obtener el paraleleppedo de mayor volumen entre los que tienen igual rea.
7I Sea K = {(x, y, z) R3 : z = x2 + y 2 ; z = x + 1}. Probar que K es un compacto
y hallar el mximo y el mnimo absoluto de la funcin (x, y, z) = y 2 2x + z sobre
K.
7J Calcular el mximo y el mnimo absoluto de la funcin (x, y, z) = x + y z
sobre el compacto K = {(x, y, z) : x2 + y 2 1, x2 + y 2 + z 2 4}.
bibliografa
186
Bibliografa
[1] Apostol, T., Anlisis Matemtico, Revert, Barcelona, 1979.
[2] Avez, A., Calcul Diffrentiel, Masson, Paris, 1983.
[3] Benedetto, J.J., Real Variable and Integration , B.G. Teubner, Stuttgart, 1976.
[4] Berstein, S., Quelques remarques sur linterpolation, Math. Ann., 79

(1918), 1 12.
[5] Cartan, H., Clculo Diferencial, Ediciones Omega, Barcelona, 1972.

[6] Cheney, E.W., Introduction to Approximation Theory, McGraw-Hill,
New York, 1966.
[7] Choquet, Topologa, Toray-Masson, Barcelona, 1971.

[8] Cohen, P.J., A minimal model for set theory, BAMS, 69 (1963), 537 540.
[9] Cohn, D.L., Measure Theory, Birkhuser, Boston, 1980.
[10] Dieudonn, J., Fundamentos de Anlisis Moderno, Revert, Barcelona,
1966.
[11] Fleming, W.H., Funciones de Varias Variables, C.E.C.S.A., 1976.

[12] Flett, T.M., Differential Analysis, Cambridge University Press, 1980.
[13] Gantmacher, F.R., Thorie des Matrices, Tome 1 Dunod, Paris, 1966.
[14] Garnir, H.G., Teora de Funciones I, Marcombo, Barcelona, 1966.
[15] Garnir, H.G., Functions de Variables Reelles, tome II, Gauthier-Villars,
Pars, 1965.
[16] Hewitt, E., Stromberg, K., Real and Abbstract Analysis, SpringerVerlag, New York, 1965.
187
bibliografa
[17] Hewitt, E., Ross, K.A., Extensions of Haar measure and of harmonic
analysis for locally compact abelian groups, Math. Annalen , 160 (1965),
171 194.
[18] Isaacson, E. and Keller, H.B., Analysis of Numerical Methods,

Dover, New Yory, 1994.
[19] Kakutani, S., Oxtoby, J.C., , Ann. of Math., (2) 52 (1950), 580 590.
[20] Kolmogorov, A.N., Fomin, S.V., Elementos de la Teora de Funciones
y del Anlisis Funcional , Mir, Mosc, 1975.
[21] Moore, G.H., Zermelos Axiom of Choice , Springer-Verlag, New York,

1982.
[22] Nachbin, L., Topology on Spaces of Holomorphic Mappings, Springer,

Berlin, 1969.
[23] Natanson, I.P., Theory of Functions of a Real Variable , Ungar, New

York, 1967.
[24] Von Newman, J., Functional Operators Vol.I: Measures and Integrals,
Princeton Univ. Press, , 1950.
[25] Rudin, W., Anlisis Real y Complejo, McGraw Hill, Madrid, 1973.
[26] Schwartz, L., Cours dAnalyse, Hermann, Paris, 1967.
[27] Solovay, R.M., A model of set-theory in which every set of reals is Lebesgue
medible, Ann. of Math., 92 (1970), 1 56.
[28] Williamsom, J.H., Integracin Lebesgue, Tecnos, Madrid, 1973.

[29] Yosida, K., Funtional Analysis, Sspringer, Berlin, 1974.
[30] Zaanen, A.C., Integration, North-Holland, Amsterdam, 1967.
188

Analisis I 2013

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Analisis I 2013

Загружено:

Авторское право:

Доступные форматы

ndice general

2. Integracin de Funciones de Varias variables

Sea E un espacio vectorial sobre un cuerpo K = R C indistintamente.

de un producto escalar las Normas Eucldeas. La norma k k es conocida

conocida como Desigualdad de Cauchy-Schwartz.

k(x, y) + (u, v)k = (x, y) + (u, v) (x, y) + (u, v)

Las normas anteriores pueden definirse sobre productos finitos de espacios

1. Probar que las normas k kp y la norma producto son normas montonas

k(x1 , . . . , xn )k = kx1 k, . . . , kxn k

se define una norma en E = E1 E2 En .

kxk = kxk1 , . . . , kxkn

se define una norma en E.

x2 + y 2 + z 2 + (|x| + |y| + |z|)2

6. Procediendo de la misma forma, construir ms normas.

Anlogamente a cmo se haca en R, a partir de la distancia asociada a

2) Cada sucesin que converge respecto a una de ellas converge tambin

esta sucesin no k k -converge a 0, pues kxp k = 1.

lo que significa que la sucesin,

Trivialmente 2) implica 3).

1) Denotemos por ei = (0, . . . , 1, . . . , 0) entonces

kei k, se ha probado que para todo x Rn , kxk kxk .

2) Para probar la otra desigualdad razonaremos por induccin sobre n.

Continuidad y limites de funciones

Comenzamos aqu con el estudio de las funciones de varias variables, y

a A) si existe un nmero real r > 0 tal que B(a, r) A. Un subconjunto

En efecto, de hecho esta aplicacin es lipschitziana, pues como es fcil

3. Sean (Ei , k k), i = 1, 2, . . . , p espacios normados. Consideremos sobre

Entonces, cualquiera que sea j, la aplicacin proyeccin j : E Ej

Luego tomando el abierto U =

B(x, x ) se tiene que f 1 (V ) =

cada entorno de A contiene infinitos puntos de A (ejercicio). Observar que

si para > 0, existe > 0 tal que si x A, x 6= a y kx ak < entonces

Reglas de clculo para lmites

1.19 Sean E, F1 , . . . , Fp espacios normado f : A E F donde F =

Demostracin. Teniendo en cuenta que

es obvio que kf (x) lk 0 sii kfi (x) li k 0, i.

Demostracin. Como consecuencia de lo anterior y de la aplicacin norma

Luego tomando U = B(a, ) se tiene que kf (x)k = kbk/2 para todo

1.23 Para el clculo de lmites son aplicables las siguientes frmulas:

2) Si f, g son funciones escalares, entonces lm (f g)(x) = lm f (x) lm g(x)

3) Si f, g son escalares y lm g(x) 6= 0, entonces lm (1/g)(x) =

Por tanto lm (f /g)(x) =

Lmites iterados y lmites direccionales

se les denomina lmites iterados.

Proposicin 1.26 Con las notaciones anteriores, si existe

y en algn entorno U de (x0 , y0 ) existe el lmite lmyy0 f|U A (x, y) entonces

Para n = 2 el lmite anterior coincide con el lmite direccional en el sentido

1. No existe alguno de los lmites iterados o existen pero son distintos.

Esta funcin no es continua en (0, 0) ya que uno de los lmites iterados no

si (x, y) 6= (1, 0).

2. No existe alguno de los lmites direccionales o existen, pero no son

Los lmites direccionales de esta funcin no son todos iguales. En efecto:

que depende de m. Se deduce pues que el lmite no existe.

Ejemplo 1.31 Sea

Es inmediato comprobar que lmx0 f (x, mx) = 0 para m 6= 1. En cambio

que si tomamos las curvas y = m x, se tiene:

si (x, y) 6= (0, 1);

Es inmediato comprobar que tambin en este caso los lmites iterados en

Sin embargo tampoco existe el lmite ya que si consideramos la curva y =

y demostrar que tiene lmite en (0, 0) a pesar de que los lmites

a) Probar que f1 tiene lmite en (0, 0).

a) Probar que la funcin de 1-variable

es continua en todo punto t R.

b) Utilizar el apartado anterior para probar que la funcin