1 PDF

Captulo 1
Preliminares
Vamos a ver en este primer captulo de preliminares algunos conceptos, ideas y propiedades que
seran muy utiles para el desarrollo de la asignatura. Se trata de resultados sobre conjuntos, aplica-
ciones, numerabilidad y propiedades de los numeros reales.
1.1 Conjuntos
Supondremos conocidos algunos conceptos basicos sobre conjuntos: union, interseccion, diferen-
cia, etc... No obstante intentaremos fijar algunas ideas recordando varios resultados interesantes.
Recordemos que utilizaremos, como es habitual, la siguiente notacion para algunos conjuntos de
numeros que son basicos.
N sera el conjunto de los numeros naturales o enteros positivos.
Z sera el conjunto de los numeros enteros.
Q sera el conjunto de los numeros racionales.
R sera el conjunto de los numeros reales.
C sera el conjunto de los numeros complejos.
Definicion 1.1.1 (Familia de conjuntos). Una familia de conjuntos A sera un conjunto cuyos
elementos son, a su vez conjuntos. Los representaremos con letras mayusculas caligraficas y se
pueden expresar a traves de un conjunto de ndices I de la siguiente forma:
A = {Ai : i I}
1
2 CAPITULO 1. PRELIMINARES
Definicion 1.1.2 (Union e interseccion de una familia). Dada una familia de conjuntos A =
{Ai : i I} definimos:
Union de la familia A como el conjunto de todos los elementos que pertenecen a alguno de
los conjuntos de A y lo representaremos de las dos maneras siguientes:
[
A = {x : existe A A tal x A}
[
Ai = {x : existe i I tal x Ai }
iI
Interseccion de la familia A como el conjunto de todos los elementos que pertenecen a

todos los conjuntos de A y lo representaremos de las dos maneras siguientes:
\
A = {x : x A para todo A A}
\
Ai = {x : x Ai para todo i I}
iI
Proposicion 1.1.3 (Propiedad distributiva). Sea {Ai : i I} una familia de conjuntos y B un

conjunto. Entonces:
ST T S
1. B ( iI Ai ) = iI (B Ai )
TS S T
2. B ( iI Ai ) = iI (B Ai )
Demostracion. -
ST S
(1) Si x B ( iI Ai ), supongamos que x B, entonces x B Ai , para todo i I,
T S T
por tanto x iI (B Ai ). Si ahora suponemos que x / B, sera x iI Ai , luego x Ai
S
para todo i I lo que implica que x B Ai para todo i I y por tanto esta en la interseccion
T S
iI (B Ai ) de todos ellos.
T S S
Sea x iI (B Ai ), entonces x B Ai para todo i I; si x B tenemos que
ST T
x B ( iI Ai ) y si x / B sera x Ai para todo i I, por tanto x iI Ai lo que lleva a
ST
que x B ( iI Ai )
(2) Se realiza de forma analoga.
Definicion 1.1.4 (Complementario). Dado A E, definimos el complementario de A en X

como el conjunto X r A = {x X : x / A} de los elementos de X que no son elementos de
A. Si el contexto esta suficientemente claro designaremos al complementario de A en X como
Ac = X r A.
1.2. APLICACIONES 3
Esta claro que (Ac )c = A
Proposicion 1.1.5 (Leyes de Morgan). Sea {Ai : I I} una familia de subconjuntos Ai X,

i I. Entonces
1. ( ii Ai )c = ii Aci o bien X r ( ii Ai ) = ii (X r Ai )
S T S T
2. ( ii Ai )c = ii Aci o bien X r ( ii Ai ) = ii (X r Ai )
T S T S
Demostracion. Vamos a ver la demostracion de la propiedad 1). La 2) se hara de forma analoga.
Si x ( ii Ai )c , entonces x
/ Ai para todo i I, por tanto x Aci para todo i I, luego
S
c
T
x ii Ai .
Si x ii Aci , x / ii Ai , por tanto x ( ii Ai )c .

T S S
/ Ai para todo i I, luego x
Definicion 1.1.6 (Diferencia de conjuntos). Dados dos conjuntos A y B, definimos la diferencia

de A y B como el conjunto A r B = {x : x A y x / B} de los elementos de A que no son
elementos de B.
Proposicion 1.1.7. Sean A, B X, entonces se verifican:
Bc
T
1. A r B = A
T
2. A r (A r B) = A B
T
3. A r (A B) = A r B
4. Para la diferencia de conjuntos se verifican las Leyes de Morgan.

