EspaciosMetricos PDF

Espacios M
etricos
Jorge Alberto Guccione

Juan Jose Guccione
Indice general
Captulo 1. Espacios metricos 1

1 Definicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Producto de numerables espacios metricos . . . . . . . . . . . . . . 6
2 Espacios pseudometricos . . . . . . . . . . . . . . . . . . . . . . . 7
Captulo 2. Bolas abiertas, bolas cerradas y esferas 13
Captulo 3. Distancia entre conjuntos y diametro 17
1 Distancia entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . 17
2 Diametro de un conjunto . . . . . . . . . . . . . . . . . . . . . . . 19
Captulo 4. Espacios normados 21
1 Definicion y primeros ejemplos. . . . . . . . . . . . . . . . . . . . . 21
2 La bola unitaria . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3 Pseudonormas . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Captulo 5. Sucesiones 27
Captulo 6. Topologa de espacios metricos 33
1 Conjuntos abiertos . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.1 El interior de un conjunto . . . . . . . . . . . . . . . . . . . . 35
2 Conjuntos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1 El conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . 38
2.2 La clausura de un conjunto . . . . . . . . . . . . . . . . . . . . 38
3 La frontera y el borde de un conjunto . . . . . . . . . . . . . . . . . . 41
Captulo 7. Funciones continuas, uniformemente continuas e isometras 45
1 Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . 45
2 Funciones uniformemente continuas . . . . . . . . . . . . . . . . . . . 50
3 Funciones de Lipschitz . . . . . . . . . . . . . . . . . . . . . . . . 52
4 Isometras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Captulo 8. Espacios metricos separables 59
Captulo 9. Espacios metricos completos 65
1 Definicion y primeros ejemplos. . . . . . . . . . . . . . . . . . . . . 65
iii
Indice general
2 Completaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Captulo 10. Metricas Equivalentes 73
Captulo 11. El Teorema del punto fijo para contracciones 77
Captulo 12. Conjuntos de primera y segunda categora 83
1 El Teorema de Baire. . . . . . . . . . . . . . . . . . . . . . . . . 83
2 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2.1 Puntos aislados . . . . . . . . . . . . . . . . . . . . . . . . . 84
2.2 Funciones continuas sin derivada en ning
un punto . . . . . . . . . . . 85
2.3 Principio de acotaci
on uniforme . . . . . . . . . . . . . . . . . . 87
Captulo 13. Compaccidad (Primera Parte) 89
Captulo 14. Espacios conexos y espacios arco-conexos 93
1 Espacios conexos . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2 Espacios arco-conexos . . . . . . . . . . . . . . . . . . . . . . . . 95
Captulo 15. Compaccidad (Segunda Parte) 97
Captulo 16. Espacios de Banach 101
1 Espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . . 101
2 Transformaciones Lineales . . . . . . . . . . . . . . . . . . . . . . 103
2.1 El Espacio Dual . . . . . . . . . . . . . . . . . . . . . . . . 107
2.2 Elementos Inversibles de L(E) . . . . . . . . . . . . . . . . . . 112
2.3 El Teorema de la Funcion Abierta . . . . . . . . . . . . . . . . . 114
3 Funciones Multilineales. . . . . . . . . . . . . . . . . . . . . . . . 116
Captulo 17. Calculo Diferencial 119
1 Derivaciones entre Productos de Espacios de Banach . . . . . . . . . . . . 122
1.1 Diferenciales Parciales . . . . . . . . . . . . . . . . . . . . . . 123
2 El teorema de los incrementos finitos . . . . . . . . . . . . . . . . . . 124
3 El teorema de la funcion inversa . . . . . . . . . . . . . . . . . . . . 126
iv
Captulo 1
Espacios m
etricos
1. Definici
on y ejemplos
Un espacio metrico es un par (X, d), formado por un conjunto no vaco X y una funcion
d : X X R0 ,
llamada funci
on distancia o metrica de X, tal que
1. d(x, y) = 0 si y s
olo si x = y,
2. d(x, y) = d(y, x) para todo x, y X (simetra),
3. d(x, y) d(x, z) + d(z, y) para todo x, y, z X (desigualdad triangular).
Los elementos de X son llamados puntos de X. Cuando no haya posibilidad de confusion
hablaremos simplemente de un espacio metrico X sin hacer referencia a la funcion distancia,
la cual genericamente ser
a denotada con d. Unas palabra mas acerca de la terminologa usada
en estas notas. Muchas veces al probar que una funcion d : X X R0 es una metrica
o una pseudometrica (ver la Seccion 2), diremos que d tiene la propiedad triangular, para
expresar que satisface la condici
on requerida en el item 3 de la definicion anterior.
n 1.1. Para cada espacio metrico X, las siguientes afirmaciones son verda-
Proposicio
deras:
1. d(x1 , xn ) d(x1 , x2 )+ +d(xn1 , xn ), para todo conjunto finito x1 , . . . , xn de puntos
de X.
2. |d(x, z) d(y, z)| d(x, y), para toda terna x, y, z de elementos de X.
Demostracio n. El item 1 se sigue facilmente de la desigualdad triangular por induccion
en n. Para probar el item 2, basta observar que
d(x, z) d(y, z) d(x, y) y d(y, z) d(x, z) d(y, x) = d(x, y),
por la misma desigualdad y la condicion de simetra de la distancia.
1
1 Definicion y ejemplos Espacios metricos
Ejemplos 1.2. A continuaci

