To Polo Gia Metric As Basic A

Contents
0 CONOCIMIENTOS PREVIOS
0.1
Conjuntos y aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.2
Numerabilidad
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
0.3
Los n
umeros reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
ESPACIOS METRICOS
19
1.1
Definicion y ejemplos de espacios metricos . . . . . . . . . . . . . . . . . . . . . . . .
20
1.2
Bolas. Conjuntos acotados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
1.3
Abiertos. Propiedades de los conjuntos abiertos . . . . . . . . . . . . . . . . . . . . .
30
1.4
Entornos. Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
2 ESPACIOS TOPOLOGICOS
41
2.1
Definicion y ejemplos de espacios topologicos . . . . . . . . . . . . . . . . . . . . . . .
41
2.2
Cerrados. Entornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
2.3
El primer axioma de numerabilidad y la condicion de Hausdorff . . . . . . . . . . . .
48
2.4
Metricas equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
3 PUNTOS ESPECIALES EN UN ESPACIO TOPOLOGICO
55
3.1
Puntos de adherencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
3.2
Puntos frontera. Puntos interiores . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
3.3
Caracterizacion por sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
CONTENTS
4 CONTINUIDAD
75
4.1
Continuidad en un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
4.2
Continuidad global . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
4.3
Continuidad uniforme e isometras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
5 SUBESPACIOS TOPOLOGICOS
87
5.1
Topologa inducida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
5.2
Adherencia, interior y frontera relativa . . . . . . . . . . . . . . . . . . . . . . . . . .
92
5.3
Continuidad y subespacios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
94
6 PRODUCTO DE ESPACIOS TOPOLOGICOS
99
6.1
Topologa producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
6.2
Adherencia, interior y frontera en el producto . . . . . . . . . . . . . . . . . . . . . . 105
6.3
Continuidad y productos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7 CONEXION
113
7.1
Conexion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
7.2
Subespacios conexos de R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
7.3
Otras propiedades de la conexion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
7.4
Componentes conexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.5
Conexion por arcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
8 COMPACIDAD
135
8.1
Espacios topologicos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
8.2
Subespacios compactos. Caracterizacion de los de R y de Rn . . . . . . . . . . . . . . 138
8.3
Relacion con las aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . 145
8.4
Espacios metricos sucesionalmente compactos . . . . . . . . . . . . . . . . . . . . . . 147
CONTENTS
9 ESPACIOS COMPLETOS
3
157
9.1
Espacios metricos completos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
9.2
Algunos teoremas sobre espacios completos . . . . . . . . . . . . . . . . . . . . . . . . 162
9.3
Completacion de un espacio metrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
CONTENTS
Chapter 0
CONOCIMIENTOS PREVIOS
En esta seccion vamos a recoger algunos resultados genericos que los estudiantes deberais conocer
antes de empezar el curso para su posterior uso. Asimismo, incluimos demostraciones de aquellos
que creemos menos probable que hayais visto.
0.1
Conjuntos y aplicaciones
Empecemos con un repaso de notacion de algunos conjuntos numericos basicos. Por ejemplo, el
conjunto de los n
umeros naturales se denota N, el conjunto de los n
umeros enteros se denota Z, el
de los racionales Q y el de los reales R. Cualquiera de estos conjuntos menos el cero se denota con
una estrella como superndice, as N son los naturales menos el cero, etc.
Asumimos cierta familiaridad con el concepto intuitivo de conjunto, as como con las operaciones
basicas entre ellos como union o interseccion. Ademas, durante este curso vamos a usar el concepto
de familia de conjuntos. Esta es, simplemente, un conjunto cuyos elementos son conjuntos. Las
denotaremos indistintamente por letras caligraficas U, V, etc. o bien usando subndices {Ui : i I},
{V : }, etc. Asociado a cada familia de conjuntos definimos la union como el conjunto formado
5
CHAPTER 0. CONOCIMIENTOS PREVIOS
por los elementos que pertenecen a alg