! !
[ \ \ [
(a)B r Ai = (B r Ai ) (b)B r Ai = (B r Ai )
iI iI iI iI
1.2 Aplicaciones
Un concepto tan importante y basico como el de conjunto, y que tambien es conocido, es el de

aplicacion entre conjuntos. Vamos a repasar algunas ideas y resultados sobre aplicaciones.
Definicion 1.2.1 (Aplicacion). Una aplicacion entre los conjuntos X e Y es una correspondencia
entre ellos tal que, a cada punto de X le hace corresponder uno y solo un punto de Y . La
representaremos de la siguiente manera
f
f : X Y, o bien , X Y
Una aplicacion, f : X Y , esta dada por un conjunto de pares ordenados, y puede entenderse
como un subconjunto del producto cartesiano X Y , de la forma siguiente:
(f ) = {(x, y) : x X, y = f (x) Y } X Y,
que se denomina la grafica de f o el grafo de f . Este conjunto debe cumplir que para todo elemento
x X existe un unico elemento y Y tal que (x, y) (f ). Este y se llama la imagen de x por
f , y se representa por y = f (x).
Definicion 1.2.2 (Imagen e imagen inversa). Si A X, el conjunto imagen de A, es el subcon-

junto
f (A) = {y Y : existe x A, y = f (x)} Y
formado por todas las imagenes f (x) tales que x A.
Si B Y , la imagen inversa de B es el subconjunto
f 1 (B) = {x X : f (x) B} X
formado por aquellos elementos tales que su imagen pertenece a B.
Si y Y , se usara la notacion f 1 (y) = f 1 ({y}), pero observese que es un subconjunto de X

y no un punto.
Conviene tener en cuenta que el smbolo f 1 (B) es simplemente una notacion de un conjunto.
No hay que cometer el error de suponer que f 1 indica que la aplicacion f tiene una aplicacion
inversa.
Proposicion 1.2.3. Sea f : X Y una aplicacion entre conjuntos y sean los subconjuntos
A X y B Y . Entonces
1. A f 1 (f (A)),
2. f (f 1 (B)) B.
Demostracion. -
(1) Si x A, entonces y = f (x) f (A) Y , luego x f 1 (f (A)).
(2) Si y f (f 1 )(B)), entonces f (x) = y para algun x f 1 (B), luego f (x) B, pero como
la imagen de cada x es unica, f (x) = y B.
Ejemplo 1.2.4. Las inclusiones anteriores no son ,en general, igualdades.

1.2. APLICACIONES 5
(1) Consideremos la parabola f : R R, f (x) = x2 .

[
f (f 1 (([1, 2])) = [ 2, 1] [1, 2].
(2) Consideremos el seno de x, f : R R, f (x) = sen x.
f (f 1 ([2, 2])) = [1, 1].
Las imagenes y las imagenes inversas respecto de la union y de la interseccion de familias de

conjuntos tienen las siguientes propiedades.
Proposicion 1.2.5. Sean f : X Y una aplicacion entre conjuntos y las familias de subcon-
juntos {Ai X : i I} y {Bj Y : j J}. Entonces
S S
1. f ( iI Ai ) = iI f (Ai ),
T T
2. f ( iI Ai ) iI f (Ai ),
3. f 1 ( jJ Bj ) = jJ f 1 (Bj ),
S S
4. f 1 ( jJ Bj ) = jJ f 1 (Bj .
T T
5. f (A r B) f (A) r f (B)
Ejemplo 1.2.6. Este ejemplo muestra que las inclusiones (1) y (5) de la proposicion anterior no
son, en general, igualdades.
Consideremos los conjuntos A = [1, 2] [1, 2] y B = [1, 2] [3, 4] de R2 y la proyeccion

1 : R2 R, definida como 1 (x, y) = x. Entonces tenemos que
1 (A) 1 (B) = [1, 2] [1, 2] = [1, 2], pero 1 (A B) = 1 () =
Por otra parte
1 (A r B) = 1 (A) = [1, 2], pero 1 (A) r 1 (B) = [1, 2] r [1, 2] =
Hay relaciones entre las imagenes inversas de los complementarios y el complementario de las
imagenes inversas. As se tiene:
Proposicion 1.2.7. Sea f : X Y una aplicacion entre conjuntos y sea B Y . Entonces

f 1 (Y r B) = X r f 1 (B).
Ejemplo 1.2.8. No se verifica ninguna relacion entre las imagenes y los complementarios.
Si consideramos f : R R, definida como f (x) sen x, tenemos que f ([0, ]c ) = [1, 1] y, sin
embargo [f ([0, ])]c = [0, 1]c = (, 0) (1, +)
S

Un tipo especial de aplicaciones que se utilizaran con frecuencia son las sucesiones. Una sucesion
en X es una aplicacion : N X. Es costumbre representar la sucesion como {xn } n=1 donde
xn = (n).
Es conveniente distinguir una sucesion de su conjunto imagen. Una sucesion siempre tiene in-
finitos terminos, pero su conjunto imagen no tiene por que ser infinito. Por ejemplo, la sucesion
{1, 0, 1, 0, ...} tiene como conjunto imagen el {0, 1}.
La ultima definicion de este apartado es la de subsucesion de una sucesion {xn }

n=1 . Dada una
aplicacion estrictamente creciente : N N donde (k) = nk , se define la subsucesion
asociada como la composicion
: N X
es decir, es la sucesion {xnk }
n=1 .
1.3 Numerabilidad
En esta seccion, y salvo que se diga lo contrario, X va a representar un conjunto no vaco.
Definicion 1.3.1 (Conjunto finito). Diremos que X es un conjunto finito si existe un numero
natural n 6= 0 y una aplicacion biyectiva
: {1, 2, ..., n} X
Definicion 1.3.2 (Conjunto infinito numerable). Diremos que X es un conjunto infinito numer-
able si existe una aplicacion biyectiva : N X.
Definicion 1.3.3 (Conjunto numerable). Diremos que X es un conjunto numerable si es, o bien
finito, o bien infinito numerable. Si X no es numerable, se dice que es infinito no numerable.
Proposicion 1.3.4. Todo subconjunto A N de los numeros naturales es numerable.
Demostracion. Si A N es finito el resultado es evidente.
Supongamos que A N no es finito. Definimos entonces la aplicacion : N A de la

siguiente manera, (0) es el menor elemento de A; (1) sera el menor elemento de A tal que
(1) 6= (0), as sucesivamente (p) sera el menor elemento de A tal que (p) 6= (0) 6= (1) 6=
6= (p 1).
1.3. NUMERABILIDAD 7
Si existe p tal que ya no podemos hacer lo anterior, es decir (p) (0) . . . (p 1) es que
A ya no tiene mas elementos y, por tanto es finito, con lo cual hemos acabado. En caso contrario
podremos continuar y para cada p N existe (p) A, (p) 6= (i) para i < p. Evidentemente
es biyectiva y (p) p.
En ocasiones, en lugar de buscar una aplicacion biyectiva para comprobar la numerabilidad, con-
viene hacer uso de la siguiente caracterizacion, que resulta evidente despues de la proposicion
anterior.
Proposicion 1.3.5. Un conjunto X es numerable si y solo si existe una aplicacion suprayectiva

: N X.
Esta propiedad puede interpretarse as: un conjunto X es numerable si existe una sucesion tal que
su conjunto imagen es todo X.
A continuacion estudiaremos algunas propiedades basicas de la numerabilidad y veremos algunos

de los ejemplos mas importantes de conjuntos numerables.
Proposicion 1.3.6. Si X es numerable y S es un subconjunto de X, entonces S es numerable.
Demostracion. Por el hecho de ser X numerable, existe una aplicacion suprayectiva : N X.

Se define la aplicacion : X S como la identidad sobre los elementos de S y que lleva
los que no pertenecen a S a un punto fijo de S. Evidentemente es suprayectiva, por tanto la
composicion, : N S es una aplicacion suprayectiva y S es numerable.
Ejemplo 1.3.7. El conjunto N N es numerable; y como consecuencia tambien lo es N . n. . N.

Demostracion. Podemos colocarel conjunto N N de la siguiente forma:
(0, 0) (0, 1) (0, 2) (0, 3) ...

(1, 0) (1, 1) (1, 2) (1, 3) ...
(2, 0) (2, 1) (2, 2) (2, 3) ...
.. .. .. .. ..
. . . . .
Si los recorremos en diagonal de arriba a abajo y de izquierda a derecha, como se indica en

el esquema anterior esta claro que N N se puede escribir como una sucesion de elementos. No
obstante, si queremos hacer explcita la aplicacion suprayectiva, podemos escribirla de la siguiente
forma. : N N N, (n) = (k, m k), donde m es el unico numero natural tal que
m(m + 1) (m + 1)(m + 2) m(m + 1)
<n+1 , yk =n
2 2 2
Proposicion 1.3.8. Sea I un conjunto numerable de ndices, y para cada i I, sea Si un conjunto
S
numerable. Entonces, S = iI Si es numerable.(La union numerable de conjuntos numerables
es un conjunto numerable).
Demostracion. Por el hecho de ser Si numerable, para cada i existe una aplicacion suprayectiva
i : N Si . Entonces, la aplicacion:
: I N S
dada por (i, n) = i (n) tambien es suprayectiva.
Por el hecho de ser I numerable, existe otra aplicacion suprayectiva : N I. Sea : N

N N la aplicacion suprayectiva definida en el ejemplo anterior.
Entonces la composicion
(,Id)
N N N I N S
es una aplicacion suprayectiva, y por tanto S es numerable.
Ejemplo 1.3.9. El conjunto Z de los numeros enteros es numerable.

La numerabilidad tambien se conserva por productos finitos:
Proposicion 1.3.10. Sea una coleccion de conjuntos numerables Si para i = 1, 2, ..., n. Entonces
S = S1 S2 ... Sn es numerable.
Ejemplo 1.3.11. El conjunto de los numeros racionales, Q, es numerable.

Proposicion 1.3.12. El intervalo [0, 1] R no es numerable; en consecuencia R tampoco lo es.
Demostracion. Supongamos que s es numerable, es decir [0, 1] = {x1 , x2 , x3 , . . . } se trata de

una sucesion. Podemos expresar cada elemento del intervalo en forma decimal, con un numero
infinito cifras decimales distintas de 0, de la siguiente forma:
x1 = 0, a11 a12 a13 . . . a1n . . .
x2 = 0, a21 a22 a23 . . . a2n . . .

......
xn = 0, an1 an2 an3 . . . ann . . .
......
1.3. NUMERABILIDAD 9
donde cada aij {0, 1, . . . 9}. Para que el numero de cifras decimales sea distinto de 0 en todos,
si tenemos un numero que tiene un numero finito de decimales no nulos, tomamos su otra forma
de expresion:
1
= 0, 5 = 0, 4999999 . . .
2
Consideremos el numero real del intervalo [0, 1], x = 0, b1 b2 b3 . . . bn . . . de la siguiente forma:
b1 6= a11 y b6 = 0; b2 6= a22 y b2 6= 0 y as sucesivamente. Esta claro que y 6= xi para todo i, por
tanto x
/ [0, 1], lo cual es imposible.
Como consecuencia, todo conjunto que contiene al intervalo (0, 1) no es numerable. En particular,
R no es numerable.
Una propiedad importante de los numeros reales, relacionada con el orden, es la propiedad arqui-
mediana. esta propiedad se puede formular de varias maneras, damos aqu dos de ellas:
Proposicion 1.3.13 (Propiedad Arquimediana). Para cualquier numero real positivo > 0
existe un numero natural n N tal que
n = + ... + > 1.
Proposicion 1.3.14 (Propiedad Arquimediana). Para cualquier par de numeros reales tales que
x < y, se puede encontrar siempre un numero racional q Q verificando x < q < y.
10
Captulo 2
Espacios Metricos
2.1 Distancias y espacios metricos

Definicion 2.1.1 (Distancia). Dado un conjunto , una distancia es una aplicaci on
que a cada par le asocia un numero real
y que cumple los
siguientes condiciones:
1. .
2. si, y solo si (separacion).
3. para todo ! (simetra).
4. " $#%&' (#) para todo $#* (desigualdad triangular).
Definicion 2.1.2 (Espacio metrico). Se llama espacio metrico a un par $+ , donde es un

conjunto y es una distancia definida en .
Ejemplo 2.1.3.

,-
. /
021 31
(1) El espacio metrico de los numeros reales con la metrica del valor absoluto de la diferencia, es
decir definida como .
(2) El espacio metrico discreto. Sea un conjunto no vaco cualquiera; si 4 definimos
- 65 87 $+
si y si . es un espacio metrico. 9
Antes de continuar con el siguiente, e importante ejemplo, conviene establecer una interesante
relacion:
11
12 CAPITULO 2. ESPACIOS METRICOS
Proposicion 2.1.4 (Desigualdad de Cauchy-Schwarz). Si y

numeros
reales cualesquiera, entonces:

"

Demostracion. Dado cualquier se verifica que *&
el

. Si desarrollamos

cuadrado y agrupamos
tendremos que tomando & & ,

,
y .

En estos terminos, lo que queremos probar es que . Si "
todos los y por
tanto tambien todos los

. Si 7 podemos poner

" & & ,
"!

$#

)*& &
para todo 8
. El segundo miembro es mnimo si
$%&
y si lo sustituimos en la expresion
anterior
(') "
"

(')
Ejemplo 2.1.5.
(1) Sea

, y para los puntos , e * se definen las aplicaciones:
*1 1 &21 1
& +*,
-- 0 .0/13$1 1 1 1 2

--
En el grafico anterior puede verse como es cada una de estas distancias. Las tres son generaliza-
ciones de la metrica del valor absoluto de la diferencia, y las tres tienen nombre propio: se

llama la metrica del taxi, se llama la metrica eucldea o usual y 3- se llama la metrica del
ajedrez o del maximo.
2.1. DISTANCIAS Y ESPACIOS METRICOS 13

- 0

* 0
(2) El ejemplo anterior se puede generalizar a

se define:
. Sean

e

1 1

+*,

-- $ 1 1 5

La prueba de que y - son distancias es una mera comprobacion. Lo mismo sucede con las
propiedades (1) y (2); no as con la desigualdad triangular en la que hay que utilizar la desigualdad
de Cauchy-Schwarz. Veamoslo.
Sean $#*

y consideremos

( $#%&' (#)

#
&
(#

# &

(# &

# (#

aplicando la desigualdad de Cauchy-Schwarz al ultimo sumando de la expresion anterior, podemos
continuar

# &

( # &
# (#

# & (# &) # (#
# 3& (#

(
Las tres metricas se pueden considerar generalizaciones de la metrica del valor absoluto en

vista
en el Ejemplo 1.0.3(1)
(#
# 21 # # 1
(3) El conjunto de los numeros complejos con la metrica del modulo de la diferencia
con , es un espacio metrico. # $#

(de

. Dadas dos funciones (que son los puntos de este espacio),
(4) Sea la palabra inglesa bounded que significa acotada), el conjunto de

funciones acotadas
!
1 1
, sea
-- )

La siguiente grafica nos da una idea de como es esta distancia.
..
.. ..
..
-
.. ..
.. ..
.. ..
.. ..
.. ..
.
. .
El par $- es un espacio metrico y la metrica se denomina metrica del supremo o metrica
uniforme.
En concreto podemos destacar por su interes el espacio de las sucesiones acotadas

-

sucesion acotada

*

acotada
con la distancia - -

. 1 1
(5) El espacio

continua de las funciones reales continuas

sobre un intervalo cerrado

con la distancia
1 1

)0

es tambien un espacio metrico.
...
.. ...
.. ..
.. ..
.. ..
.. ..
.. ..
..
.
(6) Las siguientes metricas se pueden definir en el producto de dos espacios metricos. Sean
- $ +
$
y ; se define para 6 *
, donde !
:
0 3&4

2.1. DISTANCIAS Y ESPACIOS METRICOS 15
( &' +*,

-- $ $

Se ve claramente que se trata de una construccion
9
similar a la seguida en el ejemplo 1.0.5(1) para
la construccion de tres distancias en ; y juegan el papel de 1+1 .

Proposicion 2.1.6. Sea $+ un espacio metrico, entonces se verifica

1 $#% (#) 1+" para todo $#
Demostracion. Aplicando la desigualdad triangular tenemos $#%." & $#%

3&' (#) , por tanto $#% (#) "
De forma analoga podemos poner (#) " (#) & $#% & y tendremos

que " $#%
(#) .
Si unimos las dos desigualdades obtenidas en los parrafos anteriores
" $#% (#) "
$+ un subcon-
2

Definicion 2.1.7 (Subespacio metrico). Sea

un espacio metrico y sea
6 . El par $
recibe el nombre
junto de . Sea tambien , definida por
es un espacio metrico y se llama un subespacio metrico de , y la metrica
de metrica inducida por .

Si
su metrica es la metrica inducida por la metrica eucldea de

, cuando se hable de como de un espacio metrico, siempre se estara suponiendo que

, salvo que se diga otra cosa en
contra. En particular esto se aplica a los diferentes tipos de intervalos de numeros reales.
Ejemplo 2.1.8.
(1) + 5 con la metrica inducida por el valor absoluto es subespacio metrico de

.

(2) con la metrica inducida por - es subespacio metrico de .

(3) El espacio de las sucesiones reales con lmite 0, es subespacio metrico de - . 9
Definicion 2.1.9 (Distancia de un punto a un conjunto). Sea $+ un espacio m etrico, sea un
subconjunto
. Definimos la distancia de un punto
al subconjunto como

que existe dado que el conjunto sobre el que tomamos el nfimo, esta acotado inferiormente por 0.
Definicion 2.1.10 (Distancia entre conjuntos). Sean y dos subconjuntos de . Se define la

distancia del subconjunto al subconjunto como
*

Ejemplo 2.1.11.
(1) Si es la metrica discreta sobre , y , entonces
0 5 sisi * 5 sisi 2

7

(2) Consideremos con la distancia usual 21

31 y sea 5
, entonces:
1 1% 4 5 ;
5 1 5 1 4 5 ;
(+ 1 1% 4 5 65 .
Evidentemente, si , entonces . El recproco no es cierto, como muestra este
ejemplo.
(3) Consideremos

$ y
& ",5 y 2
&* .
Entonces *

5 . Una grafica ayuda a realizar este sencillo calculo: la distancia que
queremos calcular es la diferencia entre la longitud de la diagonal de un cuadrado de lado 1, que
es y diametro del crculo que es 1.
5 ......................
..
..
..
.
5
9
2.2. BOLAS 17
2.2 Bolas
Los subconjuntos, quizas mas importantes, de un espacio metrico, que vamos a estudiar a contin-
uacion, son las bolas abiertas; que daran origen a un concepto fundamental: el de conjunto abierto.
Se trata de una generalizacion del concepto conocido de intervalo abierto centrado en un punto en
.
Definicion 2.2.1 (Bola abierta). Sea $+
un espacio metrico y sean ,y un numero
real. Definimos la bola abierta en , centrada en y de radio como el conjunto

-
Si se necesita especificar con que metrica se esta trabajando, se representara la bola abierta por

.

11 la bola abierta de centro y radio es el intervalo abierto de extremos
Ejemplo 2.2.2.
(1) En y
&
1 1 &
-

(2) La palabra bola debe su origen al caso eucldeo. En

$ , tenemos que
-

&4
es el interior del crculo de radio centrado en .
En el espacio
$ - $#%
&8 &'#
,

es el interior de la bola o
esfera solida de radio centrada en .

$ *
Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes y no tener la apariencia de
una bola esferica. En - , la bola -(+
es el interior del cuadrado de centro y de lados
paralelos a los ejes de coordenadas y con longitud .
En
$
con la metrica , la bola - (+
es el interior del cuadrado centrado en el punto (+$
y con vertices en los puntos ( + (+ $ $ podemos
. Con la grafica siguiente nos

hacer una idea de como son estas tres bolas, con centro 0 y radio en el plano . 65
1 1 1 ...
. .
...... ........
.. .....
.....
5 5 5 ... .....
........ ...
.....1
1 1 ..... ..
.
.... ...
..... ........
5 5 5
..........
--(+ 5 (+ 5 (+ 5

+ 5
- + 5 , cuya

- ,
&
(3) En es el conjunto de todas las funciones continuas en

grafica se encuentra entre las graficas de las funciones y .
(4) En el espacio metrico discreto $ se tiene que

si ",5

-
si 5
(5) Sea + 5 2
con la metrica del valor absoluto
en . Entonces, en ,

5 5 9
(+
, mientras que para la metrica inducida en , 5 5 0 ( + 5
.
Las bolas abiertas en un subespacio metrico son la interseccion con el subespacio de la bola del
espacio total con el mismo centro y radio:
$+
$
Proposicion 2.2.3 (Bolas en subespacios metricos). Sea un espacio metrico, y sea un
subconjunto de ; entonces las bolas abiertas del subespacio m etrico son la intersec-
cion de las correspondientes bolas en el espacio total con el subconjunto. Es decir,

2.3 Abiertos. Propiedades
Uno de los objetivos de este curso es llegar al concepto de espacio topologico por medio del
estudio de los espacios metricos, que son mas naturales, y de sus propiedades. Empezaremos con
una propiedad caracterstica de las bolas abiertas, que nos va a dar lugar a introducir una primera
definicion de conjunto abierto; en este caso, abierto en un espacio metrico.
Lema 2.3.1. Sea - una bola abierta en un espacio metrico $+ , y sea -
,
entonces existe un

tal que - - .

..........
... ..

- -

Demostracion. Basta tomar de modo que

. El numero se
puede escoger

as ya que, como -
, entonces

. Entonces

, puesto que si
#* -
$

entonces, por la desigualdad triangular,
$#% " &' $#% " 3& 3&

2.3. ABIERTOS. PROPIEDADES 19
Por tanto, # - .

Teorema 2.3.2 (Propiedad de Hausdorff). Si

$+ es un espacio metrico y son dos
puntos distintos, existen tales que - - .

Demostracion. (Ejercicio)
Este resultado permite plantearse la definicion de un tipo de subconjuntos que verifican esta condi-
cion, es decir, de aquellos subconjuntos tales que, para cualquier punto del subconjunto, existe una
bola abierta centrada en el y totalmente contenida en el subconjunto. Seran los conjuntos abiertos.
$+
-
Definicion 2.3.3 (Conjunto abierto). Sea un espacio metrico. Diremos que un subcon-
junto es abierto en si para cada $+
existe un tal que 4 .
Observemos que el numero real depende del punto , es decir, para diferentes ser an necesar-
ios diferentes radios .
Corolario 2.3.4. Cualquier bola abierta en un espacio m etrico $+ es un abierto

Ejemplo 2.3.5.
(1) Cualquier intervalo abierto de la recta real, incluso los intervalos abiertos no acotados, es en
subconjunto abierto de la recta real con la metrica del valor absoluto de la diferencia. Tambien lo
son las uniones de intervalos abiertos. Sin embargo los intervalos

,

y

no lo son.

(2) Un conjunto abierto no tiene por que ser una bola abierta. As el subconjunto de :

.
1 1,5 1 31

no es una bola abierta de

para la metrica eucldea, y sin embargo s que es un subconjunto
abierto. Sin embargo el conjunto siguiente no es abierto

2

1 1,5 1 31%"

(3) En la metrica discreta, cualquier subconjunto es abierto.

(4) La condicion de ser abierto depende de la metrica. El subconjunto es abierto para la
metrica discreta, pero no lo es para la metrica eucldea.
(5) La condicion de ser abierto tambien depende del conjunto sobre el que se define la metrica.
+ 5 + $
es abierto en , pero no lo es en el espacio total con la metrica

9
As, el intervalo

del valor absoluto.
Teorema 2.3.6. Sea $+ un espacio metrico, entonces se verifican:

1. y son abiertos.

2. Si

0 es una familia de abiertos en , entonces es un abierto.

3. Si

65 % es una familia finita de abiertos, entonces es un abierto.
(1) Es claro
Demostracion.
(2) Si

, existira un tal que
; como es abierto, para algun sera
-
, lo que quiere
decir que la union es un conjunto abierto.

(3) Si
, entonces para todo 5 % y como cada es abierto, cada
de centro , es decir, para cada 5 %

uno de estos conjuntos debe contener una bola

- tomamos . 5 % tendremos que

- -

existira un tal que . Si
para todo 65 % y por tanto - .
Ejemplo 2.3.7.

131 Si consideramos
9
La interseccion arbitraria de abiertos no es, en general un abierto. la familia de
abiertos
en , su interseccion es -

, que no es abierto.
Algunas de las propiedades e ideas mas importantes que abordaremos y, que de hecho, ya se estan
abordando en analisis, necesitan del estudio de lo que ocurre en un punto y, mas en concreto, en
las cercanas, en los alrededores de un punto; as sucede con la continuidad, con la convergen-
cia,... Necesitamos realizar un estudio local. Vamos a ver algunos conceptos que facilitaran dicho

estudio.
$+

-
Definicion 2.3.8 (Entorno). Sea un espacio metrico, un subconjunto y .
Diremos que es un entorno de si existe un
tal que .
Ejemplo 2.3.9.
(1) Una bola abierta en un espacio metrico, es entorno de todos sus puntos. En concreto, en

con
la metrica usual, un intervalo abierto, es entorno de todos sus puntos.
(2) El intervalo+ es un entorno del punto 5 , pero no lo es del punto .

9
Proposicion 2.3.10. Un subconjunto de un espacio metrico $+ es abierto si y solo si es
entorno de todos sus puntos.
2.4 Cerrados
Tan importantes como los abiertos, son sus complementarios, los llamaremos cerrados.
2.4. CERRADOS 21
$+
Definicion 2.4.1 (Cerrado). Sea
es cerrado en
un espacio metrico. Diremos que un subconjunto
$+
si su complementario es un subconjunto abierto en
$+ .
Ejemplo 2.4.2.

&
En , con la metrica usual, los intervalos cerrados son subconjuntos cerrados; tambien lo son las

. No lo son los intervalos de la forma

o

9
semirrectas cerradas o
, .

Proposicion 2.4.3. Un subconjunto de un espacio metrico

$+ es un cerrado si y solo si para
todo
existe un tal que $ . - .

-
Demostracion. ' Si es cerrado quiere decir que es abierto, por tanto, para todo

( , existe tal que , es decir, - $,

Si para todo (
), existe tal que - . , entonces - ,
entonces es abierto, luego es cerrado.
Ejemplo 2.4.4.

$ , el conjunto .
1 1 5 1 31)" no es cerrado y
1 1%",5 1 31+" , s lo es.

(1) En
(2) En

$ , cualquier recta es un conjunto cerrado. 9
Definicion 2.4.5. Sea $+ un espacio metrico, sea , y numero real. Llamaremos
bola cerrada de centro y radio al conjunto
"
Las bolas cerradas contienen a las correspondientes bolas abiertas.
Proposicion 2.4.6. En un espacio metrico, las bolas cerradas son conjuntos cerrados
Teorema 2.4.7. Sea $+ un espacio metrico, entonces se verifican:

1. y son cerrados.
2. Si

es una familia de cerrados en , entonces es un cerrado.

3. Si

65 % es una familia finita de cerrados, entonces es un cerrado.
Demostracion. Se trata de aplicar las leyes de Morgan. (Ejercicio)
Ejemplo 2.4.8.
+ 5 3

(1) La union arbitrario de cerrados no es, necesariamente un cerrado. Consideremos la familia

de intervalos cerrados en ; su interseccion

+ 5 5 + 5
no es cerrado.
+ 5
(2) En la metrica discreta cualquier subconjunto es cerrado.
(3) Hay subconjuntos que no son ni abiertos ni cerrados, por ejemplo con la metrica

eucldea.
9
(4) Tambien es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo, con la
metrica discreta, cualquier subconjunto es a la vez abierto y cerrado.
$+ un espacio 2
y tal que - .
Definicion 2.4.9. Sea metrico y . Diremos que es un subconjunto
acotado si eixten
Ejemplo 2.4.10.
(1)

con la metrica eucldea es un espacio metrico no acotado.
(2)

con la metrica discreta es un espacio metrico acotado.
5 5 5
(3) Los subespacios , y

de con la metrica eucldea son subespacios

metricos acotados. El subespacio

5&
no es acotado.

(4) Cualquier bola, abierta o cerrada, es un subespacio acotado. 9

Definicion 2.4.11 (Diametro de un conjunto). Sea un espacio metrico y $+ un
subconjunto acotado. Definimos el di ametro de , y se representa por

como

0
Ejemplo 2.4.12.
(1) Los diametros de los subconjuntos , 5 5 y 5 de

con la metrica usual son
5 5
respectivamente , y .

(2) El subespacio + 5

+ 5 de
es un subconjunto acotado para cada una de las tres metricas
, y - . Sus diametros para cada una de estas tres metricas son, respectivamente, , y 5 9 .

Captulo 3
Espacios topologicos
3.1 Espacio topologico
Definicion 3.1.1. Un espacio topologico es un par (X, ), donde X es un conjunto, y es una

familia de subconjuntos de X que verifica las siguientes condiciones
(1) X y .
(2) Dada una familia {Ai , i I} de elementos de , su union iI Ai tambien esta

en .
(3) Si A1 , A2 , entonces A1 A2 (la interseccion de dos elementos de la familia

tambien es un elemento de la familia)
Diremos entonces, que la familia es una topologa sobre X, y a sus elementos les llamaremos
conjuntos abiertos de (X, ).
De la condicion (2) se deduce, por induccion, que la interseccion de una familia finita de conjuntos
abiertos sigue siendo un conjunto abierto en (X, ). (Ejercicio)
Ejemplo 3.1.2.
(1) Topologa asociada a una metrica. Todo espacio metrico (X, d) tiene asociado un espacio
topologico (X, d ), donde d es la familia de los conjuntos abiertos de X para la distancia d tal y
como los hemos definido en [2.3.3]. El teorema [2.3.6] prueba que, efectivamente, estos abiertos
constituyen una topologa que llamamos topologa d asociada a la metrica d.
(2) Topologa discreta. Sea X un conjunto; consideremos la familia = P(X), formada por
todos los subconjuntos de X. Esta familia es una topologa en la que cualquier subconjunto de X
23
24 CAPITULO 3. ESPACIOS TOPOLOGICOS
es un abierto y se llama topologa discreta, en este caso decimos que (X, P(X)) es un espacio
topologico discreto.
(3) Topologa indiscreta. Si consideramos ahora la familia {, X} cuyos unicos conjuntos son el
vaco y el propio X, tambien constituye una topologa sobre X que llamaremos topologa gruesa,
indiscreta o trivial.
(4) Sea el conjunto X = {a, b, c, d, e}. Entre otras, podemos construir las siguientes familias de
subconjuntos de X:
1 = {X, , {a}, {c, d}, {a, c, d}, {b, c, d, e}}
2 = {X, , {a}, {c, d}, {a, c, d}, {b, c, d}}
3 = {X, , {a}, {c, d}, {a, c, d}, {a, b, d, e}}
1 es una topologa sobre X y sin embargo, 2 falla en la union y 3 falla en la interseccion, por lo
tanto no lo son.
(5) Topologa cofinita. Sea X un conjunto cualquiera y definamos como el conjunto vaco junto
con aquellos subconjuntos A X tales que Ac = X r A es finito. es una topologa sobre X
que se conoce como la topologa cofinita y se representa por cf . Cuando el conjunto X es finito,
entonces la topologa cofinita coincide con la topologa discreta. Como este caso no introduce
nada nuevo, siempre que se estudie la topologa cofinita sera sobre conjuntos infinitos.
Como hemos visto, sobre un conjunto se puede definir mas de una topologa. Podemos establecer
una cierta comparacion:
Definicion 3.1.3 (Topologas mas finas). Dado un conjunto X, sean 1 y 2 dos topologas
definidas sobre X. Si todo abierto de 1 es un abierto de 2 , es decir, 1 2 , diremos que
2 es mas fina que 1 o que 1 es menos fina que 2 , o bien que 2 es mas debil que 1 . Dos
topologas son equivalentes si tienen los mismos abiertos y dos topologas no son comparables si
ninguna es mas fina que la otra.
Ejemplo 3.1.4.
(1) La topologa indiscreta es menos fina que cualquier otra y la topologa discreta es la mas fina
posible.
(2) La topologa cofinita sobre R2 es menos fina que la topologa usual, puesto que si A es abierto
de la topologa cofinita, A es complementario de un subconjunto finito de R2 y, como los conjuntos
finitos son cerrados para la topologa usual, A tambien es abierto en R2 para la topologa usual.
Definicion 3.1.5 (Base de una topologa). Sea (X, ) un espacio topologico. Diremos que una
subfamilia B , es una base de la topologa si cada abierto A se puede expresar como union
S
de conjuntos de B, es decir, existe {Bi }iI B tal que A = iI Bi .
3.1. ESPACIO TOPOLOGICO 25
Proposicion 3.1.6. Sea X un conjunto y B P(X) una familia de subconjuntos de X. Entonces

B es base de una topologa sobre X si, y solo si se cumplen las dos condiciones siguientes:
S
(a) X = BB B.
(b) Si B1 , B2 B, para cada x B1 B2 , existe B B tal que x B B1 B2 .
Demostracion. = Si suponemos que B es base de una topologa en X, como X , esta

claro que X = BB B y se cumple (a). Veamos que se cumple (b); si B1 , B2 B, es evidente
que B1 , B2 , por tanto B1 B2 , luego esta interseccion sera union de conjuntos de B,
B1 B2 = iI Bi con Bi B para todo i I. Si x B1 B2 , entonces x Bj para algun
j I. Por tanto x Bj B1 B2 .
= Supongamos ahora que B es una familia de subconjuntos de X que cumple (a) y (b) y
veamos que existe una topologa determinada por B. Definimos la familia
= {A X : A = jJ Bj , con Bj B, para todo j J}.
Hay que comprobar que se trata de una topologa. X por (a); pues B.
Si {Ai }iI es una familia de conjuntos de , tendremos que cada Ai sera union de conjuntos de
B, es decir, Ai = jJi Bij para cada i I con Bij B para todo j Ji ; como la union es
asociativa, tendremos que
[ [ [ [
Ai = ( Bij ) = Bij
iI iI jJi iI,jJi
lo que implica que la union de conjuntos de es de .
Por ultimo veamos que si A1 , A2 entonces A1 A2 . Tenemos que A1 = iI Bi y

A2 = jJ Bj con Bi , Bj B para todo i I, j J. Para cada x A1 A2 , x iI Bi y
x jJ Bj , luego existen io I y jo J tales que x Bio Bjo y por (b), existe Bx B tal
que x Bx Bio Bjo A1 A2 y por tanto xA1 A2 Bx = A1 A2 .
Ejemplo 3.1.7.
(1) Los intervalos abiertos (a, b); a, b R son una base de la topologa usual en R.
(2) La familia {B(x, r) : x X, r > 0} son base de la topologa asociada a la distancia en un

espacio metrico (X, d).
(3) Los rectangulos abiertos y de lados paralelos a los ejes, son una base de la topologa eucldea
en R2 .
(4) Si consideramos (X, D ) espacio topologico con la topologa discreta, la familia B = {{x} :
x X}, es una base de dicha topologa.
3.2 Cerrados
Definicion 3.2.1 (Cerrado). Dado un espacio topologico (X, ), diremos que un subconjunto
C X es cerrado si su complementario C c = X r C es abierto. Representaremos la familia de
todos los cerrados por C
Ejemplo 3.2.2.
(1) En un espacio metrico (X, d), la definicion de cerrado para la metrica d coincide con la de
cerrado para la topologa d , asociada a la distancia d.
(2) En un espacio topologico con la topologa indiscreta, los unicos cerrados son X y .
(3) En un espacio topologico con la topologa discreta, todos los subconjuntos de X son cerrados.
(4) En la topologa cofinita, (X, cf ), un subconjunto C X es cerrado si y solo si C = X, o

bien C es finito.
El hecho de que un conjunto sea cerrado no implica que este conjunto no sea abierto; de hecho,
existen conjuntos que son a la vez abiertos y cerrados, por ejemplo el espacio total X en cualquier
espacio topologico (X, ); o la topologa discreta del ejemplo anterior, tiene todos sus conjuntos
que son a la vez abiertos y cerrados. Tambien existen, como hemos visto, conjuntos que no son ni
abiertos ni cerrados como cualquier intervalos [a, b) en R con la topologa usual.
Los cerrados cumplen una serie de propiedades, que podemos llamar, duales de las propiedades
de los abiertos y que, en el caso de espacios metricos ya hemos visto en [2.4.7].
Teorema 3.2.3. Dado un espacio topologico (X, ), la familia de los conjuntos cerrados cumple
las siguientes propiedades:
(1) X y son cerrados.
(2) Si {Ci : i I} es una familia de cerrados en X, entonces iI Ci es un cerrado.
(3) Si {Ci : i = 1, 2, . . . , n} es una familia finita de cerrados, entonces ni=1 Ci es un

cerrado.
Ya hemos visto en el ejemplo [2.4.8(1)] que la union arbitraria de cerrados no es, en general, un
cerrado.
3.3 Entornos
Otro concepto que ya aparecio en los espacios metricos, pero que en realidad es topologico es el
de entorno de un punto.
3.3. ENTORNOS 27
Definicion 3.3.1 (Entorno de un punto). Dado un espacio topologico (X, ), diremos que un
subconjunto U X es un entorno de un punto x X si existe un abierto A tal que x A U .
Al conjunto o familia de todos los entornos de un punto x X lo representaremos por Ux .
Ejemplo 3.3.2.
(1) Si (X, d) es un espacio metrico, todo entorno para la metrica sera obviamente un entorno para
la topologa asociada a la distancia. El recproco tambien es cierto.
(2) En un espacio topologico trivial el unico entorno posible de un punto es el espacio total.
(3) En un espacio topologico discreto U Ux si y solo si x U .
(4) En la topologa cofinita, U Ux si y solo si x U y U c = X r U es finito.
Recordemos que, en un espacio metrico los conjuntos abiertos se pueden caracterizar a partir de la
nocion de entorno. En el caso general de los espacios topologicos tambien se pueden caracterizar
los conjuntos abiertos de una manera analoga.
Proposicion 3.3.3. En un espacio topologico (X, ), un conjunto A es abierto si, y solo si A es
entorno de todos sus puntos.
Demostracion. = Si A es abierto, se tiene, obviamente, que x A A, y por tanto A es un

entorno de x, para todo x A.
= Recprocamente, si suponemos que A es entorno de todos sus puntos, entonces, para todo
x A existe un abierto Ux tal que x Ux A. De esta manera se puede escribir A = xA Ux ,
que sera abierto ya que es union de abiertos.
Proposicion 3.3.4. Dados un espacio topologico (X, ) y un punto x X, la familia de entornos

Ux verifica las siguientes propiedades:
(1) Si U Ux , entonces x U .
(2) Si U Ux y U V , entonces tambien V Ux .
(3) Si U, V Ux , entonces U V Ux .
(4) Si U Ux , existe V Ux tal que x V U y V Uy para todo y V .
Demostracion. (1)Es evidente. (2) Como U Ux , entonces existe A abierto de modo que x
A U , pero entonces x A V ; por tanto V Ux .
(3) Si U, V Ux existen abiertos A, B, tales que x A U y x B V . Eso implica que

x A B U V , y como A B es abierto por ser interseccion de dos abiertos, tendremos
que U V Ux .
(4)Como U Ux , existe un abierto A tal que x A U ; basta tomar A = V

La familia de todos los entornos habitualmente es muy grande y, con frecuencia, difcil de repre-
sentar. Incluso en el caso de R con la topologa usual, los entornos pueden ser muy complicados.
Esto se resuelve trabajando solo con los intervalos. En el caso de un espacio metrico este papel lo
hacen las bolas y en el caso general introduciremos un concepto que facilitara el trabajo de forma
semejante:
Definicion 3.3.5 (Base de entornos). Dado un espacio topologico (X, ), un punto x X, y una
subfamilia Vx Ux de la familia de entornos de x; diremos que Vx es una base de entornos de x,
o base local de x, en (X, ) si verifica
Si U Ux es un entorno de x, entonces existe V V(x) tal que V U
Ejemplo 3.3.6.
(1) En R con la topologa usual, una base de entornos para cada x R es la familia formada por
los intervalos de centro x y radio r > 0 variando r, es decir {(x r, x + r) : r > 0}.
(2)En un espacio metrico (X, d), la familia de bolas Vx = {B(x, r) : r > 0} es obviamente, una
base de entornos de x, para cada x X.
(3)En un espacio metrico (X, d), la familia de bolas Vx = {B(x, n1 ) : n N } es tambien una
base de entornos de x, para cada x X, puesto que para cada r > 0 existe n N tal que n1 < r.
(4) En un espacio topologico trivial o indiscreta, (X, I ), la unica base de entornos posible es la
formada unicamente por el espacio total X.
(5) Si el espacio topologico es discreto, (X, D ), {x} es un entorno de x, para todo x X, y por
tanto se deduce que la familia formada por este entorno, Vx = {{x}}, es una base de entornos de
x.
3.4 Subespacios topologicos
Proposicion 3.4.1. Sea (X, ) un espacio topologico y H X entonces la familia H = {H A :

a } de las intersecciones de los abiertos de (X, ) con H es una topologa sobre H.
Demostracion. Evidentemente H H puesto que H = H X y = H , luego H .
Si tenemos una familia {H Ai : i I, Ai } de elementos de H , entonces la union sera

iI (H Ai ) = H (iI Ai ) y como iI Ai por ser abiertos, tendremos que la union de
elementos de H tambien es de H . Aplicando la misma propiedad en sentido contrario se prueba
que la interseccion de dos elementos de H tambien es de H .
3.4. SUBESPACIOS TOPOLOGICOS 29
Definicion 3.4.2 (Subespacio topologico). Si (X, ) es un espacio topologico y H X, al

espacio topologico (H, H ) se le llama subespacio topologico de X y a la topologa H se le
llama topologa inducida por sobre H o topologa relativa de H con respecto a (X, ). A los
abiertos de H les llamamos abiertos relativos o abiertos para la topologa relativa.
Ejemplo 3.4.3. Los subconjuntos de un espacio metrico con la topologa asociada a la distancia
inducida son subespacios topologicos.

Los cerrados en la topologa inducida tambien son intersecciones de cerrados del espacio total con
el subespacio.
Proposicion 3.4.4. Sea (X, ) un espacio topologico y sea H X. Un subconjunto de F H,

es un cerrado relativo si, y solo si existe un cerrado C en el espacio total, de forma que F = CH.
Demostracion. = Sea F un cerrado en (H, H ). Eso significa que su complementario en H

es un abierto relativo, H r F H . Por tanto, existe A tal que H r F = A H. Pero
entonces C = X r A es un cerrado en (X, ), y
F = H r (H r F ) = H r (A H) = H r A = H (X r A) = H C
= Recprocamente, sea F = C H con C cerrado en el espacio total. Su complementario en

H se puede expresar as:
H r F = H r (C H) = H r C = H (X r C)
Como X r C , es abierto por ser complementario de un cerrado, H r F H . Tendremos

que F es cerrado en (H, H ).
Ejemplo 3.4.5. Es importante darse cuenta de que, en general, los abiertos relativos no tienen
por que ser abiertos en el espacio total. As, [0, 1) no es abierto en R con la topologa usual; sin
embargo, s es abierto en [0, +) con la topologa inducida.

Proposicion 3.4.6. Sea (X, ) un espacio topologico y (H, H ) un subespacio. Entonces:
(a) Todo subconjunto A H abierto en (H, H ) es abierto en (X, ) si, y solo H es abierto
en (X, ).
(b) Todo subconjunto C H cerrado en (H, H ) es cerrado en (X, ) si, y solo H es

cerrado en (X, ).
Demostracion. (a) Si todo abierto en H lo es en , como H es abierto en H tambien es abierto

en .
Recprocamente, si H es abierto en , como todo abierto A en H es de la forma A = H B, con

B abierto en el espacio total, A sera abierto en el espacio total por ser interseccion de abiertos.
(b)(Ejercicio).
Cada una de las dos afirmaciones de la proposicion anterior son independientes, es decir la primera
(a), habla de abiertos pero no dice nada de cerrados y la segunda (b) habla de cerrados pero no de
abiertos. Observemos los dos ejemplos siguientes.
Ejemplo 3.4.7.
(1) Consideremos R con la topologa usual y el subespacio formado por los racionales Q. Los
abiertos en Q para la topologa inducida seran intersecciones de abiertos de R con Q. Entonces el
conjunto {x Q : 0 < x < 1} es abierto en Q pero no lo es en R.
(2) Sea A = {(x, y) R2 : xy > 1} que es abierto en (R2 , d2 ) y, por tanto, todo abierto de
(A, d2 ), lo es en R2 , por ejemplo, B = B((0, 0), 2) A es abierto, sin embargo A r B es un
cerrado en (A, d2 ) pero no lo es en (R2 , d2 ).
Veamos, para concluir esta seccion, como son los entornos y las bases de entornos en la topologa
inducida.
Proposicion 3.4.8. Sea (X, ) un espacio topologico, y sea H X. Dado x H, un subconjunto
V H es un entorno relativo de x (V UxH ) si, y solo si existe U entorno de x en el espacio
total, (U Ux ), de forma que V = U H.
Demostracion. = Sea V un entorno relativo de x: existe B H tal que x B V ;

entonces existira A tal que B = A H. Sea U = A V ; evidentemente U Ux , pues
x B = A H, x A A V . Ademas:
U H = (A V ) H = (A H) (V H) = B V = V.
= Recprocamente sea U Ux ; tomamos V = U H; existe A tal que x A U .

Entonces x A H U H = V .
Proposicion 3.4.9. Sea (X, ) un espacio topologico y sea x H X. Si B(x) es una base de
entornos de x en (X, ), la familia BH (x) = {B H : B B(x)} es una base de entornos para
la topologa relativa.
Demostracion. Evidentemente BH (x) UxH . Sea V UxH ; entonces V = U H, con U Ux .

Entonces existe B B(x) tal que x B U ; entonces B H U H = V y B H
BH (x).
3.5. ESPACIOS TOPOLOGICOS METRIZABLES 31
3.5 Espacios topologicos metrizables
Ya hemos visto en el ejemplo [3.1.2,1)] que cualquier espacio metrico (X, d) tiene asociada una
topologa que llamamos d , a partir de la definicion [2.3.3] y el teorema [2.3.6]. Nos podemos
preguntar si todo espacio topologico procede de una metrica.
Definicion 3.5.1 (Espacio metrizable). Diremos que un espacio topologico (X, ) es metrizable
si existe una distancia d definida sobre X, tal que coincide con d .
Ejemplo 3.5.2.
(1) La topologa discreta sobre cualquier conjunto X, es metrizable y la distancia asociada es la

distancia discreta o trivial
(2) No todo espacio topologico es metrizable. Por ejemplo, si X es un conjunto que contiene
mas de un punto y lo consideramos dotado de la topologa indiscreta (X, I ), no es un espacio
metrizable, puesto que los unicos cerrados para esta topologa son y X, pero sabemos que en
un espacio metrico, los conjuntos finitos son cerrados, con lo cual deberan existir mas cerrados.

Sigue teniendo, en el presente curso, un gran interes estudiar los espacios cuya topologa es metriz-
able, es decir, los espacios metricos. Vamos a recordar como se concretan en los espacios metricos,
los conceptos estudiados hasta ahora en el presente captulo.
Base de la topologa.- Tal y como hemos definido los abiertos [2.3.3] en un espacio metrico
(X, d), el conjunto {B(x, r) : x X, r > 0} de las bolas abiertas es una base de la topologa d
asociada a la distancia.
Entornos.- Lo mismo ocurre con los entornos, ya los definimos en [2.3.8].
Cerrados.- Tambien hemos definido y caracterizado los cerrados de un espacio metrico en el

captulo anterior [2.4.7].
Base de entornos.- Hemos visto en el ejemplo [3.3.6 2)] que para un punto x X, una base de
entornos es el conjunto {B(x, r) : r > 0} de todas las bolas abiertas con centro en dicho punto.
Tambien hemos visto que en el ejemplo [3.3.6 3)] que el conjunto {B(x, n1 ) : n N } es tambien
una base de entornos.
Tambien hemos estudiado en el captulo anterior los subespacios metricos. Veamos que son los
subespacios topologicos asociados a la metrica.
Proposicion 3.5.3. Sea un espacio metrico (X, d) y sea un subconjunto H X. Entonces la

topologa asociada a la metrica inducida sobre H coincide con la topologa inducida por la
topologa metrica en X. Es decir: d \H = dH
Demostracion. Sea A0 d \H , entonces existe un A d tal que A0 = A H. Veamos

que A0 dH . Para cualquier x A0 A existe un r > 0 tal que Bd (x, r) A, entonces
Bd (x, r) H A0 , pero ya hemos visto que Bd (x, r) H = BdH (x, r). Por tanto, A0 dH .
Sea ahora A0 dH , para cualquier x A0 existe un r > 0 tal que BdH (x, r) A0 . Como
antes, BdH (x, r) = Bd (x, r) H. Si tomamos
A = xA0 Bd (x, r)
tendremos
A0 A H = (xA0 Bd (x, r)) H = xA0 (Bd (x, r) H) = xA0 BdH (x, r) A0
Entonces, A0 = A H y por tanto, A0 d \H .
Hemos visto que no todo espacio topologico es metrizable. Cabe entonces hacerse la siguiente
pregunta: Existen diferencias topologicas entre un espacio topologico que sea metrizable y otro
que no lo sea? La respuesta es que s, y existe una propiedad fundamental que se verifica en los
espacios metrizables, pero que no es cierta, en general, en un espacio topologico arbitrario.
Definicion 3.5.4 (Espacio de Hausdorff o T2 ). Diremos un espacio topologico (X, ) es un

espacio de Hausdorff o T2 o separado, si para todo par de puntos x, y X distintos, existen
entornos, Ux Ux , y Vy Uy , tales que Ux Vy = .
Proposicion 3.5.5. Un espacio topologico (X, ) es de Hausdorff si, y solo si para todo par de
puntos distintos x, y X, existen abiertos A, B X, tales que x A, y B y A B = .
Demostracion. Es consecuencia directa de la definicion anterior y la de entorno.
Ejemplo 3.5.6.
(1) Todo espacio metrico es de Hausdorff.
(2) No todo espacio topologico es T2 . La recta real, con la topologa cofinita no es un espacio de
Hausdorff.
Vamos a comparar las topologas metricas. En realidad estudiaremos cuando dos metricas sobre
un mismo espacio X generan la misma topologa, que es lo realmente interesante.
Definicion 3.5.7 (Metricas equivalentes). Diremos que dos metricas d y d0 sobre un mismo con-
junto X son equivalentes si dan lugar a la misma topologa, es decir, si d = d0 .
Proposicion 3.5.8. Sean d y d0 dos distancias definidas sobre un conjunto X. Entonces d y

d0 son equivalentes si, y solo si para todo x X y para todo r > 0 existe > 0 tal que
Bd (x, ) Bd0 (x, r) y existe 0 > 0 tal que Bd0 (x, 0 ) Bd (x, r)
3.5. ESPACIOS TOPOLOGICOS METRIZABLES 33
Demostracion. = Supongamos que d y d0 son equivalentes. Dados x X y r > 0, Bd0 (x, r)

es un abierto de d0 , y por tanto de d ; por eso existe > 0 tal que Bd (x, ) Bd0 (x, r).
Analogamente se demuestra la segunda afirmacion.
= Recprocamente, si suponemos que se cumplen las dos afirmaciones veamos que d y d0 son
equivalentes. Sea A un abierto de d y sea x A. Entonces existe r > 0 tal que Bd (x, r) A.
Aplicando la segunda propiedad, existira 0 > 0 tal que Bd0 (x, 0 ) Bd (x, r), y entonces A es
un entorno de x para d0 y es, por tanto, abierto en esta topologa. De forma analoga se demuestra
que todo abierto de d0 lo es tambien de d .
Corolario 3.5.9. Dos distancias d y d0 sobre un conjunto X son equivalentes si existen constantes
m, M > 0 tales que para todo x, y X
md(x, y) d0 (x, y) M d(x, y)
r
Demostracion. Sean x X y r > 0. Entonces tomando = M , se tiene que d(x, y) implica
0
que d (x, y) M d(x, y) M = r, con lo que Bd (x; ) Bd0 (x, r). De forma analoga,
tomando 0 = mr se tiene que Bd0 (x, 0 ) Bd (x, r).
Ejemplo 3.5.10.
(1) El hecho de que dos metricas sean equivalentes, significa que tienen los mismos abiertos,
pero no necesariamente las mismas bolas; por ejemplo en Rn las tres metricas d1 , d2 y d son
equivalentes (Ejercicio) y sin embargo, como ya hemos visto, no tienen las mismas bolas.
(2) La metrica eucldea y la metrica discreta sobre R2 no son equivalentes.

34
Captulo 4
Subconjuntos notables de un Espacio

Topologico
4.1 Adherencia
Definicion 4.1.1 (Punto adherente). Sea (X, ) un espacio topologico, y sea S un subconjunto
de X. Diremos que x X es un punto adherente de S si todo entorno U de x cumple U S 6= ,
es decir, U corta a S (no hay ningun entorno de x totalmente contenido en X r S). El conjunto
de puntos adherentes de S se llama la adherencia de S y se representa por S.
Observacion.-
(1) Tal y como se ha definido la adherencia de un conjunto S, es evidente que S S.
(2) Si S1 S2 , entonces S1 S2 .
La definicion exige que se compruebe una propiedad para todos los entornos de un punto. Por
tanto, sera util disponer de una caracterizacion que permita reducir el numero de comprobaciones.
Esta es una de las razones mas importantes de la utilidad del concepto de base de entornos.
Proposicion 4.1.2. Sean (X, ) un espacio topologico, S X un subconjunto de X, x X, y

sea B(x) un base de entornos de x en la topologa . Entonces x S si, y solo si V S 6=
para cada V B(x).
Demostracion. -
Supongamos que x S, y V B(x). Como B(x) E(x), segun la definicion de punto

adherente, V S 6= .
35
36 CAPITULO 4. SUBCONJUNTOS NOTABLES DE UN ESPACIO TOPOLOGICO
Si ahora suponemos que todo V B(x) cumple V S 6= . Como B(x) es base de entornos
de x, para todo U E(x) existe un V B(x) tal que V U . Como V S 6= , y V S U S
tenemos que U S 6= .
En particular, si la topologa esta generada por una metrica, se pueden utilizar algunas bases de
entornos formadas por bolas y obtener los siguientes resultados particulares:
Ejemplo 4.1.3.
(1) Sea (X, d) un espacio metrico, y sea S un subconjunto de X. Entonces, x X es un punto

adherente de S (x S) si, y solo si B(x, r) S 6= , para todo r > 0.
(2) Sea (X, d) un espacio metrico, y sea S un subconjunto de X. Entonces, x X es un punto

adherente de S (x S) si y solo si para todo n N, la bola de centro x y radio n1 , B(x, n1 ), corta
a S. Recordemos que estas bolas constituyen una base de entornos de x.
La propiedad mas caracterstica de la adherencia de un conjunto S es la de que es el menor cerrado

que contiene al conjunto S.
Proposicion 4.1.4. Sea (X, ) un espacio topologico, y S X un subconjunto, entonces S es un

cerrado en (X, ).
Demostracion. Veamos que X r S es un abierto comprobando que es un entorno de todos sus

puntos. Sea x X r S, entonces x no es un punto adherente, por tanto, existe U , entorno de x,
tal que U S = . Como U es un entorno de x existe un abierto, A , tal que x A U . Por
tanto A S = .
Veamos que A X r S, con lo que X r S sera abierto. Para todo y A, como A es abierto,
sera un entorno de y que no corta a S, luego y
/ S. Es decir, A X r S. Por tanto X r S es un
entorno de x. Y esto para todo x que no este en S, entonces X r S es abierto.
Proposicion 4.1.5. Sea (X, ) un espacio topologico, S X un subconjunto y C X un

cerrado tal que S C. Entonces S C. Esto quiere decir que S es el menor cerrado que
contiene a S.
Demostracion. Veamoslo por reduccion al absurdo. Si C es un cerrado con S C. Supongamos

que S 6 C, es decir, que existe un punto x S tal que x / C. Entonces, X r C es un abierto
que contiene al punto x y como que S C, se cumple que (X r C) S = . Por tanto, x no es
un punto adherente de S, lo cual es una contradiccion.
En particular, la propiedad anterior proporciona una caracterizacion de los conjuntos cerrados

como aquellos que contienen a todos los puntos de su adherencia:
4.1. ADHERENCIA 37
Corolario 4.1.6. Un conjunto C, en un espacio topologico, es cerrado si y solo si C = C.
El Corolario anterior es equivalente a decir que un conjunto C es cerrado si y solo si C C, ya

que la otra inclusion siempre es cierta.
Ejemplo 4.1.7.
(1) En el espacio topologico trivial (X, T ), la adherencia de cualquier conjunto no vaco es el

espacio total X.
(2) En un espacio topologico discreto (X, D ), la adherencia de cualquier conjunto S es el mismo

S.
(3) En la topologa cofinita (X, cf ), la adherencia de cualquier conjunto finito es el mismo, y la

de los conjuntos infinitos es el espacio total.
(4) En (R, u ), (0, 1) = [0, 1].
4.1.1 Subconjuntos densos
Definicion 4.1.8 (Subonjunto denso). Sea (X, ) un espacio topologico, diremos que un subcon-
junto S X es denso en X si S = X.
Podemos caracterizar los subconjuntos de la siguiente forma.
Proposicion 4.1.9. Sea (X, ) un espacio topologico, y sea S X. Entonces S es denso en

(X, ) si, y solo si todo abierto no vaco, A , cumple que A S 6= .
Demostracion. -
Supongamos que S X es denso, es decir, S = X y sea A 6= un abierto; si x A como

x S = X y A es entorno de x, se cumple, por la definicion de adherencia, que A S 6= .
Supongamos ahora que para todo A 6= abierto, se cumple que A S 6= . Si suponemos

que S 6= X, entonces X r S sera un abierto no vaco, pero (X r S) S = , en contra de lo
supuesto. Por tanto, S = X.
Ejemplo 4.1.10.
(1) El conjunto de los racionales Q es denso en (R, u ). Destacamos que R contiene, entonces, un
subconjunto numerable denso que es Q.
Definicion 4.1.11 (Espacio separable). Diremos que un espacio topologico (X, ) es separable
si contiene un subconjunto numerable denso.
Ejemplo 4.1.12.
(R, u ) es separable.

4.1.2 Puntos aislados y puntos de acumulacion
Definicion 4.1.13 (Punto de acumulacion). Sea (X, ) un espacio topologico, y sea S X.

Diremos que un punto x X es un punto de acumulacion de S en (X, ), si cualquier entorno
U de x contiene 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 la acumulacion o conjunto derivado de S, y se
representa por S 0 .
Definicion 4.1.14 (Punto aislado). Sea (X, ) un espacio topologico, y sea S X. Diremos que
un punto x S X es un punto aislado de S en (X, ), si existe un entorno U de x tal que
U S = {x}.
Proposicion 4.1.15. Sea (X, ) un espacio topologico y S X. Entonces:
a) El conjunto de puntos aislados de S es S r S 0 .
b) S = S S 0
Ejemplo 4.1.16.
(1) En un espacio metrico (X, d) las definiciones anteriores se concretan diciendo que un punto
x X es punto de acumulacion de S X si para todo r > 0 (B(x, r) r {x}) S 6= y que un
punto x S X es punto aislado de S si existe r > 0 tal que B(x, r) S = {x}.
(2) En R con la topologa usual, todo natural n N es un punto adherente a N pero no es de

acumulacion, es decir, los naturales son puntos aislados en (R, u ). En efecto (B(n, 12 ) r {n})
N = .
(3) Si consideramos el conjunto A = { n1 : n N} en (R, u ), entonces A0 = {0} y todos los

elementos de A son puntos aislados.

4.2. INTERIOR Y FRONTERA 39
4.2 Interior y frontera
Definicion 4.2.1 (Punto interior). Sea (X, ) un espacio topologico, y sea S X un subcon-
junto. Diremos que x S es un punto interior de S si S es un entorno de x. El conjunto de los

puntos interiores de S se denomina el interior de S y se representa por S .

z }| {
Diremos que un punto x
/ S es exterior a S si x (X r S), es decir x es del interior del
complementario de S.
Observacion.-

(1) Si S X con (X, ) espacio topologico, S S.
(2) Si S1 S2 , entonces
Ejemplo 4.2.2.
(1) En R con la topologa usual, [0, 1) = (0, 1).

(2) En R con la topologa usual Q= y el exterior de Q tambien es vaco.
(3) Consideremos un espacio topologico con la topologa trivial y sea S un subconjunto de dicho

espacio, que no sea el total. Entonces S = .
Proposicion 4.2.3. Sea (X, ) un espacio topologico, y sea S X un subconjunto. Un punto

x S es interior de S si, y solo si x
/ (X r S). Esto es lo mismo que decir,

S = X r (X r S)
Demostracion. - Ejercicio
Una importante caracterstica del interior de un conjunto es que se trata del mayor abierto con-
tenido en dicho conjunto.
Proposicion 4.2.4. Sea (X, ) un espacio topologico y S X un subconjunto. Entonces se

cumplen:

a) S es abierto.

b) Si A S y A es abierto, entonces A S

Esto quiere decir que S es el mayor abierto contenido en S.
Demostracion. -

(a) Por la proposicion anterior sabemos que S es el complementario de un cerrado, por tanto es
abierto.
(b) Sea A un abierto no vaco tal que A S, y sea x un punto de A. Como A es abierto, es un

entorno de x y por tanto tambien lo es S. Por tanto, x es un punto interior de S, luego A S .
En particular, esta proposicion proporciona una caracterizacion de los conjuntos abiertos como
aquellos en los que todos sus puntos son interiores:

Corolario 4.2.5. Un subconjunto S de un espacio topologico (X, ) es abierto si y solo si S =S .
Se puede caracterizar el interior en terminos de bases de entornos.

4.2. INTERIOR Y FRONTERA 41
Proposicion 4.2.6. Sea (X, ) un espacio topologico, S X y x S. Si B(x) una base de

entornos de x en la topologa . Entonces x S si, y solo si existe V B(x) tal que V S.
De nuevo nos interesa concretar estas caracterizaciones en el caso de los espacios metricos.
Ejemplo 4.2.7.

(1) Sea (X, d) un espacio metrico y S X; x S si, y solo si existe r > 0 tal que B(x, r) S.

(2) Sea (X, d) un espacio metrico y S X; x S si, y solo si existe n N tal que B(x, n1 ) S.
Definicion 4.2.8 (Frontera). Sea (X, ) un espacio topologico, y sea S X un subconjunto.

Diremos que x X es un punto frontera de S si todo entorno U de x cumple que U S 6=
y U (X r S) 6= . El conjunto de puntos frontera de S se denomina la frontera de S, y se
representa por f r(S).
Proposicion 4.2.9. Sea (X, ) un espacio topologico, y sea S X un subconjunto. Entonces,

f r(S) = S (X r S)
Corolario 4.2.10. Si S es un subconjunto de un espacio topologico, entonces f r(S) es cerrado.
Ejemplo 4.2.11.
(1) La frontera de (0, 1) en (R, u ) es el conjunto de dos elementos {0, 1}.
(2) En (R, u ), f r(Q) = Q
Proposicion 4.2.12. Sea (X, ) un espacio topologico, sea S X un subconjunto y B(x) una
base de entornos de un punto x X en la topologa . Entonces x f r(S) si, y solo si para
todo V B(x) se cumple que V S 6= y V (X r S) 6= .
Ejemplo 4.2.13.
(1) Sea (X, d) un espacio metrico y S X un subconjunto, un punto x f r(S) si, y solo si para
todo r > 0, B(x, r) S 6= y B(x, r) (X r S) 6= .
(2) Sea (X, d) un espacio metrico y S X un subconjunto, un punto x f r(S) si, y solo si para
todo n N, B(x, n1 ) S 6= y B(x, n1 ) (X r S) 6= .
Proposicion 4.2.14. Sea (X, ) un espacio topologico, y sea S X un subconjunto. Los puntos
adherentes son, o bien puntos interiores, o bien puntos frontera. Es decir:

f r(S) = Sr S
Demostracion. Hemos visto en la proposicion [4.2.9, pag.41] que f r(S) = S X r S. Entonces

por la proposicion [4.2.3, pag.40] tenemos

S X r S = S (Xr S ) = S S
4.3 Sucesiones
Definicion 4.3.1 (Sucesion convergente). Sea (X, ) un espacio topologico, y sea (xn )
n=1 una

sucesion de puntos de X. Diremos que (xn )n=1 converge a x en (X, ) (xn x o limn xn = x)
si para todo entorno U de x existe un n0 , de modo que si n > n0 , entonces xn U . A x se le
llama lmite de (xn )
n=1 .
Ejemplo 4.3.2.
(1) La convergencia de una sucesion depende de la topologa. Sea un conjunto X y (xn )n=1 con
xn = x X para todo n, la sucesion constante x. Entonces se dan las dos situaciones siguientes:
a) (xn )
n=1 converge a cualquier punto y X en la topologa trivial (X, T ).
b) {xn }
n=1 solo converge a x en la topologa discreta(X, D ).

Proposicion 4.3.3. Sea (X, ) un espacio topologico, sea (xn )n=1 una sucesion en X, y B(x)
una base de entornos de x en la topologa . Entonces (xn )
n=1 converge a x si y solo si para todo
V B(x) existe un no , tal que si n > no , entonces xn V .
Demostracion. -
Si (xn )
n=1 converge a x, como B(x) E(x), la condicion se cumple para todos los V
B(x).
Si ahora suponemos B(x) es una base de entornos de x y que para todo V B(x), existe
no tal que n > no implica que xn V . Si U E(x) es un entorno de x, como B(x) es base de
entornos, existira V B(x) tal que V U . Entonces para este V existira un no de manera que
si n > no , se tiene que xn V U . Por tanto, el mismo no sirve ya que para todo n > no ,
xn U .
4.3. SUCESIONES 43
Ejemplo 4.3.4.
(1) La definicion de convergencia en R, con la topologa usual asociada al valor absoluto, coincide
con la conocida de sucesion convergente.
(2) En el caso de los espacios metricos, en general, la convergencia de una sucesion a un punto
obtenemos la siguiente formulacion:
Sea (X, d) un espacio metrico, y sea (xn )

n=1 una sucesion en X. Entonces (xn )n=1 converge a x
si y solo si para todo
> 0 existe no tal que n > no = d(xn , x) <
(3) La convergencia se puede reducir, en el caso de los espacios, el estudio de la convergencia de

una sucesion de numeros reales:
Sea (X, d) un espacio metrico, y (xn )

n=1 una sucesion en X. Entonces, (xn )n=1 converge a x si
y solo si la sucesion de las distancias (d(xn , x))
n=1 converge a 0 en (R, | |).
Proposicion 4.3.5. Sea (X, ) un espacio topologico de Hausdorff, y (xn )

n=1 una sucesion en

X. Entonces, si (xn )n=1 converge, su lmite e unico.
Demostracion. Supongamos que (xn )n=1 es convergente en X a dos puntos distintos x 6= y.

Como X es Hausdorff, existen entornos U E(x) y V E(y) tales que U V = .
Por otra parte, como (xn )

n=1 converge a x, par el entorno U de x, existe un no tal que si n > no ,
entonces xn U .
Igualmente, para el entorno V de y, existe un n1 tal que si n > n1 , entonces xn V . As, para
todo n > n1 y n > no a la vez, se cumple xn U y xn V , lo que esta en contradiccion con el
hecho de que U V = .
Proposicion 4.3.6. Sea (X, d) un espacio metrico, y sea S X. Entonces x S si, y solo si
existe una sucesion (xn )
n=1 S, tal que xn x.
Demostracion. -
Supongamos que x S. Sabemos que {B(x, n1 ) : n N} es una base de entornos de x en

(X, d), por tanto, segun hemos visto en una proposicion anterior, B(x, n1 ) S 6= . Podemos
construir entonces una sucesion de la siguiente forma:
Si n = 1 tomamos x1 B(x, 1) S.
Si n = 2 tomamos x2 B(x, 12 ) S.
As sucesivamente para cada n tomamos xn B(x, n1 ) S.

De esta manera obtenemos una sucesion (xn )

n=1 de puntos de S que converge a x evidentemente.
Si existe una sucesion (xn )

n=1 en S tal que xn x. Entonces para todo U E(x), existe
un no tal que n > no implica que xn U , es decir U S 6= y por tanto x S.
La propiedad anterior para los puntos adherentes permite dar dos caracterizaciones mas, una para
un conjunto denso, y otra para los puntos frontera.
Proposicion 4.3.7. Sea (X, d) un espacio metrico, y sea S X un subconjunto. Entonces S es

denso en X si, y solo si para todo x X, existe una sucesion (xn )
n=1 en S tal que xn x.
Demostracion. Simplemente hay que tener en cuenta la definicion de conjunto denso y la proposi-
cion anterior.
Proposicion 4.3.8. Sea (X, d) un espacio metrico, y sea S X. Un punto x X es un punto

frontera de S si, y solo si existe una sucesion (xn )
n=1 en S y otra (yn )n=1 en X r S, tales que
xn x e yn x.
Demostracion. De nuevo, solo hay que tener en cuenta la definicion de punto frontera y la
proposicion [4.3.6].
Captulo 5
Continuidad
5.1 Continuidad en un punto
Definicion 5.1.1 (Aplicacion continua en un punto). Sean (X, ) e (Y, 0 ) dos espacios topologicos,
y sea f : X Y una aplicacion entre ellos. Diremos que f es continua en un punto a X si
para todo U E(f (a)) existe un V E(a) tal que f (V ) U .
Proposicion 5.1.2 (Continuidad y base de entornos). Sean (X, X ), (Y, Y ) dos espacios topologicos,
f : X Y una aplicacion y B(a) y B(f (a)) son bases de entornos de a en X y de f (a) en Y ,
respectivamente. Entonces f es continua en a si y solo si para todo U B(f (a)) existe V B(a)
tal que f (V ) U .
Demostracion. -
Supongamos que f es continua en a. Dado U B(f (a)) existira V E(a) tal que f (V )
U . Pero como B(a) es base de entornos tendremos que existe V 0 B(a) de modo que V 0 V ,
con lo que f (V 0 ) f (V ) U .
Sea ahora U E(f (a)), entonces existe U 0 B(f (a)) de modo que U 0 U . Por hipotesis
existe V B(a) de modo que f (V ) U 0 U y como V B(a) E(a).
Corolario 5.1.3 (Continuidad en un espacio metrico). Sean dos espacios metricos (X, d) e
(Y, d0 ), una aplicacion f : X Y , y un punto a X. Entonces f es continua en a si
y solo si para todo > 0 existe un > 0 tal que siempre que d(x, a) < se verifica que
d0 (f (x), f (a)) < .
Demostracion. Solo hay que tener en cuenta que las bolas abiertas son base de entornos en una
topologa metrica.
45
46 CAPITULO 5. CONTINUIDAD
Ejemplo 5.1.4.
(1)La continuidad en R, con la topologa usual, coincide con el concepto habitual de continuidad
utilizado en Analisis. En particular se tiene la siguiente lista de funciones continuas de R en R:
(a) las funciones constantes
(b) la funcion identidad
(c) las funciones elementales xa , sen(x), cos(x), ex y sus inversas en sus dominios de definicion.
(d) la suma y el producto de funciones continuas.
(e) la inversa para el producto de una funcion continua no nula.
(2)En Rn con la topologa usual (d = d2 o d1 o d ), podemos hacer algo similar: f : Rn Rn

es continua en a = (a1 , . . . , an ) Rn si y solo si
para todo > 0 existe > 0 tal que d(x, a) < d(f (x), f (a)) <
(3) Consideremos el conjunto X = {a, b, c, d} con la topologa = {X, , {a}, {b}, {a, b}, {b, c, d}}.
La funcion f : X X, definida por el diagrama siguiente, es continua en d y no lo es en c.
a a
b :z b
c : c
d jd
Proposicion 5.1.5 (Continuidad y sucesiones). Sean dos espacios metricos (X, d) e (Y, d0 ), f :
X Y una aplicacion entre ellos, y a X. Entonces son equivalentes:
(a) f es continua en a.
(b) Si (xn )
n=1 es una sucesion en X con lmite a, entonces {f (xn )}n=1 converge a f (a).
Demostracion. -
(a)(b)
Supongamos que f es continua en a X y que (xn )n a. para ver que (f (xn ))n f (a)
tenemos que probar que dado
> 0, existe no tal que n > no d0 (f (xn ), f (a)) <

5.1. CONTINUIDAD EN UN PUNTO 47
Como f es continua en a, dado
> 0, existe > 0 tal que d(x, a) < d0 (f (x), f (a)) <
Por otra parte, como (xn )n a, dado
> 0, existe no tal que n > no d(xn , a) <
Por tanto, si n > no , d0 (f (xn ), f (a) < puesto que d(xn , a) < .
b)a)
Supongamos que (f (xn ))n converge a f (a) y supongamos que f no es continua. Eso significa
que existe
> 0 tal que para cada > 0 existe x X con d(x , a) < y d0 (f (x ), f (a) .
Si para este fijo, tomamos
= 1 existe x1 con d(x1 , a) < 1 y d0 (f (x1 ), f (a)) >

1 1
= existe x2 con d(x2 , a) < y d0 (f (x1 ), f (a)) >
2 2
As sucesivamente para
1 1
= existe xn con d(xn , a) < y d0 (f (x1 ), f (a)) >
n n
De modo que hemos obtenido una sucesion (xn )n en X que converge hacia a puesto que la
sucesion de terminos positivos (d(xn , a))n es menor termino a termino que la sucesion ( n1 )n ; y, sin
embargo, la sucesion (f (xn ))n no converge a f (a) ya que siempre es d0 (f (xn ), f (a)) > .
Ejemplo 5.1.6.
Sea funcion f : R R, en ambos casos con la topologa usual, definida por
(
1
si x 6= 1
f (x) x1
1 si x = 1
1
no es continua en x = 1, pues la sucesion xn = 1 + n tiene por lmite 1, y sin embargo
1
lim f (xn ) = lim 1 = lim n 6= f (1)
n n
n +11 n
Proposicion 5.1.7 (Composicion de funciones continuas). Sean (X, ), (Y, 0 ) y (Z, 00 ) tres
espacios topologicos, y sean f : X Y , g : Y Z dos aplicaciones tales que f es continua
en a X, y g es continua en f (a). Entonces g f es continua en a.
Demostracion. Sea U E(g(f (a))). Por el hecho de ser g continua en f (a) existe V E(f (a))
tal que g(V ) U y como f es continua en a, existe W E(a) tal que f (W ) V . Pero entonces
g(f (W )) g(V ) U .
Proposicion 5.1.8 (Continuidad y adherencia). Sean (X, ) e (Y, 0 ) dos espacios topologicos,
f : X Y una aplicacion continua en a X y un subconjunto S X. Entonces si a S se
cumple que f (a) f (S) (f (S) f (S)).
Demostracion. Sea U E(f (a)); como f es continua en a existe V E(a) tal que f (V ) U .
Pero a es un punto de adherencia de S, por tanto V S 6= . Esto implica que
6= f (V S) f (V ) f (S) U f (S),
y as f (a) es un punto de adherencia de f (S).
Ejemplo 5.1.9.
El resultado anterior no es cierto ni para puntos interiores ni para puntos frontera pues la funcion

z }| {
cos : R R es una funcion continua, 0 R y, sin embargo cos 0 = 1 / f (R)= (1, 1). Por
otra parte, si S = [0, ] { 3
2 }, 3
2 f r(S), pero cos( 3
2 ) = 0
/ f r(cos(S)).
5.2 Continuidad en todo el espacio
Definicion 5.2.1 (Funcion continua). Sean dos espacios topologicos (X, ) e (Y, 0 ), y sea f :
X Y una aplicacion entre ellos. Diremos que f es continua (en X) si lo es en todo punto de
X.
Proposicion 5.2.2. Sean (X, ) e (Y, 0 ) dos espacios topologicos, y sea f : X Y una
aplicacion. Entonces son equivalentes:
a) f es continua.
b) Para todo A 0 , f 1 (A) .
Demostracion. -
a)b) Supongamos que f es continua y sea A 0 . Para demostrar que f 1 (A) es abierto en
veremos que es entorno de todos sus puntos. Sea x f 1 (A), entonces f (x) A, luego A
es entorno de f (x). Como f es continua, en particular lo sera en x, y existe V E(a) tal que
f (V ) A. Pero eso implica que V f 1 (A) y as f 1 (A) E(a).
5.2. CONTINUIDAD EN TODO EL ESPACIO 49
b)a) Supongamos ahora que para todo A 0 , f 1 (A) y veamos que f es continua en
cada punto de X. Sea x X y sea U E(f (x)). Entonces existe A 0 tal que f (x) A U .
Eso significa que x f 1 (A) y como f 1 (A) se puede tomar V = f 1 (A) E(x).
Ademas, f (V ) = f (f 1 (A)) A U , por tanto f es continua en x.
Proposicion 5.2.3. Una aplicacion f : (X, ) (Y, 0 ) es continua si y solo si para todo
cerrado C en (Y, 0 ), se tiene que f 1 (C) es un cerrado en (X, ).
Proposicion 5.2.4 (Continuidad y bases). Sean (X, ) e (Y, 0 ) dos espacios topologicos y B 0
una base de (Y, 0 ). Son equivalentes:
(a) La aplicacion f : X Y es continua.
(b) Para todo B B0 , se cumple que F 1 (B 0 ) es abierto en (X, ).
Demostracion. Ejercicio.
Ejemplo 5.2.5.
(1) Hay que tener en cuenta que, en general, si f : X Y es continua y A es un abierto en

X, f (A) no tiene por que ser abierto en Y . Por ejemplo la funcion f : R R, dada por
f (x) = sen(x), es continua para la topologa usual y sin embargo, f (R) = [1, 1] que no es un
abierto en R.
(2) Una funcion constante f : X Y es continua respecto cualquier topologa en X y cualquier

topologa en Y .
(3) Si (X, D ) es un espacio topologico discreto, toda aplicacion f : X Y en un espacio

topologico (Y, 0 ) es continua.
(4) Si (Y, T ) es un espacio topologico con la topologa trivial, toda aplicacion f : (X, )
(Y, T ) es continua.
(5) La funcion identidad 1 : (X, ) (X, 0 ) tal que 1(x) = x para cada x X, es continua si,
y solo si es mas fina que 0 .
Proposicion 5.2.6 (Composicion y continuidad). Sean f : (X, ) (Y, 0 ) y g : (Y, 0 )
(Z, 00 ) dos aplicaciones continuas, entonces la composicion g f : X Z es continua.
Demostracion. Si A 00 es un abierto, tenemos que probar que (gf )1 (A) . En efecto, (g

f )1 (A) = f 1 (g 1 (A)), y como g es continua, g 1 (A) 0 , y al ser f continua f 1 (g 1 (A))
.
Definicion 5.2.7 (Aplicacion abierta y aplicacion cerrada). Sean dos espacios topologicos (X, )
e (Y, 0 ), y f : X Y una aplicacion. Diremos que f es abierta si para todo A , f (A) 0
y diremos que f es cerrada si para todo C X cerrado en , f (A) Y , es cerrado en 0 .
Ejemplo 5.2.8.
La proyeccion : (R2 , d2 ) (R, u ) del plano sobre el eje de las x, (x, y) = x es una
aplicacion abierta puesto que la proyeccion de cualquier bola abierta B((a, b), r) sobre el eje de
las x es un intervalo abierto (ar, a+r). Pero no es cerrada puesto que la proyeccion del conjunto
cerrado C = {(x, y) R2 : xy 1} es el intervalo (0, +), que no es cerrado.
.. B((a, b), r) ..
.. ..
.. ..
.. .. C
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
.. ..
. .
(a r, a + r) (0, +)

La ultima parte de esta seccion esta dedicada al estudio de los homeomorfismos. Este concepto
tiene mucha importancia en Topologa, ya que dos espacios topologicos que sean homeomorfos
se pueden considerar iguales topologicamente.
Definicion 5.2.9 (Homeomorfismo). Dados dos espacios topologicos (X, ) e (Y, 0 ), se llama
homeomorfismo entre (X, ) e (Y, 0 ) a una aplicacion biyectiva f : X Y tal que tanto f
como su inversa f 1 sean continuas (se dice que f es bicontinua). Diremos que dos espacios
topologicos son homeomorfos si existe un homeomorfismo entre ellos.
Diremos que una propiedad en un espacio topologico una propiedad topologica si es invariante
por homeomorfismos.
La siguiente caracterizacion de los homeomorfismos es consecuencia inmediata de las definiciones

y de las proposiciones 5.2.2 y 5.2.3.
Proposicion 5.2.10. Sea f : X Y una aplicacion biyectiva entre espacios dos topologicos
(X, ) e (Y, 0 ).Son equivalentes:
a) f es un homeomorfismo.
5.3. CONTINUIDAD UNIFORME. ISOMETRIAS 51
b) Un subconjunto A X es abierto (A ) si y solo si f (A) 0 .
c) Un subconjunto C X es cerrado si y solo si f (C) es cerrado en (Y, 0 ).
Ejemplo 5.2.11.
(1) Dos espacios topologicos triviales son homeomorfos si y solo si existe una biyeccion entre
ellos.
(2) Lo mismo pasa si se consideran dos espacios topologicos discretos.
(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) es tambien continua.
(4) La funcion f : (1, 1) R definida por f (x) = tan 2 x es un homeomorfismo ya que f

es biyectiva y continua y tambien lo es f 1 . Esto implica que (1, 1) y R son topologicamente

equivalentes.
(5) La longitud y la acotacion no son propiedades topologicas. En el ejemplo anterior, (1, 1) y

R tienen longitudes diferentes y, ademas, el primero de ellos esta acotado y el segundo no.
(6) El que una sucesion sea de Cauchy tampoco es una propiedad topologica puesto que
1
f : (0, +) (0, +) con f (x) =
x
es homeomorfismo y a la sucesion de Cauchy ( n1 )n le corresponde por f la sucesion (n)n que no
es de Cauchy.
5.3 Continuidad uniforme. Isometras
En el caso de los espacios metricos, ademas de las aplicaciones continuas, hay otras clases de
aplicaciones interesantes:
Definicion 5.3.1 (Funcion uniformemente continua). Diremos que una aplicacion entre espa-
cios metricos f : (X, d) (Y, d0 ) es uniformemente continua si para cada > 0 existe un
> 0 tal que para todo x, y X con d(x, y) < se verifica que d0 (f (x), f (y)) < .
Ejemplo 5.3.2.
Obviamente, toda aplicacion uniformemente continua es continua, pero el recproco no es cierto:
basta considerar la funcion f (x) = x2 .
Definicion 5.3.3 (Isometra). Dados dos espacios metricos (X, d) e (Y, d0 ), diremos que una apli-
cacion biyectiva f : X Y es una isometra si verifica que para todos los puntos x1 , x2 X,
entonces d(x1 , x2 ) = d0 (f (x1 ), f (x2 )). En este caso decimos que (X, d) e (Y, d0 ) son isometricos.
Proposicion 5.3.4. Una isometra es uniformemente continua.
Proposicion 5.3.5. Si dos espacios metricos son isometricos, entonces tambien son homeomorfos.
Ejemplo 5.3.6.
El recproco de la ultima proposicion no es cierto en general. Si Consideramos R con la distancia
discreta y con la distancia (
2 si x 6= y
d(x, y) =
0 si x = y
la aplicacion identidad es un homeomorfismo que no es isometra.
Captulo 6
Espacios conexos
6.1 Conexos
Definicion 6.1.1 (Conjuntos separados). Dado un espacio topologico (X, ) y dos subconjuntos
A, B X, diremos que A y B estan separados si
AB =AB =
Es evidente que si A y B estan separados, entonces son disjuntos. Sin embargo el recproco no es
cierto como queda de manifiesto en los siguientes ejemplos.
Ejemplo 6.1.2.
(1) En R con la topologa usual, los intervalos (0, 1) y (1, 2) estan separados, pero los intervalos
(0, 1) y [1, 2) no lo estan, a pesar de que son disjuntos.
(2) En (R2 , d2 ) los conjuntos A y B siguientes, estan separados

A = {(x, y) R2 : x2 + y 2 > 1} y B{(x, y) R2 : x2 + y 2 < 1}
(3) En R con la topologa usual, Q y R r Q no estan separados.
Definicion 6.1.3 (Espacio topologico conexo). Diremos que un espacio topologico (X, ) es
conexo si X no es union de dos subconjuntos no vacos y separados. En caso contrario diremos
que X es no conexo.
Proposicion 6.1.4. Sea (X, ) un espacio topologico y dos subconjuntos A, B X disjuntos,

tales que X = A B. Son equivalentes:
(a) X es no conexo (A y B estan separados).
53
54 CAPITULO 6. ESPACIOS CONEXOS
(b) A y B son cerrados.
(c) A y B son abiertos.
Demostracion. -
(a)(b) Supongamos que A y B estan separados, es decir que A B = A B = y veamos

que A es cerrado. Podemos poner
A = A X = A (A B) = (A A) (A B) = A = A
por tanto A = A y es cerrado. Analogamente B tambien es cerrado.
(b)(c) Suponemos ahora que A y B son cerrados, como A B = X, tenemos que (A B)c =
, luego Ac B c = ; esto implica que Ac B y Ac es abierto y como A B = ,, tambien
es B Ac , luego Ac = B y B es abierto. Analogamente A tambien es abierto.
(c)(a) Supongamos que A y B son abiertos y que A B = X. Tal y como hemos visto, esto
quiere decir que Ac B c = , luego Ac B; y como A y B son disjuntos tambien ocurre que
B Ac luego Ac = B, lo que implica que, B es tambien cerrado y B = B de lo que obtenemos
A B = A B = . Analogamente A B = .
Corolario 6.1.5. Un espacio topologico (X, ) es conexo si, y solo si los unicos conjuntos abiertos
y cerrados son X y .
Definicion 6.1.6 (Subconjunto conexo). Dado un espacio topologico (X, ) y un subconjunto

S X, diremos que S es conexo si (S, S ) con la topologa relativa es conexo.
Proposicion 6.1.7. Un subconjunto S de un espacio topologico (X, ) es no conexo si, y solo si

existen dos subconjuntos A, B X separados, tales que A B = S.
Demostracion. Es una consecuencia inmediata de la definicion de topologa relativa y la proposi-

cion 6.1.4.
Ejemplo 6.1.8.
(1) Cualquier espacio topologico con la topologa trivial es conexo.
(2) Cualquier espacio topologico con la topologa discreta es no conexo.
Teorema 6.1.9. Sea (X, ) un espacio topologico y {Ai }iI una familia de subconjuntos conexos
no vacos de X, tales que no estan separados dos a dos. Entonces A = iI Ai es conexo.
Demostracion. Hagamos la prueba por reduccion al absurdo. Supongamos que A = iI Ai es

no conexo; entonces existe B A, B 6= A no vaco que es abierto y cerrado en (A, A ).
6.2. CONEXOS EN R 55
Como B 6= , existe x B A y como B 6= A existe y A, y / B. Por tanto existen ix , iy I

tales que x Aix e y Aiy . Entonces B Aix 6= es abierto y cerrado en (Aix , ix ) que es
conexo por hipotesis, luego B Aix = Aix lo que implica que Aix B.
De la misma forma (ArB)Aiy 6= es abierto y cerrado e (Aiy , iy ), luego (ArB)Aiy = Aiy ,

lo que implica que Aiy B r A.
Pero A y B r B estan separados en (A, A ) pues son dos abiertos y cerrados no vacos cuya union
es A, lo que lleva consigo que Aix y Aiy tambien estan separados, en contra de la hipotesis, lo que
concluye la prueba.
Corolario 6.1.10. Si (X, ) es un espacio topologico y {Ai }iI es una familia de subconjuntos
conexos no vacos de X tales que Ai Aj 6= para cada par i, j I. Entonces A = iI Ai es
conexo.
6.2 Conexos en R
Lema 6.2.1. Sea (R, u ) y un subconjunto I R. Son equivalentes:
(a) I es un intervalo.
(b) Para cada x, y I, x y, se verifica que [x, y] I.
Demostracion. Solo tenemos que probar que (b) implica (a). En efecto, si se cumple (b), llamem-
os
a = inf I y b = sup I
teniendo en cuenta que si I no esta acotado inferiormente, a = y si I no esta acotado

superiormente, b = +. Vamos a ver que ha de ocurrir que (a, b) I [a, b], cometiendo
un pequeno abuso de notacion en el caso de que a = o bien b = +; con lo cual I sera un
intervalo.
Si z (a, b), tenemos que a < z y por la definicion de a como un nfimo, existe x I tal que
x < z; de la misma manera tenemos que z < b y por la definicion de b como un supremo, existe
y I tal que z < y, entonces, como x < y con x, y I, por la hipotesis (b), z [x, y] I,
luego (a, b) I. I [a, b] por la propia definicion de a y de b
Teorema 6.2.2 (Conexos en (R, u )). Un subconjunto S R, con la topologa usual, es conexo
si, y solo si S es un intervalo o un conjunto unitario.
Demostracion. -
56 CAPITULO 6. ESPACIOS CONEXOS
Supongamos que S es conexo y que no es unitario ni es un intervalo; entonces existen x, y S

tales que [x, y] no esta contenido en S, es decir, existe z (x, y) tal que z
/ S. Consideremos los
conjuntos
A = (, z) S y B = (z, +) S.
Entonces S = A B, siendo A y B separados, en contra de que S es conexo.
Supongamos ahora que S es un intervalo y que es no conexo, esto quiere decir que existen
A, B R, no vacos y separados tales que S = A B, sean x A, y B y supongamos que
x < y. Como S es un intervalo, por el lema anterior, [x, y] S.
Consideremos el conjunto C = [x, y] A, que es no vaco (x A) y esta acotado superiormente

por y; por tanto existe = sup C.
Tenemos entonces que x y, es decir, [x, y] S. Por tanto, o bien A o bien

B, pero no a los dos. Supongamos que A, esto implica que < y. Como A es abierto
en S, por definicion de topologa relativa, existira G abierto en (X, ) tal que A = G S, luego
G, que por ser abierto es entorno de y para algun > 0 ( , + ) G, ademas < y,
luego podemos tomar > 0 tal que + < y, luego + S y por tanto + G S = A,
en contra de que es supremo. De forma analoga se ve que no puede ser de B.
Corolario 6.2.3. R con la topologa usual, es un espacio conexo.
Ejemplo 6.2.4. En R con la topologa usual, S = [0, 1) [2, 3] es no conexo.

6.3 Conexion y continuidad
Teorema 6.3.1. Sean (X ) e (Y, 0 ), dos espacios topologicos, f : X Y una aplicacion

continua y S X un subconjunto conexo en X. Entonces f (S) es conexo en Y .
Demostracion. Supongamos que f (S) es no conexo, entonces existen A, B Y no vacos y

separados tales que f (S) = A B. Como f : S f (S) es continua y A y B son abiertos
y cerrados en f (S) con la topologa relativa, tendremos que f 1 (A) y f 1 (B) seran abiertos y
cerrados en S con la topologa relativa a (X, ), que ademas son no vacos, disjuntos y cumplen
S = f 1 (f (S)) = f 1 (A B) = f 1 (A) f 1 (B)
con lo que S sera no conexo.
Corolario 6.3.2. Sean (X, ) y (Y, 0 ) dos espacios topologicos homeomorfos. Entonces (X, )
es conexo si, y solo si (Y, 0 ) es conexo.
6.3. CONEXION Y CONTINUIDAD 57
Corolario 6.3.3. Un espacio topologico (X, ) es conexo si, y solo si cualquier aplicacion contin-
ua entre X y el espacio discreto {0, 1} es constante f (x) = 0 para todo x X, o bien f (x) = 1
para todo x X).
Lema 6.3.4. Si (X, ) es un espacio topologico no conexo, existe f : X {0, 1} continua y no

constante.
Demostracion. Si (X, ) es no conexo entonces X = A B con A y B abiertos y cerrados

disjuntos. Definimos f (x) = 0 si x A y f (x) = 1 si x B. esta aplicacion es continua puesto
que f 1 ({0}) es abierto y cerrado y lo mismo ocurre para {1}.
Teorema 6.3.5 (de los valores intermedios). Un espacio topologico (X, ) es conexo si, y solo si
cada aplicacion continua f : X R cumple que si x, y X y c R tal que f (x) c f (y),
existe z X tal que f (z) = c.
Demostracion. -
Si X es conexo, f (X) es conexo en R y por tanto es un intervalo.
Supongamos que X fuera no conexo, entonces X = A B con A y B no vacos y separa-

dos. Consideramos una funcion g : X {0, 1} continua como la del lema anterior y tal que
g(A) = {0} y g(B) = {1}. Consideremos la composicion de g con la inclusion i, de {0, 1} en R.
Tendremos una aplicacion g i continua de X en R, que no cumple las hipotesis.
Teorema 6.3.6. Sea (X, ) un espacio topologico, se verifican:
(a) Si H X es un subconjunto conexo y S X tal que H S H, entonces S es

conexo.
(b) Si S es un subconjunto conexo de X, entonces S es conexo.
Demostracion. -
(a)Si S es no conexo, existe f : S {0, 1} no constante y continua. Como H es conexo, la

restriccion de f a H sera constante, por ejemplo f (H) = {0}.
Sea s S, tal que f (s) = 1, como {1} es abierto en {0, 1} y f es continua,f 1 ({1}) es abierto
en S, luego sera f 1 ({1}) = S A, para algun A abierto en (X, ). Entonces s A abierto y
como s H, tendremos por la definicion de adherencia, que A H 6= , luego si x A H
sera f (x) = 0, pero tambien f (x) = 1, ya que x H A S A = f 1 ({1}), lo cual es una
contradiccion.
(b) Es una consecuencia inmediata de (a).

58
Captulo 7
Espacios compactos
7.1 Espacios compactos
Definicion 7.1.1 (Recubrimiento). Sea X un conjunto y sea S X. Un recubrimiento de S es

una familia A = {Ai }iI de subconjuntos de X tales que S = iI Ai . Un subrecubrimiento
es una subfamilia B A que es tambien un recubrimiento de S. Un recubrimiento se dice que
es finito si esta formado por una cantidad finita de conjuntos. En el caso de que (X, ) sea un
espacio topologico, S X y A = {Ai }iI sea un recubrimiento de S tal que cada Ai sea un
abierto de (X, ), se dice que A es un recubrimiento abierto de S.
Ejemplo 7.1.2.
Sea X = R, entonces la familia A = {[n, n]} n=1 es claramente un recubrimiento de S = R,
pero no es un recubrimiento abierto en la topologa usual. Un ejemplo de un subrecubrimiento de
A sera: D = {[2n, 2n]}
n=1 . La familia {(n, n)}n=1 tambien es un recubrimiento abierto de
R, pero no es un subcubrimiento de A.
Definicion 7.1.3 (Espacio compacto). Diremos que un espacio topologico (X, ) es compacto si
todo recubrimiento abierto de X admite un subrecubrimiento finito.
Ejemplo 7.1.4.
(1) El espacio (R, u ) no es compacto.
(2) En cambio (R, cf ) s que lo es.
(3) Si X es un conjunto finito (X, ) es siempre compacto.
(4) (X, T ) siempre es compacto.
(5) Si X es un conjunto infinito (X, D ) no es compacto.
59
60 CAPITULO 7. ESPACIOS COMPACTOS
7.2 Subconjuntos compactos
Definicion 7.2.1 (Subconjunto compacto). Sea (X, ) un espacio topologico y K X un sub-

conjunto. Diremos que K es un conjunto compacto en (X, ) si (K, K ), con la topologa relativa,
es un espacio compacto. En este caso se dice que (K, K ) es un subespacio compacto.
Proposicion 7.2.2. Sea K un subespacio de un espacio topologico (X, ). Entonces K es com-

pacto si y solo si para toda familia {Ai }iI de abiertos en X tal que K iI Ai , existe una
subfamilia finita {Ai }ni=1 tal que K ni=1 Ai .
Demostracion. -
Supongamos que K es compacto y sea K iI Ai , donde {Ai }iI es una familia de abiertos
de (X, ). Entonces, segun la definicion de topologa relativa, {Ai K}iI es un recubrimiento
de K por abiertos de (K, K ), que es compacto, por lo que existen abiertos Ai1 , ..., Ain tales que
K = (Ai1 K) ... (Ain K)
De aqu se deduce que K Ai1 ... Ain .
Supongamos ahora que de todo recubrimiento de K por abiertos de (X, ) se puede extraer
un subrecubrimiento finito y veamos que K es compacto. Para ello, sea {Ai }iI una familia de
abiertos de (K, K ) que recubren K. Entonces, cada abierto Ai se puede escribir de la forma
Ai = Bi K, donde Bi es un abierto en (X, ) y as se tiene que K iI Bi . Por hipotesis,
existiran Bi1 , ..., Bin tales que K Bi1 ... Bin de forma que
K = (Bi1 K) ... (Bin K) = Bi1 ... Bin
y por tanto, K es compacto.
Teorema 7.2.3. Todo subconjunto cerrado C de un espacio topologico compacto (X, ) es com-
pacto.
Demostracion. Sea A = {Ai }iI un recubrimiento de C por abiertos de (X, ). Entonces

A C c es un recubrimiento abierto de X, del cual se puede extraer un subrecubrimiento fini-
to; si este subrecubrimiento finito no contiene a C c , estara formado unicamente por elementos
de A: {Ai1 , ..., Ain } y como C X ya lo tendramos. Si C c esta en el recubrimiento fini-
to, sera de la forma {Ai1 , ..., Ain , C c } y como C X = Ai1 , ..., Ain C c , tenemos que
C Ai1 , ..., Ain .
Teorema 7.2.4. Todo subconjunto compacto de un espacio topologico de Hausdorff, (X, ), es

cerrado en (X, ).
7.3. COMPACTOS EN R Y RN 61
Demostracion. Probemos que K c es abierto, demostrando que es entorno de todos sus puntos.
Sea a
/ K, si x K, x 6= a, como X es Hausdorff, existen abiertos disjuntos Ax y Bx con
a Ax y x Bx ; y esto se puede hacer para cada x 6= a, x K.
Pero {Bx }xK es un recubrimiento de K por abiertos de X del cual se puede extraer un subre-
cubrimiento finito Bx1 , ..., Bxn , para ciertos puntos x1 , ..., xn K. Entonces tomemos
A = Ax1 ... Axn ,
que es abierto y contiene a a y veamos que A K c . Si b A, entonces para cada i = 1, ..., n se

tiene que b Axi , y por tanto b / K. De esta forma A K c .
/ Bxi lo que implica que b
7.3 Compactos en R y Rn
Los compactos en R y en Rn tienen algunas caractersticas especiales dadas por las propiedades
de los numeros reales, que es interesante conocer.
7.3.1 Compactos en R
Teorema 7.3.1 (de Heine-Borel). Todo intervalo cerrado y acotado [a, b], en R con la topologa
usual, es compacto.
Demostracion. Supongamos que {Ai }iI es un recubrimiento abierto de [a, b]. Vamos a ver que
se puede extraer un subrecubrimiento finito.
Consideremos el conjunto siguiente
G = {x R : a x y [a, x] se recubre con una subfamilia finita de {Ai }iI }
(A) G 6= y ademas existe > 0 tal que [a, a + ) G.
En efecto, como a [a, b] iI Ai , existira un j I tal que a Aj , que como es abierto, es

entorno de a y por tanto existe > 0 tal que (a , a + ) Aj y por tanto [a, a + ) Aj , esto
implica que si x [a, a + ), [a, x] [a, a + ) Aj , que es un subrecubrimiento finito. Por
tanto [a, a + ) G.
(B) G es un intervalo pues si x, y G, entonces [x, y] G ya que si z [x, y], [a, z] [a, y] G
y por el lema 6.2.1, pag. 55, G debe ser un intervalo.
(C) b G
Consideremos c = sup{G}, que eventualmente puede ser c = + y tengamos en cuenta que,

como a es cota inferior de G, a < c. Tendremos los siguientes casos:
(C1) Si b < c, entonces b G pues existira, por la definicion de supremo, x G tal que
b < x c y G es un intervalo.
(C2) Si c b, tambien b G pues como [a, b] iI Ai , c Ak para algun k I. Ak es

abierto luego es entorno de c y por tanto existe > 0 tal que (c , c + ) Ak . Pero, como
c = sup{G}, c G, y por tanto [a, c ] Ai1 Ain , con lo cual tenemos que c +
tambien esta en G ya que [a, c + ] tiene un subrecubrimiento finito de la forma
[a, c + ] Ai1 Ain Ak
y esto es una contradiccion con el hecho de que c = sup{G}.
Por tanto, como b G, [a, b] tiene un subrecubrimiento finito.
7.3.2 Compactos en Rn
Lema 7.3.2. Si [c, d] R y x R, con la topologa usual. Entonces S = {x}[c, d] es compacto

en R2 con la topologa usual.
Demostracion. Sea {Ai }iI un recubrimiento abierto de S = {x} [c, d]; vamos a ver que
podemos extraer un subrecubrimiento finito.
Si (x, y) S, como {Ai }iI recubre S, tendremos que (x, y) Aiy con iy I y Aiy es abierto,
luego para algun ry > 0 sera (x, y) B ((x, y), ry ) Aiy . Tengamos en cuenta que
B ((x, y), ry ) = (x ry , x + ry ) (y ry , y + ry )
De tal modo que {(y ry , y + ry )}y[c,d] } es un recubrimiento abierto de [c, d] que, como es
compacto, admitira un subrecubrimiento finito y
[c, d] (y1 ry1 , y1 + ry1 ) (yn ryn , yn + ryn )
y por tanto
{x} [c, d] nj=1 {(x ryj , x + ryj ) (yj ryj , yj + ryj )} =
= nj=1 B ((x, yj ), ryj ) nj=1 Aiyj

Con lo que hemos obtenido un subrecubrimiento finito.
Lema 7.3.3. Si R = [c1 , d1 ] . . . [cn1 , dn1 ] Rn1 es un rectangulo cerrado y x R,

entonces {x} R es un compacto de Rn , siempre con la topologa usual.
7.3. COMPACTOS EN R Y RN 63
Lema 7.3.4. Si [c, d] R, x R y {Ai }iI es un recubrimiento abierto de {x} [c, d], entonces
existe r > 0 tal que (x r, x + r) [c, d] esta recubierto por una cantidad finita de elementos de
{Ai }iI .
Demostracion. Por el lema anterior {x} [c, d] es compacto, por tanto admite un subrecubrim-
iento finito de {Aj }nj=1 {Ai }iI .
Si y [c, d], (x, y) Ak para algun k {1, 2, . . . , n}, que al ser abierto es entorno de (x, y) y
por tanto existe ry > 0 tal que
(x, y) B ((x, y), ry ) = (x ry , x + ry ) (y ry , y + ry ) Ak
Tenemos entonces que {(y ry , y + ry )}y[c,d] es un recubrimiento abierto de [c, d] que es com-
pacto y por tanto admite un subrecubrimiento finito {(yj ryj , yj + ryj )}m
j=1 .
Si ahora tomamos r = min{ryj : j = 1, . . . , m}, tendremos que (x r, x + r) = m

j=1 (x
ryj , x + ryj ) y por tanto
(x r, x + r) [c, d] m
j=1 {(x r, x + r) (yj ryj , yj + ryj )}
m n
j=1 {(x ryj , x + ryj ) (y ryj , y + ryj )} k=1 Ak
y obtenemos el subrecubrimiento finito.
Lema 7.3.5. Si R = [c1 , d1 ] . . . [cn1 , dn1 ] Rn1 es un rectangulo cerrado y x R y

{Ai }iI es un recubrimiento abierto de R, entonces existe r > 0 tal que (x r, x + r) R esta
recubierto por una cantidad finita de elementos de {Ai }iI .
Corolario 7.3.6. Un rectangulo [a, b] [c, d] R2 es compacto.
Demostracion. Si {Ai }iI es un recubrimiento abierto de [a, b] [c, d], tambien es un recubrim-
iento de {x} [c, d] para cada x [a, b] y por el lema anterior, existe rx > 0 tal que el con-
junto (x rx , x + rx ) [c, d] admite un subrecubrimiento finito. Pero {(x rx , x + rx )}x[a,b]
es un recubrimiento abierto de [a, b], que, al ser compacto, admite un subrecubrimiento finito
{(xk rxk , xk + rxk )}mk=1 . entonces tenemos que
[a, b] [c, d] m
k=1 {(xk rxk , xk + rxk ) [c, d]}
y cada uno de los (xk rxk , xk + rxk ) [c, d], esta recubierto por un numero finito de elementos
de {Ai }iI , luego el rectangulo [a, b] [c, d] es union finita elementos de {Ai }iI .
Corolario 7.3.7. [a, b] [c1 , d1 ] . . . [cn1 , dn1 ] Rn es compacto.

Teorema 7.3.8 (de Heine-Borel). Sea K Rn con la topologa usual. Son equivalentes:
(a) K es compacto.
(b) K es cerrado y acotado.
Demostracion. (Haremos la prueba en R2 )
a)b) Como R2 es Hausdorff y K compacto, por la proposicion 7.2.4, K es cerrado. Por otra
parte, si a K la coleccion de bolas {B(a, n)}nN , constituye un recubrimiento abierto de K
que, como es compacto, admite un subrecubrimiento finito, cuya union sera la bola B(a, m) mas
grande y por tanto K B(a, m) y es acotado.
b)a) Si K esta acotado hay alguna bola cerrada tal que K B (a, r) para algun a R2 y
esta bola es un rectangulo cerrado que, por el corolario anterior es compacto. Como K es cerrado
y esta contenido en un compacto, por la proposicion 7.2.3, es compacto.
7.4 Compactos en un espacio metrico
Proposicion 7.4.1. Todo subconjunto compacto K de un espacio metrico (X, d) esta acotado.
Demostracion. Solo es repetir la prueba de la implicacion a)b) del teorema anterior de Heine-
Borel.
Teorema 7.4.2. Sea (X, d) un espacio metrico y (xn )n X una sucesion. Son equivalentes:
(a) (xn )n converge a x X.
(b) Cada subsucesion (xnk )k converge a x.
Demostracion. -
a)b) Supongamos que xn x, entonces para cada > 0, existe no N tal que si n >
no , entonces d(xn , x) < . Esto quiere decir que xn B(x, ) y por tanto que solo hay una
cantidad finita de terminos de la sucesion que no estan en dicha bola. Y esto significa que ninguna
subsucesion (xnk )k , puede tener infinitos terminos fuera de la bola, luego debe ser convergente a
x.
b)a) Es evidente puesto que cualquier sucesion es subsucesion de si misma.
Ejemplo 7.4.3.
7.4. COMPACTOS EN UN ESPACIO METRICO 65
Si una sucesion no converge, no quiere decir ninguna subsucesion es convergente, por ejemplo la
sucesion ((1)n )n , que no es convergente, tiene dos subsucesiones (1, 1, . . . ) que converge a 1 y
(1, 1, . . . ) que converge a 1.
Proposicion 7.4.4. Sea (X, d) un espacio metrico y S X un subconjunto. Son equivalentes:

(a) x X es un punto de acumulacion de S.
(b) Existe en S una sucesion no trivial que converge a x.
Demostracion. -
a)b) Si x S 0 es un punto de acumulacion, para todo r > 0 se cumple que (B(x, r) r {x})
S 6= y esta interseccion contiene infinitos puntos. Construimos entonces la sucesion siguiente
tomando para r > 0 los valores 1, 12 , . . . , n1 , . . . , sucesivamente:
Para r = 1, tomamos x1 (B(x, 1) r {x}) S
Para r = 12 , tomamos x2 (B(x, 12 ) r {x}) S, x1 6= x2
...
Para r = n1 , tomamos xn (B(x, n1 ) r {x}) S, xn1 6= xn
...
Es evidente, tal y como se ha construido, que xn x.
b)a) Sea (xn )n una sucesion en S que converge a x, entonces para todo r > 0, existe nr N
tal que si n > nr entonces xn B(x, r) lo que implica que (B(x, r) r {x}) S 6= y por tanto
x S0.
Definicion 7.4.5 (Conjunto secuencialmente compacto). Sea (X, ) un espacio topologico y

K X un subconjunto, diremos que K es secuencialmente compacto si dada una sucesion
(xn )n en K, existe una subsucesion (xnk )k convergente a un punto de K.
Ejemplo 7.4.6.
(1) Cualquier espacio topologico finito es compacto y secuencialmente compacto.
(2) El intervalo abierto (0, 1), con la topologa inducida por la usual de R, no es secuencialmente
compacto, la sucesion ( n1 )
n=2 (0, 1), converge a 0, y por tanto cualquier subsucesion suya
tambien converge a 0; pero 0 / (0, 1).
Definicion 7.4.7 (Espacio totalmente acotado). Dado un espacio metrico (X, d) y T X un