on damos una breve lista de espacios metricos. M
as adelante
veremos otros ejemplos.
1. Cada conjunto con un s olo punto tiene una unica estructura de espacio metrico;
en cambio un conjunto {x, y} con dos puntos tiene infinitas, porque podemos tomar
d(x, y) = d(y, x) = a, donde a es un n umero real positivo arbitrario.
2. R es un espacio metrico va la funci on distancia d(x, y) := |x y|. Este es el ejemplo
mas importante de espacio metrico y, salvo indicaci on en contrario, consideraremos a
R provisto de esta estructura de espacio metrico. M as generalmente, Rn es un espacio
on distancia d (x, y) := max1in |xi yi |, donde xi es la i-esima
metrico via la funci
coordenada de x, e yi , la de y.
3. El conjunto B[a, b] de las funciones acotadas del intervalo cerrado [a, b] en R, es
un espacio metrico via la funci on distancia d : B[a, b] B[a, b] R, definida por
d (f, g) := supt[a,b] |f (t) g(t)|.
4. El conjunto C[a, b], de las funciones continuas del intervalo cerrado [a, b] en R, es
un espacio metrico via la funci on distancia d : C[a, b] C[a, b] R, definida por
d (f, g) := supt[a,b] |f (t) g(t)|.
on d : X X R0 , definida por
5. Para cualquier conjunto X, la funci
(
0 si x = y,
d(x, y) :=
1 en otro caso,
es una funci on distancia sobre X, llamada metrica discreta de X. Cada par (X, d),
formado por un conjunto no vaco X y una metrica discreta es un espacio metrico
discreto.
6. Si X es un espacio metrico, entonces tambien lo es cada subconjunto Y de X, con
la metrica inducida. Cada uno de estos espacios es llamado un subespacio metrico
de X. Por ejemplo, (C[a, b], d ) es un subespacio de (B[a, b], d ).
7. Si (X, d) es un espacio metrico y f : Y X es una funci on inyectiva, entonces Y
es un espacio metrico via la distancia df definida por df (y, y 0 ) := d(f (y), f (y 0 )). El
ejemplo anterior es el caso particular obtenido considerando la inclusi on. Otro ejemplo

es el siguiente: tomemos el smbolo , y consideremos el conjunto N := N{}. La
distancia ds : N N R0 obtenida considerando la funci on S : N R definida
1 1
por S(n) := n (donde := 0) est a dada por
(
|m1 n1 | si m, n N,
ds (m, n) :=
m1 si n = .
Denotaremos con NS a este espacio metrico.
8. El producto X Y , de dos espacios metricos X e Y , es un espacio metrico via la dis-
tancia d ((x, y), (x0 , y 0 )) := max(dX (x, x0 ), dY (y, y 0 )), donde dX denota la distancia
en X y dY la distancia en Y . Salvo indicaci on en contrario, siempre consideraremos
a X Y dotado con esta metrica.
9. Para cada conjunto finito Y , el conjunto de partes 2Y es un espacio metrico via
d(A, B) = #(A4B). Cuando Y no es finito, el conjunto de los subconuntos finitos de
Y es un espacio metrico via la misma distancia.
2
Espacios metricos 1 Definicion y ejemplos
on dp : Rn Rn R0 , definida por
10. Para cada p 1, la funci
v
u n
uX
p
dp (x, y) := t |xi yi |p ,
i=1
es una distancia sobre Rn .

11. Para cada p 1, el conjunto C[a, b] es un espacio qRmetrico via la funcion distancia
p b p
dp : C[a, b] C[a, b] R, definida por dp (f, g) := a |f (t) g(t)| dt.
Es claro que en todos los ejemplos mencionados arriba se satisfacen los dos primeros
items de la definicion de distancia, y es facil ver que en el primero, quinto, sexto y septimo
la funcion distancia satisface la propiedad triangular. Examinemos ahora el segundo ejemplo.
Reemplazando a por x y y b por y z en la desigualdad
(|a| + |b|)2 = |a|2 + 2|a||b| + |b|2 a2 + 2ab + b2 = |a + b|2 para todo a, b R,
se comprueba que la desigualdad triangular es cierta para R. Pero entonces tambien lo es
para (Rn , d ), porque dados x, y, z Rn ,
|xi zi | |xi yi | + |yi zi | d (x, y) + d (y, z) para todo i {1, . . . , n},
donde xi , yi y zi son las i-esimas coordenadas de x, y y z, respectivamente, por lo que
d (x, z) = ax (|xi zi |) d (x, y) + d (y, z).
m
i{1,...,n}
Una cuenta similar, pero tomando supremos en lugar de maximos en dos de los casos, prueba
que la funci
on distancia tiene propiedad triangular en el tercer, cuarto y octavo ejemplos.
Ademas esta propiedad es cierta en el noveno, porque
A4C (A4B) (B4C)
para cada terna de conjuntos (A, B, C), y el cardinal de una union es menor o igual que la
suma de los cardinales de cada uno de los terminos involucrados. Solo nos resta considerar los
Ejemplos 10 y 11. Para verificar que la propiedad triangular vale en el ante
ultimo es suficiente
aplicar la desigualdad de Minkowski
v v v
u n u n u n
uX uX uX
(1) tp p
|xi + yi | p
t p
|xi | + t
p
|yi |p ,
i=1 i=1 i=1
la cual es v alida para todo x1 , . . . , xn , y1 , . . . , yn R, con xi e yi sustitudos por xi yi e

yi zi , respectivamente. Cuando p = 1, la desigualdad (1) es una consecuencia inmediata de
que
|x + y| |x| + |y| para todo x, y R,
y cuando p > 1 se sigue de la desigualdad de Holder: si p, q > 1 y 1/p + 1/q = 1, entonces
v v
X n u n
X
u n
u uX
(2) |xi yi | p
t p
|xi | tq
|yi |q .
i=1 i=1 i=1
3
En efecto, aplicando (2) a (|x1 |, . . . , |xn |) y (z1 , . . . , zn ), y a (|y1 |, . . . , |yn |) y (z1 , . . . , zn ), donde
zi = (|xi | + |yi |)p1 , y teniendo en cuenta que (p 1)q = p, obtenemos
n
X n
X
(|xi | + |yi |)p = (|xi | + |yi |)(|xi | + |yi |)p1
i=1 i=1
Xn n
X
= |xi |(|xi | + |yi |)p1 + |yi |(|xi | + |yi |)p1
i=1 i=1
v v v v
u n u n u n u n
uX uX uX uX
t
p
|xi |p t (|xi | + |yi |)p + t
q p
|yi |p t
q
(|xi | + |yi |)p
i=1 i=1 i=1 i=1
v v v
u n u n u n
uX uX uX
p
= t |xi |p + t
p
|yi |p t
q
(|xi | + |yi |)p .
i=1 i=1 i=1
p Pn p
i=1 (|xi | + |yi |) (si alg
q
Dividiendo ahora ambos miembros por un xi o alg
un yj en no nulo,
es evidente que (1) vale si todos son cero), obtenemos la desigualdad
v v v
u n u n u n
uX uX uX
t (|xi | + |yi |)p t
p p
|xi |p + tp
|yi |p ,
i=1 i=1 i=1
de la cual la de Minkowski es una consecuencia inmediata.

Probemos ahora la desigualdad de Holder. Es claro que esta vale cuando p ni=1 |xi |p = 0
pP
p Pn q
o q i=1 |yi | = 0, y que si es cierta para (x1 , . . . , xn ) e (y1 , . . . , yn ), entonces tambi
en lo es
para (x1 , . . . , xn ) y (y1 , . . . , yn ), cualesquiera sean y en R. Por lo tanto sera suficiente
probar que
v v
u n u n n
uX uX X
(3) tp p
|xi | = tp q
|yi | = 1 = |xi yi | 1.
i=1 i=1 i=1
ap bq
Pero esto se sigue de que si p, q > 1 satisfacen 1/p + 1/q = 1, entonces ab + para
p q
todo a, b 0. En efecto, usando esta desigualdad obtenemos que
n n n
X 1X p 1X
|xi ||yi | |xi | + |yi |q ,
p q
i=1 i=1 i=1
Pn n
lo cual, combinado con el hecho de que i=1 |xi |p = i=1 |yi |q = 1 y 1/p + 1/q = 1 da (3).
P
Para terminar debemos ver que
ap bq
(4) ab + para todo a, b 0.
p q
Para ello consideramos el plano (, ). Como p > 1, la funcion = p1 , definida para los
n
umeros reales mayores o iguales que cero, es estrictamente creciente. Dado que, por hipotesis,
(p 1)(q 1) = 1, su inversa es = q1 . Es claro que ab es menor que la suma de las areas
A1 , de la superficie delimitada por el eje , la recta = a y el grafico de = p1 y A2 , de
4
Espacios metricos 1 Definicion y ejemplos
la superficie delimitada por el eje , la recta = b y la grafica de = q1 . Para terminar la

demostraci on es suficiente observar que
Z a Z b
p1 ap bq
A1 = d = y A2 = q1 d = .
0 p 0 q
Veamos ahora que en el u
ltimo ejemplo tambien se satisface la desigualdad triangular. Cuando
p = 1 esto es una consecuencia f acil de la desigualdad de Minkowski
Z b Z b Z b
|f (t) + g(t)| dt |f (t)| dt + |g(t)| dt;
a a a
y para comprobarlo cuando p > 1 notemos que de la desigualdad (4) se obtiene facilmente la
desigualdad integral de Holder
s s
Z b Z b Z b
p p g
|f (t)g(t)| dt |f (t)| dt |g(t)|q dt,
a a a
p
donde q = p1 , de la que a su vez se sigue la desigualdad integral de Minkowski
s s s
Z b Z b Z b
p p p p p
|f (t) + g(t)| dt |f (t)| dt + |g(t)|p dt,
a a a
la cual claramente implica que se satisface la desigualdad triangular.
Ejercicio 1.3. Pruebe que

n
X n
X
|xi yi | |xi | m
ax |yj | para todo x1 , . . . , xn , y1 , . . . , yn R.
1jn
i=1 i=1
Este resultado puede ser considerado como una versi
on de la desigualdad de Holder para p = 1
(con q = ). Enuncie y pruebe una versi on integral.
v v v
u u u
uX uX uX
(5) tp
|xi + yi |p p
t |xi |p + t
p
|yi |p ,
i=1 i=1 i=1
para cada par (xn )nN e (yn )nN de sucesiones de n

umeros reales, donde, por supuesto, el
lado derecho es + si una de las sumas no converge.
Indicacio n: use la desigualdad (1).
n 1.5. Si f : R0 R0 es una funci
Proposicio on creciente que satisface
f 1 (0) = {0} y f (x + y) f (x) + f (y) para todo x, y R0 ,
entonces f d es una funci on distancia d : X X R0 .
on distancia sobre X para cada funci
n. Como f es positiva y f 1 (0) = {0} es verdad que f d es positiva y que
Demostracio
f d(x, y) = 0 si y solo si x = y.
Ademas es claro que
f d(x, y) = f d(y, x) para todo x, y X,
5
y las desigualdades
f d(x, z) f (d(x, y) + d(y, z)) f d(x, y) + f d(y, z),
ltima hipotesis, muestran que f d tiene la
las cuales valen porque f es creciente y por la u
propiedad triangular.
x
Ejercicio 1.6. Pruebe que las funciones f (x) := mn(1, x) y f (x) := 1+x satisfacen las
hip
otesis de la proposici
on anterior.
1.1. Producto de numerables espacios m
etricos Dada una familia numerable
(X1 , d1 ), (X2 , d2 ), (X3 , d3 ), . . . )
de espacios metricos, hay varias formas de definir una metrica sobre el producto
X := X1 X2 X3 ,
de los conjuntos subyacentes, que tenga alguna relacion con las distancias dadas en los espacios
coordenados. Para empezar, en general no podemos tomar
d(x, y) := sup d1 (x1 , y1 ), d2 (x2 , y2 ), d3 (x3 , y3 ), . . . , dj (xj , yj ), . . .

iN
para todo x := (x1 , x2 , x3 . . . ) e y := (y1 , y2 , y3 . . . ) en X, porque el conjunto

{dj (xj , yj ) : j N}
puede no ser acotado. Una alternativa mejor es definir
1 2 3 j
d(x, y) := sup d (x1 , y1 ), d (x2 , y2 ), d (x3 , y3 ), . . . , d (xj , yj ), . . . ,
iN
j
donde d (xj , yj ) := mn(1, dj (xj , yj )). De hecho, esta formula define una metrica, como el
lector puede comprobar como ejercicio. Sin embargo, por razones que resultaran claras mas
adelante, no es esta la metrica que mas nos interesa. En su lugar vamos a usar la siguiente
funcion:
1 2 3 j
!
d (x 1 , y1 ) d (x 2 , y2 ) d (x 3 , y3 ) d (x j , yj )
de (x, y) := sup , , ,..., ,... .
jN 2 22 23 2j
on de : X X R0 es una metrica.
n 1.7. La funci
Proposicio
Demostracio n. De la definici on se sigue inmediatamente que de (x, y) = 0 si y solo

si x = y, y que de (x, y) = de (y, x) para todo x, y X. Para concluir la prueba debemos
mostrar que
de (x, z) de (x, y) + de (y, z) para todo x, y, z X.
Para ello basta ver que, como las dj s son funciones distancia,
j j j
d (xj , zj ) d (xj , yj ) d (yj , zj )
j
+ de (x, y) + de (y, z)
2 2j 2j
para cada j N, donde xj , yj y zj denotan a las j-esimas coordenadas de x, y y z, respecti-
vamente.
6
Espacios metricos 2 Espacios pseudometricos
Observacio n 1.8. Consideremos elementos x := (x1 , x2 , x3 , . . . ) e y := (y1 , y2 , y3 , . . . )

1
de X. Si 2n < y xj = yj para j < n, entonces de (x, y) < . Dicho de otro modo, si una
cantidad suficiente de las primeras coordenadas de dos puntos de X son iguales, entonces
estos dos puntos estaran arbitrariamente cerca.
Otra funci on frecuentemente usada para proveer de una estructura de espacio metrico a
on de1 : X X R0 , definida por
X es la funci
j
X d (xj , yj )
de1 (x, y) := .
2j
j=1
on de1 : X X R0 es una metrica.

n 1.9. La funci
Proposicio
Demostracio n. De la definici
on se sigue inmediatamente que de1 (x, y) = 0 si y solo si
x = y, y que d (x, y) = d (y, x) para todo x, y X. Ademas, las desigualdades
e e
j
X d (xj , zj )
de1 (x, z) =
2j
j=1
j j
X d (xj , yj ) + d (yj , zj )

2j
j=1
j j
X d (xj , yj ) X d (yj , zj )
= +
2j 2j
j=1 j=1
= de1 (x, y) + de1 (y, z),
validas para todo x, y, z X (donde xj , yj y zj denotan a las j-esimas coordenadas de x, y

y z, respectivamente) prueban que de1 tiene la propiedad triangular.
Veremos en el Captulo 10, que si bien las metricas de y de1 son distintas, para muchos
propositos son equivalentes. La elecci
on de una u otra es una cuestion de gusto. Como dijimos
arriba, nosotros trabajaremos con la distancia de .
2. Espacios pseudom
etricos
Decimos que un par (X, d), formado por un conjunto X y una funcion
d : X X R0 ,
llamada funci
on pseudodistancia o pseudometrica de X, es un espacio pseudometrico si d
satisface:
1. d(x, y) = 0 si x = y,
2. d(x, y) = d(y, x) para todo x, y X (simetra),
3. d(x, y) d(x, z) + d(z, y) para todo x, y, z X (desigualdad triangular).
7
2 Espacios pseudometricos Espacios metricos
Ejercicio 1.10. Pruebe que si (X, d) es un espacio pseudometrico, entonces la relaci

on
X
en X definida por x y si d(x, y) = 0 es de equivalencia. Denotemos con al conjunto
cociente y con p : X X
a la proyecci
on can
onica. Pruebe que existe una u
nica funci
on
X X
d: R0

tal que d = d (p p), y que esta funci
on es una distancia.
on consideramos a Rn0 provisto de la suma coordenada a coor-
En la siguiente proposici
denada y la relaci on de orden parcial definida por x y si y solo si xi yi para todo
i {1, . . . , n}.
Proposicio n 1.11. Si di : X X R0 (i = 1, . . . , n) es una familia finita de pseu-
dometricas y
: Rn0 R0
es una funcion que satisface:
- (x) = 0 si y s
olo si x = 0,
- Si x y, entonces (x) (y) ( es creciente),
- (x + y) (x) + (y) (desigualdad triangular ),
on d : X X R0 , definida por
entonces la funci

d(x, y) := d1 (x, y), . . . , dn (x, y) ,
olo si para todo x, y X, con x 6= y, existe
es una pseudometrica, que es una metrica si y s
i {1, . . . , n} tal que di (x, y) > 0.
Demostracio n. Es claro que d(x, x) = 0 para todo x X y que d es simetrica. Para
ver que vale la desigualdad triangular es suficiente notar que

d(x, z) = d1 (x, z), . . . , dn (x, z)

d1 (x, y) + d1 (y, z), . . . , dn (x, y) + dn (y, z)

d1 (x, y), . . . , dn (x, y) + d1 (y, z), . . . , dn (y, z)
= d(x, y) + d(y, z)
para todo x, y, z X. Para terminar, es obvio que la u
ltima afirmacion es verdadera.
Ejemplos 1.12. Las funciones
p : Rn0 R0 (1 p ),
definidas por (
max(x1 , . . . , xn ) si p = ,
p (x1 , . . . , xn ) := p p
p
x1 + + xpn si p < ,
satisfacen las condiciones pedidas a en la proposici on anterior. En efecto, es claro que
p (x) = 0 si y s
olo si x = 0 y que la fuci on es creciente y tiene la propiedad triangular.
Las funciones p (1 p < ) son crecientes porque las funciones
R0 R0 R0 R0
y
x xp x p
x
8
lo son, y la desigualdad de Minkowski (1) muestra que tienen la propiedad triangular. Consi-
deramos ahora dos situaciones distintas. Supongamos primero que d(1) , . . . , d(n) son metricas
definidas sobre un conjunto X, entonces X es un espacio metrico va la funci on distancia
dp : X X R0 (1 p ),
definida por: (
ax d(1) (x, y), . . . , d(n) (x, y)

m si p = ,
dp (x, y) := pp
d(1) (x, y)p + d(n) (x, y)p si p < .
Supongamos ahora que tenemos espacios metricos (X1 , dX1 ), . . . , (Xn , dXn ). Entonces el pro-
ducto X := X1 Xn es un espacio metrico via la funci
on distancia
dp : X X R0 (1 p )
definida por:
(
ax dX1 (x1 , y1 ), . . . , dXn (xn , yn )

m si p = ,
dp (x, y) := p
p
dX1 (x1 , y1 )p + dXn (xn , yn )p si p < ,
donde x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ). Este resultado no se obtiene mediante una aplica-
ci
on tan directa de la Proposici on 1.11, pero casi. Es suficiente tomar X := X1 Xn ,
di := dXi (pi pi ), donde pi : X Xi es la proyecci on can
onica y := p . Como diji-
mos antes para el producto de dos, salvo indicaci on en contrario, cuando trabajemos con un
producto finito de espacios metricos lo consideraremos proviso de la distancia d .
on f : X R0 , la funci
Ejercicio 1.13. Pruebe que para cada aplicaci on
df : X X R0
definida por (
0 si x = y,
df (x, y) :=
f (x) + f (y) si x 6= y,
olo si f 1 (0) tiene a lo sumo un elemento.
Ejercicio 1.14. Pruebe que para cada subconjunto A de R la funci
on
dA : R R R0 ,
definida por:

0 si x = y,

|x y| + 2 si x 6= y y {x, y} A,
dA (x, y) :=

|x y| + 1 si x 6= y, {x, y} * A y {x, y} * X \ A,

|x y| si x 6= y y {x, y} X \ A,

es una metrica sobre R. Pruebe que tambien lo es la funci

on
: R R R0 ,
definida por:
(x, y) = |x| + |y| + |x y|.
En el siguiente ejercicio consideramos a RN
0 provisto de la suma coordenada a coordenada
on de orden parcial definida por x y si y solo si xi yi para todo i N.
y la relaci
9
2 Espacios pseudometricos Espacios metricos
Ejercicio 1.15. Pruebe que si

di : X X R0 (i N)
es una familia numerable de pseudometricas y
: RN
0 R0
es una funci
on que satisface:
- (x) = 0 si y s
olo si x = 0,
entonces la funci
on
d : X X R0 ,
definida por

d(x, y) := d1 (x, y), . . . , dn (x, y), . . . ,
olo si para todo x, y X, con x 6= y,
existe i N tal que di (x, y) > 0.
Ejercicio 1.16. Consideremos una sucesi
on a := (an )nN de n
umeros reales positivos.
1. Pruebe que si a es acotada, entonces la funci
on
a
: RN
0 R0 ,
definida por
a
(x1 , . . . , xn , . . . ) := sup (a1 x1 , . . . , an xn , . . . ),
nN
donde xn := mn(1, xn ), satisface las condiciones requeridas en el ejercicio anterior.

2. Pruebe que si
P
i=1 ai < , entonces para cada p [1, ) la funci on
v
u
ai xpi ,
a
uX
p
p (x1 , . . . , xn , . . . ) := t
i=1
tambien satisface las condiciones requeridas en el ejercicio anterior.

n: para probar de que pa tiene la propiedad triangular use la desigualdad (5).
Indicacio
Ejercicio 1.17. Consideremos una sucesi on a := (an )nN de n
umeros reales positivos, y
(n)
una familia numerable (d )nN , de metricas definidas sobre un conjunto X. Use los Ejerci-
cios 1.15 y 1.16, para probar que:
1. Si a es acotada, entonces la funci
on
da : X X R0 ,
e
definida por
(1) (n)
da (x, y) := sup a1 d (x, y), . . . , an d (x, y), . . . ,

e
(n)
donde d (x, y) := mn 1, d(n) (x, y) , es una metrica.

10
P
2. Si i=1 ai < , entonces para cada p [1, ) la funci
on
dap : X X R0 ,
e
definida por v
u
a
uX (i)
p
dp (x, y) := t
e ai d (x, y)p ,
i=1
tambien es una metrica.
Ejercicio 1.18. Consideremos una sucesion a := (an )nN de n umeros reales positivos,
y una familia numerable (Xn , dXn ) (n N) de espacios metricos. Use los Ejercicios 1.15
y 1.16, para probar que:
1. Si a es acotada, entonces X := X1 X2 X3 es un espacio metrico via la
funci
on distancia
dea : X X R0 ,
definida por
X1 Xn
dea (x, y) := sup a1 d (x1 , y1 ), . . . , an d (xn , yn ), . . . ,

Xn
donde x := (x1 , x2 , x3 . . . ), x := (y1 , y2 , y3 , . . . ), y d (x, y) := mn 1, dXn (x, y) .

2. Si
P
i=1 ai < , entonces X := X1 X2 X3 es un espacio m etrico via la
funci
on distancia
deap : X X R0 ,
definida por v
u
a
uX X
dp (x, y) := t
e p
ai d i (xi , yi )p ,
i=1
para cada p [1, ).
Observacio n 1.19. Notese que las distancias de y dep , introducidas en la Subsecci
on 1.1,
a a n
son las metricas d y dp , con a := (1/2 )nN .
e e
En el resto de estas notas, salvo cuando se indique otra cosa, las letras may
usculas X, Y
y Z designar
an a espacios metricos.
11
Captulo 2
Bolas abiertas, bolas cerradas y esferas
Las bolas abiertas y las bolas cerradas con centro en un punto x de X y radio r > 0, son
los conjuntos
Br (x) := {y X : d(y, x) < r} y Br (x) := {y X : d(y, x) r},
respectivamente. La esfera con centro x y radio r es el conjunto
Sr (x) := {y X : d(y, x) = r}.
Notemos que Br (x)Sr (x) = Br (x) y Br (x)Sr (x) = . Cuando sea necesario ser mas precisos
X
escribiremos BX X
r (x), Br (x) y Sr (x) en lugar de Br (x), Br (x) y Sr (x), respectivamente.
La forma de las bolas abiertas, las bolas cerradas y las esferas de un espacio metrico
depende tanto del conjunto subyacente como de la funcion distancia. Esto se ve claramente
al considerar algunos de los siguientes ejemplos (no damos ninguno de esferas porque estos se
obtienen inmediatamente calculando Br (x) \ Br (x)):
Ejemplo 2.1. Examinemos las funciones distancia d , d2 y d1 en R2 .
- La bola abierta Brd (x, y) es el cuadrado abierto (x r, x + r) (y r, y + r) y la bola
d
cerrada B r (x, y) es el cuadrado [x r, x + r] [y r, y + r].
d
- La bola abierta Brd2 (x, y) es el crculo abierto con centro (x, y) y radio r, y B r 2 (x, y)
es el crculo con centro (x, y) y radio r.
- La bola abierta Brd1 (x, y) es el rombo abierto con vertices (xr, y), (x+r, y), (x, y r)
d
y (x, y + r) y B r 1 (x, y) es el rombo con los mismos vertices.
Ejemplo 2.2. En un espacio metrico discreto X,
( (
(x, y) si r 1, (x, y) si r < 1,
Br (x, y) = y B r (x, y) =
X si r > 1 X si r 1.
Ejemplo 2.3. En C[a, b] la bola abierta Brd (f ) es el conjunto de las funciones g C[a, b]
d
tales que supx[a,b] |f (x) g(x)| < r y la bola cerrada B r (f ) es el conjunto de las funciones
13
g C[a, b] tales que supx[a,b] |f (x) g(x)| r. En cambio, Brd1 (f ) es el conjunto de las
funciones g C[a, b] tales que el area de la superficie determinada por las rectas verticales
d
que pasan por a y b, el eje de absisas y el gr afico de |f g| es menor que r y B r 1 (f ) es el
conjunto de las funciones g C[a, b] tales que el area de la misma superficie es menor o igual
que r.
on de la distancia d , en un producto X Y de
Ejemplo 2.4. Por la misma definici
espacios metricos las igualdades
XY X Y
BrXY (x, y) = BX Y
r (x) Br (y) y Br (x, y) = Br (x) Br (y)
valen para cada punto (x, y) y cada r > 0. Dicho de otro modo, cada bola abierta (cerrada) de
X Y es producto de una bola abierta (cerrada) de radio r de X con una de Y . Por inducci on
resulta entonces que
X X Xn
BX X1 Xn
r (x1 , . . . , xn ) = Br (x1 ) Br (xn ) y Br (x1 , . . . , xn ) = Br 1 (x1 ) Br (xn )
para cada producto X := X1 Xn , cada punto (x1 , . . . , xn ) de X y cada r > 0.
Ejemplo 2.5. Analicemos la forma de las bolas abiertas en el producto
(X, de ) := (X1 X2 X3 , de )
de una familia numerable (Xi , di ) (i N) de espacios metricos. Por la misma definici on de
d (ver la Subsecci
e on 1.1), es claro que para cada punto x := (x1 , x2 , x3 , . . . ) de X y cada
r > 0, un punto y := (y1 , y2 , y3 , . . . ) de X est
a en Br (x) si y s
olo si
1 2 3 n
!
d (x1 , y1 ) d (x2 , y2 ) d (x3 , y3 ) d (xn , yn )
sup , , ,..., , . . . < r,
jN 2 22 23 2n
n
donde d := mn(1, dn ). Pero podemos ser m as precisos. Dado que ( 21n )nN es una sucesi
on
decreciente que tiende a 0, existe n0 N tal que 2n10 r y
1 1 1
< < < < r.
2n0 +3 2n0 +2 2n0 +1
Escribamos r0 := 1
2n0 +1
. Como las funciones dj toman sus valores en [0, 1], se sigue de esto
que Im dn
2n [0, r0 ] para todo n > n0 . Como adem
as
dj
(xj , yj ) < r si y s
olo si dj (xj , yj ) < 2j r
2j
y dj (xj , yj ) = dj (xj , yj ) si dj (xj , yj ) < 1,
Xn
Br (x) = BX X2
2r (x1 ) B22 r (x2 ) B2n0 r (xn0 ) Xn0 +1 Xn0 +2
1 0
Ejercicio 2.6. Denotemos con el smbolo RA , al conjunto R de los n umeros reales pro-
visto de la distancia dA introducida en el Ejercicio 1.14, donde A es un subconjunto de R.
Pruebe que si x / A, entonces
(
(x r, x + r) (X \ A) si r 1,
BrRA (x) =
(x r, x + r) (X \ A) (x r + 1, x + r 1) A si r > 1,
14
y que si x A, entonces

{x}
si r 1,
RA
Br (x) = (x r + 1, x + r 1) (X \ A) si 1 < r 2,

(x r + 1, x + r 1) (X \ A) (x r + 2, x + r 2) A si r > 2.

Ejercicio 2.7. En este ejercicio consideramos a R provisto de la distancia d dada por

d(x, y) = |x| + |y| + |x y|
(la cual tambien fue introducida en el Ejercicio 1.14). Pruebe que si x > 0, entonces
(
{x} si 2r x,
Br (x) =
(x 2r ) si 2r > x,
que si x < 0, entonces (
r
{x} si 2 x,
Br (x) =
(x 2r ) si r
2 > x,
y que Br (0) = (r, r).
Y X
Observacio n 2.8. BYr (y) = BX
r (y) Y y Br (y) = Br (y) Y para todo subespacio Y de
X y cada y Y .
n 2.9. Br (x) Bs (y) = siempre que r + s d(x, y).
Proposicio
n. Si existiera z Br (x) Bs (y), entonces sera
Demostracio
d(x, y) d(x, z) + d(z, y) < r + s d(x, y),
absurdo.
Un entorno de un punto x X es cualquier subconjunto V de X que incluye una bola
abierta con centro en x.
15
Captulo 3
Distancia entre conjuntos y di

ametro
1. Distancia entre conjuntos

La distancia de un punto x de X a un subconjunto A de X es, por definicion, el elemento
d(x, A) := nf d(x, y)
yA
de R0 {}. M as generalmente, la distancia d(A, B) entre dos subconjuntos A y B de X,

esta definida por:
d(A, B) := nf d(a, b) = nf d(a, B) = nf d(A, b).
aA,bB aA bB
Si bien un elemento no es un conjunto, consideramos a esta definicion mas general que la

de distancia de un punto a un subconjunto de X, porque d(x, A) = d({x}, A) para cada
x X y cada A X. A pesar de su nombre, de su importancia, y de que d(A, B) 0 y
d(A, B) = d(B, A), para todo A, B X, esta distancia no define una metrica en ning un
subconjunto interesante del conjunto de partes de X. Mas adelante veremos como definir una
metrica sobre una colecci
on importante de subconjuntos de X.
Ejemplo 3.1. En R, provisto de la metrica usual,

d 0, [1, 2] = d 0, (1, 2] = 1, d((0, 1], (1, 2)) = d Q, R \ Q = 0 y d 2, (0, 1] = 1.
Ejemplo 3.2. En (R2 , d2 ),

d R {0}, {(x, y) R2 : y = x2 + 1} = R {0}, {(x, y) R2 : y > x2 + 1} = 1.

Ejemplo 3.3. En un espacio metrico discreto X,

(
0 if A B =
6 ,
d(A, B) =
1 if A B = ,
para cada par de subconjuntos A y B de X.
17
1 Distancia entre conjuntos Distancia entre conjuntos y diametro
Decimos que la distancia de un punto x a un conjunto A se realiza si existe a A tal que

d(x, a) = d(x, A). Como el lector puede verificar sin dificultad, en algunos de los ejemplos que
vimos recien la distancia se realiza, y en otros, no. Se comprueba facilmente considerando una
circunferencia en R2 y el centro de esta, que cuando la distancia se realiza, el punto a puede
no ser u
nico.
Para cada subconjunto A de X y cada 0, escribimos A := {x : d(x, A) < } (puede
ser = ).
n 3.4. Para cada espacio metrico X, cada x X, cada par de subconjuntos
Proposicio
A y B de X y cada familia (Bj )jJ de subconjuntos de X las siguientes afirmaciones son
verdaderas.
1. d(x, ) = y d(x, A) < si A es no vaco.
2. d(x, {x}) = 0.
3. Si A B, entonces d(x, B) d(x, A).
4. Para todo , con 0 , d(x, A) d(x, A ) + .
S
5. d x, jJ Bj = nf jJ d(x, Bj ).
T
6. d x, jJ Bj supjJ d(x, Bj ).
Demostracio n. 1. Porque d(x, ) = nf = .
2. Esto es obvio.
3. Esto tambien es obvio.
4. Para cada a A , existe a0 A tal que d(a, a0 ) < ). Por lo tanto
d(x, A) d(x, a0 ) d(x, a) + .
Como a es arbitrario, esto implica que lo afirmado en el item 3 es verdad.
5. Por definici
on y por propiedades basicas del nfimo,
[
d x, Bj = Snf d(x, b) = nf nf d(x, b) = nf d(x, Bj ),
b jJ Bj jJ bBj jJ
jJ
como afirmamos.
6. Porque d(x, A) d(x, B) si A B.
Los items del siguiente ejercicio extienden los resultados de la proposicion anterior.
Ejercicio 3.5. Considere un espacio metrico X, subconjuntos A, B, C y D de X, y
familias (Ai )iI y (Bj )jJ de subconjuntos de X. Pruebe que las siguientes afirmaciones son
verdaderas:
1. d(A, B) < si y s olo si A y B son no vacos.
2. d(A, B) = 0 si A B 6= .
3. Si A B y C D, entonces d(A, C) d(B, D).
4. Para todo , 0 , con 0 , 0 , d(A, B) d(A , B0 ) + + 0 .
S S
5. d iI Ai , jJ Bj = nf iI,jJ d(Ai , Bj ).
T
6. d A, jJ Bj supjJ d(A, Bj ).
Proposicio n 3.6. |d(x, A) d(y, A)| d(x, y), para todo x, y X y todo subconjunto no
vaco A de X.
18
Distancia entre conjuntos y di
ametro 2 Diametro de un conjunto
n. Como d(x, z) d(x, y) + d(y, z) para todo z A,

Demostracio
d(x, A) d(x, y) + d(y, z) para todo z A.
Por lo tanto d(x, A) d(x, y) + d(y, A). Por simetra, d(y, A) d(x, y) + d(x, A).
2. Di
ametro de un conjunto
ametro de un conjunto A X es el elemento
El di
diam A := sup d(a, b)
a,bA
de R . Un conjunto es acotado si su diametro no es infinito.
Ejemplo 3.7. El conjunto vaco y las bolas son conjuntos acotados porque
am = sup =
di y diam Br (x) diam Br (x) 2r.
Ejemplo 3.8. Un subconjunto A de R es acotado si y s olo si nf A y sup A son n
umeros
reales. Esto es una consecuencia inmediata de la igualdad
am A = sup A nf A,
di
cuya prueba dejamos como ejercicio para el lector.
Ejercicio 3.9. De un ejemplo de un espacio metrico X, donde diam Br (x) < 2r para
un x X y alg
alg un r > 0.
Ejercicio 3.10. Pruebe que las siguientes afirmaciones son verdaderas para cada par de
subconjunos A y B de X:
1. Si A B, entonces diam A diam B.
2. diam A 2 + di
am A para todo 0.
3. diam(A B) diam A + di
am B + d(A, B).
El siguiente resultado es un reemplazo de la propiedad triangular para distancia entre
conjuntos
Proposicio n 3.11. Para toda terna A, B, C de subconjuntos no vacos de un espacio
metrico X es cierto que
d(A, B) d(A, C) + d(C, B) + diam C.
n. La desigualdad
Demostracio
d(A, B) d(a, b) d(a, c) + d(c0 , d) + d(c, c0 ) d(a, c) + d(c0 , d) + diam C
vale para cada a A, b B y c, c0 C. Tomando nfimos en d(a, c) y en d(c0 , d), obtenemos
la desigualdad deseada.
19
Captulo 4
Espacios normados
En este captulo k = R o C. Dado un k-espacio vectorial E, los elementos de k son

llamados escalares y los de E vectores. Usaremos letras griegas para designar a los escalares
y caracteres latinos para designar a los vectores. Los smbolos
+ , , x + y, y x
denotan a la suma y al producto de dos escalares y , a la suma de dos vectores x e y, y a
la accion de un escalar sobre un vector x, respectivamente.
1. Definici
on y primeros ejemplos
Una norma en un k-espacio vectorial E es una funcion k k : E R0 que satisface:
1. kxk = 0 si y s
olo si x = 0.
2. k xk = ||kxk (homogeneidad).
3. kx + yk kxk + kyk (propiedad triangular).
Un espacio normado es un k-espacio vectorial E, provisto de una norma.
Proposicio n 4.1. Si k k es una norma en E, entonces la funci
on d : E E R0 ,
definida por d(x, y) = kx yk, es una metrica que satisface:
1. d(x + z, y + z) = d(x, y) (Invariancia por traslaciones)
2. d( x, y) = ||d(x, y) (Homogeneidad).
n. En efecto,
Demostracio
d(x, y) = 0 kx yk = 0 x = y,
d(x, y) = kx yk = ky xk = d(y, x),
d(x, z) = kx zk kx yk + ky zk = d(x, y) + d(y, z),
d(x + z, y + z) = k(x + z) (y + z)k = kx yk = d(x, y)
21
2 La bola unitaria Espacios normados
y
d( x, y) = k x yk = ||kx yk = ||d(x, y),
como queramos.
Decimos que una distancia d : E E en un k-espacio vectorial E proviene de una norma
si existe una norma k k en E, tal que d(x, y) = kx yk, para todo x, y E. La proposicion
anterior muestra que para que esto suceda la distancia debe ser homogenea e invariante por
traslaciones. En el ejercicio que sigue se pide probar que estas condiciones son suficientes, y
que la norma es unica.
Ejercicio 4.2. Pruebe que si d : EE R0 es una distancia invariante por traslaciones
y homogenea, entonces d proviene de una norma, y esta es u
nica.
Ejemplos 4.3. En el segundo, tercero, octavo y noveno ejemplo de espacios metricos
dados arriba las distancias provienen de normas. Se trata de la norma k k en Rn , la norma
k k en C[a, b], la norma k kp en Rn y la norma k kp en C[a, b], respectivamente.
Dados espacios normados E y F , el producto E F es un espacio normado via la norma
k k , definida por k(x, y)k = m ax(kxk, kyk). Notemos que la metrica que induce esta norma
sobre E F es la definida en el item 6 del Ejemplo 1.2. Salvo indicacion en contrario, siempre
consideraremos al producto E F , de espacios normados E y F , dotado con la norma k k .
Dados subconjuntos A y B de un k-espacio normado E, un escalar y un subconjunto
de k escribimos
A+B := {a+b : a A y b B}, A := { a : a A} y A := {a : y a A}.
\ [
Br (0) = Br (0) y Br (0) = Br (0)
(1,) (0,1)
para todo r R>0 .
2. La bola unitaria
En un espacio metrico arbitrario es imposible recuperar la funcion distancia conociendo
una bola. En un espacio normado arbitrario E la situacion es radicalmente mejor. La norma
k k (y por lo tanto la metrica) y la bola cerrada unitaria B1 (0) se determinan mutuamente
por las formulas
(6) B1 (0) = {x E : kxk 1} y kxk = nf{ R0 : x B1 (0)}.1
Entonces tiene sentido preguntarse que condiciones debe satisfacer un subconjunto B de un
espacio vectorial E para ser la bola cerrada unitaria de una norma. El resultado que sigue
responde esa cuesti
on.
Teorema 4.5. Un subconjunto B de un espacio vectorial E es la bola cerrada unitaria de
una norma si y s
olo si
1Tambi
en la bola abierta unitaria B1 (0) y la norma se determinan mutuamente. En este caso las f
ormulas
son
B1 (0) = {x E : kxk < 1} y kxk = nf{ R0 : x B1 (0)}.
22
Espacios normados 2 La bola unitaria
1. R0 B = E (B es absorbente),
2. x + (1 ) y B para todo x, y B y [0, 1] (B es convexo),
3. B B para todo escalar con || 1,
4. Si x B para todo [0, 1), entonces x B,
T
5. R>0 B = 0.
Demostracio n. Supongamos que k k es una norma y veamos que B := B1 (0) satisface

las condiciones requeridas en el enunciado.
1. Para probar esto basta observar que x kxk B para todo x E.
2. B es convexo porque si kxk 1 y kyk 1, entonces
k x + (1 ) yk kxk + (1 )kyk 1
para todo [0, 1].
3. Porque k xk = ||k xk || 1 para todo x B y todo con || 1.
1
4. Si kxk > 1 y kxk < < 1, entonces k xk > 1.
T
5. x R>0 B kxk < para todo R>0 x = 0.
Supongamos ahora que B es un subconjunto de E que satisface las condiciones requeridas
en los items 15, y definamos kxk por la segunda formula en (6), para todo x E. Notemos
que gracias al item 1, la funci
on
k k : E R0
esta bien definida. Debemos probar que es una norma. Por el item 3 sabemos que
{0} = 0 B B.
Pero entonces 0 B para todo [0, 1]. As k0k = 0. Por otra parte, nuevamente por el
item 3, si || |0 | y 0 6= 0, entonces

(7) B = 0 0 B = 0 B 0 B.
0
Por lo tanto si kxk = 0, entonces \
x B,
R>0
lo cual, por el item 5, implica que x = 0. Esto concluye la prueba de que
kxk = 0 si y solo si x = 0.
Para ver que k k es homogenea basta notar que por (7),
x 0 B si y solo si x ||0 B
para todo x E, k \ {0} y 0 R>0 . Resta probar k k satisface la propiedad triangular.
Para ello supongamos que x B e y B, con , R>0 y escribamos x = x e
y = y. Entonces debido el item 2

x+y =x + y = ( + ) x+ y ( + ) B,
+ +
por lo que
kx + yk kxk + kyk,
como queramos.
23
3 Pseudonormas Espacios normados
Ejercicio 4.6. Pruebe que el resultado establecido en el Teorema 4.5 sigue valiendo si
los items 1,3 y 5 se reemplazan por los siguientes:
1. N B = E,
3. B B para todo escalar con || = 1,
5. nN n1 B = 0.
T
Ejercicio 4.7. Pruebe que un subconjunto B de un espacio vectorial E es la bola abierta

unitaria de una norma si y s
olo si
1. R0 B = E (B es absorbente),
2. x + (1 ) y B para todo x, y B y [0, 1] (B es convexo),
3. B B para todo escalar con || 1,
4. Para cada x B existe (1, ) tal que x B,
T
5. R>0 B = 0.
n 4.8. En un espacio normado no nulo E,

Proposicio
di
am Br (x) = diam Br (x) = 2r
para todo x E y todo r > 0.
Demostracio n. Sabemos que diam Br (x) diam Br (x) 2r. Para probar que vale la
desigualdad recproca es suficiente notar que fijado y E \ {0},

y y y
x (r ) Br (x) y d x + (r ) , x (r ) = 2(r )
kyk kyk kyk
para cada (0, r].
3. Pseudonormas
Una pseudonorma en un k-espacio vectorial E es una funcion k k : E R0 que satisface:
1. kxk = 0 si x = 0.
2. k xk = ||kxk (homogeneidad).
3. kx + yk kxk + kyk (propiedad triangular).
Un espacio pseudonormado es un k-espacio vectorial E, provisto de una pseudonorma.
Ejercicio 4.9. Pruebe que si k k es una pseudonorma en E, entonces la funci
on
d : E E R0 ,
definida por d(x, y) = kx yk, es una pseudometrica que satisface:
Pruebe que, recprocamente, si d es una distancia invariante por traslaciones y homogenea en
E, entonces existe una u nica pseudonorma k k en E tal que
d(x, y) = kx yk para todo x, y.
En el siguiente ejercicio se supone que el lector conoce la construccion del espacio cociente
de un espacio vectorial por un subespacio (Vease el Apendice A).
24
Espacios normados 3 Pseudonormas
Ejercicio 4.10. Pruebe que si (E, k k) es un espacio pseudonormado, entonces el conjunto

S := {x E : kxk = 0}
es un subespacio vectorial de E. Denotemos con E/S al espacio cociente y con p : E E/S
a la proyecci
on can
onica. Pruebe que existe una u
nica funci
on
k k : E/S R0
tal que k k p = k k, y que k k es una norma.
Ejercicio 4.11. Pruebe que en la situaci on del ejercicio anterior la funci on distancia
asociada a la norma k k coincide con la obtenida aplicando el Ejercicio 1.10 a la pseudometrica
asociada a la pseudonorma k k.
El resultado que sigue es la versi
on para pseudonormas del establecido para pseudometri-
cas en la Proposici
on 1.11.
Proposicio n 4.12. Si k ki : E R0 (i = 1, . . . , n) son pseudonormas y : Rn0 R0
es una funci
on que satisface:
- (x) = 0 si y s
olo si x = 0,
- ( x) = (x) para todo x Rn0 y R0 ( es homogenea),
on k k : E R0 , definida por
entonces la funci

kxk := kxk1 , . . . , kxkn ,
olo si para todo x E \ {0} existe i {1, . . . , n}
es una pseudonorma, que es una norma si y s
tal que kxki > 0.
Demostracio n. Es claro que k0k = 0. Ademas, como es homogenea,

k xk = k xk1 , . . . , k xkn = || kxk1 , . . . , kxkn = ||kxk
para todo x E y k, y como es creciente y tiene la propiedad triangular,

kx + yk = kx + yk1 , . . . , kx + ykn

kxk + kyk1 , . . . , kxk + kykn

kxk1 , . . . , kxkn + kyk1 , . . . , kykn
= kxk + kyk
para todo x E. Para terminar, es evidente que la u
ltima afirmacion es verdadera.
Ejemplos 4.13. Las funciones p : Rn0 R0 (1 p ) consideradas en los Ejem-
plos 1.12 satisfacen las condiciones pedidas a en la Proposici on 4.12. Usando este hecho es
acil ver que si k k(1) , . . . , k k(n) son normas definidas sobre un espacio vectorial E, entonces
f
on k kp (1 p ), definida por:
la funci

m ax kxk(1) , . . . , kxk(n) si p = ,
kxkp := q
p kxkp + kxkp si p < ,
(1) (n)
25
3 Pseudonormas Espacios normados
es una norma sobre E, y que si (E1 , k kE1 ), . . . , (En , k kEn ) son espacios normados, entonces
el producto E1 En es un espacio normado via la norma k kp (1 p ) definida por:

m ax kx1 kE1 , . . . , kxn kEn si p = ,
kxkp := q
p kx1 kp + kxn kp si p < .
E1 En
26
Captulo 5
Sucesiones
Una sucesi on de puntos de X es una funcion x : N X. Siguiendo una practica habitual

escribiremos xn en lugar de x(n) y denotaremos a la sucesion x con el smbolo (xn )nN . Por
ejemplo, ( n1 )nN y (1)n nN son sucesiones de n umeros reales. Una sucesion (yn )nN es
una subsucesi on de (xn )nN si existe una funcion estrictamente creciente s : N N tal que
1
yn = xsn para todo n N. Por ejemplo, ( 2n )nN es una subsucesion de ( n1 )nN . En este caso
sn = 2n. Una sucesi on (xn )nN de puntos de X es convergente si hay un punto x X con la
siguiente propiedad: dado > 0, existe n0 N tal que
d(xn , x) < para todo n > n0 .
En este caso decimos tambien que (xn )nN tiende a x o que x es el lmite de (xn )nN , y
escribimos
lm xn = x, o (xn )nN n / x .
n
nico. En efecto, como d(x, y) d(x, xn ) + d(xn , y) para todo n, si
Este lmite es u
(xn )nN /x y (xn )nN /y,
n n
entonces d(x, y) = 0 y, por lo tanto, x = y. Una sucesion de puntos de X es divergente si no

es convergente.
Observacio n 5.1. Una sucesion (xn )nN de puntos de X tiende a x si y s
olo si la sucesi
on
de n
umeros reales (d(xn , x))nN tiende a 0.
Ejemplo 5.2. Una sucesi on de puntos x1 , x2 , x3 , . . . de X es finalmente constante si
existe n0 N tal que xn = xn0 para todo n n0 . Toda sucesi on finalmente constante es
convergente. Si X tiene la metrica discreta estas son las u nicas sucesiones convergentes.
Ejemplo 5.3. La sucesi umeros reales ( n1 )nN tiende a 0. La sucesi
on de n on (1n )nN
es divergente.
Ejemplo 5.4. Una sucesi on de funciones acotadas fn : [a, b] R tiende a una funcion
acotada f : [a, b] R, respecto de la distancia d , si y s
olo si fn tiende a f uniformemente.
27
Sucesiones
Ejemplo 5.5. Una sucesi on de funciones continuas fn : [a, b] R tiende a una funci on
continua f : [a, b] R, respecto de la distancia d1 , si y s
olo si el area de la regi
on acotada
determinada por los graficos de fn y f tiende a cero.
Ejercicio 5.6. Cu on (xn )nN de puntos de NS (ver el septimo
ando converge una sucesi
item de los Ejemplos 1.2).
Observacio n 5.7. Para cada espacio metrico X, cada sucesi
on (xn )nN de puntos de x
y cada x X son equivalentes:
1. (xn )nN /x
n
2. Para toda bola abierta Br (x), existe n0 N tal que xn Br (x) si n n0 .
3. Para todo entorno V de x, existe n0 N tal que xn V si n n0 .
Observacio n 5.8. Una sucesi on (xn )nN de puntos de un espacio normado E converge
a un punto x si y s on (xn x)nN tiende a 0.
olo si la sucesi
Observacio n 5.9. Consideremos un espacio metrico X y un subespacio Y de X. Una
on (yn )nN de puntos de Y tiende a y Y si y solo si (yn )nN tiende a y en X e y Y .
sucesi
Ejercicio 5.10. Decimos que una sucesi on (xn )nN de puntos de X es acotada si lo es
el conjunto {xn : n N}. Pruebe que si una sucesi
on es convergente, entonces es acotada.
n 5.11. Una sucesi
Proposicio on
(x1 , y1 ), (x2 , y2 ), (x3 , y3 ), . . .
de puntos de un producto X Y de espacios metricos converge a un punto (x, y) si y s olo si
(xn )nN tiende a x e (yn )nN tiende a y.
n. Como d (x, y), (xn , yn ) = max(dX (x, xn ), dY (y, yn )), la sucesion

Demostracio

d (x, y), (xn , yn ) N
olo si las sucesiones (dX (xn , x))nN y (dY (yn , y))nN lo hacen.
tiende a cero si y s
Corolario 5.12. Consideremos un producto X := X1 Xn de finitos espacios
metricos y un punto x X. Una sucesi
on (xn )nN de puntos de X tiende a x si y solo si la
on pXj (xn ) nN , donde pXj : X Xj es la proyecci
sucesi on canonica, tiende a pXj (x) para
todo j {1, . . . , n}.
n. Se sigue de la Proposicion 5.11 por induccion en n.
Demostracio
Corolario 5.13. Una sucesi on x1 , x2 , x3 , . . . de puntos de Rn , donde xi = (xi1 , . . . , xin ),
converge a un punto x = (x1 , . . . , xn ) de Rn respecto la norma k k si y s olo si la sucesi on
de n
umeros reales xi1 , xi2 , xi3 , . . . tiende a xi , para cada ndice i.
n. Este resultado es un caso particular del Corolario 5.12
Demostracio
Nota 5.14. El resultado establecido en el corolario anterior vale para todas las nor-
mas k kp , pero cuando p 6= no se sigue directamente de la Proposici on 5.11. Es necesario
probar adem n n
as que (R , k kp ) y (R , k k ) tienen las mismas sucesiones convergentes y los
lmites coinciden (el lector puede probar esto ahora como un ejercicio o deducirlo m
as adelante
del Ejercicio 10.9).
28
Sucesiones
El resultado establecido en el Corolario 5.12 es cierto para un producto numerable de

espacios metricos, dotado de la metrica de . Esta es una de las razones por las que esta
metrica es u
til. Por supuesto, para probar esto no puede apelarse a la Proposicion 5.11. Dado
un producto numerable
X := X1 X2
de conjuntos no vacos, la j-esima proyeccion canonica de X es la funcion pXj : X Xj
definida por pXj (x) = xj si x = (x1 , x2 , x3 , . . . ).
Proposicio n 5.15. Consideremos una familia numerable (Xi , di ) (i N) de espacios
metricos. Una sucesi
on (xn )nN de puntos de
(X, d ) := (X1 X2 X3 , d )

tiende a un punto x X si y s
olo si la sucesi
on pXj (xn ) nN tiende a pXj (x) para to-
do j N.
Demostracio n. Denotemos con xnj a la j-esima cordenada pXj (xn ) de xn , y con xj
a pXj (x). Supongamos primero que (xn )nN tiende a x. Debemos probar que dado > 0,
existe n0 N tal que
xnj B (xj ) para todo n n0 .
Pero por el Ejemplo 2.5, para conseguir esto basta tomar n0 tal que
xn B j (x) para todo n n0 .
2
Recprocamente, si (xnj )nN tiende a xj para todo j N, entonces, nuevamente por el

Ejemplo 2.5, dado n0 N tal que
1
xnj B2j (xj ) para todo n n0 y j log2 ,

el n-esimo termino xn , de la sucesion del enunciado, esta en B (x) para todo n n0 .
Proposicio n 5.16. Si lmn xn = x, entonces lmn xsn = x para toda subsucesi
on
(xsn )nN de (xn )nN .
Demostracio n. Tomemos r > 0 arbitrario. Por la definicion de lmite de una sucesion
existe n0 N tal que xn Br (x) para todo n n0 . Como s es estrictamente creciente, existe
m0 N tal que sm > n0 si m m0 . Por lo tanto xsm Br (x) para todo m m0 .
Corolario 5.17. Una sucesi on de puntos de un espacio metrico que tiene una subsucesi
on
divergente o dos subsucesiones que convergen a puntos distintos, es divergente.
n. Es una consecuencia inmediata de la proposicion anterior.
Demostracio
Consideremos una sucesi on (xn )nN de puntos deX. Un punto x X es un punto de
aglomeracion de (xn )nN si hay una subsucesion xsn nN que tiende a x. Por ejemplo, los
puntos de aglomeracion de la sucesion ((1)n )nN son 1 y 1, y la sucesion identidad (n)nN
no tiene ninguno. Por la Proposici on 5.16, las sucesiones convergentes tienen un solo punto
de aglomeracion. La recproca es falsa, por ejemplo la sucesion (xn )nN definida por
(
n si n es par,
xn :=
1 si n es impar,
tiene un solo punto de aglomeraci
on, pero no es convergente.
29
Sucesiones
Observacio n 5.18. Un punto x de X es un punto de aglomeraci

on de (xn )nN si y s
olo
si para toda bola Br (x) con centro en x hay infinitos m N con xm Br (x). En efecto, si
x = lmn xsn , entonces existe n0 N tal que
xsn Br (x) para todo n n0 .
on n 7 sn es inyectiva, esto prueba que el conjunto
Como la funci
{m N : xm Br (x)}
es infinito. Recprocamente, si el conjunto Ur de los m N tales que xm Br (x) es infinito
para todo r > 0, entonces la sucesi on (xsn )nN , donde sn es el n-esimo elemento de U1/n
respecto del orden usual, tiende a x, y es una subsucesi on de (xn )nN , porque la funci
on
n 7 sn es estrictamente creciente.
Observacio n 5.19. Recordemos que la recta real extendida R consta del conjunto R
mas dos elementos y tales que < a < para cada n umero real a. En R todo
conjunto es acotado y tiene supremo e infimo. Consideremos una sucesi on (xn )nN de puntos
de R. Definimos el lmite superior y el lmite inferior de (xn )nN como los elementos
lm sup xn := nf sup xi y lm nf xn := sup nf xi ,
n n in n n in
de R , respectivamente. Dejamos como ejercicio para el lector probar que

1. lmn nf xn lmn sup xn .
2. Si lmn sup xn R, entonces lmn sup xn R es un punto de aglomeraci on de (xn )nN .
Adem as para cada M > lmn sup xn hay s olo finitos n con an M . En consecuencia
lmn sup xn es el m aximo punto de aglomeraci on de (xn )nN .
3. Si lmn nf xn R, entonces lmn nf xn R es un punto de aglomeraci on de (xn )nN .
Adem as, para cada M < lmn nf xn hay s olo finitos n con an M . En consecuencia
lmn nf xn es el mnimo punto de aglomeraci on de (xn )nN .
4. Los siguientes hechos son equivalentes:
a) (xn )nN converge,
b) lmn nf xn = lmn sup xn R,
c) (xn )nN es acotada y tiene un s olo punto de aglomeraci on.
Adem as, en este caso lmn xn = lmn nf xn = lmn sup xn .
5. lmn sup xn = si y s olo si lmn xn = en el sentido del c alculo (esto es, para
todo M R existe n0 N tal que xm > M para todo m n0 ). An alogamente,
lmn nf xn = si y s olo si lmn xn = en el sentido del c alculo (esto es, para todo
M R existe n0 N tal que xm < M para todo m n0 ).
6. lmn sup xn = si y s olo si (xn )nN tiene una subsucesi on que tiende a . An alo-
gamente lmn nf xn = si y s olo si (xn )nN tiene una subsucesi on que tiende
a .
Es muy tentador considerar como convergentes a las sucesiones con lmite o , a pesar
de que estos no son n umeros reales, y considerar a como un punto de aglomeraci on si
lmn sup xn = , y a como uno, lmn nf xn = . Llegado a este punto es un paso pe-
queno admitir ademas que las sucesiones tomen valores en R (es decir aceptar que xn pueda
ser para algunos valores de n). Las ventajas son por lo menos dos: todas las sucesiones
tienen puntos de aglomeracion (dicho de otra forma, toda sucesi on tiene una subsucesi
on con-
vergente) y una sucesi
on es convergente si y s
olo si tiene un u
nico punto de aglomeraci
on. Hay
30
Sucesiones
una pregunta natural. Existe una metrica sobre R bajo la cual la convergencia de sucesiones
es la usual?. Como veremos m as adelante, la respuesta es que si. Tambien estudiaremos y
caracterizaremos los espacios metricos que tienen la propiedad de que toda sucesi
on tiene una
subsucesi
on convergente.
31
Captulo 6
Topologa de espacios m
etricos
1. Conjuntos abiertos
Un subconjunto U de X es abierto si para todo x U existe r > 0 tal que Br (x) U
o, equivalentemente, si es entorno de cada uno de sus puntos. De esta definicion se sigue
inmediatamente que todo conjunto abierto es union de bolas abiertas. Pronto veremos que
tambien vale la recproca.
Ejemplo 6.1. Dados n umeros reales a b, el intervalo abierto (a, b) es un subconjunto
abierto de R. Para cada a R los intervalos abiertos (, a) y (a, ) tambien son subcon-
juntos abiertos de R.
Ejemplo 6.2. Todos los subconjuntos de un espacio metrico discreto X son subconjuntos
abiertos de X.
Ejemplo 6.3. El conjunto (y > x) := {(x, y) R2 : y > x} es un subconjunto abierto de
(R2 , kk ). Para comprobarlo basta observar que si y > x y = yx
2 , entonces todo punto de la
k k
bola abierta B (x, y) = (x , x + ) (y , y + ) pertenece a (y > x). M
as generalmente,
los conjuntos {(x, y) R2 : y > f (x)} y {(x, y) R2 : y < f (x)} son subconjuntos abiertos
de (R2 , k k ), para cada funci
on continua f : R R. Dejamos como ejercicio para el lector
la tarea de probar esto.
Ejemplo 6.4. Por el Ejemplo 2.4, el producto A1 An de abiertos Ai de espacios
metricos Xi (i = 1, . . . , n) es abierto en X1 Xn . El ejemplo anterior muestra que no
todos los subconjuntos abiertos de un producto finito de espacios metricos tienen esta forma.
Ejemplo 6.5. Los conjuntos abiertos de (R2 , k k ) y de (R2 , k k2 ) son los mismos. Esto
k k k k k k
es as porque Br/2 (x) Br 2 (x) Br (x) para cada r > 0. M as adelante vermos que,
mas generalmente, (Rn , k kp ) y (Rn , k kq ) tienen los mismos abiertos para todo n 1 y cada
p, q 1.
Ejemplo 6.6. El conjunto A := {f B[a, b] : supx[a,b] f (x) < 1} es un subconjunto
abierto de B[a, b], para cada a, b R con a < b. En efecto, si supx[a,b] f (x) = r < 1, entonces
33
1 Conjuntos abiertos Topologa de espacios metricos
B1r (f ) A. En cambio el conjunto B := {f B[a, b] : f (x) < 1 for all x} no es abierto

porque si el supremo de los valores tomados por f es 1, entonces ninguna bola con centro en
f est
a includa en B.
Ejemplo 6.7. El conjunto {f C[a, b] : f (x) < 1 for all x} es un subconjunto abierto
de C[a, b], para cada a, b R con a < b. La raz on es que si f (x) < 1 para todo x, entonces
el supremo de los valores tomados por f es menor que 1 porque, por el Teorema de Bolzano,
toda funcion real continua definida sobre un intervalo cerrado y acotado alcanza su maximo.
Observacio n 6.8. En todo espacio metrico X las bolas abiertas Br (x) son conjuntos
abiertos. En efecto, dado y Br (x), la bola Brd(x,y) (y) est
a includa en Br (x), porque para
cada z Brd(x,y) (y),
d(x, z) d(x, y) + d(y, z) < d(x, y) + r d(x, y) = r.
Tambien en todo espacio metrico X el complemento de cada bola cerrada Br (x) es un conjunto
abierto. En efecto, por la Proposici
on 2.9
Bs (y) X \ Br (x)
para cada y X \ Br (x), y todo 0 < s < d(x, y) r.
Teorema 6.9. Los siguientes hechos valen:
1. X y son abiertos.
S
2. Si (Uj )jJ es una familia de subconjuntos abiertos de X, entonces jJ Uj es abierto.
3. Si U y V son subconjuntos abiertos de X, entonces U V es abierto.
S
Demostracio n. Es claro que X y son abiertos. Dado x jJ Uj , existe i J tal que
x Ui . Entonces, como Ui es abierto,
[
Br (x) Ui Uj
jJ
S
para alg
un r > 0. Esto prueba que jJ Uj es abierto. Por ultimo, dado x U V , existen
umeros reales positivos r y r , tales que Br (x) U y Br0 (x) V . Denotemos con r00 al
n 0
mnimo de r y r0 . Es evidente que Br00 (x) U V .

on 6.8 y el Teorema 6.9, un conjunto U X es abierto si y solo si es
Por la Observaci
union de bolas abiertas. Para los abiertos de la recta hay una descripcion mas precisa.
Teorema 6.10. Un subconjunto U de R es abierto si y s
olo si es uni
on disjunta de
intervalos abiertos.
Demostracio n. ): Esto es una consecuencia inmediata de la Observacion 6.8 y del
Teorema 6.9.
): Para cada x R, denotemos con Ix a la union de todos los intervalos abiertos de R que
contienen a x y est
an includos en U . Escribamos ax := nf(Ix ) y bx := sup(Ix ). Es evidente
que

[ax , bx ] si ax 6= y bx 6= ,

(a , b ] si a = y b 6= ,
x x x x
(ax , bx ) Ix
[a
x x
, b ) si a x 6
= y bx = ,

(ax , bx ) si ax = y bx = ,

34
Topologa de espacios metricos 1 Conjuntos abiertos
S
pero como Ix es abierto, forzosamente Ix = (ax , bx ). Es claro que U = Ix . Para terminar
la demostraci on basta observar que si Ix Iy 6= , entonces Ix = Iy , ya que si no fuera as,
Ix Iy sera un intervalo abierto estrictamente mayor que Ix o que Iy , que contendra a x y
a y, contradiciendo la definicion de Ix o de Iy .
Ejercicio 6.11. Pruebe que la descomposici on de un abierto U de R como uni on disjunta
de intervalos abiertos obtenida en el Teorema 6.10, es u
nica. Pruebe tambien que la cantidad
de intervalos es finita o numerable.
1.1. El interior de un conjunto Por el Teorema 6.9, para cada conjunto A X
hay un m aximo subconjunto abierto A de A, llamado interior de A. En efecto, A es la
union de todos los subconjuntos abiertos de A. Un punto x de X es un punto interior de A si
pertenece a A . En otras palabras, si Br (x) A para alg un r > 0. La nocion de interior de un
conjunto no es intrnseca. Esto significa que el interior de un conjunto A depende del espacio
ambiente en el cual se lo considera inmerso. Por ejemplo, [0, 1) = [0, 1) cuando se considera
a [0, 1) como subconjunto de R0 , pero [0, 1) = (0, 1) cuando se considera como subconjunto
de R. No obstante esto, a veces no mencionaremos explcitamente el espacio ambiente cuando
sea obvio cual es. Lo mismo vale para las nociones de exterior, clausura, frontera y borde de
un conjunto, que introduciremos enseguida.
Ejemplo 6.12. En R todo intervalo (x , x + ) tiene puntos racionales e irracionales.
Por lo tanto Q = (R \ Q) = en R.
Ejemplo 6.13. En R el interior de cualquiera de los intervalos acotados (a, b), (a, b],
[a, b] y [a, b] es el intervalo abierto (a, b), el interior de los intervalos (, a) y (, a] es el
intervalo (, a), y el de los intervalos (a, ) y [a, ) es (a, ). Para terminar, el interior
de (, ) = R es R, y el de los intervalos degenerados = (a, a) = [a, a) = (a, a] y
{a} = [a, a] es el conjunto vaco.
Teorema 6.14. Las siguientes afirmaciones son verdaderas:
1. x A si y s
olo si d(x, X \ A) > 0.

2. x A si y solo si para toda sucesi
on (xn )nN de puntos de X que tiende a x, existe
n0 N tal que xn A para todo n n0 .
3. A A y A = A si y s olo si A es abierto.
4. Si A B, entonces A B .

5. A = A .
6. (A B) = A B .
7. jJ Aj ( jJ Aj ) .
S S
Demostracio n. Es evidente que los items 1, 3, 4 y 5 valen. Por la Observacion 5.7,

si x A , entonces toda sucesi on de puntos de X que tiende a x satisface las condicion
requerida en el item 2. Por otra parte si x / A , entonces podemos construir una sucesion
(xn )nN de puntos de X \ A que tiende a x, elegiendo xn en B1/n \ A. Esto muestra que el
item 2 es verdadero (n otese que hemos usado el axioma de eleccion). Por el item 4 sabemos
que (A B) A B , y la inclusion recproca vale porque A B es un subconjunto

abierto de A B. De modo que el item 6) tambien es verdadero. Por u

ltimo, el item 7 se sigue
del item 3.
Ejercicio 6.15. Pruebe que la igualdad jJ Aj = ( jJ Aj ) en general no es cierta.
S S
35
1 Conjuntos abiertos Topologa de espacios metricos
n 6.16. Consideremos un producto finito X1 Xn de espacios metricos.

Proposicio
La igualdad
(A1 An ) = A1 An
vale para cada n-upla (A1 , . . . , An ) de conjuntos, con Ai Xi para todo i.
n. Por el Ejemplo 6.4, sabemos que
Demostracio
(A1 An ) A1 An ,
y por la descripci
on de la bolas abiertas de un producto de finitos espacios metricos, dada en
el Ejemplo 2.4, es evidente que vale la inclusion opuesta.
n 6.17. El resultado establecido en la Proposici
Observacio on 6.16 no vale en un producto
(X, d ) := (X1 X2 X3 , d ),
de una familia numerable
(X1 , d1 ), (X2 , d2 ), (X3 , d3 ), . . .
de espacios metricos. De hecho, por la descripci
on de las bolas abiertas de (X, d ) obtenida
en el Ejemplo 2.5, es claro que si un producto
A1 A2 A3 ,
donde cada Ai es un subconjunto abierto de (Xi , di ), es abierto en (X, d ), entonces existe
n0 N tal que An = Xn para todo n N.
Ejercicio 6.18. Pruebe que A1 A2 A3 es un abierto de (X, d ) si y s olo si
cada An es un abierto de (Xn , dn ) y el conjunto de los An s distintos de Xn es finito.
Recordemos que un subespacio de X es un subconjunto Y de X provisto de la metrica
inducida, y que
Y X
BYr (y) = BX
r (y) Y y Br (y) = Br (y) Y
para cada punto y Y .
Proposicio n 6.19. Consideremos un subespacio metrico Y de X. Un subconjunto A de
Y es abierto en Y si y s e X, abierto en X, tal que A = A
olo si existe A eY.
Demostracio n. Denotemos con AY al interior de A como subconjunto de Y . Para cada

punto y en AY , tomemos una bola abierta BrYy (y) A. Entonces

[ [ [
A = BrYy (y) = BrXy (y) Y = BrXy (y) Y.
yAY yAY yAY
En consecuencia, si A es abierto en Y , entonces A es la interseccion de Y con un abierto de

X. Recprocamente, supongamos que A es la interseccion de Y con un abierto U de X. Dado
x A, existe r > 0 tal que BrX (y) U . As, BrY (y) = BrX (y) Y esta includo en U Y = A,
por lo que x A . Como esto vale para todo x A, A es un subconjunto abierto de Y .
El exterior de un subconjunto A de X es el conjunto Ext(A) := (X \ A) .
Observacio n 6.20. Un punto x X pertenece al exterior de A si y s
olo si d(x, A) > 0.
En efecto, es claro que Br (x) X \ A si y s
olo si d(x, A) r.
36
Topologa de espacios metricos 2 Conjuntos cerrados
2. Conjuntos cerrados
Un subconjunto C de X es cerrado si X \ C es abierto. Esto no quiere decir que un
conjunto que no es abierto es cerrado. Por ejemplo, en R el intervalo [0, 1) no es abierto ni
cerrado.
Ejemplo 6.21. Dados n umeros reales a b, el intervalo cerrado [a, b] es un subcon-
junto cerrado de R. Para cada a R los intervalos cerrados (, a] y [a, ) tambien son
subconjuntos cerrados de R.
Ejemplo 6.22. Para cada espacio metrico X y cada x X, el conjunto {x} es cerrado.
Ejemplo 6.23. Todos los subconjuntos de un espacio metrico discreto X son subconjuntos
cerrados de X.
Ejemplo 6.24. Los conjuntos {(x, y) R2 : y f (x)} y {(x, y) R2 : y f (x)} son
subconjuntos cerrados de (R2 , k k ), para cada funci
on continua f : R R. Dejamos como
ejercicio para el lector la tarea de probar esto.
Ejemplo 6.25. Consideremos espacios metricos X e Y . El producto A B de un sub-
conjunto cerrado de X con un subconjunto cerrado B de Y es un subconjunto cerrado de
X Y . Esto es as porque su complemento (X Y ) \ (A B) es uni on de los conjuntos
abiertos (X \ A) Y y X (Y \ B). En consecuencia, por una inducci on f
acil, el producto
A1 An de cerrados Ai de espacios metricos Xi (i = 1, . . . , n) es cerrado en X1 Xn .
El ejemplo anterior muestra que no todos los subconjuntos cerrados de un producto finito de
espacios metricos tienen esta forma.
Ejemplo 6.26. Los conjuntos cerrados de (R2 , k k ) y de (R2 , k k2 ) son los mismos,
porque sus conjuntos abiertos lo son. M
as adelante vermos que, mas generalmente, (Rn , k kp )
n
y (R , k kq ) tienen los mismos cerrados para todo n 1 y cada p, q 1.
Ejemplo 6.27. Dejamos como tarea para el lector probar que para cada a, b R con
a < b, el conjunto A := {f B[a, b] : supx[a,b] f (x) 1} es un subconjunto cerrado de
B[a, b].
Ejemplo 6.28. Para cada a, b R con a < b, el conjunto {f C[a, b] : f (x) 1 for all x}
es un subconjunto cerrado de C[a, b].
Observacio n 6.29. Por la Observacion 6.8, en todo espacio metrico las bolas cerradas y
los complementos de las bolas abiertas son conjuntos cerrados.
Teorema 6.30. Las siguientes afirmaciones son verdaderas:
1. X y son cerrados.
T
2. Si (Cj )jJ es una familia de subconjuntos cerrados de X, entonces jJ Cj es cerrado.
3. Si C y D son subconjuntos cerrados de X, entonces U V es cerrado.
Demostracio n. Es claro que X y son cerrados. Si (Cj )jJ es una familia de subcon-
T
juntos cerrados de X, entonces jJ Cj es cerrado porque, por las Leyes de Morgan,
\ [
X\ Cj = X \ Cj ,
jJ jJ
37
2 Conjuntos cerrados Topologa de espacios metricos
ltimo, para concluir que C D es cerrado si C y D

que es abierto por el Teorema 6.9. Por u
lo son, es suficiente notar que
X \ (C D) = (X \ C) (X \ D)
es abierto por Teorema 6.9.
2.1. El conjunto de Cantor Ahora vamos a introducir un ejemplo famoso de con-

junto cerrado que tiene muchas propiedades interesantes, por ejemplo, en un sentido es muy
peque no porque tiene interior vaco, perotiene el cardinal del continuo. Tomemos el intervalo
1 2
J0 := [0, 1] y quit
emosle el intervalo
2 3 , 3 . El conjunto resultante J1 es union de los intervalos
1
cerrados I0 := 0, 3 e I1 := 3 , 1 , de longitud 13 . Partamos cada uno de estos intervalos en

tres partes iguales, y eliminemos el intervalo abierto del medio. El conjunto obtenido J2 es
union de los cuatro intervalos I00 := 0, 19 , I01 := 92 , 39 , I10 := 96 , 79 e I11 := 98 , 1 , cada

uno de longitud 19 . Partiendo cada uno de estos intervalos en tres partes iguales y quitando el
intervalo abierto del
medio, obtenemos
2 3 el
conjunto J63 , el cual es uni
o8n de los ocho intervalos
1 7 9
18 19
cerrados I000 := 0, 27 , I 001 := ,
27 27 , I 010 := ,
27 27 , I 011 := 27 27 , I100 := 27 , 27 ,
,
20 21
, 27 , I110 := 24 25 26

I101 := 27 27 , 27 e I111 := 27 , 1 . Continuando con este proceso recursivo
obtenemos una familia de conjuntos
J1 J2 J3 Jn ,
donde Jn es la uni on de 2n intervalos cerrados disjuntos Ii1 ...in (ih T{0, 1}), cada uno de
1
longitud 3n . Definimos el conjunto de Cantor C como la interseccion nN Jn de todos los
Jn s. Como cada Jn es cerrado, C es cerrado, y como Jn no incluye a ninguna bola abierta
de radio mayor que 31n , tiene interior vaco. Usando la construccion recursiva de los Jn s es
facil probar por inducci
on que los extremos izquierdo y derecho del intervalo Ii1 ...in son los
numeros racionales
n n n
X 2 ih X 2 ih 1 X 2 ih X 2
(8) h
y h
+ n = h
+ ,
3 3 3 3 3h
h=1 h=1 h=1 h=n+1
respectivamente. De esto se sigue quePC es el conjunto de todos los n umeros reales que tienen
una expresion en base 3 de la forma h=1 3
ah
h , con cada ah = 0 o 2. Adem
as esta escritura es
u
nica, a pesar de que como el lector sabra, o habra notado por la igualdad en (8), la escritura
en base 3 de un n umero real puede no serlo. En consecuencia, la funcion f : C {0, 1}N
definida por
X
ah a a
1 2 ah
f := , , . . . , , . . .
3h 2 2 2
h=1
es biyectiva y, por lo tanto, C tiene el cardinal del continuo.
2.2. La clausura de un conjunto La clausura o adherencia A, de un subconjunto

A de X, es la intersecci
on de todos los subconjuntos cerrados de X que que incluyen a A.
Por su misma definici
on y el Teorema 6.30, la clausura de A es el mnimo cerrado que incluye
a A.
Ejemplo 6.31. Como todo subconjunto abierto no vaco de R tiene puntos de Q y de
R \ Q, la clausura de Q en R es R, y lo mismo es cierto para la clausura de R \ Q en R.
38
Topologa de espacios metricos 2 Conjuntos cerrados
Ejemplo 6.32. En R la clausura de los intervalos acotados (a, b), (a, b], [a, b] y [a, b] es el
intervalo cerrado [a, b], la clausura de los intervalos (, a) y (, a] es el intervalo (, a],
y la de los intervalos (a, ) y [a, ) es [a, ). Por supuesto, la clausura (, ) = R es R.
Adem as la de los intervalos degenerados = (a, a) = [a, a) = (a, a] es el conjunto vaco y la
del intervalo degenerado {a} = [a, a] es {a}.
n 6.33. X \ A = (X \ A) y X \ A = X \ A.
Proposicio
Demostracio n. La primera igualdad vale porque (X \ A) es el maximo subconjunto
abierto de X \ A y, por lo tanto, es el complemento del mnimo cerrado que incluye a A. La
otra igualdad se puede probar de la misma manera.
n 6.34. Para todo A X y cada x X son equivalentes:
Proposicio
1. x A.
2. Br (x) A 6= para todo r > 0.
3. V A 6= para todo enorno V de x.
4. Hay una sucesi on de puntos de A que tiende a x.
5. d(x, A) = 0.
Demostracio n. 1. 2. Si existiera r > 0 tal que Br (x) A = , entonces Br (x) estara
includo en X \ A y, por lo tanto, x pertenecera a (X \ A) = X \ A , lo que es absurdo.
2. 3. Porque todo entorno de x incluye una bola abierta con centro x.
3. 4. Tomemos xn B 1 (x) A. Es evidente que la sucesion x1 , . . . , xn , . . . tiende a x.
n
4. 1. Como es el lmite de una sucesion de puntos de A,
/ (X \ A) = X \ A.
x
As, x A.
2. 5. Esto es evidente.
Teorema 6.35. Las siguientes afirmaciones son verdaderas para cada subconjunto A
de X:
1. A A y A = A si y s
olo si A es cerrado.
2. A B A B.
3. A = A.
4. A B = A B.
T T
5. jJ Aj jJ Aj .
Demostracio n. Los tres primeros items son evidentes. Por el item 2 sabemos que
A B A B, y la inclusi
on recproca vale porque A B es un subconjunto cerrado de
X que incluye a A B. La u
ltima afirmacion se sigue del item 2.
El resultado que sigue da otra prueba de que el producto de cerrados en un producto
finito de espacios metricos, es cerrado (Ejemplo 6.25).
Proposicio n 6.36. Consideremos un producto finito X1 Xn de espacios metricos.
La igualdad
A1 An = A1 An
vale para cada n-upla (A1 , . . . , An ) de conjuntos, con Ai Xi para todo i.
39
2 Conjuntos cerrados Topologa de espacios metricos
Demostracio n. Por una induccion facil basta probarlo cuando n = 2. Por el Ejem-
plo 6.25 sabemos que A1 A2 es cerrado, y como toda bola Br (a1 ) Br (a2 ) con centro en
un punto (a1 , a2 ) A1 A2 tiene puntos de A1 A2 , es el mnimo cerrado de X1 X2 que
incluye a A1 A2 .
Como veremos ahora, el resultado anterior vale en un producto numerable de espacios
metricos
n 6.37. Consideremos el producto
Proposicio
(X, d ) := (X1 X2 X3 , d ),
de una familia numerable
(X1 , d1 ), (X2 , d2 ), (X3 , d3 ), . . .
de espacios metricos. La igualdad
A1 A2 A3 = A1 A2 A3 ,
vale para cada familia numerable de conjuntos (A1 , A2 , A3 , . . . ), con Ai Xi para todo i. En
consecuencia, si los Ai s son conjuntos cerrados, entonces A1 A2 A3 es cerrado.
Demostracio n. Porque por la Proposicion 5.15, una sucesion (xn )nN , de puntos de
A1 A2 A3 , donde xn := (xn1 , xn2 , xn3 , . . . ) converge a un punto (x1 , x2 , x3 , . . . )
olo si (xni )nN tiende a xi en (Xi , di ), para todo i N.
de (X, d )) si y s
Un punto x X es un punto de acumulaci
on de un subconjunto A de X, si
Br (x) (A \ {x}) 6= para todo r > 0.
Dicho de otra forma, si toda bola abierta con centro x contiene puntos de A distintos de x,
o, equivalentemente, si d(x, A \ {x}) = 0. Denotamos con A0 al conjunto de los puntos de
acumulacion de A. Es claro que A0 A y que si x A \ A, entonces x A0 . As
(9) A = A A0 .
En consecuencia, A es cerrado si y solo si A0 A. Un punto x A es un punto aislado de
A si existe r > 0 tal que Br (x) A = {x}, es decir si no es un punto de acumulacion de A.
Denotamos con ais(A) al conjunto de los puntos aislados de A. Por la igualdad (9) y la misma
definicion de ais(A),
A = ais(A) A0 y ais(A) A0 = .
Observacio n 6.38. Un punto x X es un punto aislado de X si y s
olo si el conjunto
{x} es abierto.
Un conjunto A X es un subconjunto discreto de X si A0 A = . En otras palabras,
si todos sus puntos son aislados. Un conjunto discreto puede no ser cerrado. Por ejemplo,
A := { n1 : n N} es discreto, pero no es cerrado, porque 0 es un punto de acumulacion
de A. Un conjunto A X es perfecto si A0 = A o, dicho de otro modo, si A es cerrado y no
tiene puntos aislados. Observese que para que x X sea un punto de acumulacion de A es
necesario y suficiente que exista una sucesion (xn )nN de puntos distintos de A que tienda
a x.
Proposicio n 6.39. Consideremos un subespacio metrico Y de X. Un subconjunto A de
Y es cerrado en Y si y s e X, cerrado en X, tal que A = A
olo si existe A eY.
40
Topologa de espacios metricos 3 La frontera y el borde de un conjunto
n. Las equivalencias
Demostracio
A es cerrado en Y Y \ A es abierto en Y
U X, abierto en X, tal que U Y = Y \ A
U X, abierto en X, tal que (X \ U ) Y = A,
muestran que la afirmaci
on del enunciado es verdadera.
Corolario 6.40. Para cada espacio metrico X, cada subespacio Y de X y cada subcon-
X Y
junto A de Y , las adherencias A , de A en X, y A , de A en Y , satisfacen la igualdad
Y X
A = A Y.
X
Demostracio n. Por el teorema anterior sabemos que A Y es el mnimo subconjunto
Y
cerrado de Y que contiene a A, por lo tanto es igual a A .
3. La frontera y el borde de un conjunto

La frontera de un subconjunto A de X es el conjunto
Fr(A) := A (X \ A).
Por su misma definici on, la frontera de cada subconjunto de X es un subconjunto cerrado
de X. Por la Proposici on 6.34, la frontera de A es el conjunto de los puntos x X cuya
distancia a A y a X \ A es cero, y tambien es es conjunto de los puntos x X tales que toda
bola abierta con centro x tiene puntos de A y puntos de X\A. Ademas, por la Proposicion 6.33,
(10) Fr(A) = A (X \ A ) = A \ A .
En consecuencia
A Fr(A) = A t Fr(A) = A y A \ Fr(A) = A \ Fr(A) = A .
olo si Fr(A) A, y es abierto si y solo si A Fr(A) = .
As, A es cerrado si y s
n 6.41. Por las Observaciones 6.8 y 6.29, sabemos que si
Observacio
Br (x) A Br (x),
entonces Fr(A) Sr (x). La inclusion puede ser estricta. Por ejemplo, si X est
a dotado de la
metrica discreta, entonces Fr(B1 (x)) = y S1 (x) = X \ {x} para todo x X. Como veremos
enseguida, esto no puede pasar en espacios normados.
Proposicio n 6.42. Cada bola abierta Br (x) de un espacio normado E, con centro en un
punto de una esfera Ss (y), tiene puntos de Bs (y) y de E \ Bs (y).
Demostracio n. Consideremos el vector z := x + (y x), donde es un escalar. Las
igualdades
kx zk = k (x y)k = ||kx yk = ||r
y
ky zk = k(1 ) (y x)k = |1 |r
muestran que
z Br (x) Bs (y) si || < 1 y |1 | < s/r,
esto es, si Bs/r (1) Bk1 (0), donde k denota al cuerpo de escalares, y que
k

z E \ Br (x) Bs (y) si || > 1 y |1 | < s/r,
41
3 La frontera y el borde de un conjunto Topologa de espacios metricos
k
o, lo que es igual, si Bks/r (1) E \ B1 (0) .

Corolario 6.43. Consideremos un conjunto A de un espacio normado E. Si existen un
x E y un r > 0 tales que
Br (x) A Br (x),
entonces Fr(A) = Sr (x). En consecuencia A = Br (x) y A = Br (x).
n. Es una consecuencia inmediata de la Proposicion 6.42.
Demostracio
Proposicio n 6.44. Para cada subconjunto A de un espacio metrico X y cada subconjun-
to B de un espacio metrico Y , la frontera de A B como subconjunto de X Y satisface
Fr(A B) = (Fr(A) B) (A Fr(B)).
n. Por la igualdad (10) y las Proposiciones 6.16 y 6.36,
Demostracio
Fr(A B) = A B \ (A B)
= (A B) \ (A B )
= (A \ A ) B A (B \ B )

= (Fr(A) B) (A Fr(B)),
como queramos.
Corolario 6.45. Consideremos un producto finito X1 Xn de espacios metricos.
La igualdad
n
[
Fr(A1 An ) = A1 Ai1 Fr(Ai ) Ai+1 An
i=1
vale para cada n-upla (A1 , . . . , An ), donde Ai es un subconjunto de Xi .
Demostracio n. Se sigue de la proposicion anterior por induccion en n (El caso n = 1
es trivial. El caso n = 2 se necesita para el paso inductivo).
Ejemplo 6.46. La frontera en (Rn , kk ) del hipercubo abierto
(1, 1) (1, 1),
| {z }
n veces
es el subconjunto

(x1 , . . . , xn ) [1, 1] ([1, 1] : existe i con xi = 1 o xi = 1
de Rn . M
as generalmente, dados espacios normados E1 , . . . , En , la frontera en E1 En
del conjunto
B1E1 (0) BnEn (0),
E
donde Bj j (0) es la bola abierta con centro 0 y radio 1 en Ej , es el conjunto
n
[ E E E En
B 1 1 (0) B i1
i1
(0) SE i+1
1 (0) B i+1 (0) B n (0),
i
i=1
E E
donde B j j (0)
denota a la bola cerrada con centro 0 y radio 1 en Ej y S1 j (0) denota a la
esfera con centro 0 y radio 1 de Ej .
42
Topologa de espacios metricos 3 La frontera y el borde de un conjunto
El borde de un subconjunto A de X es el conjunto

(A) := A \ A .
Notemos que
(X \ A) = (X \ A) \ (X \ A) = A \ A.
Ejercicio 6.47. Calcule la frontera de R {0} como subconjunto de R2 .
Ejercicio 6.48. Consideremos el conjunto A = (0, 1] { 2n+1
n : n N}. Calcule A , A,
A0 ,Fr(A) y (A), con A pensado como subconjunto de los espacios R, R>0 y (0, 1] (2, )
(provistos de la distancia usual).
La relaci
on entre el borde y la frontera de un conjunto esta dada por las igualdades
(A) = Fr(A) A y Fr(A) = (A) (X \ A).
En efecto,
Fr(A) A = (A \ A ) A = A \ A = (A)
y
(A) (X \ A) = (A \ A ) (A \ A) = A \ A = F r(A).
Ejercicio 6.49. Pruebe que para cada espacio metrico X y cada subconjunto A de X es
cierto que:
1. Fr(A) = Fr(X \ A).
2. X = A t Fr(A) t Ext(A).
3. Fr(A) = si y s
olo si A es abierto y cerrado.
4. Fr(A) es cerrado.
5. Fr(A) = (A) si y solo si A es cerrado.
6. (A) = .
7. (A) = A X \ A.
8. ((A)) = (A).
43
Captulo 7
Funciones continuas, uniformemente

continuas e isometras
1. Funciones continuas
Una funci on f : X Y es continua en un punto x X si para todo > 0 existe > 0 tal
que f (B (x)) B (f (x)), es continua en un subconjunto A de X si lo es en cada punto de A,
nica iA : A X es continua
y es continua si es continua en X. Por ejemplo, la inclusion can
para cada espacio metrico X y cada subespacio A de X, y las funciones constantes
cy0
X /Y
x / y0
son continuas para cada par de espacios metricos X, Y . En particular, la funcion identidad
id : X X es continua.
Observacio n 7.1. De la definici
on de continuidad en un punto se sigue inmediatamente
que si x es un punto aislado de X, entonces para cada espacio metrico Y , toda funci on
f : X Y es continua en x.
n 7.2. Son equivalentes:
Proposicio
1. f : X Y es continua en x.
2. Para todo entorno abierto U de f (x) hay un entorno abierto V de x tal que f (V ) U .
3. f 1 (U ) es un entorno de x, para cada entorno U de f (x).
4. (f (xn ))nN tiende a f (x), para cada sucesi
on (xn )nN que tiende a x.
Demostracio n. 1. 2. Por hipotesis, dado > 0 tal que B (f (x)) U , existe > 0
tal que f (B (x)) B (f (x)) U . As podemos tomar V = B (x).
2. 3. Tomemos un entorno abierto U 0 de f(x) includo en U . Por hipotesis existe un entorno
abierto V 0 de x tal que f (V 0 ) U 0 . Como f 1 (U ) V 0 , esto prueba que f 1 (U ) es un entorno
de x.
45
1 Funciones continuas Funciones continuas, uniformemente continuas e isometras
3. 1. Dado > 0, la preimagen por f de B (f (x)) es un entorno de x y, por lo tanto,

incluye a una bola abierta B (x).
3. 4. Dado > 0 tomemos un entorno V de x tal que f (V ) B (f (x)). Si n0 es tal que
xn V siempre que n n0 , entonces f (xn ) B (f (x)) siempre que n n0 .
4. 3. Supongamos que hay un entorno V de f (x) tal que f 1 (V ) no es un entorno de x.
Entonces tomando para cada n N un punto xn B 1 (x) \ f 1 (V ), obtenemos una sucesion
n
(xn )nN que tiende a x, tal que la sucesion (f (xn ))nN no tiende a f (x).
Teorema 7.3. Son equivalentes:
1. f es continua.
2. f 1 (U ) es abierto en X, para cada subconjunto abierto U de X 0 .
3. f 1 (C) es cerrado en X, para cada subconjunto cerrado C de X 0 .
4. f (B) f (B) para cada B X.
Demostracio n. 1. 2. Por la equivalencia entre los items 1 y 2 de la proposicion
1
anterior, f (U ) es un entorno de cada uno de sus puntos.
2. 1. Fijemos x X y un entorno abierto U de f (x). Por hipotesis f 1 (U ) es un entorno
abierto de x. Esto termina la demostracion, porque f (f 1 (U )) U .
2. 3. Si C es un cerrado de X 0 , entonces f 1 (C) es un cerrado de X, ya que
f 1 (C) = X \ f 1 (X 0 \ C)
y, por hipotesis, f 1 (X 0 \ C) es abierto.
3. 2. Es similar a 2. 3.
3. 4. Como B f 1 f (B) y f 1 f (B) es cerrado, B f 1 f (B) .

4. 3. Tomemos un cerrado arbitrario C de X 0 . Por hipotesis

f (f 1 (C)) f (f 1 (C)) C = C
y, en consecuencia, f 1 (C) f 1 (C), de modo que f 1 (C) es cerrado.
Ejercicio 7.4. Recordemos que NS es el conjunto N {} provisto de la metrica dS
dada por (
|m1 n1 | si m, n N,
ds (m, n) :=
|m1 | si n =
(Vease el septimo item en los Ejemplos 1.2). Dada una sucesion (xn )nN de puntos de un
on x : NS X definida por
espacio metrico X y un elemento x X, consideremos la funci
(
xn si n N,
x (n) :=
x si n = .
Pruebe que son equivalentes:
1. La sucesi
on (xn )nN tiende a x.
on x es continua.
2. La funci
on x es continua en x.
3. La funci
Proposicio n 7.5. Las siguientes afirmaciones son verdaderas para cada terna X, Y , Z
de espacios metricos, cada subconjunto A de X y cada subconjunto B de Y .
46
Funciones continuas, uniformemente continuas e isometras 1 Funciones continuas
1. Si f : X Y es continua en A y g : Y Z es continua en f (A), entonces g f es

continua en A.
|B
2. Si f : X Y es continua en A y f (A) B, entonces la funci
on f|A : A B obtenida
restringiendo el dominio de f a A y el codominio de f a B, es continua.
Demostracio n. 1) Como f es continua en A y g es continua en f (A), si (xn )nN tiende
a a A, entonces f (xn )nN tiende a f (a) y g f (xn )nN tiende a g f (a).
2) Primero notemos que f|A es continua porque es la composicion de f con iA : A X,
y ambas funciones son continuas. Pero entonces por la Observacion 5.9, dada una sucesion
arbitraria (an )nN de puntos de A que tiende a un punto a A, la sucesion (f (an ))nN
|B
formada por sus im agenes tiende a f (a) en B y, por lo tanto, la funcion f|A es continua.
Nota 7.6. El item 2 de la proposicion anterior dice que si una funci
on definida sobre X
es continua en un subconjunto A de X, entonces su restriccion a A es continua. La recproca
on Q : R R definida por
no vale. Por ejemplo, la funci
(
1 si x Q,
Q (x) :=
0 en caso contrario,
es continua restringida a Q y a R \ Q, pero no es continua en ni en Q ni en R \ Q.
Proposicio n 7.7. Para cada par de espacios metricos X e Y , las proyecciones can onicas
pX : X Y X y pY : X Y Y son funciones continuas. Adem as, para todo espacio
metrico Z, una funci on f : Z X Y es continua en z Z si y s olo si las composiciones
pX f y pY f son continuas en z. En consecuencia f es continua si y s olo si pX f y pY f
lo son.
Demostracio n. Tomemos una sucesion (zn )nN de puntos de Z que tiende a z. Por la
Proposicion 5.11, sabemos que f (zn )nN tiende a f (z) si y solo si pX f (zn )nN tiende a
pX f (z) y pY f (zn )nN tiende a pY f (z). Por la equivalencia entre los items 1 y 4 de la
Proposicion 7.2, esto prueba la segunda afirmacion. La primera se deduce de esta tomando
f = idXY .
metricos y un espacio metrico Z. Una funci on f : Z X es continua en un punto z Z si
y s on pXj f , donde pXj : X Xj es la proyecci
olo si la funci on can onica, es continua en z
para todo j {1, . . . , n}. En consecuencia f es continua si y s
olo si las funciones pXj f lo
son.
Demostracio
Corolario 7.9. Consideremos espacios metricos X1 , . . . , Xn , Y1 , . . . , Yn y funciones
fj : Xj Yj (1 j n).
Si las funciones fj son continuas, entonces la aplicaci
on
f1 fn
X1 Xn Y1 Yn
(x1 , . . . , xn ) f1 (x1 ), . . . , fn (xn )
tambien lo es.
47
1 Funciones continuas Funciones continuas, uniformemente continuas e isometras
Demostracio n. Basta observar que pYj (f1 fn ) = fj pYj para todo j {1, . . . , n},
y que estas funciones son continuas debido a que son composicion de funciones continuas.
Ejercicio 7.10. Pruebe que las funciones
+
kk /k , kk
m /k y k \ {0}
inv / k \ {0} ,
(x, y) / x+y (x, y) / xy x / x1
donde k := R o C, son continuas. Concluya que la suma

f + g : X k,
el producto
f g : X k,
y el cociente
f
: X \ g 1 (0) k
g
de funciones continuas f : X k y g : X k, son funciones continuas.
Nota 7.11. Como la funci on identidad id : k k y las funciones constantes ca : k k
(a k) son continuas, una consecuencia directa de la proposici
on anterior es que las funciones
P
racionales Q : A k, donde P y Q son polinomios con coeficientes en k y A = k \ Q1 (0),
son continuas.
Proposicio on f : X Y . Supongamos que X es uni
n 7.12. Consideremos una funci on
X = C1 C2 de dos subconjuntos cerrados. Si f|C1 y f|C2 son continuas, entonces f es
continua.
n. Para cada subconjunto cerrado C de Y ,
Demostracio
1 1
f 1 (C) = f|C 1
(C C1 ) f|C2
(C C2 )
es cerrado porque es uni
on de dos cerrados.
on f : R2 R definida por
Ejercicio 7.13. Pruebe que la funci
(
x2 2xy + y 2 + 2 si x y
f (x, y) := (xy)3 3(xy)2 +2x2 +2y2 +2
x2 +y 2 +1
si x y
es continua.
Una funcion continua f : X Y es un homeomorfismo si es biyectiva y su inversa es
continua. Dos espacios metricos X e Y son homeomorfos o topol ogicamente equivalentes si
existe un homeomorfismo de X en Y . En ese caso escribimos X ' Y . Esta relacion es reflexiva
simetrica y transitiva, porque id : X X es un homeomorfismo para todo espacio metrico X,
si f : X Y es un homeomorfismo, entonces f 1 : X Y tambien lo es, y la composicion
de dos homeomorfismos es un homeomorfismo. Una propiedad de espacios metricos es una
propiedad topol ogica si cada vez que un espacio metrico X la tiene, la tienen tambien todos
los espacios homeomorfos a X. Por ejemplo, si X e Y son homeomorfos, entonces
- Tienen la misma cantidad de sucesiones convergentes.
- Tienen la misma cantidad de abiertos.
- Tienen la misma cantidad de cerrados.
48
Funciones continuas, uniformemente continuas e isometras 1 Funciones continuas
- Para todo espacio metrico Z, hay una biyeccion entre las funciones continuas de Z en
X y las funciones continuas Z en Y .
- Para todo espacio metrico Z, hay una biyeccion entre las funciones continuas de X
en Z y las funciones continuas Y en Z.
- Tienen la misma cantidad de puntos aislados. En particular, X es perfecto si y solo
si Y lo es.
Por lo tanto, todas esta son propiedades topologicas.
Observacio on f : X Y puede ser continua y biyectiva sin ser un
n 7.14. Una funci
homeomorfismo. Un ejemplo es la funci on identidad id : (R, d) R, donde d es la metrica
discreta y el codominio es considerado con la metrica usual.
Una funcion f : X Z es abierta si f (U ) es abierto para todo abierto U de X y es cerrada
si f (C) es cerrado para todo cerrado C de X. Por ejemplo, para cada par X, Y de espacios
onicas pX : X Y X y pY : X Y Y son funciones abiertas
metricos, la proyecciones can
porque
pX (BrXY (x, y)) = pX (BX Y X
r (x) Br (y)) = Br (x)
pY (BrXY (x, y)) = pY (BX Y Y

r (x) Br (y)) = Br (y)
para todo r > 0 y cada (x, y) X Y . En general estas funciones no son cerradas. Por
ejemplo, el conjunto {(x, y) R2 : x > 0 e y = x1 } es un subconjunto cerrado de R2 cuya
proyeccion a la primera coordenada es el conjunto (0, ), que no es cerrado. Otro ejemplo de
una funcion abierta que en general no es cerrada es la inclusion canonica iY : : Y X, de
un subconjunto abierto Y de X en X. En cambio, si Y es cerrado, entonces iY es una funcion
cerrada, que en general no es abierta.
Ejercicio 7.15. Encuentre funciones fj : Xj Yj (i = 1, . . . , 8) entre espacios metricos,
tales que:
- f1 no es ni continua, ni abierta, ni cerrada,
- f2 es continua, pero no es abierta ni cerrada,
- f3 es abierta, pero no es continua ni cerrada,
- f4 es cerrada, pero no es continua ni abierta,
- f5 es continua y abierta, pero no es cerrada,
- f6 es continua y cerrada, pero no es abierta,
- f7 es abierta y cerrada, pero no es continua,
- f8 es continua, abierta y cerrada.
on biyectiva f : X X 0 son equivalentes:
n 7.16. Para cada funci
Observacio
1. f es un homeomorfismo.
2. f es continua y abierta.
3. f es continua y cerrada.
49
2 Funciones uniformemente continuas Funciones continuas, uniformemente continuas e isometras
Ejemplo 7.17. Todos los intervalos abiertos no vacos de R son homeomorfos. En efecto,
x
on f1 : R (1, 1) definida por f1 (x) := 1+x
la funci es un homeomorfismo con inversa
1 y
on f2 : (1, 1) (a, b),
f1 (y) = 1y . Para cada intervalo acotado (a, b), tambien lo es la funci
ba b+a
definida por f2 (x) := 2 x + 2 ; y es claro que para cada a R lo son las funciones
f3 : (, a) (a, ) y f4 : (, 1) (, a) dadas por f3 (x) = x y
(
x si x 0,
f4 (x) :=
ax si x 0.
Por u on f5 : R (, 1) definida por
ltimo, la funci
(
x si x 0,
f5 (x) := x
1+x si x 0,
es un homeomorfismo.
2. Funciones uniformemente continuas

Consideremos espacios metricos X e Y y un subconjunto A de X. Decimos que una
funcion f : X Y es uniformemente continua si para todo > 0 existe > 0 tal que para
todo x, x0 X,
d(x, x0 ) < d f (x), f (x0 ) < .

Decimos que f es uniformemente continua sobre A si su restriccion a A es uniformemente

continua. La diferencia entre las definiciones de continuidad y de continuidad uniforme, es
que en la primera el cuya existencia se pide puede variar con el punto del dominio en el
que se esta evaluando la continuidad, no exigiendose que se haya uno que sirva para todos,
mientras que en la segunda esto se pide explcitamente.
Observacio on f : X Y y un subconjunto A de X. Si
n 7.18. Consideremos una funci
f es uniformemente continua sobre A, entonces f|A es continua. En particular toda funci
on
uniformemente continua es continua.
Observacio n 7.19. Hay funciones que son continuas y no son uniformemente continuas.
Una es la funci on f : R>0 R definida por f (x) := x1 . Es continua porque es cociene de dos
funciones continuas (Ver el Ejercicio 7.10). Pero no es uniformemente continua porque para
todo (0, 1),
1 1 /2 1
|f () f (/2)| =
= 2 = < 1.
/2 /2
Ejemplo 7.20. La inclusi on canonica iA : A X es uniformemente continua, para cada
subconjunto A de un espacio metrico X. En particular la funci on identidad id : X X es
uniformemente continua.
p
Ejemplo 7.21. La funci on f : [0, 1] R, dada for f (x) := (x), es uniformemente
continua. En efecto, en los cursos de c alculo en una variable se prueba que esta funci
on es
continua, y en el Captulo 13 veremos que toda funci on continua cuyo dominio es un intervalo
cerrado de R, es uniformemente continua.
Proposicio n 7.22. Si f : X Y y g : Y Z son funciones unifomemente continuas,
entonces g f es unifomemente continua.
50
Funciones continuas, uniformemente continuas e isometras 2 Funciones uniformemente continuas
Demostracio n. Puesto que g es uniformemente continua, sabemos que para cada > 0,
existe > 0 tal que para todo y, y 0 Y ,
d g(y), g(y 0 ) < siempre que d(y, y 0 ) < .

Como tambien f es uniformemente continua, existe 0 > 0 tal que para todo x, x0 X,
d f (x), f (x0 ) < siempre que d(x, y 0 ) < .

Combinando ambos hechos obtenemos que

d g f (x), g f (x0 ) < siempre que d(x, x0 ) < 0 ,

lo que termina la demostraci

on.
Proposicio n 7.23. Consideremos espacios metricos X Y y Z. Una funci on f : Z XY
es unifomemente continua si y s olo si lo son las composiciones pX f y pY f , de f con las
proyecciones canonicas pX : X Y X y pY : X Y Y .
Demostracio n. Para simplificar las expresiones que aparecen en la prueba escribimos
fX := pX f y fY := pY f . Como
d f (z), f (z 0 ) = max d fX (z), fY (z 0 ) , d fY (z), fY (z 0 ) ,

son equivalentes:
- Para todo > 0, existe > 0 tal que
d(z, z 0 ) < d fX (z), fX (z 0 ) < y d fY (z), fY (z 0 ) < para todo z, z 0 Z.

- Para todo > 0, existe > 0 tal que

d(z, z 0 ) < d f (z), f (z 0 ) para todo z, z 0 Z.

Esto prueba que la afirmaci

on es verdadera, porque el primer item se satisface si y solo si fX
y fY son uniformemente continuas, y el segundo dice que f es uniformemente continua.
metricos y un espacio metrico Z. Una funcion f : Z X es uniformemente continua si y
s on pXj f , donde pXj : X Xj es la proyecci
olo si la funci on can
onica, es uniformemente
continua para todo j {1, . . . , n}.
Demostracio
fj : Xj Yj (1 j n).
Si las funciones fj son uniformemente continuas, entonces la aplicaci
on
f1 fn
X1 Xn Y1 Yn
(x1 , . . . , xn ) f1 (x1 ), . . . , fn (xn )
tambien lo es.
y que estas funciones son uniformemente continuas porque son composicion de funciones
uniformemente continuas.
51
3 Funciones de Lipschitz Funciones continuas, uniformemente continuas e isometras
Proposicio n 7.26. Consideremos una funci on f : X Y . Escribamos X como uni on

X = A1 A2 de dos subconjuntos. Supongamos que existe > 0 con la siguiente propiedad:
para cada par a, a0 de elementos de X tales que
a A1 \ A2 , a0 A2 \ A1 y d(a, a0 ) < ,
existe a00 A1 A2 con m
ax d(a, a00 ), d(a0 , a00 ) d(a, a0 ). Si f|A1 y f|A2 son uniformememnte

continuas, entonces f es uniformemente continua.
Demostracio n. Por
hip otesis, dado > 0, existe > 0 tal que si a, a0 A1 o a, a0 A2 ,
0
entonces d f (a), f (a ) < /2 < . Es evidente que podemos tomar < . Si lo hacemos,
entonces

d f (a), f (a0 ) d f (a), f (a00 ) + d f (a00 ), f (a0 ) < 2 = ,

2
donde a00 es como en el enunciado, para cada a A1 y a0 A2 .

Ejemplo 7.27. Consideremos la funci on f : [0, 1] R dada por f (x) := x. En el
Ejemplo 7.21 vimos que f es uniformemente continua sobre [0, 1], y usando la desigualdad

ab 1
| a b| = |a b|,
a + b 2
valida para todo a, b 1, se comprueba f acilmente que f es uniformemente continua so-
bre [1, ]. Como las hipotesis de la Proposici on 7.26 se satisfacen (como puede tomarse
cualquier numero real positivo), f es uniformemente continua.
Corolario 7.28. Consideremos una funci on f : X Y . Escribamos X como uni on
X = A1 A2 de dos subconjuntos. Si d A1 \A2 , A2 \A1 , > 0 y f|A1 y f|A2 son uniformememnte
continuas, entonces f es uniformemente continua.
Demostracio n. Las hip
otesis de la proposicion se satisfacen trivialmente si tomamos
= d A1 \ A2 , A2 \ A1 , > 0 porque no hay ning un a1 A1 y a2 A2 a distancia menor
que .
on f : X Y es un isomorfismo uniforme si es biyectiva, uniformemente conti-
Una funci
nua, y su inversa es uniformemente continua. Dos espacios metricos X e Y son uniformemente
equivalentes si existe un isomorfismo uniforme de X en Y . En ese caso escribimos X 'u Y .
Argumentos identicos a los usados para probar que la relacion ' es reflexiva simetrica y tran-
sitiva, prueban que 'u tambien lo es. Una propiedad de espacios metricos es una propiedad
uniforme si cada vez que un espacio metrico X la tiene, la tienen tambien todos los que
son uniformemente isomorfos a X. Por supuesto, las propiedades topologicas son propiedades
uniformes. Pero hay muchas propiedades uniformes que no son topologicas. No damos ning un
ejemplo ahora, porque todava no hemos introducidos ninguna, pero mas adelante veremos
varias (como la completitud y la acotacion total).
3. Funciones de Lipschitz
Una funci on f : X Y es una funcion de Lipschitz si existe una constante K 0 tal que
d f (x), f (x0 ) Kd(x, x0 ) para todo x, x0 X. El mnimo K que satisface esta condicion es la
constante de Lipschitz de f . Una funcion de Lipschitz es una funci on corta si tiene constante
de Lipschitz menor o igual que 1, y es una contracci on si su constante de Lipschitz es menor
que 1.
52
Funciones continuas, uniformemente continuas e isometras 3 Funciones de Lipschitz
n 7.29. Toda funci

Proposicio on de Lipschitz es uniformemente continua.
Demostracio n. Supongamos que f : X Y es de Lipschitz con constante de Lipschitz
K. Entonces dado > 0, basta tomar := K , para que
d f (x), f (x0 ) Kd(x, x0 ) < K = para todo x, x0 X con d(x, x0 ) < .

Esto prueba que f es uniformemente continua, como afirmamos.

Observacio n 7.30. Hay funciones uniformemente continuas p que no son funciones de
Lipstichz. Una es la funcion f : [0, 1] R, dada for f (x) := (x), que consideramos en el
Ejemplo 7.21. Esto es as porque
1
| a b| = |a b|
a+ b
1
y
a+ b
toma valores arbitrariamente grandes en el intervalo [0, 1].
Ejemplo 7.31. Para cada subconjunto A de X, la inclusi onica iA : A X es una

on can
funci
on corta.
Ejemplo 7.32. Las proyecciones can
onicas
pX : X Y X y pY : X Y Y,
de un producto X Y de espacios metricos en cada una de sus coordenadas X e Y , son
funciones cortas porque
d (x, y), (x0 , y 0 ) = max d(x, x0 ), d(y, y 0 ) d(x, x0 )

d (x, y), (x0 , y 0 ) = max d(x, x0 ), d(y, y 0 ) d(y, y 0 ),

para cada par (x, y) y (x0 , y 0 ) de puntos de X Y .

on distancia d : X X R0 es
Ejemplo 7.33. Para todo espacio metrico X la funci
una funci
on de Lipschitz porque
kd(x, x0 ) d(y, y 0 )k kd(x, x0 ) d(x, y 0 )k + kd(x, y 0 ) d(y, y 0 )k
d(x, y) + d(x0 , y 0 )
2 max d(x, y), d(x0 , y 0 )

= 2d (x, x0 ), (y, y 0 )

para todo x, x0 , y, y 0 X, por las propiedades triangular y simetrica de d y el item 2 de la

Proposici
on 1.1.
Nota 7.34. La cuenta hecha en el ejemplo anterior muestra que 2 es una cota superior de
la constante de Lipschitz de d. Para R esta constante es 2, como puede comprobarse tomando
x = 0, x0 = 2 e y = y 0 = 1. Por supuesto, el hecho de que la m axima constante de Lipschitz
para las funciones distancia sea 2 depende de que estamos considerando a X X provisto de
la distancia d . Si lo consideramos provisto con la distancia d1 (ver Ejemplos 1.12), entonces
d es una funcion corta.
53
3 Funciones de Lipschitz Funciones continuas, uniformemente continuas e isometras
on f : X R, definida por
Ejemplo 7.35. Para cada subconjunto A de X, la funci
f (x) := d(x, A) es una funci
on corta porque
|d(x, A) d(y, A)| d(x, y) para todo x, y X,
por la Proposici
on 3.6.
Proposicio n 7.36. Si f : X Y y g : Y Z son funciones de Lipschitz, entonces g f
es de Lipschitz.
Demostracio n. Denotemos con Kf y Kg a las constantes de Lipschitz de f y g, respec-
tivamente. Como
d g f (x), g f (x0 ) Kg d f (x), f (x0 ) Kg Kf d(x, x0 )

para cada para x, x0 de puntos de X, la funcion g f es de Lipschitz, con constante de

Lipschitz menor o igual que Kg Kf .
Consideremos un espacio metrico X y dos conjuntos disjuntos A y B de X. Decimos que
una funcion continua f : X R separa a A y B si f vale cero sobre A y uno sobre B. El
siguiente resultado muestra que para cada par de cerrados disjuntos hay una funcion continua
que los separa.
Teorema 7.37. Dados subconjuntos cerrados y no vacos C y D de un espacio metrico X,
tales que C D = , la funci
on C,D : X [0, 1], dada por
d(x, C)
C,D (x) := ,
d(x, C) + d(x, D)
est
a bien definida, es continua, se anula identicamente sobre C y es constantemente igual a 1
sobre D.
n. Por la Proposicion 6.34, como C y D son cerrados disjuntos,
Demostracio
d(x, C) + d(x, D) > 0 para todo x X.
Ademas, es claro que 0 C,D (x) 1 para todo x. Por lo tanto, la funcion C,D esta bien
definida. Para probar que continua es suficiente notar que es cociente de funciones reales que
lo son, y es obvio que vale cero sobre C y uno sobre D.
Corolario 7.38. Dados un cerrado D y un abierto U de X, con D U , existe una
on continua f : X [0, 1], tal que f|D = 1 y f|X\U = 0.
funci
n. Este resultado es una consecuencia inmediata del Teorema 7.37.
Demostracio
Corolario 7.39. Dados un punto x X y un entorno abierto U de x, existe una funci
on
continua f : X [0, 1], tal que f (x) = 1 y f|X\U = 0.
Demostracio n. Esto es una consecuencia inmediata del corolario anterior, porque los
puntos son cerrados.
Corolario 7.40. Dados subconjuntos cerrados y no vacos C y D de un espacio metri-
co X, tales que C D = , existen abiertos disjuntos U y V de X, tales que C U y D V .
Proposicio n 7.41. Consideremos espacios metricos X, Y y Z. Una funci on f : Z
X Y es continua de Lipschitz si y s
olo si lo son las composiciones pX f y pY f , de f con
onicas pX : X Y X y pY : X Y Y .
las proyecciones can
54
Funciones continuas, uniformemente continuas e isometras 3 Funciones de Lipschitz
Demostracio n. Para simplificar las expresiones que aparecen en la prueba escribimos

fX := pX f y fY := pY f . Como
d f (z), f (z 0 ) = max d fX (z), fY (z 0 ) , d fY (z), fY (z 0 ) ,

son equivalentes:
- Existe K R, tal que
d fX (z), fX (z 0 ) Kd(z, z 0 ) y d fY (z), fY (z 0 ) Kd(z, z 0 ) para todo z, z 0 Z.

- Existe K R, tal que

d f (z), f (z 0 ) Kd(z, z 0 ) < para todo z, z 0 Z.

Esto prueba que la afirmaci

on es verdadera.
on f : Z X es continua de Lipschitzsi y s
metricos y un espacio metrico Z. Una funci olo si
on pXj f , donde pXj : X Xj es la proyecci
la funci on canonica, es continua de Lipschitz
para todo j {1, . . . , n}.
Demostracio
fj : Xj Yj (1 j n).
Si las funciones fj son continuas de Lipschitz, entonces la aplicaci
on
f1 fn
X1 Xn Y1 Yn
(x1 , . . . , xn ) f1 (x1 ), . . . , fn (xn )
tambien lo es.
y que estas funciones son continuas de Lipschitz porque son composicion de funciones conti-
nuas de Lipschitz.
Proposicio on de Lipschitz f : X Y . La imagen por f
n 7.44. Consideremos una funci
de cada conjunto acotado A de X, es un conjunto acotado de Y .
n. Denotemos con K a la constante de Lipschitz de f . Como
Demostracio
d f (x), f (x0 ) Kd(x, x0 ) para todo x, x0 X,

si A tiene di
ametro M , entonces f (A) tiene diametro menor o igual que KM .
Observacio n 7.45. Para que valga el resultado anterior no es suficiente que f sea uni-
formemente continua. Si X es un espacio metrico no acotado, entonces la funci on identidad
id : Xd X, donde Xd es el conjunto subyacente de X dotado con la metrica discreta, es
uniformemente continua y aplica su dominio (que es un conjunto acotado) sobre su codomi-
nio (que no lo es). Es mas, cuando X es N (con la distancia usual), f es un isomorfismo
uniforme.
55
4 Isometras Funciones continuas, uniformemente continuas e isometras
Una funci on f : X Y es un isomorfismo de Lipschitz si es biyectiva, de Lipschitz, y su

inversa es de Lipschitz. Dos espacios metricos X e Y son isomorfos en el sentido de Lipschitz
si hay un isomorfismo de Lipschitz f : X Y . En ese caso escribimos X 'Lips Y . Tal como
ocurre con las relaciones ' y 'u , la relacion 'Lips es reflexiva simetrica y transitiva. Una
propiedad de un espacio metrico es una propiedad de Lipschitz si cada vez que un espacio la
tiene, la tienen tambien todos los que son isomorfos en el sentido de Lipschitz a el. Es claro
que las propiedades uniformes son propiedades de Lipschitz. Una propiedad de Lipschitz que
no es uniforme, es la de ser un espacio metrico acotado.
n 7.46. Para cada espacio normado E, las siguientes afirmaciones son ver-
Proposicio
daderas:
k k
1. La funci
on E / R0 es una funci
on corta.
+
on E E
2. La funci / E es de Lipschitz.
3. La funcion k E
/ E es continua. Adem on a Br (0) Br (0) es
as, su restricci
continua de Lipschitz, para todo r > 0.
4. Si k\{0} y a E, entonces la funci
on : E E, definida por ,a (x) := a+x,
es un isomorfismo de Lipschitz.
Demostracio n. El primer item se sigue facilmente de que, por el item 2 de la Proposi-
cion 1.1,
|kxk kx0 k| = |d(x, 0) d(x0 , 0)| d(x, x0 ) = kx x0 k
para todo x, x0 E. El segundo, de las desigualdades
k(x1 + x2 ) (x01 + x02 )k kx1 x01 k + kx2 x02 k 2k(x1 , x2 ) (x01 , x02 )k ,
las cuales son v alidas para todo x1 , x2 , x01 , x02 E. El tercero es verdadero porque
k x 0 x0 k ||kx x0 k + | 0 |kx0 k r | 0 | + kx x0 k 2rk(, x) (0 , x0 )k

para cada , 0 Brk (0) y cada x, x0 BrE (0). Por u

ltimo, para probar que lo es el cuarto basta
observar que ,a es continua de Lipschitz porque es composicion de las funciones Lipschitz
x 7 .x y x 7 a + x, que es inversible y que su inversa es una funcion del mismo tipo.
4. Isometras
on f : X Y es una isometra si d(x, x0 ) = d f (x), f (x0 ) para todo x, x0 X.

Una funci
Por ejemplo, dados un espacio metrico X y un subconjunto A de X, la inclusion canonica
iA : A X, de A en X, es una isometra, si (como es usual) se piensa al dominio dotado
con la metrica inducida por la de X. Las isometras son funciones cortas, pero en realidad la
definicion de isometra es mucho m
as fuerte, porque donde en la de funcion corta se pide que
valga una desigualdad, en la de isometra se pide que valga una igualdad.
Observacio n 7.47. Las isometras son funciones inyectivas. En efecto, si f : X Y es
una isometra, entonces
f (x) = f (x0 ) d f (x), f (x0 ) = 0 d(x, x0 ) = 0 x = x0 .

Por supuesto, esto no es verdad, si en lugar de tratar con espacios metricos, tratamos con
espacios pseudometricos.
Ejercicio 7.48. Muestre que existen isometras no sobreyectivas f : X X.
56
Funciones continuas, uniformemente continuas e isometras 4 Isometras
n 7.49. Si f : X Y y g : Y Z son isometras, entonces g f es una

Proposicio
isometra.
n. Porque
Demostracio
d g f (x), g f (x0 ) = d f (x), f (x0 ) = d(x, x0 )

para todo x, x0 X.
Observacio as precisamente, si f : X
n 7.50. Las isometras aplican bolas en bolas. M
Y es una isometra, entonces

f Br (x) = f (X) Br f (x) y f B r (x) = f (X) B r f (x) ,
para todo x X y r > 0.
Una funci on f : X Y es un isomorfismo isometrico si es biyectiva. Si este es este caso,
entonces su inversa es una isometra automaticamente. Dos espacios metricos X e Y son
isometricamente isomorfos o isometricos si hay una isometra biyectiva f : X Y . Si X e
Y son isometricos escribimos X 'Metr Y . Tal como ocurre con las relaciones ', 'u y 'Lips ,
la relacion 'Metr es reflexiva simetrica y transitiva. Una propiedad de un espacio metrico es
una propiedad metrica si cada vez que un espacio la tiene, la tienen tambien todos los que son
isometricos a el. Es evidente que las propiedades de Lipschitz son isometricas. Una propiedad
isometrica que no es de Lipschitz es el diametro del espacio.
57
Captulo 8
Espacios m
etricos separables
Un subconjunto A de un espacio metrico X es denso si A = X. Por ejemplo, Q y R \ Q

son densos en R. Recordemos que un conjunto A es contable si es finito o numerable. Un
espacio metrico es separable si tiene un subconjunto contable y denso.
Ejemplo 8.1. Por supuesto, todo espacio metrico contable es separable, y un espacio
metrico discreto es separable si y s
olo si es contable.
Ejemplo 8.2. Como Qn es numerable y denso en Rn , este espacio es separable.
Ejemplo 8.3. Dada cualquier familia {f1 , f2 , f3 , . . . } de funciones acotadas
fj : [0, 1] R,
on f : [0, 1] R, definida por
la funci
(
0 si x 6= n1 para todo n N,
f (x) :=
1 fn (x) si x = n1 ,
est
a a una distancia mayor o igual que 1 de todas las fj s. Por lo tanto B[0, 1] no es separable.
Una base de X es un conjunto B P(X), de subconjuntos abiertos de X, tal que
[
(11) U= V,
V B
V U
para todo abierto U de X. Por ejemplo los conjuntos

y B 0 = B1/n (x) : x X y n N

B = Br (x) : x X y r > 0
son bases de cada espacio metrico X.
Observacio n 8.4. La condici
on (11) se satisface si y s
olo si para cada abierto U de X y
cada x U , existe B B tal que x B U .
Observacio n 8.5. Si B es una base de X, entonces {U A : U B} es una base de A,
para cada subespacio A de X.
59
Espacios metricos separables
Observacio n 8.6. Consideremos espacios metricos X1 , . . . Xn . Si Bi es una base de Xi

(1 i n), entonces B1 Bn es una base de X1 Xn .
S
Un cubrimiento de X es cuaquier familia D de subconjuntos de X tal que X = AD A.
Un subconjunto D0 de D es un subcubrimiento de D si D0 tambien cubre X. Un cubrimiento
de X es abierto si todos sus miembros lo son.
n 8.7. Para cada espacio metrico X son equivalentes:
Proposicio
1. X es separable.
2. X tiene un subconjunto contable S tal que U S 6= , para todo subconjunto abierto
no vaco U de X.
3. X tiene un subconjunto contable S tal que Br (x) S 6= , para toda bola abierta Br (x)
de X.
4. X tiene una base contable.
5. Cada cubrimiento abierto de X tiene un subcubrimiento contable (propiedad de Lin-
deloff ).
6. Todo conjunto de abiertos de X, disjuntos dos a dos, es contable.
7. Todo conjunto de bolas abiertas de X, disjuntas dos a dos, es contable.
8. Todo subconjunto discreto de X es contable.
Demostracio n. 1. 2. Supongamos que S es un subconjunto numerable denso de X
y tomemos un abierto no vaco U . Por la Proposicion 6.34, como U es entorno de cada uno
de sus puntos, U S 6= .
2. 3. Esto es claro.
3. 1. Por la Proposicion 6.34, la condicion 3 dice que S = X.
1. 4. Afirmamos que para cada conjunto contable denso {xn X : n N}, el conjunto
n o
B 1 (xn ) : n, m N
m
es una base contable de X. Para comprobarlo, dados una bola abierta Br (x) y un punto
y Br (x), tomemos m N tal que B 2 (y) Br (x) y elijamos xn B 1 (y). Es evidente que
m m
entonces y B 1 (xn ) B 2 (y) Br (x).
m m
4. 5. Fijemos una base contable B := {Un : n N} de X. Dado un cubrimiento abierto

{Vj : j J} de X, consideremos el subconjunto {Un1 , Un2 , . . . } de B formado por los Ui s tales
que Ui Vj para algun j. Para cada ni , tomemos un Vj tal que Uni Vj y llamemoslo Vni .
Entonces [ [
Vni Uni = X,
iN iN
S
ltima igualdad se sigue de que Vj = {Un : Un Vj }, para cada j J.
donde la u
5. 3. Por hip
otesis, para cada n N el cubrimiento abierto
n o
Vn := B 1 (x) : x X
n
tiene un subcubrimiento contable V

en := {B 1 (xm,n ) : m N}. Afirmamos que el conjunto
n
contable A := {xn,m : n, m N} es denso en X. En efecto, dados x X y > 0, tomemos
60
un numero natural n 1/ y elijamos xm,n tal que x B 1 (xm,n ). Entonces xm,n B (x).
n
Como es arbitrario, esto termina la demostracion.
4. 6. Consideremos una base arbitraria B de X. Si hay un conjunto no contable U, de
abiertos disjuntos dos a dos de X, entonces cada elemento no vaco de U incluye un elemento
de B. Por lo tanto, B no puede se contable.
6. 7. Esto es claro.
7. 8. Fijemos un subconjunto discreto D de X y, para cada elemento x de D, escri-
bamos rx := d(x, D \ {x}). Por hipotesis, rx > 0. Afirmamos que los elementos del conjunto
n o
U := B rx (x) : x D ,
2
son disjuntos dos a dos. En efecto, si B rx (x) B rx0 (x0 ) 6= , entonces por la propiedad
2 2
triangular
rx rx0
d(x, x0 ) + max(rx , rx0 ),
2 2
lo que es absurdo. Esto prueba la afirmacion. Entonces U es contable y, por lo tanto, tambien
lo es D.
8. 1. Fijado n N, consideremos el conjunto Dn , constitudo por todos los subconjuntos D
de X tales que d(x, x0 ) n1 para todo x, x0 D, dotado con el orden definido por inclusion.
Si {D : } es una cadena de elementos de Dn , entonces
[
De := D

pertenece a Dn , porque dados x, x0 D,

e existe tal que x, x0 D . En consecuen-
cia, por el Lema de Zorn Dn tiene elementos maximales. Elijamos uno D(n). Notemos
que d(x, D(n)) < n1 , para todo x X, debido a que de lo contrario D(n) {x} pertene-
cera a Dn , lo que contradice la maximalidad de D(n). De esto se sigue inmediatamente
que [
D(n)
nN
es denso en X. Adem
as es contable, porque cada uno de los D(n)s lo es.
Proposicio n 8.8. Si X es un espacio metrico separable, entonces cada subespacio A de
X es separable.
n. Es una consecuencia inmediata de la Observacion 8.5 y la Proposi-
Demostracio
cion 8.7.
Ejercicio 8.9. Pruebe que si un espacio metrico es una uni
on contable de subespacios
separables, entonces es separable.
Proposicio n 8.10. Un producto X1 Xn de espacios metricos, es separable si y
s
olo si cada Xi s lo es.
n. Para cada j {1, . . . , n}, la funcion
Demostracio
j
Xj X1 Xn
x (x1 , . . . , xi1 , x, xi+1 , . . . , xn )
61
donde (x1 , . . . , xn ) es un elemento de X1 Xn , es un homeomorfismo con su imagen. En

consecuencia, por la Proposici on 8.8, si X1 Xn es separable, entonces cada Xi lo es.
La recproca se sigue inmediatamente de que un producto finito de conjuntos contables es un
conjunto contable y de la Proposici on 6.36 (alternativamente, pueden usarse la Proposicion 8.7
y la Observaci on 8.6).
Recordemos que 0 es el cardinal de los n umeros naturales, y que el cardinal del continuo c
es el cardinal del conjunto {0, 1}N , de funciones de N en 0, 1. As, c = 20 . Es facil ver que el
cardinal de R es c. Esa es la raz
on del nombre cardinal del continuo. El siguiente resultado
muestra que un espacio separable no puede tener mas elementos que R.
Teorema 8.11. Si X es un espacio metrico separable, entonces su cardinal \(X) es menor
o igual que c.
Demostracio n. Tomemos una base contable B de X y pongamos sus elementos en
sucesion U1 , U2 , U3 , . . . (en la lista formada por los Ui s puede haber repeticiones, de hecho,
si X es finito necesariamente las hay, pero esto no afecta nuestro argumento). Definimos
: X {0, 1}N por (
1 si x Ui ,
(x)i :=
0 en caso contrario.
Consideremos x, x0 X. Por el Corolario 7.40, si x 6= x0 , entoncen existen abiertos disjuntos
V y W de X tales que x V y x0 W . Como B es una base, existe Ui tal que x Ui V . En
consecuencia x0
/ Ui . As (x)i = 1 y (x0 )i = 0. Esto muestra que es inyectiva, y termina
la demostraci
on.
Un punto x X es un punto de condensaci on de un conjunto A X, si Br (x) A no es
un r > 0. Dado A X, denotamos con As al conjunto de los puntos de
contable para ning
condensaci on se sigue inmediatamente que si A B, entonces As B s .
on de A. De la definici
n 8.12. Si X es separable y A X no es contable, entonces As A 6= .
Proposicio
Demostracio n. Fijemos una base contable B = {U1 , U2 , . . . } de A. Si A As = ,
S x A, existe Ui B tal que x Ui y A Ui es contable. Pero esto
entonces, para cada
implica que A = {A Ui : \(A Ui ) 0 } es contable.
El siguiente resultado mejora la proposicion anterior.
Proposicio n 8.13. Si X es un espacio metrico separable y A X no es contable, en-
tonces A \ (As A) es contable.
n. Si A \ (As A) no fuera contable, entonces por el teorema anterior
Demostracio
s
As A \ (As A) A \ (As A) A \ (As A) 6= ,

lo que es absurdo.
Corolario 8.14. Si X es un espacio metrico separable y no contable, entonces X \ X s
es contable.
n. Es un caso particular de la Proposicion 8.13.
Demostracio
Proposicio n 8.15. Si X es separable, entonces el conjunto As , de los puntos de conden-
saci
on de A, es perfecto para cada subconjunto A de X.
62
Demostracio n. Debemos probar que As es cerrado y sin puntos aislados. Por la defini-
cion de clausura, cada bola abierta Br (x), cuyo centro es un punto x de As , tiene un punto
x0 As . Como Br (x) es abierto, incluye a una bola Br0 (x0 ), con centro x0 . Como esta bola
tiene una cantidad no contable de puntos de A, la primera tambien los tiene. Esto prueba
que x As y, por lo tanto, que As es cerrado. Pasando a la otra cuestion, si U es un entorno
abierto de un punto x de As , entonces U (A \ {x}) es no contable. En consecuencia, por la
Proposicion 8.12,
s
U (As \ {x}) U (A \ {x}) U (A \ {x}) 6= .
Esto prueba que x es un punto de acumulacion de As .
Ejercicio 8.16. Pruebe que si X no es separable, entonces As es cerrado para cada
subconjunto A de X, pero puede tener puntos aislados.
63
Captulo 9
Espacios m
etricos completos
Una sucesi
on (xn )nN de puntos de un espacio metrico X es de Cauchy si para todo > 0
existe n0 N tal que d(xn , xm ) < siempre que n, m n0 .
n 9.1. Toda sucesi
Proposicio on convergente (xn )nN de puntos de X es de Cauchy.
Demostracio n. Escribamos x = lmn xn y tomemos n0 N tal que d(x, xn ) < 2 si
n n0 . Entonces d(xn , xm ) d(xn , x) + d(x, xm ) < siempre que n, m n0 .
on anterior es falsa. Por ejemplo, la sucesion n1 nN es de

La recproca de la proposici
cauchy en X := R \ {0} y no es convergente (no al menos en ese espacio). En este ejemplo el
espacio X puede sumergirse en otro en el que toda sucesion de Cauchy es convergente (se trata
del espacio R, que, como veremos pronto, tiene esta propiedad). Mas adelante probaremos
que este es un fenomeno general.
Antes de introducir los espacios que vamos a estudiar en este captulo, veamos que una
condicion que evidentemente es necesaria para que una sucesion de Cauchy converja, tambien
es suficiente.
Proposicio n 9.2. Si una sucesi
on de puntos de X es de Cauchy y tiene una subsucesi
on
convergente, entonces es convergente.
Demostracio n. Supongamos que x1 , x2 , . . . es una tal sucesion y que xs1 , xs2 , . . . es
una subsucesi
on convergente. Escribamos x := lmn xsn . Por hipotesis, dado > 0 existe
n0 N, tal que d(xsl , x) < /2 y d(xn , xm ) < /2 siempre que l, m, n n0 . Elijamos l n0 .
Entonces,
d(xn , x) d(xn , xsl ) + d(xsl , x) < /2 + /2 = ,
siempre que n n0 , puesto que sl n0 .
1. Definici
on y primeros ejemplos
Un espacio metrico es completo si todas sus sucesiones de Cauchy son convergentes. Por
ejemplo, todo espacio metrico discreto es completo porque sus sucesiones de Cauchy son
finalmente constantes, y Q no lo es.
65
1 Definicion y primeros ejemplos Espacios metricos completos
Lema 9.3. Si (xn )nN es una sucesi

on de Cauchy de elementos de R, entonces su imagen
es un conjunto acotado.
Demostracio n. Puesto que (xn )nN , existe n0 N tal que d(xn , xn0 ) < 1 si n n0 .
Por lo tanto
{xn : n N} xn : n < n0 xn0 1, xn0 + 1 ,
lo que termina la prueba.
Teorema 9.4. R es completo.
Demostracio n. Debemos verificar que en R toda sucesion de Cauchy (xn )nN converge.
Por la Proposici
on 9.2, para ello es suficiente ver que (xn )nN tiene una subsucesion conver-
gente o, lo que es igual, un punto de aglomeracion. Pero esto es cierto porque, como por el
Lema 9.3 el conjunto {xn : n N} es acotado, lmn sup xn R y, por la Observacion 5.19, es
un punto de aglomeraci on de (xn )nN .
n 9.5. Todo subconjunto cerrado C de un espacio metrico completo X es
Proposicio
completo.
Demostracio n. Como X es completo, toda sucesion de Cauchy (xn )nN converge a un
punto x X. Adem as, por la Proposicion 6.34, sabemos que x es un punto de acumulacion
de C. Puesto que C es cerrado, de esto se sigue inmediatamente que x pertenece a C.
Corolario 9.6. Los subconjuntos cerrados de R son espacios metricos completos.
n. Por las Proposiciones 9.4 y 9.5.
Demostracio
El siguiente resultado muestra que la recproca de la Proposicion 9.5 vale aunque el espacio
ambiente no sea completo.
Proposicio n 9.7. Si C es un subespacio completo de un espacio metrico X, entonces C
es un subconjunto cerrado de X.
Demostracio n. Dado x C, tomemos una sucesion (xn )nN de puntos de C que tiende
a x. Como es convergente, (xn )nN es de Cauchy. Por lo tanto, como C es completo, converge
en C. Como su lmite no puede ser otro que x, esto implica que x C. As, C = C.
Proposicio n 9.8. Todo producto X1 Xn de espacios metricos completos X1 , . . . , Xn ,
es un espacio metrico completo.
Demostracio n. Como una sucesion de puntos de X := X1 Xn converge si y solo
si cada una de sus sucesiones coordenadas converge, para concluir que la afirmacion hecha en
el enunciado es verdadera debemos mostrar que una sucesion (xn )nN de puntos de X es de
Cauchy si y s on pXj (xn ) nN , donde pXj : X Xj es la proyeccion canonica
olo si la sucesi
a la j-esima coordenada, es de Cauchy para todo j {1, . . . , n}. Pero esto es cierto porque,
por la definici
on de d ,

d (xm , xn ) = max d pXj (xm ), pXj (xn )
1jn
para todo m, n N.
Corolario 9.9. Rn es un espacio metrico completo para todo n N0 .
Demostracio n. Para n = 0 esto es claro porque R0 = {0}, y para n > 0 es un caso
particular de la Proposici
on 9.8.
66
Espacios metricos completos 1 Definicion y primeros ejemplos
Teorema 9.10. Para cada espacio metrico X son equivalentes:

1. X es completo.
2. Para toda cadena decreciente B1 B2 B3 , de bolas cerradas cuyos radios
tienden a cero,
\
Bn 6= .
n=1
3. Para toda cadena decreciente C1 C2 C3 , de subconjuntos cerrados no vacos
de X tal que lmn di
am(Cn ) = 0,

\
Cn 6= .
n=1
4. Para toda cadena decreciente C1 C2 C3 , de subconjuntos cerrados no vacos

am(Cn ) = 0, existe x X tal que
de X tal que lmn di

\
Cn = {x}.
n=1
Demostracio n. 1. 2. Para cada n N, tomemos un punto xn Bn . Como el radio

de Bn tiende a 0 cuando n tiende a infinito, la sucesion x1 , x2 , x3 , . . . es de Cauchy. En
consecuencia, como X es T completo, existe x = lmn xn . Es evidente que x Bn = Bn para
todo n. Por lo tanto x {Bn : n N}.
2. 3. Elijamos n1 < n2 < n3 < . . . tales que diam(Cni ) < 1/2i , y para cada i N
tomemos xni Cni . Es evidente que Cni+1 Cni B1/2i (xni ) para todo i N. En particular
xni+1 B1/2i (xni ). Por consiguiente
d(y, xni ) d(y, xni+1 ) + d(xni+1 , xni ) 1/2i + 1/2i = 1/2i1 ,

para todo y B1/2i (xni+1 ), de modo que
B1/2i (xni+1 ) B1/2i1 (xni ).
T
En consecuencia, por el item 2, existe x i B1/2i (xni+1 ). Como
1
d(xni , x) para todo i N,
2i1
la sucesion (xni )iN tiende a x, y como
xni+j Ci para todo i N y todo j 0,
y estos conjuntos son cerrados, x Ci para todo i N, por lo que
\
x {Ci : i N},
que por lo tanto es no vaco, como queramos.
3. 4. Como lmn di am(Cn ) = 0, la interseccion de los Cn s no puede tener mas de un
punto, pero por el item 3 sabemos que por lo menos tiene uno.
4. 1. Fijemos una sucesi on x1 , x2 , x3 , . . . de elementos de X. Para cada n N tomemos
Cn = {xn , xn+1 , xn+2 , . . . }. Si x1 , x2 , x3 , . . . es de Cauchy, entonces lmn diam(Cn ) = 0 y,
67
1 Definicion y primeros ejemplos Espacios metricos completos
en consecuencia,

\
Cn = {x}.
n=1
un x X. Afirmamos que lmn xn = x. En efecto, puesto que dado > 0, existe
para alg
n0 N tal que
di
am(Cn ) < para todo n > n0 ,
y puesto que x y xn pertenecen a Cn ; dado > 0, existe n0 N (el mismo n0 ) tal que
d(x, xn ) < para todo n > n0 .
As, lmn xn = x.
Una funci on f : Z X, de un conjunto Z en un espacio metrico X, es acotada si

diam(f (Z)) < , es decir si su imagen es un conjunto acotado. Para sucesiones (el caso
Z = N) esta definici on fue dada en el Ejercicio 5.10, y para funciones f : [a, b] R, donde
[a, b] es un intervalo cerrado de R, la supusimos conocida por el lector cuando dimos el tercero
de los Ejemplos 1.2 de espacios metricos. El conjunto
B(Z, X) := {f : Z X : f es acotada}
es un espacio metrico via
d (f, g) := sup d(f (z), g(z)).
zZ
Nota 9.11. En el Captulo 1 escribimos B[a, b] en lugar de B([a, b], R), pero en este y
en los que siguen no usaremos esa notaci on simplificada. Lo mismo ocurrira con la notaci
on
para el espacio de las funciones continuas y acotadas C[a, b], cuando consideremos casos mas
generales, lo que haremos pronto.
on de funciones fn B(Z, X) es uniformemente de Cauchy si
Decimos que una sucesi
(fn )nN es de Cauchy en B(Z, X) y que tiende uniformemente a f B(Z, X) si tiende a f
en B(Z, X). En este caso tambien escribimos
fn unif / f o f = lm fn .
unif
Ejemplo 9.12. Los elementos de B(Z, R) son las funciones acotadas en el sentido usual
de Z en R; en cambio, cuando X es (R, d), donde d(x,
y) := mn(1, |x y|), (vease el Ejer-
cicio 1.6) B(Z, X) es el conjunto de todas las funciones de Z en R. M as generalmente, si
(X, d) es cualquier espacio metrico y
y) := mn(1, d(x, y)),
d(x,
= X Z . Adem
entonces B(Z, (X, d)) as, como
d (f, g) = mn(1, d (f, g)) para cada f, g B(Z, (X, d)),
la inclusi
on canonica i : (B(Z, (X, d), d ) (B(Z, (X, d), d ) es un isomorfismo uniforme
de B(Z, (X, d), d ) con su imagen.
Teorema 9.13. Si X es completo, entonces B(Z, X) tambien lo es.
68
Espacios metricos completos 2 Completaci
on
Demostracio n. Por la definici

on de d , si f1 , f2 , . . . es una sucesion uniformemente de
Cauchy de puntos de B(Z, X), entonces f1 (z), f2 (z), . . . es una sucesion de Cauchy en X, y
por lo tanto convergente, para cada z Z. Denotemos con f : Z X a la funcion definida
por
f (z) = lm fn (z).
n
Como (fn )nN es uniformemente de Cauchy, dado > 0, existe n0 N tal que d (fn , fm ) <
siempre que n, m n0 . En consecuencia, si n n0 , entonces
d(fn (z), f (z)) = lm d(fn (z), fm (z)) ,
m
para todo z Z. As, fn tiende a f uniformemente. Para ver que f es acotada es suficiente
notar que si d (fn (z), f (z)) < 1 para todo z Z, entonces
d(f (z), f (z 0 )) d(f (z), fn (z)) + d(fn (z), fn (z 0 )) + d(fn (z 0 ), f (z 0 )) 2 + diam fn (Z)
para todo z, z 0 Z.
El teorema anterior nos permite dar una prueba alternativa de que Rn es un espacio
metric completo.
Corolario 9.14. (Rn , d ), donde d es la distancia introducida en el item 2 de los
Ejemplos 1.2, es completo para todo n N0 .
Demostracio n. Porque R es completo y hay un isometra biyectiva evidente entre
(Rn , d ) y (B({1, . . . , n}, R), d ) (esto justifica el uso del mismo smbolo para designar a
las funciones distancia de ambos espacios).
Supongamos que Z tambien es un espacio metrico y denotemos con C(Z, X) a
C(Z, X) = {f B(Z, X) : f es continua}.
Teorema 9.15. C(Z, X) es un subconjunto cerrado en B(Z, X) y, por lo tanto, es un
espacio metrico completo.
Demostracio n. Consideremos funciones fn C(Z, X) y f B(Z, X), donde n N.
Supongamos que fn unif / f y fijemos z0 Z. Dado > 0, tomemos n0 N tal que
d (fn0 , f ) < 3 . Como fn0 es continua, existe > 0 tal que d(fn0 (z), fn0 (z0 )) < 3 si z B (z0 ).
As, para todo z B (z0 ),
d(f (z), f (z0 )) d(f (z), fn0 (z)) + d(fn0 (z), fn0 (z0 )) + d(fn0 (z0 ), f (z0 )) < .
Como z0 es arbitrario, esto prueba el teorema.
2. Completaci
on
Consideremos espacios metricos X y X 0 . Recordemos que una funcion f : X Y es
uniformemente continua si para todo > 0, existe > 0 tal que d(f (x), f (x0 )) < siempre
que d(x, x0 ) < . Un resultado sencillo pero importante, es que toda funcion uniformemente
continua transforma sucesiones de Cauchy en sucesiones de Cauchy.
Teorema 9.16. Supongamos que A X es un conjunto denso y f : A X 0 es una
funci
on continua (aqu estamos considerado a A con la metrica inducida por la de X). Los
siguientes hechos valen:
69
2 Completacion Espacios metricos completos
1. Si g : X X 0 y h : X X 0 son funciones continuas que extienden a f (es decir tales

que g(x) = h(x) = f (x) para todo x A), entonces g = h.
2. Si f es uniformemente continua y X 0 es completo, entonces existe una funcion uni-
formemente continua g : X X 0 , que extiende a f . Adem
as, si f es una isometra,
entonces g tambien lo es.
Demostracio n. 1. Denotemos con C a {x X : g(x) = h(x)}. Debemos probar que
C = X. Para ello, como A C y A = X, basta comprobar que C es cerrado, pero esto es una
consecuencia inmediata de que si x1 , x2 , . . . es una sucesion de puntos de C y x = lmn xn ,
entonces g(x) = lmn g(xn ) = lmn h(xn ) = h(x).
2. Dado x X, tomemos una sucesion x1 , x2 , . . . de puntos de A que tiende a x. Como f
es uniformemente continua, la sucesi on f (x1 ), f (x2 ), . . . es de Cauchy y, por lo tanto, siendo
0
X completo, convergente. Definimos g(x) = y, donde y = lmn f (xn ). Debemos probar
que esta definici on no depende de la sucesion elegida. Supongamos que empezando con otra
sucesion x01 , x02 , . . . de puntos de A que tiende a x, obtenemos y 0 = lmn f (x0n ). Entonces la
sucesion f (x1 ), f (x01 ), f (x2 ), f (x02 ), . . . es convergente y tiene subsucesiones que convergen a y
e y 0 . En consecuencia, y = y 0 . Para concluir la demostracion, debemos probar que g extiende
a f , es uniformemente continua y es una isometra si f lo es. Si x A, entonces tomando
xn = x para todo n, vemos que g(x) = lmn f (xn ) = f (x). Esto prueba que lo primero
es cierto. Adem as, como f es uniformemente continua, para todo > 0, existe > 0 tal que
d(f (x), f (x )) < si x, x0 A y d(x, x0 ) < . Dados x
0 e, xe0 X tales que d(e e0 ) < , elijamos
x, x
0 0
sucesiones x1 , x2 , . . . y x1 , x2 , . . . de puntos de A, tales que x e = lmn xn y xe0 = lmn x0n .
Entonces lmn d(xn , xn ) = d(e 0 x, x 0
e ) < , y as,
d(g(e x0 )) = lm d(f (xn ), f (x0n )) .
x), g(e
n
Esto prueba que lo segundo tambien es cierto, y es evidente que lo es lo tercero.
Una completaci on de un espacio metrico X es un espacio metrico completo X 0 , junto

con una isometra i : X X 0 tal que i(X) es denso en X 0 . Notemos que por el item 1 del
Teorema 9.16, la metrica de X 0 est
a determinada por la de X y por i. Esto tambien se deduce
facilmente del siguiente teorema.
Teorema 9.17. Todo espacio metrico X tiene una completaci on. Adem as, dadas com-
pletaciones (X10 , i1 ) y (X20 , i2 ), existe una u
nica isometra biyectiva f : X10 X20 tal que el
diagrama
i2
X / X0
}>
2
i1 }
}f
}
X10
conmuta.
n. Unicidad: Aplicando el Teorema 9.16 a las funciones
Demostracio
i2 i1 0
1 : i1 (X) X2 e i1 i1 0
2 : i2 (X) X1 ,
obtenemos isometras f : X10 X20 y g : X20 X10 , respectivamente. Como i1 (X) es denso en
X10 y g f|i1 (X) : i1 (X) X10 es la inclusion, g f = idX10 . Analogamente, f g = idX20 .
70
Espacios metricos completos 2 Completaci
on
Existencia: Fijemos a X y consideremos la funcion ia : X B(X, R), definida por

ia (x)(y) := d(x, y) d(a, y).
La igualdad |d(x, y) d(a, y)| d(x, a) muestra que, efectivamente, ia (x) es acotada. Dado
que
d (ia (x), ia (x0 )) = sup |ia (x)(y) ia (x0 )(y)| = sup |d(x, y) d(x0 , y)| d(x, x0 )
yX yX
y
d (ia (x), ia (x0 )) |ia (x)(x) ia (x0 )(x)| = |d(x, x) d(x0 , x)| = d(x, x0 ),
la funcion ia es una isometra. Es claro ahora que (ia (X), ia ) es una completacion de X.
71
Captulo 10
M
etricas Equivalentes
Decimos que dos metricas d1 y d2 de un conjunto X son topol ogicamente equivalentes y

escribimos d1 d2 si (X, d1 ) y (X, d2 ) si la funcion identidad id : (X, d1 ) (X, d2 ) es un
homeomorfismo, y que d1 y d2 son uniformemente equivalentes, si la funcion idX es unifor-
memente continua cuando consideramos al dominio provisto de la metrica d1 y al codominio
de la metrica d2 , y cuando consideramos al dominio con la metrica d2 y al codominio con la
u
nalamos este hecho escribiendo d1 d2 .
metrica d1 . Se
u
n 10.1. Las relaciones y son de equivalencia.
Observacio
Proposicio n 10.2. Para cada par d1 y d2 de metricas definidas sobre un conjunto X,
son equivalentes
1. d1 y d2 son topol ogicamente equivalentes.
2. (X, d1 ) y (X, d2 ) tienen los mismos abiertos.
3. (X, d1 ) y (X, d2 ) tienen los mismos cerrados.
4. Para cada x X y cada > 0 existe > 0 tal que
Bd1 (x) Bd2 (x) y Bd2 (x) Bd1 (x).
on (xn )nN de puntos de X tiende a x X en (X, d1 ) si y s
5. Una sucesi olo si tiende
a x en (X, d2 ).
Demostracio n. 1. 2. Por la equivalencia entre los items 1 y 2 del Teorema 7.3.
2. 3. Porque un conjunto es cerrado si y solo si es el complemento de un abierto.
2. 4. Por la definici
on de subconjunto abierto de un espacio metrico, dada al comienzo de
la Seccion 1.
1. 5. Por la equivalencia entre los items 1 y 4 de la Proposicion 7.2.
Observacio n 10.3. Si d1 y d2 son metricas uniformemente equivalentes de X, entonces
(X, d1 ) y (X, d2 ) tienen las mismas sucesiones de Cauchy. En consecuencia, uno es completo
si y s
olo si el otro lo es.
73
Metricas Equivalentes
on 1.5 sabemos que si f : R0 R0 es una funcion creciente que satisface

Por la Proposici
f 1 (0) = {0} y f (x + y) f (x) + f (y) para todo x, y R0 ,
y d es una funci on distancia definida sobre un conjunto X, entonces f d tambien es una
funcion distancia. A continuaci
on establecemos condiciones necesarias y suficientes para que
f d sea equivalente a d para toda distancia d.
on f : R0 R0 que satisface las condiciones men-
Lema 10.4. Consideremos una funci
cionadas arriba. Son equivalentes:
1. f es continua.
2. f es continua en 0.
3. La funcion identidad id : (X, d) (X, f d) es uniformemente continua para cada
espacio metrico (X, d).
4. La funcion identidad id : (X, d) (X, f d) es continua para cada espacio metri-
co (X, d).
Demostracio n. Es claro que 1 2 y 3 4.
2. 3. Por hipotesis, sabemos que para cada > 0 existe > 0 tal que f (t) < si t < .
En consecuencia f d(x, x0 ) < siempre que d(x, x0 ) < .
4. 1. Tomemos (X, d) como R0 provisto de la metrica usual. Entonces
d := f d(x, y) = f (|x y|).
Por el item 2 de la Proposicion 1.1,
0) d(y,
|f (x) f (y)| = |d(x, 0)| d(x,
y) para todo x, y R.
As, la funci
on

(R0 , d) R
x f (x)
es continua. Pero entonces por el item 4 tambien lo es f : R0 R.

Lema 10.5. Para cada funcion f : R0 R0 que satisface las condiciones requeridas en
el lema anterior son equivalentes:
1. Para todo > 0 existe > 0 tal que f (x) < x < .
2. La funcion identidad id : (X, f d) (X, d) es uniformemente continua para todo
espacio metrico (X, d).
3. La funcion identidad id : (X, f d) (X, d) es continua para todo espacio metri-
co (X, d).
Demostracio n. Es claro que 2 3.
1. 2. Dado > 0, si tiene la propiedad pedida en el item 1, entonces
f d(x, x0 ) < d(x, x0 ) < .
3. 1. Tomemos como (X, d) el conjunto R0 , de los reales no negativos, provisto de la
distancia usual. Como id : (R0 , f d) (R0 , d) es continua en 0, dado > 0, existe > 0
tal que f (x) = f d(x, 0) < x = d(x, 0) < .
74
Metricas Equivalentes
Proposicio on f : R0 R0 que satisface las condiciones men-

n 10.6. Para cada funci
cionadas arriba del Lema 10.4, son equivalentes:
1. f es continua y para todo > 0 existe > 0 tal que f (x) < x < .
2. f es continua en 0 y para todo > 0 existe > 0 tal que f (x) < x < .
3. (X, f d) es equivalente a (X, d) para todo espacio metrico (X, d).
4. (X, f d) es uniformemente equivalente a (X, d) para todo espacio metrico (X, d).
n. Basta combinar los Lemas 10.4 y 10.5.
Demostracio
Observacio n 10.7. La condici
on en el item 1 se satisface si existe un a > 0 tal que
f : [0, a) [0, f (a) es un homeomorfismo.
Ejercicio 10.8. Pruebe que dos metricas d1 y d2 de un conjunto X son uniformemente
equivalentes si y s
olo si para cada > 0 existe > 0 tal que
Bd1 (x) Bd2 (x) y Bd2 (x) Bd1 (x).
para todo x X.
Ejercicio 10.9. Pruebe que en Rn todas las distancias dp (1 p ), introducidas en
los items 1 y 2 de los Ejemplos 1.2, son uniformemente equivalentes. Concluya que Rn es
completo con cada una de ellas.
75
Captulo 11
El Teorema del punto fijo para

contracciones
on f : X X es una contracci
Una funci on si existe 0 < k < 1 tal que
d(f (x), f (y)) kd(x, y) para todo x, y X.
Es claro que toda contracci
on es uniformemente continua.
Teorema 11.1 (Teorema del punto fijo para contracciones). Si (X, d) es un espacio
on f : X X tiene un u
metrico completo, entonces toda contracci nico punto fijo.
Demostracio n. Unicidad: Si f (x) = x y f (y) = y, entonces d(x, y) = d(f (x), f (y))
kd(x, y). Como k 6= 1, esto implica que x = y.
Existencia: Elijamos x0 X y consideremos la sucesion x0 , x1 , x2 . . . , donde xn = f n (x0 ).
Como f es una contracci on, para todo m n,
d(xn , xm ) = d(f n (x0 ), f m (x0 ))
k n d(x0 , f mn (x0 ))
mn1
X
kn d(f i (x0 ), f i+1 (x0 ))
i=0
mn1
!
X
n i
k k d(x0 , f (x0 ))
i=0
kn
d(x0 , f (x0 )).
1k
En consecuencia, como k n tiende a 0 cuando n tiende a infinito, x0 , x1 , x2 , . . . es de Cauchy.
Escribamos x = lmn xn . Entonces
f (x) = f ( lm f n (x0 )) = lm f n+1 (x0 ) = x.
n n
lo que termina la prueba.
77
El Teorema del punto fijo para contracciones
Nota 11.2. La demostraci

on no s olo prueba que el punto fijo existe, al mostrar que para
todo x X la sucesi
on
x, f (x), f 2 (x), f 3 (x), . . . , f n (x), . . .
converge al punto fijo de X, tambien da un metodo para aproximarlo con precisi
on arbitraria.
Ejemplo 11.3. Dada una matriz

a11 a1m
.. .. .. Rmm
A= . . .
am1 amm
y un vector columna ~b Rm , consideremos la aplicaci

on
T : Rm Rm
definida por T (~x) := A~x + ~b para cada vector columna ~x Rm . Queremos encontrar condi-
ciones para que T sea una contracci on. Esto depende de la metrica que le demos a Rm . Con
la metrica d obtenemos

m
X

d (T (~x), T (~y )) = max
aij (xj yj )
i
j=1

Xm
max |aij ||xj yj |
i
j=1

m
X
max |aij | d (~x, ~y ),
i
j=1
donde x1 , . . . , xm e y1 , . . . , ym denotan a las coordenadas de ~x y ~y , respectivamente. Esto nos

da la condici on
Xm
|aij | < 1 para 1 i 1.
j=1
Con la metrica d1 , obtenemos

m X
m

X
d1 (T (~x), T (~y )) =
a ij (x j yj )

i=1 j=1

m X
X m
|aij ||xj yj |
j=1 i=1
m
!
X
max |aij | d1 (~x, ~y ),
j
i=1
lo que da la condici
on
m
X
|aij | < 1 para 1 j m.
i=1
78
Finalmente, si usamos la metrica dp con 1 < p < , entonces por la desigualdad de Holder
p
m
X Xm
dp (T (~x), T (~y ))p = aij (xj yj )
i=1 j=1
v v p
m
X uXm uXm
u u
q
t |aij |q t
p |xj yj |p
i=1 j=1 j=1
v p
m
X uXm
|aij |q dp (~x, ~y )p ,
u
= q
t
i=1 j=1
donde 1 < q < est a definido por la igualdad 1/p + 1/q = 1. As, usando esta metrica
obtenemos la condici
on v p
m
um
X uX
t q |aij |q < 1,
i=1 j=1
Pm
la cual para p = 2 se transforma en i,j=1 a2ij < 1. En consecuencia, bajo cualquiera de estas
condiciones la ecuacion T (~x) = ~x tiene una soluci
on u as, lmn T n (~x) = ~x0 ,
nica ~x0 . Adem
m
para todo ~x R .
Ejemplo 11.4. Ahora probaremos un famoso teorema de Picard acerca de la existencia y
unicidad de las soluciones de ciertas ecuaciones diferenciales. En el proceso usaremos libre-
mente el concepto de derivada e integral de funciones reales con valores en Rn . Supongamos
que tenemos una ecuaci on diferencial
d~y
= f~(x, ~y ),
dx
donde f~ : U Rn es una funci on continua definida en un abierto U de R Rn . Si existe un
M 0 tal que f~ satisface la siguiente condici on de Lipschitz con respecto a ~y :
d f~(x, ~y1 ), f~(x, ~y2 ) M d (~y1 , ~y2 ) para todo (x, ~y1 ) y (x, ~y2 ) en U ,

entonces para cada (x0 , ~y0 ) U existe un segmento [x0 d, x0 + d] y una u nica funci
on
diferenciable n
~ : [x0 d, x0 + d] R , cuyo gr
afico pasa por (~x0 , ~y0 ), tal que
d~

~ (x)) U
(x, y (x) = f~(x,
~ (x)) para todo x [x0 d, x0 + d],
dx
~ (x)) U para todo x [x0 d, x0 + d] y
o, equivalentemente, tal que (x,
Z x
(12)
~ (x) = ~y0 + f~(t,
~ (t)) dt.
x0
En efecto, como f~ es continua existen K 0 y un entorno abierto V de (x0 , ~y0 ) includo en

U , tal que kf~(x, ~y )k K para todo (x, ~y ) V . Elijamos d > 0 tal que
- Si |x x0 | d y d (~y , ~y0 ) Kd, entonces (x, ~y ) V ,
- M d < 1.
79
Denotemos con C al espacio de las funciones continuas : [x0 d, x0 + d] Rn tales que

~ (x), ~y0 Kd para todo x [x0 d, x0 + d], dotado de la metrica
d

d (~
1 ,
~ 2) = max d ~ 1 (x),
~ 2 (x) .
x[x0 d,x0 +d]
Es f
acil ver que Ces un subespacio cerrado del espacio de las funciones continuas y acotadas
C([x0 d, x0 + d], Rn ), donde a Rn lo consideramos provisto de la metrica d y que, por lo
tanto, es completo. Consideremos la aplicaci on A : C C([x0 d, x0 + d], Rn ), definida por
Z x
A(~)(x) = ~y0 + f~(t,
~ (t)) dt.
x0
Dado que
x
Z
f~(t,

d A(~
)(x), ~y0 =
~ (t)) dt
K|x x0 |,
x0
la imagen de A cae dentro de C . Ademas A es una contracci on, ya que
Z x
~

d A(1 )(x), A(2 )(x) = ~ 1 (t)) f (t,
f (t, M dd (1 , 2 ),
~ 2 (t)) dt
x0
para todo x [x0 d, x0 + d] y M d < 1. En consecuencia, por el Teorema del punto fijo para
contracciones, la ecuaci
on integral (12) tiene soluci
on u
nica.
El siguiente resultado generaliza el Teorema 11.1.
Teorema 11.5. Si (X, d) es un espacio metrico completo y f : X X es una aplicaci
on
continua tal que f n0 es una contraci un n0 N, entonces f tiene un u
on para alg nico punto
fijo.
Demostracio n. La unicidad se sigue del Teorema 11.1 y de que todo punto fijo de f es
tambien un punto fijo de f n0 . Veamos la existencia. Tomemos x0 X arbitrario. Como f n0
es una contraccion existe x := lmm f mn0 (x0 ). Afirmamos que f (x) = x. En efecto, dado
que f es continua, f (x) = lmm f mn0 (f (x0 )) y dado que f n0 es una contraccion, existe
0 k < 1 tal que
d(f mn0 (f (x0 )), f mn0 (x0 )) k m d(f n0 (x0 ), x0 ).
As,
d(f (x), x) = lm d(f mn0 (f (x0 )), f mn0 (x0 )) = lm k m d(f n0 (x0 ), x0 ) = 0
m m
y, por lo tanto, f (x) = x. Tambien podramos haber argumentado as: por la Nota 11.2
sabemos que
x = lm f mn0 (x0 ) y f (x) = lm f mn0 (f (x0 ))
m m
son puntos fijos de f n0 . Pero f n0 tiene un u
nico punto fijo. As, f (x) = x.
Ejemplo 11.6. Dado un intervalo cerrado [a, b] de R, consideremos el subconjunto T
de [a, b] [a, b] formado por los puntos (x, y) con y x, y fijemos una funci on continua
K : T R R, llamada n on continua : [a, b] R. Vamos a probar que
ucleo, y una funci
si K satisface la siguiente condici
on de Lipschitz con respecto a la tercera variable:
|K(x, y, z1 ) K(x, y, z2 )| M |z1 z2 | para todo (x, y, z1 ) y (x, y, z2 ) en T R,
entonces la ecuaci
on integral
Z x
(13) f (x) = K(x, y, f (y)) dy + (x),
a
80
donde R es arbitrario, tiene una u

nica solucion continua f : [a, b] R. Para ello consi-
deremos la aplicaci
on
A : C([a, b], R) C([a, b], R),
definida por Z x
A(f )(x) = K(x, y, f (y)) dy + (x).
a
Afirmamos que
(x a)n
d(An (f1 )(x), An (f2 )(x)) ||n M n d (f1 , f2 ) para todo x [a, b].
n!
En efecto, el caso n = 0 es trivial, y suponiendo que el resultado vale para n obtenemos
Z x
n+1 n+1 n n

d(A (f1 )(x), A (f2 )(x)) = ||
K(x, y, A (f1 )(y)) K(x, y, A (f2 )(y)) dy

a
Z x
n n
|| sup |K(x, y, A (f1 )(y)) K(x, y, A (f2 )(y))| dy
x[a,b] a
Z x
|| M |An (f1 )(y)) An (f2 )(y))| dy
a
x
(y a)n
Z
||M ||n M nd (f1 , f2 ) dy
a n!
Z x
n+1 n+1 (y a)n
= || M d (f1 , f2 ) dy
a n!
(x a)n+1
= ||n+1 M n+1 d (f1 , f2 ).
(n + 1)!
Pero entonces
(b a)n
d (An (f1 ), An (f2 )) ||n M n d (f1 , f2 ).
n!
Esto prueba que A es uniformemente continua y An es una contracci on para n suficientemente
grande. En consecuencia, por el Teorema 11.5, la ecuaci on integral (13) tiene una u nica
soluci
on continua.
81
Captulo 12
Conjuntos de primera y segunda categora
1. El Teorema de Baire
Teorema 12.1 (Teorema de Baire). Si X es un espacio metrico completo y (Ci )iN es
una familia numerable de cerrados de X con interior vaco, entonces
S
C
i=1 i tiene interior
vaco.
S Demostracion. Supongamos lo contrario y tomemos un abierto U de X includo en

C
i=1 i . Como el interior de C1 es vaco, existe x1 U \ C1 . Como U \ C1 es abierto, hay
una bola cerrada B r1 (x1 ) tal que B r1 (x1 ) U y C1 B r1 (x1 ) = . Podemos suponer adem
as
que r1 < 1. El mismo argumento prueba que hay una bola cerrada B r2 (x2 ), de radio menor
que 1/2, tal que B r2 (x2 ) B r1 (x1 ) y C2 B r2 (x2 ) = . Siguiendo con este procedimiento
obtenemos una sucesi on de bolas cerradas
B r1 (x1 ), B r2 (x2 ), B r3 (x3 ), B r4 (x4 ), . . . ,
T cuyos radios tienden a cero y tales que Ci B i = . Por el

cada una includa en la anterior,
Teorema 9.10, la interseccion i=1 B i contiene un punto x, que no puede estar en ning un Ci .
Pero como B 1 U
S
C
i=1 i , esto es imposible.
Tomando complementos obtenemos la siguiente version del Teorema de Baire
Teorema 12.2. Si XTes un espacio metrico completo y (Ui )iN es una familia de abiertos
densos de X, entonces i=1 Ui es denso.
Notemos que esto es una variacion del siguiente resultado elemental que vale en todo
espacio metrico.
n 12.3. Si U1 , . . . , Un X son abiertos densos, entonces ni=1 Ui es denso.
T
Observacio
Demostracio n. Consideremos un abierto V de X. Como U1 es denso, V U1 6= . Como
U2 es denso, V U1 U2 6= , etcetera.
Un subconjunto A de X es de primera categora si existe una familia numerable de con-

juntos Ai con Ai = , tales que A =
S
i=1 Ai . En caso contrario A es de segunda categor
a.
83
2 Aplicaciones Conjuntos de primera y segunda categora
Teorema 12.4. Si X es completo y A X es de primera categora, entonces A = .

n. Esto es una consecuencia inmediata del Teorema 12.1.
Demostracio
Teorema 12.5. Si (Ci )iN es una familia deScerrados de un espacio metrico

S completo X

y U es un abierto de X que corta al interior de i=1 Ci , entonces U corta a i=1 Ci . Dicho
de otra forma,

!
[ [
U Ci 6= U Ci 6= .
i=1 i=1
S S
En consecuencia, si el interior de i=1 Ci es denso, entonces i=1 Ci tambien lo es.
DemostraciSon. Debemos
probar que existe n N tal que U Cn 6= . Como U es

abierto, U ( i=1 Ci ) 6= y

!
[ [ [
(U Ci ) = U Ci U Ci ,
i=1 i=1 i=1
S
el interior de i=1 (U Ci ) es no vaco. En consecuencia, por el Teorema 12.1, existe n tal
que (U Cn ) 6= . Pero entonces
U Cn U (U Cn ) 6= ,
ltima desigualdad vale porque U es denso en U y (U Cn ) , es un abierto no vaco

donde la u
de U .
2. Aplicaciones
En esta seccion damos una pocas aplicaciones del Teorema de Baire. Muchas mas pueden
encontrarse en el libro El Teorema de Categora de Baire y Aplicaciones de Wilman Brito.
2.1. Puntos aislados Recordemos que un punto x de un espacio metrico X es aislado

si existe r > 0 tal que Br (x) = {x}. Esto es, si {x} es un abierto de X. Dado un subconjunto
A de un espacio metrico X, denotemos con aisA (X) al subconjunto de A formado por los
puntos aislados de X que est an en A.
Proposicio n 12.6. Si V es un abierto numerable de un espacio metrico completo X,

entonces U V aisU V (X), para cada abierto U de X. En particular V aisV (X) y, por
lo tanto, aisV (X) es infinito y tiene la misma adherencia que V .
Demostracio n. Supongamos que (U V ) \ aisU V (X) es no vaco. Entonces es finito y

todos sus puntos son aislados, o es infinito numerable, y por el Teorema 12.1 tambien tiene
puntos aislados, pero esto evidentemente es absurdo.
Corolario 12.7. Si X es un espacio metrico completo con finitos puntos aislados, en-
tonces X no es numerable (aunque puede ser finito).
84
Conjuntos de primera y segunda categora 2 Aplicaciones
2.2. Funciones continuas sin derivada en ning un punto Durante mucho

tiempo se discuti
on si existan funciones continuas sin derivadas. Por ejemplo, Lagrange crea
que toda funci
on continua era derivable salvo posiblemente en un conjunto peque no de puntos,
pero Riemman pensaba que existan funciones reales continuas de variable real no derivables,
y propuso un ejemplo, que result o ser falso. El primer ejemplo de una funcion continua sin
derivada en ningun punto publicado en una revista de matematica con referato fue dado por
Weierstrass, pero parece haber uno anterior debido a Bolzano. Para mas detalles ver el libro de
Brito mencionado arriba. Aplicando el Teorema de Baire es posible probar que las funciones
continuas sin derivada no s olo existen sino que son la mayora.
Una funcion continua g : [a, b] R es lineal a trozos si existe una particion
a = x0 < x1 < < xn1 < xn = b
de [a, b] tal que la restricci
on de g a [xi , xi+1 ] es una funcion lineal
g(x) = i x + i para todo i.
El siguiente resultado es interesante en si mismo.
Proposicio n 12.8.
El conjunto de las funciones lineales a trozos de [a, b] en R es denso
en C([a, b], R), d .
Demostracio n. Fijemos f C([a, b], R). Debemos probar que para todo > 0 la bola
B (f ) contiene funcion lineal a trozos g : [a, b] R. Como f es uniformemente continua,
existe > 0 tal que |f (x) f (x0 )| < /2 siempre que |x x0 | < . Tomemos n N mayor que
(b a)/, y consideremos la partici on
a = x0 < x1 < < xn1 < xn = b
de [a, b], donde xi = a + i(b a)/n. Afirmamos que la unica funcion g : [a, b] R que coincide
con f en cada punto de la partici on y es lineal en cada intervalo [xi , xi+1 ], pertenece a B (f ).
En efecto, por la desigualdad triangular,
|g(x) f (x)| |g(x) g(xi )| + |g(xi ) f (x)| < /2 + /2 = ,
para todo x [a, b], donde xi es el punto de la particion mas cercano a f .
Por definici axima pendiente M P (f, x), de una funcion f : [a, b] R en un punto
on, la m
x [a, b], es el supremo

f (x + h) f (x)
Sup : x + h [a, b] .
h
n 12.9. Si M P (f, x) > M P (g, x), entonces
Observacio
M P (f + g, x) M P (f, x) M P (g, x),
porque

(f + g)(x + h) (f + g)(x) f (x + h) f (x) g(x + h) g(x)
= +
h h h

f (x + h) f (x) g(x + h) g(x)

h h

f (x + h) f (x)
M P (g, x)
h
para todo h.
85
2 Aplicaciones Conjuntos de primera y segunda categora
Lema 12.10. Para todo M, N (0, ) existe h C([a, b], R) tal que d (h, 0) M y
M P (h, x) > N para todo x.
n. consideremos la particion
Demostracio
a = x0 < x1 < < xn1 < xn = b
de [a, b], donde xi = a + i(b a)/n. La funcion continua h : [a, b] R, lineal en cada intervalo
[xi , xi+1 ], definida por
(
M si i es par,
h(xi ) =
M si i es impar,
N (ba)
satisface las condiciones pedidas si n 2M .
Teorema 12.11. El conjunto de las funciones continuas f : [a, b] R derivables alg
un
punto es de primera categora en C([a, b], R), d .
n. Consideremos los conjuntos
Demostracio
Cn := {f C([a, b], R) : M P (f, x) n para alg
un x},
donde n vara sobre los numeros naturales. Como la union de los Cn incluye a todas las
funciones derivables en alg
un punto, para terminar la demostracion bastara probar que cada
Cn es cerrado con interior vaco.
Cn es cerrado. Por la misma definicion de Cn , dada una sucesion
f1 , f2 , f3 , . . . , fi , . . .
de puntos de Cn que tiende uniformemente a una funcion f : [a, b] R, existe una sucesion
(14) x1 , x2 , x3 , . . . , xi , . . .
de puntos de [a, b] tales que M P (fi , xi ) < n para todo i. Como [a, b] es acotado, (14) tiene
una subsucesi
on convergente
xi1 , xi2 , xi3 , . . . , xij , . . .
Digamos que x es su lmite. Dado h tal que x + h [a, b], exite una sucesion (hj )jN que
tiende a h, tal que xij + hj [a, b] para todo j. Como h es arbitrario, la igualdad
f (x + hj ) f (xij )

f (x + h) f (x)
= lm j ij n,
h j hj
prueba que M P (f, x) n. As, f Cn .

Cn tiene interior vaco. Debemos probar que cada bola abierta Br (f ) con centro en una
funcion continua arbitraria f , tiene puntos que no estan en Cn . Por la Proposicion 12.8,
sabemos que hay una funci on lineal a trozos g : [a, b] R a distancia menor que r/2 de f .
Como forman un conjunto finito, los modulos de las pendientes de los trozos lineales de g
estan acotados por un numero natural m. Por el Lema 12.10, sabemos que existe una funcion
continua h : [a, b] R con |h(x)| r/2 y M P (h, x) > m + n para todo x. Por la desigualdad
triangular la funcion g + h pertenece a Br (f ) y la Observacion 12.9 muestra que esta fuera
de Cn .
86
Conjuntos de primera y segunda categora 2 Aplicaciones
2.3. Principio de acotaci on uniforme Consideremos una familia (fi )iI de fun-
ciones continuas de un espacio metrico completo X en R. Para cada n N, denotemos con
Cn al conjuntoTde los x X tales que |fi (x)| n para todo i I. Notemos que Cn es cerrado
porque Cn = iI fi1 ([n, n]), y que
[
{x X : sup |fi (x)| = } = X \ Cn .
iI nN
Teorema 12.12 (Principio de acotacion uniforme). Si {x X : supiI |fi (x)| = } no

es denso, entonces hay un abierto no vaco U X y un m 0 tal que |fi (x)| m para todo
i I y todo x U .
n. La hip
Demostracio otesis dice que hay un abierto no vaco V de X tal que
V {x X : sup |fi (x)| = } = ,
iI
o, lo que es igual, [
V Cn .
nN
6= . As
Pero entonces por el Teorema 12.1 existe m tal que Cm .
, podemos tomar U = Cm
Observacio n 12.13. En realidad vale un resultado m
as fuerte. Por et Teorema 12.5, si
S
V es un abierto de X que corta al interior de nN Cn , entonces existe un abierto no vaco
U V y un m 0 tal que |fi (x)| m para todo i I y todo x U .
87
Captulo 13
Compaccidad (Primera Parte)
UnaSfamilia (U ) de subconjunto de un espacio metrico X es un cubrimiento de X

si X = U . Un cubrimiento de X es abierto si sus miembros son abiertos. Un espacio
metrico X es compacto si todo cubrimiento abierto de X tiene un subcubrimiento finito. Un
conjunto Y X es compacto, si lo es con la metrica inducida. Como todo abierto de Y es la
interseccion de Y con un abierto de X, esto ocurre si y solo si cada cubrimiento
[
Y U ,

de Y por abiertos de X, tiene un subcubrimiento finito. Usando las leyes de De Morgan se

comprueba inmediatamente que un espacio metrico X es compacto si y solo si toda familia
de cerrados de X con intersecci on vaca tiene una subfamilia finita con interseccion vaca. Un
subconjunto A de un espacio metrico X es totalmente S acotado si para todo > 0, existen
n N y subconjuntos M1 , . . . , Mn de X tales que A ni=1
Mi y diam(Mi ) para todo i.
Proposicio n 13.1. Para cada conjunto A de un espacio metrico X, las afirmaciones que
siguen son verdaderas:
1. A es totalmente acotado si y s
olo si para todo > 0 existen finitos puntos x1 , . . . , xn
en A tal que
mn{d(x, xi ) : 1 i n } < para todo x A.
En otras palabras, A ni=1

S
B (xi ).
2. Si A B X y B es totalmente acotado, entonces A tambien lo es.
3. Si A es totalmente acotado, entonces A tambien lo es.
4. Si A es totalmente acotado, entonces A es acotado.
5. Si A no es totalmente acotado, entonces existen > 0 y una familia (xn )nN de puntos
de A tal que d(xi , xj ) para todo i, j.
89
Demostracio n. Es claro que los items 1), 2) y 4) son ciertos. El item 3) vale porque el
diametro de un conjunto es igual al de su adherencia y
n
[ n
[
A Mi A Mi .
i=1 i=1
Para probar que vale el item 5), notemos que si la condicion establecida en el item 3) es falsa
para algun > 0, entonces dado un punto arbitrario x1 de A, existe x2 A \ B (x1 ), porque
A B (x1 ); existe x3 A \ (B (x1 ) B (x2 )), porque A B (x1 ) B (x2 ), etcetera. La
familia (xn )nN construda de este modo satisface la condicion pedida en el enunciado.
Lema 13.2. Consideremos un cubrimiento abierto (Ui )iI de un espacio metrico total-
mente acotado X. Si X no es cubierto por ninguna subfamilia finita de (Ui )iI , entonces para
todo > 0 hay una bola cerrada B (x) que no es cubierta por ninguna subfamilia finita de
(Ui )iI .
Demostraci n. Como X es totalmente acotado existen puntos x1 , . . . , xn X tales que
o
Sn
X = i=1 B (xi ). Si todas estas bolas cerradas fueran cubiertas por subfamilias finitas de
(Ui )iI , entonces X tambien lo sera.
Teorema 13.3. Para todo espacio metrico X son equivalentes:
1. X es compacto.
2. A0 6= para todo subconjunto infinito A de X.
3. Toda sucesion (xn )nN de puntos de X tiene una subsucesi
on convergente.
4. X es totalmente acotado y completo.
Demostracio n. 1. 2. Supongamos que A0 = para alg un subconjunto infinito A
de X. Entonces A es cerrado y cada x S A es el centro de una bola abierta Bx (x) tal que
Bx (x) A es finito. As, X = (X \ A) xA B x (x) es un cubrimiento abierto de X que
no tiene ning un subcubrimiento finito.
2. 3. Es claro que si {xn : n N} es un conjunto finito, entonces x1 , x2 , . . . tiene una
subsucesion convergente. Si {xn : n N} es infinito, entonces tiene un punto de acumulacion
x, lo cual nos permite construr una subsucesion (xni )iN que tiende a x, simplemente tomando
xni+1 B 1 (x) {xni +1 , xni +2 , . . . }.
i+1
3. 4. Por el Teorema 9.2, sabemos que X es completo. Veamos que es totalmente acotado.
Si no lo fuera, existiran > 0 y una sucesion x1 , x2 , . . . de puntos de X tal que d(xi , xj )
si i 6= j. Es obvio que esta sucesion no tiene ninguna subsucesion convergente.
4. 1. Supongamos que X tuviera un cubrimiento abierto (Ui )iI sin ning un subcubrimiento
finito. Usando el Lema 13.2 obtenemos bolas cerradas B1 B2 B3 , ninguna de las
cuales es cubierta por una subfamilia finita de (Ui )iI y tales que diam(Bn ) < n1 . Como X es
completo,
T
n=1 Bn = {x} para un x X. Tomemos Ui tal que x Ui . Es claro que Bj Ui
para alg un j, lo que es absurdo.
Corolario 13.4. Todo espacio metrico compacto X es separable.
Demostracio n. Por el teorema anterior, para cada n N existe un conjunto finito de
S
puntos Fn en X tal que B1/n (x) Fn 6= para todo x X. Es claro que nN Fn es denso y
numerable.
Teorema 13.5. Para todo subconjunto C de X es verdad que:
90
1. Si C es compacto, entonces es cerrado.

2. Si X es compacto y C es cerrado, entonces C es compacto.
Demostracio n. 1. Este hecho se sigue inmediatamente de la Proposicion 9.7 y el Teo-
rema 13.3. A continuaci on damos una demostracion mas directa. Debemos probar que x0 /C
para ning un x0 X \C. Para cada x C, hay bolas abiertas disjuntas B x (x) y B (x
Tx 0 ) y, por
hipotesis, existen x1 , . . . , xn C tales que C ni=1 Bxi (xi ). Es evidente que ni=1 Bxi (x0 )
S
es un entorno de x0 que no corta a C.
2. Tomemos un cubrimiento (Ui )iI de C porSabiertos de X. Como X es compacto y C es
n Sn
cerrado, existen i1 , . . . , in I tales que X = ( j=1 Uij ) (X \ C) y as C j=1 Uij .
Teorema 13.6. Toda sucesi on y1 , y2 , y3 , . . . de puntos de un conjunto totalmente orde-
nado Y , tiene una subsucesi
on creciente o una subsucesi on decreciente.
Demostracio n. Supongamos que y1 , y2 , . . . no tiene ninguna subsucesion creciente. En-
tonces el conjunto F = {n : yn > yi para todo i > n} es infinito. Si F = {i1 < i2 < . . . },
entonces yi1 > yi2 > yi3 > .
En el lema y teorema que siguen Rn es pensado como un espacio metrico via la dis-
tancia d . Debido al Ejercicio 10.9, si cambiaramos d por cualquier otra de las distancias
introducidas en los Ejemplos 1.2, obtendramos los mismos resultados.
Lema 13.7. El producto I = I1 In de una familia finita de intervalos cerrados y
acotados de R es compacto.
Demostracio n. Para n = 1 esto se sigue del Teorema 13.6. En efecto, por este teorema
toda sucesi on de puntos de [a, b] tiene una subsucesion monotona, la cual, siendo acotada,
converge. Supongamos ahora que el resultado vale cuando n = m y que n = m + 1. Con-
sideremos una sucesi on x1 , x2 , x3 , . . . , de puntos de I. Escribamos xi = (xi1 , . . . , xim+1 ). Por
hipotesis inductiva hay una subsucesion xi1 , xi2 , xi3 , . . . de x1 , x2 , x3 , . . . tal que, para cada
j con 1 j m, la sucesi on de n umeros reales xij1 , xij2 , xij3 , . . . converge. Tomando ahora
una subsucesi on adecuada de xi1 , xi2 , xi3 , . . . , podemos conseguir que la sucesion de n umeros
reales formada por las u ltimas coordenadas, sea tambien convergente.
Teorema 13.8. C Rn es compacto si y s
olo si es cerrado y acotado
Demostracio n. si C es compacto, entonces por el item 4 de la Proposicion 13.1 y los
Teoremas 13.3 y 13.5, es cerrado y acotado. Recprocamente, si C es cerrado y acotado,
entonces es un subconjunto cerrado de un cubo I = I1 In , el cual es compacto por el
Lema 13.7. As, por el Teorema 13.5 tambien lo es C.
Teorema 13.9. Si X es compacto y f : X X 0 es continua, entonces f (X) es un
subconjunto compacto de X 0 .
Demostracio n. Si (Ui )iI es un subcubrimiento abierto de f (X), entonces (f 1 (Ui ))iI
cubre X. Como X es compacto, existen i1 , . . . , in I tales que X f 1 (U1 ) f 1 (Ui ).
Por lo tanto, f (X) U1 Un .
Corolario 13.10. Si X es compacto y f : X X 0 es continua, entonces f es cerrada.
Demostracio n. Por el item 2 del Teorema 13.5, si A es cerrado en X, entonces es
compacto. En consecuencia, por el Teorema 13.9, f (A) es compacto y as, por el item 1 del
Teorema 13.5, cerrado en X 0 .
91
Corolario 13.11. Si f : X X 0 es biyectiva y continua y X es compacto, entonces f

es un homeomorfismo.
n. Se sigue inmediatamente del Corolario 13.10 y la Observacion 7.16.
Demostracio
Teorema 13.12. Si f : X X 0 es continua y X es compacto, entonces f es uniforme-
mente continua.
Demostracio n. Por la continuidad de f , dado > 0, para cada x X existe x > 0 tal
que d(f (x), f (x0 )) < 2 si d(x, x0 ) < x . Por compaccidad existen x1 , . . . , xn X tales que
n
[
X= B xi (xi ).
2
i=1
xi
Denotemos con a mn{ 2 : 1 i n}. Dados x, x0 X con d(x, x0 ) < , existe i tal que
xi
d(x, xi ) < 2 . Entonces
xi
d(x0 , xi ) d(x0 , x) + d(x, xi ) < + xi
2
y, por lo tanto, d0 (f (x), f (x0 )) d0 (f (x), f (xi )) + d0 (f (xi ), f (x0 )) < .
92
Captulo 14
Espacios conexos y espacios arco-conexos
1. Espacios conexos
n 14.1. Es f
Observacio acil comprobar que para cada espacio metrico X son equivalentes:
1. Existe un subconjunto no vaco y propio de X que es abierto y cerrado.
2. Existen conjuntos abiertos U1 y U2 de X tales que U1 6= , U2 6= , X = U1 U2 y
U1 U2 = .
3. Existen conjuntos cerrados C1 y C2 de X tales que C1 6= , C2 6= , X = C1 C2 y
C1 C2 = .
4. Existe una funcion continua f : X {0, 1} no constante (aqu {0, 1} es considerado
provisto de la metrica discreta).
Un espacio metrico X es no conexo si se satisfacen las condiciones equivalentes de la
observacion anterior. En caso contrario es conexo. Un subconjunto Y de X es conexo si lo es
como subespacio. Dos subconjuntos A y B de X estan separados si A B = y A B = .
Teorema 14.2. Supongamos que Y X y que Y = A B. Son equivalentes:
1. A y B son subconjuntos separados de X.
2. A y B son cerrados en Y y A B = .
En consecuencia Y es conexo si y s
olo si no es uni
on disjunta de subconjuntos no vacos
separados de X.
Demostracio n. ) Supongamos que A y B subconjuntos separados de X. Entonces A
es un cerrado de Y porque
A = A A = (A A) (A B) = A Y
y, analogamente, B es un cerrado de Y . Ademas es claro que A B = . Recprocamente, si
A y B son cerrados en Y y A B = , entonces
A = A Y = (A A) (A B)
93
1 Espacios conexos Espacios conexos y espacios arco-conexos
y, por lo tanto, A B A B = . Similarmente A B = , de modo que A y B son

subconjuntos separados de X.
Teorema 14.3. Un subconjunto Y de R es conexo si y s
olo si es un intervalo.
Demostracio n. ) Si Y no es un intervalo, entonces existen a, b Y y c R \ Y tales
que a < c < b. Es claro que Y = (Y (, c)) (Y (c, )) y as, Y no es conexo.
) Supongamos que Y no es conexo. Entonces existe una funcion continua no constante
f : Y {0, 1}. Tomemos a < b Y , con f (a) 6= f (b) y denotemos con x0 al supremo
de todos los x [a, b] tales que f es constante en [a, x]. Si f (x0 ) = f (a), entonces por la
continuidad de f existe > 0 tal que f es constante en [a, x0 + ]; y si f (x0 ) = f (b), entonces,
nuevamente por la continuidad de f , existe > 0 tal que a < x0 y f (x0 ) = f (b). Como
ambas situaciones son absurdas, Y es conexo.
Teorema 14.4. Si X es conexo y f : X X 0 es continua, entonces f (X) es conexo.
Demostracio n. Si A y B fueran subconjuntos abiertos no vacos de f (X) tales que
f (X) = A B y A B = , entonces f 1 (A) y f 1 (B) seran subconjuntos abiertos no vacos
de X tales que X = f 1 (A) f 1 (B) y f 1 (A) f 1 (B) = .
Ejercicio 14.5. Pruebe el teorema anterior mostrando que toda funci
on continua de f (X)
en {0, 1} es constante.
Teorema 14.6. Si A es un subconjunto conexo de X y A B A, entonces B es conexo.
Demostracio n. Sin perdida de generalidad, podemos suponer que B = X. Toda funcion
continua f : B {0, 1} es constante sobre A, porque A es conexo. Como f 1 (0) y f 1 (1) son
cerrados, esto implica que f es constante.
Corolario 14.7. Si A X es conexo y denso, entonces X es conexo.
Teorema 14.8. Consideremos una familia (Ai )iI de subconjuntos conexos de X. Si para
cada par de puntos x, x0 iI Ai , existen Ai1 , . . . , Ain tales que
S
x Ai1 , x0 Ain y Aij Aij+1 6= para todo j,

S
entonces iI Ai es conexo.
n. Como los conjuntos Ai son conexos, toda funcion continua
Demostracio
[
f: Ai {0, 1}
iI
es constante sobre la union de cada familia finita Ai1 , . . . , Ain , tal que Aij Aij+1 6= para
todo j. Por la hip
otesis esto implica que f es constante.
La componente conexa de un punto x X es el conjunto
[
Cx = {A X : x A y A es conexo}.
Ejemplos 14.9. Veamos algunos ejemplos:
1. Si X es conexo, entonces Cx = X para todo x X.
2. Las componentes conexas de (0, 2) \ {1} son los intervalos (0, 1) y (1, 2).
3. Si X tiene la metrica discreta, entonces Cx = x para todo x X.
4. Cx = x para todo x Q.
94
Espacios conexos y espacios arco-conexos 2 Espacios arco-conexos
n 14.10. Las siguientes afirmaciones son verdaderas:

Proposicio
1. Cx es conexo.
2. Si x A y A es conexo, entonces A Cx .
3. Cx Cy = o Cx = Cy .
S
4. X = xX Cx .
Demostracio n. Es evidente que los items 2) y 4) son ciertos, y usando el Teorema 14.8
se ve facilmente que tambien lo son el 1) y el 3).
Observacio n 14.11. Por el Teorema 14.6, las componentes conexas de X son cerradas,
y el u
ltimo ejemplo muestra que pueden no ser abiertas.
Ejercicio 14.12. Un espacio metrico X se dice totalmente desconexo si todos sus sub-
conjuntos con mas de un punto son desconexos. Pruebe que X es totalmente desconexo si y
olo si Cx = x para todo x X.
s
2. Espacios arco-conexos
Dados puntos x, y de un espacio metrico X, un arco o camino de x a y es una funcion
continua : [a, b] X, de un intervalo cerrado no degenerado de R en X, con (a) = x y
(b) = y. Los puntos x e y son los extremos inicial y final del arco. Como todos los intervalos
cerrados no degenerados de R son homeomorfos, el intervalo [a, b] puede ser reemplazado por
cualquier otro. Dados arcos : [a, b] X de x a y y : [b, c] X de y a z, las funciones
: [b, a] X y : [a, c] X, definidas por (t)
= (t) y
(
(t) si t b,
(t) =
(t) si t b,
son arcos de y a x y de x a z, respectivamente. Decimos que x e y se pueden unir por un arco
si existe un arco : [a, b] X, de x a y. Un espacio metrico X es arco-conexo si cada par de
puntos de X se pueden unir por un arco. Un subconjunto Y de X es conexo si lo es con la
metrica inducida.
Ejemplos 14.13. Si bien toda las afirmaciones que siguen pueden comprobarse en forma
directa, algunas son m
as f
aciles de verificar apelando a resultados que daremos desp
ues en
esta misma seccion:
1. Un subconjunto de R es arco-conexo si y s olo si es un intervalo.
n
2. R \ {0} es arco-conexo si y s
olo si n 2.
3. Un subconjunto A de Rn es estrellado si tiene un punto x tal que para todo otro punto
y de X, el segmento que une x con y esta includo en X. Todo subconjunto estrellado
de Rn es arco-conexo.
4. S n = {x Rn+1 : kxk2 = 1} es arco-conexo para todo n 1.
Teorema 14.14. Todo espacio metrico arco-conexo X es conexo.
Demostracio n. Por el Teorema 14.4, como los intervalos de R son conexos y los arcos
son funciones continuas, cada par de puntos x, y de X pertenecen a un subconjunto conexo
de X. Por el Teorema 14.8 esto implica que X es conexo.
El siguiente ejemplo muestra que la recproca de este resultado no vale.
95
2 Espacios arco-conexos Espacios conexos y espacios arco-conexos
Ejemplo 14.15. La curva seno del topologo es el subconjunto

A = {(x, y) R2 : x > 0 e y = sen(1/x)} {0} [1, 1] ,

de R2 . Es facil ver que {(x, y) R2 : x > 0 e y = sen 1/x} es arco-conexo. Por lo tanto
su adherencia A es conexa. Sin embargo A no es arco-conexo. En efecto, si hubiera un arco
: [0, 1] A, de (0, 1) a (1, sen(1)), entonces este camino pasara por todos los puntos (x, y)
de A con 0 < x < 1 (porque si no su imagen no sera conexa), pero hay infinitos de estos
puntos con segunda coordenada 1 e infinitos con segunda coordenada 1, y es imposible que
todos esten en la imagen de , porque es uniformemente continua.
Teorema 14.16. Si X es arco-conexo y f : X X 0 es continua, entonces f (X) es arco-
conexo.
Demostracio n. Porque si es un arco de x a y en X, entonces f es un arco de f (x)
a f (y) en f (X).
Teorema 14.17. Consideremos S una familia (Ai )iI de subconjuntos arco-conexos de X.
0
Si para cada par de puntos x, x iI Ai , existen Ai1 , . . . , Ain tales que
x Ai1 , x0 Ain y Aij Aij+1 6= para todo j,
S
entonces iI Ai es arco-conexo.
otesis, dados x, x0
S
n. Por hip
Demostracio iI Ai , existen puntos
x = x0 , x1 , . . . , xn1 , xn = x
tales que para cada i < n hay un camino
[
i : [ai , ai+1 ] Ai
iI
de xi en xi+1 . El arco n 0 va de x a x0 .
La componente arco-conexa de un punto x X es el conjunto
[
Cxarc = {A X : x A y A es arco-conexo}.
n 14.18. Las siguientes afirmaciones son verdaderas:
Proposicio
1. Cxarc es arco-conexo.
2. Si x A y A es arco-conexo, entonces A Cxarc .
3. Cxarc Cyarc = o Cxarc = Cyarc .
X = xX Cxarc .
S
4.
Demostracio n. Es evidente que los items 2) y 4) son ciertos, y usando el Teorema 14.17
se ve facilmente que tambien lo son el 1) y el 3).
Observacio n 14.19. A diferencia de las componentes conexas, las arco-conexas pueden no
ologo son los subconjuntos {0} [1, 1],
ser cerradas. Por ejemplo, las de la curva seno del top
2
que es cerrado, y {(x, y) R : x > 0 e y = sen(1/x)}, que no lo es.
96
Captulo 15
Compaccidad (Segunda Parte)
Un conjunto Y X es relativamente compacto si Y es compacto. Por los items 1 y 2 de las

Proposicion 13.1, el Teorema 13.3 y el hecho de que todo subconjunto cerrado de un espacio
metrico completo es un espacio metrico completo, sabemos que si X es completo, entonces Y
es relativamente compacto si y solo si es totalmente acotado.
Recordemos que el conjunto C(Z, X) de las funciones continuas y acotadas f : Z X es
un espacio metrico via la distancia d (f, g) = supzZ d(f (z), g(xz), para cada par X, Z de
espacios metricos.
Un conjunto F C(Z, X) es equicontinuo si para cada z Z y cada > 0, existe x > 0
tal que
d(z 0 , z) < z d(f (z 0 ), f (z)) < para todo z 0 Z y f F,
y es uniformemente equicontinuo si dado > 0, existe > 0 tal que
d(z 0 , z) < d(f (z 0 ), f (z)) < , para todo z, z 0 Z y f F.
Teorema 15.1 (Arzel aAscoli). Consideremos F C(Z, X) y para cada z Z escri-

bamos F(z) = {f (z) : f F}. Si Z es compacto y X es completo, entonces son equivalentes:
1. F es equicontinuo y F(z) es relativamente compacto para todo z Z.

2. F es relativamente compacto
3. F es uniformemente equicontinuo y F(z) es relativamente compacto para todo z Z.
Demostracio n. 1. 2. Tomemos > 0. Como F es equicontinua, para cada z Z

existe z > 0, tal que si z 0 Bz (z), entonces d(f (z), f (z 0 )) < para todo f F. Por
compaccidad,
n
[
Z Bzi (zi ),
i=1
97
para un subconjunto finito {z1 , . . . , zn } de puntos de Z. Como ni=1 F(zi ) es totalmente

S
acotado, existen un n
umero finito de bolas B (aj ) de radio , tales que
n
[ m
[
F(zi ) B (aj ).
i=1 j=1
Denotemos con Inm al conjunto de todas las funciones : {1, . . . , n} {1, . . . , m}. Para
Inm , escribamos F = {f F : d(f (zi ), a(i) ) < , para todo i}. Es facil ver que
cada S
F = Inm F .
Consideremos ahora dos funciones f, g pertenecientes a un mismo F . Dado z Z, tome-
mos zi tal que d(z, zi ) < zi . Entonces,
d(f (z), g(z)) d(f (z), f (zi )) + d(f (zi ), a(i) ) + d(a(i) , g(zi )) + d(g(zi ), g(z)) < 4.
As, diam(F ) < 4. Como y son arbitrarios, esto muestra que F es totalmente acotado.
2. 3. Tomemos > 0. Como F es relativamente compacto,Sexisten subconjuntos F1 , . . . , Fn
de C(Z, X), todos de di ametro menor que , tales que F = ni=1 Fi . Elijamos
f1 F1 , . . . , fn Fn .
Dado que, por el Teorema 13.12, las fi s son uniformemente continuas, existe > 0, tal que
d(z, z 0 ) < d(fi (z), fi (z 0 )) < , para todo i.
Dado f F, tomemos i tal que d (f, fi ) < . Si d(z, z 0 ) < , entonces
d(f (z), f (z )) d(f (z), fi (z)) + d(fi (z), fi (z )) + d(fi (z 0 ), f (z 0 )) 3.
0 0
As, F es uniformente equicontinua. Finalmente, F(z) es relativamente compacto para todo

z Z, porque F es relativamente compacto y la aplicacion
evz : F X,
definida por evz (f ) = f (z), es continua.
3. 1. Es evidente.
on de funciones (fn )nN , de un conjunto X en R, es creciente si fn (x) fn+1 (x)
Una sucesi
para todo x X y todo n N y es estrictamente creciente si fn (x) < fn+1 (x) para todo
x X y todo n N.
Teorema 15.2 (Dini). Consideremos un espacio metrico compacto X y una funci on con-
tinua f : X R. Si (fn )nN es un sucesi
on creciente de funciones continuas de X en R, tal
que lmn fn (x) = f (x) para todo x X (convergencia puntual), entonces fn tiende a f
uniformemente.
Demostracio n. Tomemos x X y > 0. Por hipotesis existe n0 (x), tal que n n0
implica d(fn (x), f (x)) < 2 . Elijamos un entorno abierto Vx de x tal que d(fn0 (x0 ), f (x0 )) <
para todo x0 Vx . Entonces d(fn (x), f (x0 )) < para todo n n0 y x0 Vx . Por compaccidad,
existen x1 , . . . , xm X tales que X = Vx1 Vxm . Si n max{n0 (x1 ), . . . , n0 (xm )},
entonces d(fn (x), f (x)) < para todo x X.
Lema 15.3. La sucesi on de polinomios Pn (t) R[t], definida recursivamente por
- P0 (t) = 0,
- Pn+1 (t) = Pn (t) + 21 (t Pn2 (t)),

es creciente y tiende a t uniformente en [0, 1].
98
Demostracio n. Es claro que Pn (0) = 0 para todo n 0. Veamos que

0 Pn (t) < Pn+1 (t) < t para todo n 0 y todo t (0, 1).

Para n = 0 esto es claro. Supongamos que 0 Pn1 (t) < Pn (t) < t. Entonces evidentemente
1
Pn+1 (t) = Pn (t) + (t Pn2 (t)) > Pn (t),
2

y solo resta probar p (t) < t. Para ello es suficiente observar que por hipotesis
que Pn+1
inductiva Pn (t) < t < 2 (t) para todo t [0, 1] y que
1
Pn+1 (t) < t Pn (t) + (t Pn2 (t)) < Pn (t) + t Pn (t)
2
t Pn2 (t) < 2( t Pn (t))

t + Pn (t) < 2
p
Pn (t) < 2 (t),

donde la tercera desigualdad equivale a la cuarta porque t Pn (t) > 0. Escribamos ahora
f (t) = lmn Pn (t). Como Pn+1 (t) = Pn (t) + 21 (t Pn2 (t)),
1
f (t) = f (t) + (t f (t)2 ),
2

por lo que f (t) = t. Finalmente, la convergencia es uniforme por el Teorema de Dini.
Un algebra conmutativa sobre un cuerpo k es un anillo conmutativo A junto con un

morfismo de anillos i : k A. Una subalgebra B de A es un subanillo B de A tal que
i(k) B.
Ejemplo 15.4. Para cada espacio metrico X, el conjunto C(X, R), de las funciones con-
tinuas y acotadas de X en R, es un
algebra sobre R via
- (f + g)(x) = f (x) + g(x),
- (f g)(x) = f (x)g(x),
- i()(x) = .
Una sub algebra A de C(X, R) separa puntos si dados x, y X, existe f A tal que
f (x) 6= f (y).
Proposicio n 15.5. Si A es una subalgebra de C(X, R), entonces la adherencia A, de A
respecto de la distancia d , tambien lo es.
n. Tomemos fn , gn , f, g C(X, R). Es facil ver que si
Demostracio
f = lm fn y g = lm gn ,
unif unif
entonces f + g = lm fn + gn y f g = lm fn gn .
unif unif
Teorema 15.6 (StoneWeirstrass). Consideremos un espacio metrico compacto X. Si A

es una sub
algebra de C(X, R) que separa puntos, entonces A es densa.
99
Demostracio n. Lo probaremos en varios pasos.

1) Si f ,g A, entonces m ax(f ,g) y m
n(f ,g) pertenecen a A. En efecto, como
f + g |f g| f + g |f g|
m
ax(f, g) = + y mn(f, g) = ,
2 2 2 2
donde |f g| es la funci
on definida por |f g|(x) = |f (x)g(x)|, para verificar esta afirmacion,
bastara probar que h A |h| A. Pero por el Lema 15.3, sabemos que

M Pn M12 h2 unif / h2 = |h|,
donde M > 0 es cualquier cota superior de {|h(x)| : x X}, y como Pn M12 h2 A para
todo n N, de este hecho se sigue que |h| A.
2) Dados x,y X y a,b R, existe f A tal que f (x) = a y f (y) = b. En efecto, si
g A satisface g(x) 6= g(y), podemos tomar

g(z) g(x)
f (z) = a + (b a) .
g(y) g(x)
3) Dados h C(X,R), x X y > 0, existe hx A tal que hx (x) = h(x) y
hx (x0 ) h(x0 ) + para todo x0 X. En efecto, por el segundo paso, para cada y X
podemos elegir hxy A tal que hxy (x) = h(x) y hxy (y) = h(y) y, una vez elegido hxy , tomar
un entorno abierto Vy de y tal que hxy 0 ) < h(y 0 ) + para todo y 0 V . Por compaccidad
S(y
m
y
existen y1 , . . . , ym X tales que X = i=1 Vyi . La funcion hx = mn(hxy1 , . . . , hxym ) satisface
la desigualdad pedida y, por el primer paso, pertenece a A.
4) Dado h C(X,R) y > 0, existe h e A tal que h < h e < h + . En efecto, para
cada x X, tomemos primero, hx como en el tercer paso, y luego un entorno abierto Vx de x
tal que hx (x0 ) > h(x0 ) para todo x0 Vx . Por compaccidad existen x1 , . . . , xm X tales
que X = m
S
i=1 Vxi . Claramente la funci
on e h = max(hx1 , . . . , hxm ) satisface la desigualdad
pedida y, por el primer paso, pertenece a A.
Corolario 15.7. Toda funci on continua f : [a, b] R es lmite uniforme de una sucesi
on
P1 , P2 , P3 , . . . de funciones polinomiales Pn : [a, b] R.
100
Captulo 16
Espacios de Banach
En este captulo k = R o C. Recordemos que una norma en un k-espacio vectorial E es

una funcion k k : E R0 que satisface:
1. kxk = 0 si y s
olo si x = 0,
2. k xk = ||kxk,
3. kx + yk kxk + kyk,
y que un espacio normado es un k-espacio vectorial E, provisto de una norma. Recordemos
tambien que si k k es una norma en E, entonces la funcion d : E E R0 , definida por
d(x, y) = kx yk, es una metrica que satisface:
1. Espacios de Banach
Un espacio de Banach es un espacio normado completo.
Ejemplos 16.1. A continuaci on damos una lista de espacios normados, se
nalando cuales
de ellos son espacios de Banach.
1. Un subespacio vectorial F de un espacio normado E es en si mismo un espacio nor-
mado via la norma inducida. Cada uno de estos espacios es llamado un subespacio
normado de E. Es f acil ver que si F es un subespacio normado de E, entonces tam-
bien lo es su clausura F . Por la Proposici
on 9.7 sabemos que si F es un subespacio
de Banach de E, entonces F es cerrado en E y, por el comentario que sigue al Teo-
rema 9.2, que si E es un espacio de Banach, entonces tambien lo es todo subespacio
cerrado suyo.
2. Dados un conjunto Z y un espacio normado E, el conjunto B(Z, E), de las funciones
acotadas de Z en E, es un espacio normado via la suma de funciones, el producto por
escalares y la norma definidas por
101
1 Espacios de Banach Espacios de Banach
- (f + g)(z) = f (z) + g(z),

- ( f )(z) = f (z),
- kf k = supzZ kf (z)k.
Es evidente que la metrica asociada a esta norma es la distancia d introducida en
el Captulo 9. Por el Teorema 9.13, si E es un espacio de Banach, entonces tambien
lo es B(Z, E).
3. Asumamos ahora que Z es un espacio metrico. Por el Teorema 7.46, dadas funciones
continuas f : Z V y g : Z V y un escalar , la funci on f + g es continua. Por
lo tanto el conjunto C(Z, E), de las funciones continuas y acotadas de Z en E, es un
subespacio normado de B(Z, E). Por el Teorema 9.15, si E es un espacio de Banach,
entonces tambien lo es C(Z, E).
4. Para cada espacio de Banach E, el conjunto c(E), de las sucesiones convergentes de
elementos de E, es un subespacio cerrado de B(N, E). Adem as, el conjunto c0 (E),
formado por las sucesiones que convergen a cero, es un subespacio cerrado de c(E).
En consecuencia, todos estos espacios son de Banach. Siguiendo la pr actica usual
escribiremos l , c y c0 en lugar de B(N, R), c(R) y c0 (R), respectivamente.
5. El R-espacio vectorial lp (1 P p < ), formado por las sucesiones x = (xn )nN de
p
elementos de R que satisfacen i=1 |xi | < , es un espacio de Banach con la norma
k kp , definida por kxkp = p
p
p
P
i=1 |xi | . En efecto, dada una sucesion
x := x1 , x2 , x3 , . . .
y n N, denotemos con x|n a (x1 , . . . , xn ). Por el item 6 de los Ejemplos 1.2
kx|n + y|n kp kx|n kp + ky|n kp kxkp + kykp .
Como esto vale para todo n,
kx + ykp = lm (kx|n + y|n kp ) kxkp + kykp .
n
Como adem
as
v v
u u
uX uX
k x|p = t
p
|xi |p = || t
p
|xi |p = ||kx|p ,
i=1 i=1
lp es un subespacio de l y k kp es una norma sobre lp . Veamos que es completo.

Supongamos que (xn )nN es una sucesi on de Cauchy en lp . Entonces la sucesi on
(xnm )nN , de las coordenadas m-esimas de (xn )nN , es de Cauchy para todo m N.
Como R es completo, existe xm := lm xnm . Escribamos x = (x1 , x2 , x3 , . . . ). Dado
0
> 0, elijamos n0 N tal que kxn xn kp < , para todo n, n0 n0 . Entonces
0
kxn|m x|m kp = l
0
m kxn|m xn|m kp .
n
Como esto vale para todo m N,
(15) kxn xkp = l
0
m kxn|m x|m kp para todo n n0 .
n
En consecuencia kxkp kxn kp + kx xn kp < , por lo que x lp . Por u
ltimo, la
acotaci n
on (15) muestra que x = lmn x en lp .
Teorema 16.2. La completaci
on de un espacio normado E es un espacio de Banach.
102
Espacios de Banach 2 Transformaciones Lineales
Demostracio n. Si i : E , E 0 es una completacion de E, entonces E 0 E 0 es completo e

i(E)i(E) es denso en E 0 E 0 . En otras palabras, ii : E E , E 0 E 0 es una completacion
de E E. As, por los Teoremas 9.16 y 7.46 las funciones
k k +
E / R0 , EE /E y kE
/E ,
se extienden de manera u
nica a funciones continuas
k k0 +0 0
E0 / R0 , E0 E0 / E0 y k E0 / E0 .
Dados x e y en E 0 , tomemos sucesiones (xn )nN e (yn )nN en E que convergan a x y y

respectivamente. Debido a la continuidad de la suma y producto por escalares en E 0 ,
x +0 0 y = lm xn +0 0 lm yn = lm (xn + yn ).
n n n
para cada k, y usando esto se comprueba facilmente que E 0 es un k-espacio vectorial. Por
ejemplo, la suma es comutativa porque
x +0 y = lm (xn + yn ) = lm (yn + xn ) = y +0 x,
n n
y los restantes axiomas se demuestran de la misma manera. Finalmente, las igualdades
kx +0 yk0 = k lm (xn + yn )k0 = lm kxn + yn k lm (kxn k + kyn k) = kxk0 + kyk0
n n n
y
k 0 xk0 = k lm ( xn )k0 = lm k xn k = lm (||kxn k) = || lm (kxn k) = ||kxk0 ,
n n n n
muestran que k k0 es una norma y, las igualdades
kx yk = k lm (xn yn )k0 = lm kxn yn k = lm d(xn , yn ) = d0 (x, y),
0 0
n n n
que k k0 define la distancia de E0.
2. Transformaciones Lineales
Supongamos que E y F son espacios normados. Una transformacion lineal f : E F
es acotada si existe una constante c > 0, llamada una cota de f , tal que kf (x)k ckxk
para todo x E. Denotamos con el smbolo Homk (E, F ) al espacio de las transformaciones
lineales de E en F y, con el smbolo L(E, F ), al subconjunto de Homk (E, F ) formado por las
transformaciones lineales acotadas. Supongamos que f1 , f2 : E F son acotadas con cotas
c1 y c2 respectivamente. La desigualdad
kf1 (x) + f2 (x)k kf1 (x)k + k f2 (x)k (c1 + ||c2 )kxk
muestra que entonces f1 + f2 es acotada con cota c1 + ||c2 . As, L(E, F ) es un subespacio
vectorial de Homk (E, F ). Como es usual, escribiremos Endk (E) en lugar de Homk (E, E) y
L(E) en lugar de L(E, E). Una transformacion lineal f L(E, F ) es un isomorfismo de
espacios vectoriales normados si es biyectiva y f 1 L(F, E). Dos espacios normados E y F
son isomorfos si hay un isomorfismo f : E F .
Teorema 16.3. Para cada f Homk (E, F ), son equivalentes:
1. f L(E, F ).
2. f es uniformemente continua.
103
2 Transformaciones Lineales Espacios de Banach
4. supkxk1 kf (x)k < .
n. 1. 2. Porque si c es una cota de f , entonces
Demostracio
kf (x) f (x0 )k = kf (x x0 )k ckx x0 k
para todo x, x0 E.
2. 3. Es evidente.
3. 4. Por hipotesis, existe > 0 tal que f (B (0)) B1 (0). En consecuencia,
1 0 1 1
kf (x)k = 0
k f (x)k = 0 kf ( 0 x)k < 0 ,

para todo x con kxk 1 y todo 0 < 0 < .
4. 1. Escribamos M = supkxk=1 kf (x)k. Es evidente que kf (0)k M 0 y, para todo x 6= 0,
kf (x)k x
=f M.
kxk kxk
Esto termina la prueba.
Observacio n 16.4. Si E 6= 0, entonces supkxk1 kf (x)k = supkxk=1 kf (x)k para cada
on lineal f : E F .
funci
Decimos que dos normas k k1 y k k2 , definidas sobre un espacio vectorial E, son equiva-
lentes si existen c1 y c2 en R>0 tales que kxk1 c1 kxk2 y kxk2 < c2 kxk1 para todo x E.
Corolario 16.5. Son equivalentes:
1. k k1 y k k2 son equivalentes.
2. idE es uniformemente continua cuando consideramos al dominio con la norma k k1
y al codominio con la norma k k2 y cuando consideramos al dominio con la norma
k k2 y al codominio con la norma k k1 .
3. idE es continua en 0 cuando consideramos al dominio con la norma k k1 y al codominio
con la norma k k2 y cuando consideramos al dominio con la norma k k2 y al codominio
con la norma k k1 .
Dado f L(E, F ), definimos la norma de f por kf k = supkxk1 kf (x)k. Es facil ver que
kf (x)k
kf k = sup kf (x)k = sup = mn{c R0 : kf (x)k ckxk x E},
xB1 (0) xE\{0} kxk
para toda f L(E, F ).

Teorema 16.6. L(E, F ) es un espacio normado.
n. Tomemos f, g L(E, F ) y k. Por definicion,
Demostracio
k f k = sup k f (x)k = sup ||kf (x)k = ||kf k
kxk1 kxk1
kf k = 0 kf (x)k = 0 para todo x E con kxk 1 f = 0.
104
Finalmente, de las desigualdades

k(f + g)(x)k = kf (x) + g(x)k kf (x)k + kg(x)k = (kf k + kgk)kxk,
validas para todo x E, se sigue inmediatamente que kf + gk kf k + kgk.
n 16.7. De la desigualdad
Observacio
kf (x)g(y)k = kf (x)g(x)+g(x)g(y)k k(f g)(x)k+kg(xy)k kf gkkxk+kgkkxyk,
valida para todo f, g L(E, F ) y todo x, y E, se sigue que la funci
on evaluacion
ev : L(E, F ) E F,
definida por ev(f, x) = f (x), es continua. En consecuencia si f = lmn fn en L(E, F ) y
x = lmn xn en E, entonces f (x) = lmn f (xn ) en F . Esto muestra en particular que si
fn tiende a f en L(E, F ), entonces fn tiende a f puntualmente. M as aun, de la desigualdad
mencionada arriba se sigue f acilmente que si fn tiende a f en L(E, F ), entonces fn tiende a
f uniformemente sobre cada subconjunto acotado de E.
Teorema 16.8. Si F es un espacio de Banach, entonces tambien lo es L(E, F ).
Demostracio n. Consideremos una sucesion de Cauchy (fn )nN en L(E, F ). Para cada
x E, la sucesion fn (x) es de Cauchy en F porque kfn (x) fm (x)k kfn fm kkxk.
Escribamos f (x) = lmn fn (x). Las igualdades
f (x + x0 ) = lm fn (x + x0 ) = lm fn (x) + lm fn (x0 ) = f (x) + f (x0 )
n n n
y
f ( x) = lm fn ( x) = lm fn (x) = f (x),
n n
muestran que f es lineal. Como (fn )nN es de Cauchy, dado > 0, existe n0 N tal que
kfn fm k < si n, m n0 . Entonces, para cada x E,
(16) k(f fm )(x)k = lm k(fn fm )(x)k kxk
n
y, por lo tanto,
kf (x)k kfm (x)k + k(f fm )(x)k < (kfm k + )kxk,
para todo m > n0 , lo que implica en particular que f L(E, F ). Por u ltimo, de la igual-
dad (16) se sigue que f = lmn fn .
Proposicio n 16.9. Si f L(E, F ) y g L(F, G), entonces g f L(E, G) y, adem
as,
kg f k kgkkf k.
n. Porque kg(f (x))k kgkkf (x)k kgkkf kkxk para todo x E.
Demostracio
Proposicio on lineal continua f : E F es una isometra si y s
n 16.10. Una aplicaci olo
si kf (x)k = kxk para todo x E.
n. Si f es una isometra, entonces
Demostracio
kf (x)k = d(f (x), 0) = d(x, 0) = kxk
para todo x E. Recprocamente, si se satisface esta condicion, entonces
d(f (x), f (x0 )) = kf (x) f (x0 )k = kf (x x0 )k = kx x0 k = d(x, x0 )
para todo x, x0 E.
105
n 16.11. Si f : V W es una isometra, entonces

Observacio
kf k = sup kf (x)k = sup kxk = 1.
kxk=1 kxk=1
La recproca no es cierta. Por ejemplo, el endomorfismo de R2 dado por (x, y) 7 (x, 0), tiene
norma 1 y no es una isometra.
Proposicio n 16.12. Si f : E F es un isomorfismo, kf k 1 y kf 1 k 1, entonces f
es una isometra.
n. Para cada x E,
Demostracio
kxk = kf 1 f (x)k kf 1 kkf (x)k kf (x)k.
Pero por otra parte, kf (x)k kf kkxk kxk.
Ejemplo 16.13. La funci on j : F L(k, F ), definida por j(x)() = x, es evidentemente
as es claro que es inversible y que j 1 (f ) = f (1). Por u
lineal. Adem ltimo
kjk = sup kj(x)k = sup sup kj(x)()k = sup sup ||kxk = 1
kxk=1 kxk=1 ||=1 kxk=1 ||=1
y
kj 1 k = sup kj 1 (f )k = sup kf (1)k sup kf k = 1.
kf k=1 kf k=1 kf k=1
As, por la Proposicion 16.12, j es una isometra. Notese que el argumento muestra tambien
que Homk (k, F ) = L(k, F ).
El resultado que sigue mejora el Ejercicio 10.9.
Teorema 16.14. Si E es un espacio vectorial de dimensi
on finita, entonces todas las
normas de E son equivalentes.
Demostracio n. Sin perdida de generalidad podemos suponer que E = k n y que una de
las normas es la norma k k . Denotemos con k k a la otra norma y con (e1 , . . . , en ) a la base
canonica de k n . Cada vector x = (x1 , . . . , xn ) k n satisface
kxk = kx1 e1 + + xn en k |x1 |ke1 k + + |xn |ken k nM kxk ,
ax(ke1 k, . . . , ken k). As, para todo par de vectores x, y k n ,
donde M = m
|kxk kyk| kx yk nM kx yk .
En consecuencia, la aplicacion k k : (k n , k k ) k continua. Como {x k n : kxk = 1} es
compacto, existen c1 , c2 > 0, tales que c1 kxk c2 para todo x k n con kxk = 1. Pero
esto implica que

x x
kxk = kxk c2 kxk y kxk = kxk c1 kxk
kxk kxk
para cada x k n \ {0}.
Corolario 16.15. Los siguientes hechos valen:
1. Cada k-espacio vectorial de dimensi
on finita es completo con cualquier norma.
2. En cualquier espacio normado los subespacios de dimensi on finita son cerrados.
106
Demostracio n. La primera afirmacion se sigue inmediatamente del Teorema 16.14, y la

segunda de la primera y de la Proposicion 9.7.
n 16.16. Si dimk (E) < , entonces Homk (E, F ) = L(E, F ) para todo espacio
Proposicio
normado F .
Demostracio n. Por el Teorema 16.14 basta probarlo cuando E es k n provisto con la
norma k k . En este caso toda transformacion lineal f : E F es acotada porque
kf (x)k = kf (x1 e1 + + xn en )k |x1 |kf (e1 )k + + |xn |kf (en )k M kxk ,
donde M = kf (e1 )k + + kf (en )k), cualquiera sea x = (x1 , . . . , xn ) k n .
2.1. El Espacio Dual El dual algebraico de un espacio normado E es el k-espacio
vectorial Homk (E, k) y el espacio dual de E es el espacio normado E := L(E, k). Un subes-
pacio H de E es un hiperplano si existe Homk (E, k) no nulo, tal que H = ker().
n 16.17. Para cada subespacio H de E, son equivalentes:
Proposicio
1. H es un hiperplano.
2. H E y si L es un subespacio de E tal que H L, entonces L = E.
3. Existe x E \ H tal que hH, xi = E.
Demostracio n. 1. 2. Consideremos una funcional lineal no nula Homk (E, k) tal
que H = ker() y tomemos x L tal que (x) 6= 0. Cada y E se escribe como suma de un
elemento de H y uno de L, en la forma

(y) (y)
y= y x + x.
(x) (x)
Como H L, esto prueba que L = E.
2. 3. Del item 2 se sigue inmediatamente que si x E \ H, entonces hH, xi = E.
3. 1. Basta definir (h + x) = para todo h H y k.
n 16.18. Una funcional lineal : E k es continua si y s
Proposicio olo si ker() es
cerrado.
Demostracio n. Es claro que si es continua, entonces 1 (0) es cerrado. Veamos que
vale la recproca. Evidentemente podemos suponer que 6= 0. Fijemos x 1 (1) y escri-
bamos M = d(x, 1 (0)). Como 1 (0) es cerrado, M > 0. Dado y V , existen k y
z 1 (0) unicos tales que y = z + x. Es evidente que = (y). Si y / 1 (0), entonces

1
kyk = kz + (y) xk = |(y)| (y) z + x |(y)|M,

y es obvio que kyk |(y)|M si y 1 (0). As, |(y)| 1

M kyk para cada y E.
P
Dados un espacio normado E y una sucesion (an )nN de elementos de E, la serie n=1 an ,
on (S1 , S2 , . . . ), donde Si = in=1 an . Una serie
P P
de termino general an , es la sucesi n=1 an es
convergente si existe l
m i Si = s. En tal caso decimos que s es el l
mite o la suma de la serie
y escribimos s =
P P
a
n=1 n P. Finalmente, decimos que a
n=1 n es absol
u tamente convergente
umeros reales
si la serie de n n=1 kan k converge.
n 16.19. Toda serie
P
Proposicio n=1 an , de elementos de un espacio de Banach E, que
es absolutamente convergente, es convergente.
107
P
n=1 kan k
n. Como
Demostracio es de Cauchy y
kan0 + + am0 k kan0 k + + kam0 k para todo n0 < m0 ,
P
la serie n=1 an
es de Cauchy y, por lo tanto, siendo E un espacio de Banach, convergente.
P
Proposicio n 16.20. Si una serie an de elementos de un espacio de Banach E
Pn=1

es absolutamente convergente, entonces n=1 aj(n) es absolutamente convergente para cada
as,
P P
on biyectiva j : N N y adem
funci n=1 aj(n) = n=1 an .
n. Dejada al lector.
Demostracio
Teorema 16.21. Para cada p R1 hay una isometra biyectiva f : lq lp , donde q
a determinado por la igualdad p1 + 1q = 1.
est
n. Fijemos y = (y1 , y2 , . . . ) lq . Por la desigualdad de Holder,
Demostracio

X
(17) |yi xi | kykq kxkp para todo x = (x1 , x2 , . . . ) lp ,
i=1
(la desigualdad de Holder fue establecida para Pp > 1, pero vale trivialmente para p = 1, con
q = ). En consecuencia la serie y (x) = i=1 yi xi converge absolutamente. Por lo tanto
on y : lp k, que claramente es lineal. Ademas
esta formula define una funci

X X
ky k sup |y (x)| = sup yi xi sup |yi xi | sup kykq kxkp = kykq ,

kxkp =1 kxkp =1 i=1
kxkp =1 kxkp =1
i=1
lo que muestra en particular que y lp . Es claro que la aplicacion f : lq lp , definida por
f(y) = y , es lineal, y que
kfk = sup f(y) = sup ky k sup kykq 1.
kyk=1 ky=1k ky=1k
Ademas es inyectiva, ya que si ei es el elemento de lp cuyas coordenadas son todas 0, salvo la

i-esima, que vale 1, entonces f(y)(ei ) = y (ei ) = yi . Resta ver que f es una isometra sobre-
yectiva. Por la Proposici on 16.12, para ello es suficiente ver que existe una trasnsformacion
lineal g : lp lq tal que kgk 1 y f g = id. Dado lp definimos

g() = ((e1 ), (e2 ), (e3 ), . . . ).

Veamos que g() lq y que kg()kq kk. Consideramos dos casos:
p = 1. En este caso k(ei ))k kkkei k1 = kk para cada i N y, por lo tanto,
kg()k = k(e1 ), (e2 ), . . . k kk,
lo que prueba simultaneamente ambas afirmaciones.
(n) (n) (n)
p > 1. Para cada n N, denotemos con x(n) a la sucesion x(n) = (x1 , x2 , x3 , . . . ),
definida por (
(n) |(ei )|q1 sg((ei )) si i n,
xi =
0 si i > n,
on signo. Es claro que x(n) lp para todo n. Un calculo directo
donde sg denota a la funci
muestra que
n n
(n)
X X X
(n) q1
(x ) = xi (ei ) = |(ei )| sg((ei ))(ei ) = |(ei )|q .
i=1 i=1 i=1
108
As,
n n
!1 n
!1
X X p X p
|(ei )|q = |(x(n) )| kkkx(n) kp = kk |(ei )|(q1)p = kk |(ei )|q ,

i=1 i=1 i=1
por lo que v
u n
uX
q
t |(ei )|q kk.
i=1
Haciendo tender n a infinito, obtenemos que kg()kq kk. Igual que en el caso anterior,
esto prueba simultaneamente ambas afirmaciones.
Para terminar la demostraci on solo falta probar que f(g()) = para todo lp . Pero
si x = (x1 , x2 , x3 , . . . ) lp , entonces

X
f(g())(x) = f((e1 ), (e2 ), (e3 ), . . . )(x) = xi (ei ) = (x),
i=1
donde la ultima igualdad se sigue de que

n
!1
X X p
x xi ei = |xi |p 0 cuando n tiende a ,

i=1 p i>n
P
y, por lo tanto, x = i=1 xi ei en lp .
Teorema 16.22 (Hahn-Banach). Para cada espacio normado E, cada subespacio S E
y cada funcional S , existe
e E tal que
e|S = y kk
e = kk.
Demostracio n. Caso k = R Consideremos las extensiones parciales de . Es decir, los

pares (W, ), formados por un subespacio W de E tal que S W y una funcional W
tal que |S = y kk = kk. Ordenamos estas extensiones por (W, ) (W 0 , 0 ) si W W 0
0
y |W = . Por el Lema de Zorn existe una extension maximal (W f , ).
e Debemos probar que
W
f = E, para lo cual mostraremos que si W f ( E y x E \W f , entonces e se puede extender a
f
una (W hxi) tal que kk = kk. Dando por hecho el caso trivial e = 0, y multiplicando
e
por una constante, podemos suponer que kk e = 1. Definimos (w + x) = (w) e + a, con
a R fijo. Debemos ver que se puede elegir a de forma tal que kk kk e = 1. Es decir, de
forma tal que |(w)e + a| kw + xk para todo R y w W f . Reemplazando w por
w es facil ver que para ello ser
a suficiente elegir a tal que |(w)
e + a| kw + xk para todo
wW f , o equivalentemente, tal que
(w)
e kw + xk a (w)
e + kw + xk para todo w W
f.
As, hemos reducido la cuesti
on a probar que
sup ((w)
e kw + xk) nf ((v)
e + kv + xk)
wW
f vW
f
o, lo que es igual, que (w)

e kw + xk (v)
e + kv + xk para todo v, w W f . Pero
e (w)
(v) e |(v
e w)| kv wk = k(v + x) (w + x)k kv + xk + kw + xk,
donde la segunda desigualdad vale porque kk

e = 1.
109
Caso k = C Denotemos con a la parte real de . Como

(i v) = <e((i v)) = <e(i(v)) = =m((v))
para todo v S, sabemos que (v) = (v) i(i v) para todo v S. Por el caso real,
tambien sabemos que hay una extension e : E R que satisface kk e = kk. Pero entonces
la funcion (v),
e definida por (v)
e := (v)
e i(i
e v), extiende a . Ademas, se comprueba
facilmente que (v)
e es C-lineal. Por ultimo, dado que para todo v E tal que (v)e 6= 0,
1 1 1
|(v)|
e =e (v)
e |(v)|v
e = e (v)
e |(v)|v
e kkk
e (v)
e |(v)|vk
e = kkkvk,
e
la desigualdad kk
e kk
e = kk kk vale.
Corolario 16.23. Dados un subespacio cerrado S de E y un punto x E \ S, existe una
funcional lineal E tal que (x) = 1 y |S = 0.
n. Consideremos la funcion lineal : S hxi k, definida por
Demostracio
(s + x) = para todo s S y todo k.
Por la Proposici
on 16.18, como ker() = S es cerrado, es continua. La demostracion se
termina aplicando el teorema anterior.
Corolario 16.24. Dados x, y E tales que hxi hyi = {0}, existe un funcional E
tal que (x) = 0 y (y) = 1. En particular, si E 6= 0, entonces E 6= 0.
Demostracio n. Esto es consecuencia del corolario anterior y del hecho de que por el
Corolario 16.15, el subespacio S = hxi de E, es cerrado.
Teorema 16.25. Si L(E, F ) es un espacio de Banach y E 6= 0, entonces F tambien es
un espacio de Banach.
Demostracio n. Fijemos una funcional E no nula y un punto x0 E tal que
(x0 ) = 1. Dado y F , definimos fy : E F por fy (x) = (x) y. Es evidente que fy es
lineal, y es continua porque
kfy (x)k = k(x) yk kykkkkxk.
Ademas, la correspondencia
F / L(E, F )
y / fy
es lineal y satisface
kfy k = sup kfy (x)k = kyk sup |(x)| = kykkk.
kxk=1 kxk=1
En consecuencia, si (yn )nN es una sucesion de Cauchy en F , entonces la sucesion (fyn )nN
es de Cauchy en L(E, F ) y, por lo tanto, como L(E, F ) es completo, converge en L(E, F ) a
una funcion lineal f : E F . Pero entonces
f (x0 ) = lm fyn (x0 ) = lm (x0 ) yn = lm yn ,
n n n
lo que prueba en particular que F es completo.
n 16.26. Si un espacio normado E tiene una sucesi
Proposicio on de elementos
x1 , x2 , x3 , x4 , . . .
que genera un subespacio denso, entonces es separable.
110
Demostracio n. Consideremos el Q-subespacio vectorial

( P
{ i=1 i xi : i Q y \{i : i 6= 0} < } si k = R,
hx1 , x2 , . . . iQ = P
{ i=1 i xi : i Q[i] y \{i : i 6= 0} < } si k = C,
acil ver que hx1 , x2 , . . . iQ es numerable y hx1 , x2 , . . . iQ = hx1 , x2 , . . . i = E.

de E. Es f
Corolario 16.27. Los espacios lp (1 p < ) son separables.
Demostracio n. Por la Proposicion 16.26, para verificar esto basta recordar que en la
parte final de la demostracion del Teorema 16.21 se probo que el conjunto {ei : i N}, donde
ei es el elemento de lp cuyas coordenadas son todas 0, salvo la i-esima, que vale 1, genera un
subespacio denso de lp .
El espacio de Banach l no es separable, porque dado un conjunto numerable arbitrario

{xi = (xi1 , xi2 , . . . ) : i N} l , la sucesion y = (y1 , y2 , . . . ), dedinida por
(
0 si |xjj | 1,
yj =
2 en otro caso,
esta a una distancia mayor o igual a 1 de cada xi .
Teorema 16.28. Si E es separable, entonces tambien lo es E.
Demostracio n. Por el Corolario 16.24, si E = 0, entonces E = 0 y, en particular,
separable. Supongamos que E 6= 0. Por hipotesis E tiene un subconjunto numerable denso
{1 , 2 , . . . }. Para cada n N tomemos xn E tal que kxn k = 1 y kn k |n (xn )| + n1 .
Por la Proposici on 16.26, para terminar la demostracion sera suficiente probar que
S := hx1 , x2 , . . . i = E.
Supongamos que no es as y, fijado x E \ S, consideremos la funcional : S hxi k,
definida por (s + x) = para todo s S y k. Notemos que es continua porque
ker = S es cerrado. Por el Teorema de Hahn-Banach, tiene una extension e E . Por
la densidad de {1 , 2 , . . . }, existe una sucesion (nj )jN de elementos de este conjunto que
tiende a .
e Por un lado
lm |n (xn )| = kk,
j j
e
j
1
porque knj k kk
e y ||n (xn )| kn k| <
j j j nj . Por otro lado
|nj (xnj )| = |nj (xnj ) (x

e n )| kn kkx
j j
e nj k = knj k 0,
e
porque e se anula sobre S. As, e = 0, lo que es absurdo porque (x)

e = 1.
no es isomorfo a l .
Corolario 16.29. l 1
Teorema 16.30. (Teorema de acotaci on uniforme) Consideremos una familia de funcio-

nes lineales continuas (f : E F ) , donde E y F son espacios normados. Si E es de
Banach y para cada x E existe Mx 0 tal que kf (x)k Mx para todo , entonces existe
M 0 tal que kf k M para todo .
111
Demostracio n. Por el principio de acotacion uniforme (Teorema 12.12) existe una bola
abierta B (x0 ) y un N 0 tal que kf (x)k N para todo y todo x B (x0 ). Si
x B (0), entonces
kf (x)k = kf (x + x0 ) f (x0 )k kf (x + x0 )k + kf (x0 )k N + Mx0 .
as, para cada x B1 (0),
1 1
kf (x)k = kf ( x)k (N + Mx0 ).

De modo que podemos tomar M = 1 (N + Mx0 ).
Recordemos que un algebra conmutativa sobre un cuerpo k es un anillo conmutativo A

junto con un morfismo de anillos i : k A. Una k- algebra (no necesariamente conmutativa)
es un anillo A junto con un morfismo de anillos i : k A tal que i()a = ai() para todo
a A y k. Por ejemplo, para cada cuerpo k el anillo de matrices Mn (k) es un algebra via
on i : k Mn (k) definida por i() := I, donde I es la matriz identidad. Si A es
la aplicaci
una k-algebra, entonces A es un k-espacio vectorial via a := i()a, y
(18) (ab) = ( a)b = a( b)
para todo k y a, b A. Recprocamente, cada anillo A provisto de una estructura de k
espacio vectorial que satisface (18) es una k-algebra con i() := 1.
Un
algebra de Banach es una k- algebra A, dotada de una estructura de espacio de Banach
tal que kabk kakkbk para todo a, b A. Notemos k1k 1 en toda algebra de Banach,
porque k1k =6 0y
k1k = k1 1k k1k2 .
on 16.9 se sigue inmediatamente que L(E) es un algebra
Del Teorema 16.8 y la Proposici
de Banach. El morfismo de estructura i : k L(E) esta dado por i() = idE .
2.2. Elementos Inversibles de L(E) En esta subseccion establecemos algunas

propiedades b asicas del grupo de unidades del algebra de funciones lineales continuas L(E)
de un espacio de Banach E o, m as generalmente, del grupo de unidades de un algebra de
Banach.
xn
algebra de Banach A, la serie ex :=
P
Observacio n 16.31. Dada un n=0 n! es conver-
gente para cada x A, porque lo es absolutamente. La funcion x 7 ex , definida por esta serie
es, por definici
on, la funci
on exponencial de A.
Ejercicio 16.32. Pruebe que la funci
on exponencial de un
algebra de Banach A tiene las
siguientes propiedades:
- e0 = 1.
- Si x, y son elementos de A que conmutan, entonces ex+y = ex ey .
- ex es inversible para todo x A y (ex )1 = ex .
Dada una
algebra A, denotamos con U (A) al grupo de elementos inversibles de A.
algebra de Banach, entonces 1 B1 (0) U (A).
Lema 16.33. Si A es un
112
n. Si x B1 (0), entonces 1 + x + x2 + es absolutamente convergente

Demostracio
porque
1
1 + kxk + kx2 k + 1 + kxk + kxk2 + = .
1 kxk
Ademas,
(1 x)(1 + x + x2 + ) = lm 1 xn+1 = 1,
n
y (1 + x + x2 + )(1 x) = 1 por la misma razon.
Teorema 16.34. Si A es un
algebra de Banach, entonces U (A) es abierto.
n. Debemos probar que para cada x0 U (A), existe > 0 tal que
Demostracio
B (x0 ) U (A),
o lo que es equivalente, que x1 1
0 (x0 +x) = 1+x0 x es inversible para todo x B (0). Pero por
el Lema 16.33, para que esto u ltimo ocurra es suficiente tomar = kx1 1
0 k , porque entonces
kx1 1
0 xk kx0 kkxk < 1.
Teorema 16.35. Si A es un
algebra de Banach, entonces la funci
on
InvA : U (A) U (A),
definida por InvA (x) := x1 , es continua y, por lo tanto, como es involutiva, un homeomor-
fismo.
Demostracio n. Tomemos x0 U (A) y x Bkx1 k1 (0). Los argumentos dados en la
0
on del Teorema 16.34 prueban que x0 x es inversible. Usando que
demostraci
(x0 x)1 = (1 x1 1 1
0 x) x0
y
(1 x1
0 x)
1
= 1 + x1 1 2 1 3
0 x + (x0 x) + (x0 x) + ,
obtenemos la siguiente acotaci
on:
k(x0 x)1 x1 1 1 1 1
0 k = k(1 x0 x) x0 x0 k
k(1 x1
0 x)
1
1kkx1
0 k

X
= (x1 n
0 x) kx1 k

0
n=1

X
kx1
0 k (kx1
0 kkxk)
n
n=1
1
kx0 kkxk
= kx1 k.
1 kx0 kkxk 0
1
kx1
0 kkxk
El resultado es ahora evidente porque es claro que 1kx1 kkxk
kx1
0 k tiende a 0 cuando x tiende
0
a 0.
Dados espacios normados E y F , denotemos con I(E, F ) al subconjunto de L(E, F )
formado por los isomorfismos.
113
Corolario 16.36. Si E y F son espacios de Banach, entonces I(E, F ) es abierto.

Adem
as, la funci
on
InvE,F : I(E, F ) I(F, E),
definida por InvE,F (f ) := f 1 es un homeomorfismo.
Demostracio n. Si E y F no son isomorfos esto es evidente. Supongamos entonces que
hay un isomorfismo u : F E. Como
u (f + f) = u f + u f, u f = u f, ku f k kukkf k y ku1 gk ku1 kkgk
para todo k, f, f L(E, F ) y g L(E), las funciones
Lu : L(E, F ) L(E) y Ru : L(F, E) L(E),
u (f ) := u f y Ru (g) := g u, son isomorfismos de espacios de Banach. Como

definidas por L
L1
u U (L(E)) = I(F, E) y, por el Teorema 16.34, sabemos que U (L(E)) es un subconjunto
abierto de L(E), el conjunto I(E, F ) es un subconjunto abierto de L(E, F ). Para ver que
InvE,F es continua basta notar que InvE,F = Ru InvL(E) Lu , y recordar que InvL(E) es
continua por el Teorema 16.35. Ahora es claro que InvE,F es un homeomorfismo, con inversa
InvF,E .
2.3. El Teorema de la Funci on Abierta Recordemos que una funcion f : X Y ,

de un espacio metrico X en otro Y , es abierta si f (U ) es abierto en Y para cada abierto U
de X.
Teorema 16.37 (Teorema de la funcion abierta). Consideremos espacios de Banach E y
on lineal, continua y sobreyectiva f : E F , es abierta.
F . Toda funci
n. Por el Teorema 12.1, como
Demostracio

[
[
F = f (BE
i (0)) = f (BE
i (0)),
i=1 i=1
existen n N e y F tales que f (BE F

n (0)) Br (y) para algun r > 0. Si x f 1 (y), entonces
f (BE F F 0 F E
n+kxk (0)) Br (0). En efecto, si z Br (0), entonces z = z + y Br (y) f (Bn (0)), y
as,
z = z 0 y f (BE E
n (0)) f (x) f (Bn+kxk (0)).
Tomemos > 1 tal que n + kxk r. Es evidente que f (BE F

r (0)) Br (0). De hecho vale
algo que aparentemente es m as fuerte aunque en realidad es equivalente: que f (BE
t (0))
F F
Bt (0) para todo t > 0. En efecto, dado y Bt (0), existe una sucesion de puntos (xn )nN
de BE r
mn f (xn ). Es claro entonces que y = lmn f ( rt xn ) y
r (0) tal que t y = l
as y f (BE E F F
t (0)). Vamos a probar que f (B2t (0)) Bt (0). Fijemos y Bt (0) y 0 < < 2 .
1
Tomemos primero x1 BE F
t (0) tal que y f (x1 ) Bt (0), luego tomemos x2 Bt (0)
E
F
tal que y (f (x1 ) + f (x2 )) B2 t (0), etcetera. Existen as x1 , x2 , . . . , xn , E, tales
Pn P
que xn BE n1 t (0) y y
F
i=1 f (xi ) B n t (0) para todo n N. La serie i=1 xi es
absolutamente convergente ya que

X X t
kxi k i1 t = < 2t.
1
i=1 i=1
114
P P
Ademas, si x = i=1 xi , entonces kxk i=1 kxi k < 2t y f (x) = y, lo que prueba la
afirmacion. Consideremos ahora un abierto U de V y un punto x de U . Tomemos t > 0 tal
que BV2t (x) U . Entonces
f (U ) f (BE E E F F
2t (x)) = f (x + B2t (0)) = f (x) + f (B2t (0)) f (x) + Bt (0) = Bt (f (x)),
lo cual muestra que f (U ) es abierto.

Corolario 16.38. Si f : E F es una funci
on lineal continua y biyectiva entre espacios
de Banach, entonces f es un isomorfismo.
n. Se sigue del teorema anterior y de la Observacion 7.16.
Demostracio
Recordemos que un espacio vectorial E es suma directa interna de dos subespacios F1 y

on lineal j : F1 F2 E, definida por j(y, y 0 ) = y + y 0 es biyectiva. Si E es
F2 si la funci
un espacio normado y dotamos a F1 F2 con la norma k k , entonces la funcion j deviene
continua, porque
kj(y, y 0 )k = ky + y 0 k kyk + ky 0 k 2k(y, y 0 )k .
Corolario 16.39. Si un espacio de Banach E es suma directa interna de dos subespacios
on j : F1 F2 E definida arriba es un isomorfismo
cerrrados F1 y F2 , entonces la aplicaci
de espacios de Banach.
Demostracio n. Es f
acil ver, usando que F1 y F2 son subconjuntos cerrados de E y que
E es un espacio de Banach, que F1 F2 tambien lo es. Entonces, por el Corolario 16.38, j es
un isomorfismo.
Ejercicio 16.40. Pruebe que si X e Y son espacios metricos y f : X Y es una funci
on
continua, entonces su gr
afico
Gr(f ) := {(x, y) X Y : y = f (x)}
es un subconjunto cerrado de X Y (Recuerdese que X Y es un espacio metrico via la
distancia d introducida en el item 6 del Ejemplo 1.1).
El corolario que sigue muestra que para las funciones lineales entre espacios de Banach
vale la recproca del resultado establecido en el ejercicio anterior.
Corolario 16.41. Consideremos una funci on lineal f : E F entre espacios de Banach.
afico de f es cerrado en E F , entonces f es continua.
Si el gr
n. Consideremos el diagrama conmutativo
Demostracio
F
Gr(f ) /F
<
zzz
z
zz
zz f
E
zzz
E
donde E y F son las funciones definidas por E (x, y) = x y F (x, y) = y. Es facil ver que
E y F son continuas y que E es biyectiva. Por el Teorema de la funcion abierta sabemos
1 1
que E es continua. Entonces f = F E tambien lo es.
115
3 Funciones Multilineales Espacios de Banach
3. Funciones Multilineales
Una funci on f : E1 En F , del producto de una familia E1 , . . . , En de k-espacios
vectoriales en un k-espacio vectorial F , es multilineal si para todo i con 1 i n y toda fa-
milia x1 , . . . , xi1 , xi+1 , . . . , xn con xj Ej , la aplicacion x 7 f (x1 , . . . , xi1 , x, xi+1 , . . . , xn )
es una funci on lineal de Ei en F . El conjunto de todas las aplicaciones multilineales de
E1 En en F , provisto de la suma y el producto por escalares definidos por
(f + g)(x1 , . . . , xn ) = f (x1 , . . . , xn ) + g(x1 , . . . , xn )
( f )(x1 , . . . , xn ) = f (x1 , . . . , xn ).
es un k-espacio vectorial, llamado espacio de las funciones multilinealeas de E1 En en
F y denotado Mult(E1 , . . . , En ; F ).
Teorema 16.42. La funci
on
: Mult(E1 , . . . , En ; F ) Mult(E1 , . . . , En1 ; Homk (En , F )),
definida por (f )(x1 , . . . , xn1 )(x) = f (x1 , . . . , xn1 , x), es un isomorfismo de espacios vec-
toriales.
n. Las igualdades
Demostracio
(f + g)(x1 , . . . , xn1 )(x) = (f + g)(x1 , . . . , xn1 , x)
= f (x1 , . . . , xn1 , x) + g(x1 , . . . , xn1 , x)
= (f )(x1 , . . . , xn1 )(x) + (g)(x1 , . . . , xn1 )(x)
( f )(x1 , . . . , xn1 )(x) = ( f )(x1 , . . . , xn1 , x)

= f (x1 , . . . , xn1 , x)
= (f )(x1 , . . . , xn1 )(x)
= ( ((f )(x1 , . . . , xn1 )))(x)
= ( (f ))(x1 , . . . , xn1 )(x),
muestran que es lineal. Por u ltimo, es facil ver que es inversible, y que su inversa
es la funci on : Mult(E1 , . . . , En1 ; Homk (En , F )) Mult(E1 , . . . , En ; F ), definida por
(g)(x1 , . . . , xn ) = g(x1 , . . . , xn1 )(xn ).
Teorema 16.43. Para cada f Mult(E1 , . . . , En ; F ), son equivalentes:
2. f es continua.
3. Existe M 0 tal que
kf (x1 , . . . , xn )k M kx1 k kxn k
para todo (x1 , . . . , xn ) E1 En .
116
Espacios de Banach 3 Funciones Multilineales
Demostracio n. 3. 2. Fijemos (x1 , . . . , xn ) E1 En . Para todo elemento

(y1 , . . . , yn ) de E1 En es verdad que
n
X
f (y1 , . . . , yn ) f (x1 , . . . , xn ) = f (x1 , . . . , xi1 , yi , . . . , yn ) f (x1 , . . . , xi , yi+1 , . . . , yn )
i=1
Xn
= f (x1 , . . . , xi1 , yi xi , yi+1 , . . . , yn ).
i=1
Por lo tanto
n
X
kf (y1 , . . . , yn ) f (x1 , . . . , xn )k kf (x1 , . . . , xi1 , yi xi , yi+1 , . . . , yn )k
i=1
Xn
M kxi k kxi1 kkyi xi kkyi+1 k kyn k
i=1
Usando esta acotaci on es f

acil ver que f es continua en (x1 , . . . , xn ).
2. 1. Es evidente.
1. 3. Por la continuidad de f en 0, existe > 0 tal que si (x1 , . . . , xn ) B (0) B (0),
entonces kf (x1 , . . . , xn )k < 1. De esto se sigue que para todo 0 < y cada n-upla (x1 , . . . , xn )
con xi Ei \ {0},

kx 1 k kx n k
kf (x1 , . . . , xn )k =
f 0
y1 , . . . , 0 yn

kx1 k kxn k
= kf (y1 , . . . , yn )k
0n
1
< 0 n kx1 k kxn k,

0
donde yj = kxj k xj . Como claramente esta desigualdad vale tambien cuando alguno, o varios
1
de los xi s se anulan, podemos tomar M = 0 n .
Dados espacios normados E1 , . . . , En y F , denotamos con L(E1 , . . . , En ; F ) al subespacio
de Mult(E1 , . . . , En ; F ) formado por las funciones multilineales continuas. Para cada f
L(E1 , . . . , En ; F ), definimos la norma kf k de f por
kf k = mn{M : kf (x1 , . . . , xn )k M kx1 k kxn k para todo (x1 , . . . , xn ) E1 En }.
Usando el resultado que sigue es f
acil probar por induccion en n que
kf k = sup kf (x1 , . . . xn )k
(x1 ,...xn )B1 (0)B1 (0)
y que la correspondencia f 7 kf k es una norma sobre L(E1 , . . . , En ; F ).

Teorema 16.44. Dados espacios normados E1 , . . . , En y F , la aplicaci
on introducida
en el Teorema 16.42 induce por restricci
on un isomorfismo de espacios vectoriales
e : L(E1 , . . . , En ; F ) L(E1 , . . . , En1 ; L(En , F )).

as k(f
Adem e )k = kf k para toda f L(E1 , . . . , En ; F ).
117
3 Funciones Multilineales Espacios de Banach
n. Fijemos (x1 , . . . , xn1 ) con xi Ei . Entonces

Demostracio
k(f )(x1 , . . . , xn1 )(x)k = kf (x1 , . . . , xn1 , x)k kf kkx1 k kxn1 kkxk
As (f )(x1 , . . . , xn1 ) L(En , F ) y k(f )(x1 , . . . , xn1 )k kf kkx1 k kxn1 k, lo cual
implica tambien que (f ) L(E1 , . . . , En1 ; L(En , F )) y k(f )k kf k. Fijemos ahora una
funcion g L(E1 , . . . , En1 ; L(En , F )). Como
k1 (g)(x1 , . . . , xn )k = kg(x1 , . . . , xn1 )(xn )k kg(x1 , . . . , xn1 )kkxn k kgkkx1 k kxn k
para todo (x1 , . . . , xn ) E1 En , la aplicacion 1 (g) es continua y k1 (g)k kgk.
La demostraci on se termina ahora aplicando la Proposicion 16.12.
118
Captulo 17
C
alculo Diferencial
on f : U V , donde U E y V F son subconjuntos abiertos de espacios de

Una funci
Banach E y F , es diferenciable en un punto x0 U si existe T L(E, F ) tal que
kf (x0 + v) f (x0 ) T (v)k
lm = 0.
v0 kvk
olo si existe una funcion R : U x0 F , donde
Es evidente que esto ocurre si y s
U x0 := {v E : v = u x0 para un u U },
tal que
R(v)
f (x0 + v) = f (x0 ) + T (v) + R(v) y lm = 0.
v0 kvk
n 17.1. Si existe, T es u
Observacio nico.
Demostracio n. Supongamos que Te L(E, F ) tiene la misma propiedad que T . Usando

que para cada v E \ {0}
kT (v) Te(v)k k(f (x0 + v) f (x0 ) Te(v)) (f (x0 + v) f (x0 ) T (v))
=
kvk kvk
kf (x0 + v) f (x0 ) Te(v)k kf (x0 + v) f (x0 ) T (v)k
+ ,
kvk kvk
y que la expresi on a la derecha de la desigualdad anterior es un infinitesimo cuando v tiende
acil ver que para todo v 6= 0
a cero, es f
kT ( v) Te( v)k ||kT (v) Te(v)k kT (v) Te(v)k
0 = lm = lm = .
0 k vk 0 ||kvk kvk
As, T (v) = Te(v). Como T y Te tambien coinciden en 0 porque son lineales, esto termina la
demostraci on.
119
Calculo Diferencial
Si f es diferenciable en x0 , la funcion T , cuya unicidad acabamos de probar, es llamada

la diferencial de f en x0 y denotada D f (x0 ). Dejamos al lector la tarea de probar que si
las normas de E y F se cambian por normas equivalentes, las funciones diferenciables y la
diferencial permanecen invariantes.
Una funcion f : U V es diferenciable si lo es en cada punto de U y es diferenciable con
continuidad o de clase C 1 si adem as la funcion diferencial D f : U L(E, F ) es continua.
Proposicio n 17.2. Si f : U V es diferenciable en x0 , entonces f es continua en x0 .
n. Porque
Demostracio
lm kf (x) f (x0 )k = lm kf (x) f (x0 ) D f (x0 )(x x0 ) + D f (x0 )(x x0 )k
xx0 xx0
lm kf (x) f (x0 ) D f (x0 )(x x0 )k + lm k D f (x0 )(x x0 )k
xx0 xx0
= 0.

Proposicio n 17.3 (Linealidad). Si f : U F y g : U F son diferenciables en x0 ,
entonces f + g es diferenciable en x0 para todo , k y
D( f + g)(x0 ) = D f (x0 ) + D g(x0 ).
Demostracio n. Para abreviar escribamos h := f +g y T := D f (x0 )+D g(x0 ).
Por la propiedad tringular y la homogeneidad de la norma
kh(x0 + v) h(x0 ) T (v)k kf (x0 + v) f (x0 ) D f (x0 )(v)k
lm lm ||
v0 kvk v0 kvk
kg(x0 + v) g(x0 ) D g(x0 )(v)k
+ lm |mu|
v0 kvk
= 0,
como deseamos.
Teorema 17.4 (Regla de la Cadena). Sean U E, V F y W G subconjuntos
abiertos de espacios de Banach E, F y G. Si f : U V es diferenciable en x0 y g : V W
es diferenciable en f (x0 ), entonces g f es diferenciable en x0 y
D(g f )(x0 ) = D g(f (x0 )) D f (x0 ).
n. Como g es diferenciable en f (x0 ) existe Rg : V f (x0 ) G tal que
Demostracio
Rg (w)
g(f (x0 ) + w) g(f (x0 )) = D g(f (x0 ))(w) + Rg (w) y lm = 0.
w0) kwk
otesis sobre f existe Rf : U x0 F tal que

Por la hip
Rf (v)
f (x0 + v) f (x0 ) = D f (x0 )(v) + Rf (v) y lm = 0.
v0 kvk
Entonces

g f (x0 + v) g f (x0 ) = g f (x0 ) + f (x0 + v) f (x0 ) g f (x0 )

= D g f (x0 ) f (x0 + v) f (x0 ) + Rg f (x0 + v) f (x0 )

= D g f (x0 ) D f (x0 )(v) + Rf (v) + Rg D f (x0 )(v) + Rf (v)

= D g f (x0 ) D f (x0 )(v) + R(v),
e
120
Calculo Diferencial
donde R(v)
e on de U x0 en G, definida por
es la funci

R(v)
e = D g(f (x0 )) Rf (v) + Rg D f (x0 )(v) + Rf (v) .
Para terminar la demostraci
on, ser a suficiente mostrar que
kR(v)k
e
(19) lm = 0.
v0 kvk
Escribamos
(
kRg D f (x0 )(v)+Rf (v) k
B(v) = k D f (x0 )(v)+Rf (v)k si D f (x0 )(v) + Rf (v) 6= 0,
0 si D f (x0 )(v) + Rf (v) = 0.
Un calculo directo muestra que si v U x0 es no nulo, entonces

kR(v)k
e kRf (v)k kRg D f (x0 )(v) + Rf (v) k
k D g(f (x0 ))k +
kvk kvk kvk
kRf (v)k k D f (x0 )(v) + Rf (v)k
= k D g(f (x0 ))k + B(v) .
kvk kvk
Estas desigualdades implican que (19) vale, ya que
kRf (v)k
lm k D g(f (x0 ))k = lm B(v) = 0,
v0 kvk v0
y la funcion
k D f (x0 )(v) + Rf (v)k
v 7
kvk
es acotada en un entorno reducido de 0.
Proposicio n 17.5. Denotemos con U un abierto de k y con V un abierto de un espacio
de Banach F . Una funci on f : U V es diferenciable en un punto t0 U si y s olo si f es
derivable en t0 . Es decir, si y s
olo si el lmite
f (t0 + h) f (t0 )
f 0 (t0 ) := lm ,
h0 h
llamado derivada de f en t0 , existe. Adem as, la diferencial de f en t0 est
a dada por
D f (t0 )(h) = h f 0 (t0 ).
Demostracio n. Supongamos que f es derivable en t0 . Entonces de la igualdad
f (t0 + h) f (t0 ) h f 0 (t0 ) f (t0 + h) f (t0 )
lm = lm f 0 (t0 ) = 0.
h0 h h0 h
se sigue que f es diferenciable en t0 y D f (t0 )(h) = h f 0 (t0 ). Supongamos ahora que f es
diferenciable en t0 y tomemos y F tal que D f (t0 )(h) = h y. De la igualdad
f (t0 + h) f (t0 ) h y f (t0 + h) f (t0 )
0 = lm = lm y
h0 h h0 h
se sigue que f es derivable en t0 y f 0 (t0 ) = y.
Ejemplos 17.6. A continuaci
on damos unos pocos ejemplos de funciones diferenciables.
1. Si T L(E, F ), entonces T es diferenciable y DT (x) = T para todo x E.
2. Las funciones constantes c : E F son diferenciables, con diferencial nula.
121
1 Derivaciones entre Productos de Espacios de Banach Calculo Diferencial
3. Si A es un algebra de Banach, entonces la funci on f : U (A) U (A), definida por

f (a) = a1 , es diferenciable y D f (a)(b) = a1 ba1 . En efecto, usando que
(a + x)1 a1 = (a + x)1 (a (a + x))a1 = (a + x)1 xa1 ,
y haciendo algunas acotaciones sencillas, obtenemos la siguiente desigualdad:
kf (a + x) f (a) + a1 xa1 k k (a + x)1 xa1 + a1 xa1 k
=
kxk kxk
k(a + x) a1 kkxkka1 k
1

kxk
= k(a + x)1 a1 kka1 k.
La afirmacion se sigue inmediatamente de este hecho ya que k(a + x)1 a1 kka1 k

tiende a 0 cuando x tiende a 0.
1. Derivaciones entre Productos de Espacios de Banach

Vamos a estudiar ahora la diferenciabilidad de funciones cuyo dominio o codominio es un
producto de un n umero finito de espacios de Banach, o bien que se factorizan a traves de un
espacio que lo es. Consideremos entonces un producto de espacios de Banach F1 Fn y
denotemos con i : F1 Fn Fi a las proyecciones canonicas y con ui : Fi F1 Fn
a las inclusiones can
onicas. Notemos que
i ui = idFi ,
Pn
i=1 ui i = idF1 Fn .
Teorema 17.7. Consideremos un abierto U de un espacio de Banach E y un producto

F1 Fn de espacios de Banach. Una funci
on
f : U F1 Fn
es diferenciable en un
Pnpunto x0 si y s olo si cada una de sus componentes fi := i f lo es.
Adem as, D f (x0 ) = i=1 ui D fi (x0 ).
Demostracio n. Si f es diferenciable en x0 , entonces por la regla de la cadena y el item 1
de los Ejemplos 17.6 fi = i f es diferenciable en x0 y D fi (x0 ) = i D f (x0 ). Por las mismas
razones, si las fi s son diferenciables en x0 , entonces
n
X n
X
f= ui i f = ui fi
i=1 i=1
Pn
tambien lo es y D f (x0 ) = i=1 ui D fi (x0 ).
Lema 17.8. Si F1 , F2 y G son espacios de Banach y h : F1 F2 G es una funci on
bilineal y continua, entonces h es diferenciable y D h(x0 , y0 )(v, w) = h(v, y0 ) + h(x0 , w).
n. Debemos probar que
Demostracio
kh((x0 , y0 ) + (v, w)) h(x0 , y0 ) h(v, y0 ) h(x0 , w)k
lm = 0.
(v,w)0 k(v, w)k
122
Calculo Diferencial 1 Derivaciones entre Productos de Espacios de Banach
Pero esto se sigue inmediatamente de que

kh((x0 , y0 ) + (v, w)) h(x0 , y0 ) h(v, y0 ) h(x0 , w)k kh(v, w)k
=
k(v, w)k k(v, w)k
khkkvkkwk

k(v, w)k
khkkwk
y de que lm(v,w)0 khkkwk = 0.
Ejemplo 17.9. Si A es un on m : A A A
algebra de Banach, entonces la multiplicaci
es diferenciable y D m(a, b)(v, w) = vb + aw.
Proposicio n 17.10. Consideremos espacios de Banach E, F1 , F2 y G y un subconjunto
abierto U de E. Si f1 : U F1 y f2 : U F2 son funciones diferenciables en un punto x0 U
y h : F1 F2 G es una funci on w : U G, definida
on bilineal y continua, entonces la funci
por w(x) = h(f1 (x), f2 (x)), es diferenciable en x0 y
D w(x0 )(v) = h(D f1 (x0 )(v), f2 (x0 )) + h(f1 (x0 ), D f2 (x0 )(v)).
n. Por la regla de la cadena y el Teorema 17.7, sabemos que
Demostracio

D w(x0 )(v) = D h f1 (x0 ), f2 (x0 ) D f1 (x0 )(v), D f2 (x0 )(v) .
El resultado se obtiene ahora inmediatamente aplicando el Lema 17.8.
Corolario 17.11. Consideremos un abierto U de un espacio de Banach E y un algebra de
Banach A. Si f1 : U A y f2 : U A son funciones diferenciables en un punto x0 U , en-
tonces f g : U A es diferenciable en x0 y D(f g)(x0 )(v) = f (x0 ) D g(x0 )(v)+D f (x0 )(v)g(x0 ).
n. se sigue inmediatamente de la Proposicion 17.10 y el Ejemplo 17.9.
Demostracio
1.1. Diferenciales Parciales Consideremos ahora una funcion f : U V , donde U
es un abierto de un producto de espacios de Banach E1 En y V es un abierto de un
espacio de Banach F . Dado a = (a1 , , an ) U , definimos i : Ei E1 En por
i (x) = (a1 , . . . , ai1 , x, ai+1 , . . . , an ).
Denotemos con Ui a la preimagen 1 on f i |Ui es diferenciable en
i (U ) de U por i . Si la funci
ai , entonces llamamos a su diferencial la diferencial parcial i-esima de f en a y la denotamos
f
Di f (a) o x i
(a). De la definici
on se sigue inmediatamente que
kf (a1 , . . . , ai1 , x, ai+1 , . . . , an ) f (a) Di f (a)(xi ai )k
lm = 0.
xi ai kxi a1 k
f f
Cuando cada Ei es igual a k, se suele identificar la funcion lineal xi (a) con su valor xi (a)(1)
en 1, llamado derivada parcial i-esima de f en a.
Observacio n 17.12. Para cada abierto U E1 En , si f : U V es diferenciable
en un punto a de U , entonces existen todas las diferenciales parciales de f en a. Adem as
Di f (a) = D f (a) ui , donde ui : Ei E1 En es la inclusi
on can
onica, y
X
D f (a) = Di f (a) pi ,
i=1n
donde pj : E1 En E.
123
2 El teorema de los incrementos finitos Calculo Diferencial
Pn Demostracion. Esto es una consecuencia inmediata de la regla de la cadena y de que

u
i=1 i p i = idE1 En .
Corolario 17.13. Para cada abierto U E1 En , una funci
on diferenciable
f: U V
es de clase C1 si y s
olo si sus derivadas parciales
f
: U L(Ei , F )
xi
son continuas.
2. El teorema de los incrementos finitos

Recordemos que para cada par de puntos a y b de un espacio de Banach E, el segmento
[a, b] es el conjunto
[a, b] = {ta + (1 t)b : 1 t 1},
de E.
Decimos que una funci on g : [0, 1] F , con valores en un espacio de banach F , es derivable
en [0, 1] si es la restricci
on de una funcion derivable h, definida en un intervalo abierto que
incuye a [0, 1]. Es evidente que si este es el caso, g 0 (0) := h0 (0) y g 0 (1) := h0 (1) no dependen
de la extension h.
Lema 17.14. Consideremos una funci on g : [0, 1] F derivable, donde F es un espacio
de Banach. Si kg 0 (t)k M para todo t, entonces kg(1) g(0)k M
n. Afirmamos que
Demostracio
(20) kg(x) g(0)k (M + )x para todo x [0, 1] y todo > 0.
En efecto, supongamos que esto no es cierto para algun y denotemos con x0 al nfimo de los
xs para los que la desigualdad es falsa. Notemos primero que kg(x0 ) g(0)k (M + )x0 ,
porque de lo contrario la desigualdad (20) sera falsa para un x < x0 . Notemos tambien que
on de g 0 (x0 ) y el hecho de que kg(x0 )k M , existe > 0 tal que
por la definici
kg(t) g(x0 )k (M + )(t x0 ) para todo t [0, 1] entre x0 y x0 + .
Pero entonces
kg(t) g(0)k kg(t) g(x0 )k + kg(x0 ) g(0)k (M + )x0 + (M + )(t x0 ),
lo que contradice la definici
on de x0 .
Teorema 17.15 (Teorema de los incrementos finitos). Para cada funci
on diferenciable
f : U F y cada segmento [a, b] U ,
kf (b) f (a)k sup k D f (x)kkb ak.
x[a,b]
n. Si supx[a,b] k D f (x)k = esto es evidente. As que supongamos que

Demostracio
sup k D f (x)k = N R0
x[a,b]
124
Calculo Diferencial 2 El teorema de los incrementos finitos
y veamos que kf (b) f (a)k N kb ak. Consideremos la funcion g : [0, 1] F definida por
g(t) := f (at + (1 t)b). Notemos que g es continua. Ademas, por la regla de la cadena es
diferenciable en cada t (0, 1) y
g 0 (t) = D f (at + (1 t)b)(a b).
Por el Lema 17.14
kf (b) f (a)k = kg(1) g(0)k sup kg 0 (t)k = N kb ak,
t(0,1)
como queramos.
Corolario 17.16. Si f : U F es diferenciable, U es conexo y D f (x) = 0 para todo
x U , entonces f es constante.
Demostracio n. Tomemos un x0 U y consideremos el conjunto C = f 1 (f (x0 )). Por
un lado, como f es continua C es cerrado en U . Por otro lado, como U es abierto, para cada
punto x C existe un x > 0 tal que Bx (x) U , y usando el Teorema de los incrementos
acilmente que Bx (x) C. As, C es abierto. Como U es conexo esto
finitos se comprueba f
implica que U = C.
Teorema 17.17. Consideremos una funci on f : U V , cuyo dominio es un abierto U
de un producto de espacios de Banach E1 En y cuyo codominio es un abierto V de
f
un espacio de Banach F . Si las derivadas parciales xi
(x) existen en todo punto x de U y las
funciones
f
: U L(Ei , F )
xi
son continuas en un punto a de U , entonces f es diferenciable en a.
Demostracio n. Sin perdida de generalidad podemos suponer que U es convexo, por
ejemplo una bola abierta con centro a. Para cada i n, consideremos la funcion f (i) : U V ,
definida por
f
f (i) (x) := f (x1 , . . . , xi , ai+1 , . . . , an ) f (x1 , . . . , xi1 , ai , . . . , an ) (a)(xi ai ),
xi
donde xi Ei es la i-esima coordenada de x y ai Ei es la i-esima coordenada de a. Como
una suma algebraica de funciones es diferenciable si y solo si lo es cada sumando,
n n
X X f
f (x) f (a) = f (i) (x1 , . . . , xn ) + (a)(xi ai ),
xi
i=1 i=1
y tanto las funciones constantes como las lineales son diferenciables, para probar el teorema
sera suficiente verificar que las f (i) s son diferenciables en a (con diferencial nula). Para i = 1
f
esto es claro por la misma definici on de x 1
(a). Supongamos que i > 0. Por hipotesis, la
(i)
diferencial parcial i-esima de f esta definida en cada punto y del segmento L, que une
(x1 , . . . , xi , ai+1 , . . . , an ) con (x1 , . . . , xi1 , ai , . . . , an ). Ademas, por la misma definicion de
f (i) es claro que
f (i) f f
(y) = (y) (a).
xi xi xi
125
3 El teorema de la funci
on inversa Calculo Diferencial
Pero entonces, como f (i) (a) = f (i) (x1 , . . . , xi1 , ai , . . . , an ) = 0, por el Teorema de los incre-
mentos finitos
f f
kf (i) (x)f (i) (a)k = kf (i) (x)f (i) (x1 , . . . , xi1 , ai , . . . , an )k sup k (y) (a)kkxi ai k.
yL xi xi
f
Como xi es continua en a e y tiende a a cuando x tiende a a, esto implica que
kf (i) (x) f (i) (a)k
lm = 0,
xa kx ak
por lo que D f (i) (a) = 0, como queremos.
Ejercicio 17.18. Con las notaciones del teorema anterior, pruebe que si n 1 de las
diferenciales parciales de f est
an definidas en U y son continuas en a, y la restante existe
en a, entonces f es diferenciable en a (indicacion: en la demostraci
on del teorema solo se
f
us
o que x1 (a) existe).
Teorema 17.19. Consideremos una funci on f : U V , cuyo dominio es un abierto U
de un producto de espacios de Banach E1 En y cuyo codominio es un abierto V de
un espacio de Banach F . Para que f sea de clase C 1 es necesario y suficiente que existan las
f
diferenciales parciales xi
y que las funciones
f
: U L(Ei , F )
xi
sean continuas.
Demostracio n. La necesidad se sigue inmediatamente de la Observacion 17.12, y la
suficiencia del Teorema 17.17 y el Corolario 17.13.
3. El teorema de la funci
on inversa
Una funci on f : U V , de un abierto U de un espacio de Banach E en un abierto V
de un espacio de Banach F , es un difeomorfismo si es biyectiva, diferenciable en U , y f 1 es
diferenciable en V . Un C 1 -difeomorfismo es un difeomorfismo f tal que tanto f como f 1 son
de clase C 1 . Por la regla de la cadena, si f es un difeomorfismo, entonces D f (x) : E F es
un isomorfismo de espacios de Banach para cada x U , y D f (x0 )1 = D f 1 (f (x0 )).
Teorema 17.20. Sea f : U V una funci on de clase C 1 , donde U y V son abiertos de
espacios de Banach E y F , respectivamente. Consideremos un punto x0 de U . Si D f (x0 ) es
un isomorfismo de espacios de Banach, entonces existen entornos abiertos U0 de x0 y V0 de
f (x0 ), tales que f|U0 es un C 1 -difeomorfismo de U0 en V0
Demostracio n. Podemos suponer que E = F , x0 = f (x0 ) = 0 y D f (x0 ) = id. En
efecto, como los C 1 -difeomorfismos son cerrados bajo composicion, si el resultado es cierto
para la funcion
x 7 D f (x0 )1 (f (x0 + x) f (x0 )),
que satisface las restricciones pedidas, tambien es cierto para f . Sea g : U F la aplicacion
definida por g(x) := x f (x). Como D g(0) = 0 y D g : U L(E, F ) es continua, existe r > 0
tal que k D g(x)k 21 para todo x B r (0). Ademas, por el Corolario 16.36 y la continuidad de
D f y de la funcion InvL(E) : U (L(E)) U (L(E)), que manda cada elemento en su inverso,
126
Calculo Diferencial 3 El teorema de la funcion inversa
tomando r lo suficientemente chico podemos asegurar que D f (x) es inversible y existe K R

tal que kDf (x)1 k K, para todo x Br (0). Vamos a probar que puede tomarse
V0 = Br/2 (0) y U0 = f 1 (V0 ) Br (0).
Dado y Br/2 (0), fijemos r1 > 0 tal que kyk < r1 r. Afirmamos que existe un u
nico punto
xy Br1 (0) tal que f (xy ) = y. Escribamos gy (x) = y + g(x). Por el teorema del punto fijo
para contracciones, como
f (x) = y gy (x) = x,
on es suficiente mostrar que kgy (x)k r1 para todo x Br1 (0), y que
para probar la afirmaci
la funcion
gy : Br1 (0) Br1 (0)
es una contracci
on. Lo primero es cierto porque, por el Teorema de los incrementos finitos,
1
kg(x)k kg(x) g(0)k kxk para todo x Br1 (0)
2
y, por lo tanto,
kgy (x)k kyk + kg(x)k r;
y lo segundo, porque, de nuevo por el Teorema de los incrementos finitos,
1
(21) kgy (x) gy (x0 )k = kg(x) g(x0 )k kx x0 k para todo x, x0 Br1 (0).
2
Tomando ahora r1 := r vemos que xy es u nico en f 1 (Br/2 (0)) Br (0) (un subconjunto de
F que no necesariamente es abierto), y tomando r1 < r vemos que xy f 1 (Br/2 (0)) Br (0)
(aunque no usaremos esto, vale la pena senalar que haciendo tender r1 a kyk se ve que, de
hecho, kxy k 2kyk). Resta probar que
f 1 : V0 U0
es de clase C 1 . Dados, x, x0 U0 , por la desigualdad (21) con y = 0, tenemos
1
kx x0 k kf (x) f (x0 )k k(x f (x)) (x0 f (x0 ))k kx x0 k
2
o, equivalentemente,
kx x0 k 2kf (x) f (x0 )k.
Por lo tanto
(22) kf 1 (y) f 1 (y 0 )k 2ky y 0 k para todo y, y 0 V0 ,
lo que en particular prueba que f 1 es continua. Notemos ahora que para todo y, y 0 V0 y
x, x0 U0 tales que f (x) = y y f (x0 ) = y 0 , es cierto que
1
f (y) f 1 (y 0 ) D f (x0 )1 (y y 0 ) = x x0 D f (x0 )1 f (x) f (x0 )

= D f (x0 )1 D f (x0 )(x x0 ) f (x) + f (x0 )

Kkf (x) f (x0 ) D f (x0 )(x x0 )k.
127
3 El teorema de la funci
on inversa Calculo Diferencial
Combinando esto con (22), obtenemos que

1
f (y) f 1 (y 0 ) D f (x0 )1 (y y 0 )

kf (x) f (x0 ) D f (x0 )(x x0 )k
lm0 K l
m
yy ky y 0 k yy 0 ky y 0 k
kf (x) f (x0 ) D f (x0 )(x x0 )k
2K lm0
xx kx x0 k
= 0.
Esto prueba que f 1 es diferenciable en y 0 , y que D f 1 (y 0 ) = D f (x0 )1 . Dicho de otro modo,
D f 1 = InvL(E) D f f 1 . Por lo tanto la funcion D f 1 : V0 L(E) es continua.
Dados espacios de Banach E, F y G, abiertos no vacos U de E y V de F , una funcion
de clase C 1
f : U V G,
y un punto w0 de G, consideremos la ecuacion
(23) f (u, v) = w0 .
El siguiente resultado dice que bajo condiciones favorables, dada una solucion (u0 , v0 ) de (23),
existe un entorno de u0 en el cual la ecuacion (23) define v como una funcion C 1 de u que
aplica u0 en v0 .
Teorema 17.21 (Teorema de lo funcion implcita). Si la diferencial segunda
f
(u0 , v0 ) : F G
x2
es un isomorfismo, entonces hay entornos U0 de u0 , W0 de w0 y una funci on C 1
g : U0 W 0 V
tal que f (u, g(u, v)) = v para todo (u, v) U0 W0 .
Demostracio n. Definimos H : U V E G por H(u, v) := (u, f (u, v)). Un calculo
directo muestra que la diferencial de H en (u0 , v0 ) es la funcion

f f
DH(u0 , v0 )(x, y) = x, (u0 , v0 )(x) + (u0 , v0 )(y) ,
x1 x2
la cual es un isomorfismo de espacios de Banach. Entonces, por el teorema de la funcion
inversa, H tiene una inversa local
H 1 : U0 W0 U V
de clase C 1 . Por la misma forma de H, es claro que existe g : U0 W0 V u nica tal que
H 1 (u, v) = (u, g(u, v)) para todo (u, v) U0 V0 . Es evidente que esto es exactamente lo
que se necesita para que g satisfaga las condiciones requeridas en el enunciado.
Nota 17.22. La correspondencia que define v en funci on de u, mencionada arriba del
enunciado del Teorema de la funcon implcita, se obtiene componiendo g con la funci
on
u 7 (u, v0 ).
128

EspaciosMetricos PDF

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

EspaciosMetricos PDF

Cargado por

Copyright:

Formatos disponibles

Espacios M

Jorge Alberto Guccione

Captulo 1. Espacios metricos 1

Ejemplos 1.2. A continuaci

es una distancia sobre Rn .

la cual es v alida para todo x1 , . . . , xn , y1 , . . . , yn R, con xi e yi sustitudos por xi yi e

de la cual la de Minkowski es una consecuencia inmediata.

la superficie delimitada por el eje , la recta = b y la grafica de = q1 . Para terminar la

la cual claramente implica que se satisface la desigualdad triangular.

Ejercicio 1.3. Pruebe que

para cada par (xn )nN e (yn )nN de sucesiones de n

para todo x := (x1 , x2 , x3 . . . ) e y := (y1 , y2 , y3 . . . ) en X, porque el conjunto

Demostracio n. De la definici on se sigue inmediatamente que de (x, y) = 0 si y solo

Observacio n 1.8. Consideremos elementos x := (x1 , x2 , x3 , . . . ) e y := (y1 , y2 , y3 , . . . )

on de1 : X X R0 es una metrica.

= de1 (x, y) + de1 (y, z),

validas para todo x, y, z X (donde xj , yj y zj denotan a las j-esimas coordenadas de x, y

Ejercicio 1.10. Pruebe que si (X, d) es un espacio pseudometrico, entonces la relaci

es una metrica sobre R. Pruebe que tambien lo es la funci

Ejercicio 1.15. Pruebe que si

donde xn := mn(1, xn ), satisface las condiciones requeridas en el ejercicio anterior.

tambien satisface las condiciones requeridas en el ejercicio anterior.

Bolas abiertas, bolas cerradas y esferas

Ejercicio 2.7. En este ejercicio consideramos a R provisto de la distancia d dada por

Distancia entre conjuntos y di

1. Distancia entre conjuntos

de R0 {}. M as generalmente, la distancia d(A, B) entre dos subconjuntos A y B de X,

Si bien un elemento no es un conjunto, consideramos a esta definicion mas general que la

Ejemplo 3.2. En (R2 , d2 ),

Ejemplo 3.3. En un espacio metrico discreto X,

Decimos que la distancia de un punto x a un conjunto A se realiza si existe a A tal que

n. Como d(x, z) d(x, y) + d(y, z) para todo z A,

En este captulo k = R o C. Dado un k-espacio vectorial E, los elementos de k son

para todo r R>0 .

Demostracio n. Supongamos que k k es una norma y veamos que B := B1 (0) satisface

Ejercicio 4.7. Pruebe que un subconjunto B de un espacio vectorial E es la bola abierta

n 4.8. En un espacio normado no nulo E,

Ejercicio 4.10. Pruebe que si (E, k k) es un espacio pseudonormado, entonces el conjunto

Una sucesi on de puntos de X es una funcion x : N X. Siguiendo una practica habitual

entonces d(x, y) = 0 y, por lo tanto, x = y. Una sucesion de puntos de X es divergente si no

El resultado establecido en el Corolario 5.12 es cierto para un producto numerable de

Recprocamente, si (xnj )nN tiende a xj para todo j N, entonces, nuevamente por el

Observacio n 5.18. Un punto x de X es un punto de aglomeraci

de R , respectivamente. Dejamos como ejercicio para el lector probar que

B1r (f ) A. En cambio el conjunto B := {f B[a, b] : f (x) < 1 for all x} no es abierto

mnimo de r y r0 . Es evidente que Br00 (x) U V .

Demostracio n. Es evidente que los items 1, 3, 4 y 5 valen. Por la Observacion 5.7,

abierto de A B. De modo que el item 6) tambien es verdadero. Por u

n 6.16. Consideremos un producto finito X1 Xn de espacios metricos.

Demostracio n. Denotemos con AY al interior de A como subconjunto de Y . Para cada

En consecuencia, si A es abierto en Y , entonces A es la interseccion de Y con un abierto de

ltimo, para concluir que C D es cerrado si C y D

2.1. El conjunto de Cantor Ahora vamos a introducir un ejemplo famoso de con-

2.2. La clausura de un conjunto La clausura o adherencia A, de un subconjunto

3. La frontera y el borde de un conjunto

El borde de un subconjunto A de X es el conjunto

Funciones continuas, uniformemente

3. 1. Dado  > 0, la preimagen por f de B (f (x)) es un entorno de x y, por lo tanto,

4. 3. Tomemos un cerrado arbitrario C de X 0 . Por hipotesis

1. Si f : X Y es continua en A y g : Y Z es continua en f (A), entonces g f es

donde k := R o C, son continuas. Concluya que la suma

pY (BrXY (x, y)) = pY (BX Y Y

2. Funciones uniformemente continuas

3. 1. Dado > 0, la preimagen por f de B (f (x)) es un entorno de x y, por lo tanto,

- Para todo > 0, existe > 0 tal que

mn{d(x, xi ) : 1 i n } < para todo x A.