un conjunto de la familia. La escribimos
[
o bien
U = {x : existe U U tal que x U }
Ui = {x : existe i0 I tal que x Ui0 }.
iI
Analogamente, definimos la interseccion como el conjunto formado por los elementos que pertenecen
a todos los conjuntos de la familia. La escribimos
\
o bien
U = {x : para todo U U, x U }
Ui = {x : para todo i I, x Ui }.
iI
No es difcil ver que cumplen distributividad una respecto a la otra.

Propiedad 0.1 Sea {Ui : i I} una familia de conjuntos. Entonces
T
T
1. A ( iI Ui ) = iI (A Ui ),
S
S
2. A ( iI Ui ) = iI (A Ui ).
Asimismo, recordemos que el complementario de un subconjunto A de X es el conjunto formado

por los elementos del conjunto X que no estan en A. Se denota X A. Es evidente que el complementario del complementario es el conjunto inicial (X (X A) = A).
La relacion de los complementarios con la union y la interseccion esta dada por las leyes de
Morgan.
Propiedad 0.2 Sea {Ui : i I} una familia de conjuntos. Entonces
1. X (
S
iI
Ui ) =
iI (X
Ui ),
0.1. CONJUNTOS Y APLICACIONES
T
S
2. X ( iI Ui ) = iI (X Ui ).
Un concepto que usaremos, relacionado con los complementarios, es la diferencia de dos conjunts
A y B, A B. Es el conjunto de los elementos del conjunto A que no estan en B, es decir,
A B = A (X B). Las leyes de Morgan tambien son ciertas para la diferencia. Cabe, ademas,
resaltar un par de propiedades.
Propiedad 0.3 Para cualquier A y B se cumple
1. A (A B) = A B,
2. A (A B) = A B.
Otro concepto que suponemos conocido, ya que es tan basico como el de conjunto, es el de
aplicaci
on entre conjuntos. De todas maneras no esta de mas aclararlo un poco. Una aplicacion
f : X Y hace corresponder a cada elemento x de X, uno, y solo un, elemento de Y , que se llama
la imagen de x y se denota por f (x). Equivalentemente, viene dada por un subconjunto f X Y ,
que llamamos la grafica de f , cumpliendo que para todo elemento x X existe un u
nico elemento
y Y tal que (x, y) f .
Ligados al concepto de aplicacion, estan los de imagen e imagen inversa de un conjunto. Si
A X, la imagen de A, f (A), es el subconjunto de Y formado por las imagenes de los elementos
del conjunto A. O sea,
f (A) = {y Y : existe x A, y = f (x)}.

Si B Y , la imagen inversa de B, f 1 (B), es el subconjunto de X formado por los elementos
cuya imagen esta en B. En smbolos
f 1 (B) = {x X : f (x) B}.

Cuando y es un elemento de Y se denota f 1 (y) = f 1 ({y}). Daros cuenta que f 1 (y) es un
subconjunto de X, no un elemento.
Hay otro punto que resaltar. El smbolo f 1 (B) es simplemente una notacion. El que aparezca
f 1 , no quiere decir que la aplicacion f tenga inversa, la cual tambien se denotara f 1 .
Resaltemos unas relaciones que se cumplen entre las imagenes y las imagenes inversas.
Propiedad 0.4 Sea f : X Y una aplicaci
on entre conjuntos, A X y B Y . Entonces
1. A f 1 (f (A)),
2. f (f 1 (B)) B.
Daros cuenta que estas inclusiones, en general, no son igualdades. Es un ejercicio recomendable
en todo este captulo buscar ejemplos donde las inclusiones sean estrictas.
Veamos el comportamiento de las imagenes e imagenes inversas con la union y la interseccion de
familias.
on entre conjuntos, Ai X y Bi Y para todo i I.
Entonces
S
S
1. f ( iI Ai ) = iI f (Ai ),
T
T
2. f ( iI Ai ) iI f (Ai ),
3. f 1 (
4. f 1 (
S
iI
Bi ) =
iI
Bi ) =
S
iI
f 1 (Bi ),
iI
f 1 (Bi ).
Tambien existen relaciones entre las imagenes inversas y los complementarios.

on entre conjuntos y B Y . Entonces f 1 (Y B) =
X f 1 (B).
0.2. NUMERABILIDAD
En cambio, no hay ninguna relacion entre las imagenes y los complementarios. Buscad ejemplos.
Un tipo especial de aplicaciones que usaremos son las sucesiones. Para nosotros, una sucesion en
X es una aplicacion : N X. Es costumbre denotar la sucesion como {xn }
n=1 donde xn = (n).
Un ejemplo de sucesion en R es { n1 }
n=1 .
Nota 0.7 Es conveniente distinguir una sucesion de su conjunto imagen. Por ejemplo, una sucesion
siempre tiene infinitos terminos, pero su conjunto imagen puede no ser infinito. Como ejemplo, la
sucesion {1, 0, 1, 0, . . .} tiene conjunto imagen {0, 1}.
El u
ltimo objetivo de este apartado es definir una subsucesi
on de una sucesion dada. Dada una
aplicacion estrictamente creciente : N N donde (k) = nk , definimos la subsucesion asociada
como la composicion : N X, o sea, es la sucesion {xnk }
k=1 .
Ejemplo 0.8
on de { n1 }
1. La sucesion { 21k }
n=1 .
k=1 es una subsucesi
2. Sea {xn }
on. Entonces, siempre son subsucesiones suyas {x2n }
n=1 una sucesi
n=1 , {x2n+1 }n=1 , y
si p N , {xn }np tambien es subsucesion.
0.2
Numerabilidad
Durante este curso vamos a usar algunos conceptos de cardinalidad de conjuntos, en particular de
finitud y numerabilidad que vamos a expresar a continuacion.
Para evitar considerarlo como caso aislado, supondremos todos los conjuntos no vacos. De
acuerdo con ello, decimos que un conjunto X es finito si existe un n
umero natural n y una aplicacion
biyectiva, : {1, 2, ..., n} X. Decimos que es infinito numerable si existe una aplicacion biyectiva,
: N X. El conjunto X decimos que es numerable si es finito o infinito numerable (vease la
Figura 0.1).
10
Figura 0.1
Evidentemente, estos conceptos se conservan por aplicaciones biyectivas, con lo que N se puede
sustituir por N . Desde el punto de vista de las propiedades, es mas facil usar la siguiente caracterizacion de conjuntos numerables.
Propiedad 0.9 Un conjunto X es numerable si y solo si existe una aplicaci
on suprayectiva : N
X.
Nota 0.10 Esta propiedad puede interpretarse como que un conjunto X es numerable si existe una
sucesion cuyo conjunto imagen es todo X.
Veamos como usando tanto la definicion como esta propiedad se pueden demostrar algunas
propiedades de numerabilidad que generalizan propiedades conocidas de finitud.
Propiedad 0.11 Si X es numerable y S es un subconjunto de X, entonces S es numerable.
Demostraci
on. Por ser X numerable, existe una aplicacion suprayectiva, : N X. Definimos la
aplicacion : X S que es la identidad sobre los elementos de S y enva los elementos que no estan
en S a un punto fijo de S. Evidentemente, es suprayectiva, luego la composicion, : N S,
es una aplicacion suprayectiva y S es numerable.
Para demostrar propiedades algo mas interesantes de conjuntos numerables es crucial la siguiente
observacion.
Lema 0.12 El conjunto N N es numerable.
0.2. NUMERABILIDAD
11
Figura 0.2
Demostraci
on.
Para ello construimos una aplicacion suprayectiva : N N N definida por
(n) = (m k, k) donde m es el u
nico natural tal que
m(m + 1)
(m + 1)(m + 2)
<n+1
2
2
y k =n
m(m+1)
2
(Figura 0.2).
Esta claro que la aplicacion as definida es biyectiva, con lo que N N es numerable.

Con una facil induccion se comprueba entonces el siguiente resultado.
Corolario 0.13 Para todo n, Nn es numerable.
Con este resultado es facil probar que numerabilidad se conserva por uniones numerables.
Propiedad 0.14 Sea I un conjunto numerable de ndices, y para cada i I, sea Si un conjunto
S
numerable. Entonces, S = iI Si es numerable.
Demostraci
on. Por ser Si numerable, para cada i existe i : N Si una aplicacion suprayectiva.
Entonces, la aplicacion
:I NS
dada por (i, n) = i (n) tambien es suprayectiva.
Por ser I numerable, existe : N I una aplicacion suprayectiva. Sea : N N N la
aplicacion suprayectiva del Lema anterior (0.12). Entonces la composicion
(,Id)
N N N I N S
12
es una aplicacion suprayectiva, con lo que S es numerable.
Corolario 0.15 El conjunto de los n

umeros enteros, Z, es numerable.
Demostraci
on.
Evidentemente son infinitos numerables los enteros positivos y los enteros nega-
tivos. Por la Propiedad anterior (0.14) tambien lo es Z que es su union.
Veamos que la numerabilidad tambien se conserva por productos finitos.

Propiedad 0.16 Sean Si conjuntos numerables para i = 1, 2, ...n. Entonces,
S = S1 S2 ... Sn
es numerable.
Demostraci
on. Sean i : N Si las aplicaciones suprayectivas que existen por la caracterizacion
de numerabilidad. Sea n : N Nn la aplicacion suprayectiva de 0.13. Entonces, la composicion
n
N
Nn
(1 ,2 ,...,n )
es una aplicacion suprayectiva.
Corolario 0.17 El conjunto de los n

umeros racionales, Q, es numerable.
Demostraci
on. Por la propiedad anterior, es infinito numerable el conjunto ZZ y, evidentemente,
Q puede ser considerado un subconjunto de el mediante la representacion irreducible de cada fraccion,
luego Q es numerable.
Por ahora todos los conjuntos numericos han salido numerables. Mas adelante veremos que no
siempre es as.

0.3. LOS NUMEROS
REALES
0.3
13
Los n
umeros reales
En este apartado recogemos las propiedades de los n

umeros reales que usaremos a lo largo del curso.
Asumimos conocida la existencia del conjunto de los n
umeros reales que se denota R.
Sobre R hay dos operaciones, la suma y el producto. Ambas son asociativas y conmutativas. Para
ambas existe elemento neutro (el 0 para la suma y el 1 para el producto). Todos los n
umeros reales
tienen inverso para la suma y los de R = R {0} lo tienen tambien para el producto. Finalmente,
el producto es distributivo respecto a la suma. Todas estas propiedades se resumen diciendo que R
es un cuerpo conmutativo.
Para definir el orden en R, se divide R en la union disjunta de los n
umeros positivos y negativos.
Entonces, se define
a b si y solo si b a es positivo o cero.
Esta definicion da un orden en R.
Ademas, esta relacion de orden se conserva por la suma, es decir, para n
umeros reales a, b, x, y,
si a x y b y entonces
a + b x + y.
Es conveniente resaltar que la relacion de orden no se conserva por la diferencia. (Buscad un ejemplo).
Tambien conserva el orden el producto por n
umeros positivos. En cambio, la relacion se invierte
si hacemos producto con n
umeros negativos. O sea, si a, x son n
umeros reales tales que a x,
entonces ab xb si b es positivo y ab xb si b es negativo. Estas propiedades se resumen diciendo
que R es un cuerpo ordenado.
Con la relacion de orden, podemos definir los intervalos, tanto acotados
[a, b] = {x R : a x b},
[a, b[ = {x R : a x < b},
]a, b] = {x R : a < x b},
]a, b[ = {x R : a < x < b},
14
como no acotados
[a, [ = {x R : a x},
]a, [ = {x R : a < x},
] , b] = {x R : x b},
] , b] = {x R : x < b}.
Estos intervalos proporcionan el primer ejemplo de conjuntos no numerables.
Propiedad 0.18 El intervalo ]0, 1[ no es numerable.
Demostraci
on.
Como es sabido, todo n

umero real admite una u
nica expresion decimal excepto
los que tienen un desarrollo decimal finito. Para estos escogemos la forma .0200000.. en vez de
.0199999....
Supongamos que ]0, 1[ fuera numerable. Tenemos entonces una sucesion, {xn }
n=1 , cuya imagen
es ]0,1[.
Vamos a construir un n
umero real entre 0 y 1 que no puede ser ning
un xn . El n
umero real se
construye tomando como parte entera 0 y como decimal n-esimo un n
umero entre 0 y 8 que no sea
el decimal n-esimo de xn . Evidentemente es un n
umero real entre 0 y 1 bien definido y no puede ser
igual a ning
un xn por ser distintos sus desarrollos decimales en el lugar n-esimo.
Como consecuencia, todo conjunto que contiene a ]0, 1[ es no numerable. En particular, lo es R.
Otra propiedad caracterstica de la relacion de orden en los n
umeros reales es la propiedad Arquimediana. Tiene varios enunciados equivalentes. Daremos dos de los mas conocidos.
Propiedad 0.19 Para todo n
umero real positivo > 0 existe un n
umero natural n N tal que
n = + + > 1.
Corolario 0.20 Para todo par de n
umeros reales x < y, existe un n
umero racional q Q tal que
x < q < y.

0.3. LOS NUMEROS
REALES
15
Para terminar consideraremos propiedades de nfimos y supremos de conjuntos de n

umeros reales,
aunque las definiciones son validas para cualquier conjunto ordenado.
Para todo conjunto de n
umeros reales, S R, decimos que el n
umero real c es una cota inferior
si es menor o igual que todos los elementos de S, o sea para todo x S, c x. (Igualmente, C es
una cota superior si para todo x S, x C). El conjunto S se llama acotado inferiormente si tiene
alguna cota inferior, acotado superiormente si admite una cota superior y acotado si lo es a la vez
inferior y superiormente.
Decimos que a es el nfimo (o extremo inferior) de un conjunto de n
umeros reales S (y denotamos
a = inf(S)) si es la mayor de las cotas inferiores. Igualmente, llamamos supremo (o extremo superior)
a la menor de las cotas superiores.
Nota 0.21 Como en el caso de familias de conjuntos, a veces resulta comodo expresar el conjunto
S usando subndices, por ejemplo {xi : i I}.
Vamos a estudiar las propiedades del nfimo, siendo el caso del supremo dual.
Para que un n
umero a sea nfimo de un conjunto S, se han de cumplir dos condiciones
1. Tiene que ser cota inferior, o sea para todo x S, tiene que cumplirse a x.
2. Tiene que ser la mayor de las cota inferiores. O sea si c cumple que para todo x S, c x,
entonces c a. (Notese que esta propiedad se cumple trivialmente si a S).
Esta segunda propiedad es a veces difcil de comprobar, pero para los n
umeros reales existe una
caracterizacion consecuencia de la siguiente propiedad que asumimos conocida.
Propiedad 0.22 Sea S un conjunto de n
umeros reales acotado inferiormente. Entonces, S tiene
nfimo.
De esta propiedad deducimos la siguiente caracterizacion.
Propiedad 0.23 Sea S un conjunto de n
umeros reales y a una cota inferior. Entonces, a es el
nfimo si y solo si para todo > 0 existe un x S tal que a x < a + .
16
Demostraci
on. Si a es el nfimo de S, dado un > 0, a + no puede ser cota inferior de S ya que
es mayor estrictamente que a. Por tanto, existe un x S tal que a x < a + . Recprocamente, sea
a una cota inferior de S cumpliendo la propiedad. Por ser S un conjunto de n
umeros reales acotado
inferiormente, existe su nfimo, que llamamos a0 . Si no es a, tomemos = a0 a > 0. Por hipotesis,
existe un x S tal que a x < a + , contradiciendo el que a0 es cota inferior.
Nota 0.24 Notese que como consecuencia de la propiedad anterior, si a = inf(S) existe una sucesion
de elementos de S que converge a a.
Ejemplo 0.25 No estara de mas que antes de seguir con propiedades, estudiemos un ejemplo.
Consideremos
S = {1/n : n = 1, 2, ...}.
La primera cuestion es pensar un candidato razonable a nfimo. Tras intentar entender graficamente
el conjunto S, no resulta difcil decidir que el candidato es 0.
Comprobar que 0 es cota inferior es inmediato, ya que para todo n N , 0 < 1/n.
Para ver la segunda propiedad, es mejor usar la caracterizacion. Dado > 0, existe un n N ,
tal que 0 < 1/n < . Por tanto, 0 es el nfimo de S.
El nfimo cumple algunas propiedades respecto a las operaciones aritmeticas y no cumple otras,
por lo que resulta ilustrativo probar una que se cumple y dar un ejemplo de una que no se cumple.
Propiedad 0.26 Si para todo i I, se cumple xi yi , entonces, si ambos nfimos existen,
inf{xi : i I} inf{yi : i I}.
Demostraci
on.
Sea a = inf{xi : i I}. Para todo i I se cumple a xi , luego tambien se
cumple a yi . Por la definicion del nfimo, a inf{yi : i I}.

Nota 0.27 Notese que en esta demostracion el conjunto de ndices es el mismo.

0.3. LOS NUMEROS
REALES
17
Como ejemplo de una igualdad que no se conserva tenemos la siguiente propiedad.

Propiedad 0.28 Si ambos nfimos existen,
inf{xi : i I} + inf{yi : i I} inf{xi + yi : i I}.
Demostraci
on. Sean a = inf{xi : i I} y b = inf{yi : i I}. Para todo i I se cumple a xi y
b yi , luego tambien se cumple a+b xi +yi . Por la definicion del nfimo, a+b inf{xi +yi : i I}.
Que la igualdad no es cierta en general se puede ver facilmente tomando S = {2, 3} y S 0 = {4, 1}.
Nota 0.29 Queremos por tanto resaltar que no debeis dejaros guiar demasiado por vuestra intuicion en este tema. Por tanto, antes de usar cualquier relacion entre nfimos es conveniente que la
comprobeis.
El u
ltimo concepto interesante que tienen los n
umeros reales, relacionado con la division en
positivos y negativos, es el valor absoluto. Se define como sigue, para todo x R,
x si x 0,
|x| =
x si x 0.
Las propiedades siguientes del valor absoluto son muy conocidas.
Propiedad 0.30 Para cada x R es |x| 0 y |x| = 0 si y solo si x = 0.
Propiedad 0.31 Para cada x, R se cumple |x| = |||x|.
Propiedad 0.32 Para cada x, y R se cumple |x + y| |x| + |y|.
Nota 0.33 Estas propiedades son las que generalizaremos en el proximo Captulo para definir una
distancia, pues en los n
umeros reales, la distancia entre dos puntos se define como d(x, y) = |x y|.
18
Chapter 1
ESPACIOS METRICOS
La nocion de espacio metrico tiene su origen en la necesidad de definir los conceptos de lmite de una
sucesion y lmite de una funcion en conjuntos diferentes del conjunto de n
umeros reales, por ejemplo,
en conjuntos de funciones. Para definir estos conceptos mas generales, tenemos que estudiar como
se definen en R.
Una sucesion de n
umeros reales, {xn }
umero real x si para todo > 0 existe
n=1 , converge a un n
un n
umero natural n0 tal que, para todo n > n0 se tiene
|x xn | < .
De una manera mas intuitiva, el lmite es x si nos podemos acercar a x con elementos de la
sucesion tanto como queramos. Ahora bien, que quiere decir acercarse? Quiere decir que la cantidad
|x xn | se pueda hacer tan peque
na como queramos. Pero, para medir la cercana necesitamos la
funcion valor absoluto de la diferencia de dos n
umeros reales.
Si queremos definir el mismo concepto en un conjunto cualquiera X, necesitaremos una funcion,
en X X, que haga el papel de la funcion valor absoluto de la diferencia de dos n
umeros reales.
Debe ser una funcion que nos de la distancia entre dos elementos del conjunto y debe poseer aquellas
propiedades que tiene la funcion valor absoluto de la diferencia de dos n
umeros reales necesarias para
poder definir los conceptos que nos interesan. (O sea, Props. 0.30, 0.31 y 0.32).
19
20
CHAPTER 1.
1.1
ESPACIOS METRICOS
Definici
on y ejemplos de espacios m
etricos
Veamos la definicion de espacio metrico y algunos ejemplos.

Definici
on 1.1 Un espacio metrico es un par (X, d) siendo X un conjunto y d : X X R una
aplicacion que cumple los siguientes axiomas:
(M1) La distancia entre dos puntos es no negativa y es cero si y solo si los dos puntos son iguales:
d(x, y) 0;
d(x, y) = 0 si y solo si x = y.
(M2) La distancia es simetrica:

d(x, y) = d(y, x) para todo x, y X.
(M3) La distancia cumple la desigualdad triangular:
d(x, y) + d(y, z) d(x, z) para todo x, y, z X.
A los elementos del conjunto X se les llama puntos del espacio y d se llama metrica o distancia
sobre X. Cuando no haya confusion posible, denotaremos con el mismo smbolo el conjunto X y el
espacio metrico (X, d).
Ejemplo 1.2 (Los reales con la distancia usual) Sea X = R. Definimos la aplicacion d| | como
d| | (x, y) = |x y|,
donde x, y R. Por abuso de notacion, denotamos d| | por | |. El par (R, | |) es un espacio metrico.
La distancia | | se llama metrica usual en R, metrica eucldea en R, o metrica del valor absoluto.
Ejemplo 1.3 (Espacio metrico discreto) Sea X un conjunto cualquiera. Definimos dD mediante
1 si x 6= y
dD (x, y) =
0 si x = y.
Para cualquier conjunto X, esta metrica se llama la metrica discreta sobre X.
Y EJEMPLOS DE ESPACIOS METRICOS
1.1. DEFINICION
21
La siguiente relacion de ejemplos ilustra la existencia de diferentes metricas sobre un mismo

conjunto.
Ejemplo 1.4 Sea X = R2 y para los puntos x = (x1 , x2 ), y = (y1 , y2 ) definimos
d1 (x, y) = |x1 y1 | + |x2 y2 |,
1
d2 (x, y) = ((x1 y1 )2 + (x2 y2 )2 ) 2 ,

d (x, y) = max(|x1 y1 |, |x2 y2 |).
Las tres son generalizacion de la metrica del valor absoluto y tienen nombre propio. La primera, d1 ,
se llama metrica del taxi. La segunda, d2 , se llama metrica eucldea o usual. La tercera, d , se llama
metrica del ajedrez o del maximo. El dibujo siguiente representa graficamente las tres distancias entre
los puntos x = (x1 , x2 ), y = (y1 , y2 ). Para la metrica d1 , la distancia es la suma de las longitudes
de los catetos del triangulo. Para d2 , la distancia es la longitud de la hipotenusa y para d , es el
maximo de las longitudes de los catetos.
Figura 1.1
Los nombres de las tres metricas tienen la siguiente explicacion. La metrica d2 se llama usual o
eucldea porque es la distancia que se utiliza cuando medimos la distancia entre dos puntos: la longitud del u
nico segmento que une los dos puntos. Los otros dos nombres son quizas mas estrafalarios.
La metrica del taxi. Una parte de la ciudad de Valencia donde la distribucion de las calles sigue
un esquema rectangular es el conocido barrio del Ensanche y corresponde a la zona comprendida
entre la calle Colon y la Avenida Peris y Valero. Es cierto que hay algunas excepciones, la mas
22
CHAPTER 1.
ESPACIOS METRICOS
importante de todas es la Avenida del Regne de Valencia, pero supongamos que no hay ninguna
excepcion. Si cogemos un taxi en la Plaza de Canovas para ir a la calle Pintor Salvador Abril cruce
con Peris y Valero, lo que hara probablemente el taxista es ir por la calle Salamanca hasta Peris
y Valero y despues subir hacia nuestro destino. El importe de la carrera, sin contar la bajada de
bandera, es proporcional a la distancia recorrida entre los dos puntos y esta distancia es la suma de
la longitud de la calle Salamanca y del trozo recorrido de Peris y Valero. Es decir, el taxmetro no
es mas que un aparato que mide las distancias entre puntos con la distancia d1 , y despues multiplica
la distancia por un factor para obtener el importe.
Figura 1
La metrica del ajedrez. El tablero de ajedrez es una cuadrcula de 64 casillas. Cada escaque tiene
un nombre que viene dado por dos coordenadas. Utilizando la notacion algebraica de los escaques,
la primera coordenada es una letra de la a hasta la h y la segunda coordenada es un n
umero
natural del 1 hasta el 8. La distancia entre dos escaques es el n
umero de jugadas que el rey
tiene que hacer para ir de un escaque al otro. La distancia entre el escaque c4 y el escaque g2 es el
maximo entre los desplazamientos horizontales y verticales, es decir, 3, porque el vertical es solo 2
y el horizontal es 3. As el escaque c4 tiene 8 escaques que estan a una distancia 1, los ocho que lo
rodean, 16 que estan a distancia 2, etc.
Probar que las tres son realmente funciones distancia es un facil ejercicio, excepto la desigualdad
triangular en la eucldea y eso lo probaremos en general en el proximo ejemplo.
1.1. DEFINICION
23
Ejemplo 1.5 El ejemplo anterior se puede generalizar a Rn . Sea X = Rn , para dos puntos x =
(x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) definimos
d1 (x, y) =
Pn
d2 (x, y) = (
i=1
Pn
|xi yi |,
i=1 (xi
yi )2 ) 2 ,
d (x, y) = max{|xi yi |}ni=1 .

Las demostraciones de que son espacios metricos, en efecto son faciles, con la salvedad de la
desigualdad triangular para la metrica eucldea. Esta requiere la utilizacion de la desigualdad llamada
de Cauchy-Schwarz.
Lema 1.6 (Desigualdad de Cauchy-Schwarz) Para cualesquiera par de n-tuplas de n
umeros reales
{a1 , a2 , . . . , an }, {b1 , b2 , . . . , bn } se cumple que
n
n
n
X
X
X
2
2
(
ai bi ) (
ai )(
b2i ).
i=1
i=1
i=1
Demostraci
on. Consideremos las expresiones
P
P
Pn
2 2
( ni=1 a2i )( ni=1 b2i ) =
i,j=1 ai bj ,
P
Pn 2 2
P
( ni=1 ai bi )2 =
i=1 ai bi + 2
1i<jn ai bi aj bj .
Restando las dos expresiones tenemos que
P
P
P
Pn
P
2 2
( ni=1 a2i )( ni=1 b2i ) ( ni=1 ai bi )2 =
i,j=1,i6=j ai bj 2
1i<jn ai bi aj bj
P
2
=
1i<jn (ai bj aj bi ) 0.
Lo que demuestra la desigualdad deseada.
Lema 1.7 La aplicaci
on d2 verifica la desigualdad triangular.
Demostraci
on. (de la desigualdad triangular para la metrica eucldea)
Una vez demostrada la desigualdad de Cauchy-Schwarz es facil demostrar la desigualdad triangular para la metrica eucldea.
24
CHAPTER 1.
ESPACIOS METRICOS
Sean x, y, z Rn , entonces
d(x, z)2 =
Pn
zi )2 =
Pn
yi + yi zi )2
Pn
Pn
Pn
2
2
=
i=1 (xi yi ) +
i=1 (yi zi ) + 2
i=1 (xi yi )(yi zi ).
i=1 (xi
i=1 (xi
Aplicando ahora la desigualdad de Cauchy-Schwarz, tenemos que

n
n
X
X
1
2 12
d(x, z) (d(x, y)) + (d(y, z)) + 2( (xi yi ) ) ( (yi zi )2 ) 2 = (d(x, y) + d(y, z))2 .
2
i=1
i=1
Lo que prueba la deseada desigualdad triangular.

Ejemplo 1.8 Las siguientes metricas se pueden definir en el producto de dos espacios metricos.
Sean (X1 , d) y (X2 , d0 ). Para x = (x1 , x2 ), y = (y1 , y2 ), x, y X1 X2 , definimos
d1 (x, y) = d(x1 , y1 ) + d0 (x2 , y2 ),
1
d2 (x, y) = (d(x1 , y1 )2 + d0 (x2 , y2 )2 ) 2 ,

d (x, y) = max(d(x1 , y1 ), d0 (x2 , y2 )).
Ejemplo 1.9 (Subespacios metricos) Sea (X, d) un espacio metrico y sea H un subconjunto del
conjunto X. Sea dH : H H R la aplicacion inducida por d sobre H. El par (H, dH ) es un espacio
metrico y se llama subespacio metrico de X y la metrica dH recibe el nombre de metrica inducida
por d.
Si H Rn , cuando hablemos de H como un espacio metrico siempre asumiremos que su metrica
es la inducida por la metrica eucldea de Rn , excepto cuando digamos lo contrario. En particular,
esto se aplica a los diferentes tipos de intervalos de n
umeros reales.
Ejemplo 1.10 Sea X el conjunto de todas las funciones acotadas f : [a, b] R. Dados dos puntos
f, g X, definimos
d (f, g) = sup |f (x) g(x)|.
x[a,b]
El par (X, d) es un espacio metrico y la metrica se llama metrica del supremo o metrica uniforme.
Este espacio metrico se acostumbra a denotar B([a, b], R).
1.1. DEFINICION
25
Figura 1.3
La Figura 1.3 da una representacion grafica de la metrica d . La distancia entre las funciones
f y g es el supremo de las longitudes de los segmentos verticales que separan, en cada punto, las
graficas de las dos funciones.
Ejemplo 1.11 El ejemplo anterior puede generalizarse a un conjunto cualquiera, X. El conjunto de
funciones acotadas, f : X R, con la metrica
d (f, g) = sup |f (x) g(x)|,
xX
para f, g funciones acotadas, se suele denotar por B(X, R).

Definici
on 1.12 Sea (X, d) un espacio metrico, S X y x X. Definimos la distancia del punto
x a S como
d(x, S) = inf d(x, a).
aS
Obviamente, si x S, entonces d(x, S) = 0. El recproco no es cierto, como se ve en el siguiente

ejemplo.
Ejemplo 1.13 Consideramos el espacio metrico de los n
umeros reales con la metrica del valor absoluto, (R, | |). La distancia del punto 2 al subconjunto [1, 2[ es 0, pero 2
/ [1, 2[.
Ejemplo 1.14 En R2 , con la metrica eucldea. Sea S el cuadrante ]1, +[]1, +[, entonces, la
distancia del punto (0, 0) al subconjunto S coincide con d((0, 0), (1, 1)) = 2.
26
CHAPTER 1.
ESPACIOS METRICOS
Figura 1.4
Demostraci
on.
Vamos a demostrar primero que
2 es una cota inferior y segundo, que es la
mayor de las cotas inferiores.

Sea (x1 , x2 ) ]1, +[]1, +[, entonces, x1 > 1, x2 > 1, y por tanto
p
d((0, 0), (x1 , x2 )) = (x1 )2 + (x2 )2 > 1 + 1 = 2.

Vamos a ver que es la mayor cota inferior. Sea > 0, vamos a demostrar que
inferior. El punto
2 + no es una cota
2 2
2
2
,
) = (1 +
,1 +
)
q = ( 2 + )(
2 2 2
4
4
pertenece al subconjunto S y su distancia al punto (0, 0) es ( 2 + 2 ) < 2 + . Por tanto 2 + no
puede ser una cota inferior.
1.2
Bolas. Conjuntos acotados
Los conjuntos fundamentales en espacios metricos, que son el origen de la definicion posterior de
abierto son las bolas abiertas, formadas por los puntos que distan menos del centro que una cantidad
fija.
Definici
on 1.15 Sea (X, d) un espacio metrico y sean a X y un n
umero real estrictamente
positivo. Definimos la bola abierta en X centrada en a y de radio como el conjunto
B(a; ) = {x X : d(x, a) < }.
Si necesitamos especificar con que metrica estamos trabajando, denotaremos la bola abierta por
Bd (a; ).
1.2. BOLAS. CONJUNTOS ACOTADOS
27
Ejemplo 1.16 La denominacion bola tiene su origen en el caso eucldeo. En R, la bola abierta
centrada en un punto a y de radio es el intervalo abierto de extremos a y a + ; es decir
B(a; ) =]a , a + [ . En R2 , B(a; ) es el interior del disco de radio centrado en a. En R3 , B(a; )
es el interior de la bola solida de radio centrada en a.
Ejemplo 1.17 Sin embargo, las bolas abiertas pueden ser realmente muy diferentes y no tener el
aspecto de una bola esferica. En R2 con la metrica d , la bola B(a; ) es el interior del cuadrado
centrado en a con los lados paralelos a los ejes coordenados y de longitud 2.
En R2 con la metrica d1 , la bola B((0, 0); `) es el interior del cuadrado centrado en el punto (0, 0)
con vertices en los puntos (0, `), (0, `), (`, 0), (`, 0).
Figura 1.5
Ejemplo 1.18 En el espacio metrico discreto (X, dD ), tenemos que
{a} si
B(a; ) =
X si
1,
> 1.
En efecto, sea > 1, cualquier x X es tal que su distancia al punto a es, bien 0 si x = a, bien
1 si x 6= a. En cualquier caso, dD (a, x) 1 < , por tanto x B(a; ).
Por otra parte, si 1 y x X es un punto distinto de a, entonces dD (a, x) = 1. Por tanto, x
no pertenece a la bola ya que su distancia es estrictamente menor que .
28
CHAPTER 1.
ESPACIOS METRICOS
Ejemplo 1.19 Sea H = [0, 1] R con la metrica del valor absoluto d en R. Entonces, Bd (1; 1) =
]0, 2[, mientras que BdH (1; 1) = ]0, 1]. En efecto,
BdH (1; 1) = {y H/d(1, y) < 1} = {y [0, 1]/|1 y| < 1}
= {y [0, 1]/1 y < 1} = {y [0, 1]/y > 0} = ]0, 1].
El u
nico punto de [0, 1] que esta a una distancia mayor o igual que 1 del punto 1 es el punto 0.
En general tenemos la siguiente
Propiedad 1.20 Sea (X, d) un espacio metrico y sea H un subconjunto de X, entonces, las bolas
abiertas en el subespacio metrico (H, dH ) son la intersecci
on de las correspondientes bolas en el
espacio total y el subconjunto. Es decir,
BdH (x; ) = Bd (x; ) H.
Una propiedad metrica importante, ntimamente relacionada con las bolas, es la de ser acotado.
Definici
on 1.21 Un espacio metrico, (X, d), es acotado si existe un n
umero real k tal que d(x, y) k
para todo par de puntos x, y X. Tambien se dice que la metrica d es una metrica acotada.
Propiedad 1.22 Un espacio metrico, (X, d), es acotado si y solo si existe un punto x0 X y un
n
umero real k tal que B(x0 ; k) = X.
Demostraci
on.
Si el espacio metrico esta acotado con cota k, solo tenemos que tomar un punto
cualquiera x0 y un radio k + 1. Con ello, se cumple B(x0 ; k + 1) = X.

Recprocamente, si B(x0 ; k) = X, entonces 2k es una cota superior de las distancias entre pares
de puntos, x, y, del espacio. Aplicando la desigualdad triangular tenemos que
d(x, y) d(x, x0 ) + d(x0 , y) < k + k = 2k.
1.2. BOLAS. CONJUNTOS ACOTADOS
29
Definici
on 1.23 Si H es un subconjunto de (X, d), entonces, H es acotado si (H, dH ) es un espacio
metrico acotado.
Es facil comprobar que todo subconjunto de un espacio metrico acotado es acotado.
Propiedad 1.24 Un subconjunto de (X, d), H,esta acotado si existe un punto x0 , no necesariamente
de H, y un n
umero real k tal que H B(x0 ; k). (Figura 1.6)
La demostracion es directa.
Figura 1.6
Ejemplo 1.25 Veamos algunos ejemplos con las metricas anteriores:

1. El conjunto, R, con la metrica usual es un espacio metrico no acotado. En efecto, para todo
k > 0 podemos hallar dos puntos del espacio que estan a una distancia superior a k, por
ejemplo, 0 y k + 1.
2. El conjunto de los n
umeros reales, R con la metrica discreta es un espacio metrico acotado. En
efecto, para todo x R, BdD (x; 2) = R.
3. Los subespacios [1, 2], [1, 2[, {0} [1, 2[ de R con la metrica eucldea son subespacios metricos
acotados. El subespacio [1, +[ no es acotado.
4. Toda bola abierta es un subespacio acotado.
Definici
on 1.26 Sea (X, d) un espacio metrico acotado. Definimos el di
ametro de X y lo denotamos
por (X) como el supremo de las distancias de pares de puntos del espacio, es decir,
(X) = sup{d(x, y) : x, y X}.
30
CHAPTER 1.
ESPACIOS METRICOS
Ejemplo 1.27 Veamos el diametro de un subespacio metrico en algunos casos. Los calculos son
analogos a los realizados para hallar la distancia de un punto a un subconjunto.
1. Sabemos que los subespacios [1, 2], [1, 2[, {0} [1, 2[ de R con la metrica eucldea son acotados.
Sus diametros son, respectivamente, 1, 1, 2.
2. El subespacio [0, 1] [0, 1] de R2 esta acotado para cualquiera de las tres metricas, d1 , d2 o d .
Su diametro para cada una es, respectivamente, 2, 2, 1.
1.3
Abiertos. Propiedades de los conjuntos abiertos
Una propiedad caracterstica de las bolas abiertas es la siguiente:

Lema 1.28 Sea B(x; ) una bola abierta en un espacio metrico (X, d) y sea y B(x; ), entonces
existe > 0 tal que B(y; ) B(x; ).
Demostraci
on. Tomemos tal que 0 < d(x, y). El n
umero se puede tomar ya que, como
y B(x; ), entonces, d(x, y) < .
Figura 1.7
Vamos a demostrar ahora que B(y; ) B(x; ). La Figura 1.7 representa graficamente la demostracion. Hemos dibujado las bolas como cuadrados y no como bolas, para reforzar la idea de
que las bolas abiertas no tienen por que tener forma de bola, sino que pueden tener una forma muy
diferente.
Sea z B(y; ), entonces, por la desigualdad triangular,
d(x, z) d(x, y) + d(y, z) < d(x, y) + d(x, y) + d(x, y) = .
1.3. ABIERTOS. PROPIEDADES DE LOS CONJUNTOS ABIERTOS
31
Figura 1.8
Por tanto, z B(x; ), como queramos demostrar.
Este resultado permite plantearse la definicion de un tipo de subconjuntos que cumplen lo mismo,
es decir, de aquellos subconjuntos tales que, para cualquier punto del subconjunto, existe una bola
abierta centrada en el y totalmente incluida en el subconjunto. Mas formalmente
Definici
on 1.29 Sea (X, d) un espacio metrico. Un subconjunto A se dice abierto en (X, d) si para
cada y A existe > 0 tal que B(y; ) A.
Es importante notar que el n
umero real depende del punto y, es decir, para diferentes y seran
necesarios diferentes .
Por tanto, el Lema 1.28 demuestra que todas las bolas abiertas son subconjuntos abiertos. En
particular
Ejemplo 1.30
1. En todo espacio metrico (X, d), el conjunto total X y el vaco son abiertos.
2. En la metrica discreta, todo subconjunto es abierto. En efecto, si A es un subconjunto del

espacio metrico discreto X, para todo punto a A, tenemos que BdD (a; 1) = {a} A.
3. Metrica usual. Cualquier intervalo abierto y acotado, ]a, b[ es una bola abierta y por tanto
abierto. En efecto (vease Fig. 1.8)
a+b ba a+b ba
a+b ba
,
+
;
).
]a, b[ =
= B| | (
2
2
2
2
2
2
Posteriormente veremos que los intervalos abiertos no acotados ] , a[ y ]b, [, tambien son
abiertos. En general, las uniones de intervalos abiertos son abiertos.
32
CHAPTER 1.
ESPACIOS METRICOS
Figura 1.9
4. La condicion de ser abierto depende de la metrica. El subconjunto {0} R es abierto en la
metrica discreta pero no lo es en la metrica usual.
5. Tambien depende del conjunto sobre el cual este definida la metrica. Por ejemplo, el intervalo
[0, 1[ es abierto en ([0, 2], d[0,2] ), pero, como veremos a continuacion, no es abierto en el espacio
total R con la metrica del valor absoluto | |.
Ejemplo 1.31 Un error muy frecuente es pensar que un conjunto abierto tiene que ser una bola
abierta, es decir, que no hay mas conjuntos abiertos que las bolas abiertas. Bien, eso no es cierto.
Un conjunto abierto no tiene por que ser una bola abierta, por ejemplo, el subconjunto de R2
A = {(x1 , x2 ) R2 : a < x1 < b, c < x2 < d}
no es una bola abierta de R2 para la metrica eucldea, pero es un subconjunto abierto.
Demostraci
on.
Sea q = (x1 , x2 ) A. Para demostrar que A es abierto tenemos que hallar una bola abierta
centrada en ese punto y que este incluida en A, es decir, tenemos que determinar un radio > 0 tal
que la bola centrada en (x1 , x2 ) y de radio este dentro de A. Para hacerlo, tenemos que controlar las
distancias del punto a los cuatro lados del rectangulo, que son 1 = x1 a, 2 = bx1 , 3 = x2 c, 4 =
d x2 . Tomemos como el mnimo de todas estas distancias, es decir = min{1 , 2 , 3 , 4 }.
Vamos a demostrar ahora que B((x1 , x2 ); ) A.
Para demostrarlo, veamos que si un punto (y1 , y2 )
/ A, entonces, (y1 , y2 )
/ B((x1 , x2 ); ).
1.3. ABIERTOS. PROPIEDADES DE LOS CONJUNTOS ABIERTOS
33
Si (y1 , y2 )
/ A es porque, o bien y1 a, o bien b y1 , o bien y2 c, o bien d y2 . Supongamos
que estamos en el primer caso, y1 a, entonces x1 y1 a y1 y por tanto
1
d((x1 , x2 ), (y1 , y2 )) = (x1 y1 )2 + (x2 y2 )2 2 x1 y1 .
Es decir, (y1 , y2 )
/ B((x1 , x2 ); ).
Una demostracion analoga permite demostrar que la conclusion tambien es valida para los otros
tres casos.
Por tanto, A es abierto y no es una bola abierta para la metrica eucldea de R2 .(1.16)
Ejemplo 1.32 Tan importante como saber que un subconjunto es abierto es saber cuando no lo es.
Por ejemplo:
1. Los intervalos [a, b], [a, b[ y ]a, b] no son subconjuntos abiertos en (R, | |). Vamos a ver que el
primero de ellos, [a, b] no es abierto. Tomemos uno de los extremos, a. Cualquier bola centrada
en a es de la forma ]a , a + [ (1.16). El conjunto ]a , a + [ no esta incluido en [a, b], ya
que, por ejemplo, a
]a , a + [, pero a
/ [a, b].
2. El subconjunto S = {(x, 0) : x ] 1, 1[} = ] 1, 1[{0} no es abierto en R2 con la metrica

eucldea.
Aparte de que tanto el conjunto total como el conjunto vaco son abiertos (1.30), tambien se
cumplen las siguientes propiedades
Propiedad 1.33 Si A1 y A2 son subconjuntos abiertos de un espacio metrico (X, d), entonces A1 A2
es un subconjunto abierto en (X, d).
Demostraci
on. Sea x A1 A2 , entonces, para i = 1, 2, x Ai . Ahora bien, como Ai es abierto,
entonces para todo i = 1, 2 existe un i > 0 tal que B(x; i ) Ai .
Tomemos ahora el mnimo de los dos radios, = min{1 , 2 }. Entonces, para todo i = 1, 2
tenemos que B(x; ) B(x; i ) Ai , es decir B(x; ) A1 A2 , o sea, para todo x A1 A2 hemos
hallado una bola abierta, B(x; ), tal que B(x; ) A1 A2 . Entonces, A1 A2 es abierto.
34
CHAPTER 1.
ESPACIOS METRICOS
Nota 1.34 Es decir, la interseccion de dos subconjuntos abiertos es un subconjunto abierto. En

general, aplicando un argumento inductivo, la interseccion de una cantidad finita de subconjuntos
abiertos es un subconjunto abierto.
1 1
No pasa lo mismo con intersecciones infinitas. Por ejemplo,
n=1 ] n , n [ = {0} no es un subcon-
junto abierto en R con la metrica eucldea.

Propiedad 1.35 La union de cualquier familia de subconjuntos abiertos de un espacio metrico (X, d)
es un subconjunto abierto en (X, d).
Demostraci
on.
Sea {Ai }iI una familia de subconjuntos abiertos y sea x
S
iI
Ai . Entonces,
existe un i0 , tal que x Ai0 . Ahora bien, como Ai0 es abierto, entonces existe un > 0 tal que
B(x; ) Ai0 .
S
Es decir, hemos encontrado una bola abierta B(x; ) tal que B(x; ) Ai0
iI
S
iI
Ai . Luego,
Ai es abierto.
Nota 1.36 Esta propiedad nos sirve para demostrar que todo intervalo abierto no acotado es abierto
en la metrica usual. En efecto, un intervalo de la forma ]a, [ se puede poner como union de intervalos
abiertos acotados,
]a, [ =
]a, a + n[
nN
y, por ser una union de abiertos, es abierto.
1.4
Entornos. Cerrados
El concepto de subconjunto abierto es un concepto global. Para todos los puntos del subconjunto,
una cierta propiedad debe ser verificada. Pero, como ya hemos dicho al hablar de la motivacion
de los espacios metricos, uno de nuestros intereses es la generalizacion del concepto de lmite de
una sucesion. Mas adelante definiremos el lmite de una sucesion es un punto, y para este concepto
no necesitaremos el concepto global de subconjunto abierto, sino solo un concepto mas general, un
1.4. ENTORNOS. CERRADOS
35
concepto que relaciona un subconjunto y solo uno de sus elementos. Por decirlo de alguna manera,
un concepto local. Este concepto es el de entorno.
Definici
on 1.37 Sea (X, d) un espacio metrico, sea U un subconjunto de un espacio metrico X y
x U . U se llama entorno del punto x si existe un > 0 tal que B(x; ) U .
Ejemplo 1.38 Veamos algunos ejemplos de entornos.
1. El intervalo [0, 2[ es entorno del punto 1, pero no lo es del punto 0.
2. Los intervalos abiertos de la recta real son entornos de sus puntos.
El Lema 1.28 nos dice que una bola abierta es entorno de cualquiera de sus puntos. Mas general
es la siguiente propiedad consecuencia de la misma definicion de conjunto abierto.
Propiedad 1.39 Un subconjunto es abierto si y solo si es entorno de todos sus puntos.
Otro tipo de subconjuntos que se pueden definir son aquellos para los cuales, dado cualquier
punto que no esta en el subconjunto, existe una bola abierta centrada en este punto que no interseca
al subconjunto. Esta condicion es dual a la de subconjunto abierto y es por esto que estos tipos de
subconjuntos se llaman cerrados.
Definici
on 1.40 Sea (X, d) un espacio metrico. Un subconjunto C se llama cerrado en (X, d) si su
complementario X C es un subconjunto abierto en (X, d).
Propiedad 1.41 Un subconjunto C de un espacio metrico (X, d) es un cerrado si para todo x
/C
existe un > 0 tal que B(x; ) C = .
Demostraci
on.
Un subconjunto es cerrado si y solo si su complementario es abierto. Esto es
equivalente a decir que para todo x X C existe un > 0 tal que B(x; ) X C. Traduciendo
esta condicion desde el complementario X C al propio subconjunto C, tenemos que C es cerrado
si y solo si para todo x
/ C existe un > 0 tal que B(x; ) C = .
36
CHAPTER 1.
ESPACIOS METRICOS
Ejemplo 1.42 Los intervalos cerrados de la recta real, incluyendo los intervalos no acotados ], a]
y [b, +[, son subconjuntos cerrados en (R, | |). No lo son los intervalos de la forma [a, b[ , ]a, b] o
]a, b[.
Demostraci
on. El intervalo [a, b] es un subconjunto cerrado porque su complementario R [a, b]
es abierto ya que es la union de dos subconjuntos abiertos. En efecto, R [a, b] =] , a[ ]b, +[.
El intervalo [a, b[ no es un subconjunto cerrado porque existe un punto b
/ [a, b[ tal que toda bola
centrada en b corta [a, b[. Es decir, no existe ninguna bola abierta centrada en b que no corte [a, b[.
Los intervalos cerrados y acotados son un caso particular de las bolas cerradas.
Definici
on 1.43 Sea (X, d) un espacio metrico, x X y sea un n
umero real positivo. El conjunto
B 0 (x; ) = {y X : d(x, y) }
se llama bola cerrada de centro x y de radio .
Las bolas cerradas son conjuntos cerrados y contienen a las respectivas bolas abiertas. Tambien son
acotados, ya que B 0 (x; ) B(x; 2).
Ejemplo 1.44 Veamos algunos ejemplos
1. Para cualquier espacio metrico (X, d), el conjunto total X y el vaco son subconjuntos cerrados
porque sus complementarios son abiertos. (1.30)
2. En la metrica discreta, cualquier subconjunto es cerrado.
Nota 1.45 Otra equivocacion, desgraciadamente frecuente, es pensar que si un subconjunto no es
abierto, entonces es cerrado. Este enunciado es falso, tanto como cualquiera de los posibles enunciados
equivalentes, como por ejemplo: un subconjunto es abierto si no es cerrado, etc... Hay subconjuntos
que no son ni abiertos ni cerrados, por ejemplo [0, 1[ R con la metrica eucldea. Mas a
un, lo mas
normal es que un conjunto arbitrario de un espacio metrico no sea ni abierto ni cerrado.
37
Tambien es posible que un mismo subconjunto sea a la vez, abierto y cerrado. Por ejemplo, con
la metrica discreta, cualquier subconjunto es a la vez abierto y cerrado.
EJERCICIOS TEMA 1
1. Sea (X, d) un espacio metrico. Demuestra que si x, y, z son puntos de X se cumple
|d(x, z) d(y, z)| d(x, y).
2. Sea (X, d) un espacio metrico. Demuestra que si x, y, z, t son puntos de X se cumple
d(x, z) + d(y, t) |d(x, y) d(z, t)|
3. Sea (X, d) un espacio metrico, sobre el definimos:
d01 (x, y) = kd(x, y) siendo k un n
umero real estrictamente positivo y fijo,
d02 (x, y) = min{1, d(x, y)},
d03 (x, y) =
d(x,y)
,
1+d(x,y)
d04 (x, y) = (d(x, y))2 .

Prueba que d01 , d02 y d03 son metricas sobre X pero d04 no tiene por que ser necesariamente una
metrica.
4. Consideremos el conjunto de funciones reales continuas en el intervalo [0, 1], C([0, 1]). Sean
f (x) = x(1 x) y g(x) = x.
Demuestra que d1 (f, g) =
1
3
y d (f, g) = 1.
5. Sea (X, d) un espacio metrico y sea a X. Para cada p X definimos la funcion fp : X R

mediante
fp (x) = d(x, p) d(x, a).
Demuestra que f es una funcion acotada y que d (fp , fq ) = d(p, q).
38
CHAPTER 1.
ESPACIOS METRICOS
6. Dado x R, sea [x] el menor n

umero entero superior o igual a x. Definimos en R R la
siguiente aplicacion
d(x, y) = [|x y|].
Demuestra que d es una metrica. Calcula las bolas abiertas para esta metrica.
7. Sea (X, d) un espacio metrico, S un subconjunto de X. Demuestra la desigualdad triangular
para distancias a subconjuntos, es decir, para todo x, y X,
d(x, S) d(x, y) + d(y, S).
Como en 1.1, prueba
|d(x, S) d(y, S)| d(x, y).
8. Sea (X, d) un espacio metrico. Demuestra que si x e y son dos puntos de X tales que d(x, y) =
2r > 0, entonces las bolas B(x; r) y B(y; r) no se cortan.
9. Sea (X, d) un espacio metrico, x X y > 0. Demuestra que, si X 6= B(x; ), entonces
d(x, X B(x; )) .
10. Sean (X, d1 ) y (X, d2 ) dos espacios metricos definidos sobre el mismo conjunto X. Estudiemos
las relaciones entre las metricas d1 y d2 y las funciones maximo y mnimo.
a) Demuestra que la funcion dmax definida por
dmax (x, y) = max{d1 (x, y), d2 (x, y)}
es una metrica sobre X.
b) En cambio, la funcion dmn definida por
dmn (x, y) = mn{d1 (x, y), d2 (x, y)}
no es, en general, una metrica sobre X. Halla un contraejemplo en un conjunto de tres elementos.
39
c) Prueba que
Bdmax (x; ) = Bd1 (x; ) Bd2 (x; ).
d) En general dmn no es metrica. Supongamos que d1 y d2 son tales que, en este caso, dmn s
que es una metrica. Demuestra que entonces
Bdmn (x; ) = Bd1 (x; ) Bd2 (x; ).
11. Prueba que el subconjunto ]a, b[{0} es abierto en el subespacio R {0} R2 , pero no lo es
en (R2 , d2 ).
12. En (R2 , d2 ) prueba,
a) S = {(x, y) R2 : y > x} es abierto.
b) S = [0, 1[[0, 1[ no es ni abierto ni cerrado.
c) S = R {0} {0} R es cerrado.
umeros racionales un abierto? Es cerrado?
13. En (R, | |). Es el conjunto de n
40
CHAPTER 1.
ESPACIOS METRICOS
Chapter 2
ESPACIOS TOPOLOGICOS
Como veremos a lo largo de este curso, la mayora de conceptos que aparecen en un espacio metrico
(como convergencia de sucesiones, continuidad, etc.), no utilizan explcitamente la nocion de distancia, sino que para su definicion u
nicamente es necesario tener la idea de proximidad. Este
concepto de proximidad viene dado por la familia de entornos de cada punto, que a su vez, se
deducen de los conjuntos abiertos de dicho espacio. Pues bien, subiendo un escalon mas en nuestro
nivel de abstraccion, introducimos el concepto de espacio topologico como un conjunto en el cual
hemos seleccionado una serie de subconjuntos (que llamaremos abiertos) y que precisamente cumplen
las mismas propiedades que los abiertos de un espacio metrico cualquiera.
2.1
Definici
on y ejemplos de espacios topol
ogicos
ogico es un par (X, T ), donde X es un conjunto y T es una familia

Definici
on 2.1 Un espacio topol
de subconjuntos de X que verifica los siguientes axiomas:
(T1) Tanto el conjunto total X como el vaco estan en T ,
(T2) si A, B T entonces A B T ,
(T3) para cualquier familia {Ai T : i I} de elementos de T , su union
41
S
iI
Ai tambien esta en
42
CHAPTER 2. ESPACIOS TOPOLOGICOS

T.
Decimos que la familia T es una topologa en X y a sus elementos los llamamos conjuntos abiertos
de (X, T ).
Nota 2.2 Notese que del axioma (T2) se deduce facilmente por induccion que cualquier interseccion
finita de conjuntos abiertos sigue siendo un conjunto abierto en (X, T ).
Antes de continuar con las propiedades veamos unos cuantos ejemplos.
Definici
on 2.3 Todo espacio metrico (X, d) tiene asociado un espacio topologico (X, Td ), siendo Td
la familia de los conjuntos abiertos de X para la distancia d. Recordemos que un subconjunto A
de X se llama abierto en (X, d) si para cada y A existe una bola centrada en y e incluida en A
(Figura 2.1).
Figura 2.1
En el tema anterior vimos que esta familia cumple los axiomas (T1), (T2) y (T3) (veanse 1.30
1.33 y 1.35) y, por lo tanto, define una topologa en X. En general, un espacio topologico (X, T ) se
dice metrizable si existe una funcion distancia d en X tal que T = Td .
Ejemplo 2.4 En particular, si en un conjunto cualquiera X tomamos la distancia discreta, cualquier
subconjunto de X es abierto y as, la topologa asociada a la metrica es la formada por todos los
Y EJEMPLOS DE ESPACIOS TOPOLOGICOS
2.1. DEFINICION
43
subconjuntos de X (a la familia de todos los subconjuntos de X se le suele llamar partes de X y se

denota por P(X)). Esta topologa recibe el nombre de discreta, es la topologa mas grande que se
puede definir en el conjunto X y se denota por TD .
Ejemplo 2.5 Si en Rn consideramos la distancia eucldea, a la topologa asociada se la llama
topologa usual de Rn y se la denota por Tu . Al final de este tema veremos que las tres metricas que
hemos definido para Rn , d1 , d2 , d , dan lugar todas a esta topologa.
Ejemplo 2.6 Sea X un conjunto cualquiera, se define la topologa trivial como TT = {, X}, es
decir, los u
nicos conjuntos abiertos son el conjunto vaco y el total. Es la topologa mas peque
na
que se puede definir en un conjunto.
Ademas, es facil probar que un espacio topologico trivial con mas de un punto no es metrizable.
Si lo fuese, podramos tomar x 6= y en X y como = d(x, y) > 0, se cumplira que y
/ B(x; /2) y
x B(x; /2). Entonces, esta bola sera un conjunto abierto distinto de , X, en contradiccion con
la definicion de TT .
Ejemplo 2.7 No todas las familias de conjuntos son topologas. As, si consideramos el conjunto
finito X = {a, b, c, d}, la familia dada por
T = {, X, {a}, {b, c}}
no es una topologa, pues {a} {b, c}
/ T.
Ejemplo 2.8 Sea X un conjunto cualquiera, entonces definimos T como el conjunto vaco junto
con aquellos subconjuntos A X tales que X A es finito. Obviamente T verifica el axioma (T1).
Para probar (T2), notese que si A, B T son no vacos, X A y X B son finitos, con lo cual
X (A B) = (X A) (X B) es tambien finito. El axioma (T3) tambien es cierto, pues si
{Ai }iI T , se tiene que
X
[
iI
Ai =
\
iI
(X Ai )
44
es finito si alg
un Ai es no vaco. As, T es una topologa para X que recibe el nombre de topologa
cofinita y que se denota por Tcf .
Notese que cuando el conjunto X es finito, la topologa cofinita es precisamente la topologa
discreta. Como este caso no a
nade nada nuevo, siempre que estudiemos la topologa cofinita sera
sobre conjuntos infinitos.
2.2
Cerrados. Entornos
Recordemos que en un espacio metrico, un conjunto es cerrado si y solo si su complementario es

abierto. Esta nocion es generalizable a espacios topologicos.
Definici
on 2.9 Dado un espacio topologico (X, T ), decimos que un subconjunto C X es cerrado
si su complementario es abierto, es decir, X C T . Normalmente la familia de todos los cerrados
de (X, T ) se denota por C.
Notese que en sentido estricto la familia de cerrados se debera denotar CT ya que depende de
T . Sin embargo esta notacion es muy incomoda, por lo que, cuando no hay duda por el contexto, se
elimina el subndice T .
Nota 2.10 Es consecuencia inmediata de la definicion de cerrado que un conjunto A es abierto si y
solo si X A es cerrado.
Ejemplo 2.11 Vamos a ver el concepto de cerrado en los espacios topologicos que conocemos:
1. En un espacio metrico, la definicion de cerrado para la metrica coincide con la de cerrado para
la topologa asociada.
nicos cerrados son X y .
2. Si (X, TT ) es un espacio topologico trivial, los u
3. En un espacio topologico discreto (X, TD ), todo subconjunto de X es cerrado.
4. En la topologa cofinita, (X, Tcf ), un subconjunto C X es cerrado si y solo si C = X o C es
finito.
2.2. CERRADOS. ENTORNOS
45
Nota 2.12 Es necesario insistir en que, aunque los conceptos de cerrado y abierto son duales, no
forman una particion de los conjuntos. O sea
1. El hecho de que un conjunto sea cerrado no implica que dicho conjunto no sea abierto, es decir,
pueden existir conjuntos que sean a la vez abiertos y cerrados, por ejemplo el espacio total X
en cualquier espacio topologico (X, T ) (ver Figura 2.2).
2. De la misma forma, el que un conjunto no sea cerrado tampoco implica que sea abierto, es
decir, existen conjuntos que no son ni abiertos ni cerrados, por ejemplo [0, 1[ en (R, Tu ) (ver
Figura 2.2).
Figura 2.2
La familia de los conjuntos cerrados cumple las propiedades siguientes, que son consecuencia
directa de los axiomas (T1), (T2) y (T3) y de las Leyes de Morgan (0.2).
Propiedad 2.13 Dado un espacio topol
ogico (X, T ), la familia de los conjuntos cerrados cumple las
siguientes propiedades:
1. X, son cerrados,
2. Si C, D son cerrados, C D tambien es cerrado,
3. Si {Ci }iI es una familia de cerrados,
T
iI
Ci tambien es cerrado.
Demostraci
on. 1. X y son cerrados, pues sus complementarios son y X respectivamente, los
cuales son abiertos.
46

2. Supongamos que C y D son cerrados, entonces X (C D) = (X C) (X D) es abierto
por ser la interseccion de dos abiertos. Por tanto, C D es tambien cerrado.

T
3. Sea {Ci }iI una familia de cerrados. Entonces la interseccion iI Ci es un cerrado, pues su
T
S
complementario es X iI Ci = iI (X Ci ), que es abierto por ser una union de abiertos.
Otro concepto definido en el Captulo de espacios metricos, pero que, en realidad, es topologico, es
el de entorno de un punto. En espacios metricos los definamos usando las bolas. Vamos a definirlos
ahora usando abiertos y veremos que ambas definiciones coinciden en espacios metricos.
Definici
on 2.14 Dado un espacio topologico (X, T ), decimos que un subconjunto U X es entorno
de un punto x X si existe un abierto A tal que x A U . El conjunto de todos los entornos de
un punto x X se denota por E(x).
Como con los cerrados, deberamos a
nadir la T , pero solo lo haremos cuando haya peligro de
error.
Ejemplo 2.15 Al igual que antes, vamos a estudiar el concepto de entorno en los diferentes ejemplos:
1. Si (X, d) es un espacio metrico, veamos que la definicion de entorno como espacio topologico
coincide con la dada anteriormente para espacios metricos. Obviamente, todo entorno para la
metrica es un entorno para la topologa asociada.
Recprocamente, si U X es un entorno de x X para la topologa, existe un abierto A tal
que x A U . Pero por la definicion de topologa asociada a una metrica existira un > 0
tal que B(x, ) A U . As, U es entorno de x para la metrica. Luego ambos conceptos
coinciden y no hay lugar a confusion.
nico entorno posible de un punto x X es el
2. En un espacio topologico trivial, (X, TT ), el u
espacio total X.
3. Por el contrario, en un espacio topologico discreto, (X, TD ), se tiene que U E(x) si y solo si
x U.
2.2. CERRADOS. ENTORNOS
47
4. Por u
ltimo, en la topologa cofinita, (X, Tcf ), U E(x) si y solo si x U y X U es finito.
Notese que en este caso todos los entornos son abiertos, cosa que no es cierta en general.
Propiedad 2.16 Dados un espacio topol
ogico (X, T ) y x X, la familia de entornos E(x) cumple
las siguientes propiedades:
1. Si U E(x) y U V entonces tambien V E(x),
2. Si U, V E(x) entonces U V E(x).
Demostraci
on. 1. Como U E(x), existe A abierto tal que x A U , pero entonces x A V ,
con lo cual V E(x).
2. Si U, V E(x) existen abiertos A, B tales que x A U y x B V . Esto implica que
x A B U V y como A B es abierto tendremos que U V E(x).
Recordemos que en un espacio metrico los conjuntos abiertos se pueden caracterizar a partir de
la nocion de entorno. Pues bien, en el caso general de espacios topologicos podemos caracterizar los
conjuntos abiertos de una forma analoga.
ogico (X, T ), un conjunto A es abierto si y solo si es entorno
Propiedad 2.17 En un espacio topol
de todos sus puntos.
Demostraci
on. Si A es abierto, tenemos obviamente que x A A, de donde A es entorno de x,
para todo x A.
Recprocamente, supongamos que A es entorno de todos sus puntos. Entonces, para todo x A
S
existe un abierto Ux tal que x Ux A. De esta forma podemos escribir A = xA Ux , que sera
abierto por ser una union de abiertos.
La familia de todos los entornos habitualmente es enorme y, muchas veces, difcil de describir.
Incluso en el caso de R con la topologa eucldea, los entornos pueden ser muy complicados. Esto se
soluciona trabajando solo con los intervalos. En el caso generico hay un concepto que nos facilita el
trabajo de forma similar.
48
Definici
on 2.18 Dado un espacio topologico (X, T ) y un punto x X, llamamos base de entornos
o base local de x a una familia de subconjuntos de X, B(x), con las propiedades siguientes:
(B1) Todo elemento de la familia es un entorno de x, o sea, B(x) E(x).
(B2) Si U es un entorno de x, existe V B(x) tal que V U .
Ejemplo 2.19 Veamos algunos ejemplos de bases de entornos:
1. En un espacio metrico (X, d), la familia de bolas B(x) = {B(x; ) : > 0} es obviamente una
base de entornos de x.
2. Si en el ejemplo anterior, en vez de considerar todas las bolas B(x; ), consideramos solo aquellas
de radio 1/n, con n N , la familia sigue siendo una base de entornos de x.
3. En un espacio topologico trivial, (X, TT ), la u
nica base de entornos posible es la formada
u
nicamente por el espacio total X.
4. Si el espacio topologico es discreto, (X, TD ), {x} es un entorno de x, para todo x X, de donde
se deduce obviamente que la familia formada por dicho entorno, B(x) = {{x}}, es una base de
entornos de x.
2.3
El primer axioma de numerabilidad y la condici

on de
Hausdorff
Al principio de este tema hemos visto que no todo espacio topologico es metritzable. Podemos buscar
que diferencias topologicas hay entre un espacio metrizable y uno que no lo es. En esta seccion
estudiamos dos propiedades que tienen todos los espacios topologicos metrizables. La primera nos
indica la existencia de bases de entornos manejables.
Definici
on 2.20 Decimos que un espacio topologico (X, T ) cumple el primer axioma de numerabilidad (o abreviadamente, que es 1AN), si en todo punto existe una base de entornos formada por una
cantidad numerable de conjuntos.
2.3.
DE HAUSDORFF 49
EL PRIMER AXIOMA DE NUMERABILIDAD Y LA CONDICION
Ejemplo 2.21 Del ejemplo 2.19, se deduce que la topologa asociada a una metrica y la trivial son
1AN.
Vamos a ver, sin embargo, que R con la topologa cofinita no es 1AN. Para ello vamos a suponer
que s lo es y llegaremos a una contradiccion.
En efecto, si fuese 1AN existira una base de entornos numerable {Un }nN del punto 0 R. Pero
por la forma que tienen los entornos (vease 4) de esta topologa deducimos que Un = R Fn , para
un cierto subconjunto finito Fn R. Ahora, utilizando que la union numerable de conjuntos finitos
es numerable (0.14), y que R no es numerable (0.18), podemos escoger
xR(
nN
Fn ) =
\
nN
(R Fn ) =
Un ,
nN
tal que x 6= 0. Entonces, A = R {x} es un abierto que contiene a 0. Por ser base de entornos
existira Un tal que Un A. Pero esto implica que x Un A = R {x}, lo cual es claramente una
contradiccion.
Como consecuencia directa de este resultado, la topologa cofinita sobre un conjunto infinito no
puede provenir de una metrica.
La segunda condicion que nos permite diferenciar un espacio metrizable se refiere al hecho de que
en todo espacio metrico, dos puntos distintos se pueden separar.
Definici
on 2.22 Diremos que un espacio topologico (X, T ) es de Hausdorff o T2 si para toda pareja
de puntos, x 6= y, existen entornos, U E(x) y V E(y), tales que U V = (Figura 2.3).
Nota 2.23 Es consecuencia directa de la definicion anterior que un espacio topologico (X, T ) es de
Hausdorff si y solo si para todo par de puntos, x 6= y, existen abiertos A, B X, tales que x A,
y B y A B = .
Ejemplo 2.24 Es importante saber que todo espacio metrico es de Hausdorff pero hay espacios
topologicos que no lo son. Veamoslo.
50
Figura 2.3
1. El espacio (X, TT ) no es de Hausdorff pues dado x 6= y el u
nico entorno de x es X, lo mismo
con y.
2. Todo espacio metrico, (X, d), es de Hausdorff. Dado x 6= y si llamamos = d(x, y) tenemos
que las bolas de radio
y centro x e y respectivamente cumplen
B(x; ) B(y; ) = .
2
2
2.4
M
etricas equivalentes
Se
nalemos que aunque a toda metrica le tenemos asociada una topologa, no hay ninguna razon
para que dos metricas distintas no tengan asociada la misma topologa. De hecho esta situacion es
bastante com
un. Veamosla.
Definici
on 2.25 Decimos que dos metricas d y d0 sobre un mismo conjunto X son equivalentes si
dan lugar a la misma topologa, esto es, Td = Td0 .
Propiedad 2.26 Dos metricas d y d0 sobre un conjunto X son equivalentes si y solo si para todo
x X y para todo > 0.
1. existe > 0 tal que Bd (x; ) Bd0 (x; ),
2. existe 0 > 0 tal que Bd0 (x; 0 ) Bd (x; ).
Demostraci
on.
Supongamos que d y d0 son equivalentes. Dados x X y > 0, Bd0 (x; ) es un
abierto en Td0 y por tanto en Td , con lo cual existe > 0 tal que Bd (x; ) Bd0 (x; ). Analogamente
se prueba (2).

2.4. METRICAS
EQUIVALENTES
51
Recprocamente, supongamos que se cumplen (1) y (2) y vamos a probar que d y d0 son equivalentes. Sea A un abierto de Td y sea x A. Entonces existe > 0 tal que Bd (x; ) A. Aplicando
(2), existira 0 > 0 tal que Bd0 (x; 0 ) Bd (x; ), con lo cual A es entorno de x para Td0 y es, por tanto,
abierto en esta topologa. De forma analoga se prueba que todo abierto de Td0 debe serlo tambien de
Td .
La Figura 2.4 indica, graficamente, que las tres metricas sobre R2 , d1 , d2 y d , son equivalentes. De todas formas, mas adelante (2.29), daremos una demostracion de la equivalencia de las tres
metricas en Rn .
Figura 2.4
Corolario 2.27 Sean d y d0 dos metricas sobre un conjunto X. Una condici

on suficiente para que
d y d0 sean equivalentes es que existan m, M > 0 tales que
md(x, y) d0 (x, y) M d(x, y), x, y X.
Demostraci
on. Sean x X y > 0. Entonces tomando = /M tenemos que d(x, y) implica
que d0 (x, y) M d(x, y) M = , con lo cual Bd (x; ) Bd0 (x; ). De forma analoga, tomando
0 = m tenemos que Bd0 (x; 0 ) Bd (x; ).
52
Nota 2.28 Notese que el que dos metricas sean equivalentes, significa que tienen los mismos abiertos
pero no necesariamente las mismas bolas como veremos en el ejemplo siguiente.
Ejemplo 2.29 En Rn las tres metricas d1 , d2 y d son equivalentes. En efecto, recordemos la

definicion de estas metricas (1.5):
P
i=1,...,n |xi yi |,
qP
2
d2 (x, y) =
i=1,...,n (xi yi ) ,
d1 (x, y) =
d (x, y) = supi=1,...,n |xi yi |.

En el Ejemplo 1.17 se estudiaron las bolas en estas metricas y se vio que eran distintas. Sin embargo,
son metricas equivalentes. Ello se sigue de las siguientes desigualdades, cuya comprobacion se deja
como ejercicio:
1
d (x, y)
n 1
d (x, y) d1 (x, y),
1 d2 (x, y)
n
d (x, y) d2 (x, y),
para todos x, y Rn .
Ejemplo 2.30 Las mismas desigualdades sirven para probar que las metricas d1 , d2 y d definidas
sobre el producto de dos espacios metricos (vease 1.8) son equivalentes.
Ejemplo 2.31 La metrica eucldea y la discreta sobre R2 no son equivalentes. Por ejemplo {(0,0)}
es abierto en la topologa discreta y no lo es en la eucldea

2.4. METRICAS
EQUIVALENTES
53
EJERCICIOS TEMA 2
1. Sea X un conjunto y p un punto fijo de el. Definimos la siguiente familia de subconjuntos de

X,
Tp = {A X : p A} {}.
Prueba que Tp define una topologa sobre X.
2. Encuentra todas las topologas que se pueden definir en un conjunto X de 2 o de 3 elementos.
3. Demuestra que las familias siguientes no son topologas:
(a) {A R : a A existe x R tal que [x, x + 1[ A} {}
(b) {]a, b[ : a, b R} {] , b[ : b R} {]a, [ : a R} {}
(c) La familia de los cerrados en la topologa usual en R, {A R : x
/ A existe >
0 tal que ]x , x + [ R A}.
4. Sobre R definimos la siguiente familia de subconjuntos
T = {A B : A Tu , B Q}.
Prueba que T define una topologa sobre R y que (R, T ) es 1AN.
5. Sobre el conjunto de los numeros naturales N se define la familia de subconjuntos
T = {, N, {0}, {0, 1}, {0, 1, 2}, {0, 1, 2, 3}, . . . } .
Demuestra:
(a) (N, T ) es un espacio topologico;
(b) Encuentra un entorno de 3 que no sea abierto.
(c) Prueba que para todo n N una base de entornos es
B(n) = {{0, 1, 2, . . . , n}}
por lo que, (N, T ) es 1AN.
54

6. Sea (X, T ) un espacio topologico, x X, U un entorno de x y B(x) una base de entornos de
x. Prueba que la familia {B B(x) : B U } tambien es una base de entornos del punto x.
7. Sea (X, T ) un espacio topologico y sea x X. Prueba que la familia {A T : x A} es una
base de entornos del punto x.
8. Prueba que en Rn las tres distancias d1 , d2 y d cumplen las desigualdades citadas en el ejemplo
2.29:
1
d (x, y)
n 1
d (x, y) d1 (x, y),
1 d2 (x, y)
n
d (x, y) d2 (x, y),
para todos x, y Rn , y por lo tanto, son equivalentes.

9. Estudia en que casos (X, Tcf ) es un espacio topologico de Hausdorff.
10. Sea (X, T ) un espacio topologico de Hausdorff. Prueba que para cualquier punto, x X, {x}
es cerrado en (X, T ).
11. Sea (X, T ) el espacio topologico del punto particular (Ejer 2.1). Prueba
(a) Si X tiene mas de un punto, el espacio topologico no es de Hausdorff. Por tanto, no es
metrizable.
(b) En este espacio topologico, todos los entornos son abiertos.
(c) Si x 6= p, B(x) = {{x, p}} es una base de entornos de x, y B(p) = {{p}} es una base de
entornos de p. Por tanto, cumple el primer axioma de numerabilidad.
12. Sea (X, d) un espacio metrico. Demuestra que d es equivalente a las metricas d02 y d03 definidas
en el Ejercicio 1.3 como sigue
d02 (x, y) = mn {1, d(x, y)},
d03 (x, y) =
d(x, y)
.
1 + d(x, y)
Chapter 3
PUNTOS ESPECIALES EN UN
ESPACIO TOPOLOGICO
Una de las consecuencias fundamentales de la existencia de la distancia usual en el espacio eucldeo
es que podemos a
nadir significado a la posicion de un punto respecto a un conjunto. En teoria de
conjuntos, solo podemos estudiar si el punto pertenece o no al conjunto.
En cambio, si en R2 consideramos el conjunto S formado por una bola abierta, resulta evidente
que los puntos x, y, z de la Figura 3.1 estan en una situacion muy diferente respecto a S. El primero
esta dentro de S mientras que y esta en la frontera y z esta fuera de S. Nuestra intuicion
hace uso de la distancia eucldea .
Figura 3.1
La apreciacion intuitiva se basa en la proximidad aparente de x a S y a su complementario. Como

ya hemos indicado, la topologa generaliza este concepto de proximidad en terminos de entornos.
55
56
CHAPTER 3. PUNTOS ESPECIALES EN UN ESPACIO TOPOLOGICO

Introduciremos los conceptos en el caso mas generico de espacios topologicos, aunque en cada
momento particularizaremos a espacios metricos y gran parte de los ejemplos seran en (R, | |).
3.1
Puntos de adherencia
El primer concepto que trataremos sera el de punto de adherencia de un conjunto S, o sea el que
esta tan cerca de S como queramos. En general la nocion de proximidad la dan los entornos, por
eso es normal la siguiente definicion.
Definici
on 3.1 Sea (X, T ) un espacio topologico y S un subconjunto de X. Un punto x X es de
adherencia de S si todo entorno U de x corta a S.
El conjunto de puntos de adherencia de S se llama su adherencia y se denota ad(S). Como
siempre, en caso de duda haremos constar T como subndice.
Ejemplo 3.2 Notese que cualquier punto del conjunto S es un punto de adherencia de S, esto es
S ad(S).
Nota 3.3 La definicion exige que comprobemos una propiedad para todos los entornos de un punto.
Por tanto, es u
til tener una caracterizacion que nos permita reducir el n
umero de comprobaciones.
Este es uno de los usos de las bases de entornos.
Propiedad 3.4 Sea (X, T ) un espacio topol
ogico, S un subconjunto de X, x un punto de X y B(x)
una base de entornos de x en la topologa T . El punto x es de adherencia de S si y solo si todo
elemento de B(x) corta a S.
Demostraci
on. Si x es un punto de adherencia de S, sabemos que S corta todo entorno de x. En
particular, todo V B(x), es entorno de x, luego se cumple V S 6= .
La otra implicacion lleva algo mas de trabajo. Sea B(x) una base de entornos del punto x
cumpliendo que todo V B(x) corta S. Para todo U E(x) existe un V B(x) tal que V U , por
tanto como V S 6= , U tambien corta a S. Luego, x es un punto de adherencia.
3.1. PUNTOS DE ADHERENCIA
57
En particular, si la topologa proviene de una metrica podemos usar las bases de entornos vistas
en 2.19, obteniendo los siguientes resultados.
Corolario 3.5 Sea (X, d) un espacio metrico y S un subconjunto de X. Entonces, un punto x X
es de adherencia de S si y solo si toda bola de centro x, B(x; ), corta a S. (Vease Figura 3.2).
Figura 3.2
Corolario 3.6 Sea (X, d) un espacio metrico y S un subconjunto de X. Entonces, un punto x X

es de adherencia de S si y solo si para todo n N la bola de centro x y radio n1 , B(x; n1 ), corta a S.
Ademas de estas consecuencias inmediatas hay otra caracterizacion de los puntos de adherencia
en un espacio metrico mediante la distancia de un punto a un conjunto (1.12).
Propiedad 3.7 Sea (X, d) un espacio metrico y S un subconjunto de X. Entonces, un punto x X
es de adherencia de S si y solo si la distancia de x a S es cero.
Demostraci
on. Supongamos que x es un punto de adherencia de S. Si la distancia de x a S fuera
estrictamente positiva, d(x, S) = > 0, entonces se cumplira B(x; 2 ) S = , con lo que x no sera
de adherencia llegando a una contradiccion.
Supongamos ahora que x es un punto que cumple d(x, S) = 0, entonces para cualquier n N
existe un punto y S tal que d(x, y) < n1 . Por tanto, y B(x; n1 ) S 6= , esto es, x es un punto de
adherencia de S.
Antes de seguir con las propiedades de la adherencia, ya es hora de calcular alg
un ejemplo.
58
Ejemplo 3.8 Comprobemos que la adherencia de ]0, 1[ en (R, Tu ) es [0, 1].

Sabemos que ]0, 1[ ad(]0, 1[).
Para cualquier n
umero real x > 1 el intervalo ]1, x + 1[ es un entorno de x que no corta a
]0, 1[, por tanto x
/ ad(]0, 1[). De la misma manera para cualquier n
umero real negativo, x < 0 el
entorno ]x 1, 0[ no corta a ]0, 1[ y por lo tanto x no puede ser punto adherente de ]0, 1[. Por tanto,
ad(]0, 1[) [0, 1]).
Estudiemos los puntos 0 y 1. Es facil ver que d(0, ]0, 1[) = d(1, ]0, 1[) = 0. Por lo que estan en la
adherencia.
Cabe resaltar que la demostracion funciona para cualquier intervalo. O sea, la adherencia de un
intervalo es el intervalo cerrado con los mismos extremos.
Veamos ahora algunas propiedades que cumple la adherencia cuando cambiamos el conjunto S,
en particular veremos que es monotona y que conmuta con uniones finitas.
ogico y
Propiedad 3.9 (La adherencia es una propiedad monotona) Sea (X, T ) un espacio topol
sean S1 , S2 subconjuntos de X tales que S1 S2 . Entonces, ad(S1 ) ad(S2 ).
Demostraci
on. Sea x ad(S1 ). Para todo U E(x) se cumple que U S1 6= , como U S1
U S2 es U S2 6= por tanto, x ad(S2 ).
ogico y sean S1 , S2 dos subconjuntos de X, se cumple
siempre
ad(S1 S2 ) = ad(S1 ) ad(S2 ).
Demostraci
on.
Veamos las dos inclusiones. Como S1 , S2 (S1 S2 ), por la monotona de la
adherencia, se cumple ad(S1 ), ad(S2 ) ad(S1 S2 ), luego ad(S1 ) ad(S2 ) ad(S1 S2 ).

Para ver la inclusion contraria, sea x ad(S1 S2 ). Si x 6 ad(S1 ) y x 6 ad(S2 ) esto es porque
existen dos entornos U1 , U2 E(x) tales que U1 S1 = y U2 S2 = . Tomemos U1 U2 que es
entorno de x (Figura 3.3),
59
Figura 3.3
se cumple (U1 U2 ) (S1 S2 ) = , luego x no sera de adherencia de S1 S2 llegando a una
contradiccion.
Nota 3.11 Es importante resaltar que la afirmacion anterior no es cierta si se cambia la union por
interseccion. En particular, consideremos en la topologa eucldea el caso S1 =]0, 1[ y S2 =]1, 2[.
La propiedad mas caracterstica de la adherencia de un conjunto S, que es su definicion en muchos
textos avanzados, es que es el menor cerrado que lo contiene. Vamos a probar este resultado en dos
partes, primero veremos que es cerrado y, posteriormente, que es el menor que lo contiene.
ogico y sea S un subconjunto de X, se cumple siempre
que ad(S) es cerrado en (X, T ).
Demostraci
on.
Veamos que X ad(S) es abierto comprobando que es entorno de todos sus
puntos. Si x 6 ad(S), existe un entorno de x, U , tal que U S = . Por ser U entorno de x existe
un abierto, A T , tal que x A U . Por tanto, A S = .
Ya que A es abierto, para todo punto y A, A es entorno de y. Como A no corta a S, y
/ ad(S).
O sea, A X ad(S), (Figura 3.4), por lo que X ad(S) es entorno de x.
Esto es valido para todo x 6 ad(S), luego X ad(S) es abierto.
ogico, para todo subconjunto S de X y todo cerrado C
que lo contiene, se cumple ad(S) C. Esto es, ad(S) es el menor cerrado que contiene a S.
60
Figura 3.4
Demostraci
on.
Por reduccion al absurdo. Sea C un cerrado que incluye S. Supongamos que
ad(S) 6 C, o sea que existe un punto x ad(S) y x 6 C. Por tanto, x esta en el abierto X C.
Ya que S C se cumple (X C) S = . Por tanto x no es de adherencia de S, llegando a una
contradiccion.
En particular, la propiedad anterior proporciona una caracterizacion de conjunto cerrado como
aquel que contiene a todos sus puntos de adherencia.
Corolario 3.14 Un conjunto C es cerrado si y solo si ad(C) = C.
Demostraci
on.
Veamos una doble inclusion. Supongamos C cerrado entonces ad(C) C por
3.13. Pero como siempre se cumple que C ad(C), se tiene C = ad(C).

Por otra parte, supongamos ahora ad(C) = C, entonces C es cerrado por 3.12.
Nota 3.15 El corolario anterior es equivalente a decir que un conjunto C es cerrado si y solo si
ad(C) C, ya que la otra inclusion es siempre cierta.
Ejemplo 3.16 La caracterizacion anterior, junto con los resultados del Ejemplo 2.11 son muy u
tiles
en el momento de obtener la adherencia en algunos espacios topologicos.
1. En un espacio topologico trivial (X, TT ), la adherencia de cualquier conjunto no vaco es el
espacio total X.
2. En un espacio topologico discreto (X, TD ), la adherencia de cualquier conjunto D es el mismo.
61
3. Por u
ltimo, en la topologa cofinita, (X, Tcf ), la adherencia de cualquier conjunto finito es el
mismo, y la de los infinitos es el total.
Relacionado con el concepto de adherencia esta el concepto de densidad. Un conjunto es denso
si todo punto esta tan cerca de el como queramos. En terminos de adherencia esto significa
Definici
on 3.17 Sea (X, T ) un espacio topologico, diremos que un subconjunto S de X es denso si
ad(S) = X.
ogico, y sea S X. Entonces, S es denso en (X, T )
si y solo si cualquier abierto no vaco, A T , corta a S.
Demostraci
on. Veamos la doble implicacion. Supongamos ad(S) = X y tomemos un abierto no
vaco, A. Por lo menos existe un punto x A. Pero x ad(S), por tanto A S 6= .
Supongamos ahora que cualquier abierto no vaco corta a S. Si ad(S) 6= X, X ad(S) sera un
abierto no vaco. Como (X ad(S)) S = , llegamos a una contradiccion. Por tanto, ad(S) = X.
Ejemplo 3.19
1. Cualquier subconjunto S no vaco de X es denso en (X, TT ) ya que el u

nico
abierto no vaco es el espacio total X.

2. El u
nico subconjunto denso en (X, TD ) es X pues si S X existe por lo menos un punto
x X S y {x} TD .
3. En (R, Tu ), Q es denso, ya que todo abierto no vaco en R contiene un intervalo abierto y, por
tanto puntos racionales.
Este u
ltimo ejemplo sugiere que una clase interesante de espacios topologicos esta formada por los
que contienen un conjunto denso numerable.
Definici
on 3.20 Sea (X, T ) un espacio topologico. Se llama separable si tiene un subconjunto denso
numerable.
62
Ejemplo 3.21 Usando los Ejemplos 3.16 y 3.19 podemos ver ejemplos de espacios topologicos que
son separables y otros que no lo son.
1. Un espacio topologico trivial siempre es separable.
2. Un espacio topologico discreto es separable si y solo si es numerable.
3. Un espacio topologico con la topologa cofinita es siempre separable. Cualquier subconjunto
infinito numerable es denso.
Antes de terminar la Seccion, estudiaremos otros dos conceptos relacionados con la adherencia. Ellos son los puntos de acumulacion y los aislados. Para indicar intuitivamente la diferencia,
consideremos en R2 el conjunto S formado por el cuadrado union con el punto y, (Figura 3.5).
Figura 3.5
Los puntos, x, y, z, son todos ellos de adherencia. Pero, su situacion es, intuitivamente, muy
distinta. Tan cerca de los puntos x, z hay puntos de S distintos de x, z. Eso no pasa con y, este
punto esta aislado. Expresemoslo en terminos de entornos.
Definici
on 3.22 Sea (X, T ) un espacio topologico y S un subconjunto de X. Un punto x X es
un punto de acumulacion de S si todo entorno U de x tiene un punto de S distinto de x. Es decir,
si (U {x}) S 6= . El conjunto de todos los puntos de acumulacion de S se llama acumulaci
on o
conjunto derivado de S y se representa por ac(S).
Los puntos de adherencia de un conjunto S que no cumplen la definicion anterior son los puntos
aislados. No cumplir la condicion quiere decir que existe un entorno U de x tal que (U {x}) S =
pero U S 6= .
3.2. PUNTOS FRONTERA. PUNTOS INTERIORES
63
Definici
on 3.23 Sea (X, T ) un espacio topologico y S un subconjunto de X. Un punto x X es
un punto aislado de S si existe un entorno U de x tal que U S = {x}.
Nota 3.24 Es facil ver que el conjunto de puntos aislados de S es precisamente ad(S) ac(S).
3.2
Puntos frontera. Puntos interiores
Hasta ahora hemos estudiado los puntos que estan tan cerca de un conjunto como queramos, o
sea, los puntos de adherencia. Pero es evidente que entre estos puntos los hay de diversos tipos.
Vamos a estudiar primero los que tambien estan tan cerca como queramos de su complementario.
No sorprendentemente estos puntos se llaman puntos frontera.
Definici
on 3.25 Sea (X, T ) un espacio topologico y sea S un subconjunto de X. Un punto x X
es frontera de S si todo entorno U de x corta a S y a su complementario.
El conjunto de puntos frontera de S se llama su frontera y se denota fr(S).
ogico y sea S un subconjunto de X. Entonces,
fr(S) = ad(S) ad(X S).
Demostraci
on. Es inmediato usando la definicion anterior (3.25).
Corolario 3.27 Para todo conjunto S, fr(S) es cerrado.
Demostraci
on. Es una consecuencia directa de 3.26 y 3.12.
Ejemplo 3.28 La propiedad anterior nos permite calcular la frontera de un conjunto como con la
adherencia en 3.16. Sea S un subconjunto no vaco de X.
1. La frontera de ]0, 1[ en (R, Tu ) es el conjunto de dos elementos {0, 1} ya que ad(]0, 1[) = [0, 1]
y ad(R ]0, 1[) = ] , 0] [1, [.
64

2. En todo espacio topologico la frontera del conjunto total y del vaco es vaca.
3. Sea S un subconjunto propio del espacio topologico trivial, (X, TT ). Entonces fr(S) = X ya
que ad(S) = X = ad(X S).
4. Sea S un subconjunto propio del espacio topologico discreto, (X, TD ). Entonces, fr(S) = pues
ad(S) = S y ad(X S) = X S.
5. Por u
ltimo, en la topologa cofinita, (X, Tcf ), la frontera de todo conjunto finito es el mismo,
la de un conjunto cofinito es su complementario y la de los demas es el total.
Como en el caso de puntos de adherencia tenemos la siguiente propiedad que reduce el n
umero
de entornos que debemos comprobar.

una base de entornos de x en la topologa T . El punto x es frontera de S si y solo si todo elemento
de B(x) corta a S y a su complementario.
Demostraci
on. Es una aplicacion directa de la caracterizacion de la adherencia obtenida en 3.4 y
la expresion de la frontera de 3.26.
Tambien como en el caso de la adherencia, si la topologa proviene de una metrica, tenemos las
bases habituales que dan las siguientes caracterizaciones.
Corolario 3.30 Sea (X, d) un espacio metrico y S un subconjunto de X, un punto x es frontera de
S si y solo si toda bola de centro x corta a S y a su complementario.
Corolario 3.31 Sea (X, d) un espacio metrico y S un subconjunto de X, un punto x es frontera de
S si y solo si para todo n la bola de centro x y radio
1
n
corta a S y a su complementario.
Asimismo, hay una caracterizacion de puntos frontera que se deriva de 3.7.

Propiedad 3.32 Sea (X, d) un espacio metrico y S un subconjunto de X, un punto x es frontera
de S si y solo si la distancia de x a S y a su complementario es cero.
65
El u
ltimo tipo de puntos que vamos a considerar son los de dentro del conjunto. Esto quiere
decir que los podemos separar del complementario.
Definici
on 3.33 Sea (X, T ) un espacio topologico y S un subconjunto de X. Un punto x S es
interior de S si S es entorno de x.
El conjunto de puntos interiores de S se llama su interior y se denota int(S).
Nota 3.34 Siempre se tiene int(S) S.
Comencemos el estudio de los puntos interiores relacionandolos con los conceptos anteriores.
ogico y S un subconjunto de X. Un punto x S es
interior de S si y solo si x 6 ad(X S). Es decir,
int(S) = X ad(X S).
Demostraci
on. Veamos la doble inclusion. Si x int(S) existe un abierto A tal que, x A S.
Entonces, A (X S) = y por tanto x 6 ad(X S).
Por otra parte, sea x X ad(X S). Como X S ad(X S), tomando complementarios
tenemos que X ad(X S) S. Ahora bien, X ad(X S) es abierto, por tanto S es entorno de
x y x int(S).
Ejemplo 3.36 Esta propiedad nos sirve como antes para calcular el interior de un conjunto como
ya hemos hecho con la adherencia y la frontera. Enunciaremos los resultados sin demostrarlos, ya
que la demostracion es directa y se deja como ejercicio. Sea S un subconjunto no vaco de X.
1. El interior de [0, 1[ en (R, Tu ) es ]0, 1[.
2. Sea S un subconjunto de (X, TT ) que no sea el total. Entonces, int(S) = . Si S = X
evidentemente, int(S) = X.
3. Sea S un subconjunto de (X, TD ). Entonces int(S) = S.
66

4. Por u
ltimo, en la topologa cofinita, (X, Tcf ), el interior de todo conjunto cofinito es el mismo,
y la de los demas es el vaco.
Propiedad 3.37 Sea S un subconjunto de un espacio topol

ogico (X, T ). Los puntos adherentes son
o bien interiores, o bien fronteras. O sea,
fr(S) = ad(S) int(S).
Demostraci
on. Como vimos en 3.26, fr(S) = ad(S) ad(X S). Por 3.35,
ad(S) ad(X S) = ad(S) (X int(S)) = ad(S) int(S).
Como los otros tipos de puntos, los interiores admiten una caracterizacion en terminos de bases
de entornos que se especializa en el caso de espacios metricos.
una base de entornos de x en la topologa T . El punto x es interior de S si y solo si hay un elemento
de B(x) incluido en S.
Demostraci
on. La demostracion es igual que las realizadas en 3.4 y 3.29, por lo que se deja como
ejercicio.
Como en los casos anteriores, de la propiedad anterior se deducen las siguientes consecuencias.
Corolario 3.39 Sea (X, d) un espacio metrico y S un subconjunto de X, un punto x S es punto
interior de S si y solo si hay una bola de centro x incluida en S.
Corolario 3.40 Sea (X, d) un espacio metrico y S un subconjunto de X, un punto x S es punto
interior de S si y solo si hay un n N de manera que B(x; n1 ) S.
Tambien hay una caracterizacion de puntos interiores en terminos de la distancia a un conjunto.
67
Propiedad 3.41 Sea (X, d) un espacio metrico y S un subconjunto de X, un punto x S es punto

interior de S si y solo si la distancia de x a X S es estrictamente positiva.
Demostraci
on.
En 3.35 vimos que x es un punto interior de S si y solo si x 6 ad(X S). Por
otra parte, por 3.7 sabemos que x ad(X S) si y solo si d(x, X S) = 0. Por lo tanto, x es un
punto interior de S si y solo si d(x, X S) 6= 0.
Utilizando la definicion, o bien las caracterizaciones de interior anteriores, podemos probar las
propiedades duales de las de la adherencia. Comencemos viendo que es monotono y que conmuta
con intersecciones finitas.
Propiedad 3.42 (El interior es monotono) Sea (X, T ) un espacio topol
ogico, S1 y S2 subconjuntos
de X tales que S1 S2 . Se cumple
int(S1 ) int(S2 ).
Demostraci
on.
Sea x int(S1 ). Por definicion esto significa que S1 es entorno de x. Como
S1 S2 , S2 tambien es entorno de x. Luego x int(S2 ).

ogico, S1 y S2 subconjuntos de X. Se cumple
int(S1 ) int(S2 ) = int(S1 S2 ).
Demostraci
on.
int(S1 ) int(S2 ) = (X ad(X S1 )) (X ad(X S2 ))
= X (ad(X S1 ) ad(X S2 ))
= X ad((X S1 ) (X S2 ))
= X ad(X (S1 S2 ))
= int(S1 S2 ).
68
Nota 3.44 Es importante resaltar que la afirmacion anterior no es cierta si se cambia la interseccion
por la union. En particular, consideremos en la topologa eucldea el caso S1 = ]0, 1] y S2 = ]1, 2] ya
que int(S1 S2 ) = ]0, 2[ pero
int(S1 ) int(S2 ) = ]0, 1[ ]1, 2[ = ]0, 2[ {1}.
A similitud con la adherencia, veamos una caracterizacion del interior de un subconjunto como
el mayor abierto contenido en el.
Propiedad 3.45 Para todo conjunto S, int(S) es abierto.
Demostraci
on. Por 3.35 sabemos que int(S) es el complementario de un cerrado, luego es abierto.
Propiedad 3.46 Para todo conjunto S y todo abierto A contenido en el,
se cumple
A int(S), o sea, int(S) es el mayor abierto contenido en S.

Demostraci
on. Sea A un abierto no vaco incluido en S y x un punto de A. Como A es abierto,
es entorno de x. Por tanto, x es un punto interior de S y A int(S).
Esta propiedad proporciona una caracterizacion de abierto como aquel que todos sus puntos son
interiores.
Corolario 3.47 Un subconjunto S de X es abierto en (X, T ) si y solo si S = int(S).
Nota 3.48 El corolario anterior equivale a decir que un conjunto A es abierto si y solo si A int(A),
ya que la otra inclusion es cierta siempre.
Para terminar, usando la relacion del interior de un conjunto con su frontera, obtenemos otra
caracterizacion de conjunto abierto.
Propiedad 3.49 Un conjunto A es abierto si y solo si fr(A) A = .
POR SUCESIONES
3.3. CARACTERIZACION
69
Demostraci
on. Veamos una doble implicacion. Supongamos que A es abierto, entonces, por 3.37
y la propiedad anterior se cumple
fr(A) = ad(A) int(A) = ad(A) A,
por tanto, fr(A) A = .
Por otra parte, supongamos que fr(A) A = entonces,
= fr(A) A = (ad(A) int(A)) A = A int(A),
lo que implica A int(A) y como siempre se tiene int(A) A, necesariamente tiene que ser
A = int(A) y por tanto, A es abierto.
3.3
Caracterizaci
on por sucesiones
Como final de este Captulo veremos la relacion que existe entre puntos adherentes y convergencia
de sucesiones la cual es particularmente u
til en el caso de espacios metricos.
Definici
on 3.50 Sea (X, T ) un espacio topologico y {xn }
on de puntos de X. Decimos
n=1 una sucesi
que {xn }
n=1 converge o tiende a x (xn x o lim xn = x) si para todo entorno U de x, existe un n0 ,
de manera que si n > n0 entonces xn U .
La convergencia de una sucesion depende de la topologa, como se ve facilmente en el siguiente
ejemplo.
Ejemplo 3.51 Sea {xn }
on constante en X.
n=1 con xn = x para todo n la sucesi
nico entorno de y es X y se
1. {xn }
n=1 converge a cualquier punto y X en (X, TT ) pues el u
cumple por tanto, que xn X para todo n N .
2. {xn }
olo converge a x en (X, TD ) pues x pertenece a cualquier entorno de el, por lo tanto,
n=1 s
todos los puntos de la sucesion estan en todo entorno de x. En cambio para todo y 6= x
encontramos un entorno de y, V = {y}, tal que ning
un punto de la sucesion esta en el .
70

Como es habitual, existe una caracterizacion que nos permite comprobar la condicion en un
n
umero menor de entornos.
ogico, {xn }
on de puntos de X y B(x)
n=1 una sucesi
una base de entornos de x en la topologa T . Entonces, {xn }
olo si para todo
n=1 converge a x si y s
elemento V de B(x), existe un n0 , de manera que si n > n0 se tiene xn V .
Demostraci
on.
Si {xn }
on se cumple para todos
n=1 converge a x, como B(x) E(x), la condici
los V B(x).
Supongamos ahora que se cumple la definicion de convergencia para todos los elementos de B(x),
una base de entornos de x, y sea U un entorno de x. Por ser B(x) base de entornos, existira un
elemento V B(x) tal que V U . Por hipotesis, existe un n0 , de manera que si n > n0 se tiene
xn V . Por tanto, el mismo n0 nos sirve ya que para todo n > n0 , xn U .
En el caso de espacios metricos la convergencia de una sucesion a un punto se reduce a la convergencia de una sucesion de n
umeros reales por la siguiente propiedad.
Corolario 3.53 Sea (X, d) un espacio metrico y {xn }
on de puntos de X. Entonces,
n=1 una sucesi
{xn }
olo si para todo > 0, existe un n0 , de manera que si n > n0 es
d(xn , x) < .
Demostraci
on. Es consecuencia directa de que, como vimos en 2.19, {B(x; ) : > 0} es base de
entornos del punto x en (X, d).
Corolario 3.54 Sea (X, d) un espacio metrico y {xn }
on de puntos de X. Entonces,
n=1 una sucesi
{xn }
olo la sucesi
on de las distancias {d(xn , x)}
n=1 converge a 0 en (R, | |).
Demostraci
on. Es una consecuencia inmediata del corolario anterior.
Una propiedad importante de la convergencia de sucesiones en R es que si una sucesion converge
lo hace a un solo punto. Ya hemos visto en alg
un ejemplo que esta propiedad no se cumple en
espacios topologicos generales. Ahora veremos que si es cierta para un tipo de espacios que incluye
los metricos: los espacios topologicos de Hausdorff.
POR SUCESIONES
71

ogico de Hausdorff y {xn }
on de puntos
n=1 una sucesi
de X. Entonces, si {xn }
n=1 converge a x y a y, necesariamente x = y.
Demostraci
on.
Si x 6= y entonces existen entornos U E(x) y V E(y) tales que U V = .
Por otra parte, como {xn }

n=1 converge a x existe un n0 tal que si n > n0 es xn U . Igualmente,
existe n1 tal que si n > n1 es xn V . Por tanto, todo n > n0 , n1 esta a la vez en U y en V , lo cual
es absurdo.
Veamos, finalmente, la caracterizacion de puntos de adherencia en un espacio metrico en terminos
de convergencia de sucesiones. Como se vera en la demostracion, la caracterizacion es cierta en general
para los espacios topologicos que cumplen el primer axioma de numerabilidad (1AN). Incluso, una
de las dos implicaciones es cierta siempre. Las demostraciones, sin embargo, las hacemos en espacios
metricos por simplicidad.
Propiedad 3.56 Sea (X, d) un espacio metrico y S X. El punto x X es de adherencia de S si
y solo si existe una sucesi
on {xn }
n=1 de puntos de S, tal que xn x.
Demostraci
on. Supongamos existe una sucesion {xn }
n=1 de puntos de S, tal que xn x, sabemos
por la definicion de convergencia 3.50 que cualquier entorno, U de x contiene puntos de la sucesion
por lo tanto, U S 6= , esto es, x ad(S).
Por otra parte, supongamos x ad(S). Vamos a construir la sucesion como sigue. Sabemos,
por 3.6 que para cualquier n
umero natural n > 0 se tiene B(x; n1 ) S 6= . Elegimos un punto
xn B(x; n1 ) S y as hemos construido la sucesion {xn }
n=1 en S que evidentemente converge a x
por 3.53.
La caracterizacion de puntos adherentes dada en la propiedad anterior nos permite dar otras dos
para conjunto denso y punto frontera.
Propiedad 3.57 Sea (X, d) un espacio metrico y S un subconjunto de X. Entonces, S es denso en
X si y solo si para todo x X existe una sucesi
on, {xn }
n=1 en S tal que xn x.
72
Demostraci
on. Evidente por la definicion de conjunto denso (3.17) y la propiedad anterior (3.56).
Propiedad 3.58 Sea (X, d) un espacio metrico y S X. El punto x X es frontera de S si y solo
si existe una sucesi

on {xn }
n=1 de puntos de S y otra {yn }n=1 de puntos de X S, tales que xn x
y yn x.
Demostraci
on.
Evidente usando la caracterizacion de punto frontera (3.26) y la propiedad 3.56.
Nota 3.59 Para terminar, un comentario avanzado. Las caracterizaciones por convergencia de
sucesiones son tan u
tiles en espacios metricos que pronto se inicio la b
usqueda para hallar un buen
sustituto en espacios topologicos genericos. El sustituto que funciona en esta circunstancia es el de
red o sea aplicaciones de conjuntos ordenados de un tipo especial. De todas maneras esto se sale
de los lmites del curso.
EJERCICIOS TEMA 3
1. Prueba que:
a) En (R2 , d2 ), la adherencia de la bola abierta de cualquier centro y radio, es la bola cerrada
del mismo centro y radio. (La definicion de bola cerrada esta en 1.43)
b) En cambio, si dD es la metrica discreta sobre R2 , en este caso, la adherencia de la bola
abierta de cualquier centro y radio 1, no es la bola cerrada del mismo centro y radio.
2. Sea (X, T ) un espacio topologico y sea A T un abierto. Prueba que para todo subconjunto
S X se cumple A ad(S) ad(A S).
3. Prueba que
(a) Q no es denso en (R, TD ). (Recuerda que si lo es en (R, Tu )).
POR SUCESIONES
73
(b) La interseccion finita de abiertos densos es denso.

(c) N es denso en (R, Tcf ) y no es denso en (R, Tu ).
4. Aprovecha los ejercicios anteriores para hallar contraejemplos a las afirmaciones:
(a) La frontera es monotona,
(b) fr(S1 S2 ) = fr(S1 ) fr(S2 ).
(c) fr(S1 S2 ) = fr(S1 ) fr(S2 ).
5. Cuales son los puntos de adherencia, frontera e interiores de los siguientes subconjuntos:
(a) Q en (R, Tu ).
(b) { n1 }
n=1 en (R, Tu ).
6. Estudia la adherencia, el interior y la frontera de los subconjuntos de X en el espacio topologico
(X, Tp ), siendo Tp la topologa del punto fijo.
7. Sea (X, T ) un espacio topologico y sea S un subconjunto de X. Prueba:
(a) fr(S) = fr(X S).
(b) ad(S) = S fr(S).
(c) S es cerrado si y solo si fr(S) S.
(d) S es abierto y cerrado si y solo si fr(S) = .
8. Calcula las sucesiones convergentes en los siguientes espacios.
(a) En (X, TT ).
(b) En (X, TD ).
(c) En (X, Tcf ).
(d) En (X, Tp ).
74

9. Sobre el conjunto de los n
umeros naturales consideramos la topologa del Ejercicio 2.5
T = {} {{0, 1, 2, . . . , n} : n N} {N}.
Ya vimos que para todo n N una base de entornos es
B(n) = {{0, 1, 2, . . . , n}}.
(a) Calcula la adherencia, el interior y la frontera de los conjuntos:
{0, 1, 2, 3}, {2, . . . }, {0, 1, 5}, {1, 5}.
(b) Demuestra que la sucesion {1, 2, 1, 2, 1, 2, 1, 2, . . . } no converge a 0, ni a 1, pero s a todos
los demas puntos.
10. Prueba que si una sucesion es convergente a un punto, todas las subsucesiones de ella convergen
al mismo punto. En particular, si {xn }

on
n=1 converge a x entonces, dado un p N , la subsucesi
{xn }np tambien es convergente a x.
Chapter 4
CONTINUIDAD
4.1
Continuidad en un punto
Recordemos que una funcion f : [a, b] R se dice continua en punto x0 [a, b] si para todo > 0
existe un > 0 tal que para todos los puntos x [a, b] que cumplen |x x0 | < entonces es
|f (x) f (x0 )| < .
Ahora bien, la condicion |x x0 | < es equivalente a x B(x0 ; ) cuando en R consideramos la distancia eucldea y, analogamente, la condicion |f (x) f (x0 )| < puede ser sustituida por
f (x) B(f (x0 ); ). Consecuentemente, probar la implicacion expuesta anteriormente es lo mismo que
probar la inclusion f (B(x0 ; )) B(f (x0 ); ). Pues bien, en el caso generico de una aplicacion entre
espacios topologicos, en vez de la bola B(f (x0 ); ) pondremos un entorno cualquiera U E(f (x0 )).
De la misma forma sustituiremos la bola B(x0 ; ) por un entorno V E(x0 ), obteniendo la siguiente
definicion.
Definici
on 4.1 Consideremos dos espacios topologicos (X, T ) e (Y, T 0 ) y una aplicacion entre ellos
f : X Y . Decimos que f es continua en un punto x0 X si para todo U E(f (x0 )) existe
V E(x0 ) tal que f (V ) U .
Nota 4.2 Notese que la continuidad de una aplicacion depende de ambas topologas, tanto de la del
75
76
CHAPTER 4. CONTINUIDAD
dominio como de la del rango. Por ello, en sentido estricto deberamos decir que f : (X, T ) (Y, T 0 )
es continua. Por el habitual abuso de lenguaje, cuando no haya confusion posible, diremos que
f : X Y es continua.
La primera propiedad que estudiaremos dice que en la definicion de continuidad podemos substituir los entornos cualquiera por entornos de una base de entornos. Esto es importante para comprobar
la continuidad de una funcion, ya que es mas comodo usar una base de entornos que no toda la familia
de los entornos.
Propiedad 4.3 En la situacion de la definicion anterior, supongamos que B(x0 ) y B(f (x0 )) son
bases de entornos de x0 y f (x0 ) respectivamente. Entonces f es continua en x0 si y solo si para todo
U B(f (x0 )) existe V B(x0 ) tal que f (V ) U .
Demostraci
on. Supongamos que f es continua en x0 . Dado U B(f (x0 )) existira V E(x0 ) tal
que f (V ) U . Pero aplicando la definicion de base de entornos tendremos que existe V 0 B(x0 )
tal que V 0 V , con lo cual f (V 0 ) f (V ) U .
Veamos el recproco. Sea U E(f (x0 )), entonces existe U 0 B(f (x0 )) tal que U 0 U . Por
hipotesis tendremos que existe V B(x0 ) tal que f (V ) U 0 U . Pero como tambien se tiene que
V E(x0 ) ya hemos acabado la demostracion.
Corolario 4.4 Sean dos espacios metricos (X, d) e (Y, d0 ), una aplicaci
on, f : X Y , y un punto,
x0 X. Entonces, f es continua en x0 (respecto a las topologas metricas) si y solo si para todo
> 0 existe > 0 tal que siempre que d(x, x0 ) < se cumple d0 (f (x), f (x0 )) < .
Demostraci
on.
Si consideramos las bases de entornos B(x0 ) = {B(x0 ; ) : > 0} y B(f (x0 )) =
{B(f (x0 ); ) : > 0}, la equivalencia es una consecuencia inmediata de la Propiedad anterior,
teniendo en cuenta que x B(x0 ; ) si y solo si d(x, x0 ) < , y f (x) B(f (x0 ); ) si y solo si
d0 (f (x), f (x0 )) < .
4.1. CONTINUIDAD EN UN PUNTO
77
Ejemplo 4.5 La continuidad en R y Rn coincide con el concepto de continuidad que conoceis de

Analisis. En particular, tenemos la siguiente lista de funciones continuas:
1. las funciones elementales x , sen(x), cos(x), exp(x) y sus inversas (donde esten definidas).
2. suma y producto de funciones continuas,
3. cociente de una funcion continua por una funcion continua no nula;
Veamos ahora una caracterizacion de continuidad en espacios metricos usando convergencia de
sucesiones que generaliza la habitual en (R, Tu ).
Propiedad 4.6 Sean dos espacios metricos, (X, d) e (Y, d0 ), una aplicaci
on, f : X Y , y un punto,
x0 X. Entonces f es continua en x0 si y solo si para toda sucesi
on {xn }
n=1 en X que converge a
x0 , se tiene que {f (xn )}
n=1 converge a f (x0 ).
Demostraci
on. Supongamos que f es continua en x0 y sea {xn }
on en X convergente
n=1 una sucesi
a x0 . Dado un entorno U E(f (x0 )) existe V E(x0 ) tal que f (V ) U . Por convergencia de la
sucesion {xn }
n=1 a x0 , asociado a este entorno V , existe n0 tal que si n > n0 , xn V . Pero esto
implica que si n > n0 , f (xn ) f (V ) U . Por tanto, hemos probado que f (xn ) converge a f (x0 ).
Figura 4.2
Recprocamente, supongamos que se cumple la condicion expuesta y vamos a ver que f es continua
en x0 utilizando el Corolario anterior. Por reduccion al absurdo, supongamos que f no es continua.
78
Esto significa que existe un > 0 tal que para cada > 0 existe x X cumpliendo que d(x , x0 ) <
y d0 (f (x ), f (x0 )) . En particular, si tomamos = 1/n tendremos una sucesion xn = x (Figura
4.2) que cumple d(xn , x0 ) <
1
n
y d0 (f (xn ), f (x0 )) . Entonces la sucesion d(xn , x0 ) tiende a 0 en R
y por lo tanto xn tiende a x0 en X (3.53). Sin embargo, la sucesion d0 (f (xn ), f (x0 )) no tiende a 0
en R y por lo tanto f (xn ) no tiende a f (x0 ) en X, con lo cual obtenemos una contradiccion con la
hipotesis.
Nota 4.7 De la demostracion se ve que la implicacion directa de la propiedad anterior es cierta en

espacios topologicos generales. O sea, sean (X, T ) y (Y, T 0 ) dos espacios topologicos y f : X Y
una aplicacion entre ellos. Si {xn }
on en X convergente a x0 y si f es continua en
n=1 es una sucesi
x0 , entonces {f (xn )}
n=1 converge a f (x0 ).
La siguiente propiedad nos permite construir muchos ejemplos de aplicaciones continuas a partir
de los conocidos.
Propiedad 4.8 Sean (X, T ), (Y, T 0 ) y (Z, T 00 ) tres espacios topol
ogicos y f : X Y , g : Y Z
dos aplicaciones tales que f es continua en x0 X y g es continua en f (x0 ). Entonces g f es
continua en x0 .
Figura 4.3
4.2. CONTINUIDAD GLOBAL

Demostraci
on.
79
Sea U E(g(f (x0 ))). Como g es continua en f (x0 ) existe V E(f (x0 )) tal
que g(V ) U y como f es continua en x0 existe W E(x0 ) tal que f (W ) V . Pero entonces
g(f (W )) g(V ) U (Figura 4.3).
Acabemos esta Seccion relacionando funciones continuas y puntos de adherencia.
Propiedad 4.9 Sean (X, T ) e (Y, T 0 ) dos espacios topol
ogicos y f : X Y una aplicaci
on continua
en x0 X. Entonces para todo S X se tiene que si x0 es de adherencia de S, f (x0 ) es de adherencia
de f (S).
Demostraci
on. Sea U E(f (x0 )), como f es continua en x0 existe V E(x0 ) tal que f (V ) U .
Pero x0 es de adherencia de S, con lo cual V S 6= . Esto implica que
6= f (V S) f (V ) f (S) U f (S),
y as f (x0 ) es de adherencia de f (S).
Ejemplo 4.10 Este resultado no es cierto para puntos interiores o frontera. Como ejemplo consideremos la funcion f : R R, dada por f (x) = cos(x), para todo x R. Entonces, 0 es interior en
R, pero f (0) = 1 no lo es en f (R) = [1, 1]. Analogamente, 3/2 es frontera de S = [0, ] {3/2},
pero f (3/2) = 0 no es frontera de f (S) = [1, 1].
4.2
Continuidad global
Tras definir y estudiar el concepto de continuidad de una aplicacion en un punto, llamado continuidad
local, podemos plantearnos el concepto global, es decir, aquellas aplicaciones que son continuas en
todos los puntos en que estan definidas.
Definici
on 4.11 Consideremos dos espacios topologicos (X, T ) e (Y, T 0 ) y una aplicacion entre ellos
f : X Y . Decimos que f es continua si lo es en cualquier punto de X.
80
No sorprendentemente, ya que es un concepto global, existe una caracterizacion de funciones
continuas que no hace referencia a los entornos. Veamosla.

Propiedad 4.12 Sean (X, T ) e (Y, T 0 ) dos espacios topol
ogicos y f : X Y una aplicaci
on.
Entonces, f es continua si y solo si para todo A T 0 , f 1 (A) T .
Demostraci
on. Supongamos que f es continua y sea A T 0 . Para probar que f 1 (A) es abierto
en T vamos a ver que es entorno de todos sus puntos. Sea x0 f 1 (A). Entonces f (x0 ) A y por
tanto A E(f (x0 )). Por ser continua existe V E(x0 ) tal que f (V ) A. Pero esto implica que
V f 1 (A) y as f 1 (A) E(x0 ).
Recprocamente, supongamos que se cumple la condicion expuesta y veamos que f es continua.
Sea x0 X y sea U E(f (x0 )). Entonces existe A T 0 tal que f (x0 ) A U . Esto significa
que x0 f 1 (A) y como f 1 (A) T podemos tomar V = f 1 (A) E(x0 ). Ademas, se tiene que
f (V ) = f (f 1 (A)) A U , de donde f es continua en x0 .
Ejemplo 4.13 Hay que tener algo de cuidado con esta caracterizacion, ya que la dual usando
imagenes no es cierta. Es decir, no es cierto que f sea continua si y solo si para todo A T se
cumple que f (A) T 0 . De hecho no es cierta ninguna de las dos implicaciones.
1. Hay funciones continuas para las que existen abiertos cuyas imagenes no lo son. Por ejemplo
la funcion f : R R dada por f (x) = sen(x), es continua y f (R) = [1, 1] que no es abierto
en R.
2. Tampoco es cierto que las funciones que cumplan que para todo A T , f (A) T 0 sean
continuas. Por ejemplo la aplicacion identidad Id : (X, TT ) (X, TD ) donde X es un conjunto
con mas de un elemento cumple la condicion, pero no es continua ya que la imagen inversa de
un abierto de TD que no sea el vaco o el total no es abierto en TT .
Lo que si existe es una caracterizacion analoga a la anterior por cerrados.
4.2. CONTINUIDAD GLOBAL
81
Propiedad 4.14 Una aplicaci

on f : (X, T ) (Y, T 0 ) es continua si y solo si para todo C cerrado
en (Y, T 0 ), f 1 (C) es cerrado en (X, T ).
Demostraci
on. Supongamos que f es continua y C es cerrado en (Y, T 0 ), entonces
X f 1 (C) = f 1 (Y C) T
por ser la antiimagen de un abierto, con lo cual f 1 (C) es cerrado en (X, T ).
La otra implicacion se prueba de forma analoga.
Ejemplo 4.15 Estas caracterizaciones nos permiten obtener varios ejemplos mas de funciones continuas.
1. La aplicacion identidad Id : (X, T ) (X, T ) es continua para cualquier espacio topologico
(X, T ) , pues Id1 (A) = A para todo abierto A de X.
2. De forma analoga, toda aplicacion constante f : (X, T ) (Y, T 0 ) entre espacios topologicos es
siempre continua. En efecto, supongamos que f (x) = y0 , para todo x X. Si A T 0 , se tiene
que f 1 (A) = si y0
/ A, o f 1 (A) = X si y0 A. En cualquier caso, f 1 (A) T y as, f es
continua.
3. Si (X, TD ) es un espacio topologico discreto, toda aplicacion f : X Y en un espacio topologico
cualquiera, (Y, T 0 ), es continua.
4. Lo dual de esto ocurre cuando el espacio de llegada, (Y, TT ), tiene la topologa trivial. En este
caso, toda aplicacion f : X Y , siendo (X, T ) un espacio topologico cualquiera, es continua.
A continuacion enunciamos unas propiedades de la continuidad que son consecuencia inmediata
de las correspondientes propiedades locales (Propiedades 4.8 y 4.9).
Propiedad 4.16 La composici
on de aplicaciones continuas es continua.
82
Propiedad 4.17 Para toda aplicaci

on continua f : (X, T ) (Y, T 0 ) y para todo S X, se cumple
f (ad(S)) ad(f (S)).
La parte final de esta seccion esta dedicada al estudio de los homeomorfismos. Este concepto
es fundamental en Topologa, ya que dos espacios topologicos homeomorfos se pueden considerar, a
muchos efectos, como iguales.
Definici
on 4.18 Dados dos espacios topologicos (X, T ) e (Y, T 0 ) llamamos homeomorfismo a toda
aplicacion biyectiva f : X Y tal que tanto f como su inversa f 1 son continuas.
Decimos que dos espacios topologicos son homeomorfos cuando existe un homeomorfismo entre
ellos.
Una propiedad de espacios topologicos se dice que es topol
ogica cuando es invariante por homeomorfismos. O sea, cuando si un espacio la tiene, tambien la tienen todos los homeomorfos.
La siguiente proposicion es consecuencia inmediata de las caracterizaciones de aplicacion continua
(4.12, 4.14).
Propiedad 4.19 Una aplicaci
on biyectiva f : X Y entre espacios topol
ogicos (X, T ) e (Y, T 0 ) es
un homeomorfismo si y solo si verifica cualquiera de las afirmaciones siguientes:
1. Un subconjunto A X es abierto (A T ) si y solo si f (A) T 0 .
2. Un subconjunto C X es cerrado si y solo si f (C) es cerrado en (Y, T 0 ).
Ejemplo 4.20 Veamos algunos homeomorfismos entre espacios topologicos conocidos.
1. Dos espacios topologicos triviales son homeomorfos si y solo si existe una biyeccion entre ellos.
En efecto, por definicion todo homeomorfismo es una biyeccion. Recprocamente, si (X, TT ) y
(Y, TT0 ) son espacios topologicos triviales, toda biyeccion f : X Y es un homeomorfismo, ya
que por el Ejemplo 4.15.4, f y f 1 son continuas.
2. Lo mismo ocurre si consideramos dos espacios topologicos discretos.
4.3. CONTINUIDAD UNIFORME E ISOMETRIAS
83
3. La aplicacion sen : ]0, 2 []0, 1[ es un homeomorfismo, ya que restringida a estos intervalos es

biyectiva y su inversa, arcsen : ]0, 1[ ]0, 2 [ tambien es continua.
4.3
Continuidad uniforme e isometras
En el caso de espacios metricos, ademas de las aplicaciones continuas, hay otras clases de aplicaciones
interesantes.
Definici
on 4.21 Una aplicacion f : X Y entre espacios metricos (X, d) e (Y, d0 ) se dice uniformemente continua si para cada > 0 existe > 0 tal que si d(x1 , x2 ) < entonces se cumple
d0 (f (x1 ), f (x2 )) < .
Propiedad 4.22 Toda aplicaci
on uniformemente continua es continua.
Ejemplo 4.23 El rec-proco no es cierto. Basta con considerar la funcion f : R R dada por
f (x) = x2 . Efectivamente, si f fuera uniformemente continua, para = 1, existe > 0, tal que si
|x1 x2 | < , entonces |x21 x22 | < 1. Pero si tomamos los puntos x1 = n y x2 = n + /2 tenemos que
|x1 x2 | = /2 < y |x21 x22 | = n + 2 /4, que es mayor que 1 si n > 1/. Esto da una contradiccion
con la afirmacion anterior.
Definici
on 4.24 Dados dos espacios metricos (X, d) e (Y, d0 ) llamamos equivalencia uniforme a toda
aplicacion biyectiva f : X Y tal que tanto f como su inversa f 1 son uniformemente continuas.
Definici
on 4.25 Dados dos espacios metricos (X, d) e (Y, d0 ) llamamos isometra a toda aplicacion
f : X Y que cumple para todos los puntos x1 , x2 X
d(x1 , x2 ) = d0 (f (x1 ), f (x2 )).
Propiedad 4.26 Toda isometra es inyectiva y uniformemente continua.
EJERCICIOS TEMA 4
84
1. Sea X = {a, b, c, d} y consideremos la topologa en X,
T = {, {a}, {b}, {a, b}, {b, c, d}, X}.
Sea f : (X, T ) (X, T ) la aplicacion definida por
f (a) = f (c) = b, f (b) = d, f (d) = c.
Prueba que f no es continua en c, pero que si lo es en b.
2. Sean T y T 0 dos topologas en X. Prueba que la identidad Id : (X, T ) (X, T 0 ) es continua
si y solo si T 0 T .
3. Sea f : (X, T ) (R, Tu ) una funcion continua. Demuestra que el conjunto de ceros, {x X :
f (x) = 0}, es un cerrado. Asimismo, prueba que {x X : f (x) > 0} es abierto.
4. Utilizando funciones continuas prueba que C = {(x, y) R2 : xy = 1} es cerrado y que
A = {(x, y) R2 : y > x} es abierto en (R2 , Tu ) .
5. Sea (X, T ) un espacio topologico y A X. Se define la aplicacion caracterstica
A : X {0, 1}
por A (x) = 1 si x A, o A (x) = 0 si x
/ A. Si en {0, 1} consideramos la topologa discreta,
demuestra que A es continua si y solo si A es abierto y cerrado en X.
6. Sea (X, T ) un espacio topologico tal que toda aplicacion f : X Y es continua para todo
espacio topologico (Y, T 0 ). Demuestra que T es la topologa discreta.
7. Sea (Y, T 0 ) un espacio topologico tal que toda aplicacion f : X Y es continua para todo
espacio topologico (X, T ). Demuestra que T 0 es la topologa trivial.
8. Sea f : (X, Tcf ) (Y, Tcf ) una aplicacion. Demuestra que f es continua si y solo si o bien es
una aplicacion constante, o bien para todo y Y se tiene que f 1 (y) es un conjunto finito.
4.3. CONTINUIDAD UNIFORME E ISOMETRIAS
85
9. Sean (X, Tp ) y (Y, Tq ) dos espacios topologicos con la topologa del punto particular. (Ver
Ejercicio 2.1). Demuestra que f : X Y es continua si y solo si o bien f es constante o bien
f (p) = q.
10. Sean f, g : (X, T ) (Y, T 0 ) dos aplicaciones continuas, con (Y, T 0 ) un espacio topologico
de Hausdorff. Demuestra que el subconjunto {x X : f (x) = g(x)} es cerrado. (Ayuda:
demuestra que el complementario es abierto, viendo que es entorno de todos sus puntos.)
11. Sea (X, d) un espacio metrico y S un subconjunto de X. Demuestra que la distancia
d : (X X, Td ) (R, Tu )
x
d(x, S)
es uniformemente continua. (Ayuda: Ejercicio 1.7).

12. Prueba que una aplicacion f : (X, d) (Y, d0 ) es uniformemente continua si y solo si para
cualquier pareja de sucesiones, {xn }

n=1 , {yn }n=1 , tales que d(xn , yn ) 0 en (R, Tu ) se cumple
que d0 (f (xn ), f (yn )) 0. (Ayuda: Mira la demostracion de la Propiedad 4.6).
86
Chapter 5
SUBESPACIOS TOPOLOGICOS
Ya desde el estudio de funciones reales de una variable real surge el problema de la continuidad de
funciones cuando restringimos el dominio o el rango. Como hemos visto, los problemas de continuidad
son, en el fondo, problemas topologicos, por lo que es natural preguntarse si dado un espacio, X,
una topologa sobre el, T , y un subconjunto, H X, existe alguna topologa sobre H que pueda,
de alguna manera, considerarse la restriccion de T . La primera respuesta, que a cualquiera se le
ocurre, es considerar como abiertos en H las partes de los abiertos de X que estan en H, o sea, los
subconjuntos A0 tales que existe A T con A0 = A H (Figura 5.1). Como veremos, hay suerte y
estos elementos forman una topologa sobre H.
5.1
Topologa inducida
Nuestro primer trabajo consiste en probar que esos abiertos forman una topologa y describir los
cerrados, entornos, etc.
Definici
on 5.1 Sea (X, T ) un espacio topologico y H X. La topologa inducida por T en H (o
topologa relativa) se define
T |H = TH = {A H : A T }.
87
88
CHAPTER 5. SUBESPACIOS TOPOLOGICOS
A los abiertos de TH se les llama abiertos relativos. El espacio topologico (H, TH ) se llama subespacio
topol
ogico de (X, T ).
ogico y H X. Entonces, (H, TH ) es un espacio
topol
ogico y se le llama subespacio topol
ogico de (X, T ).
Figura 5.1
Demostraci
on. Veamos que cumple las tres propiedades de una topologa.
T1) Como = H y H = X H, tanto como H son elementos de TH .
T2) Si A0 , B 0 TH , existen A, B T tales que A0 = A H y B 0 = B H. Luego,
A0 B 0 = A H B H = (A B) H.
Como A B T , tenemos A0 B 0 TH .
T3) Si para todo ndice i I tenemos A0i TH , entonces existen Ai T tales que A0i = Ai H.
Luego
Como
[
S
A0i =
iI
iI Ai T , tenemos que
(Ai H) = (
iI
S
iI
Ai ) H.
iI
A0i TH .
Nota 5.3 Hagamos un par de comentarios sobre las relaciones de los abiertos relativos y los abiertos
del total.
1. Es muy importante recordar que, en general, los abiertos relativos no tienen por que ser abiertos
en el total. As, [0, 1[ no es abierto en (R, Tu ) pero si lo es en [0, [ con la topologa inducida,
pues ] 1, 1[ Tu y
[0, 1[ = ] 1, 1[ [0, [ .
5.1. TOPOLOGIA INDUCIDA
89
2. En cambio, si H es abierto en (X, T ) entonces todo abierto relativo tambien es abierto en el

total ((X, T )). En efecto, si A0 TH existe A T tal que A0 = A H y como A y H son
abiertos A0 tambien lo es.
No solo los abiertos relativos son las partes de los abiertos de T que estan en H, sino que lo
mismo es cierto para los cerrados y los entornos relativos, como veremos a continuacion. Quiza este
es el momento para hacer un comentario sobre la notacion. En sentido estricto, la familia de cerrados
relativa se debera denotar CTH . Evidentemente, esta notacion es excesiva. Si no hay posibilidad de
error, lo denotaremos CH . Lo mismo haremos con los entornos y demas conceptos relativos.
ogico y H X. Un subconjunto C 0 H es un cerrado
relativo (C 0 CH ) si y solo si hay un cerrado en el espacio total, C, de manera que C 0 = C H.
Demostraci
on. Sea C 0 CH . Por tanto H C 0 TH . O sea, existe A T tal que H C 0 = AH.
Pero, tomando C = X A, entonces C es un cerrado y
C 0 = H (H C 0 ) = H (A H) = H A = H (X A) = H C.
Figura 5.2
Recprocamente, sea C 0 = C H donde C C. Su complementario en H se puede escribir como
H C 0 = H (C H) = H C = H (X C).
Ya que X C T , por definicion, H C 0 TH . Por tanto, C 0 CH .
Nota 5.5 Como en el caso de los abiertos, es importante resaltar algunos hechos.
90

1. Es importante darse cuenta de que los cerrados relativos no tienen por que ser cerrados en el
espacio total. Por ejemplo, [0, 1[ es cerrado en ] , 1[ con la topologa inducida, pero no lo
es en (R, Tu ).
2. En cambio, si H es cerrado en (X, T ) entonces todo cerrado relativo tambien es cerrado en el
total ((X, T )).

ogico y H X. Dado x H, un subconjunto U 0 H
es un entorno relativo de x (U 0 EH (x)) si y solo si hay un entorno de x en el total, U E(x), de
manera que U 0 = U H.
Demostraci
on. Sea U 0 un entorno relativo de x. Por tanto, existe un A0 TH tal que x A0 U 0 .
Por definicion de topologa relativa existe A T tal que A0 = A H. Si denotamos por U = A U 0 ,
es U E(x) y U H = (A H) (U 0 H) = A0 U 0 = U 0 (Figura 5.3).
Figura 5.3
Recprocamente, sea U un entorno de x y sea U 0 = U H. Por ser U entorno, existe un abierto,
A T tal que x A U . Entonces, x A H U H = U 0 . Por tanto, como A H TH , U 0 es
un entorno relativo de x.
Como u
ltimo resultado relacionando los conceptos basicos de la topologa relativa, TH , con la
total, T , veamos que las intersecciones con H de una base de entornos en X da una base de entornos
relativos.
ogico y x H X. Si B(x) es una base de entornos,
la familia de las trazas
BH (x) = {B H : B B(x)}
5.1. TOPOLOGIA INDUCIDA
91
es una base de entornos para la topologa relativa.

Demostraci
on.
Evidentemente, como B(x) E(x) todos los elementos de BH (x) son entornos
relativos. Veamos que tambien cumple la segunda condicion de una base de entornos.
Para cualquier U 0 EH (x), por la propiedad anterior, existe U E(x) tal que U 0 = U H.
Por la definicion de base de entornos, existe un elemento B B(x) tal que x B U , entonces
B H U H = U 0 . Como B H BH (x) se cumple la segunda condicion de base de entornos.
Corolario 5.8 La propiedad 1AN es hereditaria, esto es, se conserva por subespacios .
Una situacion habitual la tenemos cuando la topologa del espacio X proviene de una metrica d.
Entonces habra dos topologas sobre H, por una parte, la asociada a la metrica inducida, dH , y por
otra la restriccion de la topologa metrica de X, Td |H . La siguiente propiedad demuestra que no hay
indeterminacion, pues ambas son iguales.
Propiedad 5.9 Dado (X, d) un espacio metrico y H un subconjunto de el. Entonces la topologa
asociada a la metrica inducida sobre H coincide con la inducida por la topologa metrica en X. O
sea,
T d |H = T d H .
Demostraci
on. Veamos que son iguales probando una doble inclusion.
Sea A0 Td |H , entonces existe un A Td tal que A0 = A H. Veamos que A0 TdH . Para
cualquier x A0 A existe un > 0 tal que Bd (x; ) A entonces, Bd (x; ) H A0 pero por 1.20
sabemos que Bd (x; ) H = BdH (x; ). Por tanto, A0 TdH .
Sea ahora A0 TdH , para cualquier x A0 existe un > 0 tal que BdH (x; ) A0 . Como antes,
BdH (x; ) = Bd (x; ) H. Si llamamos
A=
[
xA0
Bd (x; )
(Figura 5.4)
92
se tiene
A0 A H = (
Bd (x; )) H =
xA0
(Bd (x; ) H) =
xA0
BdH (x; ) A0 .
xA0
Luego, A0 = A H y por tanto, A0 Td |H.
Figura 5.4
5.2
Adherencia, interior y frontera relativa
Si tenemos un espacio topologico (X, T ) y subconjuntos S de un subespacio H de X, podemos

estudiar tanto la adherencia de S en H como en X. Que relacion hay entre ellas? En esta seccion
veremos la relacion para la adherencia, el interior y la frontera.
ogico y consideremos S H X. Entonces,
adH (S) = adT (S) H.
Demostraci
on. Veamos que son iguales probando una doble inclusion.
Hemos visto que adT (S) H CH . Ademas, por la definicion, tenemos que S adT (S) H y
como la adherencia de S en H es el menor cerrado de H que contiene S, se tiene
adH (S) adT (S) H.
Recprocamente, sea x adT (S) H, queremos ver que x adH (S). Sea U 0 EH (x), por 5.6
existe U ET (x) tal que U 0 = U H. Como x es un punto de adherencia de S en X tenemos
U S 6= . Ahora bien,
U 0 S = U H S = U S 6= ,
5.2. ADHERENCIA, INTERIOR Y FRONTERA RELATIVA
93
por lo que, x adH (S).

Ejemplo 5.11 Con esta propiedad, podemos calcular facilmente la adherencia de ]0, 1[ en ]0, [ ya
que adTu (]0, 1[) = [0, 1] y por tanto
ad]0,[ (]0, 1[) = [0, 1] ]0, [ = ]0, 1]
ogico y consideremos S H X.Entonces,
intH (S) intT (S) H.
Demostraci
on.
Como antes, intT H es un abierto de H incluido en S. Como intH (S) es el
abierto relativo mas grande incluido en S, se cumple

intT (S) H intH (S).
Ejemplo 5.13 La propiedad de antes no nos ayuda casi para calcular el interior ya que la inclusion
es, en general, estricta.
Consideremos, por ejemplo Q Q R. Como sabemos, intTu (Q) = pero intQ (Q) = Q por
tanto
Q = intQ (Q) 6= intTu (Q) Q = .
ogico y consideremos S H X. Entonces,
Corolario 5.14 Sea (X, T ) un espacio topol
frH (S) frT (S) H
Demostraci
on. Es suficiente recordar
frH (S) = adH (S) intH (S) adT (S) H intT (S) H
= (adT (S) intT (S)) H = frT (S) H.
Ejemplo 5.15 El ejemplo de antes prueba que la inclusion es estricta en general.
94
5.3
Continuidad y subespacios
En la u
ltima parte de este tema veremos el comportamiento de aplicaciones continuas con respecto
a la restriccion del dominio y del rango. Lo veremos tanto para aplicaciones continuas en un punto
como continuas en general. Empezamos con una propiedad que es u
til en diversas situaciones.
ogico y H
X.
Entonces la inclusion
i : (H, TH ) , (X, T ) es continua.

Demostraci
on. Sea A T , como i1 (A) = A H es i1 (A) TH . Luego i es continua.
Veamos que la restriccion o ampliacion del rango es irrelevante para la continuidad.
Propiedad 5.17 Sea f : (X, T ) (Y, T 0 ) una aplicaci
on entre espacios topol
ogicos y sea x0 un
punto en X, supongamos ademas que f (X) H Y . Se cumple que f es continua en x0 si y solo
si f : (X, T ) (H, TH0 ) es continua en x0 .
Demostraci
on.
Supongamos que f es continua en x0 . Para todo U 00 ETH0 (f (x0 )) existe un
entorno U 0 ET 0 (f (x0 )) tal que U 00 = U 0 H. Por ser f continua en x0 existe un V E(x0 ) tal que
f (V ) U 0 . As f (V ) = f (V ) H U 0 H = U 00 .
Por otra parte, si suponemos que f : (X, T ) (H, TH0 ) es continua en x0 , como la inclusion
i : (H, TH0 ) , (Y, T 0 ) es continua en f (x0 ), su composicion f : (X, T ) (Y, T 0 ) tambien es continua
en x0 . (Propiedad 4.8)
Corolario 5.18 Sea f : (X, T ) (Y, T 0 ) una aplicaci
ogicos y sea f (X)
H Y . Se cumple que f es continua si y solo si f : (X, T ) (H, TH0 ) lo es.
Nota 5.19 Por tanto, como hemos hecho siempre, podemos conservar el nombre de las aplicaciones
sin preocuparnos del rango. Por ejemplo, la funcion seno puede ser considerada
sen : (R, Tu ) (R, Tu )
indistintamente.
sen : (R, Tu ) ([1, 1], Tu )
5.3.
CONTINUIDAD Y SUBESPACIOS
95
Figura 5.5
La continuidad de una aplicacion tambien se conserva por restriccion del dominio, pero no por
ampliacion. Ocuparemos el resto del captulo en demostrarlo y ver bajo que supuestos es continua
una aplicacion cuya restriccion es continua.
ogicos y sea x0 H
X. Se cumple que si f es continua en x0 entonces, f |H : (H, TH ) (Y, T 0 ) tambien lo es.
Demostraci
on. Por 5.16 sabemos que la inclusion i : (H, TH ) , (X, T ) es continua en x0 y como
f |H = f i resulta que f |H es continua en x0 .
Corolario 5.21 Sea f : (X, T ) (Y, T 0 ) una aplicaci
ogicos y sea H X.
Se cumple que si f es continua entonces, f |H : (H, TH ) (Y, T 0 ) tambien es continua.
Nota 5.22 Como hemos indicado, la implicacion contraria no es cierta en general. Veamos un
ejemplo.
Sea f : R R definida por
f (x) =
2, si 0 x,
2,
si x < 0.
Evidentemente, f no es continua en 0. Pero, si consideramos H = [0, [, f |H s es continua en 0

por ser constante.
ogicos y sea x0 X.
Entonces, f es continua en x0 si y solo si existe un U , entorno de x0 , tal que f |U : (U, TU ) (Y, T 0 )
es continua en x0 .
96
Demostraci
on. Si f es continua en x0 basta tomar U = X.
Supongamos ahora que existe un entorno U E(x0 ) tal que f |U : (U, TU ) (Y, T 0 ) es continua
en x0 . Sea U 0 un entorno cualquiera de f (x0 ). Por ser f |U continua en x0 existe un V EU (x0 )
tal que f |U (V ) U 0 . Por tanto, existira W E(x0 ) tal que V = W U . Como la interseccion de
dos entornos es un entorno resulta que V E(x0 ) y ademas f (V ) = f |U (V ) U 0 , por tanto, f es
continua en x0 .

ogicos y sea {Ai }iI
S
una familia de subconjuntos abiertos de X tales que X = iI Ai y f |Ai continua para todo i I.
Entonces, f es continua.
Demostraci
on.
Veamos que es continua en todo punto. Sea x X, por ser X =
S
iI
Ai existe
un i0 I tal que x Ai0 . Como Ai0 T , Ai0 es entorno de x y por 5.23 f es continua en x.

ogicos y sea {Ci :
S
i = 1, . . . , n} una familia finita de subconjuntos cerrados de (X, T ) tales que X = ni=1 Ci y f |Ci es
continua para todo i = 1, . . . , n. Entonces, f es continua.
Demostraci
on. Para todo cerrado C 0 en (Y, T 0 ) tenemos
f 1 (C 0 ) = f 1 (C 0 ) X = f 1 (C 0 ) (
n
[
i=1
Ci ) =
n
[
(Ci f 1 (C 0 )) =
i=1
n
[
0
f |1
Ci (C ).
i=1
0
Como para cualquier ndice i = 1, . . . , n es f |Ci continua, sabemos por 4.14 que f |1
Ci (C ) es cerrado
0
1
(C 0 ) es
en (Ci , TCi ). Por ser Ci cerrado en (X, T ) es f |1
Ci (C ) cerrado en (X, T ). Por tanto, f
cerrado en (X, T ), luego por 4.14 f es continua.

La propiedad anterior da una demostracion sencilla de la continuidad de la aplicacion valor
absoluto.
5.3.
CONTINUIDAD Y SUBESPACIOS
97
Ejemplo 5.26 La aplicacion modulo

| | : (R, Tu ) (R, Tu )
x
|x|
es continua ya que |x| = x si x [0, [ y |x| = x si x ] , 0]. Por tanto, | | es continua

restringida a los cerrados [0, [ y ] , 0].
EJERCICIOS TEMA 5
1. Sea (R, Tu ). Cual es la topologa inducida por ella en Z?
2. Sea [0, 1[ ] 1, 1[ subespacios de (R, Tu ). Da ejemplos de abiertos (resp. cerrados) relativos
en [0, 1[ que no lo sean en ] 1, 1[.
3. Sea (X, TD ) un espacio topologico discreto. Prueba que la topologa inducida en H X
tambien es la discreta. Que pasa con las topologa trivial y cofinita?
/ H,
4. Sea (X, Tp ) la topologa del punto particular con p X. Sea H X. Prueba que si p
entonces
(H, (Tp )|H ) = (H, TD )
y si p H, entonces
(H, (Tp )|H ) = (H, Tp )
5. Sea (X, T ) un espacio topologico y H X. Consideremos la topologa inducida TH . Si
tomamos L H, tenemos dos topologas inducidas en L, la inducida por T , TL , y la inducida
por TH , (TH )L . Prueba que coinciden.
6. Consideremos ]0, 1[ como subconjunto de [0, 1[ con la topologa inducida por Tu . Calcula su
adherencia, interior y frontera.
7. Consideremos ]0, 2[ Q como subconjunto de Q con la topologa inducida por Tu . Calcula

la adherencia, interior y frontera.
98

8. En (R, Tu ) consideremos los subconjuntos siguientes, S1 = [0, 1[, S2 = Q [1, 2], S3 =]2, 3] y
M = S1 S2 S3 .
i) Calcula adM (S1 ), adM (S2 ), intM (S2 ), intM (S3 ).
ii) Es S1 entorno de 0 en (R, Tu )? y en (M, Tu |M )?
on de puntos en H.
9. Sea (X, T ) un espacio topologico, H X i {xn }
n=1 una sucesi
olo si {xn }
i) Prueba que {xn }
n=1 es
n=1 es convergente a un punto x0 en (H, T |H ) si y s
convergente a x0 en (X, T ) y x0 H.
ii) Prueba que la sucesion { n1 }
n=1 no es convergente en ]0, +[.
Chapter 6
PRODUCTO DE ESPACIOS
TOPOLOGICOS
A semejanza del tema anterior, en este nos planteamos como definir, de forma natural, una topologa
sobre el producto de espacios, X1 X2 , cuando ambos son espacios topologicos. Es logico que
queramos que el producto de dos abiertos, A1 A2 , sea abierto en el producto, por lo que la primera
cuestion sera ver si forma una topologa el conjunto de elementos de esa forma. En este caso, la
respuesta es no, pues esta claro que la union de dos conjuntos rectangulares no tiene por que
ser un rectangulo, como se ve en la Figura 6.1. Por tanto, esa familia no cumple las propiedades
de una topologa.
Figura 6.1
99
100
CHAPTER 6. PRODUCTO DE ESPACIOS TOPOLOGICOS
De todas maneras, la idea se puede mejorar. Los conjuntos de este tipo (producto de abiertos)
se pueden usar para definir abiertos de la misma forma que se usaban las bolas en espacios metricos.
6.1
Topologa producto
Como en espacios metricos, diremos que un conjunto es abierto cuando para cada punto, contiene
un abierto rectangular de el.
Definici
on 6.1 Sean (X1 , T1 ) y (X2 , T2 ) dos espacios topologicos. Llamamos abierto en la topologa
producto a todo conjunto G X1 X2 , tal que para todo punto (x1 , x2 ) G existen abiertos, A1 T1
y A2 T2 , tales que (x1 , x2 ) A1 A2 G (Figura 6.2).
La familia de todos los conjuntos abiertos la denotamos por T1 T2 y al espacio topologico
(X1 X2 , T1 T2 ) le llamaremos espacio topol
ogico producto.
Figura 6.2
La primera cuestion es dilucidar si la definicion funciona bien.
Propiedad 6.2 Sean (X1 , T1 ) y (X2 , T2 ) espacios topol
ogicos. Entonces, (X1 X2 , T1 T2 ) es un
espacio topol
ogico.
6.1. TOPOLOGIA PRODUCTO
101
Demostraci
on. Veamos que cumple las tres propiedades de topologa.
T1) Evidentemente, y X1 X2 cumplen la definicion.
T2) Supongamos que G, G0 T1 T2 . Para cualquier punto (x1 , x2 ) G G0 tenemos que como
G T1 T2 existen A1 T1 , A2 T2 con (x1 , x2 ) A1 A2 G. Asimismo existen A01 T1 ,
A02 T2 con (x1 , x2 ) A01 A02 G0 . Por tanto,
(x1 , x2 ) (A1 A01 ) (A2 A02 ) G G0 .
Como A1 A01 T1 y A2 A02 T2 , se cumple G G0 T1 T2 .
T3) Sea ahora {Gi : i I} una familia de abiertos de la topologa producto. Si tomamos un
S
punto (x1 , x2 ) iI Gi , existe un j I tal que (x1 , x2 ) Gj . Como Gj T1 T2 , existen Aj1 T1
S
y Aj2 T2 tales que (x1 , x2 ) Aj1 Aj2 Gj . O sea (x1 , x2 ) Aj1 Aj2 iI Gi . Por tanto,
S
iI Gi T1 T2 .
Hay una descripcion alternativa de la topologa producto, que a veces se toma como definicion.
ogicos. Un conjunto G X1 X2 es abierto
en la topologa producto si y solo si existe un conjunto de ndices I y abiertos, Ai1 T1 , Ai2 T2
tales que
G=
(Ai1 Ai2 ).
iI
Demostraci
on. Si G es abierto en T1 T2 , para todo x = (x1 , x2 ) G existen Ax1 T1 y Ax2 T2
tales que x Ax1 Ax2 G. Luego,
G=
[
xG
O sea, G =
xG (Ax1
Ax2 ).
Supongamos ahora que G =
S
iI
{x}
(Ax1 Ax2 ) G.
xG
Ai1 Ai2 , todo punto de G esta en alg

un Aj1 Aj2 satisfaciendo
la definicion de abierto en la topologa producto.

Nota 6.4 Comparemos la definicion de abierto con nuestra primera idea.
102
1. Es evidente, por la definicion, que todo conjunto de la forma A1 A2 con A1 T1 y A2 T2 ,

es abierto en la topologa producto.
2. Como hemos visto, hay muchos conjuntos abiertos en la topologa producto que no son producto
de abiertos, de los cuales los mas sencillos son del tipo del de la introduccion.
Nota 6.5 Es facil generalizar la definicion de topologa producto a un n
umero finito de factores.
Todo lo haremos para el caso de dos factores por simplicidad de notacion, pero las propiedades son
ciertas para la topologa producto T1 T2 . . . Tn .
Veamos ahora que el producto de cerrados tambien produce cerrados en la topologa producto.
Como en el caso de abiertos, esta construccion no nos da todos.
Propiedad 6.6 Sean (X1 , T1 ) y (X2 , T2 ) dos espacios topol
ogicos, C1 cerrado en (X1 , T1 ) y C2 cerrado en (X2 , T2 ). Entonces C1 C2 es cerrado en la topologa producto.
Demostraci
on. Veamos que X1 X2 (C1 C2 ) es abierto en la topologa producto.
Tomando complementarios tenemos (vease la Figura 6.3)
Figura 6.3
X1 X2 (C1 C2 ) = {(x1 , x2 ) : x1 6 C1 o x2 6 C2 } = ((X1 C1 ) X2 ) (X1 (X2 C2 )).

Por lo que X1 X2 (C1 C2 ) es union de dos abiertos de la topologa producto, por lo tanto abierto
en esa topologa.
6.1. TOPOLOGIA PRODUCTO
103
Figura 6.4
Es importante darse cuenta que no es cierto que el complementario de un producto sea el producto
de complementarios. Para comprobarlo simplemente miremos la Figura 6.4 y comparemosla con lo
anterior.
Como antes, el producto de entornos tambien es un entorno en la topologa producto. Como
siempre, esta construccion no nos da todos. Ahora bien, en este caso nos da, al menos, una base de
entornos.
ogicos. Un conjunto U X1 X2 es un
entorno de (x1 , x2 ) en la topologa producto si y solo si hay un U1 entorno de x1 en T1 y un U2
entorno de x2 en T2 , de manera que U1 U2 U .
Demostraci
on.
Si U es un entorno de (x1 , x2 ) en la topologa producto, existe un abierto
G T1 T2 tal que (x1 , x2 ) G U . Por definicion de abierto existen A1 T1 , A2 T2 con

(x1 , x2 ) A1 A2 G. Ahora bien, A1 ET1 (x1 ) , A2 ET2 (x2 ) y, evidentemente, A1 A2 U .
Recprocamente, sea U tal que existen U1 ET1 (x1 ) y U2 ET2 (x2 ) de manera que U1 U2 U .
Por ser entornos, existen A1 T1 con x1 A1 U1 y A2 T2 con x2 A2 U2 . Pero,
A1 A2 T1 T2 y A1 A2 U1 U2 U . Luego U es entorno de (x1 , x2 ) en la topologa producto.
Veamos que este resultado se puede mejorar.

ogicos, B(x1 ) una base de entornos de x1 y
B(x2 ) una base de entornos de x2 . La familia B(x1 ) B(x2 ), definida como
B(x1 ) B(x2 ) = {U1 U2 : U1 B(x1 ) , U2 B(x2 )},
104
es una base de entornos de (x1 , x2 ).

Demostraci
on.
Evidentemente B(x1 ) B(x2 ) es una subfamilia de los entornos de (x1 , x2 ) en la
topologa producto.
Sea U es un entorno de (x1 , x2 ) en la topologa producto, por 6.7 hay un U1 E(x1 ) y U2 E(x2 ),
de manera que U1 U2 U . Aplicando ahora que B(x1 ) y B(x2 ) son bases de entornos de x1 y x2
respectivamente, encontramos elementos B1 B(x1 ) y B2 B(x2 ) tales que B1 B2 U1 U2 U .
Nota 6.9 Ya que toda la familia de entornos de un punto es una base de entornos, si E(x1 ) es la
familia de los entornos de x1 y E(x2 ) es la de los de x2 , la familia E(x1 ) E(x2 ), es una base de
entornos de (x1 , x2 ).
Corolario 6.10 La propiedad 1AN es productiva, esto es, si cada factor es 1AN el producto tambien
lo es.
Demostraci
on.
Es inmediata pues para cada punto (x1 , x2 ) si B(x1 ) = {Un1 : n N} y B(x2 ) =
{Un2 : n N} son bases de entornos, la familia

2
B(x1 ) B(x2 ) = {Un1 Um
: (n, m) N N}
es base de entornos y es numerable ya que, por 0.12, el conjunto N N es numerable.

En el caso que los factores X1 y X2 tengan topologas que provienen de metricas, sobre el producto
X1 X2 se pueden definir dos topologas. La primera es la asociada a cualquiera de las tres metricas
producto, d1 , d2 o d definidas en 1.8 (recordar que las topologas asociadas son la misma, como
vimos en el Ejemplo 2.30) y la seguda la topologa producto de las asociadas a las metricas de X1 y
X2 . Veamos que no existe indeterminacion, pues ambas topologas coinciden.
Propiedad 6.11 Sean (X1 , d) y (X2 , d0 ) espacios metricos. Entonces, la topologa producto Td Td0
es la asociada a cualquiera de las metricas equivalentes d1 , d2
o d .
6.2.
ADHERENCIA, INTERIOR Y FRONTERA EN EL PRODUCTO
105
Demostraci
on. Veamos que Td Td0 = Td , probando la doble inclusion.
Sea G Td Td0 . Para cualquier punto (x1 , x2 ) G existen abiertos, A1 Td y A2 Td0 tales que
(x1 , x2 ) A1 A2 G. Por definicion de topologa asociada a una metrica existen 1 > 0 y 2 > 0
tales que Bd (x1 ; 1 ) A1 y Bd0 (x2 ; 2 ) A2 . Sea = min{1 , 2 }. Se cumple Bd ((x1 , x2 ); ) G y
por tanto G Td .
Supongamos ahora que G Td , para todo punto (x1 , x2 ) G existe un > 0 tal que
Bd ((x1 , x2 ); ) G, pero Bd ((x1 , x2 ); ) = Bd (x1 ; ) Bd0 (x2 ; ).
6.2
Adherencia, interior y frontera en el producto
Veamos que la adherencia es productiva. Lo mismo pasa con el interior pero no con la frontera
aunque la demostracion de estas dos u
ltimas afirmaciones se dejaran como ejercicios.
ogicos, sea S1 X1 y S2 X2 . Se cumple
adT1 T2 (S1 S2 ) = adT1 (S1 ) adT2 (S2 ).
Demostraci
on.
Es conocido que S1 S2 adT1 (S1 ) adT2 (S2 ). Ya que este es cerrado en
(X1 X2 , T1 T2 ), se cumple
adT1 T2 (S1 S2 ) adT1 (S1 ) adT2 (S2 ).
Recprocamente, sea (x1 , x2 ) adT1 (S1 ) adT2 (S2 ). Para cualquier entorno U E(x1 , x2 ) existen
abiertos, A1 T1 , A2 T2 tales que (x1 , x2 ) A1 A2 U , pero A1 S1 6= y A2 S2 6= por
tanto U (S1 S2 ) 6= .

intT1 T2 (S1 S2 ) = intT1 (S1 ) intT2 (S2 ).
106
Corolario 6.14 Sean (X1 , T1 ) y (X2 , T2 ) espacios topol

frT1 T2 (S1 S2 ) = adT1 (S1 ) frT2 (S2 ) frT1 (S1 ) adT2 (S2 ).
Veamos otra propiedad interesante de la topologa producto, que una sucesion converge en ella si y
solo si las sucesiones de las componentes convergen en cada factor. (Figura 6.5)
Figura 6.5
Propiedad 6.15 Sean (X1 , T1 ), (X2 , T2 ) espacios topol
ogicos, sea {(x1n , x2n )}
on de
n=1 una sucesi
puntos de X1 X2 y sea (x1 , x2 ) X1 X2 . Se cumple que {(x1n , x2n )}
n=1 converge a (x1 , x2 ) en el
2
producto si y solo si {x1n }
n=1 converge a x1 en (X1 , T1 ) y {xn }n=1 converge a x2 en (X2 , T2 ).
Demostraci
on.
Supongamos que (x1n , x2n ) (x1 , x2 ) en el producto. Para cualquier entorno,
U1 E(x1 ) tenemos que U1 X2 E((x1 , x2 )) por tanto, existe un n0 tal que si n > n0 es (x1n , x2n )
U1 X2 . As, para cualquier n > n0 es x1n U1 y por tanto x1n x1 en (X1 , T1 ).
De la misma forma se puede probar que x2n x2 en (X2 , T2 ).
Por otra parte, supongamos que x1n x1 en (X1 , T1 ) y x2n x2 en (X2 , T2 ). Para todo entorno
de (x1 , x2 ), U , existen U1 E(x1 ), U2 E(x2 ) tales que U1 U2 U . Por tanto, existen n1 y n2
tales que si n > n1 es x1n U1 y si n > n2 es x2n U2 . Sea n0 = max{n1 , n2 }, se cumple entonces
que para todo n > n0 es (x1n , x2n ) U1 U2 U y por tanto, {(x1n , x2n )}
n=1 converge a (x1 , x2 ) en el
producto.
6.3. CONTINUIDAD Y PRODUCTOS
6.3
107
Continuidad y productos
Como en el caso de la topologa relativa, la topologa producto nos permite relacionar las propiedades
de continuidad de aplicaciones en un producto con las de continuidad de las aplicaciones en los
factores. Antes de entrar en ello veamos una propiedad que se usa mucho posteriormente.
ogicos, las proyecciones
p1 : (X1 X2 , T1 T2 ) (X1 , T1 )
(x1 , x2 )
x1
p2 : (X1 X2 , T1 T2 ) (X2 , T2 )
(x1 , x2 )
x2
son continuas.
Demostraci
on.
Para cualquier A1 T1 se tiene que p1

1 (A1 ) = A1 X2 que es abierto en
(X1 X2 , T1 T2 ), por tanto p1 es continua.

Lo mismo para p2 .
En la siguiente propiedad estudiamos el caso en que el producto de espacios topologicos esta en
el rango de la aplicacion. Es facil ver que una aplicacion, f : X X1 X2 , en un producto viene
dada por dos aplicaciones, f1 , f2 , cada una en uno de los factores, que se obtienen componiendo f
con cada una de las proyecciones. Esto se denota por f = (f1 , f2 ). Relacionemos la continuidad de
f con la de f1 y f2 .
on y x0 un punto de X. Se
Propiedad 6.17 Sea f : (X, T ) (X1 X2 , T1 T2 ) una aplicaci
cumplen que f es continua en x0 si y solo si f1 = p1 f y f2 = p2 f son ambas continuas en x0 .
Demostraci
on. Supongamos que f es continua en x0 . Como las proyecciones p1 y p2 son continuas
en x0 , por composicion de aplicaciones continuas sabemos que f1 y f2 tambien son continuas en x0 .
Supongamos ahora que f1 y f2 son continuas en x0 . Como f (x0 ) = (f1 (x0 ), f2 (x0 )), para cualquier
entorno U E(f (x0 )) existen entornos, U1 E(f1 (x0 )), U2 E(f2 (x0 )) tales que U1 U2 U . Por
continuidad en x0 de f1 y f2 encontramos entornos de x0 , V, W E(x0 ), tales que f1 (V ) U1 y
f2 (W ) U2 (Figura 6.6). Por tanto,
f (V W ) f1 (V W ) f2 (V W ) U1 U2 U
108
Figura 6.6
y f es continua en x0 .
Como siempre, una propiedad sobre continuidad en un punto tiene el correspondiente corolario
sobre continuidad global.
Corolario 6.18 Sea f : (X, T ) (X1 X2 , T1 T2 ) una aplicaci
on. Entonces, f es continua si y
s
olo si f1 y f2 lo son.
Ejemplo 6.19 Sea (X, T ) un espacio topologico. La diagonal
: (X, T ) (X X, T T )
x
(x, x)
es continua ya que = (Id, Id).

Como en el caso de la topologa inducida, la equivalencia no funciona cuando el producto esta en
el dominio. La implicacion es cierta solo en un sentido.
Propiedad 6.20 Sea f : (X1 X2 , T1 T2 ) (X, T ) una aplicaci
on y (a1 , a2 ) X1 X2 , se
cumple que si f es continua en (a1 , a2 ), entonces la aplicaci
on fa1 : (X2 , T2 ) (X, T ) dada por
fa1 (x2 ) = f (a1 , x2 ) es continua en a2 y la aplicaci
on fa2 : (X1 , T1 ) (X, T ) dada por fa2 = f (x1 , a2 )
es continua en a1 .

Demostraci
on.
109
Si denotamos por cta1 : (X2 , T2 ) (X1 , T1 ) la aplicacion constante al punto
a1 , sabemos por 6.18 que (cta1 , Id) : (X2 , T2 ) (X1 X2 , T1 T2 ) es continua. Por tanto, fa1 =
f (cta1 , Id) es continua en a2 .
El mismo tipo de demostracion sirve para fa2 .
Corolario 6.21 Sea f : (X1 X2 , T1 T2 ) (X, T ) una aplicaci

on continua. Entonces para todo
punto a1 X1 es fa1 : (X2 , T2 ) (X, T ) continua y para todo punto a2 X2 es fa2 : (X1 , T1 )
(X, T ) continua.
Ejemplo 6.22 Un ejemplo de que la implicacion contraria del corolario anterior es falsa es la funcion
f:
R2
(x, y)
xy
,
x2 +y 2
(0, 0)
0.
si (x, y) 6= (0, 0),
Para cualquier punto (x, y), tanto fx como fy son continuas pero, en cambio, f no es continua en
(0, 0).
Demostraci
on. Veamos que para cualquier punto y, la funcion
fy : R
f (x, y)
es continua.
Si y 6= 0, la aplicacion es
fy (x) =
(x2
xy
+ y2)
que es continua
Si y = 0, f0 es la aplicacion constante 0 que tambien es continua.
Del mismo modo resulta que para cualquier n
umero real x, fx tambien es continua.
110
En cambio, f no es continua en (0, 0) pues si lo fuera tambien lo sera su composicion con la

diagonal . Pero, como
f (x) =
f (x, x) = 1 , si x 6= 0,
2
f (0, 0) = 0,
no es continua, llegamos a una contradiccion.

Un caso particular en el que la caracterizacion si se logra es cuando dadas dos aplicaciones,
f1 : X1 X10 y f2 : X2 X20 , consideramos su producto f1 f2 : X1 X2 X10 X20 definido por
(f1 f2 )(x1 , x2 ) = (f1 (x1 ), f2 (x2 )).
Propiedad 6.23 Sean f1 : (X1 , T1 ) (X10 , T10 ) y f2 : (X2 , T2 ) (X20 , T20 ) aplicaciones. Se cumple
que
f1 f2 : (X1 X2 , T1 T2 ) (X10 X20 , T10 T20 )
es continua si y solo si f1 y f2 son ambas continuas.
Demostraci
on. Supongamos que f1 f2 es continua, veamos que f1 es continua. Sea x2 un punto
cualquiera de X2 . Como en la demostracion de 6.20, la aplicacion (Id, ctx2 ) es continua y como el
siguiente diagrama es conmutativo
X1 PPP
(Id,ctx2 )
/ X1 X2 f1 f2 / X 0 X 0
1
2
PPP
PPid
PPP
p1
PPP
PP(
X1
f1
p01
/ X0
1
tenemos que f1 = p01 (f1 f2 ) (Id, ctx2 ) es continua por ser composicion de continuas.
El mismo tipo de demostracion funciona para f2 .
Por otra parte, si suponemos que f1 y f2 son continuas se cumple que p01 (f1 f2 ) = f1 p1
es composicion de continuas por tanto continua y p02 (f1 f2 ) = f2 p2 tambien es continua. Por
tanto, por 6.18, f1 f2 = (f1 p1 , f2 p2 ) es continua.
111
EJERCICIOS TEMA 6
1. En (R2 , Tu Tu ) consideremos S = {(x, 0) : x R}. Es S abierto o cerrado?
2. Sean (X, TD ) y (Y, TD ) espacios topologicos discretos. Prueba que la topologa producto, TD
TD , es la topologa discreta. Prueba lo mismo con la topologa trivial.
3. Sean (X, Tp ) y (Y, Tq ) espacios topologicos con la topologa de los puntos particulares p X y
q Y . Prueba que, si ambos conjuntos tienen mas de un punto, la topologa producto Tp Tq
no es la topologa del punto particular T(p,q) . (Ayuda: Sean x X y y Y puntos distintos
de p y q. Prueba que el conjunto {(x, y), (p, q)} es abierto en una de las topologas y no en la
otra).
4. Como en el ejercicio de antes, prueba que el producto de dos topologas cofinitas no es, en
general, la topologa cofinita.
5. Sean (X1 , T1 ) y (X2 , T2 ) espacios topologicos, sea S1 X1 y S2 X2 . Prueba:
(a) intT1 T2 (S1 S2 ) = intT1 (S1 ) intT2 (S2 ).
(b) frT1 T2 (S1 S2 ) = adT1 (S1 ) frT2 (S2 ) frT1 (S1 ) adT2 (S2 ).
(c) Da un ejemplo en el que frT1 T2 (S1 S2 ) sea distinto de frT1 (S1 ) frT2 (S2 ).
6. Sean (X1 , d) y (X2 , d0 ) espacios metricos y sea H X1 X2 . Prueba que un punto (x1 , x2 )
ad(H) si y solo si existe una sucesion, {x1n }
on, {x2n }
n=1 , de puntos de X1 y una sucesi
n=1 , de
2
0
puntos de X2 tales que, {x1n }
n=1 converge a x1 en (X1 , d), {xn }n=1 converge a x2 en (X2 , d ) y
ademas (x1n , x2n ) H para todo n N .

7. Sea (X, d) un espacio metrico. Prueba que la distancia
d : (X X, Td Td ) (R, Tu )
(x, y)
es continua.
d(x, y)
112
8. Denotemos por p1 , p2 la primera y segunda proyeccion de X1 X2 en X1 , X2 respectivamente.

Si (X1 , T1 ) y (X2 , T2 ) son espacios topologicos, prueba que para cualquier abierto en el producto,
G T1 T2 , se tiene p1 (G) T1 y p2 (G) T2 .
9. Sean (X1 , T1 ) y (X2 , T2 ) espacios topologicos, a1 un punto fijo de X1 y a2 un punto fijo de X2 .
Prueba que (X1 , T1 ) es homeomorfo a X1 {a2 } como subespacio topologico de (X1 X2 , T1 T2 )
y que (X2 , T2 ) es homeomorfo a {a1 } X2 como subespacio topologico de (X1 X2 , T1 T2 ).
10. Sea f : (X, T ) (Y, T 0 ) es una aplicacion continua. Prueba que la grafica de f
f = {(x, f (x)) X Y }
con la topologa inducida por la producto es un espacio topologico homeomorfo a (X, T ).
11. Sean (X1 , T1 ) y (X2 , T2 ) espacios topologicos. Prueba que la aplicacion
t : (X1 X2 , T1 T2 ) (X2 X1 , T2 T1 )
dada por t(x1 , x2 ) = (x2 , x1 ) es un homeomorfismo.
Chapter 7
CONEXION
Empieza con este tema la segunda parte de estos apuntes que esta dedicada al estudio de tres
propiedades, dos topologicas y una metrica. La primera de ellas es la conexion.
Un espacio topologico puede ser muy diverso, pero lo primero que deberamos poder decir de
el es si forma un todo o si puede separarse en partes totalmente independientes unas de otras. En
concreto, un espacio topologico se dice conexo si no se puede poner como union de dos conjuntos no
vacos, abiertos y disjuntos.
Figura 7.1
Veamos el siguiente ejemplo (Figura 7.1, izquierda): consideremos el conjunto formado por dos
discos en R2 de centros los puntos (2, 0) y (2, 0) y ambos de radio 1. Dotemos a este conjunto con
la restriccion de la topologa usual de R2 . Dado un punto de uno de los discos, podemos encontrar
una base de entornos del mismo que solo contiene subconjuntos del disco al que pertenece el punto.
Este sera un ejemplo de espacio topologico no conexo.
El espacio topologico formado por uno solo de los discos con la topologa usual es un ejemplo
113
114
CHAPTER 7. CONEXION
de espacio topologico conexo. No se puede distinguir en el ninguna parte que sea independiente del
resto. Tambien sera conexo el subespacio resultante de conectar las bolas anteriores mediante un
subconjunto. (Figura 7.1, derecha).
7.1
Conexi
on
La definicion de espacio topologico conexo se hara introduciendo primero el concepto negativo.

Primero veremos que es una particion por abiertos de un espacio topologico.
Definici
on 7.1 Una partici
on por abiertos, o separaci
on por abiertos, o disconexi
on, de un espacio
topologico (X, T ) es un par de subconjuntos abiertos no vacos, A y B, tales que A B = X y
A B = y se denota por {A, B} .
Definici
on 7.2 El espacio topologico (X, T ) se dice que es conexo si no existe ninguna particion
por abiertos de X. En otro caso, (X, T ) se dice que es un espacio topologico disconexo.
Notese que toda particion por abiertos es tambien, ella misma, una particion por cerrados. Y
viceversa. Podemos, por lo tanto, afirmar la siguiente caracterizacion de conexion.
ogico (X, T ) es conexo si y solo si no existe ninguna partici
on de
Propiedad 7.3 Un espacio topol
(X, T ) por cerrados, o sea no existen un par de subconjuntos cerrados no vacos, C y D, tales que
C D = X y C D = .
Demostraci
on. Sea (X, T ) es un espacio topologico conexo y supongamos que existen dos cerrados
no vacos, C y D, tales que C D = y C D = X. Entonces, A = X C y B = X D es una
particion por abiertos de (X, T ) lo que es contradictorio con el hecho de ser (X, T ) conexo.
Recprocamente, sea ahora (X, T ) un espacio topologico tal que no existe ninguna particion por
cerrados no vacos y supongamos que (X, T ) es disconexo, por tanto, existen dos abiertos no vacos
A y B tales que A B = y A B = X. Entonces, los cerrados C = X A y D = X B forman
una disconexion de (X, T ), lo que nos da una contradiccion.

7.1. CONEXION
115

ogico (X, T ) es conexo si y solo si los u
nicos subconjuntos de X
que son a la vez abiertos y cerrados son el vaco y el total.
Demostraci
on. Sea (X, T ) un espacio topologico conexo y supongamos que existe un subconjunto
abierto y cerrado a la vez, A, y distinto de X y de . Entonces, los abiertos A y X A forman una
particion de (X, T ), lo que es contradictorio con ser (X, T ) conexo.
Recprocamente, supongamos que (X, T ) es disconexo. Existe una particion por abiertos, {A, B}.
Entonces, A = X B es tambien un cerrado distinto de X, lo que nos da una contradiccion.
Cabe recordar que en un espacio topologico arbitrario, la situacion general de las familias de
abiertos y la de cerrados es la que esta representada en la Figura 2.2. O sea, hay conjuntos, ademas
del total y el vaco, que pueden ser a la vez abiertos y cerrados. Acabamos de ver que, en un
espacio topologico conexo, la situacion es la de la Figura 7.2. Los u
nicos conjuntos que estan en la
interseccion de la famlia de abiertos y la de cerrados son el total y el vaco.
Figura 7.2
Ejemplo 7.5 Tras estas caracterizaciones, veamos si son o no conexos los espacios topologicos habituales.
1. Cualquier espacio con la topologa trivial es un espacio topologico conexo. En particular, todo
espacio topologico con un u
nico punto es conexo ya que la u
nica topologa posible para este
conjunto es la trivial.
116
CHAPTER 7. CONEXION
2. Cualquier espacio de mas de un punto con la topologa discreta es un espacio topologico disconexo ya que el par formado por cualquier subconjunto no vaco y distinto del total y por su
complementario forman una particion por abiertos del espacio.
3. Un ejemplo inmediato de disconexo es el siguiente, que ademas sirve de introduccion para
determinar los conexos de la recta real, (R, Tu ):
El subespacio [0, 1[ [2, 3] no es conexo. En efecto el subconjunto [0, 1[ es un abierto de la
topologa relativa ya que
[0, 1[ = ] 1, 1[ ([0, 1[ [2, 3]).
Tambien es un cerrado relativo ya que se puede expresar como
[0, 1[ = [0, 1] ([0, 1[ [2, 3]).
Por tanto, hay un subconjunto abierto y cerrado que no es el total ni el vaco. Luego, el
subespacio no es conexo.
4. Un segundo ejemplo no tan evidente es el siguiente: El subconjunto de los racionales como
subespacio de (R, Tu ), no es conexo. En efecto, tomemos un real no racional, por ejemplo, 2.
El par {] , 2[ Q, ] 2, [ Q} es una particion por abiertos de Q.

La siguiente propiedad es una caracterizacion de conexos que utilizaremos en alguna demostracion
de este manual, en concreto, servira para demostrar, a partir de un conocido teorema de analisis,
que los u
nicos subconjuntos conexos de la recta real son los intervalos.
ogico (X, T ) es conexo si y solo si cualquier aplicaci
on continua de
X en el espacio topol
ogico discreto {0, 1} es constante.
Demostraci
on. Sea (X, T ) un espacio topologico conexo y supongamos que existe una aplicacion
f : (X, T ) ({0, 1}, TD ) continua no constante. Existen dos puntos distintos x 6= y tales que
f (x) = 0 y f (y) = 1. Como {0}, {1} TD , los abiertos A = f 1 (0) y B = f 1 (1) forman una
particion por abiertos de (X, T ), lo que contradice que (X, T ) sea conexo.

7.1. CONEXION
117
Recprocamente, veamos ahora que (X, T ) es conexo. Sea A y B dos abiertos de (X, T ) tales
que A B = X y A B = . Definimos f : (X, T ) ({0, 1}, TD ) mediante f (x) = 0 si x A y
f (x) = 1 si x B. Es continua pues la antiimagen de todo abierto es abierto. Por tanto, f tiene
que ser constante. Esto implica que A = o bien B = , por lo que (X, T ) es conexo.
Una generalizacion de esta propiedad que relaciona conexion con funciones continuas no en un
espacio discreto, sino en la recta real, es la siguiente.
ogico (X, T ) es conexo si y solo si cualquier aplicaci
on continua
f : (X, T ) (R, Tu ) cumple la siguiente propiedad: para todo par de puntos x, y X se tiene que si
c R est
a entre f (x) y f (y), entonces existe z X tal que f (z) = c.
Demostraci
on.
Supongamos que (X, T ) es un espacio topologico tal que existe una funcion
continua f : (X, T ) (R, Tu ) para la cual existen dos puntos x, y X y existe c R que esta
entre f (x) y f (y), pero que no pertenece a f (X). En este caso (X, T ) no es conexo ya que {f 1 (]
, c[), f 1 (]c, +[)} es una particion por abiertos.
Recprocamente, supongamos que (X, T ) cumple la propiedad de la hipotesis. Si no fuera conexo,
entonces, por 7.6, existe una aplicacion continua g : X {0, 1} no constante. Componiendola con
la inclusion de {0, 1} en R, tenemos una aplicacion continua f tal que f (X) = {0, 1}. Por lo tanto,
existen dos puntos x, y X tales que {f (x), f (y)} = {0, 1}, pero, tomando por ejemplo c = 21 , que
esta entre f (x) y f (y), no existe z X tal que f (z) = 21 . Esto esta en contradiccion con lo que
suponamos, por lo tanto, el espacio topologico es conexo.
Veamos que la propiedad de conexion se conserva por aplicaciones continuas.
Propiedad 7.8 Sean (X, T ) y (Y, T 0 ) espacios topol
ogicos con (X, T ) conexo,
y sea
f : (X, T ) (Y, T 0 ) continua, entonces f (X) es conexo.

Demostraci
on.
Sea B un subconjunto de f (X) que es a la vez abierto y cerrado en T 0 f (X) .
Ahora bien, como f : (X, T ) (f (X), T 0 f (X) ) es continua, entonces f 1 (B) sera a la vez abierto y
118
CHAPTER 7. CONEXION
cerrado en T . Como (X, T ) es conexo, entonces, o bien, f 1 (B) = , en cuyo caso, B = , o bien
f 1 (B) = X, y en este caso, como f es suprayectiva en su imagen, B = f (f 1 (B)) = f (X).
Una consecuencia inmediata es que la conexion es una propiedad topologica, o sea, se conserva
por homeomorfismos.
Corolario 7.9 Si (X, T ) y (Y, T 0 ) son espacios topol
ogicos homeomorfos y (X, T ) es conexo, entonces (Y, T 0 ) tambien es conexo.
Nota 7.10 Una consecuencia de esta propiedad es que si f : (X, T ) (Y, T 0 ) es continua y (X, T )
es conexo, entonces la grafica de f es conexa ya que es homeomorfa a (X, T ).
7.2
Subespacios conexos de R
La propiedad 7.7 nos lleva a recordar el teorema de analisis conocido como el primero de Weiertrass.
Normalmente, este teorema se demuestra como una consecuencia directa del siguiente teorema de
Bolzano.
Teorema 7.11 (Teorema de Bolzano) Sea f : [a, b] R una funcion continua tal que f (a) y f (b)
son de signos opuestos. Entonces, existe un n
umero x [a, b] tal que f (x) = 0.
Teorema 7.12 (Teorema de los valores intermedios o primero de Weierstrass) Sea f : [a, b] R
una funcion continua y sea c un n
umero real entre f (a) y f (b). Entonces, existe un n
umero x [a, b]
tal que f (x) = c.
Luego, este teorema nos dice (vease 7.7) que los intervalos de la forma [a, b] son subespacios
topologicos conexos de R. El resultado central de esta Seccion es demostrar que todos los intervalos,
son subespacios conexos y que son los u
nicos subespacios conexos de (R, Tu ) . La definicion de
intervalo esta en 0.3. Para esta Seccion necesitamos la siguiente caracterizacion de ellos:
Lema 7.13 Un subconjunto no vaco S R es un intervalo si y solo si satisface la siguiente
propiedad: Si para todo x, y S y z R tales que x < z < y, entonces z S.
7.2. SUBESPACIOS CONEXOS DE R
119
Demostraci
on. Si S es un intervalo de cualquier tipo, entonces cumple la propiedad del enunciado.
Recprocamente, supongamos que S sea un conjunto que cumple la propiedad del enunciado
propiedad. Sean a = inf S, o a = si S no esta acotado inferiormente, y sea b = sup S, o b =
si S no esta acotado superiormente.
Vamos a demostrar que ]a, b[ S [a, b], donde se incluyen los casos de intervalos con extremos
, , (por ejemplo si a = , entonces [a, b] es el intervalo ], b]), o si a = b entonces ]a, b[ = .
Sea z ]a, b[, entonces inf S = a < z < b = sup S, luego existen x, y S tal que x < z < y. Por
hipotesis, z S.
Por otra parte, sea x S, entonces inf S x sup S, luego x [a, b].
Teorema 7.14 Un subespacio de R es conexo si y solo si es un intervalo.
Demostraci
on. Veamos primero que si S no es un intervalo, entonces S no es conexo. En efecto,
si S no es un intervalo, entonces no cumple la propiedad expresada en el lema anterior, luego existen
x, y S y z R S tales que x < z < y. Entonces
S ] , z[, S ]z, [ forman una particion por abiertos no vacos de S.
Recprocamente, si S es un intervalo, veamos que es conexo. Vamos a demostrarlo por reduccion
al absurdo. Supongamos que no es conexo, entonces, por 7.7, tenemos que existe al menos una
aplicacion continua f : S R tal que existen x y y, x < y, en S tales que f (x) 6= f (y) y existe
c R entre f (x) y f (y) tal que para todo z S, f (z) 6= c. Es decir, existe una funcion continua
f : [x, y] R que no cumple la tesis del teorema de Weiertrass (7.12). Hemos llegado a una
contradiccion. Por tanto, S es conexo.
Ejemplo 7.15 R es conexo ya que es el intervalo ] , [ .
La Propiedad 7.8, junto con el hecho de que los u
nicos subespacios conexos de la recta real son los
intervalos, nos permite recuperar el siguiente resultado de funciones continuas reales de una variable
real que ya conoceis.
Corolario 7.16 Si (X, T ) conexo y f : (X, T ) R es continua, entonces f (X) es un intervalo.
120
7.3
CHAPTER 7. CONEXION
Otras propiedades de la conexi

on
Una propiedad especial de la conexion es que se conserva por adherencia.

Propiedad 7.17 Si H es un subespacio conexo de un espacio (X, T ) y si H S ad(H), entonces
S es conexo.
Demostraci
on.
Lo demostraremos por reduccion al absurdo. Supongamos que S es disconexo,
esto es, existen dos abiertos no vacos, A0 , B 0 TS tales que A0 B 0 = S y A0 B 0 = . Por definicion
de topologa relativa existen A, B T no vacos tales que A0 = A S y B 0 = B S. Se cumple
(A H) (B H) = (A0 H) (B 0 H) = A0 B 0 H =
y
(A H) (B H) = (A0 H) (B 0 H) = (A0 B 0 ) H = S H = H.
Como (H, TH ) es conexo, necesariamente tiene que ser A H = o B H = . Supongamos que es
A H = .
Como A0 es no vaco existira un punto x A0 = A S A ad(H), esto es x A y ademas
x ad(H). Pero esto es imposible, pues A es entorno de x y A H = .
Corolario 7.18 La adherencia de un subespacio conexo es un subespacio conexo.
Ejemplo 7.19 Como aplicacion de la Propiedad, 7.17, se tiene que la grafica de sen( x1 ) union {0}
[1, 1], es conexo (Figura 7.4).
En efecto, la grafica de una funcion continua es conexa y el subconjunto que se le a
nade esta
incluido en la adherencia de la grafica.
Para ver que los puntos de la forma (0, a), con a [1, 1] son puntos de adherencia de la grafica
podemos actuar como sigue: Construiremos una sucesion de puntos de la grafica que sea convergente
al punto (0, a).

7.3. OTRAS PROPIEDADES DE LA CONEXION
121
Figura 7.4
Sea [0, 2[ tal que sin() = a. Para todo k N definimos xk =
1
.
+2k
La sucesion que
buscamos es {(xk , sen( x1k ))}

otese que para xk ,
k=1 . N
sen(
1
) = sen( + 2k) = sen() = a.
xk
Por tanto, la sucesion es

{(
1
, a)}
k=1 ,
+ 2k
1
que es convergente al punto (0, a) ya que la sucesion de las primeras coordenadas { +2k
}
k=1 converge
a 0, y la de las segundas es constante y por tanto convergente.

Veamos ahora el comportamiento de la conexion con respecto a uniones.
ogico y sea {Hi }iI una familia de subespacios conexos
S
tales que existe un i0 I de manera que Hi Hi0 6= para todo i I, entonces H = iI Hi es
conexo.
Demostraci
on. Sean A y B dos abiertos de (H, T |H ) tales que A B = H y A B = . Para cada
ndice i I se cumple AHi , B Hi THi , ademas (AHi )(B Hi ) = y (AHi )(B Hi ) = Hi .
Como Hi es un subespacio conexo tiene que ser A Hi = o bien B Hi = , esto es, Hi B o
bien Hi A.
Supongamos que Hi0 A, como para cualquier ndice i es Hi Hi0 6= tiene que ser Hi A.
S
Por tanto, B sera necesariamente vaco, lo que implica que iI Hi es conexo.
122
CHAPTER 7. CONEXION
Corolario 7.21 Sea (X, T ) un espacio topol

ogico y sea {Hi }iI una familia de subespacios conexos
T
S
tales que iI Hi 6= , entonces iI Hi es conexo.
Corolario 7.22 En particular, si H1 y H2 son dos conexos tales que H1 H2 6= , entonces H1 H2
es conexo.
Ejemplo 7.23 Como aplicacion de la Propiedad 7.20, una escoba es conexa (Figura 7.5, izquierda).
Tambien lo es un peine (Figura 7.5, derecha).
Figura 7.5
Veamos ahora el comportamiento de la conexion con respecto a productos.
Propiedad 7.24 El espacio producto (X1 X2 , T1 T2 ) es conexo si y solo si (X1 , T1 ) y (X2 , T2 )
son conexos.
Demostraci
on. Supondremos X1 y X2 no vacos pues en caso contrario X1 X2 = y la propiedad
es cierta.
Por el ejercicio 6.9, sabemos que para cualquier punto x2 X2 el subespacio topologico X1 {x2 }
es homeomorfo a (X1 , T1 ). Por lo tanto, sera conexo por 7.9. Lo mismo es valido para cualquier
punto x1 X1 y el subespacio {x1 } X2 .
Sea x2 X2 un punto fijo. Podemos escribir X1 X2 como la union (vease Figura 7.6),
[
X1 X2 = (
{x1 } X2 ) (X1 {x2 }).
x1 X1
Por tanto, (X1 X2 , T1 T2 ) es conexo por 7.20.

Una consecuencia inmediata de esta propiedad es lo siguiente.
Corolario 7.25 (Rn , Tu ) es conexo.
7.4. COMPONENTES CONEXAS
123
Figura 7.6
7.4
Componentes conexas
Si un espacio topologico no es conexo, entonces se puede dividir, de una manera que mas tarde
veremos, en subconjuntos que s son conexos. Estos subconjuntos se llaman componentes conexas
del espacio. En el ejemplo inicial, Figura 7.1, cada una de las bolas es una componente conexa.
Definici
on 7.26 Sea (X, T ) un espacio topologico y sea x X. La componente conexa del punto
x en (X, T ), que se denota por Cx , se define como la union de todos los subespacios conexos que
S
contienen al punto x. Es decir, Cx = {C : C es conexo, x C}
Notar que un punto y X pertenece a la componente conexa de otro punto x X si y solo si
existe un subespacio conexo C tal que x, y C.
ogico. Entonces, la componente conexa de cualquier
punto es un subespacio conexo de (X, T ).
Demostraci
on.
Sea x X y Cx una componente conexa. Demostraremos que es un conexo
usando la Propiedad 7.20.

El subespacio {x} es un conexo que cumple que todo conexo C que contiene a x es {x} C =
{x} 6= . Por lo tanto, la union de todos los conexos que contienen a x, Cx , es tambien un conexo.
Lema 7.28 Toda componente conexa de (X, T ) es un absorbente de conexos. O sea, si C es un

subespacio conexo, Cx una componente conexa y C Cx 6= , entonces C Cx .
124
CHAPTER 7. CONEXION
Demostraci
on. El conjunto C Cx es un conexo que contiene a x, por lo que C Cx Cx . Por
tanto C Cx .
Corolario 7.29 Toda componente conexa de (X, T ) es un subespacio conexo maximal de (X, T ).
Maximal en el siguiente sentido: para cada subespacio conexo C, existe una componente conexa Cx
tal que C Cx .
Propiedad 7.30 Toda componente conexa es cerrado.
Demostraci
on. Sea Cx una componente conexa. Por 7.17, ad(Cx ) tambien es conexo. Como corta
a Cx , por 7.28, ad(Cx ) Cx .
Ya que la inclusion contraria siempre se cumple, ad(Cx ) = Cx y Cx es cerrado.
Veamos, con un ejemplo que no tienen por que ser abiertas.
Ejemplo 7.31 Ya hemos visto que Q, como subespacio de (R, Tu ) es disconexo (Ejemplo 7.5.4).
Determinemos ahora cual es la componente conexa de un n
umero racional p.
Los u
nicos subespacios conexos de (R, Tu ) son los intervalos. El u
nico intervalo que solo tiene
puntos racionales y que contiene al punto p es el intervalo degenerado [p, p] = {p}. Por tanto, la
componente conexa de p es {p}, que no es un subconjunto abierto en (Q, Tu ).
Propiedad 7.32 El conjunto de todas las componentes conexas de una espacio topol
ogico (X, T ) es
una partici
on del conjunto X.
Demostraci
on.
Veamos que si C1 y C2 son dos componentes conexas tales que C1 C2 6= ,
entonces C1 = C2 .
En efecto, como C2 es una componente conexa y C1 C2 6= , por 7.28, C1 C2 . Analogamente,
C2 C1 . Luego C1 = C2 .
Nota 7.33 Notar que un espacio topologico es conexo si y solo si tiene una u
nica componente conexa.
POR ARCOS
7.5. CONEXION
125
Ejemplo 7.34 Ya sabemos que la union de los intervalos [0, 1[ y [2, 3] es un subespacio disconexo
de (R, Tu ). Solo tiene dos componentes conexas, a saber: [0, 1[, que es la componente conexa de 0,
y que es la misma que la de cualquier punto del intervalo [0, 1[, y el otro intervalo [2, 3], que es la
componente conexa de cualquier punto del intervalo [2, 3].
Estudiemos ahora el comportamiento de las componentes conexas respecto de las funciones continuas.
on continua y x X. Entonces, f (Cx )
Cf (x) .
Demostraci
on.
Por 7.8, f (Cx ) es un conexo de (Y, T 0 ) que contiene a f (x). Por tanto, f (Cx )
Cf (x) .
Corolario 7.36 Sea f : (X, T ) (Y, T 0 ) un homeomorfismo. Entonces, transforma componentes
conexas en componentes conexas.
Demostraci
on. sea Cx una componente conexa de (X, T ). Hemos visto que f (Cx ) Cf (x) .
Como f 1 es tambien continua y f 1 (f (x)) = x, entonces f 1 (Cf (x) ) Cx . O sea Cf (x) f (Cx ).
Por tanto, Cf (x) = f (Cx ).
Nota 7.37 El n
umero de componentes conexas es invariante por homeomorfismos. En otras palabras, es un invariante topol
ogico.
7.5
Conexi
on por arcos
La primera vision que historicamente se tuvo del concepto de conexion es la que hoy se llama conexion
por arcos. Dado un punto de un espacio topologico uno puede formularse la siguiente cuestion:
Puede alcanzarse cualquier otro punto del espacio topologico mediante curvas que partan desde el
punto dado? Puede el punto moverse de manera continua a cualquier otro punto del espacio?
126
CHAPTER 7. CONEXION
Si la respuesta es afirmativa, entonces el espacio se dice conexo por arcos. Pronto se vio que tal
definicion, que necesita del concepto auxiliar de curva continua, no era adecuada para discriminar
ciertos espacios topologicos de otros. En el lenguaje actual se dira que hay espacios topologicos que
no son conexos por arcos pero que son conexos. Es decir, hay a
un una propiedad mas fina que la de
conexion por arcos, la propiedad llamada conexion, que ya hemos estudiado anteriormente.
Definici
on 7.38 Sea (X, T ) un espacio topologico. Dados dos puntos x, y X un arco de x a y en
(X, T ) es una aplicacion continua : [0, 1] X tal que (0) = x y (1) = y.
Definici
on 7.39 Un espacio topologico (X, T ) es conexo por arcos si cualquier par de puntos de X
puede ser unido por un arco en (X, T ).
Ejemplo 7.40 Rn con la topologa usual, es conexo por arcos. En efecto, si x, y Rn , entonces, la
aplicacion : [0, 1] Rn definida por (t) = (1 t)x + ty es un arco de x a y.
Este ejemplo sugiere definir una clase de subespacios conexos por arcos de Rn . Los que no solo
podemos encontrar arcos que unen cualquier par de puntos, sina que, ademas, el arco puede ser un
segmento de recta. Se les llama subconjuntos convexos.
Definici
on 7.41 Un subconjunto de Rn , X, es convexo si dados dos puntos cualesquiera de X, x, y,
el segmento que los une, Lxy = {tx + (1 t)y : t [0, 1]} es un subconjunto de X.
Ejemplo 7.42 Como ejemplos tenemos que Rn es convexo. Tambien lo son las bolas abiertas o
cerradas para cualquiera de las tres metricas equivalentes, en particular los cubos, que son las bolas
para la metrica d y las bolas eucldeas, que son las bolas para la metrica d2 .
Demostremos que la bola abierta eucldea en Rn , con centro el origen y radio r es convexo. Sean
dos puntos x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) de la bola B(0; r). Veamos que para todo t [0, 1]
tx + (1 t)y B(0; r).
Para eso, calculemos su distancia al origen
n
X
d = d(0, tx + (1 t)y) =
(txi + (1 t)yi )2 .
2
i=1
POR ARCOS
7.5. CONEXION
127
Desarrollando esta expresion usando la desigualdad de Cauchy-Schwarz (1.6) tenemos

d2 = t2
Pn
i=1
x2i + (1 t)2
Pn
i=1
yi2 + 2t(1 t)
t2 r2 + (1 t)2 r2 + 2t(1 t)(
Pn
i=1
x2i ) 2 (
Pn
i=1
Pn
i=1
xi yi
1
yi2 ) 2
t2 r2 + (1 t)2 r2 + 2t(1 t)r2

= (tr + (1 t)r)2 = r2 .
Por tanto tx + (1 t)y B(0; r). Es decir, la bola abierta es convexa.
Ejemplo 7.43 Como ejemplos de conjuntos que no son convexos tenemos la union de los dos ejes
de R2 o los conjuntos con forma de habichuela (Figura 7.7).
Figura 7.7
Tal y como hicimos para demostrar que Rn es conexo por arcos, 7.40, tenemos la siguiente
propiedad.
Propiedad 7.44 Todo subconjunto de Rn convexo es conexo por arcos.
Ejemplo 7.45 Este resultado nos permite asegurar que los subconjuntos del ejemplo 7.42 son connexos por arcos. Por ejemplo, las bolas para las tres metricas d1 , d2 i d3 , tanto abiertas como cerradas,
los conjuntos rectangulares, etc.
Estudiaremos la relacion entre conexion y conexion por arcos. En particular veamos que la
propiedad de ser conexo por arcos es mas fuerte que la de ser conexo.
ogico conexo por arcos es conexo.
128
Demostraci
on.
CHAPTER 7. CONEXION
Sea (X, T ) un espacio topologico conexo por arcos. Supongamos que existe una
particion por abiertos de (X, T ), {A, B}.

Como A 6= y B 6= , sean x A e y B y sea un arco que une x con y. Los subconjuntos
A([0, 1]) y B ([0, 1]) son abiertos no vacos de ([0, 1]). Luego el par { 1 (A([0, 1])), 1 (B
([0, 1]))} es una particion por abiertos de [0, 1]. Esto contradice el que [0, 1] es un subespacio conexo.
Ejemplo 7.47 (Q, Tu ) no es conexo por arcos.

Ejemplo 7.48 (Rn , Tu ) es conexo. Cualquier subconjunto de Rn convexo es conexo.
Hay espacios que s son conexos pero no conexos por arcos como el que indicamos a continuacion.
Es facil convencerse graficamente de que cumple las propiedades, pero omitimos la demostracion por
considerarla excesivamente complicada y sin interes para el desarrollo del tema. De todas formas,
para aquellos que ya esten contagiados por el virus rigor mortis, siempre podran buscar alivio a sus
males en el ejemplo 6.3.5, pagina 101, del libro: Sutherland, W. A., Introduction to Metric and
Topological Spaces, Oxford Science Publications, 1975.
Ejemplo 7.49 El espacio formado por la grafica de sen( x1 ) union {0} [1, 1] (Figura 7.4) no es
conexo por arcos. Este ejemplo tambien sirve como contraejemplo a la afirmacion: La adherencia de
un conjunto conexo por arcos tambien es conexo por arcos. En efecto, el subespacio H definido por
la grafica de sen( x1 ), es conexo por arcos ya que es un espacio topologico homeomorfo a ]0, [ y este
es conexo por arcos. La adherencia de H la calculamos en 7.19 y este espacio no es conexo por arcos.
Para probar la conexion por arcos de un conjunto, muchas veces es u
til la siguiente definicion que
indica como unir dos arcos.
Definici
on 7.50 (Union o producto de dos arcos) Supongamos que 1 , 2 : [0, 1] X son dos arcos
en un espacio topol
ogico (X, T ) que unen x con y e y con z, respectivamente. Entonces : [0, 1] X
POR ARCOS
7.5. CONEXION
129
definido por
(t) =
1 (2t),
t [0, 12 ],
2 (2t 1),
t [ 12 , 1],
es un arco que une x con z. (Figura 7.8)
Figura 7.8
Nota 7.51 La continuidad de la aplicacion es una consecuencia directa de la Propiedad 5.25.

Aplicacion de esta tecnica son los ejemplos siguientes.
Ejemplo 7.52 Una corona circular es conexa por arcos.(Figura 7.9, izquierda).
Ejemplo 7.53 Sea B un conjunto numerable de Rn . Veamos que (Rn B, Tu ) es conexo por arcos.
Sean x, z dos puntos de este espacio. Como el conjunto de rectas que pasan por z es infinito no
numerable, existe una, L, que no contiene ning
un punto de B. Como el conjunto de puntos de dicha
recta, es infinito no numerable, existira un punto y L tal que el segmento Lxy no contiene puntos
de B. El arco dado por la union de los segmentos Lxy y Lyz es un arco en (Rn B, Tu ) que une x
con z. Por tanto, Rn B es conexo por arcos. Como consecuencia, Rn B es conexo. (Figura 7.9,
derecha).
Este resultado nos da una condicion equivalente a la de ser conexo por arcos
ogico (X, T ) es conexo por arcos si y solo si existe un punto
x0 X tal que todo punto y X puede unirse a x0 con un arco en (X, T ).
130
CHAPTER 7. CONEXION
Figura 7.9
Figura 7.10
Ejemplo 7.55 Esta caracterizacion proporciona otra clase importante de conjuntos conexos por
arcos, los conjuntos estrellados. Un subconjunto U de Rn se llama estrellado si existe un punto
x0 U tal que para todo x U , el segmento que une x0 y x, Lx0 x , esta en U . Estos conjuntos,
en general, no son convexos, pero s que son conexos por arcos como consecuencia de la propiedad
anterior.
Hemos visto que la condicion de ser conexo por arcos es mas fuerte que la de ser conexo. La siguiente propiedad dice que, para subconjuntos abiertos de Rn con la topologa usual, ambas condiciones
son equivalentes.
El metodo de demostracion es caracterstico de espacios conexos. Si queremos ver que un espacio
conexo cumple una propiedad, se puede definir el subconjunto de puntos que verifiquen la propiedad,
probar que este subconjunto es abierto, cerrado y no vaco. Como el espacio es conexo, el subconjunto
ha de ser el total.
Propiedad 7.56 Cualquier subespacio abierto y conexo de (Rn , Tu ) es conexo por arcos.
Demostraci
on. Sea U un abierto conexo de Rn . Sea x U , demostraremos que todo punto y de
U se puede unir a x mediante un arco en U .
POR ARCOS
7.5. CONEXION
131
Sea A el subconjunto de puntos de U que se pueden unir a x por un arco. Notemos primero que
A 6= ya que x A.
Veamos que A es abierto. Si y A, como U obert, existe un > 0 tal que B(y; ) U . Sea
z B(y; ), la union del arco que une x a y y el radio que va de y a z, es un arco que une x y z.
(Figura 7.11). (Recordar que las bolas son conjuntos convexos, y por tanto, conexos por arcos.) Por
tanto, B(y; ) A y A es abierto.
Figura 7.11
Veamos que A es cerrado. Si y
/ A, y es un punto de U que no se puede unir a x por un arco.
Pero, como y U y U es abierto, existe > 0 tal que B(y; ) U . Veamos que ning
un punto de
B(y; ) se puede unir a x por un arco. Si existiera un z B(y; ) unible a x por un arco, la union de
este arco y el radio que une z con y sera un arco de x a y que nos dara una contradiccion. (Figura
7.12). Por tanto, existe un > 0 tal que B(y; ) A = y esto implica que A es cerrado.
Como U es conexo y A es no vaco, abierto y cerrado, A tiene que ser todo U . Esto quiere decir
que todos los puntos de U se pueden unir con x mediante un arco. Luego U es conexo por arcos.
EJERCICIOS TEMA 7
1. En el conjunto X = {a, b, c, d, e} consideramos la topologa
T = {X, , {a}, {c, d}, {a, c, d}, {b, c, d, e}}.
Es (X, T ) un espacio topologico conexo? Lo es H = {b, d, e} con la topologa relativa?
2. Estudia la conexion para la topologa cofinita y para la topologa del punto particular.
132
CHAPTER 7. CONEXION
Figura 7.12
3. Sea X un conjunto y sean T1 , T2 dos topologas sobre X. Supongamos T1 T2 . Si alguna de
las siguientes afirmaciones es cierta pruebala. Si es falsa, da un contraejemplo.
a) Si (X, T1 ) es conexo, (X, T2 ) tambien.
b) Si (X, T2 ) es conexo, (X, T1 ) tambien.
4. Di cuales de estos subespacios de R2 son conexos y cuales no:
a) B((1, 0); 1) B((1, 0); 1),
b) ad(B((1, 0); 1)) ad(B((1, 0); 1)),
c) ad(B((1, 0); 1)) B((1, 0); 1),
d) {(y, q) R2 : y [0, 1], q Q},
e) R Q Q R,
f) R2 {(0, 0)}.
5. Sea X = R2 con la topologa usual y sea H la hiperbola definida por la ecuacion x2 y 2 = 1.
Prueba que H es disconexo. (Ayuda: Dib
ujala e intenta dividir R2 de manera adecuada.)
6. Prueba la equivalencia siguiente: Un espacio topologico (X, T ) es conexo si y solo si para todo
A X tal que A 6= y A 6= X se tiene fr(A) 6= . (Ayuda: Ejercicio 7d.)
7. Sea (X, T ) un espacio topologico y H X un subespacio. Sea C X un subespacio conexo
que contiene puntos de H y puntos que no son de H. Prueba que C ha de tener puntos de la
frontera de H. (Ayuda: X = int(H) fr(H) int(X H)).
POR ARCOS
7.5. CONEXION
133
Por que los subconjuntos de R3

H = {(x, y, 0) R3 : x2 + y 2 1}
C = {(0, 0, z) R3 : |z| 1}
no son un contraejemplo de la afirmacion anterior?

8. Encuentra un contraejemplo a la afirmacion: La interseccion de dos subespacios conexos es
conexa.
9. La interseccion de una sucesion decreciente de subespacios conexos no es, en general, conexo.
Sea
H = [0, 3] [0, 3] {(x, 0) R2 : 1 < x < 2}
y para cada n N , sea
An = {(x, y) H : y
1
}.
n
Prueba que An , n N , es una sucesion decreciente de subespacios conexos, tal que la interT
seccion de todos los subespacios, nN An no es conexo. (Ayuda: Dibujar los subespacios.)
10. Prueba que todo subconjunto de una bola eucldea cerrada en R2 que contenga la respectiva
bola abierta es conexo.
11. Halla un contraejemplo a la afirmacion: En todo espacio metrico, toda bola abierta es un
conexo.
12. Sea (X, T ) un espacio topologico y {Hi }iI una familia de subespacios conexos tales que para
S
todo par de ndices i, j I, Hi Hj 6= . Prueba que H = iI Hi es conexo.
13. Sea (X, T ) un espacio topologico y H y H 0 son dos subespacios conexos tales que ad(H)H 0 6= .
Demuestra que H H 0 es conexo.
14. Demuestra que la circunferencia {(x, y) R2 : x2 +y 2 = 1} es un subespacio conexo de (R2 , Tu ).
(Ayuda: Usa continuidad).
134
CHAPTER 7. CONEXION
15. Prueba que la bola unidad es un subespacio conexo de (R2 , Tu ). usando 7.20 y el ejercicio
anterior.
16. Prueba que toda funcion continua f : [0, 1] [0, 1] tiene al menos un punto fijo, es decir, existe
un x0 [0, 1] tal que f (x0 ) = x0 . (Ayuda: Aplica 7.11 a la funcion g(x) = f (x) x.)
17. Calcula las componentes conexas del espacio topologico del Ejercicio 7.1.
18. Sean (X, T ) y (Y, T 0 ) dos espacios topologicos. Denotemos por Cx (resp. Cy ) la componente
conexa del punto x X (resp. y Y ), prueba que la componente conexa del punto (x, y),
C(x,y) , en el espacio topologico producto (X Y, T T 0 ) es el producto de las componentes
conexas, es decir,
C(x,y) = Cx Cy .
19. Prueba que el espacio topologico producto (R, Tu ) ({0, 1}, TT ) es conexo por arcos.
Chapter 8
COMPACIDAD
En este Captulo pretendemos generalizar una propiedad que poseen los intervalos de R de la forma
[a, b]: toda funcion continua, f : [a, b] R, esta acotada. Vamos a ver que condiciones hay que
imponerle a un espacio topologico cualquiera, (X, T ), para que cumpla esto, es decir, que toda
funcion continua f : X R este acotada.
Notese que, por una parte, si existiese una familia finita de conjuntos A1 , . . . , An tales que X =
A1 An y tales que f estuviese acotada en cada Ai , entonces f tambien estara acotada en X.
Por otra parte, siempre podemos hacer una descomposicion de X de la forma X = iI Ai , donde
cada Ai es un abierto de (X, T ) tal que f esta acotada en Ai . En efecto, ya que f es continua, para
cada x X existe Ai entorno abierto de x tal que f (Ai ) B(f (x); 1). Entonces, f esta obviamente
S
acotada en Ai y ademas X = iI Ai .
As pues, una forma de conseguir que se cumpla la propiedad deseada sera que (X, T ) cumpliese
S
que dada cualquier descomposicion por abiertos de la forma X = iI Ai , pudiesemos escoger una
cantidad finita de estos abiertos, Ai1 , . . . , Ain , de forma que X = Ai1 Ain .
135
136
8.1
CHAPTER 8. COMPACIDAD
Espacios topol
ogicos compactos
Definici
on 8.1 Sea X un conjunto y S X. Llamamos recubrimiento de S a una familia A = {Ai :
S
i I} de subconjuntos de X tal que S iI Ai . Un subrecubrimiento es una subfamilia G A,
la cual sigue siendo un recubrimiento de S. Un recubrimiento se dice finito si esta formado por una
cantidad finita de conjuntos. (En particular, S puede ser igual a X en estas definiciones)
En el caso en que (X, T ) sea un espacio topologico, S X y A = {Ai : i I} un recubrimiento
de S tal que cada Ai es un abierto de (X, T ), decimos que A es un recubrimiento abierto de S .
Ejemplo 8.2 Entender el concepto de recubrimiento y las nociones asociadas es fundamental para
entender el resto del tema. Veamos algunos ejemplos.
1. Sea X = R, entonces la familia A = {[n, n]}
n=1 es claramente un recubrimiento de R.
La familia de los intervalos abiertos B = {] n, n[}
en es un recubrimiento (en este
n=1 tambi
caso abierto) de (R, Tu ), pero no es un subrecubrimiento de A, pues ninguno de los elementos
de B esta en A. Un subrecubrimiento de B sera, por ejemplo, el dado por G = {] 2n, 2n[}
n=1 .
Si ahora cogemos una cantidad finita de intervalos cerrados,
C = {[n1 , n1 ], [n2 , n2 ], . . . , [nk , nk ]},
tenemos una subfamilia de A, pero no es subrecubrimiento ya que no es recubrimiento de R.
En efecto,
[n1 , n1 ] [nk , nk ] = [ni0 , ni0 ],
donde ni0 es el maximo de n1 , . . . , nk y por tanto, no es R.
Un ejemplo de subrecubrimiento de A sera, por ejemplo, D = {[2n, 2n]}
n=1 .
2. En un conjunto generico X podemos definir el recubrimiento de X formado por A = {x} xX .

No admite un subrecubrimiento propio, es decir, distinto de el mismo. Si el conjunto X
es infinito, este recubrimiento es infinito, a pesar de que cada uno de los conjuntos que lo

8.1. ESPACIOS TOPOLOGICOS
COMPACTOS
137
componen es un conjunto finito. Ademas, si en X consideramos la topologa discreta, tenemos

un recubrimiento abierto infinito que no admite ning
un subrecubrimiento propio.
Definici
on 8.3 Un espacio topologico (X, T ) se dice compacto si todo recubrimiento abierto de
X admite un subrecubrimiento finito. Esto es, de todo recubrimiento abierto, {Ai : i I}, de
X podemos elegir una cantidad finita de abiertos, i1 , i2 , . . . , in , que siguen recubriendo a X, X =
Ai1 Ai2 Ain .
Nota 8.4 Para entender algo mejor el concepto de compacto, podemos imaginarnos un compacto
como un espacio que tiene una depuradora de abiertos, una maquina en la que cuando introducimos
un recubrimiento abierto de X, la maquina lo depura, es decir, elimina abiertos innecesarios, y deja
una cantidad finita que lo siguen recubriendo (Figura 8.1).
Figura 8.1
Ejemplo 8.5
1. (R, Tu ) no es compacto. En efecto, utilizando el argumento del Ejemplo 8.2.1,
vemos que el recubrimiento abierto {] n, n[}

un subrecubrimiento finito.
n=1 no admite ning
2. Todo espacio topologico trivial es compacto.
3. Todo espacio topologico finito es compacto, ya que solo tiene un n
umero finito de abiertos.
4. Un espacio topologico discreto infinito no es compacto como se deduce facilmente del Ejemplo
8.2.2.
138
5. Todo espacio topologico con la topologa cofinita (X, Tcf ) es compacto. En efecto, sea A =
{Ai }iI un recubrimiento abierto de X. Escogemos uno cualquiera de los abiertos que sea no
vaco, Ai0 A. Entonces, X Ai0 es un conjunto finito, esto es, X Ai0 = {x1 , . . . , xk }.
Ahora bien, cada punto xt pertenecera a uno de los abiertos Ait A, con lo cual tendremos
que X = Ai0 Ai1 Aik .
8.2
Subespacios compactos. Caracterizaci

on de los de R y
de Rn
Vamos a estudiar la compacidad de un subespacio, K X, con la topologa relativa. Veremos que

se puede comprobar usando recubrimientos por abiertos en el total, as como, usando recubrimientos
por abiertos relativos. Recordemos que un abierto relativo en K X es de la forma A0 = A K,
donde A es abierto en X.
ogico (X, T ). Entonces, K es compacto si
Propiedad 8.6 Sea K un subespacio de un espacio topol
y solo si todo recubrimiento de K, por abiertos de (X, T ), admite un subrecubrimiento finito.
Demostraci
on.
Supongamos que K es compacto y sea K
S
iI
Ai , siendo {Ai : i I} una
familia de abiertos de (X, T ). Entonces {Ai K : i I} es un recubrimiento de K por abiertos de

(K, TK ), con lo cual existen abiertos Ai1 , . . . , Ain tales que K = (Ai1 K) (Ain K). De aqu
se deduce que K Ai1 Ain .
Recprocamente, supongamos que de todo recubrimiento de K por abiertos de (X, T ) podemos
extraer un subrecubrimiento finito y queremos ver que K es compacto. Para ello, sea {A0i : i I}
una familia de abiertos de (K, TK ) que recubren K. Entonces, cada abierto A0i se puede escribir de la
forma A0i = Ai K, con Ai abierto en (X, T ) y as se tiene que K iI Ai . Por hipotesis, existiran
Ai1 , . . . , Ain tales que K Ai1 Ain y por lo tanto, K = (Ai1 K) (Ain K) = A0i1 A0in ,
con lo que es compacto, (vease Figura 8.2).
DE LOS DE R Y DE RN
8.2. SUBESPACIOS COMPACTOS. CARACTERIZACION
139
Figura 8.2
Nota 8.7 Usando la propiedad anterior se ve facilmente que todo subespacio compacto K de (R, Tu )
ha de ser acotado. En efecto, el recubrimiento abierto que usabamos para R, {] n, n[}
n=1 es un
recubrimiento de K por abiertos de R. Por la propiedad anterior, ha de existir una cantidad finita
de intervalos ] n1 , n1 [, . . . , ] nk , nk [ recubriendo K, por lo que, K ha de ser acotado.
Nota 8.8 Otra cosa que queremos resaltar sobre subespacios es que el concepto de compacto (a
diferencia de otros conceptos, como abierto o cerrado) es intrnseco, o sea, no depende del espacio
total. Dicho de otra manera, si K X Y , como las topologas relativas en K, como subespacio
de X o como subespacio de Y , coinciden (vease el Ejercicio 5.5), tenemos que, para comprobar si K
es compacto, podemos usar tanto recubrimientos por abiertos del espacio total Y como de X.
Una vez aclarado como estudiar la compacidad en subespacios, vamos a caracterizar, como hicimos
en conexos, los subespacios compactos de (R, Tu ).
Teorema 8.9 (Heine-Borel) Todo intervalo cerrado y acotado, [a, b], en (R, Tu ) es compacto.
Demostraci
on.
Sea A un recubrimiento de [a, b] por abiertos de R. Sea G R el subconjunto
definido por aquellos puntos, x a, tales que [a, x] puede ser recubierto por una subfamilia finita de
A. De esta forma se trata de probar que b G.
Notese que este conjunto G es un intervalo, ya que si x, y G y x z y, entonces z G.
En efecto, si [a, y] puede ser recubierto por una subfamilia finita de A, entonces [a, z] puede ser
recubierto por la misma subfamilia.
Ademas, G 6= , de hecho existe un > 0 tal que [a, a + [ G. Para verlo, notese que a debe
pertenecer a alg
un abierto A de A y que por el hecho de ser abierto [a, a + [ A, para alg
un > 0.
140
Esto implica que [a, x] A y por lo tanto que x G para todo x [a, a + [. Por tanto, las
posibilidades para G son: G = [a, +[, G = [a, g] o G = [a, g[, donde g > a en los dos casos u
ltimos.
En el primer caso, esta claro que b G. En los otros dos, por la observacion anterior, solo hemos
de ver g > b.
Vamos a suponer, para llegar a una contradiccion, que g b. Como g [a, b] y por tanto, g A0
para alg
un A0 A. Como A0 es abierto, ]g , g + [ A0 para alg
un > 0 que ademas podemos
suponer < g a (ya que g > a). Pero por definicion de supremo, existira c G tal que g < c,
de forma que [a, c] esta recubierto por una subfamilia finita {A1 , . . . , An } A. De aqu se deduce
que [a, g + /2] esta recubierto por {A1 , . . . , An , A0 }, con lo cual g + /2 G (Figura 8.3). Pero eso
quiere decir que g + /2 g, llegando a una contradiccion. Por tanto, necesariamente g > b.
Figura 8.3
Propiedad 8.10 Un subespacio cerrado C de un espacio topol

ogico compacto (X, T ) es compacto.
Demostraci
on.
Sea A un recubrimiento de C por abiertos de (X, T ).
Entonces
A {X C} es un recubrimiento abierto de X, del cual extraemos un subrecubrimiento finito,

{A1 , . . . , Ar }. Ahora, para obtener un subrecubrimiento de A para C simplemente consideramos
{A1 , . . . , Ar } {X C}.
Corolario 8.11 Todo subespacio cerrado y acotado de (R, Tu ) es compacto.

Demostraci
on. Sea C un subconjunto cerrado y acotado de R. Por ser acotado, existen n
umeros
reales a, b R tales que C [a, b]. Por 8.9, [a, b] es compacto. Como C es un subconjunto cerrado
de [a, b], es compacto por la propiedad anterior.
DE LOS DE R Y DE RN
141
El recproco de esta propiedad tambien es cierta, no solo para (R, Tu ), sino para todo espacio
metrico (X, d). Mas concretamente, para que un compacto sea cerrado, basta que el espacio sea de
Hausdorff. Veamoslo.
Propiedad 8.12 Todo subespacio compacto, K, de un espacio topol
ogico de Hausdorff, (X, T ), es
cerrado en (X, T ).
Demostraci
on. Vamos a probar que para cada a X K existe un abierto Aa tal que a Aa
X K. De esta forma tendremos que X K es entorno de todos sus puntos, por ello, que es abierto
y por lo tanto, K es cerrado.
Para probar esto, notese que para cada x K, x es distinto de a y por lo tanto, la condicion de
Hausdorff nos asegura que existen abiertos disjuntos Ax y Bx conteniendo a a y x respectivamente
(2.23).
Figura 8.4
Ahora bien, {Bx : x K} es un recubrimiento abierto de K del cual podremos extraer un
subrecubrimiento finito Bx1 , . . . , Bxr , para ciertos x1 , . . . , xr K. Entonces definimos Aa = Ax1
Axr , que trivialmente es abierto y contiene a a. Ademas, si b Aa , entonces para cada
i = 1, . . . , r es b Axi y por lo tanto b
/ Bxi lo cual implica que b
/ K. De esta forma Aa X K
(Figura 8.4).
Ya hemos visto en 8.7 que los subespacios compactos de R son acotados. La misma demostracion
que hicimos, se puede adaptar al caso de subespacios compactos de un espacio metrico.
142
Recordemos que una de las formas de ver que un conjunto H en un espacio metrico (X, d) es
acotado es probar que H B(x; k) para ciertos x X y k > 0. (Vease Propiedad 1.24).
Propiedad 8.13 Todo subespacio compacto K de un espacio metrico (X, d) est
a acotado.
Demostraci
on.
Sea a un punto fijo de X. Entonces para todo x K existe n N tal que
d(x, a) < n. Esto significa que {B(a; n) : n N } es un recubrimiento abierto de K, del cual
podremos extraer un subrecubrimiento finito {B(a; n1 ), . . . , B(a; nr )}. Pero esto implica que
K B(a; n1 ) B(a; nr ) = B(a; n),
siendo n el maximo de n1 , . . . , nr .
Para resumir y enfatizar los resultados anteriores, demos la caracterizacion de los compactos de
la recta real con la topologa usual.
Propiedad 8.14 Un subespacio de (R, Tu ) es compacto si y solo si es cerrado y acotado.
Estudiemos ahora los subespacios compactos de (Rn , Tu ). Tengamos en cuenta que esta topologa
es la topologa producto de (R, Tu ), por lo que, habra que preguntarse cuando un producto de
espacios topologicos es compacto. El siguiente teorema nos indica que la compacidad es productiva.
La demostracion es tpica de la propiedad de compacidad y merece un comentario. Se trata
de transformar, usando la compacidad, una propiedad local en una propiedad global. Es decir,
demostrar que si para todo punto, existe un entorno en el que se cumple una determinada propiedad,
se puede demostrar que la misma propiedad es cierta para todo el espacio.
ogicos,
Teorema 8.15 (La compacidad es una propiedad productiva) Un producto de espacios topol
(X Y, T T 0 ), es compacto si y solo si lo es cada uno de los factores.
Demostraci
on. Si (X Y, T T 0 ) es compacto, veamos que (X, T ) es compacto. Analogamente
se demuestra que (Y, T 0 ) tambien es compacto.
DE LOS DE R Y DE RN
143
Sea A = {Ai }iI un recubrimiento abierto de X. Entonces {Ai Y }iI es un recubrimiento

abierto de X Y . Como X Y es compacto existe un subrecubrimiento finito {A1 Y, . . . , Ar Y },
lo que implica que {A1 , . . . , Ar } es un subrecubrimiento finito de A.
Vamos a probar el recproco. Supongamos que (X, T ) e (Y, T 0 ) son compactos y sea W un recubrimiento abierto de X Y . Denotaremos por G la familia de subconjuntos S X que cumplen que
S Y puede ser recubierto por una cantidad finita de abiertos de W. De esta forma la demostracion
habra acabado si logramos probar que X G. Esto lo vamos a hacer en varios pasos.
PASO 1. La union finita de conjuntos de G tambien pertenece a G.
En efecto, supongamos que S1 , . . . , Sr G. Entonces para cada i = 1, . . . , r existe un subrecubrimiento finito Wi del conjunto Si Y . Obviamente, la union, W1 Wr es un subrecubrimiento
finito de (S1 Y ) (Sr Y ) = (S1 Sr ) Y , con lo cual S1 Sr G.
PASO 2. X G localmente, es decir, para cada x X, existe un abierto Ax G que contiene a x.
Consideremos el punto x fijo en X. Para cada y Y , como W es un recubrimiento de X Y ,
existira Wy W tal que (x, y) Wy . Por definicion de topologa producto podemos encontrar
abiertos Ay , By en (X, T ), (Y, T 0 ) respectivamente, tales que (x, y) Ay By Wy . De esta forma,
la familia {By : y Y } es un recubrimiento abierto de Y y ya que este es compacto existira un
subrecubrimiento finito {By1 , . . . , Byr }. Si entonces definimos
Ax = Ay1 Ayr ,
este conjunto cumple lo requerido (Figura 8.5)
Ax Y = Ax (ri=1 Byi ) = ri=1 (Ax Byi ) ri=1 (Ayi Byi ) ri=1 Wyi .
PASO 3. X G.
Esto es consecuencia inmediata de los pasos anteriores y de la compacidad de (X, T ). En efecto,
por el Paso 2 encontramos un recubrimiento abierto de X de la forma {Ax }xX , con Ax G. Como
X es compacto, existira un subrecubrimiento finito, X = Ax1 Axk . Pero el Paso 1 implica
X G.
144
Figura 8.5
El teorema anterior se extiende facilmente, por induccion, al producto de una cantidad finita de
espacios topologicos, (X1 Xr , T1 Tr ). Una aplicacion de este resultado es que todo
paraleleppedo recto en Rn , o sea, todo subconjunto de la forma [a1 , b1 ] [an , bn ] es compacto
en la topologa usual. En particular, toda bola cerrada, Bd0 (x; ), es compacta.
Teorema 8.16 (Heine-Borel) Un subespacio de (Rn , Tu ) es compacto si y solo si es cerrado y acotado
para la distancia eucldea.
Demostraci
on. Ya sabemos que un compacto en un espacio metrico es cerrado y acotado. Veamos
el recproco. Supongamos ahora que K Rn es cerrado y acotado para alguna de las tres distancias
(y, por tanto, para todas). Como es acotado, existen x Rn y r > 0 con K Bd0 (x; r). Pero, por
la nota anterior, Bd0 (x; r) es compacto. Ya que K es cerrado en Bd0 (x; r), K es tambien compacto
por 8.10.
Nota 8.17 El teorema anterior no es cierto en un espacio metrico cualquiera, notese que depende
de la metrica, no de la topologa, como muestran los ejemplos siguientes:
1. El espacio ]0, 1[ considerado como subespacio de s mismo es cerrado y acotado pero no es
compacto ya que ]0, 1[ no es cerrado en (R, Tu ).
2. Rn con una de las metricas acotadas equivalentes a la metrica eucldea definida en el ejercicio
CON LAS APLICACIONES CONTINUAS

8.3. RELACION
145
2.12 es cerrado y acotado, pero no es compacto, pues la topologa asociada a dicha metrica
acotada coincide con la topologa eucldea.
8.3
Relaci
on con las aplicaciones continuas
En esta Seccion estudiamos propiedades de la compacidad relacionadas con las aplicaciones continuas.
La primera es que, al igual que en conexion, la imagen continua de un compacto es compacto.
Propiedad 8.18 Si f : (X, T ) (Y, T 0 ) es una aplicaci
on continua entre espacios topol
ogicos y
(X, T ) es compacto, entonces f (X) es tambien compacto.
Demostraci
on.
Supongamos que A es un recubrimiento de f (X) por abiertos de (Y, T 0 ). En-
tonces, {f 1 (A) : A A} es un recubrimiento abierto de X. Como (X, T ) es compacto existira un

subrecubrimiento finito {f 1 (A1 ), . . . , f 1 (Ar )}, lo cual implica que {A1 , . . . , Ar } es un subrecubrimiento finito de A para f (X).
Corolario 8.19 La compacidad es una propiedad topol

ogica, es decir, si (X, T ) e (Y, T 0 ) son espacios
topologicos homeomorfos y (X, T ) es compacto, entonces (Y, T 0 ) es tambien compacto.
Corolario 8.20 Sea f : [a, b] R una aplicaci
on continua. Entonces existe un n
umero real c tal
que c = sup{f (x) : x [a, b]}.
Corolario 8.21 Si f : (K, T ) R es una aplicaci
on continua y (K, T ) es compacto, entonces f
alcanza sus extremos en K.
Demostraci
on.
Por 8.18, f (X) es un compacto en R y por tanto, acotado. Ello implica que
existen c = inf f (X) y d = sup f (X). Ademas, como f (X) ha de ser tambien cerrado, c, d f (X),
de manera que existen x, y X tales que f (x) = c y f (y) = d.
146
Corolario 8.22 Sea f : [a, b] R una aplicaci

on continua. Entonces el conjunto imagen, f ([a, b]),
es un intervalo cerrado y acotado, [c, d].
Teorema 8.23 (Continuidad de la funcion inversa) Toda aplicaci
on biyectiva y continua
f : X Y , donde (X, T ) es compacto e (Y, T 0 ) es de Hausdorff, es un homeomorfismo.
Demostraci
on. Indiquemos que para probar que f es un homeomorfismo solo tenemos que probar
que la aplicacion inversa, g = f 1 , es continua.
Veamos en primer lugar que f transforma cerrados de (X, T ) en cerrados de (Y, T 0 ). En efecto,
por 8.10 todo cerrado C X es compacto, con lo cual su imagen f (C) tambien es un compacto por
8.18. Pero hemos visto en 8.12 que todo compacto en un espacio Hausdorff es cerrado.
Probar si la aplicacion inversa g = f 1 es continua lo vamos a hacer ahora usando la caracterizacion de continuidad por cerrados 4.14. Dado un cerrado C X, g 1 (C) = f (C) que es cerrado
por la propiedad que acabamos de probar. Por tanto, f 1 es continua.
Corolario 8.24 Toda aplicaci

on inyectiva y continua f : X Y , donde (X, T ) es compacto e
(Y, T 0 ) es de Hausdorff, determina un homeomorfismo al restringirla de X en f (X).
Ejemplo 8.25 Toda funcion continua y monotona, f
: [a, b] R, admite una inversa,
f 1 : [c, d] [a, b], que es continua. En efecto, veamos que las hipotesis del Corolario se cumplen.
El intervalo [a, b] es un espacio compacto, R es un espacio de Hausdorff, la funcion es continua y,
como es monotona, es inyectiva. Por tanto, f es un homeomorfismo. Por 8.22 la imagen [a, b] por la
aplicacion continua f es de la forma [c, d].
Acabemos esta Seccion viendo que si el dominio de una aplicacion es compacto, los conceptos de
continuidad y de continuidad uniforme coinciden.
Propiedad 8.26 Toda aplicaci
on continua, f : (X, d) (Y, d0 ), entre espacios metricos con (X, Td )
compacto, es uniformemente continua.

8.4. ESPACIOS METRICOS
SUCESIONALMENTE COMPACTOS
147
Demostraci
on. Sea > 0. Dado x X, como f es continua en x, existira x > 0 tal que para todo
y X con d(x, y) < x se cumple d0 (f (x), f (y)) < /2. Sea x0 = x /2 y consideramos el recubrimiento
abierto de X dado por {B(x; x0 ) : x X}, del cual podemos extraer un subrecubrimiento finito
{B(x1 ; x0 1 ), . . . , B(xr ; x0 r )}. Entonces, definimos > 0 como el mnimo de {x0 1 , . . . , x0 r }. Vamos a
ver que este cumple lo requerido.
Sean x, y X tales que d(x, y) < .
Entonces, existe alg

un i {1, . . . , r} tal que
x B(xi ; x0 i ), por tanto, d(x, xi ) < x0 i , con lo cual

d(y, xi ) d(y, x) + d(x, xi ) < + x0 i 2x0 i = xi .
De esta forma tenemos que d0 (f (x), f (xi )) < /2 y d0 (f (y), f (xi )) < /2, por lo tanto
d0 (f (y), f (x)) d0 (f (y), f (xi )) + d0 (f (xi ), f (x)) < .
8.4
Espacios m
etricos sucesionalmente compactos
En este apartado estudiamos una caracterizacion de los espacios metricos compactos usando convergencia de sucesiones que generaliza la usada en (R, Tu ) y, a veces, es mas facil de comprobar.
Esta caracterizacion generaliza una propiedad de los subespacios compactos de (R, Tu ), o sea de los
cerrados acotados. Sea K R compacto, toda sucesion {xn }
a acotada. Por tanto,
n=1 en K estar
tiene una subsucesion convergente, {xnk }
k=1 , a un cierto x R. Pero, como K es cerrado, x K.
Hemos visto que en K, toda sucesion {xn }
on convergente {xnk }
n=1 admite una subsucesi
k=1 . Esta
propiedad, de hecho, caracteriza los compactos en R, y facilita a veces las demostraciones. El objetivo
de esta Seccion es probar que esta caracterizacion es valida para todos los compactos en espacios
metricos.
Definici
on 8.27 Un espacio topologico (X, T ) se dice sucesionalmente compacto si toda sucesion
admite una subsucesion convergente.
148
Ejemplo 8.28 De la observacion anterior queda claro que todo subespacio compacto, K, de (R, Tu )
es sucesionalmente compacto. Un ejemplo de espacio que no es sucesionalmente compacto es ]0, 1].
En efecto, la sucesi
on {1/n}
a en ]0, 1] pero no admite ninguna subsucesi
on convergente.
n=1 est
Para probar que compacto implica sucesionalmente compacto, necesitamos recordar que es un
punto de acumulacion de un subconjunto, S X, en un espacio topologico (X, T ) (Definicion 3.22).
Lema 8.29 Supongamos que x es un punto de acumulacion del conjunto imagen de una sucesi
on,
on que converge a x.
{xn }
etrico (X, d). Entonces, {xn }
n=1 , en un espacio m
n=1 tiene una subsucesi
Demostraci
on.
Designamos por S el conjunto imagen de la sucesion. Notese, en primer lugar.
que para todo > 0, el conjunto (B(x; ) {x}) S debe ser infinito, ya que si este conjunto
estuviese formado por una cantidad finita de puntos, xn1 , . . . , xnr , podramos escoger otro 0 > 0 tal
que 0 < d(x, xni ) para todo i = 1, . . . , r y esto dara (B(x; 0 ) {x}) S = , en contradiccion con
el hecho de que x es de acumulacion de S.
Una vez hecha esta observacion, vamos a construir la subsucesion. Para k = 1, tomando = 1,
existira xn1 B(x; 1). Supongamos que hemos construido xnk B(x; k1 ), con nk > nk1 . Entonces,
1
1
como B(x; k+1
) S es infinito, debe existir xnk B(x; k+1
), con nk+1 > nk . De esta forma, constru1
imos por induccion una subsucesion {xnk }
k=1 que cumple xnk B(x; k ) y que por lo tanto converge
a x por 3.53.
Nota 8.30 Notese que esta Propiedad es cierta no solo en espacios metricos sino tambien para
espacios topologicos que sean 1AN y de Hausdorff.
El segundo Lema que necesitamos para probar el resultado es cierto, en general, para espacios
topologicos.
Lema 8.31 Todo subconjunto infinito, S, de un espacio compacto, (X, T ), tiene al menos un punto
de acumulacion.

149
Demostraci
on. Supongamos que S no tiene puntos de acumulacion, es decir, que para cada x X
existe un entorno Ux tal que (Ux {x}) S = . Como Ux es un entorno de x, existe un abierto,
Ax , tal que (Ax {x}) S = . Entonces, la familia {Ax : x X} es un recubrimiento abierto de
X, del cual podemos extraer un subrecubrimiento finito {Ax1 , . . . , Axr }. Ahora bien,
S = S X = S (Ax1 Axr ) {x1 , . . . , xr }.
Pero esto esta en contradiccion con que S X sea infinito.
Con los dos Lemas anteriores, podemos demostrar una implicacion.
Propiedad 8.32 Todo espacio metrico compacto es sucesionalmente compacto.
Demostraci
on.
Supongamos que (X, Td ) es compacto y sea {xn }

on en X. Si
n=1 una sucesi
llamamos S = {xn : n N } al conjunto imagen de la sucesion, pueden ocurrir dos cosas: que S sea
finito o infinito.
En caso de que S sea finito, debe existir x X que se repite infinitas veces en la sucesion. Todos
estos terminos forman una subsucesion constante que, por lo tanto, es convergente.
Supongamos pues que S es infinito. Como consecuencia de 8.31 S posee un punto de acumulacion
y, por 8.29, una subsucesion convergente.
Corolario 8.33 Toda sucesi
on acotada en Rn con cualquiera de las tres metricas, (d1 , d2 o d ),
tiene una subsucesi
on convergente.
Todo lo que resta de este apartado va dirigido a probar que todo espacio metrico sucesionalmente
compacto es compacto. Por lo tanto, como ya hemos probado 8.32, tendremos que en espacios
metricos los conceptos de compacidad y sucesionalmente compacto equivalen. Para probar esta
implicacion necesitamos algunos conceptos nuevos.
Definici
on 8.34 Decimos que un espacio metrico (X, d) es totalmente acotado o precompacto, si
S
para cada > 0 existe un subconjunto finito S X tal que X = xS B(x; ).
150
Es decir, la definicion de totalmente acotado contiene la misma condicion que la de compacto,

pero no para recubrimientos abiertos genericos, sino solo para los formados por bolas abiertas del
mismo radio, , {B(x; )}xX .
Nota 8.35 De la definicion se deducen inmediatamente las implicaciones:
compacto = totalmente acotado = acotado.
Las implicaciones contrarias son falsas como prueban.
1. El espacio metrico ]0, 1[ con la metrica eucldea es totalmente acotado y no es compacto.
2. El espacio metrico R con la metrica discreta es acotado y no es totalmente acotado, ya que
toda bola con radio 1 contiene solo un punto, su centro.
Veamos la relacion de totalmente acotado con un par de conceptos ya vistos.
Propiedad 8.36 Todo espacio metrico sucesionalmente compacto es totalmente acotado.
Demostraci
on. Supongamos que el resultado no es cierto, es decir, existe un > 0 tal que X 6=
S
on construyendo
xS B(x; ) para todo subconjunto finito S X. Vamos a obtener una contradicci
una sucesion {xn }
n=1 en X de la siguiente forma:
Sea x1 un punto arbitrario de X y supongamos que hemos construido, por induccion, los puntos
x1 , . . . , xr en X de manera que d(xi , xj ) > , para cada i, j r, i 6= j. Entonces, consideramos
S
S = {x1 , . . . , xr } y por hipotesis tenemos que X 6= ri=1 B(xi ; ), con lo cual existe xr+1 X
Sr
on,
i=1 B(xi ; ), esto es d(xr+1 , xi ) > para todo i = 1, . . . , r. De esta forma construimos, por inducci
una sucesion {xn }
n=1 en X que cumple: d(xi , xj ) > , siempre que i 6= j.
Como (X, d) es sucesionalmente compacto, debe existir una subsucesion {xnk }
k=1 convergente a
un punto x X. Pero esto implica que existe k0 N tal que d(x, xnk ) < 2 , para k > k0 . Por lo
tanto,
d(xnk , xnk+1 ) d(xnk , x) + d(x, xnk+1 ) < ,
para k > k0 , en contradiccion con la propiedad anterior.

151
La propiedad de ser totalmente acotado es metrica pero tiene consecuencias topologicas como
vamos a ver.
Propiedad 8.37 Todo espacio metrico totalmente acotado es separable.
Demostraci
on. Recordemos que un espacio topologico es separable si tiene un subconjunto denso
numerable (3.20).
Como es totalmente acotado, para todo n N , existen puntos, {x1n , , xmn n }, cumpliendo
X=
mn
[
1
B(xin ; ).
n
i=1
El conjunto
D = {xin : n = 1, , ; i = 1, , mn }
es numerable, por ser union numerable de conjuntos finitos (0.14). Veamos que es denso.
Sea x X, veamos que es de adherencia de D probando que corta todos los entornos de la base
{B(x; n1 ) : n N }. Para todo n, existe un xin tal que x B(xin ; n1 ). Luego, xin B(x; n1 ) y B(x; n1 )
corta D. Por tanto, ad(D) = X y el espacio es separable.
Definici
on 8.38 Dado un recubrimiento abierto, A, de un espacio metrico, (X, d), llamamos n
umero de Lebesgue para A a todo > 0 con la siguiente propiedad: para cada x X existe A A tal
que B(x; ) A. (Figura 8.6).
Lema 8.39 (Lema de Lebesgue) Si (X, d) es un espacio metrico sucesionalmente compacto, todo
recubrimiento abierto admite un n
umero de Lebesgue.
Demostraci
on. Supongamos que A es un recubrimiento abierto de X para el cual no existe ning
un
n
umero de Lebesgue. Entonces para cada n N existe un punto, xn X, tal que B(xn ; n1 ) 6 A
para todo A A.
152
Figura 8.6
Figura 8.7
Como (X, d) es sucesionalmente compacto, debe existir una subsucesion, {xnk }
k=1 , convergente
a un punto, x X. Ademas, A es un recubrimiento de X, con lo cual existe un A0 A tal que
x A0 . Como A0 es abierto en (X, Td ) existe un m N tal que B(x; m2 ) A0 .
Por otra parte, existira un r0 N tal que xnr B(x; m1 ) para r > r0 . Elegimos r > r0 tal que
s = nr m. Entonces, B(xs ; 1s ) B(x; m2 ), puesto que si d(xs , y) <
d(x, y) d(x, xs ) + d(xs , y) <
1
s
entonces
1
2
1
+ .
m s
m
Pero esto implica que B(xs ; 1s ) A0 , en contradiccion con la eleccion de xs (Figura 8.7).
Teorema 8.40 Todo espacio metrico sucesionalmente compacto es compacto.

153
Figura 8.8
Demostraci
on.
Sea (X, d) un espacio metrico sucesionalmente compacto y sea A un recubri-
miento abierto. Sea > 0 un n

umero de Lebesgue para este recubrimiento. Entonces existe un
recubrimiento finito de X con bolas de radio , {B(x1 ; ), . . . , B(xr ; )}. Pero como cada bola,
B(xi ; ), debe estar contenida en un abierto del recubrimiento, Ai A, tendremos que {A1 , . . . , Ar }
es un subrecubrimiento finito de X.
EJERCICIOS TEMA 8
1. Demuestra que un espacio topologico, (X, T ), es compacto si y solo si para toda familia de
cerrados C = {Ai : i I} tales que iI Ci = existe una subfamilia finita {Ci1 , . . . , Cik } que
cumple Ci1 Cik = .
2. Sea (X, T ) un espacio topologico compacto y supongamos que para cada n N , Cn es un
subconjunto cerrado no vaco y tal que Cn+1 Cn . Prueba que
n=1 Cn 6= .
3. Consideremos el espacio topologico del Ejercicio 2.5 (N , T ) siendo
T = {, N , {1}, {1, 2}, {1, 2, 3}, . . . } .
Demuestra:
(a) (N , T ) no es compacto;
154
(b) toda funcion continua, f : (N , T ) (R, Tu ), debe ser constante y por lo tanto acotada.
(Luego la condicion toda funcion continua en (R, Tu ) es acotada no es una caracterizacion de los compactos.)
4. Sea (X, T ) un espacio topologico. Demuestra que si K, K 0 X son subespacios compactos,

K K 0 tambien es compacto.
5. Sea (X, T ) un espacio topologico de Hausdorff. Demuestra que si {Ki }iI es una familia de
T
subespacios compactos de X, entonces iI Ki tambien es compacto.
6. Cuales de los siguientes subespacios de R o de R2 con la topologa usual son compactos?
Razona la respuesta.
(a) [0, 1[;
(b) [0, +[;
(c) Q [0, 1];
(d) {(x, y) R2 : x2 + y 2 = 1};
(e) {(x, y) R2 : |x| + |y| 1};
(f) {(x, y) R2 : x2 + y 2 < 1};
(g) {(x, y) R2 : x 1, 0 y 1/x}.
7. Sea X un conjunto y T1 , T2 dos topologas sobre X. Supongamos que T1 T2 . De las afirmaciones siguientes, prueba las que sean ciertas y da un contraejemplo de las que sean falsas.
(a) Si (X, T1 ) es compacto, (X, T2 ) es compacto.
(b) Si (X, T2 ) es compacto, (X, T1 ) es compacto.
8. Prueba que el espacio topologico del punto particular, (X, Tp ) (Ejercicio 2.1), es un espacio
topologico compacto si y solo si el conjunto X es finito.

155
9. Da un contraejemplo de las afirmaciones:

(a) En todo espacio metrico, toda bola cerrada es un subespacio compacto.
(b) En todo espacio metrico, ninguna bola abierta es un subespacio compacto.
10. Denotemos, como es normal, por S 1 el subconjunto de R2 que es la circunferencia de centro 0
y radio 1. Prueba:
(a) Para toda funcion continua f : S 1 R existe un punto z S 1 tal que f (z) = f (z).
(Ayuda: define una nueva funcion g(z) = f (z) f (z) y aplica 8.21.)
Una consecuencia curiosa es que sobre todo meridiano terrestre hay siempre dos punts
antipodales con la misma temperatura.
(b) S 1 no es homeomorfo a ning
un subconjunto de R.
11. Sean X, Y dos espacios topologicos compactos y de Hausdorff. Supongamos que existen puntos
x X, y Y , tales que X {x} es homeomorfo a Y {y}. Entonces, X es homeomorfo a Y .
(Ayuda: Considera la aplicacion g : X Y definida por g(x) = y y g|X{x} = f donde f es el
homeomorfismo entre X {x} y Y {y}. Prueba que es homeomorfismo.)
156
Chapter 9
ESPACIOS COMPLETOS
Ya del Analisis de una variable real conoceis el concepto de sucesion de Cauchy, aquella en la cual los
elementos se van acercando unos a otros cada vez mas. La convergencia de este tipo de sucesiones
se remonta a Cauchy. As, podemos recordar el criterio de convergencia que lleva su nombre, Una
sucesion {xn }
umeros reales converge si y solo si para todo > 0 existe un n
umero natural
n=1 de n
n0 tal que para todos m, n > n0 se cumple |xn xm | < .
Este criterio es muy u
til para ver que una sucesion converge aun cuando no tengamos un candidato
razonable para lmite. Eso sucede en muchos desarrollos teoricos y tambien en algunos problemas
practicos.
Ya desde el principio existio interes en estudiar otros espacios metricos que cumplan el mismo
criterio (espacios completos). En este Captulo, veremos que en ellos, se cumplen algunos teoremas
importantes que son ciertos en (R, | |).
Es facil ver que no todo espacio metrico es completo, por ejemplo no lo es (Q, | |). Pero en la
parte final del Captulo se describe un proceso, llamado de completacion, que nos permite considerar
un espacio metrico como subespacio denso de uno completo.
157
158
9.1
CHAPTER 9. ESPACIOS COMPLETOS
Espacios m
etricos completos
Empecemos generalizando el concepto de sucesion de Cauchy y viendo su relacion con la convergencia.

Definici
on 9.1 Una sucesion {xn }
etrico (X, d) es de Cauchy si para todo > 0
n=1 en un espacio m
existe un n0 tal que para todo n, m > n0 se cumple d(xn , xm ) < .
Ejemplo 9.2 Veamos algunos ejemplos de sucesiones de Cauchy.
1. Las u
nicas sucesiones de Cauchy, en un espacio metrico discreto, son casi-constantes (constantes
a partir de un n0 ).
2. Es facil ver que la sucesion { n1 }
n=1 es de Cauchy, tanto en (R, | |) como en (]0, [, | |).
3. La sucesion {n}
n=1 no es de Cauchy en (R, | |).
Nota 9.3 Resaltemos algunos puntos importantes.
1. El concepto de sucesion de Cauchy depende de la metrica d, no del subespacio de X donde
esta la sucesion {xn }
n=1 , como se ve en el Ejemplo anterior, apartado 2.
2. Ser de Cauchy es un concepto metrico, no topologico, ya que no se conserva por aplicaciones
continuas. Por ejemplo, consideremos la aplicacion continua
f : ]0, [ R
x
1
,
x
la sucesion { n1 }
n=1 es de Cauchy en ]0, [, pero su imagen, {f ( n )}n=1 = {n}n=1 , no lo es en
(R, | |).
Veamos que una parte del criterio de Cauchy es cierta en general.
etrico, (X, d), converge a un punto x,
Propiedad 9.4 Si una sucesi
on, {xn }
entonces {xn }
n=1 es de Cauchy.

COMPLETOS
Demostraci
on.
159
Para todo > 0 existe un n0 cumpliendo d(xn , x) <
para todo n > n0 . Luego
para todo n, m > n0 tenemos

d(xn , xm ) d(xn , x) + d(x, xm ) <

+ =
2 2
Ejemplo 9.5 La implicacion contraria es falsa en general. La sucesion { n1 }

n=1 en ]0, [ es de Cauchy
pero no es convergente, (vease Ejercicio 5.9).
Ha llegado el momento de dar nombre a los espacios metricos que cumplen el criterio de Cauchy.
Definici
on 9.6 Un espacio metrico es completo si toda sucesion de Cauchy es convergente.
Ejemplo 9.7 Veamos un ejemplo de espacio completo y otro que no lo es,
1. Todo espacio metrico discreto es completo.
2. ]0, [ no es completo pues como vimos en 9.5 la sucesion { n1 }
n=1 es de Cauchy y no es convergente.
Nota 9.8 Por tanto, la completitud no es una propiedad topologica ya que (R, | |) y (]0, [, | |) son
homeomorfos pero el primero es completo y el segundo no.
Veamos un Lema aparentemente tecnico que proporciona muchos ejemplos de espacios metricos
completos.
on de Cauchy tal que existe una subsucesi
on {xnk }
Lema 9.9 Si {xn }
n=1 es una sucesi
k=1 que conen a x.
verge a x, entonces la sucesi
on {xn }
n=1 converge tambi
on de Cauchy, para cualquier > 0 existe un n1 tal que
Demostraci
on. Por ser {xn }
n=1 una sucesi
para todo n, m > n1 se cumple d(xn , xm ) < 2 . Por ser convergente la subsucesion existe un k0 tal
que para todo k > k0 se cumple d(xnk , x) < 2 .
160
Sea n0 = sup(n1 , nk0 ), entonces para todo n > n0 consideremos k > k0 tal que nk > n1 , por tanto
d(xn , x) d(xn , xnk ) + d(xnk , x) <

+ =
2 2
y la sucesion {xn }
n=1 converge a x.
Es crucial la siguiente propiedad metrica de toda sucesion de Cauchy.
on, {xn }
etrico, (X, d), es de Cauchy, el conjunto
Propiedad 9.10 Si una sucesi
imagen {xn : n = 1, , } es acotado.
Demostraci
on. Tomemos = 1, por ser de Cauchy existe n0 tal que si m, n > n0 es d(xn , xm ) < 1.
Sea c = max{d(x1 , xn0 ), , d(xn0 1 , xn0 ), 1}. Para todo n se cumple d(xn , xn0 ) c
Propiedad 9.11 El espacio Rn con cualquiera de las tres metricas, d1 , d2 o d es completo.
Demostraci
on. Sea {xn }
on de Cauchy. Por 9.10, su conjunto imagen esta acotado.
n=1 una sucesi
Ahora bien, por 8.33 existe una subsucesion de {xn }
n=1 convergente. Aplicando el Lema anterior,
(9.9), la sucesion {xn }
n=1 es convergente.
Propiedad 9.12 Todo espacio metrico compacto es completo.
Demostraci
on. Sea (X, d) un espacio metrico compacto y {xn }
on de Cauchy en X.
n=1 una sucesi
Por ser (X, Td ) compacto, existe una subsucesion de {xn }

n=1 , {xnk }k=1 , convergente. Por el Lema
9.9, {xn }
en lo es.
n=1 tambi
La implicacion contraria no es cierta en general pero se cumple si a
nadimos otra hipotesis, la de ser
totalmente acotado. La demostracion siguiente es complicada pero es ilustrativa de la construccion
de la subsucesion diagonal.
Propiedad 9.13 Todo espacio metrico completo y totalmente acotado es sucesionalmente compacto,
(por tanto, compacto.)

COMPLETOS
161
Demostraci
on. Sea (X, d) un espacio metrico completo y totalmente acotado, sea {xn }
n=1 una
sucesion en X. Construiremos, inductivamente, una subsucesion que sea una sucesion de Cauchy en
(X, d).
Como (X, d) es totalmente acotado (8.36), X es union finita de bolas de radio 1/2. Luego una de
esas bolas contiene infinitos valores de la sucesion. Por tanto, existe una subsucesion, {x1n }
n=1 , de
{xn }
n=1 tal que para todo n, m se cumple
d(x1n , x1m ) < 1.
Supongamos que ya tenemos, para i = 1, 2, , k 1, subsucesiones, {xin }
n=1 , tales que para
todo n, m,
1
d(xin , xim ) < .
i
Por ser (X, d) totalmente acotado, podemos suponer que X es una union finita de bolas de radio
1/2k. Una de ellas contiene infinitos valores de la subsucesion {xk1

, existe una subsucesion,
n }n=1 . As
k1
{xkn }
n=1 , de {xn }n=1 tal que para todo n, m se cumple
d(xkn , xkm ) <
1
.
k
Consideremos la subsucesion diagonal, {xnn }

on de {xn }
n=1 . Es una subsucesi
n=1 y cumple que
para cada > 0, si n0 > 1/, para todo m, n > n0 , los puntos xnn , xm
on
m pertenecen a la subsucesi
{xnn0 }
n=1 y por tanto
d(xnn , xm
m) <
1
< .
n0
lo que hemos hecho prueba que la subsucesion, {xnn }

n=1 , es de Cauchy y por ser (X, d) completo,
{xnn }
n=1 ha de ser convergente. Luego, (X, d) es sucesionalmente compacto.
Veamos ahora que el comportamiento de la completitud con los subespacios es muy similar al de
la compacidad.
Propiedad 9.14 Todo subespacio cerrado de uno completo es completo.
162
Demostraci
on. Sea (X, d) un espacio metrico completo y sea H X cerrado. Veamos que (H, dH )
tambien es completo.
Sea {xn }
on de Cauchy en H. Evidentemente, tambien es sucesion de Cauchy en X.
n=1 una sucesi
Por tanto, converge a un punto x en X. Por ser H cerrado tiene que ocurrir que x H y {xn }
n=1
converge a x en H.
Propiedad 9.15 Todo subespacio completo de uno metrico es cerrado.
Demostraci
on. Sea (X, d) un espacio metrico y sea H X tal que (H, dH ) es completo. Veremos
que H es cerrado viendo que contiene a todos sus puntos de adherencia. Tomemos x ad(H),
on,
entonces existe una sucesion en H, {xn }
n=1 , que converge a x. Por ser convergente la sucesi
{xn }
on {xn }
n=1 , es de Cauchy, tanto en X como en H. Como (H, dH ) es completo la sucesi
n=1
converge en H a un punto x0 . Pero (X, d) es un espacio metrico, por tanto tiene que ser necesariamente
x = x0 . Luego, x H.
Como aplicacion (Q, | |) no es completo pues no es cerrado en (R, | |).
9.2
Algunos teoremas sobre espacios completos
Vamos a generalizar a espacios metricos completos algunos resultados que son conocidos para (R, | |).
El primer teorema que probaremos es la generalizacion, a espacios metricos, del teorema de los
intervalos encajados de R que afirma que dada una sucesion decreciente de intervalos cerrados de R,
[an+1 , bn+1 ] [an , bn ] [a1 , b1 ]
existe un punto com
un a todos ellos. Ademas, si la sucesion de n
umeros reales, {bn an }
n=1 , converge
a 0, los intervalos tienen un u
nico punto en com
un.
Este teorema es muy u
til en (R, | |) y muchos resultados (por ejemplo el teorema de Bolzano) se
pueden probar usandolo.
En la version general del Teorema se usa la nocion de diametro de un subconjunto, (S), definida
en 1.26.
9.2. ALGUNOS TEOREMAS SOBRE ESPACIOS COMPLETOS
163
Teorema 9.16 (Teorema de Cantor ) Sea (X, d) un espacio metrico completo y {Cn }
on
n=1 una sucesi
decreciente de cerrados en X, no vacos y tales que la sucesi
on de sus diametros converge a 0. Entonces,
n=1 Cn es exactamente un punto.
Demostraci
on. Sea {xn }
on en X de modo que xn Cn para cada n N .
n=1 una sucesi
Veamos que es una sucesion de Cauchy. Como los diametros de Cn forman una sucesion que tiende
a 0, se tiene que para todo > 0 existe un n0 N tal que (Cn ) < para todo n > n0 . Por tanto,
como sabemos que si n, m > n0 ocurre que xn , xm Cmax{n,m} se tiene, d(xn , xm ) < (Cmax{n,m} ) <
y la sucesion es de Cauchy.
Figura 9.1
Por ser (X, d) completo, existe x X tal que la sucesion {xn }
n=1 converge a x. Por tanto, se
cumple para todo p N que lim{xn }np = x, (Ejercicio 3.10). Como Cp es cerrado y {xn }np Cp
tiene que ser x Cp . Por tanto, x
n=1 Cn .
Veamos que dicho punto es u
nico. Si suponemos que existe otro punto y
n=1 Cn se tiene
d(x, y) (Cn ) para todo n N y como sabemos que lim (Cn ) = 0 tiene que ser d(x, y) 0, pero
como d es una distancia necesariamente d(x, y) = 0. Por tanto x = y.
Es muy facil probar que en cualquier espacio topologico la interseccion finita de subconjuntos
abiertos y densos es denso, (Ejercicio 3.3b). En general, esta afirmacion es falsa si la interseccion de
164
abiertos densos es infinita. El teorema de Baire nos dice que si el espacio es metrico completo, la
afirmacion anterior es cierta para familias numerables de abiertos densos.
Teorema 9.17 (Teorema de Baire) Sea (X, d) un espacio metrico completo y sea {An }
n=1 una
sucesi
on de abiertos en X tales que An es denso para cada n N . Entonces se cumple
n=1 An es
denso.
Demostraci
on.
Por 3.18 es suficiente que probemos que todo abierto no vaco de X, A, corta a
amoslo.
n=1 An . Ve
Como A1 es denso, A A1 es un abierto no vaco y por tanto existe un punto, x1 A A1 , y un
n
umero real, 1 < 1, tales que
B 0 (x1 ; 1 ) A A1 .
Como B(x1 ; 1 ) es un abierto no vaco y A2 es denso resulta que B(x1 ; 1 ) A2 es abierto no vaco y
por tanto existe un punto, x2 B(x1 ; 1 ) A2 , y un n
umero real, 2 < 21 , tales que
B 0 (x2 ; 2 ) B(x1 ; 1 ) A2 A A1 A2 .
As, inductivamente construimos una sucesion de bolas (Figura 9.2), {B(xn ; n )}
n=1 , cumpliendo
para cada n N que n <
1
n
y B 0 (xn ; n ) A A1 . . . An .
La familia de cerrados {(B 0 (xn ; n ))}

otesis del Teorema de Cantor, por tanto,
n=1 cumple la hip
0
existe un punto x X tal que
n=1 B (xn ; n ) = {x}.
Figura 9.2
9.2. ALGUNOS TEOREMAS SOBRE ESPACIOS COMPLETOS
165
As, x A (
n=1 An ) y n=1 An es denso.
Corolario 9.18 Sea (X, d) un espacio metrico completo y {Cn }

on de cerrados en X
n=1 una sucesi
tales que int(Cn ) = para cada n N . Entonces, se cumple que int(
n=1 Cn ) = . En particular,
n=1 Cn 6= X.
Nota 9.19 El teorema de Baire tiene muchas aplicaciones en Analisis que escapan de los lmites de
este curso. Por ejemplo, se demuestra que el conjunto de funciones, f : [0, 1] R, continuas y no
derivables en ning
un punto es denso en el espacio de todas las funciones continuas, C([0, 1]), con la
metrica d .
El u
ltimo teorema que veremos es del punto fijo de Banach, para ello necesitamos introducir el
concepto de contraccion.
Definici
on 9.20 Una aplicacion, f : X Y , entre dos espacios metricos, (X, d) e (Y, d0 ), es una
contracci
on si existe una constante, 0 < c < 1, tal que para todo par de puntos distintos x, y X se
cumple,
d0 (f (x), f (y)) < cd(x, y).
Nota 9.21 Es muy facil ver que toda contraccion en una aplicacion uniformemente continua.
Ejemplo 9.22 La aplicacion
[1, +[ [1, +[
x 7
x
es una contraccion con constante 12 .
Teorema 9.23 (Teorema de Banach o del Punto Fijo) Sea (X, d) un espacio metrico completo y sea
f : X X una contracci
on. Entonces, existe un u
nico punto, x X, que es fijo por f .
166
Demostraci
on.
La forma de demostracion es coger un punto del espacio y construir la sucesion
de las imagenes iteradas. Esta sucesion converge a un punto fijo. Luego probaremos la unicidad.
Sea x0 un punto cualquiera de X. Si x0 es fijo (f (x0 ) = x0 ) ya lo tenemos, si no lo es definimos,
inductivamente, la siguiente sucesion
x1 =
f (x0 )
x2 =
..
.
f (x1 )
= f (f (x0 ))
xn = f (xn1 ) = f n (x0 )
..
.
Veamos que es una sucesion de Cauchy. Como f es una contraccion existe una constante, 0 < c < 1,
tal que d(f (x), f (y)) cd(x, y), para cualquier pareja de puntos, x, y X. Por tanto, para cualquier
r N tenemos que
d(xr , xr1 ) = d(f (xr1 ), f (xr2 )) cd(xr1 , xr2 ) cr1 d(f (x0 ), x0 ),
por tanto, si m > n, se cumple
d(xm , xn ) d(xm , xm1 ) + d(xm1 , xn )
d(xm , xm1 ) + d(xm1 , xm2 ) + d(xm2 , xn )
..
.
d(xm , xm1 ) + + d(xn+1 , xn )
(cm1 + + cn )d(x1 , x0 )
= cn (cmn1 + + 1)d(x1 , x0 )
d(x1 , x0 )
= cn (cmn1 + + 1) 1c
1c
mn )
= cn (1c1c
<
cn
1c
d(x1 , x0 )
d(x1 , x0 ).
Como 0 < c < 1, la sucesion {cn }

n=1 converge a 0. Entonces, para cualquier > 0 existe un n0
tal que si n > n0 , es cumple cn < (1 c) d(x1,x0 ) , por tanto, si m, n > n0 es, d(xm , xn ) < y la sucesion
on converge a alg
un punto, x X.
{xn }
n=1 es de Cauchy. Como (X, d) es completo dicha sucesi
DE UN ESPACIO METRICO
9.3. COMPLETACION
167
Como f es continua sabemos que la sucesion de las imagenes {f (xn )}

n=1 converge a f (x). Ahora
bien, para cualquier n

umero natural, n, tenemos que f (xn ) = xn+1 y por tanto {f (xn )}
n=1 = {xn }n=2 ,
la cual converge a x, por lo que necesariamente tiene que ser f (x) = x, esto es, x es un punto fijo.
Veamos ahora que dicho punto fijo es u
nico. Si existiera otro punto fijo, y, se cumplira que
d(x, y) = d(f (x), f (y)) cd(x, y), pero 0 < c < 1, por tanto, d(x, y) = 0 y tiene que ocurrir x = y.
Como ejemplo curioso si cogemos la contraccion del ejemplo anterior (9.22) y realizamos el proceso
de construccion de la sucesion con una calculadora (cogemos un n
umero mayor que 1 y calculamos,
iteradamente, races cuadradas positivas) veremos que el resultado converge rapidamente a 1. En la
Figura 9.3 se ve una representacion grafica de la sucesion y su lmite.
Figura 9.3
9.3
Completaci
on de un espacio m
etrico
Parece intuitivo pensar que cuando los puntos de una sucesion se aproximan unos a otros tanto
como queremos, es porque lo hacen alrededor de un punto al que tienden. Como hemos visto,
en muchos casos, este lmite no existe. El espacio no esta completo. Parece normal intentar
completarlo agregando esos lmites que faltan. Este proceso se llama completacion. Describimos
una a continuacion.
168
Queremos resaltar que la completacion que construimos, quiza es la mas directa, pero presupone
la existencia de los n
umeros reales.
), siendo,
Definici
on 9.24 Llamamos completaci
on de un espacio metrico, (X, d), a un par, (X,
un espacio metrico completo y : X X
d)
una isometra de X en un subconjunto denso de
(X,
X.
Ejemplo 9.25 (R, | |) es una completacion de (Q, | |).
Vamos a construir una completacion y a probar que es, esencialmente, u
nica.
Teorema 9.26 Sea X un conjunto cualquiera. Entonces,
B(X, R) = {f : X R : f es acotada}
es un espacio metrico completo con la distancia
d (f, g) = sup{|f (x) g(x)| : x X}.
Demostraci
on.
Hemos visto que es un espacio metrico en el Ejemplo 1.11. Solo falta ver que es
completo.
Sea {fn }
on de Cauchy en (B(X, R), d ). Para todo x X se cumple que {fn (x)}
n=1 una sucesi
n=1
es una sucesion de Cauchy en (R, | |) .
Como (R, | |) es completo se tiene que {fn (x)}
n=1 converge a un punto que llamamos f (x). Esto
define una funcion, f : X R.
Veamos que la sucesion {fn }
n=1 converge a f .
Para todo > 0 existe n0 N tal que
d (fn , fm ) <
Si fijamos n1 > n0 se cumple d (fn1 , fm ) <

m > n0 se tiene |fn1 (x) fm (x)| < 2 .
para todo
n, m > n0 .
para todo m > n0 . Luego, para todo x X y todo
9.3. COMPLETACION
169
Tomando lmites se tiene

|fn1 (x) f (x)|
< .
2
Por tanto, d (fn1 , f ) < , o sea {fn }

n=1 converge a f .
Veamos ahora que f B(X, R), esto es, que f esta acotada. Dado > 0 cualquiera, siempre
podemos encontrar un ndice, n, tal que, para todo x X se cumple |f (x) fn (x)| < . Ademas, fn
esta acotada, por lo tanto, existe un n
umero real, k, tal que |fn (x)| < k para todo x X. As, para
todo x X se tiene
|f (x)| = |f (x) fn (x) + fn (x)| |f (x) fn (x)| + |fn (x)| < + k.
O sea f esta acotada.
Ahora construyamos una inmersion del espacio metrico (X, d) en (B(X, R), d ).
Tomemos p X un punto fijo. Para cada punto a X podemos definir la funcion, fa : X R,
como fa (x) = d(x, a) d(x, p). Esto nos da una aplicacion, : X B(X, R), mediante, (a) = fa ,
que veremos que es una isometra.
Propiedad 9.27 Sea (X, d) un espacio metrico y p X un punto fijo. Entonces es una isometra.
Demostraci
on.
Lo primero que probaremos es que esta bien definida, esto es, que para todo
a X, fa esta acotada.
Para todo x X se cumple, como consecuencia de la desigualdad triangular (Ejercicio 1.1),
|fa (x)| = |d(x, a) d(x, p)| d(a, p),
por tanto, fa B(X, R).
Para comprobar que es una isometra calculamos
d (fa , fb ) = sup{|fa (x) fb (x)| : x X}
= sup{|(d(x, a) d(x, p)) (d(x, b) d(x, p))| : x X}
= sup{|d(x, a) d(x, b)| : x X}
d(a, b).
170
Por otra parte,

sup {|d(x, a) d(x, b)| : x X} |d(a, a) d(a, b)| = d(a, b).
En consecuencia, d (fa , fb ) = d(a, b) y por tanto es una isometra.
Corolario 9.28 Para todo espacio metrico, (X, d), existe completaci
on.
= ad((X)) por tanto, (X,
) es la completacion de (X, d).
Demostraci
on. Sea X
Hasta aqu hemos probado la existencia de completacion para todo espacio metrico. En el resto
del Captulo veremos que la completacion es u
nica salvo isometras.
Teorema 9.29 (Teorema de Extension Uniforme) Sean (X, d) e (Y, d0 ) dos espacios metricos con
(Y, d0 ) completo. Sea D X un subconjunto denso y f : D Y una isometra (resp. aplicaci
on
uniformemente continua), entonces existe una u
nica extension, f : X Y , que es isometra (resp.
uniformemente continua)
Demostraci
on.
La demostracion de los dos casos empieza igual. Sea x X, escogemos una
sucesion {xn }
n=1 en D de modo que converja a x.
En ambos casos, la sucesion {f (xn )} es de Cauchy, luego es convergente. Llamemos f(x) a este
lmite.
Veamos que es independiente de la sucesion. Para ello, tomemos otra sucesion, {yn }
n=1 , en D
y llamemos f0 (x) al lmite de {f (yn )}
on {zn }
n=1 . Construyamos la sucesi
n=1 tal que z2n = yn y
z2n1 = xn . Esta claro esta sucesion converge tambien a x . Como antes, sus imagenes forman una
sucesion de Cauchy que converge a un valor f00 (x). Ya que tanto {f (xn )}
n=1 como {f (yn )}n=1 son
00
0
subsucesiones de {f (zn )}
n=1 , convergen al mismo valor. O sea, f (x) = f (x) = f (x) y hemos visto
que el valor de la funcion no depende de la sucesion elegida.
Una vez visto que la definicion es independiente de la sucesion escogida, podemos afirmar que f
es una extension de f , ya que si x D, la sucesion constante {xn = x}
n=1 es convergente a x, luego,
f(x) = f (x).
9.3. COMPLETACION
171
0
Sean x, x0 dos puntos de X y tomemos sucesiones {xn }
n=1 y {xn }n=1 en D tales que lim xn = x y
lim x0n = x0 . Se tiene, f(x) = lim f (xn ) y f(x0 ) = lim f (x0n ). A partir de aqu los dos casos divergen:
A) Si f es una isometra se tiene
d0 (f(x), f(x0 )) = d0 (lim f (xn ), lim f (x0n ))
= lim d0 (f (xn ), f (x0n ))
= lim d(xn , x0n )
= d(lim xn , lim x0n )
= d(x, x0 ).
Con lo que f tambien es una isometra.
B) Si f es uniformemente continua veamos que f tambien lo es.
Para todo > 0 existe un > 0 tal que si d(a, a0 ) < es d0 (f (a), f (a0 )) < 3 , para todo par
a, a0 D. Consideremos 3 . Por densidad de D se cumple que para todo par de puntos x, x0 X
existen puntos, a, a0 D tales que d(a, x) <

se cumple d0 (f (a), f(x)) <
y d(a0 , x0 ) < 3 . Por tanto, usando la definicion de f,
y d0 (f (a0 ), f(x0 )) < 3 .
As, d(a, a0 ) < d(a, x) + d(x, x0 ) + d(x0 , a0 ) < . Luego, d0 (f (a), f (a0 )) <
y, aplicando la
desigualdad triangular,
d0 (f(x), f(x0 )) d0 (f(x), f (a)) + d0 (f (a0 ), f (a)) + d0 (f (a0 ), f(x0 )) < .
Hemos demostrado que dado > 0 existe 0 = /3 tal que si d(x, x0 ) < 0 se cumple d0 (f(x), f(x0 )) <
, es decir, que f es uniformemente continua.
Nota 9.30 Este teorema es falso si la aplicacion, f , solo es continua. Como contraejemplo, la
aplicacion
]0, [ R
x
no admite extension a [0, [.
1
x
172
Corolario 9.31 La completaci

on de un espacio metrico es u
nica salvo isometra.
EJERCICIOS TEMA 9
1. Demuestra que la metrica del valor absoluto y la metrica
1 1
d(x, y) = | |
x y
en ]0, 1[ son equivalentes pero que la sucesion {1/n}
n=1 es de Cauchy respecto de la primera y
no lo es respecto de la segunda.
2. Sea {xn }
on de Cauchy en (X, d), y sea, f : (X, d) (Y, d0 ), una aplicacion unin=1 una sucesi
formemente continua. Prueba que {f (xn )}
on de Cauchy.
n=1 es una sucesi
3. Sea (X, d) un espacio metrico completo y sean C, C 0 subconjuntos de X. Prueba que si C y
C 0 son completos, C C 0 tambien lo es.
4. Cuales de los siguientes subespacios de R o R2 , con las metricas eucldeas, son completos?
(a) S = [0, 1[;
(b) S = { n1 : n 1} {0};
(c) S = Q [0, 1];
(d) S = {(x, y) R2 : x 1, 0 y 1/x}.
5. Sea (X, d) un espacio metrico, definimos la siguiente metrica sobre X (Ejercicio 1.3)
d02 (x, y) = mn {1, d(x, y)}.
Prueba que (X, d) es completo si y solo si (X, d0 ) lo es.
6. Sea f : (X, d) (Y, d0 ) un homeomorfismo que ademas es uniformemente continuo. Prueba
que si (Y, d0 ) es completo entonces, (X, d) tambien lo es.
7. Sean (X, d) e (Y, d0 ) dos espacios metricos,
9.3. COMPLETACION
173
(a) Prueba que la identidad de X Y es un isomorfismo uniforme cuando sobre X Y

consideramos cualquiera de las tres metricas, d1 , d2 o d . Entonces, si X Y es completo
con una de ellas tambien lo es con las otras.
(b) Prueba que una sucesion {(xn , yn )}
olo si {xn }
n=1 en (X Y, d ) es de Cauchy si y s
n=1
0
es de Cauchy en (X, d) y {yn }
n=1 es de Cauchy en (Y, d ).
(c) Prueba que los espacios metricos (X, d) e (Y, d0 ) son completos si y solo si (X Y, d ) es
completo.
8. El Teorema de los Conjuntos Encajados necesita todas las hipotesis:
(a) Espacio metrico completo.
Prueba que {]0, n1 ]}
on de conjuntos cerrados de ]0, 1[ cuyos
n=1 es una sucesi
diametros convergen a 0 y cuya interseccion es el vaco.
(b) Conjuntos cerrados.
Prueba que {]0, n1 [}
on de conjuntos abiertos en R cuyos diametros conn=1 es una sucesi
vergen a cero y cuya interseccion es el vaco.
(c) Sucesion de diametros convergente a 0.
Prueba que {[n, [}
on decreciente de conjuntos cerrados en R cuya
n=1 es una sucesi
interseccion es el vaco.
9. Demuestra la implicacion inversa del Teorema de los Conjuntos Encajados. O sea, un espacio
metrico (X, d) es completo si para toda sucesion decreciente de cerrados, {Cn }
os y
n=1 , no vac
T
tales que la sucesion de sus diametros converge a 0, tiene interseccion no vaca, n=1 Cn 6= .
10. Prueba que Q no cumple el teorema de Baire. Deduce que con ninguna metrica que induzca
la topologa eucldea, Q puede ser completo.
11. El Teorema de Banach necesita ambas hipotesis
174

(a) Completitud
La aplicacion, f :]0, 13 []0, 13 [, dada por, f (x) = x2 , es una contraccion y no tiene punto
fijo.
(b) Contraccion
La aplicacion, f : [1, [ [1, [, dada por, f (x) = x + x1 , cumple |f (x) f (y)| < |x y|
y no tiene punto fijo.
12. Los teoremas de existencia de punto fijo no son privativos de los espacios completos. Sea
f : (X, d) (X, d) una aplicacion donde (X, d) es un espacio metrico compacto tal que para
todo x 6= y X se cumple d(f (x), f (y)) < d(x, y). Prueba que f tiene un u
nico punto fijo.
(Ayuda: Considera el punto x X tal que la distancia d(x, f (x)) sea mnima.)

To Polo Gia Metric As Basic A

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

To Polo Gia Metric As Basic A

Cargado por

Copyright:

Formatos disponibles

Contents

Definicion y ejemplos de espacios metricos . . . . . . . . . . . . . . . . . . . . . . . .

Bolas. Conjuntos acotados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Abiertos. Propiedades de los conjuntos abiertos . . . . . . . . . . . . . . . . . . . . .

Definicion y ejemplos de espacios topologicos . . . . . . . . . . . . . . . . . . . . . . .

El primer axioma de numerabilidad y la condicion de Hausdorff . . . . . . . . . . . .

3 PUNTOS ESPECIALES EN UN ESPACIO TOPOLOGICO

Puntos frontera. Puntos interiores . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Caracterizacion por sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Continuidad uniforme e isometras . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Adherencia, interior y frontera relativa . . . . . . . . . . . . . . . . . . . . . . . . . .

6 PRODUCTO DE ESPACIOS TOPOLOGICOS

Topologa producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100

Adherencia, interior y frontera en el producto . . . . . . . . . . . . . . . . . . . . . . 105

Continuidad y productos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

Subespacios conexos de R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

Otras propiedades de la conexion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120

Componentes conexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

Conexion por arcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

Espacios topologicos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136

Subespacios compactos. Caracterizacion de los de R y de Rn . . . . . . . . . . . . . . 138

Relacion con las aplicaciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . 145

Espacios metricos sucesionalmente compactos . . . . . . . . . . . . . . . . . . . . . . 147

Espacios metricos completos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158

Algunos teoremas sobre espacios completos . . . . . . . . . . . . . . . . . . . . . . . . 162

Completacion de un espacio metrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167

CHAPTER 0. CONOCIMIENTOS PREVIOS

por los elementos que pertenecen a alg

U = {x : existe U U tal que x U }

Ui = {x : existe i0 I tal que x Ui0 }.

No es difcil ver que cumplen distributividad una respecto a la otra.

Asimismo, recordemos que el complementario de un subconjunto A de X es el conjunto formado

0.1. CONJUNTOS Y APLICACIONES

f (A) = {y Y : existe x A, y = f (x)}.

f 1 (B) = {x X : f (x) B}.

CHAPTER 0. CONOCIMIENTOS PREVIOS

Tambien existen relaciones entre las imagenes inversas y los complementarios.

si p N , {xn }np tambien es subsucesion.

CHAPTER 0. CONOCIMIENTOS PREVIOS

Para ello construimos una aplicacion suprayectiva : N N N definida por

Esta claro que la aplicacion as definida es biyectiva, con lo que N N es numerable.

CHAPTER 0. CONOCIMIENTOS PREVIOS

es una aplicacion suprayectiva, con lo que S es numerable.

Corolario 0.15 El conjunto de los n

tivos. Por la Propiedad anterior (0.14) tambien lo es Z que es su union.

Veamos que la numerabilidad tambien se conserva por productos finitos.

es una aplicacion suprayectiva.

Corolario 0.17 El conjunto de los n

En este apartado recogemos las propiedades de los n

CHAPTER 0. CONOCIMIENTOS PREVIOS

Como es sabido, todo n

Para terminar consideraremos propiedades de nfimos y supremos de conjuntos de n

CHAPTER 0. CONOCIMIENTOS PREVIOS

Sea a = inf{xi : i I}. Para todo i I se cumple a xi , luego tambien se

cumple a yi . Por la definicion del nfimo, a inf{yi : i I}.

Como ejemplo de una igualdad que no se conserva tenemos la siguiente propiedad.

CHAPTER 0. CONOCIMIENTOS PREVIOS

Veamos la definicion de espacio metrico y algunos ejemplos.

(M2) La distancia es simetrica:

Y EJEMPLOS DE ESPACIOS METRICOS

La siguiente relacion de ejemplos ilustra la existencia de diferentes metricas sobre un mismo

d2 (x, y) = ((x1 y1 )2 + (x2 y2 )2 ) 2 ,

Y EJEMPLOS DE ESPACIOS METRICOS