subconjunto, diremos que T es totalmente acotado, si para cada r > 0 existe un numero finito de
puntos x1 , ..., xn T tales que T B(x1 , r) ... B(xn , r).
Proposicion 7.4.8. Si (X, d) es un espacio metrico y T X, se verifican:

(a) Si T es compacto, entonces T es totalmente acotado.
(b) Si T es totalmente acotado, T es acotado.
Ejemplo 7.4.9.
(1) (0, 1) R con la metrica usual es totalmente acotado, pero no es compacto.
(2) R con la distancia discreta es un espacio metrico acotado, pero no es totalmente acotado.
Proposicion 7.4.10. Si (X, d) es un espacio metrico y K X es secuencialmente compacto,

entonces K es totalmente acotado.
Demostracion. Supongamos que K es secuencialmente compacto y no es totalmente acotado.

Existira r > 0 de modo que no existe un recubrimiento finito de K con bolas de radio r y centro
en un punto de K. Vamos a construir un sucesion de la siguiente manera:
Tomamos x1 K arbitrario y x2 K, tal que d(x1 .x2 ) r, que existe puesto que si no existiera
B(x1 , r) sera un recubrimiento finito de K; tomamos x3 K tal que d(x, x2 ), d(x2 , x3 ) r
que existe pues en caso contrario {B(x1 , r), B(x2 , r)} sera un recubrimiento finito de K y as
sucesivamente. Obtenemos una sucesion (xn )n en K que verifica que d(xn , xm ) r si n 6= m,
que no tiene ninguna subsucesion convergente K, pues si tuvieramos (xnk )k con limk xnk = x
K, dado r > 0 existira kr N tal que si nk > nkr , d(xnk , x) < 2r con lo que tendramos que si
nk , nm > nr
r r
d(xnk , xnm ) d(xnk , x) + d(x, xnm ) < + = r
2 2
en contra de que d(xnk , xnm ) r, puesto que los terminos de la subsucesion tambien estan en la
sucesion; y entonces K no sera secuencialmente compacto.
Lema 7.4.11 (Lema de Lebesgue). Si (X, d) es un espacio metrico y K X un subconjunto

