Analisis Matematico

Anlisis Matemtico I
Mnica Clapp
Agosto-Diciembre 2005
2
ndice general
1. Espacios mtricos 1
1.1. Denicin y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Algunas desigualdades bsicas . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Espacios de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Isometras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2. Continuidad 19
2.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2. Conjuntos abiertos y conjuntos cerrados . . . . . . . . . . . . . . . . . 23
2.3. Convergencia de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3. Convergencia uniforme 33
3.1. Convergencia uniforme en espacios mtricos . . . . . . . . . . . . . . . 33
3.2. Espacios mtricos completos . . . . . . . . . . . . . . . . . . . . . . . . 35
3.3. El criterio de Cauchy para la convergencia uniforme de funciones . . . . 39
3.4. El espacio de funciones continuas y acotadas . . . . . . . . . . . . . . . 40
3.5. Series de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.6. Convergencia uniforme y derivadas. . . . . . . . . . . . . . . . . . . . . 45
3.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4. Teoremas de existencia 51
4.1. El teorema de punto jo de Banach . . . . . . . . . . . . . . . . . . . . 51
4.2. Ecuaciones integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2.1. La ecuacin integral de Fredholm de segundo tipo . . . . . . . . 53
4.2.2. La ecuacin integral de Volterra de segundo tipo . . . . . . . . . 57
4.3. El problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3
4 NDICE GENERAL
5. Teoremas de aproximacin 69
5.1. Espacios separables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
5.2. El teorema de aproximacin de Weierstra . . . . . . . . . . . . . . . . 71
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
6. Compacidad 79
6.1. Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.2. El teorema de Heine-Borel . . . . . . . . . . . . . . . . . . . . . . . . . 82
6.3. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
6.4. El teorema de Stone-Weierstra . . . . . . . . . . . . . . . . . . . . . . 85
6.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7. Compacidad en espacios de funciones 91
7.1. Conjuntos totalmente acotados. . . . . . . . . . . . . . . . . . . . . . . 91
7.2. El teorema de Arzel-Ascoli. . . . . . . . . . . . . . . . . . . . . . . . . 95
7.3. El problema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
7.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8. Existencia de mnimos 103
8.1. Existencia de trayectorias geodsicas . . . . . . . . . . . . . . . . . . . 103
8.2. Semicontinuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
8.3. Existencia de trayectorias geodsicas . . . . . . . . . . . . . . . . . . . 107
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Captulo 1
Espacios mtricos
1.1. Denicin y ejemplos
Algunos conceptos fundamentales, como el de convergencia de una sucesin o el de
continuidad de una funcin, estn denidos exclusivamente en trminos de la nocin
de distancia. Otras propiedades de los espacios euclidianos, como sus propiedades alge-
braicas por ejemplo, no juegan ningn papel en dichos conceptos. Empezaremos pues
considerando conjuntos dotados exclusivamente de una distancia.
Denicin 1.1 Sea A un conjunto. Una distancia (o una mtrica) en A es una
funcin d : A A R que tiene las siguientes tres propiedades:
(M1) d(r. ) = 0 si y slo si r =
(M2) d(r. ) = d(. r) para todos r. A
(M3) d (r. .) _ d(r. ) + d(. .) para todos r. . . A.
A esta ltima desigualdad se le llama la desigualdad del tringulo. Un espacio
mtrico es un conjunto A con una mtrica dada d. Lo denotaremos por (A. d). o
simplemente por A cuando no sea necesario especicar cul es la mtrica que estamos
considerando.
Veamos que la distancia entre dos puntos nunca es negativa.
Proposicin 1.2 d(r. ) _ 0 para todos r. A.
Demostracin: De las propiedades (M1), (M3) y (M2) respectivamente se sigue que
0 = d(r. r) _ d(r. ) + d(. r) = 2d(r. ).
En consecuencia, d(r. ) _ 0 para todos r. A.
1
2 1. ESPACIOS MTRICOS
A continuacin daremos una lista de ejemplos importantes de espacios mtricos
cuyas propiedades iremos estudiando a lo largo de este curso. Ejemplos que conocemos
ya muy bien son los siguientes dos.
Ejemplo 1.3 El conjunto R de los nmeros reales con la distancia usual
d(:. t) := [: t[ =
_
: t si : _ t
t : si : _ t
es un espacio mtrico.
Ejemplo 1.4 El espacio euclidiano R
a
con la distancia usual
d
2
(r. ) :=
_
(r
1
1
)
2
+ + (r
a
a
)
2
.
donde r = (r
1
. .... r
a
). = (
1
. ....
a
) R
a
. es un espacio mtrico.
La demostracin se ha visto ya en cursos anteriores y se deja como ejercicio. Podemos
darle a R
a
otras mtricas interesantes, por ejemplo las siguientes dos.
Ejemplo 1.5 La funcin
d
1
(r. ) := [r
1
1
[ + +[r
a
a
[ .
donde r = (r
1
. .... r
a
). = (
1
. ....
a
) R
a
. es una mtrica para el espacio euclidiano
R
a
.
Demostracin: Las propiedades (M1) y (M2) son inmediatas y la propiedad (M3)
se sigue de la desigualdad del tringulo en R que arma que, para toda i = 1. .... :.
[r
i
.
i
[ _ [r
i
i
[ +[
i
.
i
[ .
Sumando ambos lados de estas desigualdades para i = 1. .... : obtenemos
d
1
(r. .) _ d
1
(r. ) + d
1
(. .).
En consecuencia, d
1
es una mtrica.
Ejemplo 1.6 La funcin
d
o
(r. ) := max [r
1
1
[ . . [r
a
a
[ .
donde r = (r
1
. .... r
a
). = (
1
. ....
a
) R
a
. es una mtrica para el espacio euclidiano
R
a
.
1.1. DEFINICIN Y EJEMPLOS 3
La demostracin es sencilla y se deja como ejercicio [Ejercicio 1.32].
Podemos ahora extender estos ejemplos a espacios, ya no de :-adas, sino de suce-
siones r = (r
I
) de nmeros reales.
Ejemplo 1.7 Sea /
o
el conjunto de todas las sucesiones acotadas de nmeros reales,
es decir, de sucesiones r = (r
I
) para las cuales existe 1 R (que depende de r) tal
que [r
I
[ < 1 para todo / N, y sea
d
o
(r. ) := sup
I1
[r
I

I
[ . r. /
o
.
Entonces d
o
toma valores en R y es una mtrica en /
o
.
Demostracin: De la desigualdad del tringulo para nmeros reales
[r
I

I
[ _ [r
I
[ +[
I
[
obtenemos, tomando supremos,
sup
I1
[r
I

I
[ _ sup
I1
([r
I
[ +[
I
[) _ sup
I1
[r
I
[ + sup
I1
[
I
[ . (1.1)
En consecuencia, si r = (r
I
). = (
I
) son sucesiones acotadas, se cumple que (r
I
I
)
est acotada y, por tanto, la funcin
d
o
: /
o
/
o
R. d
o
(r. ) = sup
I1
[r
I

I
[ .
est bien denida. Es inmediato comprobar que d
o
satisface las propiedades (M1) y
(M2). Sustituyendo r
I
por r
I
.
I
y
I
por
I
.
I
en la desigualdad (1.1) obtenemos
la propiedad (M3), es decir,
d
o
(r. ) = sup
I1
[r
I

I
[ _ sup
I1
[r
I
.
I
[ + sup
I1
[.
I

I
[ = d
o
(r. .) + d
o
(.. ).
para todas r. . . /
o
.
En los siguientes ejemplos requeriremos la nocin de convergencia de una serie.
Recordemos que una serie de nmeros reales
o
I=1
r
I
converge, si la sucesin (:
a
) de sumas nitas
:
a
:=
a
I=1
r
I
converge. En tal caso,
o
I=1
r
I
:= lm
ao
:
a
.
Si r
I
_ 0 para todo / N. entonces la sucesin (:
a
) es creciente. En ese caso, la serie
converge si y slo si la sucesin (:
a
) est acotada y, si eso ocurre, se tiene que
o
I=1
r
I
:= lm
ao
:
a
= sup
aN
:
a
.
Ejemplo 1.8 Sea /
1
el conjunto de las sucesiones r = (r
I
) de nmeros reales tales que
la serie
o
I=1
[r
I
[
converge, y sea
d
1
(r. ) :=
o
I=1
[r
I

I
[ . r. /
1
.
Entonces d
1
toma valores en R y es una mtrica en /
1
.
Demostracin: De la desigualdad del tringulo para nmeros reales
[r
I

I
[ _ [r
I
[ +[
I
[
se sigue que
a
I=1
[r
I

I
[ _
a
I=1
[r
I
[ +
a
I=1
[
I
[
_
o
I=1
[r
I
[ +
o
I=1
[
I
[ .
Por consiguiente, si r = (r
I
). = (
I
) /
1
, la serie
o
I=1
[r
I

I
[ converge y se cumple
que
o
I=1
[r
I

I
[ _
o
I=1
[r
I
[ +
o
I=1
[
I
[ . (1.2)
1.1. DEFINICIN Y EJEMPLOS 5
Es fcil comprobar que d
1
satisface (M1) y (M2). La propiedad (M3) se sigue de la
desigualdad (1.2) reemplazando r
I
por r
I
.
I
y
I
por
I
.
I
, es decir,
d
1
(r. ) =
o
I=1
[r
I

I
[ _
o
I=1
[r
I
.
I
[ +
o
I=1
[.
I

I
[ = d
1
(r. .) + d
1
(.. ).
para todas r. . . /
1
.
Notemos que todos los ejemplos anteriores, adems de la estructura geomtrica dada
por la distancia, poseen una estructura algebraica: la de espacio vectorial. En efecto,
las sucesiones de nmeros reales se pueden sumar y multiplicar por escalares trmino a
trmino, es decir, si r = (r
I
) y = (
I
) son sucesiones de nmeros reales y ` R. se
denen
r + := (r
I
+
I
) y `r := (`r
I
).
Con estas operaciones el conjunto de todas las sucesiones de nmeros reales es un espa-
cio vectorial. Aunque esta estructura no interviene en las deniciones de continuidad,
completez o compacidad, que sern el objeto de este primer curso de Anlisis Matemti-
co, s resulta importante en otros contextos, por ejemplo, para denir la derivada de
una funcin. Conviene pues introducir la siguiente nocin.
Denicin 1.9 Sea \ un espacio vectorial. Una norma en \ es una funcin || : \
R que tiene las siguientes propiedades:
(N1) || = 0 si y slo si = 0.
(N2) |`| = [`[ || para todos \. ` R.
(N3) | + n| _ || +|n| para todos . n \
Un espacio vectorial normado es una pareja un espacio vectorial \ con una norma
dada ||. Lo denotaremos por (\. ||). o simplemente por \ .
Proposicin 1.10 Todo espacio vectorial normado (\. ||) es un espacio mtrico con
la mtrica dada por
d(. n) = | n| .
Esta mtrica se llama la mtrica inducida por la norma || .
La demostracin es sencilla y se deja como ejercicio. [Ejercicio 1.31]. Todas las
mtricas consideradas en los ejemplos anteriores estn inducidas por una norma. Sin
embargo, hay ejemplos de espacios mtricos cuya mtrica no est inducida por ninguna
norma. De hecho, a cualquier conjunto le podemos dar la mtrica siguiente.
Ejemplo 1.11 Sea A un conjunto arbitrario. La funcin
d
oicc
(r. ) =
_
0 si r =
1 si r ,=
es una mtrica para A llamada la mtrica discreta.
En un espacio vectorial no trivial no existe ninguna norma que induzca la mtrica
discreta [Ejercicio 1.36]. As pues, existen espacios mtricos que no son espacios vecto-
riales normados. Sin embargo, muchos espacios mtricos importantes si lo son. Veamos
otros ejemplos interesantes.
Proposicin 1.12 Las funciones
|r|
j
: =
_
a
I=1
[r
I
[
j
_1
p
. 1 _ j < .
|r|
o
: = max
1Ia
[r
I
[
son normas en el espacio euclidiano R
a
. Es decir, para cada 1 _ j _ . la pareja
(R
a
. ||
j
) es un espacio vectorial normado.
Demostracin: Es sencillo ver que ||
j
cumple las propiedades (N1) y (N2). La
propiedad (N3) se conoce como la desigualdad de Minkowski y la demostraremos en la
siguiente seccin (Proposicin 1.17).
Notacin 1.13 Con el n de distinguir cul de todas estas normas estamos consideran-
do, usaremos la notacin
R
a
j
= (R
a
. ||
j
). 1 _ j _
para designar al espacio R
a
con la norma ||
j
. Escribiremos simplemente R
a
en vez
de R
a
2
para designar a R
a
con la norma usual, a la que denotaremos la denotaremos
simplemente por
|r| :=
_
r
2
1
+ + r
2
a
.
Las mtricas d
1
. d
2
y d
o
consideradas en los Ejemplos 1.4 al 1.6 son las inducidas
por las normas ||
1
. || y ||
o
que acabamos de denir.
Para espacios de sucesiones adecuados podemos denir normas anlogas.
1.2. ALGUNAS DESIGUALDADES BSICAS 7
Proposicin 1.14 a) Dada 1 _ j < . sea /
j
el conjunto de todas las sucesiones
r = (r
I
) de nmeros reales tales que la serie
o
I=1
[r
I
[
j
converge. Entonces /
j
es un espacio vectorial y la funcin
|r|
j
=
_
o
I=1
[r
I
[
j
_1
p
es una norma en /
j
.
b) El conjunto /
o
de todas las sucesiones acotadas de nmeros reales con la norma
|r|
o
= sup
1I<o
[r
I
[
es un espacio vectorial normado.
Demostracin: Es sencillo ver que `r /
j
para toda r /
j
. ` R y que ||
j
cumple las propiedades (N1) y (N2). Dejamos los detalles al lector [Ejercicio 1.37].
Probaremos en la siguiente seccin que r + /
j
si r. /
j
y probaremos tambin
que ||
j
cumple la propiedad (N3). A la desigualdad de la propiedad (N3) se la conoce
como la desigualdad de Minkowski (Proposicin 1.19).
Ntese que las mtricas d
1
y d
o
consideradas en los Ejemplos 1.8 y 1.7 son las
inducidas por las normas ||
1
y ||
o
que acabamos de denir.
1.2. Algunas desigualdades bsicas
El objetivo de esta seccin es demostrar las desigualdades de Hlder y de Minkowski
para sumas y para series. Usaremos la siguiente desigualdad.
Lema 1.15 (Desigualdad de Young) Sean 1 < j. < tales que
1
j
+
1
q
= 1. En-
tonces, para todo par de nmeros reales c. / _ 0 se tiene que
c/ _
1
j
c
j
+
1
/
q
.
Demostracin: Si c = 0 o / = 0 la desigualdad es obvia, de modo que podemos
suponer que ambos son distintos de cero. La funcin logaritmo natural ln : (0. ) R
es una funcin cncava, es decir, tiene la propiedad de que el segmento que une a
cualesquiera dos puntos de su grca est debajo de la grca. Como
1
j
c
j
+
1
q
/
q
[c
j
. /
j
].
se tiene que
ln(
1
j
c
j
+
1
/
q
) _
1
j
ln c
j
+
1
ln /
q
= ln c + ln / = ln(c/)
y, como el logaritmo natural es una funcin creciente, se obtiene de sta la desigualdad
deseada.
100 75 50 25
3. 75
2.5
1. 25
0
x
y
x
y
= ln r
Proposicin 1.16 (Desigualdad de Hlder en R
a
) Sean 1 < j. < tales que
1
j
+
1
q
= 1. Entonces, para cualesquiera r = (r
1
. .... r
a
). = (
1
. ....
a
) R
a
se cumple
que
a
I=1
[r
I
I
[ _
_
a
I=1
[r
I
[
j
_1
p
_
a
I=1
[
I
[
q
_1
q
.
es decir,
|r|
1
_ |r|
j
||
q
donde r := (r
1
1
. .... r
a
a
).
Demostracin: La armacin es trivial si r = 0 o si = 0. Supongamos pues que
ambos son distintos de cero. Sean
c
I
:=
[r
I
[
|r|
j
y /
I
:=
[
I
[
||
q
.
1.2. ALGUNAS DESIGUALDADES BSICAS 9
y consideremos la desigualdad de Young
[r
I
I
[
|r|
j
||
q
= [c
I
/
I
[ _
1
j
c
j
I
+
1
/
q
I
=
[r
I
[
j
j |r|
j
j
+
[
I
[
q
||
q
q
.
Sumando todas estas desigualdades para / = 1. .... :. obtenemos
1
|r|
j
||
q
_
a
I=1
[r
I
I
[
_
_
1
j |r|
j
j
_
a
I=1
[r
I
[
j
_
+
1
||
q
q
_
a
I=1
[
I
[
q
_
=
1
j
+
1
= 1.
Multiplicando ambos lados por |r|
j
||
q
obtenemos la desigualdad deseada.
Proposicin 1.17 (Desigualdad de Minkowski en R
a
) Para cualesquiera r = (r
1
. .... r
a
).
= (
1
. ....
a
) R
a
. 1 _ j _ . se tiene que
|r + |
j
_ |r|
j
+||
j
.
Demostracin: Para j = esta desigualdad es consequencia inmediata de la
desigualdad del tringulo para nmeros reales y se deja como ejercicio al lector [Ejercicio
1.32]. El caso j = 1 se prob en el Ejemplo 1.5. Probaremos la armacin para 1 < j <
. La armacin es trivial si r = 0. Supongamos pues que r ,= 0. De la desigualdad
de Hlder (Proposicin 1.16) obtenemos
a
I=1
[r
I
[ ([r
I
[ +[
I
[)
j1
_
_
a
I=1
[r
I
[
j
_1
p
_
a
I=1
([r
I
[ +[
I
[)
j
_
p1
p
.
a
I=1
[
I
[ ([r
I
[ +[
I
[)
j1
_
_
a
I=1
[
I
[
j
_1
p
_
a
I=1
([r
I
[ +[
I
[)
j
_
p1
p
.
y sumando estas dos desigualdades obtenemos
a
I=1
([r
I
[ +[
I
[)
j
_
_
_
_
a
I=1
[r
I
[
j
_1
p
+
_
a
I=1
[
I
[
j
_1
p
_
_
_
a
I=1
([r
I
[ +[
I
[)
j
_
p1
p
.
Dividiendo ambos lados de esta desigualdad entre
_
a
I=1
([r
I
[ +[
I
[)
j
_
p1
p
y usando la desigualdad del tringulo para nmeros reales obtenemos
_
a
I=1
[r
I
+
I
[
j
_1
p
_
_
a
I=1
([r
I
[ +[
I
[)
j
_1
p
_
_
a
I=1
[r
I
[
j
_1
p
+
_
a
I=1
[
I
[
j
_1
p
. (1.3)
como arma el enunciado.
Pasando al lmite cuando : se obtienen desigualdades anlogas para series.
Ms precisamente, se cumple lo siguiente.
Proposicin 1.18 (Desigualdad de Hlder para series) Si 1 < j. < ,
1
j
+
1
q
=
1. (r
I
) /
j
y (
I
) /
q
. entonces r = (r
I
I
) /
1
y
o
I=1
[r
I
I
[ _
_
o
I=1
[r
I
[
j
_1
p
_
o
I=1
[
I
[
q
_1
q
.
es decir,
|r|
1
_ |r|
j
||
q
.
Demostracin: De la desigualdad de Hlder para cada suma nita (Proposicin
1.16) obtenemos que
a
I=1
[r
I
I
[ _
_
a
I=1
[r
I
[
j
_1
p
_
a
I=1
[
I
[
q
_1
q
_
_
o
I=1
[r
I
[
j
_1
p
_
o
I=1
[
I
[
q
_1
q
< .
En consecuencia, la serie
o
I=1
[r
I
I
[ converge y se cumple que
o
I=1
[r
I
I
[ _
_
o
I=1
[r
I
[
j
_1
p
_
o
I=1
[
I
[
q
_1
q
.
1.3. ESPACIOS DE FUNCIONES 11
Es fcil ver que, para r = (r
I
) /
1
y = (
I
) /
o
. la desigualdad de Hlder
|r|
1
_ |r|
1
||
o
tambin se cumple [Ejercicio 1.42].
Proposicin 1.19 (Desigualdad de Minkowski para series) Si 1 _ j _ y
(r
I
). (
I
) /
j
entonces (r
I
+
I
) /
j
y
|r + |
j
_ |r|
j
+||
j
.
Demostracin: Para j = sta es la desigualdad (1.1). Para 1 _ j < es-
ta desigualdad se obtiene de la correspondiente desigualdad (1.3) para sumas nitas
tomando el lmite cuando : .
1.3. Espacios de funciones
Los objetos fundamentales del Anlisis Matemtico son los espacios de funciones.
Empezaremos considerando los siguientes ejemplos sencillos.
Denotemos por C
0
[c. /] al conjunto de todas las funciones continuas , : [c. /] R.
La suma de funciones y el producto de una funcin por un escalar, denidos como
(, + q)(t) := ,(t) + q(t). (`,)(t) := `,(t). para ,. q C
0
[c. /]. ` R.
le dan a C
0
[c. /] una estructura de espacio vectorial. Dada una funcin continua , :
[c. /] R denimos
|,|
j
: =
__
b
o
[,(t)[
j
dt
_
1
p
si 1 _ j < .
|,|
o
: = max[,(t)[ : c _ t _ /.
Proposicin 1.20 Para cada 1 _ j _ la funcin ||
j
: C
0
[c. /] R es una norma.
Demostracin: Para j = la demostracin es sencilla. Consideremos el caso
1 _ j < . Como [,(t)[
j
es una funcin continua y no negativa, se tiene que
|,|
j
j
=
_
b
o
[,(t)[
j
dt = 0 == [,(t)[
j
= 0 \t [c. /].
En consecuencia, |,|
j
= 0 si y slo si , = 0. Esto demuestra (N1). La propiedad
(N2) es consecuencia inmediata de la linealidad de la integral. La propiedad (N3) es la
desigualdad de Minkowski para integrales que probaremos a continuacin (Proposicin
1.22).
Empezaremos probando la desigualdad de Hlder para integrales. Su demostracin
es anloga a la correspondiente para R
a
.
Proposicin 1.21 (Desigualdad de Hlder para integrales) Sean 1 < j. <
tales que
1
j
+
1
q
= 1. Entonces, para cualquier par de funciones continuas ,. q : [c. /] R
se cumple que
_
b
o
[,(t)q(t)[ dt _
__
b
o
[,(t)[
j
dt
_
1
p
__
b
o
[q(t)[
q
dt
_
1
q
.
es decir,
|,q|
1
_ |,|
j
|q|
q
.
Demostracin: La armacin es trivial si , = 0 o si q = 0. Supongamos pues que
ambas funciones son distintas de cero. Para cada t [c. /]. denimos nmeros reales
positivos
c
t
:=
[,(t)[
|,|
j
y /
t
:=
[q(t)[
|q|
q
.
Aplicando la desigualdad de Young obtenemos
[,(t)q(t)[
|,|
j
|q|
q
= [c
t
/
t
[ _
1
j
c
j
t
+
1
/
q
t
=
[,(t)[
j
j |,|
j
j
+
[q(t)[
q
|q|
q
q
.
e integrando ambos lados de esta desigualdad obtenemos
_
b
o
[,(t)q(t)[ dt
|,|
j
|q|
q
_
_
b
o
[,(t)[
j
dt
j |,|
j
j
+
_
b
o
[q(t)[
q
dt
|q|
q
q
=
1
j
+
1
= 1.
Multiplicando ambos lados por |,|
j
|q|
q
obtenemos la desigualdad deseada.
Es fcil ver que tambin vale la desigualdad de Hlder
|,q|
1
_ |,|
1
|q|
o
[Ejercicio 1.42]. Como en la Proposicin 1.17, a partir de la desigualdad de Hlder se
obtiene la de Minkowski.
1.3. ESPACIOS DE FUNCIONES 13
Proposicin 1.22 (Desigualdad de Minkowski para integrales) Sea 1 _ j _
. Entonces, todo par de funciones continuas ,. q : [c. /] R satisface la siguiente
desigualdad:
|, + q|
j
_ |,|
j
+|q|
j
.
Demostracin: Los casos j = 1. se dejan como ejercicio al lector [Ejercicio 1.41].
Supongamos que 1 < j < . Si , = 0 la armacin es inmediata. Supongamos pues
que , ,= 0. De la desigualdad de Hlder para integrales (Proposicin 1.21), obtenemos
_
b
o
[,(t)[ ([,(t)[ +[q(t)[)
j1
dt _
__
b
o
[,(t)[
j
dt
_
1
p
__
b
o
([,(t)[ +[q(t)[)
j
_
p1
p
.
_
b
o
[q(t)[ ([,(t)[ +[q(t)[)
j1
dt _
__
b
o
[q(t)[
j
dt
_
1
p
__
b
o
([,(t)[ +[q(t)[)
j
_
p1
p
.
y sumando estas desigualdades obtenemos
_
b
o
([,(t)[ +[q(t)[)
j
dt =
_
b
o
[,(t)[ ([,(t)[ +[q(t)[)
j1
dt +
_
b
o
[q(t)[ ([,(t)[ +[q(t)[)
j1
dt
_
_
__
b
o
[,(t)[
j
dt
_
1
p
+
__
b
o
[q(t)[
j
dt
_
1
p
_
__
b
o
([,(t)[ +[q(t)[)
j
_
p1
p
.
Dividiendo ambos lados de esta desigualdad entre
__
b
o
([,(t)[ +[q(t)[)
j
_
p1
p
y usando la desigualdad del tringulo para nmeros reales obtenemos
__
b
o
[,(t) + q(t)[
j
dt
_
1
p
_
__
b
o
([,(t)[ +[q(t)[)
j
dt
_
1
p
_
__
b
o
[,(t)[
j
dt
_
1
p
+
__
b
o
[q(t)[
j
dt
_
1
p
.
Notacin 1.23 Con el n de distinguir cul de todas estas normas estamos consideran-
do, usaremos la notacin
C
0
j
[c. /] = (C
0
[c. /]. ||
j
)
para designar al espacio de las funciones continuas , : [c. /] R con la norma ||
j
.
Observemos que la distancia |, q|
o
entre dos funciones continuas , y q es pe-
quea si sus grcas estn cerca la una de la otra. Mientras que la distancia |, q|
1
es
pequea si el rea de la regin delimitada por sus grcas es pequea. As, dos funciones
continuas pueden estar muy cerca segn la norma ||
1
y muy lejos segn la norma ||
o
,
como lo muestra el siguiente ejemplo.
Ejemplo 1.24 Consideremos las funciones ,
I
: [0. 1] R dadas por
,
I
(t) =
_
/t + 1 si 0 _ t _
1
I
0 si
1
I
_ t _ 1
entonces |,
I
|
o
= 1 para toda / N. mientras que |,
I
|
1
=
1
2I
. Es decir, segn la
norma ||
o
todas las funciones ,
I
distan exactamente 1 de la funcin constante igual
a 0. mientras que, segn la norma ||
1
. dichas funciones se acercan cada vez ms a la
funcin 0 conforme / crece.
1 0. 75 0. 5 0. 25 0
1
0. 75
0. 5
0. 25
0
x
y
x
y
Grca de ,
3
Las normas denidas en esta seccin satisfacen la siguiente relacin.
Proposicin 1.25 Para toda , C
0
[c. /] se cumple que
|,|
c
_ (/ c)
rs
rs
|,|
v
\1 _ : _ : < .
|,|
c
_ (/ c)
1
s
|,|
o
\1 _ : < .
Demostracin: Si : < . aplicando la desigualdad de Hlder (Proposicin 1.21)
con j =
v
vc
y =
v
c
a la funcin constante con valor 1 y a la funcin [,[
c
obtenemos
que
_
b
o
[,(t)[
c
dt _
__
b
o
dt
_
rs
r
__
b
o
[,(t)[
v
_
s
r
= (/ c)
rs
r
__
b
o
[,(t)[
v
_
s
r
1.4. ISOMETRAS 15
y elevando ambos lados a la
1
c
obtenemos la desigualdad deseada. Si : = la
demostracin es sencilla y se deja al lector.
1.4. Isometras
Denicin 1.26 Sean A = (A. d
A
) y 1 = (1. d
Y
) dos espacios mtricos. Una funcin
, : A 1 es una isometra si
d
Y
(,(r
1
). ,(r
2
)) = d
A
(r
1
. r
2
)
para todo par de puntos r
1
. r
2
A.
Ntese que toda isometra es inyectiva. En efecto, si ,(r
1
) = ,(r
2
) entonces d
A
(r
1
. r
2
) =
d
Y
(,(r
1
). ,(r
2
)) = 0 y por lo tanto r
1
= r
2
.
Ejemplo 1.27 Si A = (A. d) es un espacio mtrico y es un subconjunto de A
denimos
d
(r. ) := d(r. ) \r. .

Esta es obviamente una distancia en . y la inclusin
t : A. t(c) = c
es una isometra. Se dice entonces que = (. d
) es un subespacio mtrico de A.
y d
se llama la distancia inducida por d en .

Una isometra , : A 1 nos permite identicar a A con el subespacio mtrico
,(A) := ,(r) : r A de 1.
Ejemplo 1.28 Para cada 1 _ j _ . la funcin
t : R
a
j
/
j
. t(r
1
. ...r
a
) = (r
1
. ...r
a
. 0. 0. ...).
es una isometra. Esto nos permite identicar a R
a
j
con el subespacio de /
j
que consiste
de las sucesiones r = (r
I
) tales que r
I
= 0 para / :.
Ejemplo 1.29 La identidad
1 : C
0
o
[0. 1] C
0
1
[0. 1]. 1(,) = ,.
no es una isometra. En efecto, la funcin ,
I
del Ejemplo 1.24 satisface
1
2/
= |,
I
|
1
,= |,
I
|
o
= 1.
es decir, la distancia de ,
I
a la funcin constante 0 segn la mtrica inducida por la
norma ||
1
no coincide con su distancia segn la mtrica inducida por ||
o
.
1.5. Ejercicios
Ejercicio 1.30 Sea A = (A. d) un espacio mtrico. Prueba que, para cualesquiera
n. r. . . A. se cumple que
[d(n. r) d(. .)[ _ d(n. ) + d(r. .).
Ejercicio 1.31 Sea (\. ||) un espacio vectorial normado. Prueba que la funcin d(. n) =
| n| es una mtrica en \.
Ejercicio 1.32 Prueba que |r|
o
:= max [r
1
[ . .... [r
a
[ donde r = (r
1
. .... r
a
) R
a
.
es una norma en R
a
.
Ejercicio 1.33 Es la funcin j : R
a
R. dada por j(r) := mn [r
1
[ . .... [r
a
[ . una
norma en R
a
? Justica tu armacin.
Ejercicio 1.34 Describe los conjuntos

1
j
(0. 1) := r R
2
: |r|
j
_ 1 para j =
1. 2. . Haz un dibujo de cada una de ellos.
Ejercicio 1.35 Describe los conjuntos
1
oicc
(0. 1) : = r R
2
: d
oicc
(r. 0) _ 1.
1
oicc
(0. 1) : = r R
2
: d
oicc
(r. 0) < 1
donde d
oicc
es la mtrica discreta en R
a
.
Ejercicio 1.36 Sea \ un espacio vectorial distinto de 0. Prueba que no existe ninguna
norma en \ que induzca la mtrica discreta, es decir, no existe ninguna norma en \
tal que
| n| =
_
0 si = n
1 si ,= n
Ejercicio 1.37 Prueba que, para cada 1 _ j _ . la funcin ||
j
denida en la
Proposicin 1.14 satisface:
(N1) |r|
j
= 0 si y slo si r = 0 en /
j
.
(N2) Para cada r = (r
I
) /
j
y ` R se cumple que `r = (`r
I
) /
j
y |`r|
j
=
[`[ |r|
j
.
Ejercicio 1.38 Prueba que, para toda r R
a
.
(a) |r|
v
_ |r|
c
si 1 _ : _ : _ .
(b) |r|
c
_ :
rs
sr
|r|
v
si 1 _ : _ : < .
(c) |r|
c
_ :
1
s
|r|
o
si 1 _ : < .
(Sugerencia: Para probar la segunda desigualdad aplica la desigualdad de Hlder a los
vectores (1. .... 1) y ([r
1
[
c
. .... [r
a
[
c
) con j =
v
vc
y =
v
c
).
1.5. EJERCICIOS 17
Ejercicio 1.39 (a) Prueba que, si 1 _ : < : _ . entonces
/
c
/
v
. /
c
,= /
v
|r|
v
_ |r|
c
\r /
c
.
(b) Prueba adems que, si r /
j
para alguna 1 _ j < . entonces
|r|
o
= lm
vo
|r|
v
.
Ejercicio 1.40 Muestra que la desigualdad de Minkowski en R
a
no se cumple si j =
1
2
< 1.
Ejercicio 1.41 Prueba que todo par de funciones continuas ,. q : [c. /] R satisfacen
las siguientes desigualdades:
_
b
o
[,(t) + q(t)[ dt _
_
b
o
[,(t)[ dt +
_
b
o
[q(t)[ dt.
max
t[o,b]
[,(t) + q(t)[ _ max
t[o,b]
[,(t)[ + max
t[o,b]
[q(t)[ .
Ejercicio 1.42 Prueba que las desigualdades de Hlder para sumas, para series y para
integrales siguen siendo vlidas si j = 1 y = . es decir,
(a) Si (r
1
. .... r
a
). (
1
. ....
a
) R
a
entonces |r|
1
_ |r|
1
||
o
. es decir,
a
I=1
[r
I
I
[ _
_
a
I=1
[r
I
[
_
_
max
1Ia
[
I
[
_
.
(b) Si (r
I
) /
1
. (
I
) /
o
entonces (r
I
I
) /
1
y |r|
1
_ |r|
1
||
o
. es decir,
o
I=1
[r
I
I
[ _
_
o
I=1
[r
I
[
_
_
sup
IN
[
I
[
_
.
(c) Si ,. q : [c. /] R son funciones continuas, entonces |,q|
1
_ |,|
1
|q|
o
. es decir,
_
b
o
[,(t)q(t)[ dt _
__
b
o
[,(t)[ dt
__
max
otb
[q(t)[
_
.
Ejercicio 1.43 Da un ejemplo de una sucesin de funciones continuas ,
I
: [0. 1] R
tales que |,
I
|
1
= 1 para toda / N. y |,
I
|
o
. Concluye que no existe ninguna
constante c R tal que
|,|
o
_ c |,|
1
\, C
0
[0. 1].
Es posible construir una sucesin de funciones continuas q
I
: [0. 1] R tales que
|q
I
|
o
= 1 para toda / N. y |q
I
|
1
? Justica tu respuesta.
Ejercicio 1.44 Sea C
v
[c. /] el conjunto de las funciones , : [c. /] R que son :-
veces continuamente diferenciables en [c. /]. es decir, tales que todas sus derivadas
,
t
. ,
tt
. .... ,
(v)
hasta la de orden : existen en (c. /) y son continuas en [c. /]. Para cada
1 _ j _ denimos
|,|
v,j
= |,|
j
+|,
t
|
j
+ +
_
_
,
(v)
_
_
j
.
Prueba que C
v
j
[c. /] = (C
v
[c. /]. ||
v,j
Ejercicio 1.45 Cules de las siguientes funciones son isometras y cules no? Justi-
ca tu armacin.
(a) La identidad 1 : R
2
j
R
2
v
. 1(r) = r. con j ,= :.
(b) La identidad 1 : C
0
j
[0. 1] C
0
v
[0. 1]. 1(,) = ,. con j ,= :.
(c) La inclusin t : C
1
j
[0. 1] C
0
j
[0. 1]. t(,) = ,.
Ejercicio 1.46 Sea S
2
= r = (r
1
. r
2
. r
3
) R
3
: r
2
1
+ r
2
2
+ r
2
3
= 1 la esfera unitaria
en R
3
. Considera la funcin
d(r. ) = inf
__
1
0
_
_
_
_
dc
dt
_
_
_
_
dt : c C
1
a,j
([0. 1]. S
2
)
_
.
donde C
1
a,j
([0. 1]. S
2
) es el conjunto de todas las funciones c : [0. 1] R
3
continuamente
diferenciables tales que c(0) = r. c(1) = . y c(t) S
2
para todo t [0. 1]. En otras pal-
abras, d(r. ) es el nmo de las longitudes de todas las trayectorias c C
1
a,j
([0. 1]. S
2
).
(a) Prueba que d es una distancia en S
2
.
(b) Es esta distancia la distancia inducida por la distancia usual de R
3
? Justica tu
armacin.
Captulo 2
Continuidad
2.1. Deniciones y ejemplos
Sean A = (A. d
A
) y 1 = (1. d
Y
) espacios mtricos.
Denicin 2.1 Una funcin : A 1 es continua en el punto r
0
A si, dada
0. existe o 0 (que depende de r
0
y de ) tal que
d
Y
((r). (r
0
)) < si d
A
(r. r
0
) < o.
Decimos que es continua si lo es en todo punto de A.
La continuidad de una funcin depende desde luego de las mtricas que estamos
considerando en los conjuntos A y 1. Para hacer nfasis en ello usaremos en ocasiones
la notacin
: (A. d
A
) (1. d
Y
)
en vez de : A 1.
Proposicin 2.2 (a) Toda isometra es continua.
(b) Si : A 1 y : 1 2 son continuas entonces la composicin : A 2
es continua.
La demostracin de estas armaciones es sencilla y se deja al lector [Ejercicio 2.30].
Consideremos el siguiente ejemplo.
Ejemplo 2.3 (a) La identidad 1 : R
a
1
R
a
o
es una funcin continua.
(b) La identidad 1 : R
a
o
R
a
1
tambin es una funcin continua.
19
20 2. CONTINUIDAD
Demostracin: (a) Notemos que, para todo r R
a
. se cumple que
|r|
o
= max[r
1
[ . .... [r
a
[ _ [r
1
[ + +[r
a
[ = |r|
1
.
En consecuencia, dados r
0
R
a
y 0. se tiene que
|r r
0
|
o
< si |r r
0
|
1
< .
Es decir, la identidad 1 : R
a
1
R
a
o
(b) Para todo r R
a
. se cumple que
|r|
1
= [r
1
[ + +[r
a
[ _ :max[r
1
[ . .... [r
a
[ = :|r|
o
.
Dados r
0
R
a
y 0. tomamos o =
.
a
. Entonces se cumple que
|r r
0
|
1
< si |r r
0
|
o
< o.
Es decir, la identidad 1 : R
a
o
R
a
1
Denicin 2.4 Diremos que : A 1 es un homeomorsmo si es continua y
biyectiva y si su inversa
1
: 1 A es continua.
El ejemplo anterior arma que 1 : R
a
o
R
a
1
es un homeomorsmo. Notemos que,
en dicho ejemplo, la funcin 1 cumple la siguiente condicin.
Denicin 2.5 Una funcin : A 1 es Lipschitz continua, si existe C 0 tal
que
d
Y
((r
1
). (r
2
)) _ Cd
A
(r
1
. r
2
) \r
1
. r
2
A.
A C se le llama una constante de Lipschitz para . Diremos que es una equiv-
alencia de espacios mtricos si es Lipschitz continua y biyectiva y si su inversa
1
: 1 A es Lipschitz continua.
Este concepto es ms fuerte que el de continuidad, es decir, se tiene la siguiente
armacin.
Proposicin 2.6 Si es Lipschitz continua entonces es continua.
Demostracin: Sea C 0 una constante de Lipschitz para . Entonces, dada 0.
el nmero o :=
.
C
0 satisface que
d
Y
((r). (r
0
)) < si d
A
(r. r
0
) < o.
para cualquier r
0
A. Es decir, es continua.
El inverso no es cierto, es decir, existen funciones continuas que no son Lipschitz
continuas [Ejercicio 2.31].
2.1. DEFINICIONES Y EJEMPLOS 21
Proposicin 2.7 Para cualesquiera 1 _ :. : _ la identidad 1 : R
a
c
R
a
v
es una
equivalencia.
Demostracin: Si 1 _ : _ : _ . entonces se cumple que
|r|
v
_ |r|
c
\ r R
a
. (2.1)
[Ejercicio 1.38]. En consecuencia, 1 : R
a
c
R
a
v
es Lipschitz continua con constante de
Lipschitz C = 1. Adems, para toda r R
a
se cumple que
|r|
c
_ :
rs
rs
|r|
v
si 1 _ : _ : < (2.2)
|r|
c
_ :
1
s
|r|
o
si 1 _ : < . (2.3)
[Ejercicio 1.38]. En consecuencia, 1 : R
a
v
R
a
c
es Lipschitz continua con constante de
Lipschitz C = :
rs
rs
si 1 _ : _ : < . y C = :
1
s
si 1 _ : < : = .
Esto signica que, desde el punto de vista de la continuidad, da lo mismo tomar
cualquiera las normas ||
j
en R
a
[Ejercicio 2.36]. Esto no ocurre con los espacios C
0
j
[c. /].
Ejemplo 2.8 La identidad 1 : C
0
o
[c. /] C
0
1
[c. /] es Lipschitz continua.
Demostracin: Observemos que, para todas ,. q C
0
[c. /]. se cumple que
|, q|
1
=
_
b
o
[,(t) q(t)[ dt
_ (/ c) max
otb
[,(t) q(t)[
= (/ c) |, q|
o
.
Es decir, 1 : C
0
o
[c. /] C
0
1
[c. /] es Lipschitz continua con constante C = (/ c).
Sin embargo, esta funcin no es un homeomorsmo.
Ejemplo 2.9 La identidad 1 : C
0
1
[0. 1] C
0
o
[0. 1] no es continua.
Demostracin: Denotemos por 0 a la funcin constante con valor 0 en [0. 1]. Pro-
baremos que 1 : C
0
1
[0. 1] C
0
o
[0. 1] no es continua en 0 (de hecho no lo es en ningn
punto de C
0
[0. 1]). Sea =
1
2
. Veremos que para cualquier o 0 existe ,
c
C
0
[0. 1] tal
que |,
c
|
1
< o pero |,
c
|
o
= 1 . En efecto, la funcin
,
c
(t) :=
_
1
1
c
t si 0 _ t _ o
0 si o _ t _ 1
22 2. CONTINUIDAD
tiene estas propiedades. Por tanto, la identidad 1 : C
0
1
[0. 1] C
0
o
[0. 1] no es continua
en 0.
De hecho, para cualesquiera 1 _ : _ : _ la identidad 1 : C
0
v
[c. /] C
0
c
[c. /] es
Lipschitz continua, pero no es un homeomorsmo [Ejercicio 2.40].
Las siguientes nociones nos permitirn visualizar mejor el concepto de continuidad.
Denicin 2.10 Sean A = (A. d
A
) un espacio mtrico, r
0
A y 0. La bola
abierta en A con centro en r
0
y radio es el conjunto
1
A
(r
0
. ) := r A : d
A
(r. r
0
) < .
Dada cualquier funcin : A 1. denotamos por
() := (r) 1 : r
a la imagen bajo de un subconjunto de A. En estos trminos podemos reformular
la denicin de continuidad como sigue: : A 1 es continua en el punto r
0
de
A si dada 0 existe o 0 tal que
(1
A
(r
0
. o)) 1
Y
((r
0
). ). (2.4)
Revisemos algunos de los ejemplos anteriores bajo esta nueva ptica.
Ejemplo 2.11 Denotemos por 1
c
(r
0
. ) a la bola abierta en R
a
c
con centro en r
0
y
radio . Las desigualdades (2.1), (2.2), (2.3) implican que, entonces
1
v
(r
0
. 1,:
rs
rs
) 1
c
(r
0
. ) 1
v
(r
0
. ) si 1 _ : _ : < .
1
o
(r
0
. 1,:
1
s
) 1
c
(r
0
. ) 1
o
(r
0
. ) si 1 _ : <
Por tanto, 1 : R
a
c
R
a
v
es un homeomorsmo.
Ejemplo 2.12 Denotemos por 1
c
(,
0
. ) a la bola abierta en C
0
c
[0. 1] con centro en la
funcin continua ,
0
: [0. 1] R y radio . Entonces
1
o
(,
0
. ) = , C
0
[0. 1] : [,(t) ,
0
(t)[ < \t [0. 1].
es decir, 1
o
(,
0
. ) es el conjunto de todas las funciones continuas , : [0. 1] R cuya
grca est contenida en la franja (r. ) R
2
: [ ,
0
(r)[ < . de ancho 2 alrededor
de la grca de ,
0
.
2.2. CONJUNTOS ABIERTOS Y CONJUNTOS CERRADOS 23
Por otra parte,
1
1
(,
0
. ) = , C
0
[0. 1] :
_
1
0
[,(t) ,
0
(t)[ dt <
es el conjunto de todas las funciones continuas , : [0. 1] R tales que el rea de la
regin comprendida entre las grcas de , y ,
0
es menor que .
Resulta claro entonces que 1
o
(,
0
. ) 1
1
(,
0
. ). Y tambin que, no importa cul
sea el ancho de la franja T. siempre podemos encontrar una funcin continua , cuya
grca se sale de la franja y tal que el rea entre las grcas de , y ,
0
es tan pequea
como queramos.
2.2. Conjuntos abiertos y conjuntos cerrados
Sea A = (A. d) un espacio mtrico y sea un subconjunto de A.
Denicin 2.13 Un punto r se llama un punto interior de si existe 0 tal
que 1
A
(r. ) . El conjunto de todos los puntos interiores de se llama el interior
de y se denota int
A
(). o simplemente int(). Decimos que es abierto en A si
= int().
Ntese que int() . De hecho, int() es el abierto ms grande de A contenido
en [Ejercicio 2.52].
Proposicin 2.14 En cualquier espacio mtrico A = (A. d) la bola abierta
1
A
(r
0
. ) = r A : d(r. r
0
) <
con centro en r
0
y radio es un subconjunto abierto de A.
Demostracin: Sea r 1
A
(r
0
. ). Tomemos o := d(r. r
0
) 0. Para todo
. 1
A
(r. o). se cumple que
d(.. r
0
) _ d(.. r) + d(r. r
0
) < o + d(r. r
0
) = .
es decir, 1
A
(r. o) 1
A
(r
0
. ). En consecuencia, r int(1
A
(r
0
. )) y, por tanto,
1
A
(r
0
. ) = int(1
A
(r
0
. )).
Ejemplo 2.15 Sea ,
0
C
0
[0. 1]. El conjunto
:= , C
0
[0. 1] : [,(t)[ <
1
2
\t [0. 1]
es abierto en C
0
o
[0. 1]. pero no es abierto en C
0
1
[0. 1].
24 2. CONTINUIDAD
Demostracin: Notemos que es la bola abierta en C
0
o
[0. 1] con centro en la funcin
0 y radio
1
2
de modo que, por la proposicin anterior, es abierto en C
0
o
[0. 1].
Probaremos ahora que no es abierto en C
0
1
[0. 1]. Para cada 0 < o < 1 consideremos
la funcin
,
c
(t) :=
_
1
1
c
t si 0 _ t _ o
0 si o _ t _ 1
Entonces |,
c
|
1
=
c
2
pero ,
c
, . es decir, 1
C
0
1
[0,1]
(0. o) no est contenida en para
ningn o 0. En consecuencia, la funcin 0 no es un punto interior de en C
0
1
[0. 1].
De hecho, el conjunto del ejemplo anterior tiene interior vaco en C
0
1
[0. 1] [Ejercicio
2.46].
Denicin 2.16 Sea un subconjunto de un espacio mtrico A = (A. d). Un punto
r A se llama un punto de contacto de si 1
A
(r. ) ,= O para toda 0. El
conjunto de todos los puntos de contacto de se llama la cerradura de y se denota
A
. o simplemente . Decimos que es cerrado en A si = .
Ntese que todo punto de es punto de contacto de . es decir, . De hecho,
es el cerrado ms pequeo de A que contiene a [Ejercicio 2.53].
Denimos la bola cerrada en A con centro en r
0
y radio como el conjunto
1
A
(r
0
. ) := r A : d(r. r
0
) _ .
Se tiene lo siguiente.
Proposicin 2.17 En cualquier espacio mtrico A la bola cerrada

1
A
(r
0
. ) en A con
centro en r
0
y radio es un subconjunto cerrado de A.
Demostracin: Sea r

1
A
(r
0
. ). Entonces, para todo o 0. existe r
c
1
A
(r. o)
1
A
(r
0
. ). De la desigualdad del tringulo se sigue que
d(r. r
0
) _ d(r. r
c
) + d(r
c
. r
0
) < o + \o 0.
En consecuencia d(r. r
0
) _ . es decir, r

1
A
(r
0
. ).
Denotaremos por A al complemento de en A. es decir,
A := r A : r , .
Los abiertos y los cerrados son duales en el siguiente sentido:
2.2. CONJUNTOS ABIERTOS Y CONJUNTOS CERRADOS 25
Proposicin 2.18 Para cualquier subconjunto de un espacio mtrico A se cumple
que
A = int(A).
En consecuencia, es cerrado en A si y slo si A es abierto en A.
Demostracin: r int(A) si y slo si existe 0 tal que 1
A
(r. ) = O.
es decir, si y slo si r A. Por tanto, si es cerrado, entonces A = A =
int(A). es decir, A es abierto. E inversamente, si A es abierto, entonces A =
int(A) = A y, en consecuencia, = . es decir, es cerrado.
Existen tambin subconjuntos que no son ni abiertos ni cerrados. Por ejemplo, el
intervalo [c. /) no es ni abierto ni cerrado en R. Ms an, un subconjunto puede ser
simultneamente abierto y cerrado.
Ejemplo 2.19 Todo subconjunto de un espacio mtrico discreto A
oicc
es abierto en
A
oicc
. En consequencia, todo subconjunto de A
oicc
es cerrado en A
oicc
.
Demostracin: Para cada subconjunto de A y cada punto r . la bola abierta
con centro en r y radio 1 segn la mtrica discreta consta nicamente del punto r. En
consecuencia, 1
oicc
(r. 1) = r . es decir, r int().
En general no es cierto que la cerradura de una bola abierta sea la correspondiente
bola cerrada.
Ejemplo 2.20 Si A
oicc
es un espacio mtrico discreto con al menos dos puntos en-
tonces, puesto que todos los subconjuntos de A
oicc
son cerrados, se tiene que
1
oicc
(r. 1) = 1
oicc
(r. 1) = r , = A =

1
oicc
(r. 1). \r A.
Sin embargo, esto no ocurre en un espacio vectorial normado.
Proposicin 2.21 Si \ = (\. ||) es un espacio vectorial normado, entonces la cer-
radura de la bola abierta 1(
0
. ) = \ : |
0
| < en \ es la bola cerrada
1(
0
. ) = \ : |
0
| _ .
Demostracin: Como

1(
0
. ) es cerrado y contiene a 1(
0
. ) se tiene que 1(
0
. )
1(
0
. ) [Ejercicio 2.53]. Probaremos ahora que

1(
0
. ) 1(
0
. ). Sea

1(
0
. ) y
sea o 0. Sin perder generalidad podemos tomar o < 2. El punto
c
= +
o
2
(
0
) \
26 2. CONTINUIDAD
satisface
|
c
| =
o
2
|
0
| _
o
2
< o. y
|
c

0
| = (1
o
2
) |
0
| _
o
2
< .
Es decir,
c
1(. o) 1(
0
. ). En consequencia, 1(
0
. ).
Daremos ahora una caracterizacin de la continuidad en trminos de conjuntos abier-
tos y conjuntos cerrados. La imagen inversa de un subconjunto 1 de 1 bajo la funcin
: A 1 es el conjunto
1
(1) := r A : (r) 1 .
Proposicin 2.22 Sean A y 1 espacios mtricos, y sea : A 1 una funcin. Las
siguientes armaciones son equivalentes:
(a) : A 1 es continua.
(b) La imagen inversa
1
(l) de cualquier subconjunto abierto l de 1 es abierta en
A.
(c) La imagen inversa
1
(C) de cualquier subconjunto cerrado C de 1 es cerrada en
A.
Demostracin: (c) = (/) : Sea l un subconjunto abierto de 1. Para cada r
1
(l) tomemos 0 tal que 1
Y
((r). ) l. Como es continua existe o 0
tal que (1
A
(r. o)) 1
Y
((r). ). Entonces 1
A
(r. o)
1
(l). es decir,
1
(l) es
abierto en A.
(/) = (c) : Sean r A y 0. Como 1
Y
((r). ) es abierta en 1 , se tiene que
1
(1
Y
((r). )) es abierto en A. En particular, existe o 0 tal que 1
A
(r. o)
1
(1
Y
((r). )). es decir, (1
A
(r. o)) 1
Y
((r). ).
(/) = (c) es consecuencia inmediata de lo anterior y de la Proposicin 2.18, ya que
A r
1
(C) =
1
(A rC).
Por tanto,
1
(C) es cerrado si y slo si
1
(A rC) es abierto y esto es equivalente a
que C sea cerrado.
Ejemplo 2.23 Cualquier funcin : A
oicc
1 de un espacio mtrico discreto a un
espacio mtrico cualquiera 1 es continua, ya que cualquier subconjunto de A
oicc
es
abierto (Ejemplo 2.19).
2.3. CONVERGENCIA DE SUCESIONES 27
Para nalizar esta seccin veamos algunas propiedades importantes de los abiertos.
Proposicin 2.24 En cualquier espacio mtrico A = (A. d) se cumple lo siguiente.
(i) El conjunto vaco O es abierto en A.
(ii) A es abierto en A.
(iii) La unin

i1
l
i
de cualquier familia l
i
: i 1 de subconjuntos abiertos de A
es abierta en A.
(iv) La interseccin l \ de dos subconjuntos abiertos l y \ de A es abierta en A.
Demostracin: (i) se cumple por vacuidad: Todo punto de O es punto interior de O.
(ii) 1
A
(r. ) A para cualquier r A y cualquier 0. es decir, cualquier r A es
punto interior de A.
(iii) Si r
i1
l
i
entonces r l
i
0
para algn i
0
1 y, como l
i
0
es abierto, existe 0
tal que 1
A
(r. ) l
i
0
. Pero entonces 1
A
(r. )
i1
l
i
. es decir, r int
_
i1
l
i
_
.
(iv) Si r l \. como l y \ son abiertos, existen
1
.
2
0 tales que 1
A
(r.
1
) l
y 1
A
(r.
2
) \. Tomando := mn
1
.
2
se tiene que 1
A
(r. ) (l \ ). es decir,
r int(l \ ).
Dado que los subconjuntos cerrados de A son los complementos de los abiertos, las
armaciones duales son ciertas para dichos subconjuntos. Dejamos los detalles al lector
[Ejercicio 2.51].
Las propiedades (i) a (iv) son usadas para denir a los abiertos de un espa-
cio topolgico. Dado que la continuidad est caracterizada en trminos de abiertos
(Proposicin 2.22), los espacios topolgicos son el mbito natural para estudiar la con-
tinuidad. Veremos ms adelante que algunas propiedades importantes en Anlisis no se
preservan bajo homeomorsmos, por ejemplo, la propiedad de ser completo. De aqu
que el mbito natural del Anlisis es el de los espacios mtricos.
2.3. Convergencia de sucesiones
Daremos ahora una caracterizacin de la continuidad en trminos de sucesiones. Sea
A = (A. d) un espacio mtrico.
Denicin 2.25 Una sucesin en un espacio mtrico A es una funcin r : N A.
El valor de esta funcin en / se llama el /-simo trmino de la sucesin y se denota
por r
I
:= r(/) y la sucesin se denota por r = (r
I
).
Una subsucesin de r = (r
I
) es la composicin de r con una funcin estrictamente
creciente / : N N. Su ,-simo trmino se denota por r
I
j
:= r(/(,)).
Decimos que (r
I
) converge a un punto r A si, dada 0. existe /
0
N tal que
d(r
I
. r) < para todo / _ /
0.
El punto r se llama el lmite de la sucesin (r
I
).
28 2. CONTINUIDAD
Usaremos la notacin
r
I
r en A. o bien lm
Io
r
I
= r.
para decir que (r
I
) converge a r en A. Observemos que
r
I
r en A == d(r
I
. r) 0 en R.
Proposicin 2.26 (i) El lmite de una sucesin convergente es nico.
(ii) Si (r
I
) converge a r en A entonces cualquier subsucesin (r
I
j
) converge a r en A.
Demostracin: Probemos la armacin (i). Si r
I
r y r
I
en A entonces
0 _ d(r. ) _ d(r
I
. r) + d(r
I
. ) 0 en R.
Por tanto, d(r. ) = 0. es decir, r = .
La armacin (ii) es consecuencia del resultado anlogo para sucesiones de nmeros
reales, ya que d(r
I
j
. r) es una subsucesin de d(r
I
. r) en R.
Daremos ahora una caracterizacin de la cerradura de un conjunto en trminos de
sucesiones en dicho conjunto.
Proposicin 2.27 Sea un subconjunto de A y sea r A. Entonces r si y slo
si existe una sucesin (r
I
) de puntos en tal que r
I
r en A.
Demostracin: Si r entonces existe r
I
1(r.
1
I
) para toda / N. Es
decir, r
I
y 0 _ d(r
I
. r) _
1
I
para toda / N. En consecuencia, r
I
r en A.
Sea ahora (r
I
) una sucesin de puntos en tal que r
I
r en A. Sea 0. Entonces
existe /
0
N tal que d(r
I
. r) < para todo / _ /
0
. En particular, r
I
0
1
A
(r. ) .
Por tanto, r .
Podemos caracterizar la continuidad de una funcin en trminos de sucesiones.
Proposicin 2.28 : A 1 es continua en el punto r A si y slo si para toda
sucesin (r
I
) en A tal que r
I
r en A se cumple que (r
I
) (r) en 1.
Demostracin: Supongamos que es continua en r y que r
I
r en A. Sea
0. Entonces, como es continua, existe o 0 tal que (1
A
(r. o)) 1
Y
((r). )
y, como r
I
r. existe /
0
N tal que r
I
1
A
(r. o) para todo / _ /
0
. Por lo tanto
(r
I
) 1
Y
((r). ) para todo / _ /
0
. es decir, (r
I
) (r).
Inversamente: Supongamos que no es continua en r. Entonces, para alguna
0
0
y para cada / N. existe r
I
1
A
(r.
1
I
) tal que (r
I
) , 1
Y
((r).
0
). Es decir, (r
I
)
converge a r en A pero ((r
I
)) no converge a (r) en 1.
2.4. EJERCICIOS 29
Ejemplo 2.29 Consideremos las funciones continuas ,
I
,
I
(t) =
_
/t + 1 si 0 _ t _
1
I
0 si
1
I
_ t _ 1
Entonces ,
I
0 en C
0
1
[0. 1] . pero (,
I
) no converge en C
0
o
[0. 1] .
Demostracin: Se tiene que
|,
I
|
1
=
_
1
0
[,
I
(t)[ dt =
1
2/
0.
es decir, ,
I
0 en C
0
1
[0. 1] . Supongamos que ,
I
, en C
0
o
[0. 1] . Entonces, como
[,
I
(t) ,(t)[ _ |,
I
,|
o
para cada t [0. 1].
se cumple que la sucesin de nmeros reales (,
I
(t)) converge a ,(t) en R para cada
t [0. 1]. En consecuencia
,(t) = lm
Io
,
I
(t) =
_
1 si t = 0
0 si 0 < t _ 1
Esta funcin no es continua en [0. 1], lo que contradice nuestra suposicin.
2.4. Ejercicios
Ejercicio 2.30 Demuestra las siguientes armaciones.
(a) Toda isometra es Lipschitz continua.
(b) Si : A 1 y : 1 2 son (Lipschitz) continuas entonces la composicin
: A 2 es (Lipschitz) continua.
Ejercicio 2.31 Considera la funcin : R R. (t) = t
2
. Es Lipschitz continua?
Ejercicio 2.32 Prueba que, si ,. q : A R son continuas y c R. entonces las
siguientes funciones son continuas.
(a) , + q : A R, (, + q)(r) = ,(r) + q(r).
(b) cq : A R, (c,)(r) = c,(r).
(c) ,q : A R, (,q)(r) = ,(r)q(r).
(d) max,. q : A R, (max,. q)(r) = max,(r). q(r).
(e) mn,. q : A R, (mn,. q)(r) = mn,(r). q(r)).
Es cierto que, si ,. q : A R son Lipschitz continuas, las funciones anteriores son
Lipschitz continuas?
30 2. CONTINUIDAD
Ejercicio 2.33 Sea A = (A. d) un espacio mtrico y sea r
0
A. Prueba que la funcin
: A R. (r) = d(r
0
. r).
es Lipschitz continua. (Sugerencia: Usa el Ejercicio 1.30).
Ejercicio 2.34 Sea A = (A. d) un espacio mtrico, sea r
0
A y sea : 0. Prueba
que la esfera
o
A
(r
0
. :) := r A : d(r
0
. r) = :
es un subconjunto cerrado de A.
Ejercicio 2.35 Sea (\. ||) un espacio vectorial normado. Demuestra las siguientes
armaciones.
(a) Si
I
y n
I
n en \ entonces
I
+ n
I
+ n en \.
(b) Si
I
en \ y `
I
` en R, entonces `
I
I
` en \.
(c) Si
I
en \ entonces |
I
| || en R.
Es decir, la suma, el producto por escalares y la norma son funciones continuas.
Ejercicio 2.36 Sean 1 _ :. : _ . Demuestra las siguientes armaciones.
(a) : R
n
c
R
a
v
es continua si y slo si : R
n
c
R
a
v
es continua.
(b) : R
n
c
R
a
v
es Lipschitz continua si y slo si : R
n
c
R
a
v
es Lipschitz continua.
Ejercicio 2.37 Sea 1 _ j _ . Demuestra las siguientes armaciones.
(a) l es abierto en R
a
2
si y slo si l es abierto en R
a
j
.
(b) C es cerrado en R
a
2
si y slo si C es cerrado en R
a
j
.
Ejercicio 2.38 Prueba que para cualquier 1 _ j _ y cualesquiera c _ c
t
< /
t
_ /
la funcin
j : C
0
j
[c. /] C
0
j
[c
t
. /
t
]. j(,) = , [
[o
0
,b
0
]
.
que a cada funcin , le asocia su restriccin al intervalo [c
t
. /
t
], es Lipschitz continua.
Ejercicio 2.39 Prueba que para cualquier 1 _ j _ la funcin
o : C
0
j
[c. /] C
0
j
[0. 1]. o(,) = , n.
donde n es la reparametrizacin n(t) : [0. 1] [c. /]. n(t) = (/ c)t + c. es un homeo-
morsmo.
Ejercicio 2.40 Prueba que, para cualesquiera 1 _ : _ : _ . la identidad 1 :
C
0
v
[c. /] C
0
c
[c. /] es Lipschitz continua, pero no es un homeomorsmo.
2.4. EJERCICIOS 31
Ejercicio 2.41 Prueba que, si 1 _ : _ : _ . entonces la inclusin t : /
c
/
v
es
Lipschitz continua.
Ejercicio 2.42 Prueba que, para cualquier 1 _ : _ . la /-sima proyeccin
:
I
: /
c
R. :
I
(r) = r
I
.
con r = (r
I
) /
c
. es Lipschitz continua.
Ejercicio 2.43 Considera el conjunto T de las trayectorias o : [0. 1] R
2
continua-
mente diferenciables, tales que o(0) = (0. 0). o(1) = (1. 0) y
_
1
0
|o
t
| dt < .
(a) Prueba que |o t| = max
0t1
|o(t) t(t)|
2
es una mtrica en T .
(b) Considera la funcin longitud
/ : T R, /(o) =
_
1
0
|o
t
| dt.
Es sta una funcin continua? (Sugerencia: Considera la sucesin de trayectorias
o
I
(t) = (t.
1
I
sen(/:t))).
Ejercicio 2.44 Sea A = [1. 1] con la mtrica inducida por la de R.
(a) Cul es el interior en A de los siguientes conjuntos: (0. 1]. [0. 1]. (0.
1
2
). [0.
1
2
).
[1. 1]?
(b) Cules de estos conjuntos son abiertos en A?
(c) Cules de ellos son cerrados en A?
Ejercicio 2.45 (a) Es la bola abierta en C
0
1
[0. 1] .
1
1
(0. 1) = , C
0
[0. 1] :
_
1
0
[,(t)[ dt < 1.
un subconjunto abierto de C
0
o
[0. 1]?
(b) Es la bola cerrada en C
0
1
[0. 1] .
1
1
(0. 1) = , C
0
[0. 1] :
_
1
0
[,(t)[ dt _ 1.
un subconjunto cerrado de C
0
o
[0. 1]?
(c) Es la bola cerrada en C
0
o
[0. 1] .
1
o
(0. 1) = , C
0
[0. 1] : max
0t1
[r(t)[ _ 1.
32 2. CONTINUIDAD
un subconjunto cerrado de C
0
1
[0. 1]?
(d) Da un ejemplo de un subconjunto cerrado de C
0
o
[0. 1] que no sea cerrado en C
0
1
[0. 1].
(Sugerencia: Para responder a las dos primeras preguntas usa la Proposicin 2.22)
Ejercicio 2.46 Prueba que la bola abierta en C
0
o
[0. 1] .
1
o
(0. 1) = , C
0
[0. 1] : max
0t1
[r(t)[ < 1.
tiene interior vaco en C
0
1
[0. 1] .
Ejercicio 2.47 Prueba que una sucesin (r
I
) en un espacio mtrico discreto A
oicc
converge a r si y slo si existe /
0
N tal que r
I
= r para todo / _ /
0
.
Ejercicio 2.48 Prueba que, si una sucesin (r
I
) converge en A, entonces est acotada
en A, es decir, existen r
0
A y : 0 tales que d
A
(r
I
. r
0
) < : para toda / N.
Ejercicio 2.49 Prueba que en cualquier espacio mtrico A la interseccin de un nmero
nito de subconjuntos abiertos l
1
l
n
es abierta en A.
Ejercicio 2.50 Da un ejemplo de una familia numerable de abiertos l
a
: : N en
R cuya interseccin

aN
l
a
no es abierta en R.
Ejercicio 2.51 Demuestra que en cualquier espacio mtrico A = (A. d) se cumple lo
siguiente.
(a) A es cerrado en A.
(b) El conjunto vaco O es cerrado en A.
(c) La interseccin

i1
C
i
de cualquier familia C
i
: i 1 de subconjuntos cerrados
de A es cerrada en A.
(d) La unin C ' 1 de dos subconjuntos cerrados C y 1 de A es cerrada en A.
(Sugerencia: Aplica las Proposiciones 2.24 y 2.18).
Ejercicio 2.52 Sean y 1 subconjuntos de un espacio mtrico A. Demuestra las
siguientes armaciones.
(a) int(1) int() si 1 .
(b) int() es abierto en A.
(c) int() es el mximo subconjunto abierto de A contenido en .
Ejercicio 2.53 Sean y 1 subconjuntos de un espacio mtrico A. Demuestra las
siguientes armaciones.
(a) 1 si 1 .
(b) es cerrado en A.
(c) es el mnimo subconjunto cerrado de A que contiene a .
Captulo 3
Convergencia uniforme
3.1. Convergencia uniforme en espacios mtricos
Sean A = (A. d
A
) y 1 = (1. d
Y
) espacios mtricos.
Denicin 3.1 Una sucesin de funciones ,
I
: A 1. / N. converge puntual-
mente a una funcin , : A 1 si, para cada r A. la sucesin (,
I
(r)) converge en
1 ; es decir si, para cada 0 y cada r A, existe /
0
N (que depende de y de r)
tal que
d
Y
(,
I
(r). ,(r)) < \/ _ /
0
.
La funcin , se llama el lmite puntual de (,
I
).
Por lo general no sucede que el lmite puntual de una sucesin de funciones continuas
sea una funcin continua, como lo muestra el siguiente ejemplo.
Ejemplo 3.2 La sucesin de funciones ,
I
: [0. 1] R. ,
I
(t) = t
I
. converge puntual-
mente a
,(t) =
_
0 si 0 _ t < 1
1 si t = 1
Es decir, el lmite puntual de una sucesin de funciones continuas no es necesariamente
una funcin continua.
Daremos a continuacin una nocin de convergencia segn la cual el lmite de una
sucesin de funciones continuas s va a resultar ser una funcin continua.
I
: A 1. / N. converge uniforme-
mente a una funcin , : A 1 si dada 0 existe /
0
N (que depende nicamente
de ) tal que
d
Y
(,
I
(r). ,(r)) < \/ _ /
0
, \r A.
La funcin , se llama el lmite uniforme de (,
I
).
33
34 3. CONVERGENCIA UNIFORME
Notemos que esta nocin es ms fuerte que la de convergencia puntual: Si (,
I
)
converge uniformemente a , entonces converge puntualmente a ,. El inverso no es
cierto, como lo muestra el Ejemplo 3.2. Ni siquiera es cierto cuando el lmite puntual
resulta ser contnuo.
Ejemplo 3.4 Las funciones ,
I
,
I
(t) = max/ /
2
t
1
/
. 0
son continuas. La sucesin (,
I
) converge puntualmente a 0. pero no converge uniforme-
mente. Ms an, para cualquier 0, se tiene que

,
I
(
1
I
)
= / para toda /
sucientemente grande.
1 0. 75 0. 5 0. 25 0
3. 5
3
2. 5
2
1. 5
1
0. 5
0
Grca de ,
I
La propiedad fundamental de la convergencia uniforme es la siguiente.
Teorema 3.5 Si ,
I
: A 1 es continua para todo / N y si ,
I
converge uniforme-
mente a , : A 1. entonces , es continua.
Demostracin: Sean r
0
A y 0. Como (,
I
) converge uniformemente a ,. existe
/
0
N tal que
d
Y
(,
I
(r). ,(r)) <

3
\r A. \/ _ /
0
.
Y, como ,
I
0
es continua, existe o 0 tal que
d
Y
(,
I
0
(r). ,
I
0
(r
0
)) <

3
si d
A
(r. r
0
) < o.
En consecuencia,
d
Y
(,(r). ,(r
0
)) _ d
Y
(,(r). ,
I
0
(r)) + d
Y
(,
I
0
(r). ,
I
0
(r
0
)) + d
Y
(,
I
0
(r
0
). ,(r
0
))
< si d
A
(r. r
0
) < o.
3.2. ESPACIOS MTRICOS COMPLETOS 35
Esto prueba que , es continua.
Ejemplo 3.6 Una sucesin de funciones continuas ,
I
: [c. /] R converge uniforme-
mente si y slo si (,
I
) converge en C
0
o
[c. /].
Demostracin: Supongamos que ,
I
: [c. /] R es una sucesin de funciones contin-
uas que converge uniformemente a ,. Entonces, por el teorema anterior, , es continua.
Dada 0. existe /
0
N tal que
[,
I
(t) ,(t)[ < \/ _ /
0
. \t [c. /].
Por tanto,
|,
I
,|
o
:= max
t[o,b]
[,
I
(t) ,(t)[ < \/ _ /
0
.
es decir, ,
I
, en C
0
o
[c. /]. El inverso es consecuencia inmediata de la denicin de
||
o
.
En la Seccin 3.3 daremos un criterio que garantiza la convergencia de una sucesin
de funciones.
3.2. Espacios mtricos completos
Sea A = (A. d
A
) un espacio mtrico.
Denicin 3.7 Una sucesin (r
I
) en A es de Cauchy si dada 0 existe /
0
N
tal que
d
A
(r
I
. r
)
) < \/. , _ /
0
.
Proposicin 3.8 Toda sucesin convergente es de Cauchy.
Demostracin: Si r
I
r en A entonces, dada 0 existe /
0
N tal que
d
A
(r
I
. r) <
.
2
si / _ /
0
. Por tanto
d
A
(r
I
. r
)
) _ d
A
(r
I
. r) + d
A
(r. r
)
) < \/. , _ /
0
.
Es decir, (r
I
) es de Cauchy.
El inverso no es cierto en general. Veamos un par de ejemplos.
Ejemplo 3.9 Sea A = (0. 1) con la mtrica usual. La sucesin (
1
I
) es de Cauchy en
(0. 1) pero no converge en (0. 1) [Ejercicio 3.35].
Ejemplo 3.10 La sucesin de funciones ,
I
: [1. 1] R.
,
I
(t) =
_
_
_
1 si 1 _ t _
1
I
/t si
1
I
_ t _
1
I
1 si
1
I
_ t _ 1
es de Cauchy en C
0
1
[1. 1] pero no converge en C
0
1
[1. 1].
1 0. 5 0 -0. 5 -1
1
0. 5
0
-0. 5
-1
Grca de ,
I
Demostracin: Si , _ / se tiene que
_
1
1
[,
I
(t) ,
)
(t)[ dt = 2
_
1
0
[,
I
(t) ,
)
(t)[ dt
= 2
_
_
1)
0
(,t /t)dt +
_
1I
1)
(1 /t)dt
_
=
1
/

1
,
.
En consecuencia, dada 0 se tiene que
|,
I
,
)
|
1
< \/. ,
2
.
As pues, (,
I
) es de Cauchy.
Supongamos que ,
I
, en C
0
1
[1. 1]. Entonces, por el Ejercicio 2.38 y la Proposicin
2.28, para cada c (0. 1) se tiene que
,
I
[
[o,1]
, [
[o,1]
y ,
I
[
[1,o]
, [
[1,o]
.
3.2. ESPACIOS MTRICOS COMPLETOS 37
Pero ,
I
[
[o,1]
= 1 y ,
I
[
[1,o]
= 1 si / _
1
o
. En consecuencia,
,(t) =
_
1 si t [1. 0)
1 si t (0. 1]
Por tanto, , no es continua en [1. 1]. Esto contradice nuestra suposicin.
Denicin 3.11 Un espacio mtrico A es completo, si toda sucesin de Cauchy en A
converge en A. Un espacio vectorial normado completo se llama un espacio de Banach.
Sabemos que el espacio R de los nmeros reales es completo. Los ejemplos anteriores
muestran que (c. /) y C
0
1
[c. /] no lo son. De hecho, C
0
j
[c. /] no es un espacio de Banach
para ninguna 1 _ j < [Ejercicio 3.38].
La propiedad de ser completo no es invariante bajo homeomorsmos, como lo mues-
tra el siguiente ejemplo.
Ejemplo 3.12 La funcin tan : (
2
.

2
) R es un homeomorsmo. R es un espacio
mtrico completo, pero (
2
.

2
) no lo es.
7.5 5 2.5 0 -2.5 -5 -7.5
1
0.5
0
-0.5
-1
x
y
x
y
arctan r
La propiedad de ser completo s se preserva bajo equivalencias.
Proposicin 3.13 Si c : A 1 es una equivalencia de espacios mtricos (es decir,
c es biyectiva y c y c
1
son Lipschitz continuas), entonces A es completo si y slo si
1 lo es.
Demostracin: Supongamos que 1 es completo y que c : A 1 es Lipschitz
continua. Sea (r
I
) una sucesin de Cauchy en A. Entonces, dada 0. existe /
0
N
tal que
d
Y
(c(r
)
). c(r
I
)) _ Cd
A
(r
)
. r
I
) < \,. / _ /
0
.
Es decir, la sucesin (c(r
I
)) es de Cauchy en 1 y, como 1 es completo, c(r
I
) en
1. Como c
1
es continua, la Proposicin 2.28 garantiza que r
I
c
1
() en A. As
pues, A es completo. El inverso se obtiene remplazando 1 por A y c por c
1
en el
argumento anterior.
Ejemplo 3.14 R
a
j
es un espacio de Banach para toda 1 _ j _ .
Demostracin: Por la Proposicin 2.7 y la proposicin anterior basta probar que
R
a
o
es completo. Sea (r
I
) una sucesin de Cauchy en R
a
o
. donde r
I
= (r
I,1
. .... r
I,a
).
Entonces, dada 0. existe /
0
N tal que
[r
),i
r
I,i
[ _ max
i=1,...,a
[r
),i
r
I,i
[ =: |r
)
r
I
|
o
< \,. / _ /
0
. \i = 1. .... :.
Es decir, (r
I,i
) es de Cauchy en R para cada i = 1. .... :. Como R es completo, cada
sucesin r
I,i
r
i
en R. Por tanto, dada 0. existe /
1
N tal que
[r
I,i
r
i
[ < \/ _ /
1
. \i = 1. .... :.
y, en consecuencia,
|r
I
r|
o
:= max
i=1,...,a
[r
I,i
r
i
[ < \/ _ /
1
.
donde r = (r
1
. .... r
a
). Es decir, r
I
r en R
a
o
.
No todo subespacio de un espacio mtrico completo es un espacio mtrico completo.
Por ejemplo, R es completo pero ningn intervalo abierto (c. /) lo es. La siguiente
proposicin caracteriza a aqullos que s lo son.
Proposicin 3.15 Sea A un espacio mtrico completo. Un subespacio de A es com-
pleto si y slo si es cerrado.
Demostracin: Supongamos que es cerrado. Sea (c
I
) una sucesin de Cauchy en
. Entonces (c
I
) una sucesin de Cauchy en A y, como A es completo, c
I
r en A.
Por la Proposicin 2.27 se tiene que r = . es decir, es completo.
Inversamente: Supongamos que es completo. Sea r . Por la Proposicin 2.27,
existe una sucesin (c
I
) en tal que c
I
r en A. La Proposicin 3.8 asegura entonces
que (c
I
) es de Cauchy y, como es completo, se tiene que c
I
c en . De la unicidad
del lmite se sigue que c = r. es decir, r . Por tanto, es cerrado.
3.3. EL CRITERIO DE CAUCHY PARA LA CONVERGENCIA UNIFORME DE FUNCIONES 39
3.3. El criterio de Cauchy para la convergencia uni-
forme de funciones
Sean A = (A. d
A
) y 1 = (1. d
Y
) espacios mtricos.
I
: A 1. / N. es uniformemente
de Cauchy si, para cada 0, existe /
0
N tal que
d
Y
(,
I
(r). ,
)
(r)) < \,. / _ /
0
, \r A.
El siguiente teorema nos da una condicin necesaria y suciente para la convergencia
uniforme de una sucesin de funciones.
Teorema 3.17 (Criterio de convergencia uniforme de Cauchy) Sea 1 un espa-
cio mtrico completo. Una sucesin de funciones ,
I
: A 1. / N. converge uni-
formemente si y slo si (,
I
) es uniformemente de Cauchy.
Demostracin: Si (,
I
) converge uniformemente a , entonces, dada 0, existe
/
0
N tal que
d
Y
(,
I
(r). ,(r)) <

2
\/ _ /
0
, \r A.
En consecuencia,
d
Y
(,
I
(r). ,
)
(r)) _ d
Y
(,
I
(r). ,(r)) + d
Y
(,(r). ,
)
(r)) < \,. / _ /
0
, \r A.
Es decir, (,
I
) es uniformemente de Cauchy.
Supongamos ahora que (,
I
) es uniformemente de Cauchy. Entonces, para cada r A.
la sucesin (,
I
(r)) es de Cauchy en 1 y, como 1 es completo, esta sucesin converge a
un punto de 1 al que denotaremos por ,(r). As pues, ,
I
(r) ,(r) en 1 para cada
r A. Probemos que ,
I
, uniformemente. Sea 0. Como (,
I
) es uniformemente
de Cauchy, existe /
0
N tal que
d
Y
(,
I
(r). ,
)
(r)) <

2
\,. / _ /
0
, \r A.
Como ,
)
(r) ,(r) en 1. existe ,
a
N (que depende de r) tal que
d
Y
(,
)
(r). ,(r)) <

2
\, _ ,
a
.
Dadas / _ /
0
y r A escojamos , _ max/
0
. ,
a
. Entonces
d
Y
(,
I
(r). ,(r)) _ d
Y
(,
I
(r). ,
)
(r)) + d
Y
(,
)
(r). ,(r)) < .
En consecuencia,
d
Y
(,
I
(r). ,(r)) < \/ _ /
0
, \r A.
es decir, (,
I
) converge uniformemente a ,.
A diferencia de lo que ocurre para 1 _ j < . el espacio C
0
o
[c. /] s es completo.
Ejemplo 3.18 C
0
o
[c. /] es un espacio de Banach.
Demostracin: Sea (,
I
) una sucesin de Cauchy en C
0
o
[c. /]. Esto equivale a decir
que (,
I
) es uniformemente de Cauchy. El teorema anterior garantiza que ,
I
converge
uniformemente. El Ejemplo 3.6 arma entonces que (,
I
) converge en C
0
o
[c. /].
Daremos ahora una versin ms general de este ejemplo, que nos permite reinter-
pretar la convergencia uniforme.
3.4. El espacio de funciones continuas y acotadas
Sea \ = (\. ||) un espacio vectorial normado y sea A = (A. d) un espacio mtrico.
Denicin 3.19 Una funcin , : A \ es acotada si existe 1 0 tal que |,(r)| _
1 para toda r A.
Denotaremos por
E(A. \ ) := , : A \ : , es acotada
y por
|,|
o
:= sup
aA
|,(r)| . (3.1)
Dadas dos funciones ,. q : A \ y c R. denimos
, + q : A \. (, + q)(r) := ,(r) + q(r).
c, : A \. (c,)(r) := c,(r).
Proposicin 3.20 (E(A. \ ). ||
o
Demostracin: Si ,. q E(A. \ ) y c R entonces, para cada r A.
|,(r) + q(r)| _ |,(r)| +|q(r)| _ |,|
o
+|q|
o
.
|c,(r)| = [c[ |,(r)| _ [c[ |,|
o
.
3.4. EL ESPACIO DE FUNCIONES CONTINUAS Y ACOTADAS 41
En consecuencia, , + q. c, E(A. \ ) y, tomando el supremo sobre toda r A,
obtenemos que
|, + q|
o
_ |,|
o
+|q|
o
y |c,|
o
= [c[ |,|
o
.
Esto prueba que E(A. \ ) es un espacio vectorial y que se cumplen las propiedades (N2)
y (N3) de la Denicin 1.9. La propiedad (N1) es inmediata.
Proposicin 3.21 (a) Una sucesin de funciones acotadas ,
I
: A \ converge
uniformemente si y slo si (,
I
) converge en E(A. \ ).
(b) Una sucesin de funciones acotadas ,
I
: A \ es uniformemente de Cauchy si y
slo si (,
I
) es de Cauchy en E(A. \ ).
Demostracin: (a) Supongamos que ,
I
E(A. \ ) y que (,
I
) converge uniforme-
mente a ,. Entonces, para cada 0. existe /
0
N tal que
|,
I
(r) ,(r)| _ \/ _ /
0
. \r A.
Es decir,
|,
I
,|
o
_ \/ _ /
0
.
En particular, ,
I
0
, E(A. \ ) y, como E(A. \ ) es un espacio vectorial, se tiene
entonces que , = ,
I
0
(,
I
0
,) E(A. \ ). En consecuencia, ,
I
, en E(A. \ ). El
inverso es consecuencia inmediata de la denicin de ||
o
.
La armacin (b) es tambin consecuencia inmediata de la denicin de ||
o
.
Denotemos por
(
0
(A. \ ) := , E(A. \ ) : , es continua.
Proposicin 3.22 Si \ es de Banach entonces E(A. \ ) y (
0
(A. \ ) son de Banach.
Demostracin: Sea (,
I
) una sucesin de Cauchy en E(A. \ ). La proposicin anterior
y el Teorema 3.17 aseguran que (,
I
) converge en E(A. \ ). es decir, E(A. \ ) es de
Banach.
Probemos que (
0
(A. \ ) es cerrado en E(A. \ ). Sea , (
0
(A. \ ). Por la Proposicin
2.27, existe una sucesin (,
I
) en (
0
(A. \ ) tal que ,
I
, en E(A. \ ). Por el Teorema
3.5, la funcin , es continua, es decir, (
0
(A. \ ) = (
0
(A. \ ). Como todo subespacio
cerrado de un espacio completo es completo (Proposicin 3.15), se tiene que (
0
(A. \ )
es de Banach.
Notemos que, si A = [c. /] y \ = R, entonces (
0
(A. \ ) es justamente el espacio
C
0
o
[c. /]. El hecho de que (a diferencia de lo que ocurre con C
0
j
[c. /] para 1 _ j < ) el
espacio C
0
o
[c. /] sea un espacio de Banach, implica que la norma ||
o
es la ms adecuada
para el espacio de funciones continuas. Escribiremos de aqu en adelante (
0
[c. /] en vez
de C
0
o
[c. /]. Ms en general, denotaremos por
(
0
(A) := (
0
(A. R). (3.2)
La norma ||
o
denida en (3.1) se llama la norma uniforme y la mtrica inducida
por ella se llama la mtrica uniforme en (
0
(A. \ ). o en E(A. \ ).
3.5. Series de funciones
Sea \ = (\. ||) un espacio vectorial normado y sea (
I
) una sucesin en \.
Denicin 3.23 Decimos que la serie
o
I=1
I
converge si la sucesin (n
a
) de sumas parciales n
a
:=
a
I=1
I
converge en \.
En espacios de Banach se tiene el siguiente criterio de convergencia.
Proposicin 3.24 (Criterio de Cauchy para series) Sea \ un espacio de Banach
y sea (
I
) una sucesin en \. La serie
o
I=1
I
converge si y slo si, para cada 0, existe /
0
N tal que
|
I+1
+ +
I+)
| < \/ _ /
0
. \, _ 1.
Demostracin: Como \ es completo, la sucesin (n
a
) de sumas parciales n
a
:=
a
I=1
I
converge en \ si y slo si (n
a
) es de Cauchy, es decir, si y slo si para cada
0, existe /
0
` tal que
|n
I+)
n
I
| = |
I+1
+ +
I+)
| < \/ _ /
0
. \, _ 1.
Sea A = (A. d) un espacio mtrico y sea ,
I
: A \ una sucesin de funciones.
3.5. SERIES DE FUNCIONES 43
Denicin 3.25 Decimos que la serie de funciones
o
I=1
,
I
converge uniformemente en A si la sucesin de funciones 1
a
=

a
I=1
,
I
converge
uniformemente a una funcin , : A \. a la que denotamos
, =:
o
I=1
,
I
.
Teorema 3.26 (Criterio de Weierstrass) Sea \ un espacio de Banach. Sea ,
I
:
A \ una sucesin de funciones continuas, y sean 1
I
R tales que
|,
I
(r)| _ 1
I
\r A. \/ N.
Si la serie de nmeros reales

o
I=1
1
I
converge, entonces la serie

o
I=1
,
I
converge
uniformemente a una funcin continua y acotada , : A \.
Demostracin: Dado que la serie de nmeros reales

o
I=1
1
I
converge, la sucesin
de sumas parciales

a
I=1
1
I
es de Cauchy y por tanto, para cada 0, existe /
0
N
tal que
1
I+1
+ + 1
I+)
= [1
I+1
+ + 1
I+)
[ < \/ _ /
0
. \, _ 1.
En consecuencia, usando la desigualdad del tringulo obtenemos
|,
I+1
+ + ,
I+)
|
o
_ |,
I+1
|
o
+ +|,
I+)
|
o
_ 1
I+1
+ + 1
I+)
< \/ _ /
0
. \, _ 1.
La Proposicin 3.22 asegura que (
0
(A. \ ) es de Banach. Aplicando el criterio de Cauchy
obtenemos que la serie

o
I=1
,
I
converge en (
0
(A. \ ).
Una aplicacin muy til es la siguiente.
Corolario 3.27 Sean c
I
R y t
0
. t
1
R, t
1
,= t
0
. tales que la serie de nmeros reales
o
I=0
c
I
(t
1
t
0
)
I
converge. Entonces, para toda 0 < : < [t
1
t
0
[ . las series
o
I=0
c
I
(t t
0
)
I
y
o
I=0
/c
I
(t t
0
)
I1
convergen uniformemente en [t
0
:. t
0
+ :].
Demostracin: Sea 0 < : < [t
1
t
0
[. Sea ,
I
(
0
[t
0
:. t
0
+ :] la funcin
,
I
(t) := c
I
(t t
0
)
I
. Probaremos que la sucesin de funciones (,
I
) satisface el crite-
rio de Weierstrass. Sea t [t
0
:. t
0
+ :] entonces
[,
I
(t)[ =
c
I
(t
1
t
0
)
I
[t t
0
[
I
[t
1
t
0
[
I
_
c
I
(t
1
t
0
)
I
o
I
. (3.3)
donde o =
v
[t
1
t
0
[
. Como, por hiptesis, la serie
o
I=0
c
I
(t
1
t
0
)
I
converge, existe ` R tal que

c
I
(t
1
t
0
)
I
_ ` para toda / _ 0, y se sigue de (3.3)

que
|,
I
|
o
= max
t[t
0
v,t
0
+v]
[,
I
(t)[ _ `o
I
\/ N.
Como o < 1. la serie de nmeros reales
o
I=0
`o
I
converge. Por consiguiente, se satisfacen las hiptesis del criterio de Weierstrass y, en
consecuencia, la serie
o
I=0
c
I
(t
1
t
0
)
I
converge uniformemente en [t
0
:. t
0
+ :]. Anlogamente, sea q
I
(
0
[t
0
:. t
0
+ :] la
funcin q
I
(t) := /c
I
(t t
0
)
I1
. Entonces, para toda t [t
0
:. t
0
+ :]. se tiene que
[q
I
(t)[ = /
c
I
(t
1
t
0
)
I1
[t t
0
[
I1
[t
1
t
0
[
I1
_ `/o
I
.
donde o =
v
[t
1
t
0
[
. Dado que la serie de nmeros reales
`
o
I=0
/o
I1
3.6. CONVERGENCIA UNIFORME Y DERIVADAS. 45
converge, aplicando el criterio de Weierstrass obtenemos que la serie
o
I=0
/c
I
(t
1
t
0
)
I1
converge uniformemente en [t
0
:. t
0
+ :].
La serie
o
I=0
c
I
(t t
0
)
I
se llama una serie de potencias. Denimos
1 := sup: _ 0 :
o
I=0
c
I
(t t
0
)
I
converge en [t
0
:. t
0
+ :] _ .
1 se llama el radio de convergencia de la serie.
3.6. Convergencia uniforme y derivadas.
En general, la convergencia uniforme de una sucesin de funciones continuamente
diferenciables no implica nada respecto a la convergencia de las derivadas.
Ejemplo 3.28 Consideremos las funciones
,
I
(t) =
sen/t
_
/
. t R.
Esta sucesin converge uniformemente a 0. ya que |,
I
|
o
= 1,
_
/ 0. Sin embargo,
la sucesin de derivadas ,
t
I
(t) =
_
/ cos /t no converge ni siquiera puntualmente.
Teorema 3.29 Sea ,
I
: [c. /] R una sucesin de funciones continuamente diferen-
ciables con las siguientes propiedades:
(i) Existe t
0
[c. /] tal que (,
I
(t
0
)) converge.
(ii) La sucesin de derivadas (,
t
I
) converge uniformemente en [c. /].
Entonces (,
I
) converge uniformemente a una funcin continuamente diferenciable , en
[c. /] y (,
t
I
) converge uniformemente a ,
t
en [c. /].
Demostracin: Aplicando el teorema del valor medio a la funcin ,
I
,
)
obtenemos
que, para cada t [c. /] y para alguna : entre t
0
y t. se cumple que
[(,
I
,
)
)(t) (,
I
,
)
)(t
0
)[ = [t t
0
[
(,
t
I
,
t
)
)(:)
_ [t t
0
[
_
_
,
t
I
,
t
)
_
_
o
. (3.4)
Por tanto,
[(,
I
,
)
)(t)[ _ [(,
I
,
)
)(t
0
)[ +[(,
I
,
)
)(t) (,
I
,
)
)(t
0
)[
_ [(,
I
,
)
)(t
0
)[ +[t t
0
[
_
_
,
t
I
,
t
)
_
_
o
_ [(,
I
,
)
)(t
0
)[ + (/ c)
_
_
,
t
I
,
t
)
_
_
o
.
para cada t [c. /] y, en consecuencia,
|,
I
,
)
|
o
_ [,
I
(t
0
) ,
)
(t
0
)[ + (/ c)
_
_
,
t
I
,
t
)
_
_
o
.
Como (,
I
(t
0
)) es de Cauchy en R y (,
t
I
) es de Cauchy en (
0
[c. /]. la desigualdad anterior
implica que (,
I
) es de Cauchy en (
0
[c. /] y, como (
0
[c. /] es completo, conclumos que
,
I
, en (
0
[c. /].
En particular, (,
I
) converge puntualmente a , en [c. /] y, en consecuencia, la desigualdad
(3.4) vale para todo t
1
[c. /]. es decir,
[(,
I
,
)
)(t) (,
I
,
)
)(t
1
)[ _ [t t
1
[
_
_
,
t
I
,
t
)
_
_
o
. \t. t
1
[c. /]. /. , N. (3.5)
Sea q (
0
[c. /] tal que ,
t
I
q en (
0
[c. /]. Probaremos a continuacin que , es difer-
enciable en (c. /) y que ,
t
= q. Sea t
1
(c. /) y sea 0. Entonces existe /
0
N tal
que
|,
t
I
q|
o
<

3
\/ _ /
0
(3.6)
y, tomando el lmite cuando , en la desigualdad (3.5), obtenemos que
[(,
I
,)(t) (,
I
,)(t
1
)[ _ [t t
1
[ |,
t
I
q|
o
< [t t
1
[

3
\/ _ /
0
. t [c. /]. (3.7)
Por otra parte, existe o 0 tal que
,
I
0
(t) ,
I
0
(t
1
) (t t
1
),
t
I
0
(t
1
)
< [t t
1
[

3
si [t t
1
[ < o. (3.8)
En consecuencia, de (3.6), (3.7) y (3.8) se sigue que
[,(t) ,(t
1
) (t t
1
)q(t
1
)[ _ [,
I
0
(t) ,(t) ,
I
0
(t
1
) + ,(t
1
)[
+
,
I
0
(t) ,
I
0
(t
1
) (t t
1
),
t
I
0
(t
1
)
+[t t
1
[
,
t
I
0
(t
1
) q(t
1
)
< [t t
1
[ si [t t
1
[ < o.
3.7. EJERCICIOS 47
Es decir, , es continuamente diferenciable en [c. /] y ,
t
= q.
Una funcin , : (t
0
1. t
0
+ 1) R que se puede expresar como una serie de
potencias
,(t) =
o
I=0
c
I
(t t
0
)
I
se llama una funcin analtica. Una consecuencia del teorema anterior es que una
funcin analtica tiene derivadas de todos los rdenes [Ejercicio 3.40]. El recproco no
es cierto [Ejercicio 3.41].
3.7. Ejercicios
Ejercicio 3.30 Prueba que la sucesin de funciones ,
I
(t) = t
I
. 0 _ t _ 1. converge
uniformemente en cualquier subintervalo cerrado [c. /] [0. 1).
Ejercicio 3.31 Cules de las siguientes sucesiones de funciones ,
I
: R R convergen
puntualmente? Encuentra todos los intervalos donde la convergencia es uniforme.
(a) ,
I
(t) =
It
It
2
+1
(b) ,
I
(t) =
It
I
2
t
2
+1
(c) ,
I
(t) =
I
2
t
It
2
+1
Ejercicio 3.32 Cules de las siguientes sucesiones de funciones ,
I
: R R convergen
uniformemente? Encuentra el lmite de tales sucesiones.
(a) ,
I
(t) =
_
[t /[ 1 si / 1 _ t _ / + 1
0 en otro caso
(b) ,
I
(t) =
1
(tI)
2
+1
(c) ,
I
(t) = sen(
t
I
)
(d) ,
I
(t) =
_
1
I
sent si 2:/ _ t _ 2:(/ + 1)
0 en otro caso
Ejercicio 3.33 Sea A
oicc
un espacio mtrico discreto.
(a) Describe a las sucesiones de Cauchy en A
oicc
.
(b) Es A
oicc
un espacio mtrico completo?
Ejercicio 3.34 Prueba que, si (r
I
) es una sucesin de Cauchy en A y alguna subsuce-
sin de ella converge a un punto r A. entonces (r
I
) converge a r A.
Ejercicio 3.35 Sea A = (0. 1) con la mtrica d(t. :) = [t :[. Prueba que la sucesin
(
1
I
) es de Cauchy en A pero no converge en A.
Ejercicio 3.36 Prueba que /
2
es un espacio de Banach.
Ejercicio 3.37 Es /
o
un espacio de Banach?
Ejercicio 3.38 Considera la sucesin de funciones ,
I
: [1. 1] R.
,
I
(t) =
_
_
_
1 si 1 _ t _
1
I
/t si
1
I
_ t _
1
I
1 si
1
I
_ t _ 1
Prueba que
(a) (,
I
) es de Cauchy en C
0
j
[1. 1] para toda 1 _ j < .
(b) (,
I
) no converge en C
0
j
[1. 1] para ninguna 1 _ j _ . (Sugerencia: Usa el
Ejercicio 2.40 y el Ejemplo 3.10).
(c) Es (,
I
) de Cauchy en C
0
o
[1. 1]?
Ejercicio 3.39 Considera la sucesin de funciones ,
I
: R R.
,
I
(t) =
t
2
(1 + t
2
)
I
.
(a) Prueba que, para cada t R, la serie de nmeros reales
o
I=1
,
I
(t)
converge.
(b) Converge la serie
o
I=1
,
I
uniformemente en R?
Ejercicio 3.40 Sea
,(t) =
o
I=0
c
I
(t t
0
)
I
. c
I
R.
una serie con radio de convergencia 1 0. Prueba que la funcin , : (t
0
1. t
0
+1) R
tiene derivadas de todos los rdenes y que stas estn dadas por
,
(a)
(t) =
o
I=a
/(/ 1) (/ : + 1)c
I
(t t
0
)
Ia
.
donde ,
(a)
: (t
0
1. t
0
+1) R es la :-sima derivada de ,. En particular se cumple
que ,
(a)
(t
0
) = :!c
a
.
3.7. EJERCICIOS 49
Ejercicio 3.41 Considera la funcin , : R R dada por
,(t) =
_
c
1t
2
si t ,= 0
0 si t = 0
(a) Prueba que , tiene derivadas de todos los rdenes en t = 0 y que ,
(a)
(0) = 0.
(b) Se puede escribir , como una serie
,(t) =
o
I=0
c
I
t
I
. c
I
R,
convergente en algn intervalo (1. 1). 1 0?
Ejercicio 3.42 Sean c
I)
R. /. , N. tales que las series de nmeros reales
o
)=1
[c
I)
[ = /
I
convergen para cada / N y las serie

o
I=1
/
I
tambin converge. Prueba que
o
I=1
o
)=1
c
I)
=
o
)=1
o
I=1
c
I)
.
(Sugerencia: Considera el subespacio mtrico A :=
1
a
: : N'0 de R y aplica el
criterio de Weierstrass a la sucesin de funciones ,
I
: A R dadas por
,
I
_
1
:
_
=
a
)=1
c
I)
. ,
I
(0) =
o
)=1
c
I)
.
Comprueba que esta sucesin satisface todas las hiptesis del Teorema 3.26!).
Ejercicio 3.43 Supongamos que la serie de potencias
,(t) =
o
I=0
c
I
t
I
. c
I
R.
converge en (1. 1). Prueba que, para cada t
0
(1. 1). la funcin , se puede expre-
sar como una serie de potencias alrededor de t
0
como sigue
,(t) =
o
I=0
,
(I)
(t
0
)
/!
(t t
0
)
I
.
donde esta serie converge en el intervalo [t t
0
[ < 1[t
0
[ . A este resultado se le conoce
como el Teorema de Taylor.
Ejercicio 3.44 Da el radio de convergencia de la serie de potencias
,(t) =
o
I=0
t
I
/!
y calcula sus derivadas.
Ejercicio 3.45 Sea T el conjunto de todas las funciones polinomiales j : [0. 1] R.
j(t) = c
a
t
a
+ + c
1
t + c
0
con c
0
. .... c
a
R.
(a) Prueba que T es un subespacio vectorial de (
0
[0. 1].
(b) Es T con la norma uniforme
|j|
o
= max
0t1
[j(t)[
un espacio de Banach? (Sugerencia: Considera la sucesin de polinomios j
I
(t) =
1
I!
t
I
+
+ t + 1).
Ejercicio 3.46 Prueba que, si ,
I
: [c. /] R es una sucesin de funciones continua-
mente diferenciables tales que ,
I
, y ,
t
I
q en (
0
[c. /]. entonces , es continuamente
diferenciable en [c. /] y ,
t
= q.
Ejercicio 3.47 Sea ,
I
: [c. /] R una sucesin de funciones continuamente diferen-
ciables que converge puntualmente a una funcin ,. Cules de las siguientes arma-
ciones son verdaderas?
(a) , es continuamente diferenciable.
(b) La sucesin (,
t
I
) converge puntualmente.
(c) Si , es continuamente diferenciable entonces (,
t
I
) converge puntualmente a ,
t
.
(d) Si , es continuamente diferenciable y si (,
t
I
(t)) converge para cada t [c. /]. en-
tonces (,
t
I
) converge puntualmente a ,
t
.
Si la armacin es verdadera, demustrala; si es falsa, da un contraejemplo.
Ejercicio 3.48 Prueba que, para cada : _ 0. el espacio C
v
o
[c. /] denido en el Ejercicio
1.44 es un espacio de Banach.
Captulo 4
Teoremas de existencia
4.1. El teorema de punto jo de Banach
Sea A = (A. d) un espacio mtrico.
Denicin 4.1 Una funcin : A A se llama una contraccin si existe c (0. 1)
tal que
d((r). ()) _ cd(r. ) \r. A. (4.1)
Ntese que toda contraccin es Lipschitz continua.
Denicin 4.2 Un punto r
+
A se llama un punto jo de la funcin : A A
si (r
+
) = r
+
.
El siguiente resultado es muy til para obtener resultados de existencia y unicidad
de soluciones de ecuaciones diferenciales o integrales.
Teorema 4.3 (de punto jo de Banach) Sea A un espacio mtrico completo y sea
: A A una contraccin. Entonces se cumple lo siguiente:
(i) tiene un nico punto jo r
+
.
(ii) Para cualquier r
0
A la sucesin (r
I
) denida iterativamente por
r
1
:= (r
0
). ... , r
I
:= (r
I1
). ....
converge a r
+
. y
d(r
I
. r
+
) _
c
I
1 c
d(r
1
. r
0
). (4.2)
donde c (0. 1) satisface (4.1).
51
52 4. TEOREMAS DE EXISTENCIA
Demostracin: Sea r
0
un punto cualquiera de A y sea
r
I
:= (r
I1
) =
I
(r
0
).
Demostraremos primero que la sucesin (r
I
) es de Cauchy. De la desigualdad (4.1)
obtenemos que
d(r
I
. r
I1
) = d(
I1
(r
1
).
I1
(r
0
)) _ c
I1
d(r
1
. r
0
) \/ N.
En consecuencia, para todo par / < ,. se cumple que
d(r
)
. r
I
) _ d(r
)
. r
)1
) + d(r
)1
. r
)2
) + + d(r
I+1
. r
I
)
_ (c
)1
+ + c
I
)d(r
1
. r
0
)
=
c
I
(c
)I1
+ + 1)(1 c)
1 c
d(r
1
. r
0
)
=
c
I
(1 c
)I
)
1 c
d(r
1
. r
0
)
_
c
I
1 c
d(r
1
. r
0
). (4.3)
Sea 0. Como c < 1. existe /
0
N tal que
c
I
1 c
d(r
1
. r
0
) < \/ _ /
0
. (4.4)
De las desigualdades (4.3) y (4.4) se sigue que
d(r
)
. r
I
) < \,. / _ /
0
.
es decir, la sucesin (r
I
) es de Cauchy en A y, como A es completo, se tiene que
lm
Io
r
I
= r
+
en A.
Ahora bien, como es continua, se cumple que
(r
+
) = lm
Io
(r
I
) = lm
Io
r
I+1
= r
+
.
es decir, r
+
es un punto jo de . Veamos que es el nico. Si r
+
1
y r
+
2
son puntos jos
de entonces
d(r
+
1
. r
+
2
) = d((r
+
1
). (r
+
2
)) _ cd(r
+
1
. r
+
2
)
y, como c < 1. esta desigualdad implica que d(r
+
1
. r
+
2
) = 0. es decir, r
+
1
= r
+
2
. Por ltimo,
haciendo tender , en la desigualdad (4.3) obtenemos que
d(r
+
. r
I
) = lm
)o
d(r
)
. r
I
) _
c
I
1 c
d(r
1
. r
0
) \/ N.
4.2. ECUACIONES INTEGRALES 53
Esto concluye la demostracin.
El teorema anterior no slo arma la existencia de un nico punto jo. Tambin nos
dice cmo encontrarlo, o cmo encontrar una buena aproximacin de l: Simplemente
hay que aplicar iteradamente de la funcin a partir de cualquier punto r
0
. La esti-
macin del error en cada paso de la iteracin est dada por (4.2). A este mtodo se le
conoce como el mtodo de aproximaciones sucesivas.
Los siguientes ejemplos muestran que las condiciones del teorema de punto jo de
Banach son necesarias.
Ejemplo 4.4 La funcin : (0. 1) (0. 1) dada por (t) =
1
2
t es una contraccin y
no tiene ningn punto jo en (0. 1). Por tanto es necesario que A sea completo.
Ejemplo 4.5 La funcin : R R dada por (t) = t + 1 satisface
[(t) (:)[ = [t :[ \t. : R.
Sin embargo, no tiene ningn punto jo. Por tanto es necesario que el nmero c de la
condicin (4.1) sea estrictamente menor que 1.
Por otra parte, del teorema del valor intermedio se sigue que cualquier funcin
continua : [c. /] [c. /]. sea o no contraccin, tiene al menos un punto jo. Pero ste
puede no ser nico [Ejercicio 4.19] y no se obtiene por el mtodo de aproximaciones
sucesivas.
4.2. Ecuaciones integrales
Aplicaremos el teorema de punto jo de Banach para probar la existencia y unicidad
de soluciones de algunas ecuaciones integrales importantes.
4.2.1. La ecuacin integral de Fredholm de segundo tipo
Sean 1 : [c. /] [c. /] R y : [c. /] R funciones continuas, y sea ` un nmero
real. Buscamos una funcin continua r : [c. /] R que satisfaga la siguiente ecuacin:
(T) `r(t)
_
b
o
1(t. :)r(:)d: = (t) \t [c. /].
Una ecuacin de este tipo se llama una ecuacin integral de Fredholm. Se dice que
es de segundo tipo cuando ` ,= 0 y de primer tipo cuando ` = 0.
La incgnita en la ecuacin (T) es una funcin r (
0
[c. /]. Queremos expresar este
problema como un problema de punto jo. Es decir, queremos encontrar una funcin
: (
0
[c. /] (
0
[c. /] cuyos puntos jos sean las soluciones de la ecuacin (T). Para
ello, procederemos como sigue: Dada r (
0
[c. /]. consideremos la funcin
r : [c. /] R, r(t) :=
_
b
o
1(t. :)r(:)d:.
Probaremos que esta funcin es continua, es decir, que r (
0
[c. /] (vase el Lema 4.7).
Podemos entonces denir la funcin
1 : (
0
[c. /] (
0
[c. /]. 1(r) := r.
En trminos de esta funcin, la ecuacin (T) se escribe como sigue
(T) `r(t) 1(r)(t) = (t) \t [c. /].
es decir, (T) se tranforma en la ecuacin funcional
(T) `r 1(r) = .
Si ` ,= 0, o sea, si la ecuacin integral de Fredholm es de segundo tipo, podemos dividir
la ecuacin anterior entre ` y el problema se transforma en el siguiente:
r =
1
`
(1(r) ).
En consecuencia, si ` ,= 0. las soluciones de (T) son justamente los puntos jos de la
funcin
: (
0
[c. /] (
0
[c. /]. (r) :=
1
`
(1(r) ).
Probaremos que para ciertos valores de ` esta funcin es una contraccin. El teorema
de punto jo asegura entonces que tiene un nico punto jo, es decir, que la ecuacin
(T) tiene una nica solucin (Teorema 4.8).
Veamos ahora los detalles de la demostracin. Para probar que r es continua reque-
rimos el siguiente lema.
Lema 4.6 Si 1 : [c. /] [c. /] R es continua entonces, dada 0 existe o 0 tal
que
[1(t
1
. :) 1(t
2
. :)[ < si [t
1
t
2
[ < o. \: [c. /].
Demostracin: Supongamos lo contrario, es decir, que para alguna
0
0 existen
t
1,I
. t
2,I
. :
I
[c. /] tales que
[t
1,I
t
2,I
[ <
1
/
y [1(t
1,I
. :
I
) 1(t
2,I
. :
I
)[ _
0
.
Por el teorema de Bolzano-Weierstrass, las sucesiones (t
1,I
) y (:
I
) contienen subsuce-
siones convergentes. Para simplicar la notacin denotaremos nuevamente por (t
1,I
) y
(:
I
) a tales subsucesiones. Sean t = lm
Io
t
1,I
y : = lm
Io
:
I
. Entonces
lm
Io
[t t
2,I
[ _ lm
Io
[t t
1,I
[ + lm
Io
[t
1,I
t
2,I
[ = 0.
es decir, t = lm
Io
t
2,I
. Como 1 es continua, se tiene entonces que
lm
Io
[1(t
1,I
. :
I
) 1(t
2,I
. :
I
)[ = [1(t. :) 1(t. :)[ = 0.
contradiciendo nuestra suposicin.
Lema 4.7 Para cada r (
0
[c. /]. la funcin
r : [c. /] R, r(t) :=
_
b
o
1(t. :)r(:)d:
es continua.
Demostracin: Sea 0. Por el lema anterior, existe o 0 tal que
[1(t
1
. :) 1(t
2
. :)[ <

(/ c) |r|
o
si [t
1
t
2
[ < o. \: [c. /].
donde ||
o
es la norma uniforme denida en (3.1). En consecuencia,
[ r(t
1
) r(t
2
)[ _
_
b
o
[1(t
1
. :) 1(t
2
. :)[ [r(:)[ d:
_ (/ c)

(/ c) |r|
o
|r|
o
= si [t
1
t
2
[ < o.
Esto prueba que r es continua.
El lema anterior asegura que la funcin
1 : (
0
[c. /] (
0
[c. /]. 1(r) := r.
est bien denida.
Observemos que, dado que [c. /] [c. /] es compacto y 1 es continua, se tiene que
1 es acotada, es decir, 1 (
0
([c. /] [c. /]). Como antes, denotamos por
|1|
o
:= sup
t,c[o,b]
[1(t. :)[
a la norma uniforme de 1. Probaremos el siguiente resultado.
Teorema 4.8 Si [`[ |1|
o
(/ c) entonces, para cada (
0
[c. /]. la ecuacin
integral de Fredholm (T) tiene una nica solucin.
Demostracin: Para ` ,= 0 y (
0
[c. /] consideremos la funcin
: (
0
[c. /] (
0
[c. /]. (r) =
1
`
(1(r) ) .
Veamos que es una contraccin. Sean r
1
. r
2
(
0
[c. /]. Entonces, para toda t [c. /].
se tiene que
[(r
1
)(t) (r
2
)(t)[ =
1
[`[
[1(r
1
)(t) 1(r
2
)(t)[
_
1
[`[
_
b
o
[1(t. :)[ [r
1
(:) r
2
(:)[ d:
_
1
[`[
(/ c) |1|
o
|r
1
r
2
|
o
.
Por consiguiente,
|(r
1
) (r
2
)|
o
_
1
[`[
(/ c) |1|
o
|r
1
r
2
|
o
\r
1
. r
2
(
0
[c. /].
Por hiptesis,
1
[A[
(/ c) |1|
o
< 1. En consecuencia, es una contraccin. Dado que
(
0
[c. /] es completo, el teorema de punto jo de Banach asegura que existe un nico
r
+
(
0
[c. /] tal que
r
+
= (r
+
) =
1
`
(1(r
+
) ) .
Es decir, existe una nica r
+
(
0
[c. /] que satisface la ecuacin integral de Fredholm
(T) `r
+
= 1(r
+
) .
Es fcil comprobar que 1 : (
0
[c. /] (
0
[c. /] es lineal y continua [Ejercicio 4.28].
Si = 0. la ecuacin integral de Fredholm se convierte en la ecuacin de valores
propios
1r = `r
para el operador de Fredholm 1. Nota que la funcin r = 0 satisface esta ecuacin.
El teorema anterior asegura que sta es la nica solucin, si [`[ |1|
o
(/ c). Es
decir, ninguna tal ` es un valor propio de 1.
4.2.2. La ecuacin integral de Volterra de segundo tipo
Consideremos ahora la ecuacin
(1) `r(t)
_
t
o
1(t. :)r(:)d: = (t) \t [c. /].
donde nuevamente 1 : [c. /] [c. /] R y : [c. /] R son funciones continuas, y `
es un nmero real. Nota que ahora la variable t aparece como extremo superior de la
integral. Una ecuacin de este tipo se llama una ecuacin integral de Volterra. Se
dice que es de segundo tipo cuando ` ,= 0 y de primer tipo cuando ` = 0.
Nuevamente queremos expresar a las soluciones de (1) como los puntos jos de una
funcin : (
0
[c. /] (
0
[c. /]. Procederemos siguiendo el mismo esquema que usamos
para la ecuacion de Fredholm: Dada una funcin r (
0
[c. /]. consideramos la funcin
r : [c. /] R, r(t) :=
_
t
o
1(t. :)r(:)d:.
Probaremos que esta funcin es continua (Lema 4.9), de modo que la funcin
o : (
0
[c. /] (
0
[c. /]. 1(r) := r.
est bien denida. En trminos de esta funcin, la ecuacin (1) se tranforma en la
ecuacin funcional
(1) `r o(r) = .
En consecuencia, si ` ,= 0, las soluciones de (1) son justamente los puntos jos de la
funcin
: (
0
[c. /] (
0
[c. /]. (r) :=
1
`
(o(r) ).
Probaremos que para cada ` ,= 0 existe / N tal que la funcin
I
:=
. .
I veces
es una contraccin (Lema 4.10). Una generalizacin del teorema de punto jo de Banach
que probaremos en esta misma seccin (Teorema 4.11) asegura entonces que tiene un
nico punto jo, es decir, que la ecuacin (1) tiene una nica solucin.
Veamos los detalles de la demostracin.
Lema 4.9 Para cada r (
0
[c. /]. la funcin
r : [c. /] R, r(t) :=
_
t
o
1(t. :)r(:)d:
es continua.
Demostracin: Sea 0. Por el Lema 4.6, existe 0 < o <
.
2|1|
1
|a|
1
tal que
[1(t
1
. :) 1(t
2
. :)[ <

2(/ c) |r|
o
si [t
1
t
2
[ < o. \: [c. /].
En consecuencia, si [t
1
t
2
[ < o se tiene que
[ r(t
1
) r(t
2
)[ =
_
t
1
o
(1(t
1
. :) 1(t
2
. :))r(:)d:
_
t
2
t
1
1(t
2
. :)r(:)d:
_
_
t
1
o
[1(t
1
. :) 1(t
2
. :)[ [r(:)[ d: +
_
t
2
t
1
[1(t
2
. :)[ [r(:)[ d:
_ (t
1
c)

2(/ c) |r|
o
|r|
o
+ o |1|
o
|r|
o
<

2
+

2
= .
Esto prueba que r es continua.
El lema anterior asegura que la funcin
o : (
0
[c. /] (
0
[c. /]. o(r) := r.
est bien denida. Para ` ,= 0 y (
0
[c. /] consideremos la funcin
: (
0
[c. /] (
0
[c. /]. (r) =
1
`
(o(r) ) .
Probaremos el siguiente resultado.
Lema 4.10 La funcin : (
0
[c. /] (
0
[c. /] satisface la desigualdad
_
_
I
(r
1
)
I
(r
2
)
_
_
o
_ [`[
I
|1|
I
o
(/ c)
I
/!
|r
1
r
2
|
o
.
para todas r
1
. r
2
(
0
[c. /]. / N. En consecuencia, para / sucientemente grande, la
funcin
I
: (
0
[c. /] (
0
[c. /] es una contraccin.
Demostracin: Probaremos por induccin que
I
(r
1
)(t)
I
(r
2
)(t)
_ [`[
I
|1|
I
o
(t c)
I
/!
|r
1
r
2
|
o
\t [c. /]. (4.5)
Notemos primero que
[(r
1
)(t) (r
2
)(t)[ _
1
[`[
_
t
o
[1(t. :)[ [r
1
(:) r
2
(:)[ d:
_
1
[`[
|1|
o
(t c) |r
1
r
2
|
o
.
Supongamos que la desigualdad (4.5) vale para / 1. Entonces
I
(r
1
)(t)
I
(r
2
)(t)
_
1
[`[
_
t
o
[1(t. :)[
I1
(r
1
)(:)
I1
(r
2
)(:)
d:
_
|1|
o
[`[
_
t
o
I1
(r
1
)(:)
I1
(r
2
)(:)
d:
_
|1|
I
o
[`[
I
|r
1
r
2
|
o
_
t
o
(: c)
I1
(/ 1)!
d:
=
|1|
I
o
[`[
I
|r
1
r
2
|
o
(t c)
I
/!
.
Esto demuestra la desigualdad (4.5). De dicha desigualdad se sigue que
I
(r
1
)(t)
I
(r
2
)(t)
_ [`[
I
|1|
I
o
(/ c)
I
/!
|r
1
r
2
|
o
\t [c. /]
y, en consecuencia, que
_
_
I
(r
1
)
I
(r
2
)
_
_
o
_ [`[
I
|1|
I
o
(/ c)
I
/!
|r
1
r
2
|
o
. (4.6)
como arma el enunciado. Ahora bien, como
lm
Io
[`[
I
|1|
I
o
(/ c)
I
/!
= 0.
se sigue de (4.6) que
I
: (
0
[c. /] (
0
[c. /] es una contraccin para / sucientemente
grande.
Probemos ahora la siguiente generalizacin del teorema de punto jo de Banach.
Teorema 4.11 Si A es completo y : A A es tal que
I
: A A es una
contraccin para alguna / N, entonces tiene un nico punto jo.
Demostracin: El Teorema 4.3 asegura que
I
tiene un nico punto jo r
+
A.
Aplicando a la igualdad
I
(r
+
) = r
+
obtenemos que
I
((r
+
)) =
_
I
(r
+
)
_
= (r
+
) .
es decir, (r
+
) es tambin un punto jo de
I
. Como el punto jo es nico, obtenemos
que (r
+
) = r
+
. En consecuencia, r
+
es tambin un punto jo de . Y es el nico, ya
que todo punto jo de es tambin un punto jo de
I
.
Del Lema 4.10 y el Teorema 4.11 se sigue inmediatamente el siguiente resultado.
Corolario 4.12 Para cualquier ` ,= 0 la ecuacin integral de Volterra (1) tiene una
nica solucin.
Este corolario asegura que, si ` ,= 0. la solucin trivial es la nica solucin de la
ecuacin de valores propios
or = `r
para el operador de Volterra o. Es decir, ningn ` ,= 0 es un valor propio de o. Para
` = 0 la ecuacin integral de Volterra (de primer tipo) es de la forma or = 0. Esta
ecuacin es bastante ms complicada de analizar.
4.3. El problema de Cauchy
Sea (c. /) un intervalo, posiblemente innito, sea un subconjunto abierto de R
a
y
sea : (c. /) R
a
una funcin continua. Conviene pensar a como una familia
de campos vectoriales
t
: R
a
que varan continuamente con el tiempo. Dado un
tiempo inicial t
0
(c. /) y una posicin inicial r
0
. buscamos una trayectoria r(t)
en tal que r(t
0
) = r
0
cuya velocidad r
t
(t) en el tiempo t sea precisamente
t
(r(t)).
Ms precisamente, buscamos una funcin continuamente diferenciable r : J .
denida en un intervalo J (abierto, semiabierto, cerrado, nito o innito) tal que t
0

J (c. /). con las siguientes propiedades:
r
t
(t) = (t. r(t)) \t J y r(t
0
) = r
0
.
4.3. EL PROBLEMA DE CAUCHY 61
Se dice entonces que r es una solucin al problema de Cauchy
()
_
r
t
= (t. r)
r(t
0
) = r
0
El punto (t
0
. r
0
) se llama la condicin inicial del problema ().
Empezaremos mostrando que este problema se puede transformar en una ecuacin
integral. Denotamos por
_
b
o
,(t)dt :=
__
b
o
,
1
(t)dt. ....
_
b
o
,
a
(t)dt
_
R
a
al vector cuyas componentes son las integrales de las componentes de una funcin
continua , = (,
1
. .... ,
a
) : [c. /] R
a
.
Lema 4.13 Son equivalentes las siguientes armaciones:
(a) Existe una solucin r : [t
0
o. t
0
+ o] del problema de Cauchy ().
(b) Existe una funcin continua r : [t
0
o. t
0
+ o] que satisface
r(t) =
_
t
t
0
(:. r(:))d: + r
0
\t [t
0
o. t
0
+ o].
Demostracin: Esto es consecuencia inmediata de los teoremas fundamentales del
Clculo aplicados a cada componente. En efecto, si r = (r
1
. .... r
a
) y = (
1
. ....
a
).
entonces se cumple que r
i
es continua y satisface
r
i
(t) =
_
t
t
0
i
(:. r(:))d: + r
0,i
.
si y slo si r
i
es continuamente diferenciable y satisface
r
t
i
(t) =
i
(t. r(t)). r
i
(t) = r
0,i
.
para cada i = 1. .... :.
Este lema asegura que las soluciones al problema de Cauchy () en un intervalo
[t
0
o. t
0
+ o] son justamente las funciones r (
0
([t
0
o. t
0
+ o]. ) que satisfacen la
ecuacin integral
(
t
) r(t) =
_
t
t
0
(:. r(:))d: + r
0
\t [t
0
o. t
0
+ o].
Queremos expresar esta ecuacin integral como un problema de punto jo. Nota que el
espacio (
0
([t
0
o. t
0
+o]. ) no es completo, ya que es abierto en R
a
. Tendremos que
considerar un espacio ms pequeo. Vamos a requerir una condicin adicional sobre el
campo que enunciaremos a continuacin. Dados (t
0
. r
0
) RR
a
y o
0
0. denotamos
por
2
c
0
(t
0
. r
0
) := (t. r) : R R
a
: [t t
0
[ _ o
0
. |r r
0
| _ o
0
.
Denicin 4.14 El campo : (c. /) R
a
es localmente Lipschitz en r si,
para cada (t
0
. r
0
) (c. /) existen o
0
0 y C 0 (que dependen de t
0
y r
0
) tales
que 2
c
0
(t
0
. r
0
) (c. /) y
|(t. r
1
) (t. r
2
)| _ C |r
1
r
2
| \(t. r
1
). (t. r
2
) 2
c
0
(t
0
. r
0
). (4.7)
Supondremos de aqu en adelante que : (c. /) R
a
es localmente Lipschitz
en r. Para la condicin inicial (t
0
. r
0
) del problema () escojamos o
0
0 y C 0 tales
que 2
c
0
(t
0
. r
0
) (c. /) y tales que se cumple (4.7). Como 2
c
0
(t
0
. r
0
) es compacto
y es continua, se tiene que es acotada en 2
c
0
(t
0
. r
0
). Fijemos ` tal que
|(t. r)| _ ` \(t. r) 2
c
0
(t
0
. r
0
). (4.8)
Sea 0 < o < mn
1
C
. o
0
.
c
0
A
. Denotemos por r
0
: [t
0
o. t
0
+ o] a la funcin
constante con valor r
0
y consideremos la bola cerrada
A := r (
0
([t
0
o. t
0
+ o]. R
a
) : |r r
0
|
o
_ o`
con centro en r
0
y radio o` en (
0
([t
0
o. t
0
+ o]. R
a
). Como (
0
([t
0
o. t
0
+ o]. R
a
) es
un espacio de Banach (Proposicin 3.22) y A es cerrado en tal espacio, se tiene que A
es un espacio mtrico completo (Proposicin 3.15). Nota que
A (
0
([t
0
o. t
0
+ o]. ).
En efecto, si r A. entonces
|r(t) r
0
| _ o` < o
0
\t [t
0
o. t
0
+ o]
y, por consiguiente,
(t. r(t)) 2
c
0
(t
0
. r
0
) (c. /) \t [t
0
o. t
0
+ o]. (4.9)
En particular, r(t) para toda t [t
0
o. t
0
+ o].
Empezaremos demostrando que toda solucin r (
0
([t
0
o. t
0
+o]. ) del problema
(
t
) pertenece a A. Para ello requerimos el siguiente lema tcnico.
Lema 4.15 Para toda funcin continua , : [c. /] R
a
se cumple que
_
_
_
_
_
b
o
,(t)dt
_
_
_
_
_ [/ c[ |,|
o
.
Demostracin: Aplicando la Proposicin 1.25 a cada componente obtenemos
_
b
o
,
i
(t)dt
_
_
b
o
[,
i
(t)[ dt _ [/ c[
12
__
b
o
[,
i
(t)[
2
dt
_
12
. i = 1. .... :.
En consecuencia,
_
_
_
_
_
b
o
,(t)dt
_
_
_
_
=
_
_
b
o
,
1
(t)dt
2
+ +
_
b
o
,
a
(t)dt
2
_
12
_
_
[/ c[
__
b
o
[,
1
(t)[
2
dt + +
_
b
o
[,
a
(t)[
2
dt
__
12
=
_
[/ c[
_
b
o
|,(t)|
2
dt
_
12
_ [/ c[ |,|
o
.
Lema 4.16 Si r (
0
([t
0
o. t
0
+o]. ) es solucin del problema (
t
). entonces r A.
Demostracin: Argumentando por contradiccin, supongamos que r (
0
([t
0

o. t
0
+ o]. ) es una solucin del problema (
t
) que no est en A. Entonces existe
t
1
[t
0
o. t
0
+ o] tal que |r(t
1
) r
0
| o`. Como r(t
0
) = r
0
y o` < o
0
. podemos
escoger a t
1
de modo que cumpla adems que
|r(:) r
0
| _ o
0
\[: t
0
[ _ [t
1
t
0
[ =: o
1
.
Entonces, usando el Lema 4.15 y la denicin de ` (4.8), obtenemos que
o` < |r(t
1
) r
0
| =
_
_
_
_
_
t
1
t
0
(:. r(:))d:
_
_
_
_
_ [t
1
t
0
[ sup
[ct
0
[c
1
|(:. r(:))| _ o`.
Esto es una contradiccin. En consecuencia, toda solucin r (
0
([t
0
o. t
0
+o]. ) del
problema (
t
) pertenece a A.
Vamos ahora a denir una funcin : A A cuyos puntos jos son soluciones de
(
t
). Para cada r A consideremos la funcin
r : [t
0
o. t
0
+ o] R
a
. r(t) =
_
t
t
0
(:. r(:))d: + r
0
.
Claramente r es continua (de hecho, el teorema fundamental del Clculo asegura que
es continuamente diferenciable). Probaremos que r A (Lema 4.17). En consecuencia,
la funcin
: A A. (r) := r.
est bien denida. Nota que r A es un punto jo de si y slo si
r(t) = (r)(t) =
_
t
t
0
(:. r(:))d: + r
0
\t [t
0
o. t
0
+ o].
es decir, los puntos jos de son justamente las soluciones del problema (
t
) en el
intervalo [t
0
o. t
0
+ o] las cuales, por el Lema 4.13, son justamente las soluciones del
problema () en el intervalo [t
0
o. t
0
+ o]. Probaremos que es una contraccin. En
consecuencia, el teorema de punto jo de Banach asegura que el problema () tiene una
nica solucin en el intervalo [t
0
o. t
0
+ o] (Teorema 4.18).
Lema 4.17 Para cada r A la funcin
r : [t
0
o. t
0
+ o] R
a
. r(t) =
_
t
t
0
(:. r(:))d: + r
0
pertenece a A.
Demostracin: Sea r A. La desigualdad (4.9) asegura que
(:. r(:)) 2
c
0
(t
0
. r
0
) \[: t
0
[ _ o.
Por tanto, usando el Lema 4.15 y la denicin de ` (4.8), obtenemos que
| r(t) r
0
| =
_
_
_
_
_
t
t
0
(:. r(:))d:
_
_
_
_
_ [t t
0
[ sup
[ct
0
[c
|(:. r(:))| _ o`.
para toda t [t
0
o. t
0
+o]. es decir, | r r
0
|
o
_ o`. Esto demuestra que r A.
Estamos listos para probar la existencia local de soluciones para el problema de
Cauchy. El siguiente resultado tiene muchas aplicaciones importantes. Su demostracin
se basa en el teorema de punto jo de Banach.
4.4. EJERCICIOS 65
Teorema 4.18 (Picard) Sea : (c. /) R
a
una funcin continua y localmente
Lipschitz en r. Entonces, para cada t
0
(c. /) y cada r
0
. existe o 0 tal que el
problema de Cauchy () tiene una nica solucin en el intervalo [r
0
o. r
0
+ o].
Demostracin: Consideremos la funcin
: A A. (r) := r.
El lema anterior asegura que esta funcin est bien denida. Veamos que es una con-
traccin. Sean r
1
. r
2
A. La desigualdad (4.9) asegura que
(:. r
i
(:)) 2
c
0
(t
0
. r
0
) \[: t
0
[ _ o, i = 1. 2.
Como satisface (4.7) obtenemos que, para toda t [t
0
o. t
0
+ o]. se cumple que
|(r
1
)(t) (r
2
)(t)| =
_
_
_
_
_
t
t
0
((:. r
1
(:)) (:. r
2
(:)))d:
_
_
_
_
_ [t t
0
[ sup
[ct
0
[c
|(:. r
1
(:)) (:. r
2
(:))|
_ [t t
0
[ sup
[ct
0
[c
C |r
1
(:) r
2
(:)|
_ oC |r
1
r
2
|
o
.
Por consiguiente,
|(r
1
) (r
2
)|
o
_ oC |r
1
r
2
|
o
y, como hemos elegido o tal que oC < 1. se tiene que es una contraccin. El Teorema
4.3 asegura entonces que tiene un nico punto jo, es decir, que existe una nica
r
+
A tal que
r
+
(t) = (r
+
)(t) =
_
t
t
0
(:. r
+
(:))d: + r
0
\t [t
0
o. t
0
+ o].
Del Lema 4.13 se sigue que r
+
es la nica solucin del problema de Cauchy () en el
intervalo [r
0
o. r
0
+ o].
4.4. Ejercicios
Ejercicio 4.19 (a) Usa el teorema del valor intermedio para probar que toda funcin
continua , : [0. 1] [0. 1] tiene al menos un punto jo.
(b) Da un ejemplo de una funcin continua , : [0. 1] [0. 1] con una innidad de
puntos jos.
Ejercicio 4.20 Muestra que la condicin
d((r). ()) < d(r. ) para r ,= A
no es suciente para garantizar que : A A tiene un punto jo (an cuando A es
completo).
Ejercicio 4.21 Prueba que, si , : R R es continuamente diferenciable y si [,
t
(t)[ _
` < 1 para todo t R entonces , es una contraccin.
Ejercicio 4.22 Sea , : [c. /] R continuamente diferenciable y tal que ,(c) < 0 <
,(/) y su derivada ,
t
(t) 0 para toda t [c. /]. Prueba que:
(a) Existe ` 0 tal que (t) = t `,(t) es una contraccin en [c. /].
(b) tiene un nico punto jo, y ste es la nica solucin de la ecuacin
,(t) = 0.
Ejercicio 4.23 Considera una funcin afn : R
a
R
a
. (r) = r + /. donde
= (c
i)
) es una matriz de : : y / = (/
1
. .... /
a
) R
a
.
(a) Prueba que si satisface
(C
1
)
a
i=1
[c
i)
[ _ c
1
< 1 \, = 1. .... :.
entonces : R
a
1
R
a
1
es contraccin.
(b) Prueba que si satisface
(C
2
)
a
i=1
a
)=1
c
2
i)
_ c
2
< 1
entonces : R
a
2
R
a
2
es contraccin.
(c) Prueba que si satisface
(C
o
)
a
)=1
[c
i)
[ _ c
o
< 1 \i = 1. .... :.
entonces : R
a
o
R
a
o
es contraccin.
(d) Da ejemplos de matrices que satisfagan cada una de las condiciones (C
1
) . (C
2
) y
(C
o
) pero no las otras dos. Es decir, cada una de estas condiciones es suciente para
que la ecuacin
r r = /.
tenga solucin y para aplicar el mtodo de aproximaciones sucesivas, pero ninguna es
necesaria.
(e) Prueba que cada una de las condiciones (C
1
) . (C
2
) y (C
o
) implica que det(1 ) ,=
0. donde 1 es la matriz identidad de : :.
4.4. EJERCICIOS 67
Ejercicio 4.24 Da un ejemplo de una funcin lineal : R R con un nico punto
jo r
0
, pero tal que la sucesin
_
I
(r)
_
no converge para ninguna r ,= r
0
.
Ejercicio 4.25 Prueba que, si , : R R es continuamente diferenciable, entonces es
localmente Lipschitz.
Ejercicio 4.26 Sea : R R R tal que (t. r) = 3r
23
.
(a) Prueba que no es localmente Lipschitz en r.
(b) Prueba que, para todas c < 0 < ,. la funcin
r
c,o
(t) :=
_
_
_
(t c)
3
si t _ c
0 si c _ t _ ,
(t ,)
3
si t _ ,
es solucin del problema de Cauchy
()
_
r
t
= 3r
23
r(0) = 0
En consecuencia, si no es localmente Lipschitz en r, el problema de Cauchy puede
tener una innidad de soluciones.
Ejercicio 4.27 Sea : R R R tal que (t. r) = r
2
.
(a) Prueba que es localmente Lipschitz en r en el punto (t
0
. r
0
) = (0. 0).
(b) Para cada c ,= 0 considera el problema de Cauchy
()
_
r
t
= r
2
r(0) =
1
c
Prueba que
r(t) =
1
t c
es solucin de () en algn intervalo que contiene a 0.
(c) Cul es el intervalo mximo para el que existe una solucin de ()?
Ejercicio 4.28 Sea 1 : [c. /] [c. /] R una funcin continua. Para cada r (
0
[c. /].
considera la funcin r (
0
[c. /] dada por
r(t) :=
_
b
o
1(t. :)r(:)d:.
Prueba que la funcin
1 : (
0
[c. /] (
0
[c. /]. 1(r) := r.
es lineal y continua.
Ejercicio 4.29 Considera la ecuacin nolineal de Fredholm
`r(t)
_
b
o
1(t. :. r(:))d: = (t)
donde 1 : [c. /] [c. /] [c. /] R y : [c. /] R son funciones continuas y 1
satisface la condicin de Lipschitz
[1(t. :. :
1
) 1(t. :. :
2
)[ _ ` [:
1
:
2
[ .
Prueba que esta ecuacin tiene solucin nica si
[`[ `(/ c).
Captulo 5
Teoremas de aproximacin
En la prctica, cuando hacemos clculos con nmeros reales usamos siempre una
aproximacin de estos, es decir, usamos algn nmero racional sucientemente cercano
al nmero real que nos interesa.
Sera conveniente poder hacer algo anlogo con las funciones continuas, es decir,
poder aproximarlas por funciones sencillas y fcilmente calculables. En este captulo
probaremos que toda funcin continua [c. /] R es el lmite uniforme de polinomios.
Este resultado se conoce como el Teorema de Aproximacin de Weierstrass.
5.1. Espacios separables
Sea A = (A. d) un espacio mtrico.
Denicin 5.1 Un subconjunto de A es denso en A si = A. es decir, si para
todo r A y para toda 0 existe c tal que d(r. c) < .
Sabemos que el conjunto Q de los nmeros racionales es denso en R. Veamos otros
ejemplos.
Ejemplo 5.2 El conjunto
Q
a
= (
1
. ....
a
) R
a
:
I
Q \/ = 1. .... :
es denso en R
a
.
Demostracin: Dados r = (r
1
. .... r
a
) R
a
y 0. para cada / = 1. .... : tomemos
I
Q tal que [r
I

I
[ <
.
_
a
. Entonces = (
1
. ....
a
) Q
a
satisface
|r | =
_
(r
1
1
)
2
+ + (r
a
a
)
2
< .
69
70 5. TEOREMAS DE APROXIMACIN
En consequencia, Q
a
es denso en R
a
.
Denotemos por Q
o
al conjunto de todas las sucesiones (
I
) de nmeros racionales
tales que slo un nmero nito de sus trminos
I
es distinto de cero. Se tiene entonces
el siguiente resultado.
Ejemplo 5.3 Q
o
es denso en /
2
.
Demostracin: Sea r = (r
I
) /
2
y sea 0. Como la serie

o
I=1
[r
I
[
2
converge,
existe /
0
N tal que
o
I=I
0
+1
[r
I
[
2
<
_
2
_
2
.
Sea := (r
1
. .... r
I
0
) R
I
0
. Por el ejemplo anterior, existe = (
1
. ....
I
0
) Q
I
0
tal que
| | <
.
2
. Identicando a R
I
0
con el subespacio de /
2
que consiste de las sucesiones
r = (r
I
) tales que r
I
= 0 para / /
0
(Ejemplo 1.28) obtenemos que
|r |
2
_ |r |
2
+| |
2
=
_
o
I=I
0
+1
[r
I
[
2
_
12
+| |
2
<

2
+

2
= .
En consecuencia, Q
o
es denso en /
2
.
Un conjunto es numerable si existe una funcin biyectiva N. Un conjunto
que es nito o numerable se dice que es a lo ms numerable. Los conjuntos Q
a
y
Q
o
son numerables [Ejercicio 5.12].
Denicin 5.4 Un espacio mtrico A es separable si contiene un subconjunto a lo
ms numerable que es denso en A.
Los ejemplos anteriores prueban que R
a
y /
2
son espacios separables. Es fcil ver que
la propiedad de ser separable es invariante bajo homeomorsmos, es decir, si : A 1
es un homeomorsmo y A es separable entonces 1 es separable [Ejercicio 5.14].
A diferencia de Q
o
. el conjunto de todas las sucesiones de nmeros racionales no es
un conjunto numerable. Ni siquiera el siguiente subconjunto lo es.
Ejemplo 5.5 El conjunto B de todas las sucesiones / = (/
I
) tales que /
I
0. 1 no
es un conjunto numerable.
5.2. EL TEOREMA DE APROXIMACIN DE WEIERSTRA 71
Demostracin: Probaremos que ningn subconjunto numerable de B coincide con
B. Sea B
0
= /
a
= (/
a,I
) : : N un subconjunto numerable de B. Consideremos la
sucesin c = (c
I
) denida como sigue:
c
I
0. 1 y c
I
,= /
I,I
.
Claramente c B pero no pertenece a B
0
ya que, si c = /
a
para alguna : N,
entonces coincidiran en particular los :-simos trminos de ambas sucesiones, es decir
c
a
= /
a,a
. contradiciendo la denicin de c. En consecuencia, B
0
,= B. Por tanto, B
no es numerable.
Usaremos este hecho para demostrar el siguiente.
Ejemplo 5.6 /
o
no es separable.
Demostracin: Probaremos que ningn subconjunto denso de /
o
es a lo ms nu-
merable. Sea un subconjunto denso de /
o
. Sea B el conjunto de todas las sucesiones
/ = (/
I
) tales que /
I
0. 1. Observemos que
|/ /
t
|
o
= 1 \/. /
t
B. / ,= /
t
. (5.1)
Como es denso en /
o
. para cada / B podemos escojer un elemento c
b
tal que
|/ c
b
|
o
<
1
2
. Si c
b
= c
b
0 =: c. entonces
|/ /
t
|
o
_ |/ c|
o
+|c /
t
|
o
<
1
2
+
1
2
= 1.
y (5.1) implica que / = /
t
. En consecuencia, la funcin
t : B . t(/) = c
b
.
es inyectiva. Por tanto, dado que Bno es numerable, no puede ser a lo ms numerable.
Esto demuestra que ningn subconjunto denso de /
o
es a lo ms numerable. Por tanto,
/
o
no es separable.
5.2. El teorema de aproximacin de Weierstra
El objetivo de esta seccin es demostrar que toda funcin continua en un intervalo
cerrado [c. /] se puede aproximar uniformemente por funciones polinomiales, es decir,
por funciones de la forma
j (t) = c
0
+ c
1
t + + c
a
t
a
. c
I
R. : N ' 0.
Este resultado se conoce como el teorema de aproximacin de Weierstra. De
hecho, probaremos un resultado ms preciso debido a Bernstein, que da de manera
explcita una sucesin de polinomios (los polinomios de Bernstein) que converge
uniformemente a la funcin dada, y que permite adems estimar la rapidez con la que
dicha sucesin converge.
Sin prdida de generalidad supondremos de aqu en adelante que [c. /] = [0. 1]
[Ejercicio 5.17].
Para 0 _ / _ : consideremos los polinomios
a,I
(t) =
_
:
/
_
t
I
(1 t)
aI
.
donde
_
:
/
_
=
:!
/!(: /)!
es el coeciente binomial. De la conocida frmula binomial
(c + /)
a
=
a
I=0
_
:
/
_
c
I
/
aI
se sigue que
a
I=0
a,I
(t) = 1. (5.2)
Multiplicando por t la igualdad (5.2) para : 1 obtenemos
t = t
a1
)=0
a1,I
(t)
=
a1
)=0
_
: 1
,
_
t
)+1
(1 t)
a1)
=
a1
)=0
, + 1
:
_
:
, + 1
_
t
)+1
(1 t)
a()+1)
=
a
I=1
/
:
a,I
(t)
=
a
I=0
/
:
a,I
(t).
En consecuencia,
:t =
a
I=0
/
a,I
(t). (5.3)
De manera anloga, multiplicando por t
2
la igualdad (5.2) para : 2 obtenemos
(:
2
:)t
2
=
a
I=0
(/
2
/)
a,I
(t) (5.4)
Dejamos los detalles al lector [Ejercicio 5.21].
1 0. 75 0. 5 0. 25 0
1
0. 75
0. 5
0. 25
0
tt
3,3
(t) = t
3
1 0. 75 0. 5 0. 25 0
0. 25
0. 2
0. 15
0. 1
0. 05
0
tt
3,2
(t) = 2t
2
(1 t)
1 0. 75 0. 5 0. 25 0
0. 25
0. 2
0. 15
0. 1
0. 05
0
tt
3,1
(t) = 2t(1 t)
2
1 0. 75 0. 5 0. 25 0
1
0. 75
0. 5
0. 25
0
tt
3,0
(t) = (1 t)
3
Denicin 5.7 Sea , : [0. 1] R una funcin continua. El :-simo polinomio de
Bernstein de , es el polinomio
,
a
(t) = ,
),a
(t) =
a
I=0
,(
/
:
)
a,I
(t).
Se tiene el siguiente resultado.
Teorema 5.8 (Bernstein-Weierstra) Sea , : [0. 1] R una funcin continua.
Entonces la sucesin de sus polinomios de Bernstein ,
),a
converge uniformemente a ,,
es decir,
,
),a
, en (
0
[0. 1].
Demostracin: Sea 0. Recordemos que toda funcin continua denida en un
intervalo cerrado es uniformemente continua. Por lo tanto, existe o 0 tal que
[,(:) ,(t)[ <

2
si [: t[ < o. (5.5)
Multiplicando la igualdad (5.2) por ,(t) obtenemos que
,(t) =
a
I=0
,(t)
a,I
(t).
As, para cada t [0. 1] y : N. se tiene que
,(t) ,
),a
(t)
I=0
(,(t) ,(
/
:
))
a,I
(t)
_
a
I=0
,(t) ,(
/
:
)
a,I
(t). (5.6)
Probaremos que el lado derecho de esta desigualdad es menor que si : satisface la
siguiente desigualdad:
: _ max
_
1
o
4
.
|,|
2
o
2
_
(5.7)
Para cada t [0. 1] y : N consideremos los conjuntos
1
1
= / N ' 0 : 0 _ / _ :.
/
:
t
<
_
1
:
_1
4
1
2
= / N ' 0 : 0 _ / _ :. / , 1
1
.
Si : satisface (5.7) entonces
_
1
a
_1
4
_ o. y se sigue de (5.5) y de (5.2) que
I1
1
,(t) ,(
/
:
)
a,I
(t) <

I1
1
a,I
(t) _

2
a
I=0
a,I
(t) =

2
. (5.8)
Por otra parte, si / 1
2
entonces (t
I
a
)
2
_
_
: y, en consecuencia,
I1
2
,(t) ,(
/
:
)
a,I
(t) _

I1
2
2 |,|
o
a,I
(t)
= 2 |,|
o
I1
2
(t
I
a
)
2
(t
I
a
)
2
a,I
(t)
_ 2 |,|
o
_
:
I1
2
(t
/
:
)
2
a,I
(t). (5.9)
Probaremos que ahora que
a
I=0
(t
/
:
)
2
a,I
(t) _
1
4:
. (5.10)
Multiplicando la igualdad (5.2) por t
2
. la igualdad (5.3) por
2
a
t. y la suma de las
desigualdades (5.3) y (5.4) por
1
a
2
. obtenemos, respectivamente,
t
2
=
a
I=0
t
2
a,I
(t)
2t
2
=
a
I=0
2
/
:
t
a,I
(t)
(1
1
:
)t
2
+
1
:
t =
a
I=0
/
2
:
2
a,I
(t).
Sumando estas tres igualdades obtenemos
1
:
(t t
2
) =
a
I=0
(t
/
:
)
2
a,I
(t). (5.11)
Notemos que max
t[0,1]
(t t
2
) _
1
4
. En consecuencia, (5.11) implica (5.10).
Si : satisface (5.7) entonces |,|
o
,
_
: _ . Por tanto, (5.9) y (5.10) implican que
I1
2
,(t) ,(
/
:
)
a,I
(t) _

2
.
De esta desigualdad, junto con (5.6) y (5.8), obtenemos que
,(t) ,
),a
(t)
_
a
I=0
,(t) ,(
/
:
)
a,I
(t)
=

I1
1
,(t) ,(
/
:
)
a,I
(t) +
I1
2
,(t) ,(
/
:
)
a,I
(t) <
para toda t [0. 1]. si : satisface (5.7). Es decir,
_
_
, ,
),a
_
_
o
< si : _ max
_
1
o
4
.
|,|
2
o
2
_
. (5.12)
Esto concluye la demostracin.
Corolario 5.9 (a) El conjunto de todas las funciones polinomiales
T [0. 1] = j (
0
[0. 1] : j (t) = c
0
+ c
1
t + + c
a
t
a
. : N ' 0. c
i
R
es denso en (
0
[0. 1].
(b) (
0
[0. 1] es separable.
Demostracin: La armacin (a) es consecuencia inmediata del teorema anterior.
Para probar (b) notemos primero que el conjunto T
Q
[0. 1] de todas las funciones polino-
miales (t) =
0
+
1
t+ +
a
t
a
. t [0. 1]. con coecientes racionales,
i
Q, es numer-
able [Ejercicio 5.12]. Probemos ahora que T
Q
[0. 1] es denso en (
0
[0. 1]. Sea , (
0
[0. 1]
y sea 0. Por el teorema anterior existe un polinomio j (t) = c
0
+c
1
t + +c
a
t
a
con
coecientes reales, c
i
R, tal que |, j|
o
<
.
2
. Para cada i = 0. .... : tomemos
i
Q
tal que [c
i
i
[ <
.
2(a+1)
y denamos (t) :=
0
+
1
t + +
a
t
a
. Se tiene entonces que
[j(t) (t)[ = [(c
0
0
) + (c
1
1
) t + + (c
a
a
) t
a
[
_ [c
0
0
[ +[c
1
1
[ [t[ + +[c
a
a
[ [t[
a
_ [c
0
0
[ +[c
1
1
[ + +[c
a
a
[ <

2
para toda t [0. 1]. es decir, |j |
o
<
.
2
. En consecuencia,
|, |
o
_ |, j|
o
+|j |
o
< .
Esto prueba que T
Q
[0. 1] es denso en (
0
[0. 1]. Por tanto, (
0
[0. 1] es separable.
5.3. EJERCICIOS 77
Es importante hacer notar que en la demostracin del Teorema 5.8 obtuvimos
adems una estimacin (5.12) de la rapidez con que la sucesin de polinomios (,
),a
)
converge a la funcin ,.
Queremos hacer nfasis en la importancia de que el dominio de , sea un intervalo
cerrado. Este hecho jug un papel importante en la demostracin del Teorema 5.8 para
asegurar la continuidad uniforme de ,. El siguiente ejemplo muestra que no toda funcin
continua en un intervalo arbitrario se puede aproximar uniformemente por polinomios.
Ejemplo 5.10 La funcin ,(t) = sen(1,t). t (0.
2
]. no se puede aproximar uniforme-

mente por polinomios.
Demostracin: Supongamos, por el contrario, que existe una sucesin de polinomios
(j
I
) que converge uniformemente a , en (0.
2
]. Entonces (j
I
) es de Cauchy en (
0
(0.
2
].
Por tanto, dada 0 existe /
0
N tal que
[j
I
(t) j
)
(t)[ < \t (0.
2
:
], /. , _ /
0
.
Como la funcin t [j
I
(t) j
)
(t)[ es continua en R. la desigualdad anterior implica
que
[j
I
(t) j
)
(t)[ _ \t [0.
2
:
], /. , _ /
0
.
Esto prueba que (j
I
) es de Cauchy en (
0
[0.
2
] y, como (
0
[0.
2
] es completo, se tiene
entonces que (j
I
) converge uniformemente a una funcin continua q : [0.
2
] R. Como
la convergencia uniforme implica la convergencia puntual, obtenemos que
sen
1
t
= ,(t) = lm
Io
j
I
(t) = q(t) \t (0.
2
:
].
Por tanto, como q es continua en [0.
2
], se tiene que
lm
ao
sen
_
::
2
_
= lm
ao
q
_
2
::
_
= q(0).
Esto es una contradiccin, ya que la sucesin
_
sen
a
2
_
no converge.
5.3. Ejercicios
Ejercicio 5.11 Demuestra las siguientes armaciones.
(a) Ningn subconjunto propio de un espacio mtrico discreto A
oicc
es denso en A
oicc
.
(b) Un espacio mtrico discreto A
oicc
es separable si y slo si A
oicc
es a lo ms numer-
able.
Ejercicio 5.12 Prueba que los siguientes conjuntos son numerables.
(a) El conjunto Q de los nmeros racionales.
(b) El conjunto Q
a
= (
1
. ....
a
) R
a
:
i
Q \i = 1. .... :.
(c) El conjunto Q
o
de todas las sucesiones de nmeros racionales con slo un nmero
nito de trminos distintos de cero.
(d) El conjunto T
Q
[c. /] de todas las funciones polinomiales (t) =
0
+
1
t + +
a
t
a
con coecientes
i
Q y : N arbitrario.
Ejercicio 5.13 Sea (A. d) un espacio mtrico. Prueba que, si 1 es denso en (A. d) y
2 es denso en (1. d), entonces 2 es denso en (A. d).
Ejercicio 5.14 Prueba que, si : A 1 es continua y suprayectiva y A es denso
en A. entonces () es denso en 1. En particular, si : A 1 es un homeomorsmo
entonces A es separable si y slo si 1 lo es.
Ejercicio 5.15 Prueba que R
a
j
es separable para toda 1 _ j _ .
Ejercicio 5.16 Prueba que /
j
es separable para toda 1 _ j < .
Ejercicio 5.17 Prueba que el conjunto de funciones polinomiales en el intervalo [c. /]
T [c. /] = j (
0
[c. /] : j (t) = c
0
+ c
1
t + + c
a
t
a
. : N ' 0. c
i
R
es denso en (
0
[c. /]. (Sugerencia: Utiliza los Ejercicios 5.14 y 2.39)
Ejercicio 5.18 Prueba que T
Q
[c. /] es denso en (T [c. /] . ||
o
) y que, en consecuencia,
T
Q
[c. /] es denso en (
0
[c. /].
Ejercicio 5.19 Prueba que C
0
j
[c. /] es separable para todo 1 _ j _ . (Sugerencia:
Utiliza los Ejercicios 5.14 y 2.40).
Ejercicio 5.20 Sea C
o
[c. /] el conjunto de todas las funciones , : [c. /] R que tienen
derivadas continuas de todos los rdenes. Prueba que C
o
[c. /] es denso en C
0
j
[c. /] para
todo 1 _ j _ .
Ejercicio 5.21 Demuestra la igualdad (5.4).
Captulo 6
Compacidad
Los intervalos cerrados [c. /] tienen la propiedad de que cualquier sucesin de puntos
en ellos tiene una subsucesin convergente. Esto tiene consecuencias importantes, como
por ejemplo, que toda funcin continua en un intervalo cerrado alcanza su mximo y
su mnimo.
Ms an, los intervalos cerrados y acotados en R tienen la propiedad de Heine-
Borel, es decir: De cualquier familia de intervalos abiertos que cubre a [c. /] podemos
extraer una subfamilia nita que tambin cubre a [c. /]. Generalizando esta propiedad
obtenemos un concepto fundamental que es el concepto de compacidad.
6.1. Conjuntos compactos
Denicin 6.1 Sea A un espacio mtrico y sea un subconjunto de A. Una familia
C = A
i
: i J de subconjuntos de A se llama una cubierta de si

_
i7
A
i
.
Si A
i
es abierto en A para toda i J. se dice que C es una cubierta abierta de .
Un subconjunto C
0
C de una cubierta de que a su vez es cubierta de se llama
una subcubierta de C.
Denicin 6.2 Un subconjunto 1 de A es compacto si toda cubierta abierta de 1
en A contiene una subcubierta nita.
Veamos algunos ejemplos.
Ejemplo 6.3 R
a
no es compacto.
79
80 6. COMPACIDAD
Demostracin: Para cada / N consideremos la bola abierta
1(0. /) = r R
a
: |r| < /.
Claramente C = 1(0. /) : / N es una cubierta abierta de R
a
. pero ningn subcon-
junto nito de C es cubierta de R
a
.
Ejemplo 6.4 La bola abierta 1(0. 1) en R
a
no es compacta.
Demostracin: C = 1(0. 1
1
I
) : / N es una cubierta abierta de 1(0. 1). pero
ningn subconjunto nito de C es cubierta de 1(0. 1).
Los compactos tienen muchas propiedades importantes. Veamos algunas de ellas.
Proposicin 6.5 Si 1 es un subconjunto compacto de A, entonces toda sucesin (r
I
)
en 1 contiene una subsucesin que converge a un punto
0
1.
Demostracin: Sea (r
I
) una sucesin en 1. Probaremos primero que existe un
punto
0
1 tal que toda bola abierta 1
A
(
0
. ) con centro en
0
contiene a una
subsucesin de (r
I
), para toda 0. Supongamos, por contradiccin, que para cada
1. existe
j
0 tal que 1
A
(.
j
) contiene slo un nmero nito de trminos de
(r
I
). Como 1 es compacto, la cubierta abierta C = 1
A
(.
j
) : 1 de 1 contiene
una subcubierta nita, es decir, existen
1
. ....
n
1 tales que
1 1
A
(
1
.
j
1
) ' ' 1
A
(
n
.
jm
).
Esto implica que (r
I
) tiene slo un nmero nito de trminos, lo cual es falso.
As pues, existe
0
1 tal que toda bola abierta 1
A
(
0
. ) con centro en
0
contiene a
una subsucesin de (r
I
). Podemos escoger entonces una sucesin creciente de nmeros
naturales /
1
< /
2
< < /
)
< tales que r
I
j
1
A
(
0
.
1
)
). En consecuencia, la
subsucesin (r
I
j
) converge a
0
.
Denicin 6.6 Un subconjunto de un espacio mtrico A es acotado si existen
r A y 0 tales que 1
A
(r. ).
Proposicin 6.7 Todo subconjunto compacto de un espacio mtrico es cerrado y aco-
tado.
6.1. CONJUNTOS COMPACTOS 81
Demostracin: Sea 1 un subconjunto compacto de A. Si r
0
1 entonces, por
la Proposicin 2.27, existe una sucesin (r
I
) en 1 que converge a r
0
en A. Por la
proposicin anterior, (r
I
) contiene una subsucesin (r
I
j
) que converge a un punto
0

1. Como el lmite de una sucesin es nico, r
0
=
0
1. Esto prueba que 1 es cerrado.
Probemos ahora que 1 es acotado. Fijemos un punto r A. El conjunto de todas las
bolas abiertas 1
A
( r. :) con centro en r y radio : N es una cubierta abierta de A.
Como 1 es compacto, existen :
1
. .... :
n
N tales que 1 1
A
( r. :
1
)' '1
A
( r. :
n
).
Sea : := max:
1
. .... :
n
. Entonces 1 1
A
( r. :). es decir, 1 es acotado.
El recproco no es cierto en general, como lo muestra el siguiente ejemplo.
Ejemplo 6.8 La bola cerrada

1(0. 1) := (r
I
) /
2
:

r
2
I
_ 1 no es compacta en
/
2
.
Demostracin: Consideremos la sucesin c
I
= (c
I,a
) tal que c
I,I
= 1 y c
I,a
= 0 si
/ ,= :. Entonces c
I

1
2
(0. 1). Ninguna subsucesin de (c
I
) es de Cauchy en /
2
. ya que
|c
)
c
I
|
2
=
_
2 \, ,= /.
En consecuencia, ninguna subsucesin de (c
I
) converge en /
2
. La Proposicin 6.5 implica
que

1(0. 1) no es compacta.
Veremos en la siguiente seccin que el recproco s es vlido en R
a
. Conclumos esta
seccin con otras propiedades importantes de los conjuntos compactos.
Proposicin 6.9 Todo subconjunto cerrado de un conjunto compacto es a su vez com-
pacto.
Demostracin: Sea C un subconjunto cerrado de un conjunto compacto 1. Si
C = l
i
: i J es una cubierta abierta de C en A. entonces C
t
= l
i
: i J'AC
es una cubierta abierta de 1 en A. Como 1 es compacto, C
t
contiene una subcubierta
nita, es decir, existen i
1
. .... i
n
J tales que 1 l
i
1
''l
im
'AC. En consecuencia,
C l
i
1
' ' l
im
. es decir, l
i
1
. .... l
im
es una subcubierta nita de C.
La compacidad se preserva bajo funciones continuas.
Proposicin 6.10 Si : A 1 es continua y 1 es un subconjunto compacto de A,
entonces (1) es un subconjunto compacto de 1 .
82 6. COMPACIDAD
Demostracin: Sea C = \
i
: i J una cubierta abierta de (1) en 1. Como
es continua, la Proposicin 2.22 asegura que
1
(\
i
) es abierto en A. Por tanto,
C
t
=
1
(\
i
) : i J es una cubierta abierta de 1 en A y, como 1 es compacto, C
t
contiene una subcubierta nita
1
(\
i
1
). ....
1
(\
im
) . En consecuencia, \
i
1
. .... \
im
es una subcubierta nita de C.

Una consecuencia importante de esta proposicin es la siguiente.
Corolario 6.11 Si , : A R es continua y 1 es compacto en A entonces , alcanza
su mnimo y su mximo en 1. es decir, existen r
0
. r
1
1 tales que
,(r
0
) _ ,(r) \r 1.
,(r
1
) _ ,(r) \r 1.
Demostracin: Denotemos por
:
0
: = inf,(r) : r 1
:
1
: = sup,(r) : r 1
Por la proposicin anterior, ,(1) es un subconjunto compacto de R. Por tanto, ,(1)
es acotado en R y, en consecuencia, :
0
. :
1
R.
Probemos que existe r
0
1 tal que ,(r
0
) = :
0
. Escojamos r
I
1 tal que
:
0
_ ,(r
I
) < :
0
+
1
/
\/ N. (6.1)
Como 1 es compacto, (r
I
I
j
) que converge a un punto
r
0
1. Dado que , es continua, ,(r
I
j
) ,(r
0
) y de la desigualdad (6.1) se sigue que
:
0
= lm
)o
,(r
I
j
) = ,(r
0
).
De manera anloga se prueba que existe r
1
1 tal que ,(r
1
) = :
1
. Esto concluye la
demostracin.
6.2. El teorema de Heine-Borel
En la seccin anterior vimos que todo subconjunto compacto de un espacio mtrico
es cerrado y acotado. Vimos tambin que, en general, el recproco de esta armacin
no es cierto. En esta seccin veremos que en R
a
s lo es. Empezaremos probando la
siguiente armacin.
6.2. EL TEOREMA DE HEINE-BOREL 83
Proposicin 6.12 La bola cerrada

1
o
(0. :) = r R
a
: |r|
o
_ : con centro en 0 y
radio : en R
a
o
es compacta.
Demostracin: Como

1
o
(0. :) es homeomorfa a

1
o
(0. 1) en R
a
o
. gracias a la
Proposicin 6.10 basta demostrar que

1
o
(0. 1) es compacta. Observemos que

1
o
(0. 1)
es el ubo"
1
o
(0. 1) = (r
1
. .... r
a
) : r
i
[1. 1], i = 1. ...:.
Supongamos, que

1
o
(0. 1) no es compacta. Entonces existe una cubierta abierta C =
l
i
: i J de

1
o
(0. 1) en R
a
o
que no contiene ninguna subcubierta nita. En conse-
cuencia, si subdividimos a

1
o
(0. 1) en 2
a
bolas cerradas en R
a
o
de radio
1
2
(es decir,
en 2
a
ubos"del mismo tamao). se cumple que al menos una de ellas, llammosla

1
1
.
no puede ser cubierta por un nmero nito de elementos de C. Subdividamos ahora

1
1
en 2
a
bolas cerradas de radio
1
2
2
y continuemos este proceso para obtener una sucesin
decreciente de bolas cerradas en R
a
o
.
1
0
=

1
o
(0. 1)

1
1

1
I
.
tales que el radio de

1
I
es
1
2
k
y ninguna de ellas puede ser cubierta por un nmero nito
de elementos de C. Denotemos por r
I
al centro de

1
I
. Se tiene entonces que r
)

1
I
si , _ / y, en consecuencia, que
|r
I
r
)
|
o
_
1
2
I
\, _ /. (6.2)
Por tanto, la sucesin (r
I
) es de Cauchy en

1
o
(0. 1) y, como

1
o
(0. 1) es completo
(Proposicin 3.15), la sucesin (r
I
) converge en R
a
o
a un punto r
0

1
o
(0. 1). Pasando
al lmite cuando , en la desigualdad (6.2) obtenemos que
|r
I
r
0
|
o
_
1
2
I
\/. (6.3)
Como r
0

1
o
(0. 1) existe l
i
0
C tal que r
0
l
i
0
. Sea 0 tal que 1
o
(r
0
. ) l
i
0
.
La desigualdad (6.3) implica que
1
I
1
o
(r
0
. ) l
i
0
si
1
2
I1
<
Esto contradice el que

1
I
no puede ser cubierta por un nmero nito de elementos de
C. En consecuencia,

1
o
(0. 1) es compacta.
84 6. COMPACIDAD
Corolario 6.13 La bola cerrada

1(0. :) = r R
a
: |r| _ : con centro en 0 y radio
: en R
a
es compacta.
Demostracin: Como la identidad J : R
a
o
R
a
es continua y

1
o
(r. :) es compacta
en R
a
o
, la Proposicin 6.10 implica que

1
o
(r. :) es compacta en R
a
y, como

1(r. :)
1
o
(r. :). la Proposicin 6.9 asegura que

1(r. :) es compacta en R
a
.
El siguiente resultado da una caracterizacin sencilla de los subconjuntos compactos
de R
a
.
Teorema 6.14 (Heine-Borel) Sea 1 un subconjunto de R
a
. Entonces, 1 es com-
pacto si y slo si 1 es cerrado y acotado.
Demostracin: Por la Proposicin 6.7, si 1 es compacto entonces es cerrado y
acotado. Inversamente, supongamos que 1 es cerrado y acotado. Entonces 1 est
contenido en una bola cerrada

1(r. :) y, dado que sta es compacta, la Proposicin 6.9
implica que 1 tambin lo es.
Un corolario importante es el siguiente.
Corolario 6.15 (Bolzano-Weierstrass) Toda sucesin acotada en R
a
contiene una
subsucesin convergente.
Demostracin: Si (r
I
) es una sucesin acotada en R
a
, entonces la cerradura o
del conjunto o = r
I
: / N de todos sus trminos es cerrado y acotado. Por el
teorema anterior, o es compacto y, por la Proposicin 6.5, la sucesin (r
I
) contiene una
subsucesin convergente.
6.3. Continuidad uniforme
Sean (A. d
A
) y (1. d
Y
) espacios mtricos.
Denicin 6.16 Una funcin : A 1 es uniformemente continua si dada
0 existe o 0 (que depende nicamente de ) tal que, para cualesquiera r
1
. r
2
A.
d
Y
((r
1
). (r
2
)) < si d
A
(r
1
. r
2
) < o.
Claramente toda funcin uniformemente continua es continua. Pero el recproco, en
general, no es cierto [Ejercicio 6.31]. Sin embargo lo es en el siguiente caso.
6.4. EL TEOREMA DE STONE-WEIERSTRA 85
Proposicin 6.17 Sea A un espacio mtrico compacto. Entonces toda funcin contin-
ua : A 1 es uniformemente continua.
Demostracin: Supongamos, por el contrario, que A es compacto y que : A 1
es continua pero no es uniformemente continua. Entonces para alguna
0
0 y para
todo / N existen r
I
. r
I
A tales que
d
A
(r
I
. r
I
) <
1
/
y d
Y
((r
I
). ( r
I
)) _
0
.
Como A es compacto, la sucesin (r
I
I
j
) tal que r
I
j
r
en A (Proposicin 6.5). De la desigualdad del tringulo
d
A
(r. r
I
j
) _ d
A
(r. r
I
j
) + d
A
(r
I
j
. r
Iy
)
se sigue que r
I
j
r y, como es continua, se cumple entonces que (r
I
j
) (r) y
( r
I
j
) (r) en 1 (Proposicin 2.28). En consecuencia,
d
Y
((r
I
j
). ( r
I
j
)) _ d
Y
((r
I
j
). (r)) + d
Y
((r). ( r
I
j
)) <
0
para , sucientemente grande. Esto contradice nuestra suposicin.
6.4. El teorema de Stone-Weierstra
En el captulo anterior probamos que toda funcin continua [c. /] R es el lmite
uniforme de funciones polinomiales. Veremos ahora esto es vlido tambin para fun-
ciones continuas 1 R en un subconjunto compacto 1 de R
a
.
De hecho, probaremos un resultado ms general, conocido como el teorema de Stone-
Weierstra, que da condiciones para que una familia / de funciones reales continuas en
un espacio mtrico compacto A sea densa en el espacio (
0
(A).
Observemos antes que nada que, si A es compacto, entonces toda funcin continua
, : A R es acotada (Corolario 6.11). En consecuencia, el espacio (
0
(A) denido en
(3.2) no es otra cosa que el espacio de funciones continuas , : A R con la norma
uniforme
|,|
o
= sup
aA
[,(r)[ = max
aA
[,(r)[ .
El espacio (
0
(A) no slo es un espacio vectorial sino que cuenta adems con un pro-
ducto, denido como sigue:
,q : A R. (,q)(r) := ,(r)q(r).
86 6. COMPACIDAD
Se tiene que ,q (
0
(A) si ,. q (
0
(A) [Ejercicio 2.32]. Este producto le da al espacio
vectorial (
0
(A) la estructura de un lgebra con unidad. La unidad es la funcin
constante 1.
Teorema 6.18 (Stone-Weierstrass) Sea A un espacio mtrico compacto y sea / un
subconjunto de (
0
(A) con las siguientes propiedades:
(a) c, + , / para todas ,. / y c. , R
(b) , / para todas ,. /
(c) 1 /
(d) Dados r
1
,= r
2
en A. existe , / tal que ,(r
1
) ,= ,(r
2
).
Entonces / es denso en (
0
(A), es decir, dada una funcin continua , : A R existe
una sucesin (,
I
) de funciones en / que converge uniformemente a , en A.
Las primeras tres condiciones (a), (b) y (c) equivalen a decir que /es una sublgebra
con unidad del lgebra de funciones continuas (
0
(A). La propiedad (d) suele expresarse
diciendo que / separa puntos.
Para la demostracin del teorema de Stone-Weierstrass requerimos los siguientes
lemas.
Lema 6.19 Dados r
1
,= r
2
en A y c
1
. c
2
R. existe / tal que (r
1
) = c
1
y
(r
2
) = c
2
.
Demostracin: Sea , /tal que ,(r
1
) ,= ,(r
2
). Entonces el siguiente determinante
cumple que
det
_
,(r
1
) 1
,(r
2
) 1
_
,= 0.
Por tanto, existen `. j R tales que
`,(r
1
) + j = c
1
`,(r
2
) + j = c
2
De las propiedades (a) y (c) se sigue que la funcin = `, + j1 /. Las igualdades
anteriores dicen que (r
1
) = c
1
y (r
2
) = c
2
.
Lema 6.20 La cerradura / de / en (
0
(A) tambin tiene las propiedades (a), (b) y
(c).
Demostracin: Es sencillo comprobar que / tiene la propiedad (a) [Ejercicio 2.35].
La propiedad (c) es inmediata. Probemos (b). Dadas ,. / existen ,
I
.
I
/
6.4. EL TEOREMA DE STONE-WEIERSTRA 87
tales que ,
I
, y
I
en (
0
(A) (Proposicin 2.27). Como toda sucesin conver-
gente est acotada [Ejercicio 2.48], existe C 0 tal que |
I
|
o
_ C para toda /. En
consecuencia,
|, ,
I
I
|
o
_ |,(
I
)|
o
+|(, ,
I
)
I
|
o
_ |,|
o
|(
I
)|
o
+|(, ,
I
)|
o
|
I
|
o
_ |,|
o
|(
I
)|
o
+ C |(, ,
I
)|
o
Tomando el lmite cuando / en ambos lados de la desigualdad obtenemos que
,
I
I
, y, como ,
I
I
/, se tiene que , / (Proposicin 2.27).
Lema 6.21 Si , /. entonces [,[ /.
Demostracin: Por el Teorema 5.8 existe una sucesin de polinomios ,
I
que con-
verge uniformemente a la funcin valor absoluto [[ en el intervalo [|,|
o
. |,|
o
]. es
decir, dada 0 existe /
0
N tal que
[,
I
(t) [t[[ < \t [|,|
o
. |,|
o
]. / _ /
0
.
Esta desigualdad se cumple, en particular, para t = ,(r) con r A. Por tanto,
|,
I
, [,[|
o
= max
aA
[,
I
(,(r)) [,(r)[[ < \/ _ /
0
.
es decir, ,
I
, [,[ en (
0
(A). Como ,
I
es un polinomio y / satisface (a), (b) y (c),
se tiene que ,
I
, /. Por tanto, [,[ /.
Dadas funciones continuas ,. q : A R denotamos por max,. q. mn,. q a las
funciones
(max,. q)(r) = max,(r). q(r). (mn,. q)(r) = mn,(r). q(r). r A.
Lema 6.22 Si ,. /. entonces max,. . mn,. /.
Demostracin: Basta observar que
max,. =
1
2
(, + +[, [)
mn,. =
1
2
(, + [, [)
88 6. COMPACIDAD
Como /satisface la propiedad (a), el lema anterior implica que max,. . mn,.
/.
Demostracin del Teorema de Stone-Weierstra. Sea , : A R una
funcin continua y sea 0. El Lema 6.19 asegura que, para cada par de puntos
r. A. podemos escoger ,
a,j
/ tal que ,
a,j
(r) = ,(r) y ,
a,j
() = ,().
Fijemos r A. Como ,
a,j
, es continua y ,
a,j
() ,() = 0, existe o
j
0 tal que
,
a,j
(.) ,(.)
< \. 1
A
(. o
j
) (6.4)
y, como A es compacto, existen
1
. ....
n
A tales que A 1
A
(
1
. o
j
1
) ' '
1
A
(
n
. o
jm
). Sea ,
a
:= max,
a,j
1
. .... ,
a,jm
. El Lema 6.22 asegura que ,
a
/. Puesto
que cada . A pertenece a alguna 1(
i
. o
j
i
). la desigualdad (6.4) implica que
,
a
(.) ,(.) \. A. (6.5)
Por otra parte, dado que ,
a,j
(r) = ,(r) para todo A. se tiene que ,
a
(r) = ,(r) y,
como ,
a
, es continua, existe
a
0 tal que
[,
a
(.) ,(.)[ < \. 1
A
(r.
a
). (6.6)
De la compacidad de A se sigue que existen r
1
. .... r
a
A tales que A 1
A
(r
1
.
a
1
) '
'1
A
(r
v
.
an
). Sea , := mn,
a
1
. .... ,
ar
. El Lema 6.22 asegura que , /. Puesto
que cada . A pertenece a alguna 1(r
i
.
a
i
). usando la desigualdad (6.6) obtenemos
que
,(.) ,(.) < \. A. (6.7)
Y, como la desigualdad (6.5) vale para toda r A. se tiene adems que
,(.) ,(.) \. A. (6.8)
Las desigualdades (6.7) y (6.8) implican que |, ,|
o
< . Por consiguiente, dado que
, /. conclumos que , /.
Supongamos ahora que A R
a
y consideremos el conjunto T(A) de todas las
funciones polinomiales en : variables en A, es decir, de todas las funciones j : A R
de la forma
j(r
1
. .... r
a
) =
n
i=1
c
i
r
I
i;1
1
r
I
i;n
a
. c
i
R. /
i,)
N ' 0.
Una consecuencia interesante del teorema de Stone-Weierstrass es la siguiente.
6.5. EJERCICIOS 89
Corolario 6.23 Sea A un subconjunto compacto de R
a
. Entonces toda funcin con-
tinua , : A R es el lmite uniforme en A de una sucesin de funciones polinomiales
j
I
T(A).
Demostracin: Obviamente el conjunto T(A) de funciones polinomiales en : vari-
ables satisface las condiciones (a), (b) y (c) del teorema de Stone-Weierstrass. Consid-
eremos las funciones polinomiales :
i
(r
1
. .... r
a
) = r
i
. i = 1. .... :. Si r. A son puntos
distintos, entonces al menos una de sus coordenadas es distinta, digamos que r
i
,=
i
.
En consecuencia, :
i
(r) ,= :
i
(). Esto prueba que T(A) satisface la condicin (d). El
teorema de Stone-Weierstrass asegura entonces que T(A) es denso en (
0
(A).
6.5. Ejercicios
Ejercicio 6.24 Cules de los siguientes subconjuntos de R son compactos?
(a)
1
I
: / N
(b)
1
I
: / N ' 0
(c) t R : t _ 0
(d) t R : t _ 0
Ejemplo 6.25 Sea A un espacio de Banach y sea o
A
:= r A : |r| = 1 la esfera
unitaria en A. En cada uno de los siguientes casos investiga si la esfera unitaria es o
no compacta. Justica tu armacin.
(a) A = R
a
(b) A = R
a
o
(c) A = /
2
(d) A = /
o
(e) A = (
0
[0. 1]
(f ) A = C
0
1
[0. 1]
Ejemplo 6.26 Sea A
oicc
es un espacio mtrico discreto y sea 1 A
oicc
. Prueba que
1 es compacto si y slo si 1 es nito.
Ejercicio 6.27 Es cierto en general que si : A 1 es continua y 1 es un sub-
conjunto compacto de 1 entonces
1
(1) es un subconjunto compacto de A? Justica
tu respuesta.
Ejercicio 6.28 Prueba que si : A 1 es continua y biyectiva y A es compacto
entonces
1
: 1 A es continua (es decir, es un homeomorsmo).
90 6. COMPACIDAD
Ejercicio 6.29 Sea S
1
:= (r. ) R
2
: r
2
+
2
= 1 el crculo unitario en R
2
.
Considera la funcin
, : [0. 2:) S
1
, ,(t) = (cos t. sent).
Prueba que
(a) , es continua y biyectiva,
(b) ,
1
: S
1
[0. 2:) no es continua.
Es decir, la compacidad de A es esencial en la armacin del ejercicio anterior.
Ejercicio 6.30 (a) Prueba que todo espacio mtrico compacto es completo.
(b) Es cierto que todo espacio mtrico completo es compacto?
Ejercicio 6.31 Considera la funcin , : (0. 1] R dada por ,(t) =
1
t
. Prueba que ,
no es uniformemente continua.
Ejercicio 6.32 Sea B
2
= (:. o) : 0 _ : _ 1. 0 _ o _ 2: la bola unitaria cerrada
en R
2
. Prueba que cualquier funcin continua , : B
2
R es el lmite uniforme de
funciones de la forma
c
0
+ :(c
1
cos o + /
1
sin o) + + :
a
(c
a
cos :o + /
a
sin :o)
con c
i
. /
i
R. : N ' 0.
Ejercicio 6.33 Sea C = (r. ) R
2
: 0 _ r _ 1. 0 _ _ 1. Prueba que cualquier
funcin continua , : C R es el lmite uniforme de funciones de la forma
,
1
(r)q
1
() + + ,
a
(r)q
a
().
donde ,
i
. q
i
: [0. 1] R son continuas y : N.
Ejercicio 6.34 Sea un subconjunto abierto de R
a
. Denotemos por C
o
() al conjunto
de todas las funciones , : R que tienen derivadas parciales de todos los rdenes en
y dichas derivadas son continuas en la cerradura de . Prueba que C
o
() es denso
en (
0
().
Captulo 7
Compacidad en espacios de
funciones
Vericar la compacidad de un subconjunto a partir de la denicin es, en general,
difcil. El objetivo de este captulo es dar una caracterizacin til de los subconjuntos
compactos de espacios de funciones.
7.1. Conjuntos totalmente acotados.
Para probar la compacidad de las bolas cerradas en R
a
o
usamos el hecho de que
podemos cubrirlas por un nmero nito de bolas de radio arbitrariamente pequeo.
Consideremos subconjuntos de un espacio mtrico que tienen esta propiedad.
Sea A un espacio mtrico.
Denicin 7.1 Un subconjunto de A es totalmente acotado (o precompacto)
si para toda c 0 existe un nmero nito de puntos c
1
. .... c
n
tales que
1
A
(c
1
. c) ' ' 1
A
(c
n
. c).
Veamos algunas propiedades sencillas de los conjuntos totalmente acotados.
Proposicin 7.2 (a) Todo subconjunto compacto de A es totalmente acotado.
(b) Todo subconjunto totalmente acotado en A es acotado.
(c) Todo subconjunto de un conjunto totalmente acotado es, a su vez, totalmente aco-
tado.
(d) La cerradura en A de un subconjunto totalmente acotado es totalmente acotada.
91
92 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
Demostracin: (a) Si 1 A es compacto entonces, para toda 0. la cubierta
abierta 1
A
(r. ) : r 1 de 1 contiene una subcubierta nita. En consecuencia, 1
es totalmente acotado.
(b) Si A es totalmente acotado entonces existen c
1
. .... c
n
tales que
1
A
(c
1
. 1)''1
A
(c
n
. 1). En consecuencia, 1
A
(c
1
. :+1) donde : = maxd
A
(c
1
. c
)
) :
, = 2. .... :. es decir, es acotado.
(c) Sea un subconjunto totalmente acotado, sea 1 y sea 0. Entonces existen
c
1
. .... c
n
tales que
1
A
(c
1
.

2
) ' ' 1
A
(c
n
.

2
).
Sea J := , 1. .... : : 1
A
(c
)
.
.
2
) 1 ,= O. Para cada , J elegimos un punto
/
)
1
A
(c
)
.
.
2
) 1. Entonces se cumple que
1
_
)J
1
A
(/
)
. ).
Esto prueba que 1 es totalmente acotado.
(d) Sea un subconjunto totalmente acotado, sea 0, y sean c
1
. .... c
n
tales
que
1
A
(c
1
.

2
) ' ' 1
A
(c
n
.

2
).
Como

1
A
(c
1
.
.
2
) ' '

1
A
(c
n
.
.
2
) es cerrado, se tiene que

1
A
(c
1
.

2
) ' '

1
A
(c
n
.

2
).
En consecuencia,
1
A
(c
1
. ) ' ' 1
A
(c
n
. ).
Esto prueba que es totalmente acotado.
No es cierto, en general, que un conjunto acotado sea totalmente acotado. Veamos
un ejemplo.
Ejemplo 7.3 La bola cerrada

1(0. 1) := (r
I
) /
2
:

r
2
I
_ 1 no es totalmente
acotada en /
2
.
Demostracin: Sea c
I
= (c
I,a
) la sucesin tal que c
I,I
= 1 y c
I,a
= 0 si / ,= :.
Entonces c
I

1
2
(0. 1). Sea 0 < <
_
2,2. Si

1(0. 1) pudiese ser cubierta por un
7.1. CONJUNTOS TOTALMENTE ACOTADOS. 93
nmero nito de bolas de radio , entonces al menos una de ellas contendra a un par
c
)
. c
I
, , ,= /. lo cual es imposible, ya que
|c
)
c
I
|
2
=
_
2 \, ,= /.
En consecuencia,

1(0. 1) no es totalmente acotada.
El siguiente resultado da caracterizaciones muy tiles de los conjuntos compactos.
Teorema 7.4 Las siguientes tres armaciones son equivalentes:
(a) A es compacto.
(b) Toda sucesin en A contiene una subsucesin que converge en A.
(c) A es completo y totalmente acotado.
Demostracin: (a)=(b): Esta es la armacin de la Proposicin 6.5.
(b)=(c): Sea (r
I
) una sucesin de Cauchy en A. Si A satisface (b) entonces (r
I
)
contiene una subsucesin que converge a un punto r A y, por ser de Cauchy, la
sucesin (r
I
) misma converge a r [Ejercicio 3.34]. Esto prueba que A es completo.
Supongamos ahora que A no es totalmente acotado. Entonces existe
0
0 tal que A no
puede ser cubierto por un nmero nito de bolas abiertas de radio
0
. Por consiguiente,
podemos escoger, inductivamente, una sucesin de puntos r
I
A tales que r
I+1
,
1
A
(r
1
.
0
) ' ' 1
A
(r
I
.
0
). es decir, tales que d
A
(r
)
. r
I
)
0
para toda , ,= /.
Pero entonces, como la sucesin (r
I
) no es de Cauchy, no contiene ninguna subsucesin
convergente. En consecuencia, si A no es totalmente acotado, (b) no se cumple
(c)=(a): Supongamos, por contradiccin, que A es completo y totalmente acotado
pero no es compacto. Entonces A tiene una cubierta abierta | = l
i
: i J que
no contiene ninguna subcubierta nita. Como A es totalmente acotado, est contenido
en un nmero nito de bolas abiertas de radio 1. Por tanto, existe un punto r
1
A
tal que 1
A
(r
1
. 1). no puede ser cubierta por un nmero nito de elementos de |.
Como 1
A
(r
1
. 1) es totalmente acotado (Proposicin 7.2), est contenido en un nmero
nito de bolas abiertas de radio
1
2
cuyos centros estn en 1
A
(r
1
. 1). Por consiguiente,
existe r
2
1
A
(r
1
. 1) tal que 1
A
(r
2
.
1
2
). no puede ser cubierta por un nmero nito
de elementos de |. De este modo construmos, inductivamente, una sucesin (r
I
) tal
que r
I
1
A
(r
I1
.
1
2
k1
) y 1
A
(r
I
.
1
2
k
) no puede ser cubierta por un nmero nito de
elementos de |. Para toda , _ /, se tiene entonces que
d
A
(r
I
. r
)
) _ d
A
(r
I
. r
I+1
) + + d
A
(r
)1
. r
)
) _
1
2
I
+ +
1
2
)1
<
1
2
I1
. (7.1)
es decir, la sucesin (r
I
) es Cauchy. Como A es completo, esta sucesin converge a un
punto r en A. Haciendo tender , en la desigualdad (7.1) obtenemos que
d
A
(r
I
. r) _
1
2
I1
\/ N.
Por otra parte, como r A, existe l
i
0
| tal que r l
i
0
y, como l
i
0
es abierto,
existe 0 tal que 1
A
( r. ) l
i
0
. Sea / tal que
1
2
k2
< . Entonces, para todo
r 1
A
(r
I
.
1
2
k
). se tiene que
d
A
(r. r) _ d
A
(r. r
I
) + d
A
( r. r
I
) <
1
2
I
+
1
2
I1
< .
es decir,
1
A
(r
I
.
1
2
I
) 1
A
( r. ) l
i
0
Esto es una contradiccin, ya que habamos supuesto que 1
A
(r
I
.
1
2
k
) no puede ser
cubierta por un nmero nito de elementos de |.
Observa la similitud de la demostracin de la armacin "(c)=(a)on la de la
Proposicin 6.12, que constituye la parte medular de la demostracin del teorema de
Heine-Borel. La caracterizacin (c) es muy til en muchas situaciones. Veamos un
ejemplo.
Ejemplo 7.5 El cubo de Hilbert
H :=
_
(r
I
) /
2
: [r
I
[ _
1
2
I1
_
es compacto.
Demostracin: Como /
2
es completo y H es cerrado en /
2
. se tiene que H es
completo. Demostraremos ahora que H es totalmente acotado. Dada 0 escojamos
/
0
tal que
1
2
k
0
1
<
.
2
y consideremos el conjunto
H
I
0
:= (r
I
) H : r
I
= 0 \/ /
0
= H R
I
0
.
el cual es compacto en R
I
0
. Por lo tanto existen
1
. ....
n
R
I
0
tales que
H
I
0
1(
1
.

2
) ' ' 1(
n
.

2
). (7.2)
Sea r = (r
I
) H. Entonces r
I
0
= (r
1
. .... r
I
0
. 0. 0. ...) H
I
0
y se tiene que
_
_
r r
I
0
_
_
2
=
_
o
I=I
0
+1
[r
I
[
2
_
12
_
_
o
I=I
0
1
4
I
_
12
<
1
2
I
0
1
<

2
.
7.2. EL TEOREMA DE ARZEL-ASCOLI. 95
Se sigue de (7.2) que
_
_
r
I
0
i
_
_
2
<
.
2
para alguna i = 1. ...:. En consecuencia,
|r
i
|
2
< . Esto prueba que
H 1
2
(
1
. ) ' ' 1
2
(
n
. ).
Por tanto, H es totalmente acotado y, por el Teorema 7.4, H es compacto.
Denicin 7.6 Un subconjunto de A es relativamente compacto (en A) si su
cerradura en A es compacta.
Una consecuencia del teorema anterior es la siguiente:
Corolario 7.7 Un subconjunto de un espacio mtrico completo es relativamente com-
pacto si y slo si es totalmente acotado.
Demostracin: Sea relativamente compacto en A. El Teorema 7.4 implica en-
tonces que es totalmente acotado y, en consecuencia, tambin lo es (Proposicin
7.2). Inversamente, supongamos que es totalmente acotado. La Proposicin 7.2 ar-
ma entonces que es totalmente acotado. Por otra parte, como A es completo y es
cerrado, es completo. El Teorema 7.4 asegura entonces que es compacto.
7.2. El teorema de Arzel-Ascoli.
Sea A un espacio mtrico compacto y sea 1 un espacio mtrico. Denotamos por
(
0
(A. 1 ) := , : A 1 : , es continua
y, para ,. q (
0
(A. 1 ). denimos
d
o
(,. q) := max
aA
d
Y
(,(r). q(r)).
Nota que, como la funcin
A R. r d
Y
(,(r). q(r))
es continua y A es compacto, esta funcin alcanza su mximo, de modo que d
o
(,. q)
R para todas ,. q (
0
(A. 1 ). y es fcil vericar que es una mtrica en (
0
(A. 1 ).
Recordemos adems que, si 1 es completo, entonces (
0
(A. 1 ) es completo.
Usaremos el Corolario 7.7 para obtener una caracterizacin sencilla de los subcon-
juntos relativamente compactos de (
0
(A. 1 ).
Denicin 7.8 Un subconjunto H de (
0
(A. 1 ) es equicontinuo en un punto r A
si, dada 0. existe o 0 (que depende de y de r pero no de H) tal que, para toda
, H.
d
Y
(,(). ,(r)) < si d
A
(. r) < o.
H es equicontinuo si lo es en todo punto r de A.
El aspecto crucial de esta denicin es que la misma o 0 nos sirve para todas las
funciones que pertenecen a H. Un ejemplo en el que esto no se cumple es el siguiente.
Ejemplo 7.9 El conjunto H = ,
I
: [1. 1] R : / N de las funciones continuas
,
I
(r) =
_
_
_
1 si 1 _ r _
1
I
/r si
1
I
_ r _
1
I
1 si
1
I
_ r _ 1
no es equicontnuo en 0.
La demostracin es sencilla y se deja al lector [Ejercicio 7.18].
Teorema 7.10 (Arzel-Ascoli) Sea A un espacio mtrico compacto y sea 1 un es-
pacio mtrico completo. Un subconjunto H de (
0
(A. 1 ) es relativamente compacto si y
slo si H es equicontinuo y los conjuntos
H(r) := ,(r) : , H
son relativamente compactos en 1 para todo r A.
Demostracin: Supongamos que H es relativamente compacto en (
0
(A. 1 ). En-
tonces H es totalmente acotado. En consecuencia, dada 0. existen q
1
. .... q
n

(
0
(A. 1 ) tales que
H 1
o
(q
1
.

3
) ' ' 1
o
(q
n
.

3
).
Por tanto,
H(r) 1
Y
(q
1
(r).

3
) ' ' 1
Y
(q
n
(r).

3
) \r A.
es decir, H(r) es totalmente acotado y, como 1 es completo, el Corolario 7.7 asegura
que H(r) es relativamente compacto en 1. Por otra parte, como A es compacto, cada q
i
es uniformemente continua. Por tanto, existe o
i
0 tal que, para cualesquiera . r A.
d
Y
(q
i
(). q
i
(r)) <

3
si d
A
(. r) < o
i
. (7.3)
7.2. EL TEOREMA DE ARZEL-ASCOLI. 97
Denimos o := mno
1
. .... o
n
. Dada , H tomemos q
i
tal que d
o
(,. q
i
) <
.
3
. En-
tonces, si d
A
(. r) < o. se sigue de (7.3) que
d
Y
(,(). ,(r)) _ d
Y
(,(). q
i
()) + d
Y
(q
i
(). q
i
(r)) + d
Y
(q
i
(r). ,(r))
<

3
+

3
+

3
< .
Esto prueba que H es equicontinua.
Supongamos ahora que H es equicontinuo y que H(r) es relativamente compacto en
1 para todo r A. Queremos probar que H es relativamente compacto en (
0
(A. 1 ).
Como 1 es completo, (
0
(A. 1 ) tambin lo es. Por el Corolario 7.7 basta entonces probar
que H es totalmente acotado. Sea 0. Para cada r A tomemos o
a
0 tal que,
para toda , H.
d
Y
(,(). ,(r)) < si d
A
(. r) < o
a
. (7.4)
Como A es compacto, existen r
1
. .... r
n
A tales que
A 1
A
(r
1
. o
a
1
) ' ' 1
A
(r
n
. o
am
) (7.5)
y, como cada H(r
i
) es totalmente acotado, existen
1
. ....
I
1 tales que
H(r
1
) ' ' H(r
n
) 1
Y
(
1
.

4
) ' ' 1
Y
(
I
.

4
) (7.6)
Consideremos el conjunto (nito) T de todas las funciones o : 1. .... : 1. .... /.
Para cada o T consideremos el conjunto
H
o
:= , H : d
Y
(,(r
i
).
o(i)
) <

4
\i = 1. .... :.
Se sigue de (7.6) que, para cada , H y cada i 1. .... :. existe o(i) 1. .... / tal
que d
Y
(,(r
i
).
o(i)
) <
.
4
. En consecuencia,
H
_
oT
H
o
. (7.7)
Sean ,. q H
o
y sea r A. Se sigue de (7.5) que existe i 1. .... : tal que
d
A
(r. r
i
) < o
i
y, en consecuencia, (7.4) implica que d
Y
(,(r). ,(r
i
)) <
.
4
para toda
, H. Por tanto,
d
Y
(,(r). q(r)) _ d
Y
(,(r). ,(r
i
)) + d
Y
(,(r
i
).
o(i)
) + d
Y
(q(r
i
).
o(i)
) + d
Y
(q(r). q(r
i
))
<

4
+

4
+

4
+

4
= .
Tomando el mximo sobre toda r A obtenemos que d
o
(,. q) < para todas ,. q
H
o
. En consecuencia, para cualquier eleccin de q
o
H
o
. se cumple que
H
o
1
o
(q
o
. ). (7.8)
De (7.7) y (7.8) se sigue que
H
_
oT
1
o
(q
o
. ).
Por tanto, H es totalmente acotado.
A continuacin daremos una aplicacin importante de este teorema.
7.3. El problema de Cauchy
Sea (c. /) un intervalo en R, sea un subconjunto abierto de R
a
, sea : (c. /)
R
a
una funcin continua y sean t
0
(c. /) y r
0
. En el Captulo 4 probamos que el
problema de Cauchy
()
_
r
t
= (t. r)
r(t
0
) = r
0
tiene una nica solucin en un intervalo [t
0
o
0
. t
0
+ o
0
] si el campo vectorial es
localmente Lipschitz en la segunda variable. En esta seccin usaremos el teorema de
Arzel-Ascoli para probar que basta con que el campo vectorial sea continuo para que
() tenga solucin. En este caso, sin embargo, sta no necesariamente es nica [Ejercicio
7.19].
Fijemos :
1
. :
2
0 tales que
2 := (t. r) R R
a
: [t t
0
[ _ :
1
. |r r
0
| _ :
2
.
Como 2 es compacto, alcanza su mximo en 2. Denotemos por
` := max
(t,a)Z
(t. r). o
0
:= mn:
1
.
:
2
`
.
Como de costumbre, denotemos por

1(r
0
. :
2
) := r R
a
: |r r
0
| _ :
2
. Empecemos
demostrando que () tiene soluciones aproximadas.
Lema 7.11 Dada 0 existe r
.
(
0
([t
0
o
0
. t
0
+ o
0
] .

1(r
0
. :
2
)) con las siguientes
propiedades:
(i) r
.
es diferenciable por tramos.
(ii) r
.
(t
0
) = r
0
.
(iii) |r
t
.
(t) (t. r
.
(t))| < en cada tramo en el que r
.
es diferenciable.
(iv) |r
.
(t) r
.
(:)| _ ` [t :[ para todas :. t [t
0
o
0
. t
0
+ o
0
] .
Demostracin: Como [ 2 es uniformemente continua, existe o (0. o
0
) tal que
|(:. r) (t. )| _ \(:. r). (t. ) 2 con [t :[ _ o. | r| _ o. (7.9)
Ahora, subdividimos el intervalo [r
0
o
0
. r
0
+ o
0
] en subintervalos
t
0
o
0
=: t
a
< t
a+1
< < t
1
< t
0
< t
1
< < t
a
:= t
0
+ o
0
tales que [t
i+1
t
i
[ _ mno. o,` para toda i = :. .... : 1. Denimos inductiva-
mente una funcin afn por tramos, llamada un polgono de Euler, como sigue:
r
.
(t) :=
_
r
.
(t
i
) + (t t
i
)(t
i
. r
.
(t
i
)) si i _ 0. t [t
i
. t
i+1
]
r
.
(t
i+1
) + (t t
i+1
)(t
i+1
. r
.
(t
i+1
)) si i _ 1. t [t
i
. t
i+1
]
Claramente r
.
: [t
0
o
0
. t
0
+ o
0
] R
a
es continua, es diferenciable en cada subintervalo
(t
i
. t
i+1
) y satisface r
.
(t
0
) = r
0
. Notemos adems que
|r
.
(t) r
.
(:)| _ ` [t :[ _ o \:. t [t
i
. t
i+1
]. (7.10)
En consecuencia, si t
)1
< : _ t
)
< < t
I+i
_ t < t
I+i+1
. tenemos que
|r
.
(t) r
.
(:)| _ |r
.
(t) r
.
(t
I+i
)| + +|r
.
(t
)+1
) r
.
(t
)
)| +|r
.
(t
)
) r
.
(:)|
_ (t t
I1
)` + + (t
)+1
t
)
)` + (t
)
:)` = [t :[ `
Esto prueba que se cumple (iv). En particular,
|r
.
(t) r
.
(t
0
)| _ [t t
0
[ ` _ o
0
` _ :
2
.
es decir, r
.
(t)

1(r
0
. :
2
) para todo t [t
0
o
0
. t
0
+ o
0
] . Adems, se sigue de (7.10) y
(7.9) que
|(t. r
.
(t)) (t
i
. r
.
(t
i
))| _ si t [t
i
. t
i+1
]. i _ 0 o t [t
i1
. t
i
]. i _ 0.
Por tanto,
|(t. r
.
(t)) r
t
.
(t))| _ \t (t
i
. t
i+1
) . i = :. .... : 1.
es decir, se cumple (iii).
Teorema 7.12 (Cauchy-Peano) Si el campo vectorial : (c. /) R
a
es continuo
entonces, para cada condicin inicial (t
0
. r
0
) (c. /) . existe o
0
0 tal que el
problema de Cauchy () tiene al menos una solucin en el intervalo [t
0
o
0
. t
0
+ o
0
].
Demostracin: Para cada / N. consideremos la funcin r
1I
(
0
([t
0
o
0
. t
0
+ o
0
] .

1(r
0
. :
2
))
dada por el Lema 7.11. Entonces el conjunto
H := r
1I
: / N
es equicontinuo pues, dada 0. la propiedad (iv) del Lema 7.11 asegura que
_
_
r
1I
(t) r
1I
(:)
_
_
_ ` [t :[ < si [t :[ <

`
=: o.
para toda / N. Por otra parte, para cada t [t
0
o
0
. t
0
+ o
0
] se cumple que
H(t) = r
1I
(t) : / N

1(r
0
. :
2
)
y, como

1(r
0
. :
2
) es compacta en R
a
. se tiene que H(t) es relativamente compacto en
R
a
. El teorema de Arzel-Ascoli implica entonces que H es relativamente compacto.
Por tanto, existe r (
0
([t
0
o
0
. t
0
+ o
0
] .

1(r
0
. :
2
)) tal que
r
1I
r en (
0
([t
0
o
0
. t
0
+ o
0
] .

1(r
0
. :
2
)). (7.11)
Probaremos ahora que r es una solucin del problema (). Como r
1I
(t
0
) r(t
0
).
la propiedad (ii) implica que r(t
0
) = r
0
. La propiedad (iii) y el Lema 4.15 implican
adems que
_
_
_
_
r
1I
(t) r
0
_
t
t
0
(:. r
1I
(:))d:
_
_
_
_
=
_
_
_
_
_
t
t
0
r
t
1I
(:) (:. r
1I
(:))d:
_
_
_
_
_
1
/
[t t
0
[ . (7.12)
Por otra parte, (7.9) y (7.11) implican que, dada 0. existe /
0
tal que
_
_
(:. r
1I
(:)) (:. r(:))
_
_
_ si / _ /
0
. \: [t
0
o
0
. t
0
+ o
0
] .
En consecuencia, para cada t [t
0
o
0
. t
0
+ o
0
] . se cumple que
lm
Io
_
_
_
_
_
t
t
0
_
(:. r
1I
(:)) (:. r(:))
_
d:
_
_
_
_
= 0.
Por tanto, haciendo / en ambos lados de la desigualdad (7.12) obtenemos que
r(t) = r
0
+
_
t
t
0
(:. r
1I
(:))d: \t [t
0
o. t
0
+ o].
El Lema 4.13 asegura entonces que r es solucin del problema ().
7.4. EJERCICIOS 101
7.4. Ejercicios
Ejercicio 7.13 (a) Prueba que si : A 1 es una equivalencia (es decir, si es
biyectiva y y
1
son Lipschitz continuas) y es totalmente acotado en A. entonces
() es totalmente acotado en 1.
(b) Es cierto que, si : A 1 es un homeomorsmo y es totalmente acotado en
A. entonces () es totalmente acotado en 1 ?
Ejercicio 7.14 Prueba que en R
a
los subconjuntos totalmente acotados son precisa-
mente los conjuntos acotados.
Ejercicio 7.15 Sea A un espacio de Banach y sea o
A
:= r A : |r| = 1 la esfera
unitaria en A. En cada uno de los siguientes casos investiga si la esfera unitaria es o
no totalmente acotada. Justica tu armacin.
(a) A = /
j
. 1 _ j _
(b) A = (
0
[0. 1]
(c) A = C
0
1
[0. 1]
Ejercicio 7.16 Considera el espacio mtrico A = (0. ) con la mtrica inducida por
R y considera el subconjunto = (0. 1] de A. Prueba que:
(a) es cerrado y totalmente acotado en A.
(b) no es compacto.
Contrasta estas armaciones con las del Teorema 7.4.
Ejercicio 7.17 Prueba que todo espacio mtrico totalmente acotado es separable.
Ejercicio 7.18 Prueba que el conjunto H = ,
I
: [1. 1] R : / N de las funciones
continuas
,
I
(r) =
_
_
_
1 si 1 _ r _
1
I
/r si
1
I
_ r _
1
I
1 si
1
I
_ r _ 1
no es equicontnuo en 0.
Ejercicio 7.19 Muestra por medio de un ejemplo que el problema de Cauchy () puede
tener ms de una solucin.
Ejercicio 7.20 Sea A un espacio compacto, sea 1 un espacio mtrico completo, y
sea (,
I
) una sucesin en (
0
(A. 1 ) que converge puntualmente a ,, es decir, la sucesin
,
I
(r) ,(r) en R para cada r A. Prueba que, si H = ,
I
es equicontinuo, entonces
, (
0
(A. 1 ) y ,
I
, en (
0
(A. 1 ).
Ejercicio 7.21 Prueba que, si A es un espacio mtrico compacto y si , : A A es
una funcin tal que d
A
(,(r). ,()) < d
A
(r. ) para todos r. A. entonces , tiene un
nico punto jo. Contrasta esta armacin con la del teorema de punto jo de Banach.
Captulo 8
Existencia de mnimos
Muchos problemas de la fsica y de la geometra tienen una formulacin variacional,
es decir, pueden plantearse en trminos de encontrar el mnimo (o un punto crtico) de
una funcin. Por ejemplo, un problema clsico es el siguiente: Dada una supercie en R
a
existe una trayectoria de longitud mnima entre dos puntos dados de dicha supercie?
Para abordar este tipo de problemas necesitamos criterios que garantizen la exis-
tencia de mnimos de funciones reales denidas en espacios mtricos. En este captulo
daremos un resultado de este estilo y lo aplicaremos para demostrar la existencia de
trayectorias geodsicas.
8.1. Existencia de trayectorias geodsicas
Sea A = (A. d) un espacio mtrico y sean r. A.
Denicin 8.1 Una trayectoria de r a en A es una funcin continua o : [c. /]
A tal que o(c) = r y o(/) = .
La longitud de la trayectoria o : [c. /] A se dene como
/(o) := sup
_
n
I=1
d(o(t
I1
). o(t
I
)) : c = t
0
_ t
1
_ _ t
n
= /. : N
_
.
Una trayectoria de r a de longitud mnima se llama una geodsica de r a .
La longitud de una trayectoria no es necesariamente nita [Ejercicio 8.18]. En los
cursos de Clculo Diferencial e Integral se prob la siguiente frmula muy til para
calcular la longitud de una trayectoria continuamente diferenciable (vase por ejemplo
[3]).
103
104 8. EXISTENCIA DE MNIMOS
Ejemplo 8.2 Si o : [c. /] R
a
es una trayectoria continuamente diferenciable en-
tonces su longitud est dada por
/(o) =
_
b
o
|o
t
(t)| dt.
Observemos que una trayectoria no es tan slo una curva geomtrica en A sino el
modo como la recorremos. Muchas trayectorias distintas corresponden a la misma curva
imagen.
Ejemplo 8.3 Las trayectorias
o
I
: [0. 1] R
2
. o
I
(t) = (cos 2:/t. sin 2:/t). / _ 1.
de (1. 0) a (1. 0) tienen todas como imagen al crculo unitario, pero o
I
le da / vueltas
al crculo, por lo que /(o
I
) = 2:/.
Por otra parte, la longitud de una trayectoria no depende de la velocidad con que
la recorremos, es decir, su longitud no cambia si la reparametrizamos por medio de una
funcin no decreciente.
Lema 8.4 Sea o : [c. /] A una trayectoria de r a y sea c : [c. ,] [c. /] una
funcin continua no decreciente tal que c(c) = c y c(,) = /. Entonces oc : [c. ,] A
es una trayectoria de r a tal que /(o c) = /(o).
La demostracin es sencilla y se deja como ejercicio al lector [Ejercicio 8.19]. Nuestro
objetivo es probar que, bajo ciertas condiciones, existe una trayectoria geodsica de r a
. En virtud de la proposicin anterior podemos, sin perder generalidad, considerar ni-
camente trayectorias denidas en [0. 1]. ya que reparametrizando cualquier trayectoria
o : [c. /] A mediante la reparametrizacin lineal
c : [0. 1] [c. /]. t (/ c)t + c.
obtenemos una trayectoria o c : [0. 1] A de la misma longitud.
Consideremos el espacio de trayectorias de r a en A
T
a,j
(A) := o (
0
([0. 1]. A) : o(0) = r. o(1) =
y consideremos la funcin longitud
/ : (
0
([0. 1]. A) R ' + . o /(o).
8.2. SEMICONTINUIDAD 105
Los mnimos de esta funcin son las geodsicas de r a . Queremos demostrar que esta
funcin alcanza su mnimo en T
a,j
(A). En el Captulo 6 probamos que toda funcin
real continua en un espacio compacto alcanza su mximo y su mnimo. Sin embargo,
ese resultado no es aplicable en este caso ya que, para empezar, / no es continua
[Ejercicio 2.43]. El problema es que pueden existir trayectorias arbitrariamente largas
tan cercanas a una trayectoria dada como queramos. Pero no pueden existir trayectorias
arbitrariamente cortas, como lo muestra el siguiente resultado.
Lema 8.5 Dadas o (
0
([0. 1]. A) y 0. existe o 0 tal que
/(o) < /(t) si d
o
(t. o) < o.
Demostracin: Sea o : [0. 1] A una trayectoria en A y sea 0. Sea
0 = t
0
_ t
1
_ _ t
n
= 1
una particin de [0. 1] tal que
/(o) <
n
I=1
d(o(t
I1
). o(t
I
)) +

2
.
Sea 1
o
(o.
.
4n
) la bola abierta en (
0
([0. 1]. A) con centro en o y radio
.
4n
. Entonces,
para cualquier t 1
o
(o.
.
4n
) se cumple que
d(o(t
I1
). o(t
I
)) _ d(o(t
I1
). t(t
I1
)) + d(t(t
I1
). t(t
I
)) + d(t(t
I
). o(t
I
))
<

4:
+ d(t(t
I1
). t(t
I
)) +

4:
.
y sumando estas desigualdades para todo / = 1. .... : obtenemos que
/(o) <
n
I=1
d(o(t
I1
). o(t
I
))

2
<
n
I=1
d(t(t
I1
). t(t
I
)) < /(t)
para toda t 1
o
(o.
.
4n
). como arma el lema.
A continuacin estudiaremos a las funciones que tienen esta propiedad.
8.2. Semicontinuidad
Sabemos que toda funcin real continua en un espacio compacto alcanza su mx-
imo y su mnimo. En cierto sentido las condiciones de compacidad y continuidad son
opuestas la una de la otra: Mientras ms abiertos tenga A ms fcil es que una funcin
A 1 resulte continua pero ms difcil es que A sea compacto. Y viceversa. Esta
disyuntiva se presenta con frecuencia en las aplicaciones. Resulta pues muy conveniente
contar resultados anlogos bajo hiptesis ms dbiles.
A continuacin probaremos un resultado que asegura la existencia de mnimos para
funciones no necesariamente continuas. En la prctica resulta conveniente considerar a
+ como un posible valor de las funciones, como ocurre con la funcin longitud, de
modo que as lo haremos en lo que sigue.
Denicin 8.6 Una funcin , : A R ' + es semicontinua inferiormente
en el punto r
0
A si, dada 0. existe o 0 tal que
,(r
0
) < ,(r) si d(r. r
0
) < o.
Se dice que , es semicontinua inferiormente (s.c.i.) si lo es en cada punto r A.
Proposicin 8.7 Son equivalentes las siguientes armaciones:
(a) , es s.c.i.
(b) ,
o
= r A : ,(r) c es abierto para toda c R.
(c) ,
o
= r A : ,(r) _ c es cerrado para toda c R.
Demostracin: (a)=(b): Sea , una funcin s.c.i. y sea r
0
,
o
. Tomemos :=
)(a
0
)o
2
. Entonces existe o 0 tal que
,(r) ,(r
0
) =
,(r
0
) + c
2
c si d(r. r
0
) < o.
es decir, 1
A
(r
0
. o) ,
o
. Por tanto, ,
o
es abierto.
(b)=(a): Supongamos que ,
o
es abierto para toda c R. Dados r
0
A y 0.
tomemos c := ,(r
0
) . Entonces existe o 0 tal que 1
A
(r
0
. o) ,
o
. es decir,
,(r) c = ,(r
0
) si r 1
A
(r
0
. o). Esto prueba que , es s.c.i.
(b)==(c): Es consecuencia inmediata de la Proposicin 2.18.
Ejemplo 8.8 (a) La funcin ] [: R R dada por
]t[:= : si : 1 < t _ :. : Z.
es s.c.i.
(b) La funcin parte entera [] : R R dada por
[t] := : si : _ t < : + 1. : Z.
no es s.c.i.
8.3. EXISTENCIA DE TRAYECTORIAS GEODSICAS 107
Otra caracterizacin muy til de la semicontinuidad inferior est dada en trminos
del siguiente concepto.
Denicin 8.9 Sea (t
I
) una sucesin en R. El lmite inferior de (t
I
) se dene como
lminf
Io
t
I
:= sup
a1
inf
Ia
t
I
R ' +. .
Proposicin 8.10 , es semicontinua inferiormente en r
0
si y slo si para toda suce-
sin (r
I
) en A tal que lm
Io
r
I
= r
0
se cumple
,(r
0
) _ lminf
Io
,(r
I
).
La demostracin es sencilla [Ejercicio 8.21]. El siguiente resultado tiene muchas
aplicaciones.
Teorema 8.11 Si , : A R ' s.c.i. y si ,
o
es compacto y no vaco para algn
c R, entonces , est acotada inferiormente y alcanza su mnimo en A.
Demostracin: Sea c := inf , _ . Como ,
o
,= O. se tiene que c _ ,(r) _ c para
algn r A. Si c = c entonces ,(r) = c. es decir, el mnimo se alcanza. Supongamos
pues que c < c.
Para cada / N sea c
I
= / si c = . y sea c
I
= c +
1
I
si c R. Sea r
I
A tal
que c _ ,(r
I
) < c
I
. Para / sucientemente grande c
I
< c. es decir, (r
I
) est en ,
o
y, como ,
o
es compacto, (r
I
) contiene una subsucesin convergente r
In
r
0
en A.
Como , es s.c.i., por la proposicin anterior,
c = inf , _ ,(r
0
) _ lminf
Io
,(r
I
) _ lm
Io
c
I
= c.
Por lo tanto ,(r
0
) = c. es decir, r
0
es un mnimo de ,.
A continuacin aplicaremos este resultado para demostrar la existencia de geodsi-
cas.
8.3. Existencia de trayectorias geodsicas
Nos gustara aplicar el Teorema 8.11 a la restriccin de la funcin longitud / al
espacio de trayectorias T
a,j
(A) de r a . Por desgracia esto no es posible, como lo
muestra el siguiente ejemplo.
Ejemplo 8.12 /
o
:= o T
0,1
([0. 1]) : /(o) _ c es vaco si c < 1 y no es compacto
si c _ 1.
Demostracin: Las trayectorias o
I
: [0. 1] [0. 1] de 0 a 1 dadas por
o
I
(t) :=
_
_
_
0 si 0 _ t _
1
I+1
/(/ + 1)(t
1
I+1
) si
1
I+1
_ t _
1
I
1 si
1
I
_ t _ 1
satisfacen que
/(o
I
) =
_
1
0
o
t
I
(t)dt = 1.
Si , /. entonces o
)
(
1
)
) o
I
(
1
)
) = 1. Por tanto, |o
)
o
I
|
o
= 1 para toda , ,= / y, en
consecuencia, (o
I
) no contiene ninguna subsucesin convergente en (
0
[0. 1]. Es decir,
/
o
no es compacto para ninguna c _ 1.
Para enfrentar la falta de compacidad de T
a,j
(A) usaremos el hecho de que la lon-
gitud de una trayectoria no cambia si la reparametrizamos por medio de una funcin
no decreciente. Dada cualquier trayectoria o : [0. 1] A de longitud nita podemos
reparametrizarla usando como parmetro la longitud de arco como sigue. Denotemos
por
o [
[0,t]
: [0. t] A
a la restriccin de la trayectoria o al intervalo [0. t].
Lema 8.13 La funcin ` : [0. 1] [0. /(o)] dada por
`(t) := /(o [
[0,t]
)
es continua y no decreciente.
La demostracin se deja como ejercicio [Ejercicio 8.23]. La funcin ` no es nece-
sariamente biyectiva, ya que puede permanecer constante en algunos subintervalos de
[0. 1]. Pero, si ` es constante en un subintervalo, esto se debe a que o es constante en
dicho subintervalo. Se tiene lo siguiente.
Lema 8.14 La funcin o : [0. /(o)] A dada por
o(:) = o(`
1
:)
est bien denida, es continua, y cumple que
/( o [
[0,c]
) = : \: [0. /(o)].
En particular, /( o) = /(o).
8.3. EXISTENCIA DE TRAYECTORIAS GEODSICAS 109
La demostracin se deja como ejercicio [Ejercicio 8.24]. Consideremos ahora la
trayectoria o : [0. 1] A dada por
o(t) = o(/(o)t).
o se llama la reparametrizacin de o proporcional a la longitud de arco. Del
lema anterior se sigue que
/( o [
[0,t]
) = /(o)t. (8.1)
en particular,
/( o) = /(o). (8.2)
Denotemos por
T
0
a,j
(A) := o T
a,j
(A) : /(o [
[0,t]
) = /(o)t
al espacio de todas las trayectorias o : [0.1] A de r a parametrizadas proporcional-
mente a la longitud de arco. Es inmediato comprobar lo siguiente.
Lema 8.15 Para toda o T
0
a,j
(A) se cumple que
d(o(t
1
). o(t
2
)) _ /(o) [t
2
t
1
[ \0 _ t
1
. t
2
_ 1.
Demostracin: Si t
1
_ t
2
entonces
d(o(t
1
). o(t
2
)) _ /(o [
[t
1
,t
2
]
) = /(o [
[0,t
2
]
) /(o [
[0,t
1
]
) = /(o)(t
2
t
1
).
como arma el lema.
Usaremos el siguiente caso particular del Teorema de Arzel-Ascoli
Corolario 8.16 Si A y 2 son espacios mtricos compactos, entonces un subconjunto
H de (
0
(2. A) es relativamente compacto si y slo si H es equicontinuo.
Demostracin: Como A es compacto, se tiene que A es completo y H(.) := ,(.) :
, H A es relativamente compacto. El resultado se sigue del Teorema 7.10.
Estamos listos para probar el siguiente teorema.
Teorema 8.17 (Existencia de geodsicas) Sea A un espacio mtrico compacto. Si
existe una trayectoria de longitud nita entre dos puntos r y de A entonces existe
una trayectoria geodsica de r a en A.
Demostracin: Consideremos la restriccin
/ : T
0
a,j
(A) R ' +.
de la funcin longitud al subespacio T
0
a,j
(A). Sea t T
a,j
(A) tal que /(t) =: c < .
Se sigue de (8.1) y de (8.2) que t T
0
a,j
(A) y que /(t) = c. Por tanto,
/
o
:= o T
0
a,j
(A) : /(o) _ c , = O.
Del Lema 8.15 se sigue que, para toda o /
o
.
d(o(t
1
). o(t
2
)) _ c [t
2
t
1
[ \0 _ t
1
. t
2
_ 1.
En consecuencia, /
o
es equicontinuo. Por el Corolario 8.16, /
o
es compacto. Como
/ es s.c.i. (Lema 8.5), el Teorema 8.11 asegura que / alcanza su mnimo o
0
en T
0
a,j
(A).
Finalmente, como como para cada o T
a,j
(A) se tiene que o T
0
a,j
(A) y /(o) = /( o).
conclumos que o
0
es un mnimo de
/ : T
a,j
(A) R ' +.
es decir, o
0
es una geodsica de r a en A.
8.4. Ejercicios
Ejercicio 8.18 Da un ejemplo de una trayectoria o : [0. 1] R
2
de (0. 0) a (1. 0) de
longitud innita.
Ejercicio 8.19 Sea o : [c. /] A una trayectoria de r a y sea c : [c. ,] [c. /]
una funcin continua no decreciente tal que c(c) = c y c(,) = /. Prueba que o c :
[c. ,] A es una trayectoria de r a tal que /(o c) = /(o).
Ejercicio 8.20 Prueba que:
(a) La funcin ] [: R R dada por
]t[:= : si : 1 < t _ :. : Z.
es s.c.i.
(b) La funcin parte entera [] : R R dada por
[t] := : si : _ t < : + 1. : Z.
no es s.c.i.
8.4. EJERCICIOS 111
Ejercicio 8.21 Prueba que , es semicontinua inferiormente en r
0
si y slo si para
toda sucesin (r
I
) en A tal que lm
Io
r
I
= r
0
se cumple que
,(r
0
) _ lminf
Io
,(r
I
).
Ejercicio 8.22 Sea

1
R
2(0. 1) la bola de radio 1 con centro en el origen en R
2
. Dada
c (0. 1), consideremos las funciones
,
I
(t) :=
_
_
_
2
I+1
t si 0 _ t _
o
2
k+1
2c 2
I+1
t si
o
2
k+1
_ t _
o
2
k
0 si
o
2
k
_ t _ 1
Prueba que las trayectorias o
I
: [0. 1]

1
R
2(0. 1) de r := (0. 0) a := (1. 0) dadas
por
o
I
(t) := (t. ,
I
(t))
tienen las siguientes propiedades:
(i) /(o
I
) _ 1 + (
_
5 1)c
(ii) La sucesin (o
I
) no contiene ninguna subsucesin convergente en T
a,j
(
1
R
2(0. 1)).
Ejercicio 8.23 Prueba que la funcin ` : [0. 1] [0. /(o)] dada por
`(t) := /(o [
[0,t]
)
es continua y no decreciente.
Ejercicio 8.24 Prueba que la funcin o : [0. /(o)] A dada por
o(:) = o(`
1
:)
est bien denida, es continua, y cumple que
/( o [
[0,c]
) = : \: [0. /(o)].
Bibliografa
[1] J. Dieudonn, Foundations of modern analysis, Academic Press, New York-San
Francisco-London 1969.
[2] A. N. Kolmogorov, S. V. Fomin, Elementos de la teora de funciones y del anlisis
funcional, Editorial MIR, Mosc 1972.
[3] Marsden, Tromba,
[4] W. Rudin, Principles of mathematical analysis, McGraw-Hill, Tokyo 1964.
113

Analisis Matematico

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Analisis Matematico

Cargado por

Copyright:

Formatos disponibles

Anlisis Matemtico I

(r. ) := d(r. ) \r. .

se llama la distancia inducida por d en .

_ ` para toda / _ 0, y se sigue de (3.3)

]. no se puede aproximar uniforme-

es una subcubierta nita de C.

También podría gustarte