Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notas Analisi Matematico Mónica Clapp PDF
Notas Analisi Matematico Mónica Clapp PDF
Mnica Clapp
Instituto de Matemticas
Universidad Nacional Autnoma de Mxico
Agosto 2010
2
ndice general
2. Espacios mtricos 7
2.1. Denicin y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2. Espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Espacios de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4. El espacio de funciones acotadas . . . . . . . . . . . . . . . . . . . . . . 20
2.5. Subespacios mtricos e isometras . . . . . . . . . . . . . . . . . . . . . 21
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3. Continuidad 29
3.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2. Conjuntos abiertos y conjuntos cerrados . . . . . . . . . . . . . . . . . 35
3.3. Convergencia de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4. Compacidad 51
4.1. Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.2. El teorema de Heine-Borel . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3. Existencia de mximos y mnimos . . . . . . . . . . . . . . . . . . . . . 58
4.4. Semicontinuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.5. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
5. Completitud 71
5.1. Espacios mtricos completos . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2. Convergencia uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3. Espacios completos de funciones . . . . . . . . . . . . . . . . . . . . . . 80
5.4. Series en espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . 82
3
4 NDICE GENERAL
5.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.6. Proyecto de trabajo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
5.6.1. Objetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
5.6.2. Esquema de la demostracin . . . . . . . . . . . . . . . . . . . . 92
II Diferenciabilidad 151
9. Diferenciabilidad 153
9.1. El espacio de funciones lineales y continuas . . . . . . . . . . . . . . . . 154
9.2. Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
9.3. El teorema del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . 160
9.4. Un criterio de diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . 165
9.5. Derivadas parciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
9.6. Derivadas de orden superior . . . . . . . . . . . . . . . . . . . . . . . . 173
9.7. La frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
9.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
NDICE GENERAL 5
Continuidad, compacidad y
completitud
1
Captulo 1
Motivacin
Observa que L( ) kp qk :
Una trayectoria de p a q en X es de longitud mnima si su longitud es menor o igual
a la de todas las dems. Por ejemplo, si X := Rn ; la trayectoria (t) := (1 t)p + tq
3
4 1. MOTIVACIN
Este ejemplo muestra que el Problema 1.1 no es un problema trivial. Para intentar
resolverlo, empezaremos expresndolo como un problema de minimizacin.
Denotemos por Tp;q (X) al conjunto de todas las trayectorias de p a q en X: Podemos
entonces considerar a la longitud como una funcin denida en dicho conjunto, es decir,
Diremos que la funcin L alcanza su mnimo en Tp;q (X) si existe una trayectoria 0 2
Tp;q (X) tal que
L( 0 ) L( ) 8 2 Tp;q (X):
En estos trminos el Problema 1.1 se expresa como sigue.
f (x0 ) f (x) 8x 2 K:
arm lo siguiente:
Entonces, ser posible pensar a las trayectorias como si fuesen puntos? El Teorema
1.4, valdr tambin para la funcin longitud? Qu quiere decir que la funcin L :
Tp;q (X) ! R [ f1g sea continua? Y que un subconjunto de Tp;q (X) sea compacto?
6 1. MOTIVACIN
Espacios mtricos
Ejemplos de espacios mtricos que conocemos bien son los siguientes dos.
donde x = (x1 ; :::; xn ); y = (y1 ; :::; yn ) 2 Rn ; es una mtrica para el espacio euclidiano
Rn .
donde x = (x1 ; :::; xn ); y = (y1 ; :::; yn ) 2 Rn ; es una mtrica para el espacio euclidiano
Rn .
Ejemplo 2.7 Sea `1 el conjunto de todas las sucesiones acotadas de nmeros reales,
es decir, de las sucesiones x = (xk ) para las cuales existe c 2 R (que depende de x) tal
que jxk j < c para todo k 2 N. Denimos
En consecuencia,
Ejemplo 2.8 Sea `1 el conjunto de las sucesiones x = (xk ) de nmeros reales tales que
la serie
P
1
jxk j
k=1
converge, y sea
P
1
d1 (x; y) := jxk yk j ; x = (xk ); y = (yk ) 2 `1 :
k=1
se sigue que
P
n P
n P
n
jxk yk j jxk j + jyk j
k=1 k=1 k=1
P1 P1
jxk j + jyk j :
k=1 k=1
2.2. ESPACIOS NORMADOS 11
P1
Por consiguiente, si x = (xk ); y = (yk ) 2 `1 , la serie jxk yk j converge y se cumple
k=1
que
P1 P
1 P
1
jxk yk j jxk j + jyk j : (2.1)
k=1 k=1 k=1
para todas x; y; z 2 `1 :
Es sencillo comprobar que k kp cumple las propiedades (N1) y (N2): Para probar que
cumple la propiedad (N3) requerimos unas desigualdades que demostraremos a contin-
uacin.
1 1
Lema 2.11 (Desigualdad de Young) Sean p; q 2 (1; 1) tales que p
+ q
= 1: En-
tonces, para todo par de nmeros reales a; b 0 se tiene que
1 p 1 q
ab a + b:
p q
y = ln x
1
Tomando x0 := ap ; x1 := bq y t := q
obtenemos
1 p 1 q 1 1
ln a + b ln ap + ln bq = ln a + ln b = ln(ab)
p q p q
1 p 1 q
ab a + b:
p q
es decir,
kxyk1 kxkp kykq
donde xy := (x1 y1 ; :::; xn yn ):
obtenemos
jxk yk j 1 p 1 q jxk jp jyk jq
= jak bk j ak + b k = + :
kxkp kykq p q p kxkpp q kykqq
Sumando todas estas desigualdades para k = 1; :::; n; obtenemos
1 P
n 1 Pn 1 P
n
jxk yk j p jxk jp + jyk jq
kxkp kykq k=1 p kxkp k=1 q kykqq k=1
1 1
= + = 1:
p q
Multiplicando ambos lados por kxkp kykq obtenemos la desigualdad deseada.
Demostracin: Es sencillo ver que k kp cumple las propiedades (N1) y (N2): Demostremos
la propiedad (N3), es decir, que para todo p 2 [1; 1] se cumple que
Anlogamente,
1
P
n
p 1
P
n
p
q
jyk j (jxk j + jyk j) kykp (jxk j + jyk j) :
k=1 k=1
y usando la desigualdad del tringulo para nmeros reales jxk + yk j jxk j + jyk j ;
obtenemos
1 1
P
n
p
p P
n
p
p
kx + ykp = jxk + yk j (jxk j + jyk j) kxkp + kykp ;
k=1 k=1
Notacin 2.14 Con el n de distinguir cul de todas estas normas estamos consideran-
do, usaremos la notacin
Nota que las mtricas d1 ; d2 y d1 consideradas en los Ejemplos 2.4 al 2.6 son las
inducidas por las normas k k1 ; k k y k k1 ; respectivamente.
Consideremos ahora espacios de sucesiones. Las sucesiones de nmeros reales se
pueden sumar y multiplicar por escalares trmino a trmino, es decir, si x = (xk ) y
y = (yk ) son sucesiones de nmeros reales y 2 R; se denen
x + y := (xk + yk ) y x := ( xk ):
Con estas operaciones el conjunto de todas las sucesiones de nmeros reales es un espacio
vectorial. Para espacios de sucesiones adecuados podemos denir normas anlogas a las
denidas para Rn .
Proposicin 2.15 (a) Dada p 2 [1; 1); consideremos el conjunto `p de todas las suce-
siones (xk ) de nmeros reales tales que la serie
P
1
jxk jp
k=1
es una norma en `p :
(b) El conjunto `1 de todas las sucesiones acotadas de nmeros reales (xk ) es un espacio
vectorial y la funcin
k(xk )k1 := sup jxk j
k 1
es una norma en `1 .
P
1
para todo n 2 N: En consecuencia, la serie jxk + yk jp converge y se cumple que
k=1
1
P
1
p
p
k(xk + yk )kp = jxk + yk j k(xk )kp + k(yk )kp :
k=1
0 si x = y;
ddisc (x; y) =
1 si x =
6 y;
es decir,
kf gk1 kf kp kgkq :
y usando la desigualdad del tringulo para nmeros reales jf (x) + g(x)j jf (x)j+jg(x)j
y la monotona de la integral obtenemos
Z b
1
p
Z b
1
p
p p
kf + gkp = jf (x) + g(x)j dx (jf (x)j + jg(x)j) dx kf kp + kgkp ;
a a
4
Hermann Minkowski (1864-1909) naci en Lituania, entonces parte del Imperio Ruso. Realiz el
doctorado en 1885 en la Universidad Albertina de Knigsberg bajo la direccin de Ferdinand von
Lindemann. Fue profesor en la ETH de Zrich y en la Universidad de Gttingen, ciudad en la que
muri.
2.3. ESPACIOS DE FUNCIONES 19
Notacin 2.20 Con el n de distinguir cul de todas estas normas estamos consideran-
do, usaremos la notacin
1 1
0 .7 5 0 .7 5
0 .5 0 .5
0 .2 5 0 .2 5
0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
y = f4 (x) y = f8 (x)
jf (x)js dx dx jf (x)jr dx
a a a
Z b
s
r
r s r
= (b a) r jf (x)j dx :
a
Denotamos por
B(S; X) := ff : S ! X : f es acotadag
y denimos
d1 (f; g) := sup d(f (z); g(z)):
z2S
Proposicin 2.24 d1 es una mtrica en B(S; X): Esta mtrica se llama la mtrica
uniforme.
2.5. SUBESPACIOS MTRICOS E ISOMETRAS 21
En consecuencia, d1 (f; g) 2 R: Probemos ahora que d1 es una mtrica para B(S; X):
Como d satisface (M1) se tiene que
d(f (z); g(z)) d(f (z); h(z)) + d(h(z); g(z)) d1 (f; h) + d1 (h; g) 8z 2 S:
En consecuencia,
d1 (f; g) d1 (f; h) + d1 (h; g);
es decir, d1 satisface (M3).
kf k1 := sup kf (z)k
z2S
Denicin 2.28 Sean X = (X; dX ) y Y = (Y; dY ) dos espacios mtricos. Una funcin
: X ! Y es una isometra si
es una isometra. Es decir, podemos identicar a Rnp con el subespacio de `p que consiste
de las sucesiones x = (xk ) tales que xk = 0 para k > n:
2.6. Ejercicios
Ejercicio 2.31 Sea X = (X; d) un espacio mtrico. Prueba que, para cualesquiera
w; x; y; z 2 X; se cumple que
Ejercicio 2.32 (a) Demuestra que la distancia usual en R, denida en el Ejemplo 2.3,
es una mtrica.
(b) Demuestra que la distancia usual en Rn , denida en el Ejemplo 2.4, es una mtrica.
Ejercicio 2.33 Prueba que kxk1 := max fjx1 j ; :::; jxn jg donde x = (x1 ; :::; xn ) 2 Rn ;
es una norma en Rn :
Ejercicio 2.34 Es la funcin : Rn ! R; dada por (x) := m n fjx1 j ; :::; jxn jg ; una
norma en Rn ? Justica tu armacin.
Ejercicio 2.35 Sea (V; k k) un espacio normado. Prueba que la funcin d(v; w) :=
kv wk es una mtrica en V:
Ejercicio 2.38 Sea V un espacio vectorial distinto de f0g: Prueba que no existe ningu-
na norma en V que induzca la mtrica discreta, es decir, no existe ninguna norma en
V tal que
0 si v = w;
kv wk =
1 si v 6= w:
Ejercicio 2.39 Prueba que, para cada p 2 [1; 1]; la funcin k kp denida en la Proposi-
cin 2.15 satisface:
(N1) kxkp = 0 si y slo si x = 0 en `p :
(N2) Si x = (xk ) 2 `p y 2 R; entonces x = ( xk ) 2 `p y k xkp = j j kxkp :
Ejercicio 2.41 (Desigualdad de Hlder para series) Prueba que, si p; q 2 (1; 1),
1
p
+ 1q = 1; (xk ) 2 `p y (yk ) 2 `q ; entonces xy := (xk yk ) 2 `1 y
! p1 ! 1q
X
1 X
1 X
1
jxk yk j jxk jp jyk jq ;
k=1 k=1 k=1
es decir,
kxyk1 kxkp kykq :
Ejercicio 2.45 Prueba que las desigualdades de Hlder para sumas, para series y para
integrales siguen siendo vlidas si p = 1 y q = 1; es decir,
(a) Si (x1 ; :::; xn ); (y1 ; :::; yn ) 2 Rn entonces
!
X n Xn
jxk yk j jxk j max jyk j :
1 k n
k=1 k=1
Ejercicio 2.53 Cules de las siguientes funciones son isometras y cules no? Justi-
ca tu armacin.
(a) La identidad id : R2p ! R2r ; id(x) = x; con p 6= r:
(b) La identidad id : Cp0 [0; 1] ! Cr0 [0; 1]; id(f ) = f; con p 6= r:
(c) La inclusin : C21 [0; 1] ,! C20 [0; 1]; (f ) = f:
0
(d) La inclusin : C1 [0; 1] ,! B([0; 1]; R); (f ) = f:
(e) La funcin : B(N; R) ! `1 ; (f ) = (f (k)):
Continuidad
A principios del siglo XIX Augustin Louis Cauchy y Bernard Bolzano dieron, de
manera independiente, una denicin de continuidad. Llamaron continua a una funcin
que tomaba valores arbitrariamente cercanos para valores sucientemente cercanos de
la variable. Esta denicin es exacta pero imprecisa. La denicin usual hoy en da, en
trminos de "s y s, fue introducida por Karl Weierstrass1 a nales del siglo XIX.
Karl Weierstrass
0
Ejemplo 3.3 La identidad id : C1 [0; 1] ! C10 [0; 1] es continua, mientras que la iden-
0 0
tidad id : C1 [0; 1] ! C1 [0; 1] no lo es.
kf k1 kf k1 8f 2 C 0 [0; 1]:
0. 75
0. 5
0. 25
0
0 0. 25 0. 5 0. 75 1
y = g1=4 (x)
En consecuencia,
Es decir, : X ! Z es continua.
(b) Si es un homeomorsmo, de la armacin (a) se sigue que es continua si y
1
slo si ( ) = lo es.
(c) Anlogamente, si es un homeomorsmo, entonces es continua si y slo si
1
( ) = lo es.
Demostracin: Sea c > 0 una constante de Lipschitz para : Entonces, dada " > 0;
para := "c > 0 se cumple que
(A) := f (x) 2 Y : x 2 Ag
x0 (x 0 )
B(x 0 , )
B( (x0 ), )
Ejemplo 3.10 Denotemos por Bp (x0 ; ") a la bola abierta en Rnp con centro en x0 y
radio ":
8
De las desigualdades (3.1) y (3.2) se sigue que existe c > 0 (que depende de n y r) tal
que
Bp (x0 ; c") Br (x0 ; ") 8p; r 2 [1; 1]:
De la caracterizacin (3.3) de la continuidad se sigue entonces que id : Rnp ! Rnr es un
homeomorsmo.
Ejemplo 3.11 Denotemos por Bp (f0 ; ") a la bola abierta en Cp0 [0; 1] con centro en la
funcin continua f0 : [0; 1] ! R y radio ": Si p = 1;
es decir, B1 (f0 ; ") es el conjunto de las funciones continuas cuya grca est contenida
en la franja f(x; y) 2 R2 : x 2 [0; 1]; jy f0 (x)j < "g.
a b
a b
Denicin 3.12 Un punto x 2 X se llama un punto interior de A si existe " > 0 tal
que BX (x; ") A: El conjunto de todos los puntos interiores de A se llama el interior
de A en X y se denota intX (A); o simplemente int(A). Decimos que A es abierto en
X si A = int(A):
Observa que int X (A) A: Veamos que la bola abierta es un abierto en este sentido.
Demostracin: Sea x 2 BX (x0 ; "). Tomemos := " d(x; x0 ) > 0: Para todo
z 2 BX (x; ); se cumple que
es decir, z 2 BX (x0 ; "). Por tanto, BX (x; ) BX (x0 ; ") para todo x 2 BX (x0 ; ").
x0
Demostracin: Sea x 2 int(A): Entonces existe " > 0 tal que BX (x; ") A:
Probaremos ahora que BX (x; ") intA: En efecto, por la Proposicin 3.13, para todo
z 2 BX (x; ") existe > 0 tal que BX (z; ) BX (x; ") A: Por tanto, z 2 intA:
0
es abierto en C1 [0; 1]; pero no es abierto en C10 [0; 1]:
Demostracin: Observa que A = BC1 0 [0;1] (0; 1=2). La Proposicin 3.13 asegura que
0
A es abierto en C1 [0; 1]:
Probaremos ahora que A no es abierto en C10 [0; 1]: Para cada 0 < < 1 consideremos
la funcin
1 1 x si 0 x ;
g (x) :=
0 si x 1:
3.2. CONJUNTOS ABIERTOS Y CONJUNTOS CERRADOS 37
Entonces kg k1 = 2
y kg k1 = 1: Por tanto, g 2 BC10 [0;1] (0; ); pero g 62 A:
y=g (x)
1/2
-1/2
Es decir, BC10 [0;1] (0; ) no est contenida en A para ningn > 0: En consecuencia, la
funcin 0 no es un punto interior de A en C10 [0; 1]:
De hecho, el conjunto A del ejemplo anterior tiene interior vaco en C10 [0; 1] [Ejercicio
3.57].
Denicin 3.16 Un punto x 2 X se llama un punto de contacto de A si BX (x; ") \
A 6= ; para toda " > 0: El conjunto de todos los puntos de contacto de A se llama la
X
cerradura de A en X y se denota A ; o simplemente A: Decimos que A es cerrado
en X si A = A:
Nota que todo punto de A es punto de contacto de A; es decir, A A:
Denicin 3.17 La bola cerrada en X con centro en x0 y radio " es el conjunto
BX (x0 ; ") := fx 2 X : d(x; x0 ) "g :
Proposicin 3.18 BX (x0 ; ") es un subconjunto cerrado de X:
Demostracin: Sea x 2 BX (x0 ; "): Entonces, para todo > 0; existe x 2 BX (x; )\
BX (x0 ; "): De la desigualdad del tringulo se sigue que
d(x; x0 ) d(x; x ) + d(x ; x0 ) < + " 8 > 0:
En consecuencia d(x; x0 ) "; es decir, x 2 BX (x0 ; "):
Para cualquier subconjunto A de X se tiene entonces que Bdisc (x; 1) A para todo
x 2 A: Por tanto, A es abierto. De la Proposicin 3.19 se sigue que A tambin es
cerrado.
Ejemplo 3.22 Si Xdisc es un espacio mtrico discreto con al menos dos puntos en-
tonces, puesto que todos los subconjuntos de Xdisc son cerrados, se tiene que
Bdisc (x; 1) = Bdisc (x; 1) = fxg 8x 2 X:
Por otra parte,
Bdisc (x; 1) := fy 2 X : ddisc (y; x) 1g = X:
Esto no ocurre en un espacio normado.
Proposicin 3.23 Si V = (V; k k) es un espacio normado, entonces la cerradura
de la bola abierta B(v0 ; ") := fv 2 V : kv v0 k < "g es la bola cerrada B(v0 ; ") :=
fv 2 V : kv v0 k "g.
Demostracin: Como B(v0 ; ") es cerrado y contiene a B(v0 ; ") se tiene que B(v0 ; ")
B(v0 ; ") [Ejercicio 3.63].
Probaremos ahora que B(v0 ; ") B(v0 ; "): Es decir, probaremos que, para todo v 2
B(v0 ; ") y > 0; se cumple que B(v; ) \ B(v0 ; ") 6= ;: Sin perder generalidad podemos
tomar < 2": El punto
v := v + (v0 v) 2 V
2"
satisface
kv vk = kv0 vk < ; y
2" 2
kv v0 k = (1 ) kv v0 k (1 )" < ":
2" 2"
v
v0
Para nalizar esta seccin veamos algunas propiedades importantes de los abiertos.
(iv) Si x 2 U \ V; como U y V son abiertos, existen "1 ; "2 > 0 tales que BX (x; "1 ) U
y BX (x; "2 ) V: Tomando " := m nf"1 ; "2 g se tiene que BX (x; ") (U \ V ): Esto
prueba que x 2 int(U \ V ):
Dado que los subconjuntos cerrados de X son los complementos de los abiertos, las
armaciones duales son ciertas para dichos subconjuntos [Ejercicio 3.61].
Las propiedades (i) a (iv) se usan como denicin de los abiertos de un espacio
topolgico. Como la continuidad se puede caracterizar en trminos de abiertos (ver
Proposicin 3.24), los espacios topolgicos son el mbito natural para estudiar la con-
tinuidad. Sin embargo, como mencionamos antes, otras propiedades importantes de los
espacios mtricos, como la completitud, no son propiedades topolgicas, es decir, no se
preservan bajo homeomorsmos.
Usaremos la notacin
xk ! x en X; o bien l m xk = x;
k!1
xk ! x en X () d(xk ; x) ! 0 en R.
se cumple que la sucesin de nmeros reales (fk (x)) converge a f (x) en R para cada
x 2 [0; 1]: En consecuencia
1 si x = 0
f (x) = l m fk (x) =
k!1 0 si 0 < x 1
3.4. Ejercicios
Ejercicio 3.35 Sean V = (V; k kV ) y W = (W; k kW ) espacios normados, y sea L :
V ! W una transformacin lineal. Prueba que las siguientes armaciones son equiva-
lentes.
(i) L es continua.
(ii) L es continua en 0:
(iii) Existe c > 0 tal que kLvkW c kvkV para todo v 2 V:
(iv) L es Lipschitz continua.
44 3. CONTINUIDAD
Ejercicio 3.43 Sea I un intervalo en R (abierto, cerrado, nito o innito). Prueba que,
si f : I ! R es continuamente diferenciable en I y existe C 2 R tal que jf 0 (t)j C
para todo t 2 I, entonces f es Lipschitz continua.
Ejercicio 3.44 Cules de las siguientes funciones son Lipschitz continuas y cules
son equivalencias?
(a) : R ! R; (x) = x2 : p
(b) : [0; 1) ! R; (x) = x:
(c) : R ! ( 2 ; 2 ); (x) = arctan x:
jjjf jjj1 : = kf 0 k1 ;
jjjf jjj2 : = jf (0)j + kf 0 k1 ;
Z 1
jjjf jjj3 : = max f (x)dx ; kf 0 k1 ;
0
1=2
jjjf jjj4 : = (kf k2 + kf 0 k2 ) :
(a) Es jjjf jjji una norma en C 1 [0; 1]? Responde esta pregunta para cada i = 1; :::; 4:
(b) Si jjjf jjji es una norma, es jjjf jjji equivalente a la norma
kf k1;1 := kf k1 + kf 0 k1
es continua.
(d) Para aquellas jjj jjji que s son normas investiga si
8 16 32
(b) Sea T(0;0);(1;0) (R2 ) el conjunto de todas las trayectorias de longitud nita de (0; 0) a
(1; 0) en R2 con la mtrica uniforme
L : T(0;0);(1;0) (R2 ) ! R,
X : X Y ! X; X (x; y) = x;
Y : X Y ! Y; Y (x; y) = y;
(a) Prueba que la funcin f : X ! R dada por f (x) := dist(x; A) es Lipschitz continua.
(Sugerencia: Usa el Ejercicio 2.31).
(b) Prueba que, si A es un subconjunto cerrado de X; entonces dist(x; A) = 0 si y slo
si x 2 A:
Ejercicio 3.52 Sean A y B subconjuntos cerrados de un espacio mtrico X tales que
A \ B = ;:
1
(a) Prueba que existe una funcin continua : X ! [0; 1] tal que (0) = A y
1 1
(1) = B; donde (a) := fx 2 X : (x) = ag : (Sugerencia: Considera la funcin
dist(x; A)
(x) := :
dist(x; A) + dist(x; B)
Prueba que est bien denida y que tiene las propiedades deseadas.)
(b) Prueba que existen subconjuntos abiertos V y W de X tales que A V; B W y
V \ W = ;:
48 3. CONTINUIDAD
Cp0
es un subconjunto abierto de [0; 1]?
(b) Investiga para cules p 2 [1; 1] el conjunto
Z 1
0
A2 := fg 2 C [0; 1] : jg(x)j dx 1g
0
Ejercicio 3.58 Prueba que una sucesin (xk ) en un espacio mtrico discreto Xdisc
converge a x en Xdisc si y slo si existe k0 2 N tal que xk = x para todo k k0 :
Ejercicio 3.59 Prueba que en cualquier espacio mtrico X la interseccin de un nmero
nito de subconjuntos abiertos U1 \ \ Um es abierta en X:
Ejercicio 3.60 Da un
T ejemplo de una familia numerable de abiertos fUk : k 2 Ng en
R cuya interseccin k2N Uk no es abierta en R:
Ejercicio 3.61 Demuestra que en cualquier espacio mtrico X = (X; d) se cumple lo
siguiente.
(a) X es cerrado en X:
(b) El conjunto vaco
T ; es cerrado en X.
(c) La interseccin i2I Ci de cualquier familia fCi : i 2 Ig de subconjuntos cerrados
de X es cerrada en X:
(d) La unin C [ D de dos subconjuntos cerrados C y D de X es cerrada en X:
(Sugerencia: Aplica las Proposiciones 3.26 y 3.19).
Ejercicio 3.62 Sean A y B subconjuntos de un espacio mtrico X: Demuestra las
siguientes armaciones.
(a) int(B) int(A) si B A:
(b) int(A) es el mximo subconjunto abierto de X contenido en A:
Ejercicio 3.63 Sean A y B subconjuntos de un espacio mtrico X: Demuestra las
siguientes armaciones.
(a) B A si B A:
(b) A es el mnimo subconjunto cerrado de X que contiene a A:
Ejercicio 3.64 Sea A un subconjunto de un espacio mtrico X: La frontera de A en
X es el conjunto
@A := A r int(A):
Prueba que x 2 @A si y slo si BX (x0 ; ") \ A 6= ; y BX (x0 ; ") \ (X r A) 6= ; para todo
" > 0:
Ejercicio 3.65 Prueba que la frontera @A de cualquier subconjunto A de X es un
subconjunto cerrado de X:
Ejercicio 3.66 (a) Prueba que la frontera de la bola abierta BV (v0 ; r) en un espacio
normado V es la esfera
SV (v0 ; r) := fv 2 V : kv v0 k = rg:
(b) Es cierto que la frontera de la bola abierta BX (x0 ; r) en un espacio mtrico arbi-
trario X es la esfera
SX (x0 ; r) := fx 2 X : dX (x; x0 ) = rg?
50 3. CONTINUIDAD
Captulo 4
Compacidad
Los subconjuntos de Rn que son cerrados y acotados tienen una propiedad funda-
mental: cualquier sucesin de puntos en ellos contiene una subsucesin convergente.
Esta propiedad resulta tambin relevante en espacios de funciones. Permite, por ejemp-
lo, concluir la existencia de una solucin de una ecuacin diferencial tomando el lmite
de ciertas aproximaciones elementales, como ocurre en el Teorema de Cauchy-Peano
que demostraremos ms adelante (ver Teorema 7.14).
A un subconjunto de un espacio mtrico que tiene la propiedad de que cualquier
sucesin de puntos en l contiene una subsucesin que converge a un punto de l se le
llama compacto. Este trmino fue introducido por Frchet en 1906.
La compacidad tiene consecuencias muy importantes. Por ejemplo, toda funcin
continua en un espacio mtrico compacto alcanza su mximo y su mnimo.
Existen varias nociones equivalentes de compacidad en espacios mtricos. Una de
ellas arma que un subconjunto K de un espacio mtrico es compacto si de cualquier
familia de conjuntos abiertos cuya unin contiene a K podemos extraer una familia
nita cuya unin tambin contiene a K: Esta es la denicin que usaremos aqu como
punto de partida.
xk 2
= BX (y; "y ) 8k ky :
Esto implica que xk 2= K para todo k maxfky1 ; :::; kym g; lo cual es falso.
En consecuencia, existe y0 2 K tal que toda bola abierta con centro en y0 contiene a
una subsucesin de (xk ): Esto nos permite escoger, inductivamente, para cada j 2 N
un punto xkj 2 BX (y0 ; 1j ) tal que kj > kj 1 : La sucesin (xkj ) es una subsucesin de
(xk ) que converge a y0 .
En general, las bolas cerradas en espacios de dimensin innita nunca son compactas
(ver Ejercicio 5.39). Veremos en la prxima seccin que en Rn s lo son.
Q Q1 Qk ;
r
tales Qk es un cubo de lado 2k 1 y Qk no esta contenido en la unin de ningn subcon-
junto nito de C.
Qk
k
Denotemos por = ( k1 ; :::; k
n) al centro de Qk : Entonces,
k r
i xi 8x = (x1 ; :::; xN ) 2 Qk : (4.1)
2k
j
En particular, como 2 Qk para j k; se tiene que
k j r
i i 8j k; 8i = 1; :::; n: (4.2)
2k
Por tanto, para cada i = 1; :::; n; la sucesin ( ki ) es de Cauchy en R y, en consecuencia,
existe i 2 R tal que ki ! i en R. Pasando al lmite cuando j ! 1 en la desigualdad
(4.2) obtenemos que
k r
i i 8k; 8i = 1; :::; n: (4.3)
2k
Como ki 2 [ r; r]; se tiene que i 2 [ r; r]: Es decir, := ( 1 ; :::; n ) 2 Q: Y como C es
cubierta de Q, existe U 2 C tal que 2 U :
Dado que U es abierto, existe " > 0 tal que B( ; ") U : Ahora bien, si x 2 Qk ;
usando las desigualdades (4.1) y (4.3) obtenemos
p p p
k k r n r n r n
kx k x + + k = k 1:
2k 2 2
4.2. EL TEOREMA DE HEINE-BOREL 57
En consecuencia, p
r n
Qk B( ; ") U si k 1 < ".
2
Esto contradice que Qk no puede ser cubierto por un nmero nito de elementos de C.
Esto demuestra que Q es compacto.
Bernard Bolzano
2
Bernardus Placidus Johann Nepomuk Bolzano (1781-1848) naci en Praga, entonces parte del
Imperio Austriaco. Cultiv la losofa, la teologa y las matemticas. Fue uno de los pioneros en
proponer un tratamiento riguroso del Anlisis Matemtico. Sus contribuciones slo fueron conocidas
y valoradas muchos aos ms tarde, ya que fue destitudo de su ctedra en la Universidad de Praga
por razones polticas y puesto bajo arresto domiciliario con la prohibicin de publicar.
58 4. COMPACIDAD
f (x0 ) f (x) 8x 2 X:
f (x1 ) f (x) 8x 2 X:
1
0.5
0
-7.5 -5 -2.5 0 2.5 5 7.5
-0.5
-1
y = arctan x
4.3. EXISTENCIA DE MXIMOS Y MNIMOS 59
m0 := nf f (z) 2 R:
z2K
m0 = l m f (zkj ) = f (z0 ):
j!1
Es decir, z0 es un mnimo de f:
De manera anloga se prueba que f alcanza su mximo en K [Ejercicio 4.39].
Denotemos por
C 0 (X; Y ) := f : X ! Y : es continuag: (4.7)
El Corolario 4.11 asegura que, si X es un espacio mtrico compacto, entonces C 0 (X; Y )
est contenido en el espacio de funciones acotadas B(X; Y ) (ver Seccin 2.4). Podemos
entonces darle a C 0 (X; Y ) la mtrica uniforme
d1 ( ; ) := sup dY ( (x); (x)):
x2X
4.4. SEMICONTINUIDAD 61
4.4. Semicontinuidad
Volvamos ahora a nuestro problema de partida, el Problema 1.1, que formulam-
os como sigue: Alcanza la funcin longitud su mnimo en el conjunto de trayectorias
Tp;q (X)?. El conjunto Tp;q (X) es un espacio mtrico con la mtrica uniforme. Sin em-
bargo, el Teorema 4.17 no es aplicable a la funcin longitud porque sta no es continua
(ver Ejercicio 3.47).
En cierto sentido las condiciones de compacidad y continuidad son opuestas la una
de la otra, es decir, mientras ms abiertos tenga X ms fcil es que una funcin X ! Y
resulte continua pero ms difcil es que X sea compacto. Y viceversa. Esta disyuntiva
se presenta con frecuencia en las aplicaciones. Resulta pues conveniente contar con un
resultado de existencia de mnimos para funciones no necesariamente continuas.
Empecemos extendiendo el concepto de trayectoria a un espacio mtrico arbitrario
X = (X; dX ).
P
m
L( ) := sup dX ( (tk 1 ); (tk )) : a = t0 t1 tm = b; m 2 N :
k=1
Sin embargo, no pueden existir trayectorias arbitrariamente cortas tan cercanas como
queramos a una trayectoria dada, como lo muestra el siguiente resultado.
Proposicin 4.21 Dadas 2 C 0 ([a; b]; X) y c < L( ); existe > 0 tal que
c < L( ) si d1 ( ; ) < :
Sea := 0
2m
: Si d1 ( ; ) < ; se tiene que
En consecuencia, c < L( ).
]t[:= n si n 1<t n; n 2 Z:
[t] := n si n t < n + 1; n 2 Z;
es s.c.i.
Denicin 4.26 Sea (tk ) una sucesin en R [ f1; 1g: El lmite inferior de (tk )
se dene como
l m inf tk := sup nf tk 2 R [ f1; 1g;
k!1 m 1 k m
l m inf tk = 1 y l m sup tk = 1:
k!1 k!1
64 4. COMPACIDAD
Es fcil ver [Ejercicio 4.45] que, si una sucesin de nmeros reales (tk ) converge en
R, entonces
l m inf tk = l m tk = l m sup tk ; (4.8)
k!1 k!1 k!1
Como esta desigualdad se cumple para todo c < f (x0 ); conclumos que
Dado a 2 R, denotamos
a
f := fx 2 X : f (x) ag:
a
Teorema 4.29 Si f : X ! R [ f1g s.c.i. y si f es compacto y no vaco para algn
a 2 R, entonces f alcanza su mnimo en X:
Para aplicar este resultado al Problema 1.1 deberemos investigar si para algn a 2 R
el conjunto de trayectorias en Tp;q (X) de longitud a lo ms a es compacto y no vaco.
Es sencillo comprobar que no es as [Ejercicio 4.49]. Volveremos al Problema 1.1 en el
Captulo 7.
Teorema 4.31 Sea X un espacio mtrico compacto. Entonces toda funcin continua
: X ! Y es uniformemente continua.
66 4. COMPACIDAD
ekj )
dX (x; x ekj )
dX (x; xkj ) + dX (xkj ; x
dY ( (xkj ); (e
xkj )) dY ( (xkj ); (x)) + dY ( (x); (e
xkj )) < "0
4.6. Ejercicios
Ejercicio 4.32 Sea V un espacio normado y sea SV := fx 2 V : kxk = 1g la esfera
unitaria en V: En cada uno de los siguientes casos investiga si la esfera unitaria es o
no compacta. Justica tu armacin.
(a) dimV < 1:
(b) V = `p con p 2 [1; 1]:
(c) V = Cp0 [0; 1] con p 2 [1; 1]:
Ejercicio 4.33 (a) Sean K un subconjunto compacto de Rn ; > 0 y p 2 [1; 1]: Prueba
que el conjunto [
b :=
K Bp ( ; )
2K
Prueba que
(a) f es continua y biyectiva,
(b) f 1 : S1 ! [0; 2 ) no es continua.
Es decir, la compacidad de X es esencial en la armacin del ejercicio anterior.
(a) Prueba que, si A es compacto, entonces para cada x 2 X existe z 2 A tal que
]t[:= n si n 1<t n; n 2 Z:
es s.c.i.
(b) La funcin parte entera [ ] : R ! R dada por
[t] := n si n t < n + 1; n 2 Z;
es s.c.s.
l m inf tk = l m sup tk ;
k!1 k!1
Completitud
Resulta til contar con un criterio de convergencia de sucesiones que dependa ni-
camente de la sucesin misma. Para sucesiones de nmeros reales contamos con un
criterio tal, a saber: si una sucesin de nmeros reales es de Cauchy entonces converge.
La nocin de sucesin de Cauchy se extiende de manera natural a espacios mtricos.
Sin embargo, no es cierto en general que cualquier sucesin de Cauchy en un espacio
mtrico converge. A los espacios mtricos en los que, como ocurre en R, cualquier
sucesin de Cauchy converge se les llama completos.
La completitud es una propiedad muy importante. Permite, por ejemplo, obten-
er soluciones de sistemas de ecuaciones numricas, de ecuaciones diferenciales y de
ecuaciones integrales mediante un proceso de iteracin, como veremos en el siguiente
captulo.
Denicin 5.1 Una sucesin (xk ) en X es de Cauchy1 si, dada " > 0; existe k0 2 N
tal que
dX (xk ; xj ) < " 8k; j k0 :
1
Augustin Louis Cauchy (1789-1857) naci en Pars. Es uno de los pioneros del Anlisis Matemti-
co. Fue un matemtico profundo, que cultiv diversas reas de las matemticas y ejerci una fuerte
inuencia sobre sus contemporneos y sucesores. Escribi cerca de 800 artculos de investigacin.
71
72 5. COMPLETITUD
Augustin Cauchy
0 .5
0
-1 -0 .5 0 0 .5 1
-0 .5
-1
y = f3 (x)
Por tanto, Z 1
j1 f (x)j dx = 0;
a
y esto implica que f (x) = 1 para todo x 2 [a; 1]: Anlogamente, f (x) = 1 para todo
x 2 [ 1; a] y, como a 2 (0; 1) es arbitraria, tenemos que
1 si x 2 [ 1; 0);
f (x) =
1 si x 2 (0; 1]:
En consecuencia, f no es continua en [ 1; 1]; lo cual contradice nuestra suposicin.
0
En la siguiente seccin probaremos que en C1 [ 1; 1] cualquier sucesin de Cauchy
converge. A los espacios mtricos que tienen esta propiedad se les llama completos.
74 5. COMPLETITUD
0. 5
0
-7. 5 -5 -2. 5 0 2. 5 5 7. 5
-0. 5
-1
arctan x
jxj;i xk;i j max jxj;i xk;i j =: kxj xk k1 < " 8j; k k0 ; 8i = 1; :::; n:
i=1;:::;n
Esto prueba que, para cada i = 1; :::; n; la sucesin (xk;i ) es de Cauchy en R. Como R
es completo, xk;i ! xi en R. Por tanto, dada " > 0; existe ki 2 N tal que
y, en consecuencia,
El lmite puntual de una sucesin de funciones continuas no es, por lo general, una
funcin continua, como lo muestra el siguiente ejemplo.
1 1 1
0 .7 5 0 .7 5 0 .7 5
0 .5 0 .5 0 .5
0 .2 5 0 .2 5 0 .2 5
0 0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
y = x2 y = x4 y = x6
3 .5
2 .5
1 .5
0 .5
0
0 1 2 3 4
y = f4 (x)
En consecuencia,
dX (f (z); f (z0 )) dX (f (z); fk0 (z)) + dX (fk0 (z); fk0 (z0 )) + dX (fk0 (z0 ); f (z0 ))
< " si dZ (z; z0 ) < :
Esto prueba que f es continua.
Proposicin 5.15 Sea (fk ) una sucesin en B(S; X): Entonces, (fk ) converge uni-
formemente a f en S si y slo si (fk ) converge a f en B(S; X):
En consecuencia,
dX (fk (z); f (z)) < " 8k k0 ; 8z 2 S:
Es decir, (fk ) converge uniformemente a f en S:
Recprocamente, si fk 2 B(S; X) y (fk ) converge uniformemente a f en S entonces,
dada " > 0; existe k0 2 N tal que
dX (fk (z); f (z)) < " 8k k0 ; 8z 2 S: (5.1)
Como fk0 es acotada, existen c > 0 y x0 2 X tales que dX (fk0 (z); x0 ) < c para todo
z 2 S: En consecuencia,
dX (f (z); x0 ) dX (f (z); fk0 (z)) + dX (fk0 (z); x0 ) < " + c 8z 2 S:
Esto prueba que f 2 B(S; X): De (5.1) se sigue que
d1 (fk ; f ) := sup dX (fk (z); f (z)) " 8k k0 :
z2S
Demostracin: Sea f 2 Cb0 (Z; X): Por la Proposicin 3.32 existe una sucesin
(fk ) en Cb0 (Z; X) tal que fk ! f en B(Z; X): El Teorema 5.14 asegura entonces que
f 2 Cb0 (Z; X): Esto prueba que Cb0 (Z; X) es cerrado en B(Z; X):
Demostracin: Sea x0 2 (a; b): Aplicando el teorema del valor medio a la funcin
fj fk se tiene que, para cada x 2 (a; b); existe x 2 (a; b) tal que
En consecuencia,
Como (fk0 ) converge en C 0 [a; b], dada " > 0 existe k0 2 N tal que
"
jfj (x) fj (x0 ) fk (x) + fk (x0 )j jx x0 j 8x 2 (a; b); 8j; k k0 :
3
80 5. COMPLETITUD
es un espacio vectorial normado (ver Ejercicio 2.50). Si Z es un espacio mtrico, Cb0 (Z; V )
es un subespacio vectorial de B(Z; V ):
Una consecuencia importante del teorema anterior es la siguiente.
Demostracin: Sea (fk ) una sucesin de Cauchy en B(S; X): Claramente (fk ) es
uniformemente de Cauchy en S y, por el Teorema 5.20, (fk ) converge en B(S; X): Esto
prueba que B(S; X) es completo. Por el Corolario 5.17, Cb0 (Z; X) es un subconjunto
cerrado de B(S; X): La Proposicin 5.9 asegura entonces que Cb0 (Z; X) es completo.
Esta propiedad hace que los espacios B(S; X) y Cb0 (Z; X) jueguen un papel impor-
tante en las aplicaciones, como veremos en el siguiente captulo.
Recuerda que, si K es un espacio mtrico compacto, entonces toda funcin continua
de K en X es acotada (ver Corolario 4.11), es decir,
C 0 (K; X) := f : K ! X : es continuag = Cb0 (K; X):
Por tanto, C 0 (K; X) es un espacio completo si K es compacto y X es completo.
converge en V si y slo si, para cada " > 0, existe k0 2 N tal que
P
1
vk
k=1
P
1 P
n P
n P
1
vk = l m vk lm kvk k = kvk k ;
k=1 n!1 k=1 n!1 k=1 k=1
P
1
fk
k=1
Pn
converge uniformemente en S si la sucesin de funciones gn := k=1 fk converge
uniformemente en S a una funcin S ! V; a la que se denota
P
1
fk :
k=1
P
1
ak (x x0 )k
k=0
P
1
R := supfr 2 [0; 1) : ak rk converge en Rg 2 [0; 1]:
k=0
convergen uniformemente
P en [x0 r; x0 + r] para todo r 2 (0; R); donde R es el radio
de convergencia de 1k=0 k (x
a x0 )k :
(b) La funcin
P
1
f (x) := ak (x x0 )k
k=0
P
Dado que la serie 1 k=1 k
k 1
converge en R, argumentando como en el caso anterior,
conclumos que la serie
P
1
kak (x x0 )k 1
k=1
se llama una funcin analtica. Una funcin analtica tiene derivadas de todos los
rdenes [Ejercicio 5.50]. El recproco no es cierto [Ejercicio 5.51].
5.5. Ejercicios
Ejercicio 5.29 Sea Xdisc un espacio mtrico discreto.
(a) Describe a las sucesiones de Cauchy en Xdisc :
(b) Es Xdisc un espacio mtrico completo?
Ejercicio 5.31 Sea X = (0; 1) con la mtrica inducida por la de R. Prueba que la
sucesin ( k1 ) es de Cauchy en X pero no converge en X:
(a) Prueba que (fk ) es de Cauchy en Cp0 [ 1; 1] para toda p 2 [1; 1):
(b) Prueba que (fk ) no converge en Cp0 [ 1; 1] para ninguna p 2 [1; 1]: (Sugerencia:
Usa el Ejercicio 3.46 y el Ejemplo 5.4).
0
(c) Es (fk ) de Cauchy en C1 [ 1; 1]?
Ejercicio 5.33 Prueba que `p es un espacio de Banach para todo p 2 [1; 1]:
Ejercicio 5.38 Sea V un espacio normado. Prueba que todo subespacio vectorial de
dimensin nita de V es cerrado en V:
Ejercicio 5.41 (a) Prueba que la sucesin de funciones fk (x) = xk no converge uni-
formemente en [0; 1]:
(b) Prueba que la sucesin de funciones fk (x) = xk converge uniformemente en cualquier
subintervalo cerrado [a; b] [0; 1):
Ejercicio 5.42 Cules de las siguientes sucesiones de funciones fk : R ! R con-
vergen puntualmente en R? Encuentra todos los intervalos donde la convergencia es
uniforme.
kx kx k2x
(a) fk (x) = ; (b) fk (x) = ; (c) fk (x) = :
kx2 + 1 k x2 + 1
2 kx2 + 1
Ejercicio 5.43 Cules de las siguientes sucesiones de funciones fk : R ! R convergen
uniformemente en R? Encuentra el lmite de tales sucesiones.
jx kj 1 si x 2 [k 1; k + 1];
(a) fk (x) =
0 si x 2
= [k 1; k + 1]:
1
(b) fk (x) = :
(x=k)2 + 1
(c) fk (x) = sen(x=k):
1
k
senx si x 2 [2 k; 2 (k + 1)];
(d) fk (x) =
0 si x 2
= [2 k; 2 (k + 1)]:
Ejercicio 5.44 Sea fk : [a; b] ! R una sucesin de funciones continuamente diferen-
ciables en [a; b] que converge puntualmente a una funcin f en [a; b]: Investiga si son
falsas o verdaderas las siguientes armaciones..
(a) f es continua en [a; b].
(b) (fk ) converge uniformemente a f en [a; b]:
(c) La sucesin (fk0 ) converge puntualmente en [a; b].
(d) Si f es continuamente diferenciable, entonces (fk0 ) converge puntualmente en [a; b]:
(e) Si f es continuamente diferenciable y si (fk0 (x)) converge para cada x 2 [a; b];
entonces (fk0 ) converge puntualmente a f 0 en [a; b]:
P
EjercicioP5.45 (a) Prueba que, si an ; bn 2 R; 0 an bn y 1 n=1 bn converge en R,
1
entonces n=1 an converge en R.
Ejercicio 5.46 Considera la sucesin de funciones fk : R ! R;
x2
fk (x) = :
(1 + x2 )k
P1
(a) Prueba que, para cada x 2 R, la serie
P1 de nmeros reales k=1 fk (x) converge.
(b) Converge la serie de funciones f
k=1 k uniformemente en R?
5.5. EJERCICIOS 89
tiene derivadas de todos los rdenes y que la n-sima derivada f (n) de f est dada por
X
1
(n)
f (x) = k(k 1) (k n + 1)ak (x x0 )k n
; x 2 (x0 R; x0 + R):
k=n
0. 8
0. 6
0. 4
0. 2
0
-2. 5 -1.25 0 1. 25 2. 5
1=x2
y=e
(a) Prueba que f tiene derivadas de todos los rdenes en x = 0 y que f (n) (0) = 0:
(b) Se puede escribir f como una serie
X
1
f (x) = ak x k ; ak 2 R,
k=0
Ejercicio 5.52 Sean akj 2 R tales que las series de nmeros reales
X
1
jakj j = bk
j=1
P1
convergen para cada k 2 N y la serie k=1 bk tambin converge. Prueba que
X
1 X
1 X
1 X
1
akj = akj :
k=1 j=1 j=1 k=1
1 X
n X
1
fk = akj ; fk (0) = akj :
n j=1 j=1
Comprueba que esta sucesin satisface todas las hiptesis del Teorema 5.25.)
5.5. EJERCICIOS 91
X
1
xk
f (x) :=
k=0
k!
1 k
un espacio de Banach? (Sugerencia: Considera la sucesin de polinomios pk (x) = k!
x +
+ x + 1 y utiliza la Proposicin 5.9).
x si x 2 [0; 1];
'(x) :=
2 x si x 2 [1; 2];
X
1
3
k
f (x) := '(4k x)
k=0
4
es continua.
(b) Prueba que f no es diferenciable en ningn punto x 2 R: (Sugerencia: Para cada
j 2 N toma m 2 N tal que m 4j x < m + 1; y dene yj := 4 j m; zj := 4 j (m + 1):
Prueba que
f (zj ) f (yj )
!1 cuando j ! 1:
zj yj
Usa este hecho para concluir que f no es diferenciable en x.)
92 5. COMPLETITUD
Por ejemplo, el espacio R de los nmeros reales es una completacin del espacio Q
de nmeros racionales.
5.6.1. Objetivo
El objetivo de este proyecto es demostrar que todo espacio mtrico admite una
completacin y que sta es nica salvo isometra.
Denicin 5.58 Sean (xk ) y (yk ) dos sucesiones de Cauchy en X: Decimos que (xk )
y (yk ) son equivalentes, y lo denotamos (xk ) (yk ); si
l m d(xk ; yk ) = 0:
k!1
Lema 5.60 (i) d est bien denida, es decir, existe l mk!1 d(xk ; yk ) y no depende
de los representantes (xk ) y (yk ) elegidos.
(ii) d es una mtrica en X :
2
Charles mile Picard (1856-1941) fue un destacado matemtico francs que realiz aportaciones
muy importantes en mltiples ramas de las matemticas, particularmente en Variable Compleja y
Ecuaciones Diferenciales.
95
96 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
tal que
d( (x); (y)) d(x; y) 8x; y 2 X: (6.1)
Es decir, una contraccin es una funcin de un espacio mtrico en s mismo que es
Lipschitz continua con constante de Lipschitz estrictamente menor que 1: Es importante
observar que el que : X ! X sea o no contraccin depende de la mtrica que le demos
a X [Ejercicio 6.20].
Denicin 6.2 Un punto x 2 X se llama un punto jo de la funcin : X ! X si
(x ) = x :
k
Denotamos por a la composicin
k 0
:= si k 2 N; := idX ;
| {z }
k veces
Stefan Banach
es decir,
(1 )d(y; z) d(y; (y)) + d( (z); z):
Tomando y := xk y z := xj obtenemos
k j
d(xk+1 ; xk ) + d(xj+1 ; xj ) +
d(xk ; xj ) d(x1 ; x0 ): (6.3)
1 1
Sea " > 0: Como 2 (0; 1) existe k0 2 N tal que
k
"
d(x1 ; x0 ) < 8k k0 : (6.4)
1 2
En consecuencia,
d(xk ; xj ) < " 8j; k k0 :
Esto demuestra que la sucesin (xk ) es de Cauchy en X:
Como X es completo, existe x 2 X tal que xk ! x en X y, como es continua,
se tiene entonces que xk+1 = (xk ) ! (x ) en X: Como el lmite de una sucesin es
nico, conclumos que (x ) = x ; es decir, x es un punto jo de :
Veamos ahora que es nico. Si x1 y x2 son puntos jos de entonces
Ejemplo 6.4 La funcin : (0; 1) ! (0; 1) dada por (t) = 12 t es una contraccin
y no tiene ningn punto jo en (0; 1): Por tanto, para la validez del Teorema 6.3 es
necesario que X sea completo.
Sin embargo, no tiene ningn punto jo. Por tanto, para la validez del Teorema 6.3 es
necesario que el nmero de la condicin (6.1) sea estrictamente menor que 1:
Esta condicin tambin es necesaria para la unicidad del punto jo [Ejercicio 6.22].
La siguiente generalizacin del teorema de punto jo de Banach es muy til en las
aplicaciones.
Ax x=b (6.5)
entonces el sistema (6.5) tiene solucin nica para cada b 2 Rn : La solucin x satisface
X
k 1 k
x + Am b kbk1 :
m=0
1
1
es decir, es una contraccin. Por el Teorema 6.3, existe un nico x 2 Rn tal que
(x ) = Ax b = x : Ms an, como
X
k 1
k
(0) = Am b;
m=0
se tiene que
X
k 1 k
x + Am b kbk1 :
m=0
1
1
100 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
se llama una ecuacin integral de Fredholm4 . Se dice que es del primer tipo si
= 0 y del segundo tipo si 6= 0. Una funcin continua f : [a; b] ! R que satisface
(6.7) para todo x 2 [a; b] se llama una solucin de (6.7). Nos preguntamos, para qu
valores tiene la ecuacin (6.7) una nica solucin?
Queremos expresar este problema como un problema de punto jo. Es decir, quere-
mos encontrar una funcin : C 0 [a; b] ! C 0 [a; b] cuyos puntos jos sean las soluciones
de la ecuacin (6.7). Para ello, procederemos del siguiente modo. A cada f 2 C 0 [a; b] le
4
Erik Ivar Fredholm (1866-1927) fue un matemtico sueco. En 1903 introdujo la teora moderna de
ecuaciones integrales, a la que se conoce como Teora de Fredholm.
6.3. ECUACIONES INTEGRALES 101
f Ff = g:
1
f= (Ff + g):
Probaremos que Ff 2 C 0 [a; b] (ver Lema 6.8). Esto nos permite denir una funcin de
C 0 [a; b] en s mismo como sigue:
1
: C 0 [a; b] ! C 0 [a; b]; (f ) := (Ff + g):
kf k1 := max jf (x)j ;
x2[a;b]
Lema 6.8 Para cada f 2 C 0 [a; b]; la funcin Ff : [a; b] ! R dada por
Z b
(Ff ) (x) := K(x; y)f (y)dy
a
es continua.
102 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
Teorema 6.9 Si j j > kKk1 (b a) entonces, para cada g 2 C 0 [a; b]; la ecuacin
integral de Fredholm (6.7) tiene una nica solucin.
Demostracin: Dados 6= 0 y g 2 C 0 [a; b]; denimos : C 0 [a; b] ! C 0 [a; b] como
1
(f ) := (Ff + g) :
El lema anterior asegura que es, efectivamente, una funcin de C 0 [a; b] en s mismo.
Veamos que, si j j > kKk1 (b a); entonces es una contraccin. Sean f1 ; f2 2 C 0 [a; b]:
Entonces, para toda x 2 [a; b]; se tiene que
1
j (f1 )(x) (f2 )(x)j = jFf1 (x) Ff2 (x)j
j j
Z b
1
jK(x; y)j jf1 (y) f2 (y)j dy
j j a
1
(b a) kKk1 kf1 f2 k1 :
j j
Por consiguiente,
1
k (f1 ) (f2 )k1 (b a) kKk1 kf1 f2 k1 8f1 ; f2 2 C 0 [a; b]:
j j
Por hiptesis, j1j (b a) kKk1 < 1: En consecuencia, es una contraccin.
0
Dado que C [a; b] es completo (ver Corolario 5.21), el Teorema 6.3 asegura que existe
una nica f 2 C 0 [a; b] tal que
1
f = (f ) = (Ff + g) :
6.3. ECUACIONES INTEGRALES 103
Es decir, existe una nica f 2 C 0 [a; b] que satisface la ecuacin integral de Fredholm
f = Ff + g;
Es sencillo comprobar que la funcin F : C 0 [a; b] ! C 0 [a; b]; que a cada f le asocia
Ff; es lineal y continua [Ejercicio 6.30]. Si g = 0; la ecuacin integral de Fredholm se
convierte en la ecuacin de valores propios5
Ff = f
f Vf = g:
5
Recuerda que v 2 V es un valor propio (llamado tambin autovalor o eigenvalor ) de la funcin
lineal L : V ! V si v 6= 0 y Lv = v para algn 2 R:
6
Las ecuaciones integrales de Volterra fueron estudiadas por el matemtico rumano Traian Lalescu
en 1908 en su tesis escrita bajo la direccin de mile Picard. En 1911, Lalescu escribi el primer libro
sobre ecuaciones integrales.
104 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
Probaremos que Vf 2 C 0 [a; b] (ver Lema 6.10). Si 6= 0; podemos entonces denir una
funcin de C 0 [a; b] en s mismo como sigue:
1
: C 0 [a; b] ! C 0 [a; b]; (f ) := (Vf + g):
Sus puntos jos son las soluciones de la ecuacin (6.8). Probaremos que para cada 6= 0
existe k 2 N tal que la funcin k es una contraccin (ver Lema 6.11). El Corolario 6.6
asegura entonces que tiene un nico punto jo, es decir, que la ecuacin (6.8) tiene
una nica solucin.
Lema 6.10 Para cada f 2 C 0 [a; b]; la funcin Vf : [a; b] ! R dada por
Z x
(Vf ) (x) := K(x; y)f (y)dy
a
es continua.
Z x1 Z x2
j(Vf ) (x1 ) (Vf ) (x2 )j = (K(x1 ; y) K(x2 ; y))f (y)dy K(x2 ; y)f (y)dy
a x1
Z x1 Z x2
jK(x1 ; y) K(x2 ; y)j jf (y)j dy + jK(x2 ; y)j jf (y)j dy
a x1
" "
< (x1 a) kf k1 + kKk1 kf k1
2(b a) kf k1 2 kKk1 kf k1
" "
+ = ":
2 2
Esto prueba que Vf es continua.
El lema anterior asegura que es, efectivamente, una funcin de C 0 [a; b] en s mismo.
Probaremos el siguiente resultado.
6.3. ECUACIONES INTEGRALES 105
k (b a)k
k
(f1 ) k
(f2 ) 1
j j kKkk1 kf1 f2 k1 ;
k!
para todas f1 ; f2 2 C 0 [a; b]; k 2 N:
k (b a)k
k
(f1 )(x) k
(f2 )(x) j j kKkk1 kf1 f2 k1 8x 2 [a; b]
k!
y, en consecuencia, que
1 k
k k j j kKk1 (b a)
(f1 ) (f2 ) 1
kf1 f2 k1 ; (6.10)
k!
como arma el enunciado.
106 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
1 k
j j kKk1 (b a)
<1 8k k0
k!
Vf = f
(0; x; y) = ( y; x) (1; x; y) = (x y; x + y)
Queremos expresar la ecuacin integral (6.12) como un problema de punto jo. Para
ello se requiere una condicin adicional sobre el campo : Denotemos por
B(x0 ; ) := fx 2 Rn : kx x0 k g
a la bola cerrada de radio y centro x0 en Rn con la norma usual.
Denicin 6.15 Una funcin : (a; b) ! Rn es localmente Lipschitz continua
en la segunda variable si, para cada t0 2 (a; b) y x0 2 ; existen 0 > 0 y C > 0
(que dependen de t0 y x0 ) tales que [t0 0 ; t0 + 0 ] (a; b), B(x0 ; 0 ) y
k (t; x1 ) (t; x2 )k C kx1 x2 k si jt t0 j 0 y x1 ; x2 2 B(x0 ; 0 ):
a t0 t0 + b
6.4. EL PROBLEMA DE CAUCHY 109
Denimos
X := fu 2 C 0 ([t0 ; t0 + ]; Rn ) : ku x 0 k1 Mg
donde x0 es la funcin constante con valor x0 y
Nota que el integrando est bien denido porque, de acuerdo con el lema anterior,
u(s) 2 para todo s 2 [t0 ; t0 + ]: Requerimos la siguiente desigualdad.
En consecuencia, u 2 X:
C ku vk1 :
Por consiguiente,
k (u) (v)k1 C ku vk1
6.5. EJERCICIOS 111
y, como hemos elegido tal que C < 1; se tiene que es una contraccin.
Como X es completo, el Teorema 6.3 asegura que tiene un nico punto jo. Es decir,
que existe una nica u 2 X que satisface la ecuacin integral (6.12). Del Lema 6.14
se sigue que u es la nica solucin del problema de Cauchy (6.11) en el intervalo
[t0 ; t0 + ]:
6.5. Ejercicios
Ejercicio 6.20 Sea X un conjunto arbitrario con la mtrica discreta ddisc denida en
el Ejemplo 2.16. Prueba que : X ! X es una contraccin si y slo si es una funcin
constante.
Ejercicio 6.21 (a) Prueba que la funcin : Rnp ! Rnp dada por (x) = 21 x es una
contraccin para todo p 2 [1; 1):
(b) Es posible darle a Rn alguna mtrica tal que no sea contraccin?
(c) Es posible darle a Rn alguna norma tal que no sea contraccin?
Ejercicio 6.22 (a) Usa el teorema del valor intermedio para probar que toda funcin
continua f : [a; b] ! [a; b] tiene al menos un punto jo.
(b) Da un ejemplo de una funcin continua f : [a; b] ! [a; b] con una innidad de
puntos jos.
Ejercicio 6.23 Sea f : [a; b] ! R continuamente diferenciable en [a; b] y tal que f (a) <
0 < f (b) y f 0 (x) > 0 para toda x 2 [a; b]. Prueba que existe un nico x 2 [a; b] tal
que f (x ) = 0 y que x se puede encontrar por el mtodo de aproximaciones sucesivas.
(Sugerencia: Demuestra que existe > 0 tal que x f (x) 2 [a; b] para todo x 2 [a; b]
y tal que (x) := x f (x) es una contraccin en [a; b]:)
y que no tiene ningn punto jo. Es decir, la condicin (6.14) no es suciente para
garantizar la existencia de un punto jo.
112 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
X
k
1 k
m 1
f mF g kgk1 ;
m=1
(1 )j j
1
1
donde := j j
kKk1 (b a) y F es el operador de Fredholm.
j j > M (b a):
ck
lm = 0:
k!1 k!
114 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
X
k
1 k
m 1
f mV g kgk1 ;
m=1
(1 )j j
1
1
donde := j j
kKk1 (b a) y V es el operador de Volterra.
Ejercicio 6.36 Dada una funcin continua f = (f1 ; :::; fn ) : [a; b] ! Rn ; denotamos
por Z b Z b Z b
f (t)dt := f1 (t)dt; :::; fn (t)dt 2 Rn
a a a
al vector cuyas componentes son las integrales de las componentes de f: Prueba que
Z b
f (t)dt jb aj kf k1 ;
a
u0 = 3u2=3 ;
u(0) = 0:
u0 = u2 ;
(6.17)
u(0) = 1 :
Prueba que
1
u(t) =
t
es solucin de (6.17) en algn intervalo que contiene a 0:
(c) Cul es el intervalo mximo para el que existe una solucin de (6.17)?
116 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
Captulo 7
Compacidad en espacios de
funciones
1
Giulio Ascoli (1843-1896), matemtico italiano. Fue profesor en el Politecnico di Milano. Hizo
importantes contribuciones a la teora de funciones de variable real.
2
Cesare Arzel (1847-1912), matemtico italiano. Fue profesor en Bologna. Destacan sus impor-
tantes contribuciones al estudio de sucesiones de funciones.
117
118 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
P
1
Ejemplo 7.1 La bola cerrada B`2 (0; 1) := f(xn ) 2 `2 : x2n 1g no puede ser
n=1
cubierta
p por un nmero nito de bolas abiertas de radio " en `2 , para ningn " 2
(0; 2=2):
donde BX (a; ") denota a la bola abierta con centro en a y radio " en X:
puede ser cubierto por un nmero nito de bolas abiertas de radio "0 . Por consiguiente,
podemos escoger, inductivamente, una sucesin de puntos xk 2 X tales que
xk 2
= BX (x1 ; "0 ) [ [ BX (xk 1 ; "0 ):
Por tanto, dX (xj ; xk ) "0 para toda j 6= k y, en consecuencia, ninguna subsucesin de
(xk ) es de Cauchy. Esto implica que (xk ) no contiene ninguna subsucesin convergente:
Es decir, si X no es totalmente acotado, entonces (b) no se cumple.
(c))(a): Argumentando por contradiccin, supongamos que X es completo y total-
mente acotado pero no es compacto. Entonces X tiene una cubierta abierta U = fUi :
i 2 Ig que no contiene ninguna subcubierta nita. Como X es totalmente acotado, est
contenido en un nmero nito de bolas abiertas de radio 1: Por tanto, existe un punto
x0 2 X tal que BX (x0 ; 1); no puede ser cubierta por un nmero nito de elementos de
U. Como BX (x0 ; 1) es totalmente acotado (ver Proposicin 7.3), est contenido en un
nmero nito de bolas abiertas de radio 12 cuyos centros estn en BX (x0 ; 1). Por con-
siguiente, existe x1 2 BX (x0 ; 1) tal que BX (x1 ; 12 ); no puede ser cubierta por un nmero
nito de elementos de U: De este modo construmos, inductivamente, una sucesin (xk )
tal que xk 2 BX (xk 1 ; 2k1 1 ) y BX (xk ; 21k ) no puede ser cubierta por un nmero nito
de elementos de U. Para toda j k, se tiene entonces que
1 1 1
dX (xk ; xj ) dX (xk ; xk+1 ) + + dX (xj 1 ; xj ) < + + < ; (7.1)
2k 2j 1 2k 1
es decir, la sucesin (xk ) es Cauchy. Como X es completo, esta sucesin converge a un
punto x en X: Haciendo tender j ! 1 en la desigualdad (7.1) obtenemos que
1
dX (xk ; x ) 8k 2 N:
2k 1
Por otra parte, como x 2 X, existe U 2 U tal que x 2 U . Como U es abierto,
existe " > 0 tal que BX (x ; ") U : Sea k tal que 2k1 1 < 2" : Entonces, para todo
x 2 BX (xk ; 21k ); se tiene que
1 1
dX (x; x ) dX (x; xk ) + dX (x ; xk ) < k
+ k 1 < ";
2 2
es decir,
1
BX (xk ;
) BX (x ; ") U :
2k
Esto es una contradiccin, ya que habamos supuesto que BX (xk ; 21k ) no puede ser
cubierta por un nmero nito de elementos de U.
Heine-Borel. La caracterizacin (c) es muy til, como veremos en las siguientes sec-
ciones.
C 0 (K; X) := ff : K ! X : f es continuag
que introdujimos en la Denicin 5.16. Usaremos el Corolario 7.6 para obtener una
caracterizacin sencilla de los subconjuntos relativamente compactos de C 0 (K; X). La
siguiente nocin jugar un papel fundamental.
El aspecto crucial de esta denicin es que la misma > 0 nos sirve para todas las
funciones que pertenecen a H: Un ejemplo en el que esto no se cumple es el siguiente.
no es equicontinuo en 0:
1
0 .5
0
-1 -0 .5 0 0 .5 1
-0 .5
-1
f3
H(z) := ff (z) : f 2 Hg
Sean f; g 2 H y sea z 2 K: Se sigue de (7.4) que existe i 2 f1; :::; mg tal que
dK (z; zi ) < zi y, en consecuencia, (7.3) implica que dX (h(z); h(zi )) < 4" para toda
h 2 H: Por tanto,
dX (f (z); g(z)) dX (f (z); f (zi )) + dX (f (zi ); x (i) )
+dX (g(zi ); x (i) ) + dX (g(z); g(zi )) < ":
Tomando el mximo sobre toda z 2 K concluimos que d1 (f; g) < " para todas f; g 2
H : En consecuencia, para cualquier eleccin de g 2 H ; se cumple que
H B1 (g ; "): (7.7)
De (7.6) y (7.7) se sigue que [
H B1 (g ; "):
2S
Por tanto, H es totalmente acotado.
es un operador compacto.
Demostracin: Sea (fk ) una sucesin en C 0 [a; b] tal que kfk k1 c para algn c 2 R:
Entonces,
Z x
j(Vfk )(x)j jK(x; y)j jfk (y)j dy (b a) kKk1 kfk k1 (b a) kKk1 c
a
para todo x 2 [a; b] y todo k 2 N: Por tanto, kVfk k1 (b a) kKk1 c para todo k 2 N,
es decir, H := fVfk : k 2 Ng es acotado en C 0 [a; b]: Ms an, como K es uniformemente
continua, para cada " > 0 existe 1 > 0 tal que
"
jK(x1 ; y1 ) K(x2 ; y2 )j < si k(x1 ; y1 ) (x2 ; y2 )k < 1:
2(b a)c
Z x1 Z x2
j(Vfk ) (x1 ) (Vfk ) (x2 )j = (K(x1 ; y) K(x2 ; y))fk (y)dy K(x2 ; y)fk (y)dy
a x1
Z x1 Z x2
jK(x1 ; y) K(x2 ; y)j jfk (y)j dy + jK(x2 ; y)j jfk (y)j dy
a x1
" "
< (b a) c+ kKk1 c = ";
2(b a)c 2 kKk1 c
u0 = (t; u);
u(t0 ) = x0 :
y consideremos el conjunto
K := f(t; x) 2 R Rn : jt t0 j r; kx x0 k rg:
y sea
r
g: := m nfr;
M
Empezaremos demostrando que el problema de Cauchy tiene soluciones aproximadas.
Lema 7.13 Dada " > 0 existe u" 2 C 0 ([t0 ; t0 + ] ; Rn ) con las siguientes propiedades:
(i) u" (t0 ) = x0 .
(ii) ku" (t) x0 k r para todo t 2 [t0 ; t0 + ] :
(iii) ku" (t) u" (s)k M jt sj si s; t 2 [t0 ; t0 + ] :
(iv) Existe un subconjunto nito F" de (t0 ; t0 + ) tal que u" es continuamente
diferenciable en (t0 ; t0 + ) r F" ; y
Probaremos primero que u" est bien denida, es decir, que u" (ti ) 2 para todo
i = n; :::; n: Para ello, basta probar que
ku" (t) u" (s)k ku" (t) u" (tj+i )k + + ku" (tj ) u" (s)k
M (t tj+i ) + + M (tj s) = M jt sj :
128 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
k (t; u" (t)) u0" (t)k = k (t; u" (t)) (ti ; u" (ti ))k ":
donde u1=k es la funcin dada por el Lema 7.13. En particular, si denotamos por x0 a
la funcin constante con valor x0 denida en [t0 ; t0 + ] ; la funcin u1=k satisface
u1=k x0 1
:= max u1=k (t) x0 r:
jt t0 j
Esto prueba que H est acotado en C 0 ([t0 ; t0 + ] ; Rn ): Por otra parte, dada " > 0;
la propiedad (iii) del Lema 7.13 asegura que, para toda k 2 N,
"
u1=k (t) u1=k (s) < " si jt sj < :
M
Esto prueba que H es equicontinuo.
El Corolario 7.10 asegura entonces que H es relativamente compacto en C 0 ([t0 ; t0 + ] ; Rn ).
Por tanto, existen una subsucesin (u1=kj ) de (u1=k ) y una funcin u 2 C 0 ([t0 ; t0 + ] ; Rn )
tales que
u1=kj ! u cuando j ! 1 en C 0 ([t0 ; t0 + ] ; Rn ): (7.12)
7.3. EL PROBLEMA DE CAUCHY 129
Sea " > 0: Como es uniformemente continua en K; existe > 0 tal que
"
k (s; x) (s; y)k < si (s; x); (s; y) 2 K y kx yk < :
3
"
Tomemos j0 2 N tal que kj
< 3
para todo j j0 y tal que
"
u1=kj u 1
< m nf ; g si j j0 :
3
Entonces, usando el Lema 6.17, para cada t 2 [t0 ; t0 + ] obtenemos
Z t
(s; u1=kj (s)) (s; u (s)) ds jt t0 j max (s; u1=kj (s)) (s; u (s))
t0 js t0 j
"
< si j j0 :
3
Usando adems el teorema fundamental del Clculo y la propiedad (iv) obtenemos
Z t Z th i
0
u1=kj (t) x0 (s; u1=kj (s))ds = u1=kj (s) (s; u1=kj (s)) ds
t0 t0
1
jt t0 j
kj
"
< si j j0 :
3
En consecuencia,
Z t
u (t) x0 (s; u (s))ds u (t) u1=kj (t)
t0
Z t
+ u1=kj (t) x0 (s; u1=kj (s))ds
t0
Z t
+ (s; u1=kj (s)) (s; u (s)) ds
t0
< ";
130 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
para toda " > 0: Esto demuestra (7.13). El Lema 6.14 asegura entonces que u es
solucin del problema (7.11).
P
m
L( ) := sup d( (tk 1 ); (tk )) : a = t0 t1 tm = b; m 2 N
k=1
(ver Denicin 4.20). El objetivo de esta seccin es dar una respuesta a la siguiente
pregunta.
y la funcin longitud
Demostracin: Sea 2 Tx;y (X) tal que L( ) c: Las funciones k : [0; 1] ! [0; 1]
dadas por
kt si t 2 0; k1 ;
k (t) :=
1 si t 2 k1 ; 1 ;
son continuas, no decrecientes y suprayectivas. Por tanto, k := k es una repara-
metrizacin de y, en consecuencia, L( k ) = L( ) c: Observa que
1
k (t) = (1) = y si t 2 (0; 1] y k ;
t
k (0) = (0) = x para todo k 2 N:
x si t = 0;
(t) = l m kj (t) =
j!1 y si t 2 (0; 1];
132 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
c
lo que contradice la continuidad de : En consecuencia, L no es compacto.
Denicin 7.19 Decimos que una trayectoria 2 C 0 ([0; 1]; X) de longitud nita est
parametrizada proporcionalmente a la longitud de arco si
(0)=(1)
0 1
Denotamos por
Lema 7.20 Para cada 2 Tx;y (X) de longitud nita existe ^ 2 T^x;y (X) tal que L(^ ) =
L( ):
Demostracin: Por hiptesis, Tx;y (X) 6= ;: Si todas las trayectorias en Tx;y (X)
tienen longitud innita, cualquiera de ellas es un mnimo de L. Supongamos que Tx;y (X)
contiene una trayectoria de longitud nita. Por el Lema 7.20, basta probar que la funcin
L : T^x;y (X) ! R [ f1g
H := f 2 T^x;y (X) : L( ) 6 ;:
cg =
Usaremos el teorema de Arzel-Ascoli para probar que este conjunto es relativamente
compacto. Como X es compacto, cualquier subconjunto de X es relativamente compacto
en l. En particular, H(t) es relativamente compacto en X para todo t 2 [0; 1]: As pues,
basta probar que H es equicontinuo. Sean t0 2 [0; 1] y " > 0: Para toda 2 H se cumple
que
d( (t); (t0 )) L( j[0;t] ) L( j[0;t0 ] )
"
= L( ) jt t0 j c jt t0 j < " si jt t0 j < :
c
Esto prueba que H es equicontinuo. El teorema de Arzel-Ascoli asegura entonces que
H es relativamente compacto en C 0 ([0; 1]; X):
Como L es s.c.i. (ver Proposicin 4.21), se tiene que H es cerrado en C 0 ([0; 1]; X)
[Ejercicio 4.46]. En consecuencia, H es compacto. El Teorema 4.29 asegura entonces
que L alcanza su mnimo en T^x;y (X).
134 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
7.5. Ejercicios
Ejercicio 7.22 Sea A un subconjunto de X: Investiga si es falsa o verdadera cada una
de las siguientes armaciones.
(a) Si A es acotado, entonces A es totalmente acotado.
(b) Si A es totalmente acotado, entonces A es compacto.
(c) Si A es totalmente acotado, entonces A es relativamente compacto en X.
(d) Si A es relativamente compacto en X, entonces A es totalmente acotado.
(e) Si X es compacto, entonces A es relativamente compacto en X:
Ejercicio 7.25 Prueba que los subconjuntos totalmente acotados de Rn son precisa-
mente los conjuntos acotados.
1
Q := (xk ) 2 `2 : jxk j
2k 1
Ejercicio 7.30 Sean Z y X espacios mtricos y H C 0b (Z; X): Prueba que, si existen
C; > 0 tales que
entonces H es equicontinuo.
Ejercicio 7.31 Sean Z y X espacios mtricos. Prueba que la cerradura en Cb0 (Z; X)
de cualquier subconjunto equicontinuo es equicontinua.
p
Ejercicio 7.32 Sea fk : [0; 1) ! R la funcin dada por fk (t) := sen t + 4 2 k 2 :
Demuestra las siguientes armaciones.
(a) El conjunto H := ffk : k 2 Ng es equicontinuo.
(b) El conjunto H(t) es relativamente compacto en R para cada t 2 [0; 1): (Sugerencia:
Prueba que la sucesin (fk ) converge puntualmente a 0 en [0; 1):)
(c) H no es un subconjunto compacto de Cb0 ([0; 1); R). (Sugerencia: Prueba que la
sucesin (fk ) no converge uniformemente a 0 en [0; 1):)
Concluye que la compacidad de K es necesaria en el teorema de Arzel-Ascoli.
Ejercicio 7.36 Sea K : [a; b] [a; b] ! R una funcin continua. Prueba que el operador
de Fredholm F : C 0 [a; b] ! C 0 [a; b] dado por
Z b
(Ff )(x) := K(x; y)f (y)dy
a
es un operador compacto.
L( ) = L( ):
Ejercicio 7.38 Sea 2 C 0 ([0; 1]; X) una trayectoria de longitud nita. Prueba que la
funcin : [0; 1] ! [0; L( )]; dada por
(t) := L( j[0;t] );
Ejercicio 7.39 Sea 2 C 0 ([0; 1]; X) una trayectoria de longitud nita. Prueba que la
funcin e : [0; L( )] ! X dada por
es continua.
Teoremas de aproximacin
Cuando hacemos clculos con nmeros reales usamos siempre una aproximacin
decimal de stos, es decir, usamos algn nmero racional sucientemente cercano al
nmero real que nos interesa.
En este captulo probaremos que toda funcin continua f : [a; b] ! R se puede
aproximar uniformemente por una funcin polinomial. Este resultado se conoce como
el teorema de aproximacin de Weierstrass y tiene gran relevancia desde el punto de
vista terico y prctico, ya que que los polinomios son funciones sencillas y fciles de
calcular.
De hecho, exhibiremos una sucesin explcita de polinomios que converge uniforme-
mente a f en [a; b]; los polinomios de Bernstein, y estimaremos el error en la aproxi-
macin.
La versin original del teorema de aproximacin fue formulada por Karl Weierstrass
en 1885. En 1937 Marshall H. Stone1 generaliz considerablemente este resultado, y sim-
plic su demostracin. Su resultado se conoce como el teorema de Stone-Weierstrass,
y extiende el resultado original de Weierstrass en dos sentidos: permite remplazar al
intervalo [a; b] por cualquier espacio mtrico compacto K; y permite remplazar a los
polinomios por subconjuntos ms generales del espacio de funciones continuas C 0 (K; R):
En este captulo expondremos tambin este resultado.
n
n;k (t) = tk (1 t)n k ;
k
donde
n n!
=
k k!(n k)!
es el coeciente binomial. De la conocida frmula binomial
X
n
n
n
(a + b) = ak b n k
k
k=0
se sigue que
X
n
Xn 1
t = t n 1;k (t)
j=0
X
n 1
n 1
= tj+1 (1 t)n 1 j
j
j=0
X
n 1
j+1 n
= tj+1 (1 t)n (j+1)
n j+1
j=0
X
n
k
= n;k (t)
k=1
n
Xn
k
= n;k (t):
k=0
n
En consecuencia,
X
n
nt = k n;k (t): (8.2)
k=0
8.1. EL TEOREMA DE APROXIMACIN DE WEIERSTRASS 139
[Ejercicio 8.12].
0 .2 5
0 .7 5
0 .2
0 .5 0 .1 5
0 .1
0 .2 5
0 .0 5
0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
t t
0 .2 5
0 .7 5
0 .2
0 .1 5 0 .5
0 .1
0 .2 5
0 .0 5
0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
t t
X
n
k
n (t) = f;n (t) = f n;k (t):
k=0
n
2
Sergei Natanovich Bernstein (1880-1968) fue un matemtico ruso. En su tesis doctoral, presentada
en 1904 en la Sorbona, resolvi el 19o problema de Hilbert sobre la solucin analtica de ecuaciones
diferenciales elpticas. Realiz importantes contribuciones a la teora de probabilidad, la teora con-
structiva de funciones y los fundamentos matemticos de la gentica.
140 8. TEOREMAS DE APROXIMACIN
En consecuencia,
X
n
k X
n
k
f (t) f;n (t) = (f (t) f ) n;k (t) f (t) f n;k (t): (8.5)
k=0
n k=0
n
Probaremos que el lado derecho de esta desigualdad es menor que " si n satisface
( )
1 kf k21
n max 4; (8.6)
"2
Consideremos los conjuntos
( 1
)
k 1 4
I1 = k 2 N [ f0g : 0 k n; t < ;
n n
I2 = fk 2 N [ f0g : 0 k n; k 2
= I1 g;
1
y tomemos una n que cumple (8.6). Entonces n1 4 ; y se sigue de (8.4) y de (8.1)
que
X k X" "X
n
"
f (t) f n;k (t) < n;k (t) n;k (t) = : (8.7)
k2I1
n k2I1
2 2 k=0
2
k 2
p
Por otra parte, si k 2 I2 entonces (t n ) n y, en consecuencia,
X k X
f (t) f n;k (t) 2 kf k1 n;k (t)
k2I
n k2I
2 2
X (t k 2
)
n
= 2 kf k1 k 2 n;k (t)
k2I2
(t n
)
p X k
2
2 kf k1 n t n;k (t): (8.8)
k2I2
n
8.1. EL TEOREMA DE APROXIMACIN DE WEIERSTRASS 141
2
Multiplicando la igualdad (8.1) por t2 ; la igualdad (8.2) por n
t; y la suma de las
igualdades (8.2) y (8.3) por n12 obtenemos, respectivamente,
X
n
2
t = t2 n;k (t);
k=0
Xn
k
2t2 = 2 t n;k (t);
k=0
n
1 1 Xn 2
k
1 t2 + t = n;k (t):
n n k=0
n2
1 X
n
k
2
2
(t t )= t n;k (t): (8.10)
n k=0
n
X k "
f (t) f n;k (t) :
k2I2
n 2
X
n
k
f (t) f;n (t) f (t) f n;k (t)
k=0
n
X k X k
= f (t) f n;k (t) + f (t) f n;k (t) <"
k2I1
n k2I2
n
Observa que la frmula (8.11) nos da una estimacin del error, en trminos de f; en
cada paso de la aproximacin.
El siguiente resultado es consecuencia inmediata del teorema anterior.
kpn f k1 := max jpn (s) f (s)j = max g;n (t) g(t) =: g;n g 1
:
s2[a;b] t2[0;1]
Ejemplo 8.4 Sea f (t) = sen 1t ; t 2 (0; 1]: Ninguna sucesin de polinomios converge
uniformemente a f en (0; 1]:
y 1
0 .5
0
0 .2 0 .4 0 .6 0 .8 1
-0 .5
-1
8.2. EL TEOREMA DE STONE-WEIERSTRASS 143
pk ! g en C 0 [0; 1]:
1
g(t) = l m pk (t) = sen 8t 2 (0; 1]:
k!1 t
Como g es continua en [0; 1], se tiene entonces que
n 2
l m sen = lm g = g(0);
n!1 2 n!1 n
con coecientes reales. En trminos de la denicin anterior, el Teorema 8.3 arma que
el conjunto de funciones polinomiales en [a; b];
C 0 (K) := C 0 (K; R)
kf k1 := max jf (x)j :
x2K
Observa que C 0 (K) no slo es un espacio vectorial sino que cuenta adems con un
producto, denido como sigue:
f g : K ! R; (f g)(x) := f (x)g(x):
En trminos algebraicos, las primeras tres condiciones (a), (b) y (c) se expresan
diciendo que "A es una R-sublgebra con unidad de la R-lgebra de funciones continuas
C 0 (K)". La propiedad (d) suele expresarse diciendo que A separa puntos.
Para demostrar el teorema de Stone-Weierstrass usaremos los siguientes cuatro
lemas.
8.2. EL TEOREMA DE STONE-WEIERSTRASS 145
'(x1 ) 1
6= 0;
'(x2 ) 1
'(x1 ) + = c1 (8.12)
'(x2 ) + = c2 (8.13)
De las propiedades (a) y (c) se sigue que la funcin := ' + 1 2 A. Las igualdades
(8.12) y (8.13) arman que (x1 ) = c1 y (x2 ) = c2 :
Lema 8.8 La cerradura A de A en C 0 (K) tambin tiene las propiedades (a), (b) y (c).
m
p '= 0 + 1' + + m' 2 A:
K BK (y1 ; y1 ) [ [ BK (ym ; ym ):
8.2. EL TEOREMA DE STONE-WEIERSTRASS 147
Sea 'x := maxf'x;y1 ; :::; 'x;ym g: El Lema 8.10 asegura que 'x 2 A: Puesto que cada
z 2 K pertenece a alguna B(yi ; yi ); la desigualdad (8.16) implica que
'x (z) f (z) > " 8z 2 K: (8.17)
Por otra parte, dado que 'x;y (x) = f (x) para todo y 2 K; se tiene que 'x (x) = f (x) y,
como 'x f es continua, existe x > 0 tal que
j'x (z) f (z)j < " 8z 2 BK (x; x ): (8.18)
De la compacidad de K se sigue que existen x1 ; :::; xn 2 K tales que
K BK (x1 ; x1 ) [ [ BK (xn ; xn ):
Sea ' := m nf'x1 ; :::; 'xn g: El Lema 8.10 asegura que ' 2 A: Puesto que cada z 2 K
pertenece a alguna B(xi ; xi ); usando la desigualdad (8.18) obtenemos que
'(z) f (z) < " 8z 2 K: (8.19)
Y, como la desigualdad (8.17) vale para toda x 2 K; se tiene adems que
'(z) f (z) > " 8z 2 K: (8.20)
Las desigualdades (8.19) y (8.20) implican que k' f k1 < ": Por consiguiente, dado
que ' 2 A; conclumos que f 2 A:
Denotemos por R [x1 ; :::; xn ] al conjunto de polinomios
X
m
ki;1
p(x1 ; :::; xn ) = i x1 xkni;n ; ai 2 R; ki;j 2 N [ f0g;
i=1
8.3. Ejercicios
Ejercicio 8.12 Demuestra la igualdad (8.3).
es denso en Rn .
Ejercicio 8.16 Sea Q1 el conjunto de todas las sucesiones (q1 ; :::; qk ; 0; 0; :::) de nmeros
racionales tales que slo un nmero nito de sus trminos es distinto de cero. Prueba
que Q1 es denso en `p para todo p 2 [1; 1):
q (t) = q0 + q1 t + + qn tn ; n 2 N [ f0g; qi 2 Q,
Prueba que Z 1
f 2 (x)dx = 0
0
y concluye que f (x) = 0 para todo x 2 [0; 1]:
Ejercicio 8.24 Sea S1 = f(cos ; sin ) 2 R2 : 0 2 g el crculo unitario en R2 .
1
Prueba que cualquier funcin continua f : S ! R es el lmite uniforme de funciones
de la forma
'(cos ; sin ) = a0 + a1 cos + b1 sin + + an cos n + bn sin n
con ai ; bi 2 R; n 2 N [ f0g:
Ejercicio 8.25 Sean X y Y espacios mtricos compactos. Prueba que cualquier funcin
continua f : X Y ! R es el lmite uniforme de funciones de la forma
'(x; y) = f1 (x)g1 (y) + + fn (x)gn (y);
con f1 ; :::; fn 2 C 0 (X); g1 ; :::; gn 2 C 0 (Y ) y n 2 N:
Ejercicio 8.26 Investiga lo que es una R-lgebra con unidad y prueba que, para cualquier
espacio mtrico X, el espacio C 0 (X) es una R-lgebra con unidad.
Ejercicio 8.27 Sea A un subespacio vectorial de C 0 (X): Prueba que A es un subespacio
vectorial de C 0 (X): (Sugerencia: Usa el Ejercicio 3.49.)
150 8. TEOREMAS DE APROXIMACIN
Parte II
Diferenciabilidad
151
Captulo 9
Diferenciabilidad
La idea bsica del Clculo Diferencial consiste en aproximar localmente a una fun-
cin por una funcin lineal. La derivada de una funcin f : Rn ! Rm en un punto x0
de Rn es la funcin lineal f 0 (x0 ) : Rn ! Rm que mejor aproxima a f en dicho punto.
(T1 + T2 )v := T1 v + T2 v; ( T1 )v := T1 v;
Proposicin 9.1 Sea T : V ! W una funcin lineal. Las siguientes armaciones son
equivalentes:
(i) T es continua.
(ii) T es continua en 0:
(iii) Existe c 2 R tal que kT vkW c kvkV para todo v 2 V:
(iv) T es Lipschitz continua.
En consecuencia,
2 v 2
kT vkW = kvkV T < kvkV 8v 2 V:
2 kvkV W
Denimos
kT vkW
kT kL(V;W ) := sup 8T 2 L(V; W ): (9.1)
v2V kvkV
v6=0
9.1. EL ESPACIO DE FUNCIONES LINEALES Y CONTINUAS 155
La armacin (iii) de la Proposicin 9.1 asegura que kT kL(V;W ) < 1: Es sencillo com-
probar que sta es una norma en L(V; W ) [Ejercicio 9.32]. Observa que
kT vkW kT kL(V;W ) kvkV 8v 2 V: (9.2)
Usaremos con frecuencia esta desigualdad.
Proposicin 9.2 L(V; W ) con la norma denida en (9.1) es un espacio de Banach.
Demostracin: Sean (Tk ) una sucesin de Cauchy en L(V; W ) y " > 0: Entonces
existe k0 2 N tal que
kTk Tj kL(V;W ) < " si j; k k0 ;
es decir,
kTk v Tj vkW < " kvkV si j; k k0 ; 8v 2 V: (9.3)
Por tanto, para cada v 2 V; la sucesin (Tk v) es de Cauchy en W y, como W es un
espacio de Banach, existe T v 2 W tal que
Tk v ! T v en W:
Probaremos ahora que T 2 L(V; W ): Sean v; w 2 V; ; 2 R: Se tiene que
T ( v + w) = l m Tk ( v + w) = l m ( Tk v + Tk w)
k!1 k!1
= l m Tk v + l m Tk w = T v + T w:
k!1 k!1
Esto prueba que T es lineal. Por otra parte, haciendo tender k ! 1 en la desigualdad
(9.3) obtenemos
kT v Tj vkW " kvkV si j k0 ; 8v 2 V: (9.4)
Por tanto,
kT vkW kT v Tk0 vkW + kTk0 vkW
" kvkV + kTk0 kL(V;W ) kvkV
h i
" + kTk0 kL(V;W ) kvkV 8v 2 V:
De la Proposicin 9.1 se sigue que T es continua.
Finalmente, la desigualdad (9.4) implica que
kT v Tj vkW
" si j k0 ; 8v 2 V;
kvkV
Por tanto,
kT Tj kL(V;W ) " si j k0 :
Esto prueba que Tj ! T en L(V; W ): En consecuencia, L(V; W ) es un espacio de
Banach.
156 9. DIFERENCIABILIDAD
9.2. Diferenciabilidad
Para denir diferenciabilidad requerimos generalizar la nocin de lmite.
y0 = l m f (x)
x!x0
La condicin (9.5) se expresa como sigue: Para cada " > 0 existe > 0 tal que, para
todo v 2 V con kvkV < ; se cumple que
En consecuencia,
kT1 v T2 vkW < " kvkV 8v 2 V:
Como " > 0 es arbitraria, necesariamente T1 v = T2 v:
Por tanto,
P
1
j'(x + y) '(x) 2 xk yk j
k=1
= kyk`2 ! 0 cuando y ! 0:
kyk`2
Para cada x 2 `2 ; la funcin T : `2 ! R dada por
P
1
T y := 2 xk yk
k=1
donde
0
o3 (v) := (v0 )o1 (v) + o2 ('0 (u0 )v + o1 (v)):
Demostraremos ahora que
ko3 (v)kZ
lm = 0: (9.6)
v!0 kvkV
Sea " > 0: Denotemos por
" "
"1 := m n ;1 ; "2 := :
2c2 2c1
Existen 1; 2 > 0 tales que
Es decir,
0 (t + t0 ) (t0 )
(t0 ) = l m 2 V:
t!0 t
Esto nos permite interpretar a 0 (t0 ) como la velocidad de la trayectoria : (a; b) ! V
en el tiempo t0 : Si V = R entonces 0 (t0 ) 2 R es la pendiente de la recta tangente a la
grca de en el punto (t0 ; (t0 )):
El teorema anterior nos permite acotar la diferencia entre dos valores de una funcin
diferenciable ' : ! W cuando su derivada est acotada en el segmento que une a los
puntos correspondientes.
u1
u0
donde x = (xk ), y = (yk ) 2 `2 : Para probar que '0 es continua observemos que, si
z = (zk ) 2 `2 ; aplicando la desigualdad de Hlder para series (ver Ejercicio 2.41)
obtenemos
P
1
j'0 (z)y '0 (x)yj = 2 (zk xk )yk 2 kz xk`2 kyk`2 :
k=1
Por tanto,
j'0 (z)y '0 (x)yj
k'0 (z) '0 (x)kL(`2 ;R) = sup 2 kz xk`2 :
y2`2 kyk`2
y6=0
Como consecuencia del teorema del valor medio obtenemos el siguiente resultado.
Corolario 9.16 Si es abierto en V; ' : ! W es de clase C 1 en y u0 ; u1 2 son
tales que ut := (1 t)u0 + tu1 2 para toda t 2 [0; 1]; entonces
sup k'0 (ut )kL(V;W ) < 1
t2[0;1]
y
k'(u1 ) '(u0 )kW sup k'0 (ut )kL(V;W ) ku1 u 0 kV :
t2[0;1]
164 9. DIFERENCIABILIDAD
Ahora bien, la funcin que a cada t 2 [0; 1] le asocia el valor k'0 (ut )kL(V;W ) 2 R es una
funcin continua, ya que es la composicin de las funciones continuas
'0 k kL(V;W )
[0; 1] ! ! L(V; W ) ! R.
k'(u1 ) '(u0 ) '0 (u)(u1 u0 )kW sup k'0 (ut ) '0 (u)kL(V;W ) ku1 u0 kV :
t2[0;1]
9.4. UN CRITERIO DE DIFERENCIABILIDAD 165
0
Demostracin: Sea := ' '0 (u): Entonces (v) = '0 (v) '0 (u) para toda v 2 :
Aplicando el corolario anterior obtenemos que
Es decir,
'(u0 + tv) '(u0 )
'0 (u0 )v = l m 8v 2 V:
t!0 t
De este modo obtenemos una condicin necesaria para que ' sea diferenciable en
u0 . En primer lugar, para cada v 2 V debe existir el lmite
pertenece a L(V; W ).
' es Gteaux-diferenciable en si lo es en todo punto u 2 : La funcin
0 v (t
+ h) v (t)
v (t) = lm
h!0 h
'(u0 + tv + hv) '(u0 + tv) G'(u0 )(hv)
= lm
h!0 h
'(u0 + tv + hv) '(u0 + tv)
= lm G'(u0 )v
h!0 h
= G'(u0 + tv)v G'(u0 )v:
Esto prueba que ' es diferenciable en u0 y '0 (u0 ) = G'(u0 ): Como G' es continua, '
es de clase C 1 en :
Del teorema del valor medio (ver Corolario 9.17) y la desigualdad anterior se sigue que,
si x; x + hz 2 [ M; M ], jhzj < y s 2 [0; 1]; entonces
jf (x + hz) f (x) f 0 (x)hz)j sup jf 0 (x + shz) f 0 (x)j jhzj < ~" jhzj : (9.16)
s2[0;1]
Observa que
Por tanto, podemos aplicar la desigualdad (9.16) con x := u(t); z := v(t) y 0 < jhj <
m nf1; kvk g para obtener
1
Z b
'(u + hv) '(u)
f 0 (u(t))v(t)dt
h a
Z b
f (u(t) + hv(t)) f (u(t))
f 0 (u(t))v(t) dt < ":
a h
Esto prueba que
Z b
'(u + hv) '(u)
f 0 (u(t))v(t)dt = l m =: G'(u)v:
a h!0 h
La funcin G'(u) : C 0 [a; b] ! R es claramente lineal y, como
Z b
jG'(u)vj f 0 (u(t))dt kvk1 8v 2 C 0 [a; b];
a
la Proposicin 9.1 asegura que G'(u) es continua. Por tanto, ' es Gteaux-diferenciable
en u para todo u 2 C 0 [a; b]:
Probaremos ahora que G' : C 0 [a; b] ! L(C 0 [a; b]; R) es continua. Sean u0 2 C 0 [a; b]
y " > 0: Denotemos por M0 := ku0 k1 + 1: Como f 0 es uniformemente continua en
[ M0 ; M0 ]; existe 2 (0; 1) tal que
"
jf 0 (x) f 0 (y)j < 8x; y 2 [ M0 ; M0 ] con jx yj < :
(b a)
9.5. DERIVADAS PARCIALES 169
Por tanto,
Z b
jG'(u)v G'(u0 )vj jf 0 (u(t)) f 0 (u0 (t))j jv(t)j dt < " kvk1 :
a
En consecuencia,
j;u := fv 2 Vj : u + j v 2 g
170 9. DIFERENCIABILIDAD
j,u
0 j,u
Los siguientes ejemplos relacionan estos conceptos con los que ya conocemos de
Clculo.
9.5. DERIVADAS PARCIALES 171
@'
(x) 2 R:
@xj
@' @'
r'(x) := (x); :::; (x) 2 Rn :
@x1 @xn
Xn
@'
'0 (x)y = (x)yj = r'(x) y;
j=1
@x j
j : Rm ! R; j (z1 ; :::; zm ) := zj ;
"
k'(u + 1 v1 ) '(u) @1 '(u)v1 kW < kv1 kV1 si kv1 kV1 < ; (9.18)
4
"
k@2 '(u + v) @2 '(u)kL(V2 ;W ) < si kvkV1 V2 < :
4
La segunda desigualdad implica que
k@2 '(u + 1 v1 )v2 @2 '(u)v2 kW k@2 '(u + 1 v1 ) @2 '(u)kL(V2 ;W ) kv2 kV2
"
< kv2 kV2 si kv1 kV1 < ; (9.19)
4
y tambin que
k@2 '(u + 1 v1 + t 2 v2 ) @2 '(u + 1 v1 )kL(V2 ;W )
k@2 '(u + 1 v1 + t 2 v2 ) @2 '(u)kL(V2 ;W ) + k@2 '(u) @2 '(u + 1 v1 )kL(V2 ;W )
"
< si kvkV1 V2 < y t 2 [0; 1]:
2
De esta ltima desigualdad y el Corolario 9.17 se sigue que
k'(u + v) '(u + 1 v1 ) @2 '(u + 1 v1 )v2 kW
sup k@2 '(u + 1 v1 + t 2 v2 ) @2 '(u + 1 v1 )kL(V2 ;W ) kv2 kV2
t2[0;1]
"
< kv2 kV2 si kvkV1 V2 < : (9.20)
2
9.6. DERIVADAS DE ORDEN SUPERIOR 173
Esto prueba que ' es diferenciable en u y '0 (u)v = @1 '(u)v1 + @2 '(u)v2 : Por tanto, '
es de clase C 1 en .
Veremos a continuacin que el espacio L(V; L(V; W )) tiene una representacin sen-
cilla como el espacio de funciones bilineales y continuas V V ! W:
En general, si V1 ; :::; Vk ; W son espacios de Banach, una funcin F : V1 Vk ! W
es k-multilineal si es lineal en cada variable, es decir, si para cada j 2 f1; :::; kg y
ui 2 Vi , i 6= j; la funcin
Si V1 = = Vk = V escribimos simplemente
En consecuencia,
2k
kF (v)kW k
kv1 kV1 kvk kVk 8v = (v1 ; :::; vk ) 2 V1 Vk :
Esta es una norma en L(V1 ; :::; Vk ; W ); que coincide con la denida en (9.1) cuando
k = 1:
Es fcil comprobar que la identidad
kF kL(V1 ;V2 ;W ) = F^
L(V1 ;L(V2 ;W ))
9.6. DERIVADAS DE ORDEN SUPERIOR 175
Sean v; w 2 V tales que kvkV < y kwkV < : Denimos : [0; 1] ! W como
(t) := '(u + tv + w) '(u + tv):
Entonces
0
(t) D2 '(u)w v = '0 (u + tv + w)v '(u)v D2 '(u)(tv + w)v
'0 (u + tv)v '(u)v D2 '(u)(tv)v :
Aplicando (9.24) obtenemos
0
(t) D2 '(u)w v W
'0 (u + tv + w) '0 (u) D2 '(u)(tv + w) L(V;W )
kvkV
+ '0 (u + tv) '0 (u) D2 '(u)(tv) L(V;W )
kvkV
< 2" (kvkV + kwkV ) kvkV 8t 2 [0; 1]:
El Corolario 9.17 y la desigualdad anterior implican que
(1) (0) D2 '(u)w v W
k (1) (0) 0
(0)kW + 0
(0) D2 '(u)w v W
0 0 0 2
sup k (t) (0)kW + (0) D '(u)w v W
t2[0;1]
0
3 sup (t) D2 '(u)w v W
t2[0;1]
En consecuencia,
D2 '(u)v w D2 '(u)w v W
6" (kvkV + kwkV )2 si maxfkvkV ; kwkV g < :
Si v; w 2 V son arbitrarios, escogemos 2 (0; 1] tal que k vkV < y k wkV < :
Entonces
1
D2 '(u)v w D2 '(u)w v W
= 2 D2 '(u) ( v) ( w) D2 '(u) ( w) ( v) W
1
2 6" (k vkV + k wkV )2 = 6" (kvkV + kwkV )2 :
As pues,
D2 '(u)v w D2 '(u)w v W
6" (kvkV + kwkV )2 8v; w 2 V:
Como " > 0 es arbitraria, conclumos que (D2 '(u)v) w = (D2 '(u)w) v para todos
v; w 2 V:
Demostracin: La funcin real de variable real f (t) := '(u0 + tv) est denida en
algn intervalo abierto que contiene a [0; 1]; es de clase C k+1 en dicho intervalo y
En efecto, por la regla de la cadena, Df (t) = D'(u0 + tv)v: Argumentando por in-
duccin, si Dj 1 f (t) = Dj 1 '(u0 + tv)(v; : : : ; v) para algn j = 2; :::; k + 1; entonces
Dj 1 f = E (Dj 1 ') donde (t) := u0 +tv y E es la funcin que a cada F 2 Lj 1 (V; R)
le asocia el valor F (v; : : : ; v) 2 R. Observa que E es lineal y continua [Ejercicio 9.50].
Entonces, por la regla de la cadena,
1 1 1
'(u0 + v) = f (1) = f (0) + Df (0) + D2 f (0) + + Dk f (0) + Dk+1 f ( )
2 k! (k + 1)!
1 2
= '(u0 ) + D'(u0 )v + D '(u0 )(v; v) +
2
1 k 1
+ D '(u0 )(v; : : : ; v ) + Dk+1 '(u0 + v)(v; : : : ; v ):
k! | {z } (k + 1)! | {z }
k veces k+1 veces
1 k
rk (v) := '(u0 + v) '(u0 ) D'(u0 )v D '(u0 )(v; : : : ; v )
k! | {z }
k veces
rk (v)
lm = 0:
v!0 kvkkV
9.8. EJERCICIOS 179
Demostracin: Sea > 0 tal que BV (u0 ; ) : Aplicando el Teorema 9.30 con k
en vez de k + 1 obtenemos que, para cada v 2 BV (0; ); existe 2 (0; 1) tal que
kP1
1 j 1
'(u0 + v) = D '(u0 )(v; : : : ; v) + Dk '(u0 + v)(v; : : : ; v)
j=0 j! k!
Pk 1
= Dj '(u0 )(v; : : : ; v) + rk (v):
j=0 j!
Por tanto,
1
rk (v) = Dk '(u0 + v) Dk '(u0 ) (v; : : : ; v):
k!
De la denicin (9.22) de la norma en Lk (V; R) se sigue que
jrk (v)j 1 Dk '(u0 + v) Dk '(u0 ) (v; : : : ; v)
kvkkV k! kvkkV
1
Dk '(u0 + v) Dk '(u0 ) L (V;R)
k! k
rk (v)
y, dado que Dk ' : ! Lk (V; R) es continua en u0 , conclumos que l mv!0 kvkkV
= 0:
La funcin
1 k
Pk (v) := '(u0 ) + D'(u0 )v + + D '(u0 )(v; : : : ; v )
k! | {z }
k veces
9.8. Ejercicios
Ejercicio 9.32 Prueba que
kT vkW
kT kL(V;W ) := sup
v2V kvkV
v6=0
Ejercicio 9.37 Prueba que la funcin ' : C 0 ([0; 1]; V ) ! V V dada por
Ejercicio 9.44 Sea f 2 C 0 [a; b]: Prueba que la funcin ' : (a; b) ! R dada por
Z b
'(s) := f (t)dt
s
Ejercicio 9.45 Sea f : [a; b] R ! R una funcin continua, cuya derivada parcial
respecto a la segunda variable existe y es continua en [a; b] R.
(a) Prueba que la funcin ' : C 0 [a; b] ! R dada por
Z b
'(u) := f (s; u(s))ds
a
182 9. DIFERENCIABILIDAD
Ejercicio 9.46 (a) Prueba que toda funcin T 2 L(V; W ) es de clase C 1 y calcula su
derivada de orden k para todo k 2 N:
(b) Prueba que toda funcin F 2 L2 (V1 ; V2 ; W ) es de clase C 1 y calcula su derivada de
orden k para todo k 2 N:
Ejercicio 9.48 Prueba que la funcin ' : C 0 [0; 1] ! C 0 [0; 1] dada por '(u) := u2 es de
clase C 1 y calcula todas sus derivadas.
Ejercicio 9.49 Sea K : [a; b] [a; b] ! R una funcin continua y simtrica. Prueba
que la funcin ' : C 0 [a; b] ! R dada por
Z bZ b
'(u) := K(x; y)u(x)u(y)dxdy
a a
1
es de clase C y calcula todas sus derivadas.
es lineal y continua.
9.8. EJERCICIOS 183
donde
(F^ v1 )v2 = F (v1 ; v2 ); v1 2 V1 ; v2 2 V2 ;
est bien denida (es decir, F^ 2 L(V1 ; L(V2 ; W )) si F 2 L(V1 ; V2 ; W )), es lineal, es
biyectiva y es una isometra (es decir, kF kL(V1 ;V2 ;W ) = F^ para toda F 2
L(V1 ;L(V2 ;W ))
L(V1 ; V2 ; W )).
Ejercicio 9.52 Prueba que, si ' : ! W es k-veces diferenciable entonces, para todo
u 2 ; la k-sima derivada de ' en u es simtrica, es decir,
@Vj @Vi '(u) := @Vj (@Vi ') (u) 2 L(Vj ; L(Vi ; W )) = L(Vj ; Vi ; W )
Ejercicio 9.54 (Teorema de Taylor para funciones de variable real) Si f 2 C k+1 (a; b)
y 0 2 (a; b) entonces para todo t 2 (a; b) entonces existe un punto 2 (0; 1) tal que
1 1 k 1
f (t) = f (0) + Df (0)t + D2 f (0)t2 + + D f (0)tk + Dk+1 f ( t)tk+1 :
2 k! (k + 1)!
184 9. DIFERENCIABILIDAD
1 cos(x + y)
lm 1 :
(x;y)!(0;0) (x2 + y 2 ) 2
Captulo 10
c < 0pel conjunto M tiene dos componentes: unap de ellas es la grca de la funcin
x 7! x2 c y la otra es la grca de x 7! x2 c: Anlogamente,
p si c > 0 el
conjunto M tiene 2
p dos componentes: la grca de la funcin y 7! c + y y la de la
funcin y 7! c + y 2 : En cambio, si c = 0 no existe ninguna vecindad de (0; 0) en R2
cuya interseccin con M sea la grca de alguna funcin.
x2 y2 = c < 0 x2 y2 = c > 0 x2 y2 = 0
Nota que r'(x; y) 6= (0; 0) si (x; y) 6= (0; 0): En ese caso, la recta perpendicular a
r'(x; y) es tangente a M en el punto (x; y); es decir, M se parece a dicha recta en una
vecindad del punto.
185
186 10. EL TEOREMA DE LA FUNCIN IMPLCITA
()
Los resultados anteriores son vlidos tambin en espacios de Banach y tienen apli-
10.1. EL TEOREMA DE LA FUNCIN IMPLCITA 187
'(u) = c; (10.2)
T M := fy 2 Rn : y = 0g;
TM
Dicha funcin f est denida como sigue: Si fv1 ; :::; vn 1 g es una base ortonormal de
T M y v = x1 v1 + + xn 1 vn 1 cumple que kvk < 1; entonces
q
f (v) := 1 (x21 + + x2n 1 ) :
188 10. EL TEOREMA DE LA FUNCIN IMPLCITA
fr'1 ( ); : : : ; r'm ( )g
T M = fy 2 Rn : y r'j ( ) = 0; j = 1; : : : ; mg
y sta es suprayectiva si y slo si la matriz tiene rango mximo, es decir, s y slo si sus
renglones son linealmente independientes.
:V W ! Y; (v; w) := v + w;
es un homeomorsmo.
S(x1 ; :::; xm ) := x1 w1 + + xm wm
Denicin 10.6 Una funcin lineal y biyectiva T : V ! W entre dos espacios de Ba-
nach V y W que es adems un homeomorsmo se llama un isomorsmo de Banach.
: Tu M Wu ! Y; (v; w) := v + w;
'(v; w) = c
: Tu M Wu ! Y; (v; w) := v + w;
Es importante hacer notar que, si la funcin ' del Teorema 10.7 y del Corolario 10.8
es de clase C k ; entonces la funcin f tambin es de clase C k [Ejercicio 10.23].
Tu M = f 0 (0) : 2 u (M )g;
y
1
f 0 (v0 ) = [@Wu '(u)] @Tu M '(u):
Escogemos " > 0 tal que v0 + tv 2 BTu M (x0 ; ) para todo t 2 ( "; ") y denimos
: ( "; ") ! Y como
(t) := v0 + tv + f (v0 + tv):
Claramente, 2 u (M ): Como v 2 Tu M se tiene que @Tu M '(u)v = '0 (u)v = 0 y, en
consecuencia,
1
f 0 (v0 )v = [@Wu '(u)] (@Tu M '(u)v) = 0:
Por tanto,
0
(0) = v + f 0 (v0 )v = v:
Esto prueba que Tu M f 0 (0) : 2 u (M )g.
g( ) g(x) 8x 2 A \ BX ( ; ):
10.2. EXTREMOS LOCALES DE FUNCIONES DIFERENCIABLES CON RESTRICCIONES 193
Ejemplo 10.15 Sea g : Rn ! R la funcin g(x1 ; :::; xn ) = x21 + + x2n 1 : Los puntos
n 1
crticos de g en la esfera unitaria S son los puntos de la forma ( 1 ; :::; n 1 ; 0) y
(0; :::; 0; 1): Los primeros son mximos y los ltimos son mnimos de g en Sn 1 :
T 0 := id; T k := |T {z T}:
k veces
donde c0 := T0 1 L(W;V ) :
Supongamos primero que V = W y T0 = id es la identidad de V . Sea S 2 L(V; V ) tal
que kSkL(V;V ) < 1: Como S k L(V;V ) kSkkL(V;V ) (Ejercicio 9.34), se tiene que
P
1 P
1 1
Sk L(V;V )
kSkkL(V;V ) = :
k=0 k=0 1 kSkL(V;V )
P
1 1
( 1)k S k : (10.5)
k=0 L(V;V )
1 kSkL(V;V )
Observa que
P
n P
n
(id + S) ( 1)k S k = id ( 1)n+1 S n+1 = ( 1)k S k (id + S):
k=0 k=0
Como la serie (10.4) converge, la sucesin ( 1)k S k ! 0 en L(V; V ): Por tanto, haciendo
tender n ! 1 obtenemos
P
1 P
1
(id + S) ( 1)k S k = id = ( 1)k S k (id + S):
k=0 k=0
1 P
1
(id + S) = ( 1)k S k si kSkL(V;V ) < 1: (10.6)
k=0
1
kSk2L(V;V )
(id + S) id + S L(V;V )
:
1 kSkL(V;V )
1 1 1 1
kSk2L(V;V ) 1
(T0 + T ) T0 + T0 T T0 L(W;V )
T0 L(W;V )
1 kSkL(V;V )
kT k2L(V;V )
c30 2c30 kT k2L(V;W ) :
1 kSkL(V;V )
Conclumos que
(T0 + T ) 1
T0 1 + T0 1 T T0 1
L(W;V )
lm = 0:
T !0 kT kL(V;W )
Observa que
'(v; w) = 0 () T0 1 '(v; w) = 0 () v (w) = w: (10.7)
Esto sugiere usar el teorema de punto jo de Banach para obtener soluciones de
'(v; w) = 0: Empezaremos demostrando el siguiente lema.
1
k@W '(v; w) @W '(v0 ; w0 )kL(W;Z) < 8(v; w) 2 BV (v0 ; ) BW (w0 ; ): (10.9)
4c0
Por otra parte, como T0 1 ' es continua, existe 2 (0; ) tal que
T0 1 '(v; w0 ) T0 1 '(v0 ; w0 ) W
< 8v 2 BV (v0 ; ): (10.10)
4
198 10. EL TEOREMA DE LA FUNCIN IMPLCITA
3
< kw w0 kW +
4 4
8v 2 BV (v0 ; ); w 2 BW (w0 ; ): (10.12)
'(v; f (v)) = 0;
Demostracin: (a) Sea v 2 BV (v0 ; ): La propiedad (iii) del Lema 10.17 asegura
que v es una funcin de BW (w0 ; ) en s mismo. Como BW (w0 ; ) es cerrado y W es de
Banach, BW (w0 ; ) es un espacio mtrico completo. La propiedad (iv) del Lema 10.17
asegura que
v : BW (w0 ; ) ! BW (w0 ; )
10.4. DEMOSTRACIN DEL TEOREMA DE LA FUNCIN IMPLCITA 199
f (v) = v (f (v)):
La propiedad (iii) del Lema 10.17 asegura entonces que f (v) = v (f (v)) 2 BW (w0 ; ):
De la observacin (10.7) se sigue la armacin (a).
Antes de probar la armacin (b) probaremos que la funcin f : BV (v0 ; ) ! W es
continua.
Sean v1 2 BV (v0 ; ) y " > 0: Como kv (f (v)) = f (v); la propiedad (iv) del Lema 10.17
asegura que
k k
k 3 3
v (w0 ) f (v) W
kw0 f (v)kW < 8v 2 BV (v0 ; ):
4 4
Por tanto, existe k0 2 N, independiente de v; tal que
k "
v (w0 ) f (v) W
< 8k k0 ; 8v 2 BV (v0 ; ):
3
La funcin v 7! v (w0 ) = w0 T0 1 '(v; w0 ) es continua en BV (v0 ; ). Por tanto, existe
> 0 tal que
k0 k0 "
v (w0 ) v1 (w0 ) W < 8v 2 BV (v0 ; ) \ BV (v1 ; ):
3
Conclumos que
k0 k0 k0
kf (v) f (v1 )kW f (v) v (w0 ) W + v (w0 ) v1 (w0 ) W
k
+ v1 (w0 ) f (v1 ) W
< " 8v 2 BV (v0 ; ) \ BV (v1 ; ):
satisface
kT1 (v v1 ) + T2 (w w1 )kZ
lm = 0: (10.13)
(v;w)!(v1 ;w1 ) k(v v1 ; w w1 )kV W
200 10. EL TEOREMA DE LA FUNCIN IMPLCITA
La propiedad (ii) del Lema 10.17 asegura que T2 es un isomorsmo de Banach. Denote-
mos por
1 "
c1 := T2 1 T1 L(V;W )
; c2 := T2 1
L(Z;W )
; := m n 1; :
2c2 c1 + 1
Como f es continua, la armacin (10.13) implica que existe > 0 tal que
kT1 (v v1 ) + T2 (w w1 )kZ < (kv v1 kV + kw w1 kW ) 8v 2 BV (v1 ; ):
Por tanto, para todo v 2 BV (v1 ; );
T2 1 T1 (v v1 ) + w w1 W
= T2 1 T1 (v v1 ) + T2 1 T2 (w w1 ) W
c2 kT1 (v v1 ) + T2 (w w1 )kZ
< c2 (kv v1 kV + kw w1 kW ) (10.14)
1
y, como c2 2
, obtenemos
kw w1 kW T2 1 T1 (v v1 ) + w w1 W
+ T2 1 T1 (v v1 ) W
1 1
kv v1 kV + kw w1 kW + c1 kv v1 kV :
2 2
En consecuencia,
kw w1 kW (2c1 + 1) kv v 1 kV :
Combinando sta con la desigualdad (10.14) obtenemos que
f (v) f (v1 ) + T2 1 T1 (v v1 ) W
= T2 1 T1 (v v1 ) + w w1 W
< c2 (2c1 + 2) kv v1 kV
" 8v 2 BV (v1 ; );
lo cual demuestra que f es diferenciable en v1 y que
1
f 0 (v1 ) = [@W '(v1 ; w1 )] @V '(v1 ; w1 )
para todo v1 2 BV (v0 ; ): Como ' es de clase C 1 en y la funcin T 7! T 1 es continua
en H(V; W ) (Proposicin 10.16) conclumos que f es de clase C 1 en BV (v0 ; ):
10.5. Ejercicios
Ejercicio 10.19 Sea A = (aij ) una matriz de n (m + n) tal que el determinante
a1;m+1 a1;m+n
.. ..
. .
an;m+1 an;m+n
A(x1 ; : : : ; xm ; L(x1 ; : : : ; xm )) = 0:
F (T1 ; T2 )S := T1 ST2 :
En consecuencia, F es continua.
202 10. EL TEOREMA DE LA FUNCIN IMPLCITA
Ejercicio 10.26 Considera la funcin ' : R2 ! R2 dada por '(x; y) := (x; '2 (x; y))
donde 8 2 2
< (x; y x ) si x y;
y 2 x2 y
'2 (x; y) := (x; x2 ) si 0 y x2 ;
:
'2 (x; y) si y 0:
Prueba que
(a) ' es diferenciable en R2 ;
(b) '0 (0; 0) es la identidad de R2 ;
(c) ' no es de clase C 1 en R2 ;
(d) ' no es inyectiva en ningn abierto que contiene a (0; 0):
10.5. EJERCICIOS 203
entonces u0 es un mnimo local de '; es decir, existe > 0 tal que '(u) '(u0 ) si
ku u0 k < :
(b) Si existe c > 0 tal que
entonces u0 es un mximo local de '; es decir, existe > 0 tal que '(u) '(u0 ) si
ku u0 k < : (Sugerencia: Usa el Teorema de Taylor.)
ndice alfabtico
k kp en Rn , 11 de Bernstein, 140
en `p , 15 de Bolzano-Weierstrass, 58
k kp en C 0 [a; b], 16 de Cauchy-Peano, 128
uniforme k k1 , 21 de Heine-Borel, 57
normas equivalentes, 33 de la funcin implcita, 190
de la funcin inversa, 202
parametrizacin de Picard-Lindelf, 110
proporcional a la longitud de arco, 132 de punto jo de Banach, 96
polinomio de Bernstein, 139 de Stone-Weierstrass, 144
problema de Taylor, 177
de Cauchy, 107, 126 del valor medio, 161
punto totalmente acotado, 118
crtico, 193 trayectoria, 130
de contacto, 37 trayectoria en un espacio mtrico, 61
interior, 35
punto jo, 96 valor
regular, 188
radio de convergencia, 84
regla de la cadena, 159
para funciones de variable real, 161
relativamente compacto, 121
reparametrizacin, 130
semicontinuidad
inferior (s.c.i.), 62
superior (s.c.s.), 63
serie, 82
de funciones, 84
de potencias, 84
subespacio mtrico, 22
subsucesin, 41
subvariedad, 192
sucesin
acotada, 42
de Cauchy, 71
en un espacio mtrico, 41
uniformemente de Cauchy, 80
teorema
de aproximacin de Weierstrass, 142
de Arzel-Ascoli, 122