secuencialmente compacto y {Ai }iI es un recubrimiento abierto de K, entonces existe r > 0 tal
que para cada x K existe i I de modo que B(x, r) Ai . (A este r > 0 se le llama numero
de Lebesgue del recubrimiento).
Demostracion. Supongamos que {Ai }iI es un recubrimiento abierto de K para el que no existe
ningun numero de Lebesgue. Entonces para cada n N existira xn K tal que B(xn , n1 ) no esta
contenido en ningun Ai para todo i I.
Como K es secuencialmente compacto, ha de existir una subsucesion (xnk )k convergente a un

punto x K. Ademas, como {Ai }iI es un recubrimiento de K, x Aj para algun j I. Aj es
abierto en, luego existe un nj N tal que B(x, n2j ) Aj .
1
Como la subsucesion anterior es convergente a x, dado nj > 0, existira un r0 N tal que si
1
nr nr0 , xnr B(x, nj ).
7.4. COMPACTOS EN UN ESPACIO METRICO 67
Tomemos ahora nr nr0 tal que tambien sea nr nj . Entonces, B(xnr , n1r ) B(x, n2j ), ya
que si y B(xnr , n1r ), entonces
1 1 2
d(x, y) d(x, xnr ) + d(xnr , y) < +
nj nr nj
De aqu se deduce que B(xnr , n1r ) Aj , en contradiccion con la hipotesis.
Teorema 7.4.12 (de Heine-Borel-Lebesgue). Sea (X, d) un espacio metrico y K X. Son

equivalentes:
(a) K es compacto.
(b) Todo subconjunto S K infinito, tiene un punto de acumulacion en K.
(c) K es secuencialmente compacto.
Demostracion. -
a)b) Supongamos que K es compacto y que S K es un subconjunto infinito que no tiene

ningun punto de acumulacion, entonces para cada x K, existe un rx > 0 tal que la bola B(x, rx )
no corta a S o bien solo corta a S en el propio x.
Si consideramos la familia {B(x, rx )}xK , tenemos un recubrimiento abierto de K que, al ser

compacto, admite un subrecubrimiento finito. Este subrecubrimiento finito tambien recubre a S
con lo que segun lo visto en el parrafo anterior S sera finito, en contra de la hipotesis.
b)c) Si (xn )n es un sucesion en K con infinitos terminos iguales a x, no hay nada que probar
pues ella misma converge a x. Supongamos entonces que (xn )n es una sucesion en K, con in-
finitos terminos distintos. Segun b), dicha sucesion tiene un punto de acumulacion x K y por
la proposicion 7.4.4, existe una subsucesion de (xn )n convergente a x y K sera secuencialmente
compacto.
c)a) Supongamos que K es secuencialmente compacto y que {Ai }iI es un recubrimiento

abierto de K. Por el lema de Lebesgue anterior, existe r > 0 un numero de Lebesgue para
este recubrimiento. Entonces, como por la proposicion 7.4.10, K es totalmente acotado, existe
un recubrimiento finito de X por bolas de radio r, {B(x1 , r), ..., B(xn , r)}. Pero como ca-
da bola B(xi , r) ha de estar contenida en un abierto del recubrimiento {Ai }iI , tendremos que
{A1 , ..., An } es un subrecubrimiento finito de X.
7.4.1 Compactos en Rn de nuevo
Despues de lo que acabamos de ver en lo referente a espacios metricos y compacidad, podemos

completar el teorema 7.3.8 de Heine-Borel que vimos en la seccion 7.3.2. Rn es un espacio
metrico, con lo que podemos aplicar los resultados anteriores y unirlos al citado teorema, que
podemos enunciar ahora de la siguiente forma:
Teorema 7.4.13 (de Heine-Borel-Lebesgue). Sea K Rn con la topologa usual. Son equiva-
lentes:
(a) K es compacto.
(b) K es cerrado y acotado.
(c) Todo subconjunto S K infinito, tiene un punto de acumulacion en K.
(d) K es secuencialmente compacto.
7.5 Compactos y funciones continuas
Teorema 7.5.1. Si f : (X, ) (Y, 0 ) es una aplicacion continua entre espacios topologicos
y K X es compacto, entonces f (K) es compacto en (Y, 0 ).
Demostracion. Supongamos que {Ai }iI es un recubrimiento abierto de f (K) en (Y, 0 ). En-
tonces, como K = f 1 (K) = f 1 (iI Ai ) = iI f 1 (Ai ), tendremos que {f 1 (Ai )}iI
es un recubrimiento abierto de K que, como es compacto admite un subrecubrimiento finito
K = f 1 (A1 ) f 1 (An ) = f 1 (A1 An ), lo que implica que {A1 , ..., An } es
un subrecubrimiento finito de f (K).
Corolario 7.5.2. Si (X, ), (Y, 0 ) son espacios topologicos homeomorfos. Son equivalentes:
(a) (X, ) es compacto.
(b) (Y, 0 ) es compacto.
Corolario 7.5.3. Si (X, ) es un espacio topologico y K X un subconjunto compacto, entonces

toda funcion continua f : X R esta acotada en K.
Corolario 7.5.4 (Teorema de Weierstrass). Si (X, ) es un espacio topologico y K X es un

subconjunto compacto, entonces toda funcion continua f : X R alcanza sus extremos en K.
Demostracion. f (K) es un subconjunto compacto de R y por tanto, es cerrado y acotado. Por ser
acotado, existen c = inf{f (K)} y d = sup{f (K)}; y por ser cerrado, existiran c, d f (K), de
modo que existen x, y K tales que f (x) = c y f (y) = d.
Corolario 7.5.5. Sea f : R R una aplicacion continua. Entonces el conjunto imagen f ([a, b])
es un intervalo cerrado y acotado [c, d].
7.6. PROPIEDAD DE LA INTERSECCION FINITA 69
Proposicion 7.5.6. Toda aplicacion continua f : (X, d) (Y, d0 ) entre espacios metricos,
donde (X, d ) es compacto, es uniformemente continua.
Demostracion. Como f es continua, dado x X y dado > 0, existe x >= tal que si d(y, x) <
x , entonces d0 (f (x), f (y)) < 2 .
Entonces, fijado > 0, la coleccion de bolas {B(x, 2x )}xX constituye un recubrimiento abierto
de X que, al ser compacto admite un subrecubrimiento finito {B(xi , 2i )}ni=1 .
Tomemos = min{ 2i : i = 1, 2, . . . , n}. Tomemos x, y X arbitrarios cumpliendo d(x, y) < ;

tendremos que x B(xk , 2k ) para algun k {1, . . . , n} y entonces
k
d(y, xk ) d(y, x) + d(x, xk ) < + k
2
lo que implica que

d0 (f (y), f (xk )) <
2
y entonces

d0 (f (x), f (y)) d0 (f (x), f (xk )) + d0 (f (xk ), f (y)) < + =
2 2
y f es uniformemente continua.
Corolario 7.5.7. Toda funcion real continua, definida en un intervalo cerrado y acotado [a, b], es
uniformemente continua.
7.6 Propiedad de la interseccion finita
Definicion 7.6.1 (Propiedad de la interseccion finita). Sea F una familia de subconjuntos de

un conjunto Y ; se dice que F tiene la propiedad de la interseccion finita si la interseccion de
cualquier subfamilia finita de F es no vaca.
Ejemplo 7.6.2.
(1) La familia {(0, n1 )}nN de subconjuntos de R tiene la propiedad de la interseccion finita.
(2) La familia {[n, n + 1]}nN de subconjuntos de R no tiene la propiedad de la interseccion finita.

Proposicion 7.6.3. Sea (X, ) un espacio topologico. Son equivalentes:

(a) X es compacto.
(b) Toda familia {Fi }iI de cerrados en X que tiene la propiedad de la interseccion finita
tiene interseccion no vaca.
Demostracion. -
a)b) Supongamos que X es compacto y que {Fi }iI es una familia de subconjuntos cerrados
de X con la propiedad de la interseccion finita tal que iI Fi = ; si tomamos complementarios
tendremos que iI Fic = X, luego, como los Fic son abiertos, tenemos un recubrimiento abierto
de X que, por ser compacto, admite un subrecubrimiento finito y F1c Fnc = X, tomando
de nuevo complementarios tendremos que F1 Fn = en contra de que la familia {Fi }iI
tiene la propiedad de la interseccion finta.
b)a) Supongamos que se cumple b) y que X no es compacto, esto quiere decir que existe un
recubrimiento abierto {Ai }iI del cual no se puede extraer un subrecubrimiento finito. Tendremos
entonces que iI Ai = X, por tanto tomando complementarios iI Aci = , lo cual implica
que la familia de cerrados {Aci }iI no tiene la propiedad de la interseccion finita y por tanto, al
cumplirse b), debe existir una subfamilia finita cuya interseccion es vaca Ac1 Acn = ; si
ahora tomamos complementarios A1 An = X y tendramos un subrecubrimiento finito de
{Ai }iI lo que llevara a que X fuera compacto, en contra de lo supuesto.
Ejemplo 7.6.4.
(R, u ) no es compacto, ya que la familia de cerrados {[z, +)} tiene la propiedad de la intersec-
cion finita, y sin embargo la interseccion de todos los elementos de esta familia es vaca.
Captulo 8
Espacios completos
8.1 Sucesiones de Cauchy
Definicion 8.1.1 (Sucesion de Cauchy). Diremos que una sucesion (xn )

n=1 en un espacio metrico
(X, d) es de Cauchy si para todo > 0 existe un no tal que si n, m > no se cumple que
d(xn , xm ) < .
El concepto de sucesion de Cauchy depende de la distancia d como se pone de manifiesto en los

ejemplos siguientes. Ademas como vimos en el ejemplo 5.2.11 6), tampoco es una propiedad
topologica ya que no se conserva mediante homeomorfismos.
Ejemplo 8.1.2.
(1) Las unicas sucesiones de Cauchy en un espacio metrico discreto son las de cola constante.
(2) ( n1 )
n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |).
(3) La sucesion (n)

n=1 no es de Cauchy en (R, | |).
Proposicion 8.1.3. Si una sucesion (xn )

n=1 en un espacio metrico (X, d) converge a x X,

entonces (xn )n=1 es de Cauchy.
Demostracion. Como xn x, para todo > 0 existe un no tal que si n > no , entonces
d(xn , x) < 2 . As, para todo n, m > no se tiene

d(xn , xm ) d(xn , x) + d(x, xm ) < + =
2 2
El recproco de este resultado no es cierto en general.
71
72 CAPITULO 8. ESPACIOS COMPLETOS
Ejemplo 8.1.4.
La sucesion ( n1 )nN es de Cauchy en ((0, +), | |) y sin embargo no converge.
Lema 8.1.5. Si (xn )

n=1 es una sucesion de Cauchy en un espacio metrico (X, d) tal que existe
una subsucesion (xnk )
k=1 que converge a x, entonces la sucesion (xn )n=1 tambien converge a x.
Demostracion. Como (xn ) n=1 es de Cauchy, dado > 0 existe un n1 tal que para todo n, m > n1
se cumple que d(xn , xm ) < 2 .
Por otra parte la subsucesion (xnk )k es convergente a x, luego existe un ko tal que si nk > nko se
cumple d(xnk , x) < 2 .
Consideremos no = max{n1 , nko }, y tomemos n > no y k tal que nk > no , entonces

d(xn , x) d(xn , xnk ) + d(xnk , x) < + =
2 2
y la sucesion (xn )
n=1 converge a x.
Proposicion 8.1.6. Toda sucesion de Cauchy en un espacio metrico (X, d) esta acotada.
Demostracion. Consideremos = 1, por el hecho de ser de Cauchy existe no tal que si m, n > no
se tiene que d(xn , xm ) < 1, de modo que si n > no , xn B(xno +1 , 1). Solo quedan un numero
finito de terminos que pueden estar fuera de esta bola. Sea
r = max{d(x1 , xno ), ..., d(xno , xno +1 )}
Para todo n se cumple d(xn , xno +1 ) r. As,
{xn : n = 1, ..., } B(xno +1 , r + 1)
8.2 Espacio metrico completo
Definicion 8.2.1 (Espacio completo). Diremos que un espacio metrico (X, d) es completo si toda
sucesion de Cauchy es convergente.
Ejemplo 8.2.2.
(1) Todo espacio metrico discreto es completo.
(2) (0, ) no es completo con la distancia usual.

8.2. ESPACIO METRICO COMPLETO 73
Proposicion 8.2.3. El espacio Rn con cualquiera de las tres metricas d1 , d2 , d es completo.
Demostracion. Sea (xn ) n=1 una sucesion de Cauchy que, por la proposicion anterior esta acotada,
luego esta contenida en una bola cerrada, que por el teorema de Heine-Borel-Lebesgue 7.4.13, es
compacto; entonces segun este mismo teorema, dicha sucesion tiene una subsucesion convergente.
Aplicando ahora el Lema 8.1.5 (xn ) n=1 tambien es convergente.
Proposicion 8.2.4. Todo espacio metrico compacto es completo.
Demostracion. Sea (X, d) un espacio metrico compacto y sea (xn ) n=1 una sucesion de Cauchy en
X. Como (X, d ) es compacto, tambien es secuencialmente compacto, luego existe una subsuce-
sion de (xn )
n=1 , (xnk )k=1 , convergente y como consecuencia del Lema 8.1.5 (xn )n=1 tambien es
convergente.
La implicacion recproca no es cierta, pero s que se cumple si se considera una hipotesis adi-
cional, la de ser totalmente acotado. La demostracion siguiente es algo complicada. Ademas, esta
propiedad justifica que los espacios metricos totalmente acotados reciban tambien el nombre de
precompactos.
Proposicion 8.2.5. Todo espacio metrico completo y totalmente acotado es secuencialmente com-
pacto.
Demostracion. Sea (X, d) un espacio metrico completo y totalmente acotado, sea (xn )
n=1 una
sucesion en X. Vamos a construir una subsucesion de Cauchy que sera convergente al ser X
completo y por tanto X sera secuencialmente compacto.
Si la sucesion es finita no hay nada que probar, pues tiene infinitos terminos iguales y ya tenemos
la subsucesion convergente. Supongamos entonces que la sucesion S = (xn ) n=1 tiene infinitos
terminos distintos. Como X es totalmente acotado y S X, S tambien es totalmente acotado, por
tanto dado 21 existe un numero finito de bolas con este radio que recubren S. Como S es infinito,
una de estas bolas contendra infinitos puntos de dicha sucesion S, llamemos a esta bola B1 .
Consideremos ahora B1 S. Este conjunto es tambien totalmente acotado, de modo que si con-
sideramos 212 , B1 S estara recubierto por un numero finito de bolas de radio 212 y de ellas, al
menos una, que llamaremos B2 , contendra una cantidad finita de terminos de la sucesion.
As sucesivamente hemos construido una sucesion de bolas Bk de radio 21k , cada una de las cuales
tiene infinitos terminos de la sucesion y que, segun se han construido, dos a dos tienen interseccion
no vaca.
Vamos a construir la subsucesion de la siguiente manera:

El primer termino sera un termino arbitrario de la sucesion que este en B1 y le llamamos xn1 ,
como en B2 hay infinitos terminos de la sucesion, existe un termino de la sucesion xn2 6= xn1
y con n2 > n1 , as sucesivamente construimos una subsucesion (xnk )k , tal que cada xnk Bk .
Veamos que esta subsucesion es de Cauchy. Si p, q N con p < q, como Bp Bq 6= , tendremos
que si y Bp Bq
1 1 1 1 1
d(xnp , xnq ) d(xnp , y) + d(y, xnq ) p
+ q < p + p = p1
2 2 2 2 2
1
Por tanto, dado > 0, existe m tal que 2m1
< y si p, q > m (con p > q por ejemplo), entonces
1 1
d(xnp , xnq ) < < <
2p1 2m1
y la subsucesion es de Cauchy.
Teniendo en cuenta que todo espacio metrico compacto es secuencialmente compacto, podemos
expresar los dos resultados anteriores en el siguiente teorema:
Teorema 8.2.6. Un espacio metrico (X, d) es compacto si, y solo si (X, d) es completo y total-
mente acotado.
Proposicion 8.2.7. Todo subespacio cerrado de un espacio completo es completo.
Demostracion. Sea (X, d) un espacio metrico completo y sea H X cerrado.
Sea (xn )
n=1 una sucesion de Cauchy en H. Evidentemente, tambien es sucesion de Cauchy en
X. Por tanto, converge a un punto x X. Como H cerrado x H, y (xn ) n=1 converge a x en
H.
Proposicion 8.2.8. Todo subespacio completo de un espacio metrico es cerrado.
Demostracion. Sea (X, d) un espacio metrico y sea H X tal que (H, dH ) es completo. Veamos
que H es cerrado comprobando que H = H. Si x H, entonces existe una sucesion en H,
(xn )
n=1 , que converge a x y por tanto es de Cauchy, tanto en X como en H. Como (H, dH ) es
completo la sucesion (xn ) 0
n=1 converge en H a un punto x . Pero (X, d) es un espacio metrico y
por tanto de Hausdorff y x = x0 . Es decir, x H.
8.3 Algunos resultados interesantes
Teorema 8.3.1 (Teorema de Encaje de Cantor). Sea (X, d) un espacio metrico completo y sea
{Cn }n=1 una sucesion decreciente de cerrados en X, no vacos y tales que la sucesion de sus
diametros converge a 0. Entonces n=1 Cn es exactamente un punto.
8.3. ALGUNOS RESULTADOS INTERESANTES 75
Demostracion. Que la sucesion de cerrados es decreciente quiere decir que C1 C2

Cn . . . .
Sea (xn )
n=1 una sucesion en X de manera que xn Cn para cada n N .
Veamos que esta sucesion es de Cauchy:
Como los diametros de ((Cn ))n forman una sucesion que tiende a 0, tendremos que dado > 0,
existe no N tal que si n > no , (Cn ) < . Por tanto, como la sucesion de cerrados es
decreciente, tenemos que si n, m > no , con m > n, xn , xm Cn y entonces d(xn , xm ) <
(Cm ) < y la sucesion es de Cauchy.
Entonces, como X es completo (xn )n es convergente a un punto x X.
Veamos que x nN Cn . Supongamos que no fuera as, entonces existe k N tal que x / Ck y
r
como Ck es cerrado, tenemos que d(x, Ck ) = r > 0, con lo que la bola B(x, 2 ) y Ck no tienen
puntos comunes, pero si n > k, xn Ck (la sucesion de cerrados es decreciente), lo que implica
que xn / B(x, 2r ), lo cual es imposible puesto que xn x.
Veamos por fin que este punto es el unico en la interseccion. Supongamos que existe otro punto
y nN Cn , entonces d(x, y) (Cn ) para todo n N y como limn (Cn ) = 0, ha de ser
d(x, y) 0, pero d es una distancia, luego d(x, y) = 0. Por tanto x = y.
Teorema 8.3.2 (Baire). Sea (X, d) un espacio metrico completo y sea {An }
n=1 una sucesion de
abiertos de X tales que An es denso en X para cada n N. Entonces se cumple que n=1 An es
denso en X.
Demostracion. Es suficiente probar que todo abierto no vaco de X corta a

n=1 An . Sea A X
un abierto. Como A1 es denso, A A1 es no vaco y por tanto x1 A A1 y A A1 es abierto,
luego existe r1 < 1 tal que la bola cerrada B(x1 , r1 ) A A1 .
Como la bola B(x1 , r1 ) es abierto y no vaco y A2 es denso resulta que B(x1 , r1 ) A2 es no vaco
y por tanto existe x2 B(x1 , r1 ) A2 y es abierto luego existe r2 < 21 tales que
B(x2 , r2 ) B(x1 , r1 ) A2 A A1 A2
As, por induccion se puede construir una sucesion de bolas {B(xn , rn )}

n=1 tales que para cada
1
n N, rn < n , y B(xn , rn ) A A1 ... An .
Si consideramos las bolas cerradas, la familia {B(xn , rn )} n=1 cumple la hipotesis del Teorema
de encaje de Cantor, y por tanto su interseccion es un unico punto:

n=1 B(xn , rn ) = {x}, x X
As, tal y como se han construido estas bolas, x A (

n=1 An ) y n=1 An es denso.
8.4 Completado de un espacio metrico
es el completado
Definicion 8.4.1 (Espacio completado). Diremos que un espacio metrico (X, d)
es completo y X es isometrico a un subconjunto denso de
de un espacio metrico (X, d) si (X, d)
X.
Ejemplo 8.4.2.
(R, | |) es un completado de (Q, | |).
Teorema 8.4.3. Sea X un conjunto cualquiera. Entonces el espacio metrico (B(X, R), d ) con
B(X, R) = {f : X R : f acotada} y d (f, g) = sup{| f (x) g(x) |: x X}, es un
espacio metrico completo.
Demostracion. Sea (fn )

n=1 una sucesion, de funciones, de Cauchy en (B(X, R), d ). Entonces
para cada x X la sucesion de numeros reales (fn (x))
n=1 , es una sucesion de Cauchy en (R, |
|).
Como (R, | |) es completo se tiene que, para cada x X, (fn (x)) n=1 converge a un punto en R
que llamaremos f (x). A partir de estos lmites definimos una funcion, f : X R, tal que a
cada x X le hace corresponder el lmite de la sucesion (fn (x))
n=1 , que hemos llamado f (x).
Veamos que (fn )n converge a f . Como la sucesion es de Cauchy, tendremos que para todo > 0,
existe no tal que si m, n > no , entonces d (fn , fm ) = sup{|fn (x) fm (x)| : x X} < . En
particular, si tomamos n > no fijo y p N, tendremos que
d(fn , fn+p ) = sup{|fn (x) fn+p (x)| : x X} <
Entonces tendremos que para todo x X, se cumple que
|fn (x) fn+p (x)| <
Si ahora tomamos lmites cuando p , tendremos que, para todo x X
|fn (x) fn+p (x)| |fn (x) f (x)|
lo que implica que |fn (x) f (x)| < y por tanto la conclusion es que si n > no entonces
d (fn , f ) = sup{|fn (x) f (x)| : x X} <
lo que implica que (fn )n converge a f .
Esto tambien implica que f B(X, R), es decir, esta acotada, pues como (fn )n es de Cauchy, por
la proposicion 8.1.6, esta acotada, luego existe M > 0 tal que (fn )n B(0, M ), con 0 la funcion
8.5. EJERCICIOS 77
identicamente nula, es decir d (0, fn ) < M para todo n N. Entonces, dado 1 > 0, como (fn )n
converge a f , existe un n1 tal que si n > n1 , entonces d (fn , f ) < 1. Por tanto podemos poner
d (0, f ) d (0, fn ) + d (fn , f ) < M + 1
Proposicion 8.4.4. Existe un completado de cualquier espacio metrico (X, d).
Demostracion. Sea a X fijo. Definimos la aplicacion : X B(X, R) como x : X

R, tal que x (y) = d(y, x) d(y, a). x B(X, R) puesto que
d (0, ) = sup{|x (y)| : y X} = sup{|d(y, x) d(y, a)| : y X} = d(x, a)
Ademas es una isometra puesto que
d (x , z ) = sup{|d(y, x) d(y, z)| : y X} = d(x, z)
Si ahora consideramos la adherencia (X) en B(X, R), con la distancia inducida, tenemos que
por la proposicion 8.2.7, (X) es completo por ser cerrado en B(X, R) que es completo. Ya
hemos encontrado un completado de X.
8.5 Ejercicios
1. Pruebe que toda sucesion de Cauchy en un espacio metrico es totalmente acotada.[Lipschutz],

pag. 199
2. Sea (X, d) un espacio metrico. Una aplicacion f : X X se llama contractiva, si existe

k R con 0 k < 1, tal que para todo x, y X, d(f (x), f (y)) kd(x, y). Pruebe:
a) Si f es contractiva, entonces f es continua.
b) Si f es contractiva y (X, d) es completo, existe x X tal que f (x) = x (Teorema del
punto fijo)
[Lipschutz], pag. 201
3. En el teorema de punto fijo del ejercicio anterior, las hipotesis son necesarias:
a) Completitud. Demuestre que la aplicacion f : (0, 31 ) (0, 13 ) dada por f (x) = x2
es una contractiva y que no tiene punto fijo.
b) Contractiva. Demuestre que la aplicacion f : [1, ) [1, ) dada por f (x) =
x + x1 no cumple | f (x) f (y) |<| x y | y no tiene punto fijo.
4. El Teorema de Encaje de Cantor necesita de todas las hipotesis:

a) Espacio metrico completo. Demuestre que {(0, n1 ]} n=2 es una sucesion de conjun-
tos cerrados de ((0, 1), | |) tales que sus diametros convergen a 0 y, sin embargo, su
interseccion es el vaco.
b) Conjuntos cerrados. Demuestre que {(0, n1 )} n=1 es una sucesion de conjuntos no
cerrados en R tales que sus diametros convergen a cero y su interseccion es el vaco.
c) Sucesion de diametros convergente a 0. Demuestre que {[n, )} n=1 es una sucesion
decreciente de conjuntos cerrados en R tales que su interseccion es el vaco.
5. Sea (X, d) un espacio metrico. Demuestre que si A, B X son completos, entonces A B

tambien es completo. [Fleitas], pag. 180
6. Sea (xn )n una sucesion en un espacio metrico (X, d) y sea la sucesion de conjuntos
A1 = {x1 , x2 , . . . }, A2 = {x2 , x3 , . . . }, . . . , An = {xn , xn+1 , . . . }
Pruebe que (xn )n es una sucesion de Cauchy si, y solo si la sucesion de los diametros
((An ))n , converge a 0. [Lipschutz], pag. 199
REFERENCIAS
[Lipschutz]: Topologa General. Autor: S. Lipschutz. Serie Schaum. Ed. McGraw-Hill.

1970
[Fleitas]: Problemas de Topologa General. Autores: G. Fleitas y J. Margalef. Ed. Alham-

bra 1983

1 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

1 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Captulo 1

N sera el conjunto de los numeros naturales o enteros positivos.

Z sera el conjunto de los numeros enteros.

Q sera el conjunto de los numeros racionales.

R sera el conjunto de los numeros reales.

C sera el conjunto de los numeros complejos.

Interseccion de la familia A como el conjunto de todos los elementos que pertenecen a

Proposicion 1.1.3 (Propiedad distributiva). Sea {Ai : i I} una familia de conjuntos y B un

(2) Se realiza de forma analoga.

Definicion 1.1.4 (Complementario). Dado A E, definimos el complementario de A en X

Esta claro que (Ac )c = A

Proposicion 1.1.5 (Leyes de Morgan). Sea {Ai : I I} una familia de subconjuntos Ai X,

Demostracion. Vamos a ver la demostracion de la propiedad 1). La 2) se hara de forma analoga.

Si x ii Aci , x / ii Ai , por tanto x ( ii Ai )c .

Definicion 1.1.6 (Diferencia de conjuntos). Dados dos conjuntos A y B, definimos la diferencia

Proposicion 1.1.7. Sean A, B X, entonces se verifican:

4. Para la diferencia de conjuntos se verifican las Leyes de Morgan.

Un concepto tan importante y basico como el de conjunto, y que tambien es conocido, es el de

Definicion 1.2.2 (Imagen e imagen inversa). Si A X, el conjunto imagen de A, es el subcon-

formado por todas las imagenes f (x) tales que x A.

Si B Y , la imagen inversa de B es el subconjunto

formado por aquellos elementos tales que su imagen pertenece a B.

Si y Y , se usara la notacion f 1 (y) = f 1 ({y}), pero observese que es un subconjunto de X

(1) Si x A, entonces y = f (x) f (A) Y , luego x f 1 (f (A)).

Ejemplo 1.2.4. Las inclusiones anteriores no son ,en general, igualdades.

(1) Consideremos la parabola f : R R, f (x) = x2 .

(2) Consideremos el seno de x, f : R R, f (x) = sen x.

f (f 1 ([2, 2])) = [1, 1].

Las imagenes y las imagenes inversas respecto de la union y de la interseccion de familias de

Consideremos los conjuntos A = [1, 2] [1, 2] y B = [1, 2] [3, 4] de R2 y la proyeccion

1 (A) 1 (B) = [1, 2] [1, 2] = [1, 2], pero 1 (A B) = 1 () =

Por otra parte

1 (A r B) = 1 (A) = [1, 2], pero 1 (A) r 1 (B) = [1, 2] r [1, 2] =

Proposicion 1.2.7. Sea f : X Y una aplicacion entre conjuntos y sea B Y . Entonces

La ultima definicion de este apartado es la de subsucesion de una sucesion {xn }

En esta seccion, y salvo que se diga lo contrario, X va a representar un conjunto no vaco.

Proposicion 1.3.4. Todo subconjunto A N de los numeros naturales es numerable.

Demostracion. Si A N es finito el resultado es evidente.

Supongamos que A N no es finito. Definimos entonces la aplicacion : N A de la

Proposicion 1.3.5. Un conjunto X es numerable si y solo si existe una aplicacion suprayectiva

A continuacion estudiaremos algunas propiedades basicas de la numerabilidad y veremos algunos

Proposicion 1.3.6. Si X es numerable y S es un subconjunto de X, entonces S es numerable.

Demostracion. Por el hecho de ser X numerable, existe una aplicacion suprayectiva : N X.

Ejemplo 1.3.7. El conjunto N N es numerable; y como consecuencia tambien lo es N . n. . N.

Demostracion. Podemos colocarel conjunto N N de la siguiente forma:

(0, 0) (0, 1) (0, 2) (0, 3) ...

Si los recorremos en diagonal de arriba a abajo y de izquierda a derecha, como se indica en

dada por (i, n) = i (n) tambien es suprayectiva.

Por el hecho de ser I numerable, existe otra aplicacion suprayectiva : N I. Sea : N

Ejemplo 1.3.9. El conjunto Z de los numeros enteros es numerable.

La numerabilidad tambien se conserva por productos finitos:

Ejemplo 1.3.11. El conjunto de los numeros racionales, Q, es numerable.

Proposicion 1.3.12. El intervalo [0, 1] R no es numerable; en consecuencia R tampoco lo es.

Demostracion. Supongamos que s es numerable, es decir [0, 1] = {x1 , x2 , x3 , . . . } se trata de

x1 = 0, a11 a12 a13 . . . a1n . . .

x2 = 0, a21 a22 a23 . . . a2n . . .

2.1 Distancias y espacios metricos

3.     para todo ! (simetra).

4. " $#%&' (#) para todo  $#* (desigualdad triangular).

Proposicion 2.1.4 (Desigualdad de Cauchy-Schwarz). Si     y   

(2) El ejemplo anterior se puede generalizar a

Sean  $#*

La siguiente grafica nos da una idea de como es esta distancia.

3. para todo ! (simetra).

4. " $#%&' (#) para todo $#* (desigualdad triangular).

Proposicion 2.1.4 (Desigualdad de Cauchy-Schwarz). Si y

(2) El ejemplo anterior se puede generalizar a

Sean $#*

con la distancia - -

0 3&4

( &' +*,

Proposicion 2.1.6. Sea $+ un espacio metrico, entonces se verifica

, cuando se hable de como de un espacio metrico, siempre se estara suponiendo que

(1) + 5 con la metrica inducida por el valor absoluto es subespacio metrico de

Definicion 2.1.10 (Distancia entre conjuntos). Sean y dos subconjuntos de . Se define la

*

(1) Si es la metrica discreta sobre , y , entonces

0 5 sisi * 5 sisi 2

(2) Consideremos con la distancia usual 21

--(+ 5 (+ 5 (+ 5

(4) En el espacio metrico discreto $ se tiene que

(5) Sea + 5 2

con la metrica del valor absoluto

$#% " &' $#% " 3& 3&

Corolario 2.3.4. Cualquier bola abierta en un espacio m etrico $+ es un abierto

1 1,5 1 31%"

Teorema 2.3.6. Sea $+ un espacio metrico, entonces se verifican:

(2) El intervalo+ es un entorno del punto 5 , pero no lo es del punto .

Proposicion 2.4.3. Un subconjunto de un espacio metrico

1 1%",5 1 31+" , s lo es.

Teorema 2.4.7. Sea $+ un espacio metrico, entonces se verifican:

de con la metrica eucldea son subespacios

(1) Los diametros de los subconjuntos , 5 5 y 5 de

(2) El subespacio + 5