UNIVERSIDAD NACIONAL DE COLOMBIA

Facultad de Ciencias - Departamento de Matematicas

TOPOLOGIA GENERAL

G. PADILLA

Resumen. Estas notas fueron realizadas entre 2006 y 2008, fecha en la cual dicte dicho curso en la
Universidad Central de Venezuela.

Contenido
1. Espacios metricos 2
1.1. Espacios metricos 2
1.2. Conjuntos cerrados 4
1.3. Sucesiones 6
1.4. Funciones continuas entre espacios metricos 7
1.5. Mas ejercicios de espacios metricos 8
2. Espacios topologicos 9
2.1. Espacios topologicos 9
2.2. Continuidad 11
2.3. Bases y sub-bases 12
2.4. Topologa producto 14
2.5. Espacios cociente 15
2.6. Axiomas de numerabilidad 16
2.7. Subespacios topologicos 17
2.8. Conexidad 17
2.9. Componentes conexas 19
2.10. Conexidad por arcos 20
2.11. Separacion 21
2.12. Mas ejercicios de topologa 22
3. Espacios compactos 23
3.1. Compacidad 23
3.2. Espacios Hlc 25
3.3. Espacios paracompactos 27
4. Convergencia en espacios topologicos 28
4.1. Redes 29
4.2. Sub-redes 30
4.3. Redes universales 31
4.4. Espacios completamente regulares 33
5. Espacios metrizables 36
5.1. Espacios totalmente acotados 36
5.2. Separacion de cerrados con funciones continuas 37
5.3. El teorema de extension de Tietze 38

Fecha: Julio 2008, actualizadas en marzo 2012.

1
2 G. PADILLA

5.4. Espacios acotados 40

5.5. Convergencia puntual y uniforme 42
6. El truco de Bredon 43
7. Fibrados topologicos 44
7.1. Amalgama de espacios topologicos 44
7.2. Familias amalgamables y semigrupos de cociclos 45
7.3. Fibrados Generales 45
7.4. Ejemplos 46
7.5. Morfismos fibrados 46
7.6. Unicidad de los espacios fibrados 46
Referencias 47

1. Espacios metricos
Incluimos en este breve captulo las propiedades mas importantes de los espacios metricos y topologicos.
Hemos seguido especialmente a [2].

1.1. Espacios metricos. Un espacio metrico es un par (E, d) tal que E 6= es un conjunto y E
d
E - [0, ) es una funcion real tal que para cualesquiera x, y, z E se tiene
(a) Unicidad: d(x, y) = 0 x = y
(b) Simetra: d(x, y) = d(y, x)
(c) Desigualdad triangular: d(x, z) d(x, y) + d(y, z)
Dado x E la bola abierta (resp. cerrada) con centro en x y radio > 0 es el conjunto B(x, ) =
{y E : d(x, y) < } (resp. el conjunto B(x, ) = {y E : d(x, y) }). La distancia entre dos sub-
conjuntos no vacos A, B E se define como el nfimo
d(A, B) = inf {d(x, y) : x A, y B}
Un subconjunto A E es abierto para todo punto x A hay un > 0 suficientemente pequeno tal
que B(x, ) A.
Lema 1.1.1. Para cualesquiera x, y, z E se tiene |d(x, z) d(y, z)| d(x, y).
[Demostracion] Por la desigualdad triangular tenemos que d(x, z) d(x, y) + d(y, z). Si d(x, z)
d(y, z) entonces 0 d(x, z) d(y, z) d(x, y) y el enunciado vale. En caso contrario, si d(x, z) > d(y, z)
entonces por la misma desigualdad triangular d(x, z) d(x, y) + d(y, z) y con el mismo procedimiento
anterior 0 d(x, z) d(y, z) d(x, y). 

Lema 1.1.2. En todo espacio metrico (E, d);

(1) y E son abiertos.
(2) Toda bola B(x, ) es abierta en el sentido anterior.
(3) A es abierto es union de bolas abiertas.
(4) La union arbitraria de abiertos es un abierto.
(5) La interseccion finita de abiertos es un abierto.
[Demostracion] Vamos por pasos.
(1) Es trivial.
 TOPOLOGIA GENERAL 3

(2) Sean y B(x, ), = d(x, y) y 0 = min{, }. Si d(y, z) < 0 entonces por la desigualdad
triangular d(x, z) d(x, y) + d(y, z) + ( ) = ; luego B(y, 0 ) B(x, ).
(3) Directo de la definicion.
(4) Si A = Ai es union de abiertos entonces, por el paso anterior, como cada Ai es union de bolas
i
abiertas, luego A tambien es union de bolas abiertas. Por el paso anterior A es abierto.
(5) Por induccion y asociatividad de la interseccion, es suficiente verlo para la interseccion A B dos
abiertos A, B E. Dado z A B como A es abierto existe > 0 tal que B(z, ) A y, como
B es abierto, existe 0 > 0 tal que B(z, 0 ) B. Entonces B(z, ) A B para = min{, 0 }.


Dados un subconjunto Z E y un punto x E; diremos que Z es un entorno de x, o bien x es un

punto interior de Z; si y solo si existe un > 0 suficientemente pequeno tal que B(x, ) Z. Diremos
que x es exterior a Z x es un punto interior de E\Z. Dado otro subconjunto Y X diremos que Z
es un entorno de Y Z es un entorno de todos los puntos de Y .
Lema 1.1.3. Dado un espacio metrico (E, d) y dos subconjuntos Y, Z E.
(1) Z es entorno de Y existe algun abierto U E tal que Y U Z.
(2) La union de entornos de Y es un entorno de Y .
(3) La interseccion finita de entornos de Y es un entorno de Y .
[Demostracion] Para ver (1) tomamos, para cada y Y , una bola abierta de radio suficientemente
pequeno y > 0 tal que B(y, y ) Z. Por 1.1.2-(3) el subconjunto U = B(y, y ) es el abierto buscado.
yY

Las propiedades (2) y (3) son consecuencia de la primera y las propiedades de los abiertos, cf. de nuevo

1.1.2. 

El interior de un subconjunto Z E en un espacio metrico (E, d) es el subconjunto

Z = {z X : B(z, ) Z para algun > 0}
de todos los puntos interiores de Z.
Lema 1.1.4. Dado un espacio metrico (E, d) y subconjuntos Y, Z E;

(1) Y Y es el abierto mas grande contenido en Y .

(2) Y Z Y Z.

(3) (Y Z) = Y Z.

(4) Y es abierto Y es entorno de todos sus puntos Y = Y .
[Demostracion] Vamos por pasos.

(1) El interior Y es abierto: Si y Y entonces hay algun > 0 suficientemente pequeno tal que
B(y, ) Y . Por 1.1.2, B(y, ) es abierta, luego para cualquier otro punto x B(y, ) hay algun  > 0

tal que B(x, ) B(y, ) Y , con lo cual x Y . Se deduce que en realidad B(y, ) Y , con lo cual

el interior Y es union de bolas abiertas, luego es abierto por 1.1.2-(3). Si A Y es cualquier abierto
contenido en Y entonces, para cualquier a A, existe un > 0 tal que B(a, ) A Y con lo cual

a Y por definicion de los puntos interiores; luego A Y .
4 G. PADILLA

(2) Si Y Z y x Y es un punto interior a Y , entonces existe un > 0 tal que B(x, ) Y Z con lo
cual x es un punto interior a Z.
(3) Hay que ver una contencion doble. Como Y Z Y y Y Z Z, por el paso anterior se tiene que

(Y Z) Y Z. Para ver la otra contencion suponga que x Y Z; sean , > 0 tales que B(x, ) Y
y B(x, ) Z. Entonces B(x, min{, }) Y Z.
(4) Es directa de las definiciones. 

Lema 1.1.5. Un punto x E es exterior a Y E d(x, Y ) > 0.

[Demostracion] Porque x es exterior a Y x es interior a E\Y . Esto ultimo sucede existe algun
> 0 tal que B(x, ) E\Y ; es decir que B(x, ) Y = , lo cual pasa si y solo si d(x, Y ) > 0. 

Lema 1.1.6. Para cada Y E y cada > 0 el subconjunto V (Y, ) = {x E : d(x, Y ) < } es un
entorno abierto de Y .
[Demostracion] Basta demostrar V (Y, ) = B(y, ). Ambas contenciones son obvias, pues un
yY

punto x pertenece a V (Y, ) si y solo si existe algun y Y tal que d(x, y) < ; y esto sucede si y solo si
x B(y, ) para algun y Y . 

1.2. Conjuntos cerrados. Un subconjunto C E es cerrado su complemento E\C es abierto.

Lema 1.2.1. En todo espacio metrico,
(1) La interseccion de subconjuntos cerrados es un subconjunto cerrado.
(2) La union finita de subconjuntos cerrados es un subconjunto cerrado.
(3) , E son cerrados.
[Demostracion] Es inmediato de 1.1.2 y las operaciones de conjuntos. 

La adherencia Y de un subconjunto = 6 Y E se define como el conjunto de los puntos no exteriores

a Y ; es decir Y = {x E : d(x, Y ) = 0}.
Proposicion 1.2.2. Dado un espacio metrico (E, d); y Y, Z E;
(1) Y Y .
(2) x Y toda bola abierta centrada en x intersecta a Y .
(3) Y Z Y Z.
(4) Y Z = Y Z.
(5) Y es la interseccion de todos los entornos de la forma V (Y, ) con > 0.
(6) Si x (Y \Y ) 6= entonces la interseccion de cualquier entorno de x con Y es un subconjunto
infinito.
(7) Y es cerrado Y = Y .
(8) Y = Y .
(9) Y es el cerrado mas pequeno que contiene a Y .
(10) La adherencia de toda bola abierta B(x, ) es la bola cerrada B(x, ).
[Demostracion] Procedemos por pasos.
(1) Directa de la definicion de adherencia.
 TOPOLOGIA GENERAL 5

(2) Como la distancia de x a Y es el nfimo de las distancias d(x, y) variando a y Y ; se tiene que
d(x, Y ) = 0 para cada > 0, existe algun y Y tal que d(x, y) < ; luego y B(x, ) A 6= .
(3) Si Y Z y entonces, por propiedades de los nfimos, para cualquier punto x E se tiene

d(x, Y ) = inf{d(x, w) : w Y } inf{d(x, w) : w Z} = d(x, Z)

En particular, d(x, Y ) = 0 d(z, Z) = 0.
(4) De las dos contenciones, es directa del paso anterior. Para ver vamos por contrarrecproco. Si
x 6 Y Z entonces d(x, Y ) > 0 y d(x, Z) > 0. Existen pues 1 , 2 > 0 tales que B(x, 1 ) Y = y
B(x, 2 ) Z = . Basta tomar  = min{1 , 2 }. Por construccion, B(x, ) (Y Z) = ; luego x 6 Y Z.
(5) Para ver que Y = V (Y, ) demostramos las dos contenciones. De ellas, es directa de las defini-
>0

ciones. Ahora bien, x V (Y, ) si y solo si x V (Y, ) para cada > 0; es decir, si y solo si para
>0

cada > 0 existe algun y Y tal que d(x, y ) < . Ello implica que, para todo > 0, la bola abierta
centrada en x con radio intersecta a Y , pues y B(x, ) Y 6= . Entonces x Y por definicion.
d(x,y1 )
(6) Sea x Y \Y . La bola B(x, 1) intersecta a Y en algun punto y1 6= x. Como 0 < 1 = 2 , la
d(x,y )
bola B(x, 1 ) intersecta a Y en algun punto y2 6= x. Por construccion, y2 6= y1 . Como 0 < 2 = 2
2
,
la bola B(x, 2 ) intersecta a Y en algun punto y3 6= x y por construccion, y3 es diferente de y1 , y2 . Si
continuamos el proceso de modo inductivo, por el axioma de eleccion es posible construir una sucesion
y1 , . . . , yn , . . . de puntos diferentes en Y tales que d(x, yn+1 ) < d(x, yn )/2 para cada n.
(7) Por el paso (1) de este lema, basta ver una sola contencion. Es decir, Y es cerrado Y Y . Ahora
bien, Y es cerrado si y solo si E\Y es abierto; ello solo sucede todo punto de E\Y es un punto interior:
x 6 Y si y solo si existe un > 0 tal que B(x, ) E\Y , luego B(x, ) Y = . Se concluye que Y es
cerrado si y solo si vale el condicional x 6 Y x 6 Y ; o dicho de otro modo, Y Y .
(8) La contencion Y Y sale del paso (1). Para ver la otra contencion tome un punto x Y .
Dado cualquier > 0, la bola centrada en x con radio intersecta a Y . Sea z B(x, ) Y 6= y
 = min{d(x,z),d(x,z)}
2 . Entonces B(z, ) B(x, ) y B(z, ) Y 6= ; luego B(x, ) Y 6= . De la
arbitrariedad de se deduce que x Y por el paso (2).
(9) Por (7) y (8) Y es cerrado. Si Y C y C es cerrado, por los pasos (3) y (7) tenemos que Y C = C.
(10) si z es un punto en la adherencia de B(x, ) y z 6 B(x, ) entonces, para cada entero positivo n > 0
podemos elegir yn B(z, n1 ) B(x, ). Por la desigualdad triangular
1
d(z, x) d(x, yn ) + d(yn , x) <
+
n
Tomando el lmites para n 7 se tiene d(z, x) . Por otro lado, como z 6 B(x, ) tenemos que
d(z, x) ; luego d(z, x) = .


Dados Y, Z E decimos que Y es denso en Z si Z Y ; en particular, decimos que Y es denso si

es denso en E, es decir, si Y = E. El espacio E es separable si existe posee algun subconjunto denso y
numerable.
Lema 1.2.3. Si X es denso en Y y Y es denso en Z entonces X es denso en Z.
6 G. PADILLA

[Demostracion] Si X Y y Y Z entonces, por 1.2.2-(8) tenemos que X Z = Z. 

La frontera Y de Y se define como el conjunto de puntos que son adherentes a Y y a E\Y ; es decir
Y = {z E : d(x, Y ) = d(x, E\Y ) = 0}.
Dado cualquier espacio metrico (E, d) y un subconjunto Y E; la metrica de subespacio de Y es
la restriccion de d a Y Y .

1.3. Sucesiones. Fijamos un espacio metrico (E, d). Una sucesion en E es la imagen de una funcion
x
cualquiera N - E; escribimos x = x(n). Usualmente escribimos tambien a la sucesion x como un
n
subconjunto numerable {xn : n = 0, 1, . . . } E en el cual pueden haber repeticiones. Si {xn }nN es
una sucesion en E, una sub-sucesion es la composicion de x con cualquier funcion inyectiva y creciente
k
N - N; es decir, i < j k < k . Una sucesion converge si existe algun x E tal que, para cada
i j
 > 0, hay un entero N tal que n > N d(x, xn ) < ; es decir, la cola de la sucesion a partir de N
esta contenida en la bola de centro x y radio . En tal caso escribimos

Lim xn = x
n

y decimos que la sucesion {xn }n converge a x. Si una sucesion no converge a ninun punto decimos que
diverge.

Lema 1.3.1. En un espacio metrico toda sucesion convergente posee un unico lmite.

[Demostracion] Si {xn }n converge a x, x0 entonces para cada  hay un entero N tal que valen los dos
condicionales siguientes:
n > N d(x, xn ) < ; y
n > N d(x0 , xn ) < .
0
Si x 6= x0 entonces, por definicion de las metricas, d(x, x0 ) 6= 0. Basta tomar  = d(x,x
3
)
. Entonces las
0
bolas B(x, ) y B(x , ) son disjuntas, por lo cual no pueden ser validos ambos condicionales al mismo
tiempo. 

Una sucesion {xn }n en E es de Cauchy para cada  > 0 existe un entero N tal que vale el siguiente
condicional
m, n > N d(xm , xn ) < 

Lema 1.3.2. Toda sucesion convergente contiene una sub-sucesion de Cauchy.

[Demostracion] Si {xn }n converge a x entonces para cada  hay un entero N tal que vale el condicional
siguiente:

n > N d(x, xn ) <
2
 
Entonces, si m, n > N tenemos que d(xm , xn ) d(xm , x) + d(x, xn ) < 2 + 2 = . 

De este modo, dada cualquier sucesion convergente, podemos asumir salvo ajustes que se trata de una
sucesion de Cauchy. Un espacio metrico E es completo si toda sucesion de Cauchy en E converge a
algun punto en E.
 TOPOLOGIA GENERAL 7

1.4. Funciones continuas entre espacios metricos. Dados dos espacios metricos (E, d) y (E 0 , d0 )
f
una funcion E - E 0 es continua en un punto x E si y solo si para cada  > 0 hay algun > 0
(que depende de x y de ) tal que d(x, y) < d0 (f (x), f (y)) < .
Proposicion 1.4.1. Las siguientes afirmaciones son equivalentes:
f
(1) E - E 0 es continua en x E.
(2) Para cada entorno V 0 de f (x) existe algun entorno V de x tal que f (V ) V 0 .
1
(3) f (V 0 ) es un entorno de x para cada entorno V 0 de f (x).
[Demostracion] (1) (2): Dado cualquier entorno V 0 de f (x) basta tomar cualquier  > 0 suficiente-
mente pequeno tal que B(f (x), ) V 0 . Como f es continua, hay algun > 0 tal que vale el condicional
d(x, y) < d0 (f (x), f (y)) < ; en otras palabras f (B(x, )) B(f (x), ) V 0 . El entorno buscado
es V = B(x, ).
(2) (3): Si V 0 es un entorno de f (x), como existe un entorno V de x tal que f (V ) V 0 , tenemos que
1 1
x V f (V 0 ) con lo cual f (V 0 ) es un entorno de x.
1
(3) (1): Si tomamos en particular V 0 = B(f (x), ) para cualquier  > 0, como f (B(f (x), )) es un
1
entorno de x; existe un > 0 tal que B(x, ) f (B(f (x), )). Entonces f (B(x, )) B(f (x), ) o, en
otras palabras, vale el condicional d(x, y) < d0 (f (x), f (y)) < . 

Decimos que f es continua f es continua en todo punto de E.

Proposicion 1.4.2. Las siguientes afirmaciones son equivalentes:
f
(1) E - E 0 es continua.
1
(2) f (A ) es abierto en E para cada abierto A0 E 0 .
0
1
(3) f (C 0 ) es cerrado en E para cada cerrado C 0 E 0 .
(4) f (Y ) f (Y ) para todo Y E.
(5) Si x = Lim xn entonces f (x) = Lim f (xn ).
n n

[Demostracion] (1) (2): Es directa de 1.4.1.

(2) (3): Por propiedades de las imagenes inversas, un cerrado C 0 E tenemos que A0 = E 0 \C 0 es
1 1 1 1
abierto; por (2) su imagen inversa A = f (A0 ) = f (E 0 \C 0 ) = E\f (C 0 ) es abierto; luego C = f (C 0 )
es cerrado.
1
(3) (4): La imagen inversa f (f (Y )) es un cerrado que contiene a Y . Por 1.2.2-(9) la adherencia de
1
Y es el menor cerrado que lo contiene, luego Y f (f (Y )) o, lo que es lo mismo, f (Y ) f (Y ).
(4) (1): Supongamos que (1) no es cierta. Entonces existen x E y  > 0 tales que para cada
entero positivo n 1 se puede conseguir algun yn E tal que d(x, yn ) < y d(f (x), f (yn )) . Por
construccion x esta en la adherencia de Y = {yn : n 1}; sin embargo f (x) 6 f (Y ), . Esto contradice
(4).
(1) (5): Si {xn }n es una sucesion que converge a x entonces, puesto que f es continua, para cada  > 0
existe un > 0 tal que vale el condicional d(x, y) < d0 (f (x), f (y)) < . Ahora bien, sea N un entero
tal que vale el condicional n > N d(x, xn ) < ; entonces de ambos condicionales deducimos que vale
n > N d0 (f (x), f (xn )) < . De la arbitrariedad de  se deduce que {f (xn )}n converge a f (x).
(5) (1): Supongamos que {xn }n converge a x en E y {f (xn )}n no converge a f (x) en E 0 . Entonces
existe algun  > 0 tal que el conjunto de los enteros n tales que d0 (f (x), f (xn ))  es infinito. Al mismo
tiempo para cada > 0 existe algun entero N tal que vale el condicional n > N d(x, xn ) < . De
8 G. PADILLA

este modo, es posible conseguir algun n > N tal que valgan ambas a la vez, vale decir, d(x, xn ) <
y d0 (f (x), f (xn )) . De este modo,  es un numero tal que para todo > 0 es falso el condicional
d(x, y) < d0 (f (x), f (y)) < . Se concluye que f no es continua en x. 

Proposicion 1.4.3. La composicion de funciones continuas es continua.

f g
[Demostracion] Sean E - E0 y E0 - E 00 continuas, z = g(f (x)) para algun x E. Dado
cualquier  > 0 existen 1 , 2 tales que se satisfacen los siguientes condicionales
d0 (f (x), w) < 1 d00 (g(f (x)), g(w)) < .
d(x, y) < 2 d0 (f (x), f (y)) < 1 .
Combinando ambos condicionales deducimos que d(x, y) < 2 d00 (g(f (x)), g(f (y))) < . De la arbi-
trariedad de x,  deducimos que gf es continua. 

f
Una funcion E - E 0 entre espacios metricos es uniformemente continua para cada  > 0
existe > 0 tal que d(x, y) < d0 (f (x), f (y)) <  para todo x, y E.

Proposicion 1.4.4. (1) Toda funcion uniformemente continua es continua.

(2) La composicion de funciones uniformemente continuas es uniformemente continua.

[Demostracion] (1) es directa. Para (2) vale la misma demostracion de 1.4.3 con ligeros ajustes. 

f
Proposicion 1.4.5. Si D E es denso y E - E 0 es una funcion entre espacios metricos, tal que
(a) f es continua en E; y
(b) f es uniformemente continua en D;
entonces f es uniformemente continua.
[Demostracion] Para cada  > 0 existe > 0 tal que d(x, y) < d0 (f (x), f (y)) <  para todo
x, y D. Como D es denso en E tenemos que D = E luego, para cualquier x X, se tiene que
d(x, D) = 0. De este modo, dados cualesquiera x, y E siempre


1.5. Mas ejercicios de espacios metricos.

(1) Verifica que los siguientes son ejemplos de espacios metricos:
n
E = R y d la distancia usual.
n
E = R y d(x, y) = |x1 y1 | + + |xn yn |.
n
E = R y d(x, y) = max {|x1 y1 |, . . . , |xn yn |}.
X
X 6= cualquier conjunto, E es el conjunto de funciones acotadas en R y d(f, g) = sup {|f (x) g(x)| : x X}.
E 6= cualquier conjunto y d es la distancia discreta dada por d(x, y) = 0 si x = y y d(x, y) = 1
en caso contrario.
2
E es el conjunto de sucesiones de numeros reales x = (xn )n tales que la serie correspondiente |xn |
n
2
converge; y d(x, y) = |xn yn | .
n
(2) Para n = 2, haga un dibujo de la bola abierta centrada en el origen, con radio = 1; para los casos (a),
(b) y (c) del problema anterior.
 TOPOLOGIA GENERAL 9
R1 2
(3) Muestra que d(f, g) = 0 |f (t) g(t)| dt es una distancia en el espacio E de todas las funciones reales
continuas definidas en [0, 1]. Sigue siendo d una distancia si en lugar de funciones continuas tomamos
funciones integrables de Lebesgue?
(4) Dos distancias d, d0 definidas en E 6= son equivalentes definen los mismos abiertos, es decir, si y solo
si todo d-abierto es un d0 -abierto y viceversa. Muestra que las siguientes afirmaciones son equivalentes:
(a) d, d0 son distancias equivalentes.
(b) Toda d-bola abierta es union de d0 -bolas abiertas; y toda d0 -bola abierta sea una d-bola abierta.
(c) Dados  > 0, y Bd (x, ) y y 0 Bd0 (x0 , ); existe un > 0 tal que Bd0 (y, ) Bd (x, ) y
Bd (y 0 , ) Bd0 (x, ).
(5) Muestra que si y 6 B(x, ) entonces d(y, B(x, )) d(y, x) . Vale para la bola cerrada B(x, )?
(6) Si (E, d) es un espacio metrico y A E; muestra que |d(x, A) d(y, A)| d(x, y).
(7) Verifica cada una de las propiedades de 1.1.
(8) Muestra que en la recta real con la distancia usual, el conjunto de los naturales N no posee un sistema
fundamental numerable de entornos.
(9) (E, d) es un espacio metrico discreto todo subconjunto es abierto.
(10) Prueba que toda desfera unitaria S(x, 1) = {y E : d(x, y) = 1} es un conjunto cerrado.
(11) Muestra que si A E es abierto entonces A Y A Y para cada Y E.
(12) Mostrar que en general es falsa la igualdad A B = A B para cualesquiera A, B E en un espacio
metrico (E, d). Mas aun; da un ejemplo para E = R con la distancia usual, de subconjuntos A, B tales
que A B, A B, A B y A B son todos diferentes, y A B no esta contenido en A B.
(13) Muestra en todo espacio metrico (E, d), un punto x es adherente a A x es el lmite de alguna sucesion
de puntos en A.
(14) Verifica cada una de las propiedades de 1.2.
n
(15) Muestra que R con la metrica usual es un espacio separable.
(16) Prueba que en un espacio metrico E la union de un subconjunto abierto y de su exterior es densa.
(17) Un punto x A E es aislado en A si existe un entorno V de x tal que V A = {x}. Muestra que si
E es separable entonces el conjunto de puntos aislados en E es a lo sumo numerable.
(18) Si E 0 E entonces E 0 es un espacio metrico con la distancia restringida d0 (x, y) = d(x, y) para todo
i
x, y E 0 . La inclusion E 0 - E es continua.
(19) Toda funcion constante entre espacios metricos es continua.
(20) Si (E, d) es un espacio metrico entonces, para cada y E, la funcion f (x) = d(x, y) es continua.
(21) Si (E, d) es un espacio metrico entonces, para cada A E, la funcion f (x) = d(x, A) es continua.

2. Espacios topologicos
Seguimos en esta seccion a [1, 4, 6].

2.1. Espacios topologicos. Un espacio topologico es un conjunto X al cual asociamos una familia
de subconjuntos T de X, que llamaremos la topologa de X; y que satisface:
(a) y X pertenecen a T .
(b) La union de toda coleccion de conjuntos en T pertenece a T .
(c) La interseccion de toda coleccion finita de conjuntos en T pertenece a T .
Notemos que los subconjuntos que pertenecen a la familia T satisfacen en X propiedades analogas a las
que poseen los subconjuntos abiertos en un espacio metrico cualquiera, 1.1.2; solo que ahora no hay una
distancia a la cual se remitan dichas propiedades. Esta sencilla abstraccion permite pensar en abiertos o
cerrados de manera conjuntstica, sin tener una metrica prefijada.
En adelante diremos que un subconjunto A X es abierto pertenece a T . Un subconjunto C X
es cerrado su complemento X\C es abierto. Dado un punto x X y un subconjunto Y X diremos
indistintamente que Y un entorno de x o x es un punto interior de Y si exsite algun abierto A
10 G. PADILLA

tal que x A Y . El interior de Y es el conjunto Y de todos los puntos interiores de Y . Un entorno
de Y X es un abierto A tal que Y A.
Proposicion 2.1.1. En todo espacio topologico
(1) La union (resp. interseccion finita) de entornos de Y es un entorno de Y .

(2) Y Y y es el abierto mas grande contenido en Y .

(3) Y Z Y Z.

(4) (Y Z) = Y Z.

(5) A es abierto A es entorno de todos sus puntos A = A.
(6) La interseccion (resp. union finita) de subconjuntos cerrados es un cerrado.
(7) , X son cerrados.
(8) Para cada Y X existe un cerrado minimal Y Y dado por la interseccion de todos los cerrados
que contienen a Y . Un punto x X pertenece a Y todo entorno de x intersecta a Y .
(9) Y es cerrado Y = Y .
(10) Si Y Z Y Z.
(11) Y Z = Y Z.
[Demostracion] (1) Por las propiedades 2.1-(b) y (c).

(2) Que Y Y es inmediato. Dado cualquier abierto A tal que A Y ; por la definicion de puntos

interiores todo punto x A es interior a Y , es decir x Y ; luego A Y .
(3) Es directa.

(4) Por el paso anterior se tiene la contencion . Vemos la otra: Suponga que x Y Z. Si A, B son
abiertos tales que x A Y y x B Z entonces x A B Y Z. Como A B es abierto,
obtenemos x es un punto interior en Y Z.
(5) Si A es abierto entonces todos sus puntos son interiores y el es entorno de todos sus puntos.
Recprocamente, si A es entorno de todos sus puntos entonces, para todo x A existe un abierto
Bx tal que x Bx A. Luego A es union de la familia de abiertos {Bx : x A}, y por la propiedad
2.1-(b) A es abierto. Esto da el primer ; el segundo es trivial.
(6) Es consecuencia de las leyes de De Morgan para las uniones e intersecciones de complementos, mas
las propiedades 2.1-(b) y (c). Por ejemplo: Si {Ci }i es cualquier familia de cerrados entonces cada
Ai = X\Ci es abierto. Por la propiedad 2.1-(b) se tiene que Ai es abierto, luego su complemento
  i

Ci = (X\Ai ) = X\ Ai es cerrado. De modo similar se procede con las uniones finitas de cerrados.
i i i

(7) Directa de la propiedad 2.1-(a).

(8) Defina Y como el conjunto de puntos x X que satisfacen el siguiente condicional:

A T (x A) A Y 6=
Un punto z 6 Y si y solo si existe algun abierto A tal que z A y A Y = . En tal caso, por el mismo
condicional de arriba, es inmediato que A Y = ; es decir, A esta contenido en el complemento de Y .
Por el paso (5) se deduce que el complemento de Y es abierto; luego Y es cerrado. Para ver que es el
cerrado mas pequeno que contiene a Y suponga que Y C y C es cerrado. Entonces el abierto A = X\C
no intersecta a Y , e.d. A Y = de donde, por la misma observacion anterior, A Y = . Deducimos
 TOPOLOGIA GENERAL 11

que (X\C) Y = ; ello implica que Y C.

(9) Veamos el condicional doble. (): Siempre se tiene que Y Y para cualquier Y X. Si Y es
cerrado, por el paso anterior, como Y es el cerrado mas pequeno que contiene a Y , se tiene Y Y ; luego
son iguales. (): Si Y = Y entonces, por el paso anterior, Y es cerrado.
(10) Si x Y entonces, para todo abierto A se tiene que x A A Y 6= . Cuando Y Z esto
implica que, para tdo abierto A, si x A entonces =6 A Y A Z. Luego x Z.
(11) El paso anterior implica la contencion . Para ver la otra vamos por contrarrecproco. Si x 6 Y Z
entonces, por la definicion de adherencias, existen dos abiertos A, B que contienen a x y ademas satisfacen
A Y = , B Z = . Entonces A B es un entorno de x y (A B) (Y Z) = . Deducimos que
x 6 Y Z. 

f
2.2. Continuidad. Una funcion X - X 0 entre espacios topologicos (X, T ) y (X 0 , T 0 ) es continua
1 1
0 0 0
f (A ) T para cada A T . Resumimos esta situacion diciendo que f (abierto) = (abierto), o
1
bien que f [T 0 ] T .
Proposicion 2.2.1. Las siguientes afirmaciones son equivalentes:
f
(1) X - X 0 es continua.
1
(2) f (C ) es cerrado en X para cada cerrado C 0 X 0 .
0

(3) f (Y ) f (Y ) para todo Y X.

[Demostracion] Vamos por pasos:
1
(1) (2): Si C 0 X es cerrado entonces A0 = X 0 \C 0 es abierto. Como f es continua, X\f (C 0 ) =
1 1 1
f (X 0 \C 0 ) = f (A0 ) es abierto, luego f (C 0 ) es cerrado.
(2) (1): Es analoga al paso anterior.
1
(2) (3): Como f (Y ) es cerrado en X 0 , su preimagen f (f (Y )) es cerrado en X y contiene a Y . Por
1
2.1.1-(8), Y f (f (Y )) o, en otras palabras, f (Y ) f (Y ).
1
(3) (2): Sea C 0 X 0 cerrado y C = f (C 0 ). Como C 0 = C 0 por 2.1.1-(9); tenemos que f (C)
1
f (C) = C 0 = C 0 ; de donde C f (C 0 ) = C. Ahora bien, por la definicion en 2.1.1-(8) tenemos que
C C, luego son iguales. 

Proposicion 2.2.2. La composicion de funciones continuas es continua.

f g
[Demostracion] Sean X -Y - Z funciones continuas entre espacios topologicos. Dado
1
cualquier abierto A Z; puesto que g es continua se tiene que g (A) es abierto en Y . Puesto que
1 1 1
f es continua se tiene que (gf ) (A) = f g (A) es abierto en X. 

f
Un homeomorfismo es una biyeccion X - X 0 tal que f es continua y su inversa g = f 1 tambien
es continua.
f
Proposicion 2.2.3. Una biyeccion continua X - X 0 es homeomorfismo f (Y ) = f (Y ) para todo
Y E.
12 G. PADILLA

[Demostracion] Es inmediata de 2.2.1. 

Una base de entornos de un punto x X es una familia V de entornos de x tal que, dado cualquier
entorno Y de x, existe algun V V tal que x V Y . Si V T decimos que es una base de entornos
f
abiertos. Diremos que X - X 0 es continua en x X para cada entorno V 0 de f (x) existe algun
entorno V de x tal que f (V ) V 0 .
Lema 2.2.4. En todo espacio topologico (X, T );
(1) V(x) = {A : A T , x A} es una base de entornos abiertos de x.
(2) Si A y A0 son dos bases de entornos abiertos de x entonces {A A0 : A A, A0 A0 } es una
base de entornos de x.
[Demostracion] Trivial. 

Lema 2.2.5. Las siguientes afirmaciones son equivalentes:

f
(1) X - X 0 es continua en x.
1
n 1 o
(2) f [A] = f (V ) : V A es una familia de entornos de x; para cada base de entornos A de
f (x).
[Demostracion] (1) (2): Si V A es un entorno de f (x) entonces, como f es continua en x, existe
1 1
algun entorno U de x tal que f (U ) V . En tal caso x U f (V ) de donde f (V ) tambien es un
1
entorno de x. Se deduce que f [A] es una familia de entornos de x.
(2) (1): Dado cualquier entorno V 0 de f (x); sea A la familia de todos los entornos de f (x). Puesto
1
que V 0 A; por (2) se tiene que f (V 0 ) es un entorno de x. De la arbitrariedad de V 0 se deduce que f
es continua en x. 

f
Lema 2.2.6. X - X 0 es continua es continua en todo punto de X.

[Demostracion] () Dado x X y un entorno V 3 f (x) en X 0 ; sea A 3 f (x) cualquier abierto tal

1
que A V . Como f es continua, W = f (A) es abierto en X y x W . Por construccion f (W ) V .
1 1
() Sea A X 0 cualquier abierto. Si f (A) = entonces es abierto. Supongamos que f (A) 6= .
1
Entonces, para cada x f (A) se tiene que A es un entorno abierto de f (x). Puesto que f es continua
1
en x, existe algun entorno V X de x tal que f (V ) A, luego x V f (A). Se deduce que todo
1 1
punto de f (A) es un punto interior. Por 2.1.1-(5), f (A) es abierto. 

2.3. Bases y sub-bases.

Lema 2.3.1. La interseccion T = Ti de cualquier familia de topologas {Ti }i de X es una topologa de
i
X.
[Demostracion] Es inmediato de los axiomas de topologa, cf. 2.1. 

Proposicion 2.3.2. Dado un conjunto X y una familia de subconjuntos S P(X) hay una topologa
minimal T (S) que satisface:
(1) S T (S).
 TOPOLOGIA GENERAL 13

(2) Si T es cualquier topologa de X y S T entonces T (S) T .

(3) A T (S) A = , o A = X, o A se puede escribir como union de intersecciones finitas de
elementos de S.
[Demostracion] Sea
T = {T P(X) : S T y T es una topologa de X}
Esta familia no es vaca pues P(X) T. Tomamos como T (S) a la interseccion de todas las topologas
en T. Entonces (1) y (2) son inmediatas. Para demostrar (3) sea
T0 = {, X} { uniones arbitrarias de intersecciones finitas de elementos de S}
Entonces
T0 es una topologa: Que T0 es cerrada por uniones arbitrarias se deduce directamente de la
definicion. Veamos que T0 es cerrada por intersecciones finitas. Sea A1 , . . . , An una coleccion
finita de conjuntos en T0 ; y apliquemos induccion en n. Para

n = 1 es trivial. Para n > 1 podemos
asumir por hipotesis inductiva que A = A1 An1 T0 . Sea B = An y escribamos

 
A = Si,1 Si,mi B = Sj,1 Sj,mj
iI jJ

donde I, J son dos conjuntos arbitrarios de ndices y Sk,l S para cualesquiera k, l. Entonces,
por las leyes de DeMorgan,
h   i
AB = Si,1 Si,mi Sj,1 Sj,mj
iI jJ

es union arbitraria de intersecciones finitas de elementos de S; luego A1 An = A B T0 .

Si S T y T es una topologa entonces T0 T : Si T es cualquier topologa que contiene a S


entonces todo conjunto A T0 , que se escribe de la forma A = Si,1 Si,mi , pertenece
iI
a T por los axiomas de topologa. Se deduce que T0 T .
T0 = T (S): La contencion es consecuencia del paso anterior. La contencion se deduce de
que T (S) satisface la propiedad (2).


Fijemos a continuacion un espacio topologico (X, T ). Diremos que S es una sub-base de X T =

T (S). Una familia de subconjuntos B P(X) es una base de (X, T )
BT.
Todo abierto se escribe como una union de subconjuntos de la familia B.
Si B es una base, los subconjuntos de la familia B se llaman abiertos basicos.
Lema 2.3.3. Toda base es una sub-base. Por otra parte, si S es una sub-base, entonces la familia B
dada por todas las intersecciones finitas de subconjuntos en S es una base.
[Demostracion] La primera afirmacion es inmediata de 2.3.2 y la definicion de una sub-base; si B es
una base de (X, T ) entonces T (B) = T . Por otra parte, si S es una sub-base entonces T = T (S). Por
2.3.2, todo abierto se escribe como uniones arbitrarias de intersecciones finitas de subconjuntos de la
familia S. Si B es la familia de las intersecciones finitas de subconjuntos de la familia S entonces B T
pues las intersecciones finitas de abiertos son abiertas. Mas aun, todo abierto se escribe como union
arbitraria de subconjuntos de la familia B; luego B es una base. 
14 G. PADILLA

Proposicion 2.3.4. Sea (X, T ) un espacio topologico y B T una familia de abiertos. Las siguientes
afirmaciones son equivalentes
(1) B es una base.
(2) Dado cualquier entorno V de x existe algun U B tal que x U V .

[Demostracion] (1) (2): Sea V un entorno de x. El interior V es un abierto de X que contiene a

x; luego se puede escribir como union arbitraria de algunos abiertos basicos, digamos V = Ui tales que
i
cada Ui B es un abierto basico. Entonces x Ui para algun i; luego x Ui V .
(2) (1): Sea A abierto. Para cada x A sea Ux B algun abierto tal que Ux A. Entonces
A = Ux . Luego todo abierto se escribe como arbitraria de subconjuntos de la familia B; es decir B es
xA
una base. 

2.4. Topologa producto. Dado un espacio topologico (Y, T ), un conjunto X 6= y una funcion
f f 1
cualquiera X - Y ; la familia T = {f (A) : A T } es la topologa mas pequena en X tal
f
que f es continua, llamamos a T la topologa inicial inducida por f . Mas en general, una situacion
similar se puede reproducir para cualquier familia de espacios topologicos no vacos.

Proposicion 2.4.1. Dado un conjunto X 6= , una familia {(Xi , Ti : i I)} de espacios topologicos y
f
n 1 o
i-
funciones X Xi para cada i; y sea S = fi (A) : A Ti , i I . Entonces T (S) es la topologa
mas pequena en X tal que todas las fi son continuas.

[Demostracion] Que T (S) es una topologa es inmediato de 2.3.2 y esta es la topologa mas pequena
que contiene a S. Si T es cualquier otra topologa en X tal que todas las funciones fi son continuas
entonces, por la def. de continuidad 2.2 y la def. de S se tiene trivialmente que S T . Por construccion
T (S) T . 

Esta T (S) dada en el enunciado de 2.4.1 es la topologa inicial inducida por las {fi , i I}. En
particular, para cada familia de espacios topologicos no vacos {(Xi , Ti )}i , la topologa producto en

i-
Q
X = Xi es la topologa inicial inducida por las proyecciones coordenadas X Xi , i (x) = xi .
i
Dotado de dicha topologa llamamos a X el espacio producto de los Xi -es.
Q
Proposicion 2.4.2. Sea X = Xi el espacio producto de una familia {(Xi , Ti ) : i I} de espacios
i
topologicos no vacos. Una base de X es dada por todos los subconjuntos de la forma

  Y
Aj1 Ajn Xj n N; j1 , . . . , jn J ; Ajk abierto en Xjk k = 1, . . . , n
jI\{j1 ,...,jn }

Q 1
[Demostracion] Dado i I y cualquier abierto Ai en Xi , notemos que Ai Xj = i (Ai ) es
j6=i
un subconjunto de la familia S que genera la topologa inicial en el producto cartesiano cf.2.4.1. Por
2.3.3 una base B de X es dada por la familia de las intersecciones finitas de estos subconjuntos. Un
 TOPOLOGIA GENERAL 15

subconjunto de B, e.d. un abierto basico cualquiera, se escribe entonces de la forma

1
1
  Y
A= j1
Aj
1
Aj = Aj Aj
jn n 1 n
Xj
jI\{j1 ,...,jn }

para cierta familia finita de subndices. 

Corolario 2.4.3. Si X = X1 Xn es un producto finito de espacios topologicos, entonces todo

abierto en X se escribe de la forma A = A1 An donde cada Aj es abierto en Xj para j = 1, . . . , n.
A continuacion estudiamos las funciones continuas en espacios producto.
Q
Proposicion 2.4.4. Sea X = Xi el producto cartesiano de una familia {(Xi , Ti ) : i I} de espacios
i

f
topologicos no vacos, dotado de la topologa producto. Una funcion Y - X es continua para cada
f
i
i la composicion con la i-esima proyeccion Y -X - X es continua.
i

[Demostracion] () Es directa de 2.2.2. () Basta ver la continuidad de f sobre la familia de

abiertos basicos dada en 2.4.2. Sea

1
1
  Y
A = j1 Aj1 jn Ajn = Aj1 Ajn Xj
jI\{j1 ,...,jn }

un abierto basico de X. Dado que cada composicion i f es continua para todo i, tenemos que Bjk =
1
 1  
f j Ajk es abierto en Y para cada k = 1, . . . , n. Luego
k

1 1
 1
1
 1
 1
 1
 1

f (A) = f j1 Aj1 jn Ajn = f j1 Aj1 f jn Ajn = Bj1 Bjn
es abierto en Y . 

Por la proposicion anterior solemos decir que una funcion en un espacio producto es continua si y solo
si es continua coordenada a coordenada.
2.5. Espacios cociente. Dado un espacio topologico no vaco (X, T ), un conjunto Y 6= y una funcion
f
cualquiera X - Y ; T = {A Y : f 1 (A) T } es la topologa mas grande en Y tal que f es
f
continua. Esta Tf es la topologa final inducida por las f . En particular

f
Proposicion 2.5.1. Dado un espacio topologico no vaco (X, T ), y una funcion sobreyectiva X -Y;
(1) La relacion a f b f (a) = f (b) es una equivalencia en X.

(2) Si X - X/ es la proyeccion cociente que manda a cada punto x en su clase de equivalencia
f
[x]; entonces (X/ f , T )
= (Y, Tf ).

f
[Demostracion] (1) Es trivial. (2) Veamos que la biyeccion inducida X/ f - Y dada por
1
1 1
f [x] = f (x) es un homeomorfismo. Dado un subconjunto A Y notemos que f (A) = (f (A)) es
1
union de clases de equivalencia (es un conjunto saturado). Ahora bien, A es abierto en Y f (A) es
16 G. PADILLA
1
abierto en X f (A) es abierto en X/ f ; de aqu se deduce que f es continua. La continuidad de la
inversa de f se ve de modo similar. 

La proposicion anterior garantiza que, cuando f es sobreyectiva, la topologa final inducida por f se
puede obtener de un cociente en X por clases de equivalencia. Por ello la llamamos topologa cociente.
En adelante, dado un espacio topologico (X, T ) y una relacion de equivalencia cualquiera en X; siempre

dotamos a X/ de la topologa cociente T inducida por la proyeccion X - X/ y hablamos del
espacio cociente X/ . Un subconjunto A X es -saturado A es union de clases de equivalencia
1
A = (B) para algun B X/ .

Proposicion 2.5.2. Principio de trasgresion: Sea X/ un espacio cociente. Una funcion cualquiera
g g
X/ - Z es continua la composicion X - Z es continua.

[Demostracion] () Es directa de 2.2.2. () Supongamos que g es continua y sea A Z abierto.

1 1 1 1
Entonces (g) (A) = (g (A)) es abierto en X. Como X/ tiene la topologa cociente, g (A) es
abierto en X/ . 

Si R, R0 son dos relaciones de equivalencia en X, decimos que R0 refina a R y escribimos R0 R

si y solo si vale el siguiente condicional (x, y) R0 (x, y) R. En otras palabras: R0 R toda
clase de equivalencia en R es union de clases de equivalencia en R0 . Vistas en terminos de las particiones
inducidas, R0 R la particion inducida por R0 refina a la particion inducida por R.

Corolario 2.5.3. Si R, R0 son equivalencias en X y R0 refina a R entonces

X/R0 - X/R [x]R0 7 [x]R

es continua.

[Demostracion] Si R , R0 son las proyecciones de X en X/R y X/R0 respectivamente, entonces

R 0 = R . 

2.6. Axiomas de numerabilidad. Dado un espacio topologico (X, T ) diremos que

X satisface el primer axioma de numerabilidad o es 1-numerable todo punto en X
posee una base numerable de entornos abiertos.
X satisface el segundo axioma de numerabilidad o es 2-numerable X posee una base
numerable.

2.6.1. Ejemplos. Notemos que

(1) Todo espacio 2-numerable es 1-numerable.
(2) Todo espacio metrico (E, d) es 1-numerable: La topologa es dada por las bolas abiertas. En todo
punto x E una base de entornos de x es dada por las bolas abiertas B(x, ) con radio racional
+
no negativo Q .
n n
(3) El espacio eucldeo R es 2-numerable: Una base de R es dada por las bolas de radio racional
centradas en puntos de coordenadas racionales.
 TOPOLOGIA GENERAL 17

2.7. Subespacios topologicos. Dado un subconjunto Y X la topologa relativa de Y en X es

la familia TY = {Y A : A T }. Dotado con la topologa TY decimos que Y es subespacio de X; y
f f
escribimos Y X. Un embebimiento es una funcion continua Z - X tal que Z - f (Z) es
un homeomorfismo de Z en su imagen f (Z) como subespacio de X. Si existe un embebimiento de Z en
X decimos que Z es embebible en X y escribimos Z X.
Lema 2.7.1. Sea (X, T ) espacio topologico y Y X un subespacio. Entonces
(1) C 0 Y es cerrado en Y C 0 = Y C con C X cerrado en X.
(2) Para cada Z Y X escribamos Z Y para la adherencia de Z como subconjunto del espacio
(Y, TY ). Entonces Z Y = Z Y .
[Demostracion] (1) C 0 es cerrado en Y A0 = Y \C 0 es abierto en Y A0 = A Y donde A X
es abierto en X. Entonces C = X\A satisface C Y = (X\A) Y = Y \A = Y \A0 = C 0 . (2) Por el paso
anterior y las propiedades de la adherencia, se tiene directamente que
Z Y = {C 0 : Z C 0 , C 0 cerrado en Y } = {C Y : Z C, C cerrado en X}
= {C : Z C, C cerrado en X} Y
=Z Y


Lema 2.7.2. Sea (X, T ) espacio topologico.

(1) Dado un subconjunto Y X dotado de alguna topologa T 0 :

(a) La inclusion (Y, T 0 ) - (X, T ) es continua T T 0 .
Y

(b) La inclusion (Y, T 0 ) - (X, T ) es un embebimiento T = T 0 .
Y
(2) Y X Y X.
(3) Z X Z = Y para algun Y X.
1
[Demostracion] (1) Para cada subconjunto Z X la preimagen (Z) = Z Y es la interseccion de
Z con Y . De este modo, es continua A Y T para todo abierto A X; es decir T 0 TY .
Esto demuestra (a) , (b) es inmediata.

(2) Es consecuencia de (1)-(b).

(3) Directa de la definicion. 

La frontera topologica de un subconjunto Y X es la interseccion de su adherencia con la adheren-

cia de su complemento relativo: Y = Y X\Y . Diremos que Y es denso en X Y = X. Diremos

que Y es nunca denso en X Y = .
2.8. Conexidad. Fijemos un espacio topologico (X, T ). Una disconexion de X es una particion de X
en dos subconjuntos disjuntos, abiertos y no vacos X = A t B; A, B T , A 6= , B 6= . Decimos que
X es conexo si no existe ninguna disconexion de X.
Proposicion 2.8.1. X es conexo Los unicos subconjuntos abiertos y cerrados de X son y el propio
X.
18 G. PADILLA

[Demostracion] (): Si A X es un conjunto abierto y cerrado entonces X = A t (X\A) es una

particion de X en dos conjuntos abiertos. Por hipotesis X no posee disconexiones, luego A = o
(X\A) = , en este ultimo caso A = X.
(): Si X = A t B es una particion cualquiera de X en dos abiertos disjuntos; como B = X\A es abierto
se tiene que A es cerrado. Entonces por hipotesis A = o A = X, en este ultimo caso B = . Se deduce
que X no posee disconexiones. 

Un espacio discreto es un espacio topologico (Z, P(Z)) tal que la topologa en Z es toda la familia de
f
partes de Z. Una funcion discreta en X es una funcion continua X - Z en algun espacio discreto
Z.
Proposicion 2.8.2. X es conexo toda funcion discreta en X es constante.
[Demostracion] Para cualquiera de los casos X = o X = {x} la equivalencia es trivial. Podemos
asumir que X posee mas de un punto. Verificamos ambos condicionales por contrarrecproco.
f
(): Supongamos que existe alguna funcion X - Z discreta y no constante. Fijemos algun z f (X).
1
Entonces f (X) Z posee mas de un punto, por lo cual Z\{z} = 6 . Tomando las preimagenes A = f (z)
1
y B = f (Z\{z}) obtenemos una disconexion X = A t B; luego X no es conexo.
(): Si X no es conexo fijemos alguna disconexion X = AtB. Puesto que A, B son abiertos disjuntos no
vacos, si consideramos el espacio 2 = {0, 1} con la topologa discreta, entonces la funcion caracterstica

1 xA
1A : X -2 1A (x) =
0 x 6 A
1 1 1 1
es continua. En efecto 1A (2) = X, 1A (1) = A, 1A (0) = B y 1A () = . Se deduce que 1A es una
funcion discreta no constante. 

Corolario 2.8.3. La adherencia de un subespacio conexo es conexa.

[Demostracion] Sea Y X un subespacio conexo. Por la def. de la topologa de subespacio, una
disconexion de Y es dada por un par de abiertos A, B X tales que
Y A B.
ABY =
Puesto que Y Y notemos que Y A B, y A B Y A B Y = , luego A B Y = . Se deduce
que A, B son una disconexion de Y . Puesto que Y es conexo, se tiene que A Y = Y o B Y = Y .
Sin perdida de generalidad supongamos que A Y = Y , es decir, que Y A. Entonces, por la def. de
adherencia, Y A. Se deduce que A, B son una disconexion trivial de Y , luego Y es conexo. 

Proposicion 2.8.4. [Propiedades de la conexidad]

(1) La imagen de un espacio conexo por una funcion continua es conexa.
(2) La union de subespacios conexos no disjuntos 2 a 2 es conexa.
(3) En todo espacio topologico X, la relacion a b Y X tal que Y es un subespacio
conexo y a, b Y ; es una equivalencia en X.

f g
[Demostracion] (1) Sea X conexo y X - Y cualquier funcion continua. Si f (X) - Z es
 TOPOLOGIA GENERAL 19

cualquier funcion discreta entonces la composicion gf tambien es discreta; puesto que X es conexo gf es
constante; luego g es constante.
(2) Sea {Yi : i I} cualquier familia de subespacios conexos de X, tales que Yi Yj 6= para cualesquiera

f
i, j I; y escribamos Y = Yi . Si X - Z es cualquier funcion discreta entonces las restricciones
i
fi = f |Yi son constantes para cada i I. Es inmediato que fi |Yi Yj = fj |Yi Yj para cada i, j; de donde
f |Y es constante. Se deduce que toda funcion discreta definida en Y es constante. Por la arbitrariedad
de f se tiene que Y es conexo.
(3) La relacion es reflexiva pues para todo x X el atomo {x} es conexo. La simetra es trivial. Para
la transitividad supongamos que a b y b c. Sean Y, Z X subespacios conexos tales que a, b Y y
b, c Z. Puesto que b Y Z 6= , por el paso enterior, Y Z es un subespacio conexo que contiene a
a, c; luego a c. 

2.9. Componentes conexas. Una componente conexa de X es un subespacio conexo de X que es

maximal por contenciones. Toda componente conexa de X es una clase de equivalencia de la relacion
definida en 2.8.4-(3). anterior. Por 2.8.3 toda componente conexa es cerrada. Una equivalencia mas
debil es la siguiente:
f
(1) a b f (a) = f (b) X - Z discreta

Una casi-componente de X es una clase de equivalencia de la relacion anterior.

Lema 2.9.1. [Propiedades de las componentes conexas]
(1) Toda componente conexa es cerrada.
(2) Toda casi-componente es cerrada.
(3) Toda componente conexa de X esta contenida en una casi-componente.
(4) Toda casi-componente es union de componentes conexas.
(5) X es la union disjunta de sus componentes conexas (resp. de sus casi-componentes).

[Demostracion] Procedemos por pasos: (1) Por 2.8.3.

(2) Dado x X la casi-componente que contiene a x es su clase de equivalencia por la relacion 2.9-(1);
es decir,
( )
f
Cx = y X : f (x) = f (y) X - Z discreta

1
Es suficiente notar que Cx = f (f (x)) es interseccion de cerrados en X.
f discreta
(3) Por 2.8.2.
(4) De nuevo por Por 2.8.2, la relacion de equivalencia 2.8.4-(3) es mas fuerte que (refina a) la equiva-
lencia de arriba 2.9-(eq equivalencia casi-componentes).
(5) Trivial. 

Diremos que X es localmente conexo si todo punto de X posee una base de entornos conexos.
20 G. PADILLA

Lema 2.9.2. Si X es localmente conexo entonces

(1) Toda componente conexa es abierta.
(2) Las componentes conexas coinciden con las casi-componentes.

[Demostracion] (1) Sea C X una componente conexa y x C. Dado cualquier entorno abierto
conexo Ux 3 x, por la maximalidad de las componentes, tenemos que Ux C. Entonces C es la union
de los abiertos Ux variando a x C; luego C es abierto.
(2) Por 2.9.1-(4); si C 0 es una casi-componente entonces es union de componentes conexas; digamos
C 0 = tCi . Por el paso (1) de esta demostracion cada componente conexa Ci es abierta; luego C 0 es
i
abierta. Ahora bien; por 2.9.1-(2) C 0 es cerrada. Puesto que en X los subconjuntos cerrados y abiertos
maximales son precisamente sus componentes conexas, se deduce que C 0 es ella misma una componente
conexa. 

f
2.10. Conexidad por arcos. La relacion a b [0, 1] - X continua, tal que f (0) = a y
f (1) = b es una equivalencia. Una componente arco-conexa de X es un clase de equivalencia de la
relacion anterior. Diremos que X es arco-conexo para todo par de puntos a, b X se tiene a b; es
decir X posee una sola clase de equivalencia por dicha relacion. Con un procedimiento similar al de
2.8.4-(2) se puede verificar que la union de subespacios arcoconexos no disjuntos 2 a 2 es un subespacio
arcoconexo, luego una componente arco-conexa de X es un subespacio arco-conexo maximal de X. Un
espacio X es localmente arco-conexo todo punto de X posee una base de entornos arco-conexos.
Lema 2.10.1. [Propiedades de la conexidad por arcos]
(1) El intervalo [0, 1] es conexo.
(2) Todo espacio arco-conexo es conexo.
(3) Todo espacio localmente arco-conexo es localmente conexo.
(4) Toda componente arco-conexa esta contenida en alguna componente conexa.
(5) Toda componente arco-conexa es abierta y cerrada.
(6) Si X es localmente arco-conexo entonces toda componente arco-conexa es una componente
conexa.
[Demostracion] (1) Vamos por reduccion al absurdo: Supongamos que existe una funcion discreta y no
f
constante [0, 1] - 2 = {0, 1}. Como [0, 1] es un espacio metrico la continuidad se expresa en terminos
de lmites y sucesiones. Supongamos sin perdida de generalidad que f (0) = 0. Ya que f no es constante,
1
f ({1}) es un subconjunto no vaco y acotado, contenido en [0, 1]. Sea a = inf{t [0, 1] : f (t) = 1}.
Por construccion a > 0 y f (t) = 0 para todo t [0, a). Pero entonces existe un entero positivo n > 0
1
suficientemente grande tal que la sucesion {tm = a m : m > n} esta contenida en [0, a) y converge a
a. Sin embargo f (tm ) = 0 para todo m, y f (a) = 1. En terminos de lmites, para todo < 1/n existe
m > n tal que |tm a| < y sin embargo |f (tm ) f (a)| = 1; es decir, f no es continua en a; luego no es
una funcion discreta.
f
(2) Sea X un espacio arcoconexo y X - Z una funcion discreta. Dados cualesquiera a, b sea

[0, 1] - X un camino continuo tal que (0) = a y (1) = b. Por el paso anterior [0, 1] es conexo.
 TOPOLOGIA GENERAL 21

Puesto que la composicion g = f es continua, es una funcion discreta definida en [0, 1]; luego es con-
stante. Se deduce que f (a) = g(0) = g(1) = f (b). Dejando fijo a a X y moviendo arbitrariamente a
b X se deduce que f f (a) es la funcion constante de valor f (a). Por 2.8.2 y la arbitrariedad de f ,
se deduce que X es conexo.
(3) Consecuencia del paso (2).
(4) Consecuencia del paso (2).
(5) Sea C0 una componente arco-conexa. Por la condicion de arco-conexidad local C0 es abierta (la dem.
es analoga a la de 2.9.2-(1) para componentes conexas). Veamos que C0 es cerrada; para ello, sea C la
componente conexa que contiene a C0 . Escribamos a C = C0 t Cj como union de algunas componentes
j
arco-conexas en X. Con el mismo argumento de antes, cada Cj es abierta. Por el paso (3) de esta
demostracion X es localmente conexo; por 2.9.1-(1) C es cerrado. Entonces
 
C0 = C\ t Cj = C X\ t Cj
j6=0 j6=0

es interseccion de dos cerrados, luego es cerrado.

(6) Es consecuencia del paso anterior; la demostracion es analoga a la de 2.9.2-(2). 

2.11. Separacion. Estos son los axiomas de separacion en un espacio topologico (X, T ):
T0 Dados dos puntos diferentes en X, existe un abierto que contiene a solo uno de los dos.
T1 Dados dos puntos x 6= y en X, existe un abierto que contiene a x y no a y; y otro entorno que
contiene a y y no a x.
T2 Propiedad de Hausdorff: Dados dos puntos x 6= y en X, existen dos abiertos disjuntos
A B = tales que x A, y B.
T3 Regularidad: X es T1 y dado un cerrado C X y un punto x X\C, existen dos abiertos
disjuntos A B = tales que x A, C B.
T4 Normalidad: X es T1 y dados dos cerrados disjuntos C, D X, C D = existen dos abiertos
disjuntos A B = tales que C A, D B.
Por ejemplo: En un espacio T0 los puntos se pueden distinguir por los abiertos a los que pertenecen.
En un espacio T1 todo conjunto unitario es cerrado. Esta es otra manera de caracterizar la regularidad
y la normalidad:
Lema 2.11.1. Si X es un espacio T1 entonces
(1) X es regular dado x X y un entorno abierto U de x existe un abierto A tal que
x A A U.
(2) X es normal dado un cerrado C X y un entorno U C existe un abierto A tal que
C A A U.
[Demostracion] (1) Vemos el doble condicional: () El cerrado C = X\U es disjunto de x. Por
regularidad existen abiertos disjuntos A, B X que separan a x de C. Es decir, A B = , x A y
C B. De ello se deduce que A C = , es decir, A U . () Recprocamente, si vale la propiedad
citada, C es cualquier cerrado y x 6 C es un punto fuera de C; entonces U = X\C es un entorno abierto
de x. Basta tomar cualquier abierto A 3 x tal que A U . Por construccion C = X\U X\A = B y B
es un abierto disjunto de A.
(2) Se procede de modo similar al primer paso sustituyendo a x por un cerrado D disjunto de C. 
 22 G. PADILLA

El axioma de separacion mas importante es posiblemente el axioma T2 o axioma de Hausdorff.

Proposicion 2.11.2. [Propiedades de los espacios Hausdorff ]
(1) Todo subespacio de un espacio Hausdorff es Hausdorff.
(2) El producto cartesiano de una familia de espacios Haudorff (con la topologa producto) es
Hausdorff.
(3) Un espacio Hausdorff X es regular para cada x X los entornos cerrados de x forman una
base de entornos.
[Demostracion] (1) Si Y X es un subespacio de X y este ultimo es Hausdorff entonces, dados
cualesquiera a, b Y diferentes, basta tomar dos abiertos U, V X que los separen, e.d. U V = ,
a U y b V . Entonces U 0 = U Y y V 0 = V YQson abiertos que separan a a, b en Y .
Sea Xi una familia de espacios Hausdorff y X = Xi el espacio producto. (2) Si x, y son dos puntos
i

diferentes en X entonces sus coordenadas xi , yi difieren en algun ndice i. Basta tomar dos abiertos
e = U Q X y Ve = V Q X son dos abiertos basicos
Ui , Vi Xi que separen a xi de yi . Entonces U i j i j
j6=i j6=i
en X que separan a x, y.
(3) Es directa de 2.11.1. 

Proposicion 2.11.3. Todo subespacio de un espacio regular es regular.

[Demostracion] Sea X un espacio regular y Y cualquier subespacio. Primero que nada notemos Y
es T1 . La regularidad de Y es consecuencia del comportamiento de las adherencias en subespacios, cf.
2.7.1, y la caracterizacion de la regularidad con bases de entornos cerrados, cf.2.11.1. 

2.12. Mas ejercicios de topologa.

(1) Muestra que los siguientes son ejemplos de espacios topologicos:
(a) La topologa trivial o indiscreta: X cualquier conjunto y T = {, X}.
(b) La topologa discreta: X cualquier conjunto y T = P(X) la familia de todos los subconjuntos de
X.
(c) La topologa del orden: (X, <) cualquier conjunto parcialmente ordenado y T la topologa gen-
erada familia de todos los segmentos iniciales Ix = {y : y < x} y finales Fx = {y : x < y}, variando
a x X.
(d) La topologa metrica: (X, d) cualquier espacio metrico y T la familia de todos subconjuntos
abiertos en el sentido de 1.1.
(e) La topologa cofinita: X cualquier conjunto de cardinal infinito y T contiene a y a todo sub-
conjunto A cuyo complemento X\A es finito.
(2) Da un ejemplo de un espacio metrico que no satisfaga el 2do axioma de numerabilidad.
(3) Sea X = N {N} con la topoloa T inducida por el orden entre cardinales. Muestra que no existe una
distancia d definida en X que induzca a T .
f 1
(4) Si S es una sub-base de X; muestra que X - X 0 es continua f (S) es abierto para todo S S.
(5) Verifica que las definiciones de interior, adherencia y frontera en espacios topologicos coinciden con las
dadas en 1 cuando la topologa proviene de una metrica.

(6) Dado un espacio topologico (X, T ) verifica que X\A = X\A y X\A = (X\A).
(7) Dado un espacio topologico (X, T ) y una familia de subconjuntos {Yi }i muestra que

(Yi ) Yi
i i
 TOPOLOGIA GENERAL 23

Da un ejemplo de una tal familia para la cual no se tiene la igualdad. Halla una relacion similar para las
adherencias.

(8) Dado un espacio topologico (X, T ) y Y X muestra que X = Y t Y t (X Y ).
(9) Muestra que un espacio metrico es 2-numerable posee un subconjunto numerable y denso. En tal caso
decimos que el espacio es separable.
(10) Verifica que la union finita de subconjuntos nunca densos es nunca densa.
(11) Si Y X es conexo en X y Y Z Y entonces Z es conexo.
(12) Muestra que el intervalo  [0, 1] es conexo en R.
2
(13) Sea X = {(0, 0); (0, 1)} t {1/n} [0, 1] R con la topologa de subespacio. Mostrar que {(0, 0)}
nN+
y {(0, 1)} son componentes conexas, pero no son casi-componentes.
(14) Muestra que
(a) En un espacio regular todo par de puntos distintos pueden ser separados por dos abiertos cuyas
adherencias son disjuntas.
(b) En un espacio normal todo par de cerrados disjuntos pueden ser separados por dos abiertos cuyas
adherencias son disjuntas.
(1) Toda topologa del orden es regular.
f,g
(2) Si X - Y son continuas y Y es Hausdorff, entonces {x X : f (x) = g(x)} es cerrado.

3. Espacios compactos
Fijamos un espacio topologico (X, T ).
3.1. Compacidad. Un cubrimiento de Y X es cualquier familia de subconjuntos de X cuya union
contiene a Y . Un subcubrimiento de Y es una subfamilia de un cubrimiento de Y tal que ella misma
es un cubrimiento de Y . Decimos que X es compacto posee la propiedad de Heine-Borel: De cada
cubrimiento abierto de X se puede extraer un subcubrimiento (abierto) finito.
f
(1) Si X - Y es continua y X es compacto entonces f (X) es compacto.
(2) El cociente de un espacio compacto es compacto.
(3) Si Z Y X y Z es compacto en Y entonces Z es compacto en X.
(4) Si X es compacto y Y X es cerrado entonces Y es compacto.
Lema 3.1.1. El intervalo [0, 1] es compacto en R .
[Demostracion] Sea U cualquier cubrimiento abierto de [0, 1] y sea
S = {t [0, 1] : [0, t] posee un subcubrimiento finito de U}
Puesto que 0 S, tenemos que este es un conjunto no vaco y superiormente acotado en R. Sea b = sup(S)
el supremo de dicho conjunto. Notemos que si t S y 0 s t entonces [0, s] [0, t] se cubre con
un numero finito de abiertos de U, es decir que s S. De dicha observacion se deduce que S es un
intervalo; luego S = [0, a) o S = [0, a] para algun a b. Por unicidad del supremo se deduce que a = b,
es decir S = [0, b) o S = [0, b]. Si b 6 S entonces basta tomar cualquier U U tal que b U . Este
abierto U debe entonces contener un intervalo de la forma (b , b] para cierto  > 0. Entonces, como
(b /2) S, [0, b /2] se cubre con un numero finito de abiertos en U; digamos U1 , . . . , Un . Notemos
que U1 , . . . , Un , Un1 = U es un cubrimiento finito de [0, b] luego b S (contradiccion). La suposicion
b 6 S lleva al absurdo, luego b S y en consecuencia S = [0, b], con b 1. Finalmente, si b < 1,
entonces U contiene a todo un intervalo de la forma (b , b + ) para cierto  > 0 y, en este ultimo caso,
U1 , . . . , Un , Un1 = U es un cubrimiento finito de [0, b + /2] luego b S no es el supremo (contradiccion).
Se deduce que b = 1. 
24 G. PADILLA

Proposicion 3.1.2. Si X es compacto, entonces la proyeccion coordenada X Y - Y es cerrada.

[Demostracion] Esta funcion es continua pues X Y posee la topologa producto. Si C X Y

es cualquier cerrado, basta mostrar que U = Y \(C) es abierto. Tomemos t U ; esto implica que
(x, t) V = (X Y )\C para todo x X. Fijado cualquier x X, puesto que V es abierto en X Y
podemos tomar un abierto basico A B V tal que x A X y t B Y . Por construccion;
(A B) = B U . Se deduce que U es abierto. 

f
Una funcion continua X - Y es propia la preimagen f 1 (C) de todo subespacio compacto
C Y es un subespacio compacto en X.
f
Proposicion 3.1.3. Supongamos que X - Y es una funcion continua y cerrada. Si f 1 (y) es
compacto para todo y Y entonces f es propia.
1
[Demostracion] Sea C Y compacto y U un cubrimiento abierto de K = f (C). Para cada y C
1 ny 1
sea Uy = {Uy , . . . , Uy } una subfamilia finita de U que cubre a f (y) y Wy la union de los abiertos
1
en Uy . Como f es cerrada, Vy = Y \f (X\Wy ) es un entorno abierto de y. Ademas f (Vy ) Wy para
cada y C. Obtenemos un cubrimiento abierto {Vy : y C} de C. Por compacidad podemos extraer
un subcubrimiento finito Vy1 , . . . , Vyk . Entonces K es cubierto por Wy1 , . . . , Wyk quienes, a su vez, son
uniones finitas de abiertos de U. 

Corolario 3.1.4. Si X, Y son compactos, entonces X Y es compacto.

[Demostracion] Por 3.1.2 la proyeccion X Y - Y es cerrada; y por 3.1.3 es propia. Dado
que el espacio de llegada Y es compacto y es sobreyectiva, el espacio de partida X Y es compacto. 
n n
Corolario 3.1.5. El producto cartesiano [0, 1] = [0, 1] [0, 1] R es compacto.
[Demostracion] Por induccion: para n = 1 es el lema 3.1.1. Si vale para n entonces, para n + 1,
n+1 n
tenemos que [0, 1] = [0, 1] [0, 1] es producto de dos compactos y usamos 3.1.4. 

Proposicion 3.1.6. Si X es Hausdorff entonces todo subespacio compacto de X es cerrado.

[Demostracion] Sea K X compacto, x X\K. Para cada y K sean Ay , By abiertos tales que x
Ay , y By y Ay By = . Puesto que la familia {By : y K} es un cubrimiento abierto de K, podemos
extraer de ella un subcubrimiento abierto finito, digamos By1 , . . . , Byn . Entonces K By1 Byn .
Por construccion A = Ay1 Ayn es un entorno abierto de x y AByj = para cualquier j = 1, . . . , n;
luego AK = . Se deduce que A X\K con lo cual el complemento de K es abierto, e.d. K es cerrado.

n
Corolario 3.1.7. Un subespacio de R es compacto es cerrado y acotado.
n
[Demostracion] (): Sea K R compacto. Por 3.1.6 K es cerrado, de modo que basta ver que
es acotado. Para n = 1 es inmediato pues K puede ser cubierto por un numero finito de intervalos de
diametro finito, luego es acotado. Para n > 1, por el ejercicio (1) de 3.1, cada proyeccion coordenada
n j
R - R manda a K en algun subespacio compacto (K) que es cerrado y acotado en R , luego
j
 TOPOLOGIA GENERAL 25

j (K) [aj , bj ] esta contenido en algun intervalo cerrado. Tomando imagenes inversas se deduce que
K [a1 , b1 ] [an , bn ]. Como la topologa de las bolas es equivalente a la topologa de las cajas en
n
R , basta tomar  > 0 y cualquier bola abierta de diametro finito B tal que K (a1 , b1 + )
(an , bn + ) B.
(): Si K es acotado entonces posee diametro finito, existe alguna bola abierta de diametro finito centrada
en el origen B(0, ) que contiene a K. Puesto que la topologa de las bolas es equivalente a la topologa
n
de las cajas en R , existe alguna caja abierta, que es un abierto basico de la forma (a1 , b1 ) (an , bn )
n
y contiene a K. Pero entonces K [a1 , b1 ] [an , bn ] y este ultimo subespacio es compacto en R
por 3.1.5. Si K es cerrado entoces, por el ejercicio (4) de 3.1, K es compacto en [a1 , b1 ] [an , bn ].
Luego K es compacto. 

Lema 3.1.8. Toda biyeccion continua de un compacto en un Hausdorff es un homeomorfismo.

f
[Demostracion] Sea X compacto, Y Hausdorff y X - Y una biyeccion continua. Debemos
1
mostrar que f es un homemorfismo, es decir que su inversa g = f es continua. Para ello basta
ver que f es cerrada (manda cerrados en cerrados). Si C X es cerrado entonces, por la propiedad (4)
C es compacto. Por la propiedad (1) la imagen directa f (C) es un subespacio compacto de Y , el cual es
Hausdorff. Por el lema anterior 3.1.6, f (C) es cerrado en Y . 

Corolario 3.1.9. Toda funcion continua a valores reales con dominio compacto alcanza el supremo (y
el nfimo) en el dominio.
Lema 3.1.10. Todo espacio Hausdorff y compacto es T4 (es decir, normal).
[Demostracion] Sea X un espacio Hausdorff y compacto. Verificamos que
X es T3 : Es decir, regular. Sea C X un cerrado y x X\C. Siga la demostracion en 3.1.6; los
abiertos x A y B = By1 Byn conseguidos all son los deseados para separar a x y C.
X es T4 : Es decir, normal. Sean C, C 0 X cerrados disjuntos. Para cada x C 0 sean Ax , Bx abiertos
tales que x Ax , C Bx y Ax Bx = . Por la propiedad (4) C es compacto y {Ax : x C}
es un cubrimiento abierto de C; podemos extraer un subcubrimiento finito Ax1 , . . . , Axn . Entonces
C A = Ax1 Axn es abierto; C 0 B = Bx1 Bxn es abierto; y A B = por construccion.


3.2. Espacios Hlc. Un espacio (X, T ) es localmente compacto todo punto posee algun entorno
compacto. En adelante, dado un espacio Hausdorff localmente compacto diremos que X es Hlc.
(1) En un espacio Hlc los entornos compactos forman una base de entornos en cualquier punto.
(2) Si X es Hlc y A X es abierto, entonces A es Hlc.
(3) Si X es Hlc y C X es cerrado, entonces C es Hlc.

Sea (X, T ) un espacio Hlc. La compactificacion de Alexandrof de X es el espacio X = X t {}

con la topologa T siguiente: Un subconjunto A de X pertenece a T :
A X y A T ; o bien

C = X \A es compacto en X.
Lema 3.2.1. Dado un espacio Hlc (X, T );

(a) X es un subespacio de X .

(b) X es compacto y Hausdorff.
26 G. PADILLA

(c) T es la unica topologa en X tal que X satisface (1) y (2).

[Demostracion] La propiedad (a) es por definicion: En efecto, sea A X un abierto. Si 6 A

entonces A X es un abierto de X. En caso contrario, si A entonces C = X \A X es compacto
en X. Puesto que X es Hausdorff, C X es cerrado en X (lema 3.1.6). Entonces A X = X\C es
abierto en X.

Para ver (b) tomemos cualquier cubrimiento abierto U de X . Algun subconjunto U U debe contener

al punto infinito; e.d. U . Entonces C = X \U es compacto en X. Dado que X es subespacio de

X (punto anterior) C tambien es compacto en X (ejercicio (3) de 3.1); luego C es cubierto por un
numero finito de abiertos de U.

Para (c) supongamos que T 0 es cualquier otra topologa de X que satisface (1) y (2) y tomemos un

abierto U T 0 . Si 6 U entonces U X. Como X es un subespacio de (X , T 0 ) se deduce que U es

abierto en X; luego U esta en T . Por otra parte, si U entonces C = X \U es cerrado. Puesto

que (X , T 0 ) es compacto, C es compacto en (X , T 0 ) (ejercicio (4) de 3.1). Puesto que C X y X es

subespacio de (X , T 0 ), C es compacto en X; luego U T . Con esto deducimos que T 0 T . La
otra contencion es analoga. 

f
Lema 3.2.2. Si X, Y son Hlc entonces X - Y es propia f admite la extension continua X fe
-Y
definiendo fe(X ) = Y .

[Demostracion] () La funcion fe esta bien definida, basta verificar que es continua. Dado cualquier
1
abierto A Y debemos ver que fe (A) es abierto en X . Si Y 6 A entonces A Y es abierto en Y
1 1
pues Y es subespacio de Y . En este caso A0 = fe (A) = f (A) es abierto en X por la continuidad de

f , luego es abierto en X . Por otra parte, si Y A entonces C = Y \A es compacto en Y . Puesto
1 1 1
que f es propia; C 0 = fe (C) = f (C) es compacto en X, luego fe (A) = X \C 0 es abierto en X .

() Dado cualquier compacto C Y , por definicion A = Y \C es abierto en Y y contiene al punto
1
infinito Y . Si fe es continua entonces fe (A) es abierto en X y contiene al punto infinito X . Entonces
1 1 1
f (C) = fe (C) = X \fe (A) es compacto en X. Se deduce que f es propia. 

Lema 3.2.3. Toda funcion propia entre espacios Hlc es cerrada (manda cerrados en cerrados).

f
[Demostracion] Sea X - Y una funcion propia entre espacios Hlc y X fe
- Y la extension

continua del lema anterior. Todo cerrado C X es tambien cerrado en X , pues X es subespacio de

X . Puesto que X es compacto, C es compacto en X (ejercicio (4) de 3.1). Su imagen f (C) = fe(C)

es entonces compacta en Y (ejercicio (1) de 3.1). Como Y es Hausdorff se deduce que f (C) es cerrado

en Y (lema 3.1.6). Como f (C) Y y Y es subespacio de Y ; se deduce que f (C) es cerrado en Y . 

Un subespacio Y X es localmente cerrado en X para cada punto y Y existe algun entorno

abierto Uy en X tal que Uy Y es cerrado en Uy .

Lema 3.2.4. Y X es localmente cerrado Y = A C donde A X es abierto y C X es cerrado.

 TOPOLOGIA GENERAL 27

[Demostracion] () Para cada y Y sea Uy un entorno abierto tal que Uy Y es cerrado en Uy .

Tomemos el abierto U = Uy y el cerrado C = Y (la adherencia de Y ). Entonces
yY
 
   
U C =Y U =Y Uy = Y Uy = Y Uy = Y
yY yY yY

La otra implicacion es trivial. 

Proposicion 3.2.5. En un espacio Hausdorff X las siguientes proposiciones son equivalentes.

(1) X es Hlc.
(2) X es un subespacio localmente cerrado de algun espacio Hausdorff compacto.
(3) X es un subespacio localmente cerrado de algun espacio Hlc.

[Demostracion] (1) (2): Si X es Hlc entonces X es abierto en X , que es compacto y Hausdorff.

Puesto que X es subespacio de X ; todo subespacio compacto de X es cerrado en X (lema 3.1.6). En

particular, como X es Hlc, es localmente cerrado en X .
(2) (3): Es trivial.
(3) (1): Si X es subespacio localmente cerrado de un espacio Y Hlc, por el lema 3.2.3 escribamos
X = A C tales que A Y es abierto y C Y es cerrado. Puesto que Y es localmente compacto; dado
cualquier punto x C, x posee un entorno compacto V Y . Como Y es Hausdorff, V es cerrado en Y
(lema 3.1.6). Entonces C V es cerrado en V , luego C V es compacto (ejercicio (4) de 3.1). Se deduce
que C es localmente compacto. Puesto que X = C U es un abierto de C con la topologa de subespacio;
se deduce que X es localmente compacto. 

3.3. Espacios paracompactos. Una familia S de subconjuntos de X es localmente finita (en adelante
lf) todo punto de X tiene un entorno que intersecta a lo sumo un numero finito de subconjuntos de
la familia S.
Lema 3.3.1. Sea S una familia lf en un espacio topologico X. Entonces
(1) {S : S S} es lf.
(2) S = S.
SS SS

[Demostracion] (1) Sea x X y U un entorno de x que intersecta un numero finito de conjuntos en

la familia S. Fijemos un conjunto S S de la familia. Basta verificar que U intersecta a S si y solo si
U intersecta a S. Una de las dos implicaciones es inmediata pues S S. Por otra parte, si x U S
entonces, por definicion de adherencia, todo entorno de x intersecta a S. En particular para U intersecta
a S.
(2) Puesto que cada S0 esta contenido en la union S; por monotona de la adherencia (ejercicio (10)
SS

de 2.1) tenemos que S0 S. Tomando uniones del lado izquierdo obtenemos que S S. Para
SS SS SS
verificar que S S tomemos un punto z S y un entorno abierto U de z que intersecta un
SS SS SS
numero finito de conjuntos de la familia S; digamos S1 , . . . , Sn . Por definicion de adherencia, para cada
entorno abierto V de z, se tiene que V U intersecta a S; luego intersecta S1 Sn . Se deduce
SS
que
z S1 Sn = S1 Sn
La ultima igualdad se tiene pues la union es finita (ejercicio (11) de 2.1). Luego z Sj para algun j. 
28 G. PADILLA

Dados dos cubrimientos abiertos U, V de X diremos que V refina a U si cada subconjunto de la

familia V esta contenido en algun subconjunto de la familia U. Dados cualesquiera cubrimientos U, V
siempre existe algun cubrimiento W que los refina a ambos; podemos tomar por ejemplo la familia de
intersecciones U V con U U y V V. Un espacio Hausdorff X es paracompacto si para cada
cubrimiento abierto existe un refinamiento abierto lf.
Lema 3.3.2. Todo subespacio cerrado de un espacio paracompacto es paracompacto.
[Demostracion] Sea X un espacio paracompacto y C un cerrado en X. Dado cualquier cubrimiento
abierto U de C, la familia V = U {X\C} es un cubrimiento de X. Extraigamos un refinamiento lf de
W; los abiertos en W que intersectan a C dan un refinamiento lf de U. 

Proposicion 3.3.3. Todo espacio paracompacto es normal.

[Demostracion] Sea X un espacio paracompacto. Entonces:
X es regular: Dado un cerrado C en X y un punto x X\C. Como X es Hausdorff, para cada y C
podemos tomar dos abiertos disjuntos Ay , By tales que x Ay , y By . Tomemos el cubrimiento abierto
de X que consta de todos los abiertos By y el abierto X\C; y tomemos un refinamiento abierto lf U de
dicho cubrimiento. Sea 
U = V U : V Vy para algun y C
Notemos que C U . Por 3.3.1-(2) y la monotona del operador de adherencia (ejercicio (10) de 2.1)
tenemos que 
U = V : V U, V Vy para algun y C Vy
yC

de donde x 6 U . Esto implica que x posee algun entorno W disjunto de U , por la definicion de adherencia.
X es normal: Dados dos cerrados C, C 0 ; por el paso anterior para cada punto x X\C 0 podemos tomar
dos abiertos disjuntos Ax , Bx tales que C 0 Ay y x By . Tomemos el cubrimiento abierto de X que
consta de todos los abiertos By y el abierto X\C 0 . Repitiendo en adelante el mismo razonamiento del
paso anterior se llega separar C, C 0 con dos abiertos disjuntos. 

Lema 3.3.4. Dado un espacio paracompacto X y una familia localmente finita F = {C } de cerrados
disjuntos; hay una familia {V } de abiertos disjuntos que los separan.
[Demostracion] Sea C = t C . Como F es localmente finita, para cada C el subconjunto (C C )

tambien es cerrado; en consecuencia hay un entorno abierto U de C cuya adherencia no intersecta
a (C C ). Puesto que X es paracompacto, del cubrimiento abierto {X C} {U } extraemos un
refinamiento abierto localmente finito W = {W } . Por la finitud local de W,
   
U = W = W = W = U
6= 6= W U 6= W U 6= W U 6=

de donde
K = U
6=
es cerrado. Basta ahora definir V = (U K ). 

4. Convergencia en espacios topologicos

Fijamos un espacio topologico (X, T ).
 TOPOLOGIA GENERAL 29

4.1. Redes. Un conjunto dirigido es un conjunto parcialmente ordenado (D, ) tal que, para cua-

lesquiera i, j D siempre existe algun k i, j. Una red en X es una funcion D - X definida de
un conjunto dirigido en X; en tal caso escribiremos usualmente xi = (i) para cada i D. Dado Y X
y cualquier red en X; diremos que
Cae en Y (D) Y .
Cae frecuentemente en Y para cada i D existe algun j i tal que (j) Y .
Cae a la larga en Y existe algun i D tal que (j) Y para todo j i.
Dada una red en X y un punto x X, diremos que converge a x si y solo si para todo entorno
abierto U de X se tiene que cae a la larga en U . Note que, si converge a x entonces x es un punto
de adherencia de (D).
Lema 4.1.1. Sean Y, Z X y una red en X. Si cae eventualmente en Y y cae eventualmente en
Z entonces Y Z 6= y cae eventualmente en Y Z.
[Demostracion] Sean i, i0 D tales que (j) Y (resp. (j) Z) para cada j i (resp. j i0 ).
Entonces, como D es dirigido, basta tomar k i, i0 . Por construccion, para cada j k se tiene que
(j) Y Z. 

Lema 4.1.2. X es Hausdorff toda red converge a lo sumo a un unico punto.

[Demostracion] Probamos el doble condicional.
() Sea X es Hausdorff y una red que converge a dos puntos x, y. Si x U , y V son dos entornos
abiertos entonces, por definicion, cae eventualmente en U y cae eventualmente en V . Por el lema
anterior, cae eventualmente en U V 6= con lo cual x, y no pueden separarse por entornos disjuntos.
Puesto que X es Hausdorff eso implica que x = y.
() Suponga que X no es Hausdorff y sean x, y dos puntos en X que no pueden separarse por entornos
abiertos disjuntos. Consideremos el conjunto parcialmente ordenado (D, ) definido como sigue: Un
elemento de D es un par (U, V ) tal que U es un entorno abierto de x y V es un entorno abierto de y.
Definimos la relacion de orden parcial como sigue: (U, V ) (U 0 , V 0 ) si y solo si U 0 U y V 0 V .
Puesto que, para cada par (U, V ) en D, la interseccion U V 6= es no vaca, por el axioma de eleccion

podemos elegir un elemento x(U,V ) U V . Esto define entonces una red D - X. Afirmamos que
converge a x y a y. Para ver que converge a x tomemos cualquier entorno abierto W de x. Entonces,
para cualquier (U, V ) (W, W ) en D, se tiene que x(U,V ) U V W ; luego cae a la larga en W . De
modo similar se ve que converge a y. 

En un espacio Hausdorff X toda red converge, a lo sumo, a un unico punto x y, en tal caso decimos
que x es el lmite de y escribiremos x = Lim xi , o bien x = Lim .
iD

f
Lema 4.1.3. X - Y es continua dada cualquier red en X que converge a x X, la red f en
Y converge a f (x).
[Demostracion] Mostramos el doble condicional. () Suponga que f es continua y sea una red en
1
X que converge a x. Sea U un entorno abierto de f (x). Como V = f (U ) es un entorno de x, la red
cae a la larga en V ; es decir, existe algun i tal que (j) V para todo j i. Entonces f ((j)) U para
todo j i; es decir, f cae a la larga en U .
30 G. PADILLA

f
() Recprocamente sea X - Y cualquier funcion entre dos espacios topologicos que satisface la
condicion del enunciado: Para cada red en X que converja a un punto x, la red compuesta f converge
1
a f (x). Supongamos que f no es continua y sea V Y algun abierto tal que su preimagen U = f (V ) no

es abierto en X. Tomemos cualquier punto x U \U 6= . Consideremos el conjunto dirigido D = V(x)
de todos los entornos de x ordenados por contencion: dados A, B D diremos que A B si y solo si
B A. Por la seleccion del punto x, ningun entorno de x puede estar contenido en U . Luego, para
cualquier A D tenemos que A (X\U ) 6= y podemos escoger wA A (X\U ) por el axioma de

eleccion. De este modo construimos una red D - X dada por (A) = w . Si W es cualquier entorno
A
abierto de x y A W , es decir, si A W , entonces A (X\U ) W (X\U ), luego wA W . Se deduce
que cae eventualmente en W . De la arbitrariedad de W deducimos que converge a x. Sin embargo,
f (wA ) = f ((A)) 6 V para todo A D; luego f nunca cae a la larga en V y, por tanto, no converge a
f (x). 

Por la proposicion anterior, dada cualquier red que converge en X, la condicion de continuidad se
traduce
f (Lim xi ) = Lim f (xi )
iD iD

Lema 4.1.4. Dado Y X, tenemos x Y x es un punto lmite de alguna red que cae en Y .
[Demostracion] (): Si x Y entonces, para el conjunto parcialmente ordenado D = V(x) de todos
los entornos abiertos de x con el orden parcial U V V U ; por el axioma de eleccion podemos

elegir xU U Y 6= para cada U D. Entonces (U ) = xU define una red D - X que converge
a x.

(): Si x = Lim xi es punto lmite de alguna red D - Y X entonces, por definicion, para cada
iD

entorno U de x, cae a la larga en U . En particular, =

6 (D) U Y U . Se deduce que x Y . 

4.2. Sub-redes. Dados cualesquiera conjuntos paracialmente ordenados (D, ) y (D0 , ) una funcion
g
D - D0 es
Creciente: se satisface i j g(i) g(j).
Final: se satisface que, para cada i0 D0 , existe i D tal que j i g(j) i0 .
Notemos que toda funcion creciente es final, luego las funciones finales generalizan la idea de subsucesiones.

Dada una red D0 - X; una subred de es la composicion g de con cualquier funcion final
g
D - D0 .

Lema 4.2.1. Una red en X cae frecuentemente en todo entorno de x X si y solo si existe una subred
de que converge a x.

[Demostracion] () Suponga que D0 - X cae frecuentemente en todo entorno de x. Sea D el
conjunto parcialmente ordenado de los pares (i, U ) tales que i D0 , U es un entorno abierto de x y
xi = (i) U ; con el orden parcial (i, U ) (j, V ) i j y V U . Puesto que cae frecuentemente
en U V ; existe algun k i, j tal que xk U V . En consecuencia (k, U V ) D y (k, U V ) (i, U );
 TOPOLOGIA GENERAL 31

analogamente (k, U V ) D y (k, U V ) (j, V ), por lo cual D es un conjunto dirigido. Consideramos

g
la funcion D - D0 dada por g(i, U ) = i. Esta funcion es final pues, dado i0 D0 , podemos tomar
(i , X) D y por la definicion de g, si (j, V ) (i0 , X) entonces j i0 . De este modo, g es una subred
0

de . Para ver que g converge a x sea W cualquier entorno abierto de x. Como cae frecuentemente
en todo entorno de x existe algun ndice i tal que xi W ; luego (i, W ) D. Si (j, V ) (i, W ) entonces
j i y (g(j, V )) = (j) = xj V W . De la arbitrariedad de (j, V ) se deduce que g cae a la larga
en W y, de la arbitrariedad de W , que g converge a x.
g
() Sea D0 - X una red en X, D - D0 una funcion final y supongamos que la subred g
converge a x. Dado cualquier entorno abierto U de x existe algun i0 D tal que (g(j)) U para
todo j i0 . Dado ahora i0 D0 , como g es final, existe algun i1 D tal que vale el condicional
j i1 g(j) i0 . Puesto que D es dirigido basta tomar i i0 , i1 . Obtenemos el condicional
j i k = g(j) i0 y xk = xg(j) = (g(j)) U . De la arbitrariedad de i0 deducimos que g cae
frecuentemente en U . 

4.3. Redes universales. Una red D - X es universal para cada Y X se tiene que cae, a
la larga, en Y o en X\Y .
Lema 4.3.1. La composicion de una red universal con cualquier funcion es una red universal.

[Demostracion] Si D - X es una red universal, X - Z es cualquier funcion entre espacios
1
topologicos y Y Z; entonces, por definicion, cae eventualmente en A = f (Y ) o en X\A =
1
f (Z\Y ). Luego f cae eventualmente en Y o en Z\Y . 

Teorema 4.3.2. Toda red posee una subred universal.

[Demostracion] Sea D - X una red. Sea R el conjunto de todas las familias S P(X) tales
que
(1) S S cae frecuentemente en S.
(2) S, S 0 S S S 0 S.
Esta familia es no vaca pues {X} R. Notemos que:
R posee una familia maximal S0 : Demos a R el orden parcial de inclusion. Supongamos que {Si }i es
una cadena en R; es decir, que para cualesquiera i, j tenemos que Si Sj o Sj Si . Consideremos
entonces S = Si . Entonces:
i

(1) S S S Si para algun i, luego cae frecuentemente en S.

(2) S, S 0 S S Si y S 0 Sj para algunos i, j. Sin perdida de generalidad asumamos que
Si Sj . Entonces S, S 0 Sj S S 0 Sj ; luego S S 0 S.
De las observaciones anteriores deducimos que S R; luego toda cadena en R posee un supremo en la
familia. Por el lema de Zorn, R posee una familia maximal S0 .
posee una subred universal: Consideremos a continuacion el conjunto D0 = {(S, i) : S S0 , i
D, xi S} con el orden parcial
(S, i) (R, j) R S y i j
32 G. PADILLA

g
y la funcion D0 - D dada por g(S, i) = i. Notemos que g es final: Dado i D y cualquier S S ,
0
como cae frecuentemente en S existe algun j i tal que xj = (j) S. Luego (S, j) D0 . Si ahora
(R, k) (R, j) entonces, por definicion, g(R, k) = k j i. Afirmamos que la subred g es universal.
Para ver esto ultimo supongamos que S X es un subconjunto tal que g cae frecuentemente en S.
Entonces, para cada (R, j) D0 existe algun (T, k) (R, j) tal que xk = (g(k)) S T T R.
Deducimos que cae frecuentemente en S R para cualquier R S0 . Pero entonces
S 0 = S0 {S} {S R : R S0 }
contiene a S0 y satisface las condiciones (1) y (2). Por maximalidad, deducimos que S 0 = S0 . En
particular, S S0 . Del mismo modo, si g cae frecuentemente en (X\S), entonces (X\S) S0 . Ahora
bien, ambas no pueden pasar al mismo tiempo pues, en tal caso, por la propiedad (2), tendramos que
= S (X\S) S0 , lo cual contradice la propiedad (1). Ya que no suceden las dos al tiempo, alguna de
las dos es falsa. Si g no cae frecuentemente en S (resp. en X\S) entonces cae a la larga en X\S (resp.
en S). Se concluye que g es universal. 

Lema 4.3.3. Toda subred de una red universal es universal.

g
[Demostracion] Si D0 - X es una red universal y D - D0 es final, tomemos un subconjunto
Y X. Si cae a la larga en Y , entonces existe algun i D tal que j 0 i0 xj0 Y . A su vez, existe
0 0

algun i D tal que j i g(j) i0 ; luego (g(j)) = xg(j) Y . Se deduce que g cae a la larga en Y .
De modo similar, si cae a la larga en X\Y entonces g tambien. 

Teorema 4.3.4. [Teorema de Bolzano-Weierstrass] Las siguientes afirmaciones son equivalentes:

(1) X es compacto.
(2) Toda coleccion de subespacios cerrados en X con la propiedad de interseccion finita (toda inter-
seccion finita de elementos de la familia es no vaca), posee interseccion no vaca.
(3) Toda red universal en X converge en X.
(4) Toda red en X posee una subred convergente.
[Demostracion] Procedemos por pasos.
(1)(3): Sea = {xi : i D} una red universal que no converge en X. Dado cualquier y X existe
algun entorno Uy de y tal que no cae a la larga en Uy . Por universalidad, cae a la larga en K = X\Uy ;
e.d. que existe algun ndice iy D tal que j iy xj 6 Uy . Ahora bien, {Uy : y X} es un cubrimiento
abierto de X, por compacidad, podemos extraer un subcubrimiento finito Uy1 , . . . , Uyn . Basta entonces
tomar cualquier k iy1 , . . . , iyn . Por construccion; j k xj 6 Uyr r = 1, . . . , n xj 6 X, lo cual es
absurdo.
(3)(4): Inmediata del lema 4.3.3.
(4)(2): Sea F una familia con la propiedad de interseccion finita. Si anadimos a F todas las intersecciones
finitas de elementos de la familia podemos asumir que F es cerrada por intersecciones finitas. Entonces
F es ordenada por la relacion C C 0 C 0 C. Con esta relacion F es un conjunto dirigido. Por
el axioma de eleccion, para cada C F podemos elegir algun xC C con lo cual obtenemos una red

F - X dada por (C) = x . Por hipotesis, podemos extraer una subred convergente = g, para
C

g
alguna funcion maximal D - F. Esta subred satisface (i) = (g(i)) = x
g(i)
g(i) F. Sea x X
tal que converge a x y C F. Como g es maximal existe algun i D tal que j i g(j) C, lo cual
 TOPOLOGIA GENERAL 33

en el orden de F implica que g(j) C. Del lema 4.1.4 se deduce que

x ({j : j i}) = {xg(j) : j i} C = C
pues C es cerrado. De la arbitrariedad de C obtenemos que x C; lo cual demuestra (2). 
CF

Proposicion 4.3.5. Dada una familia de espacios topologicos {(Xi , Ti )}i ; una red D - QX con-
i
i

i
Q
verge a x = (xi )i Xi cada composicion con una proyeccion coordenada D - X converge a
i
i
i (x) = xi para cada i.
[Demostracion] La direccion () es directa de la continuidad de las proyecciones coordenadas. Para
ver () supongamos que i converge a i (x) = xi para cada i y sea U cualquier Q entorno abierto de
x. Podemos asumir, sin perdida de generalidad, que U = (Ui1 Uin ) Xi es un abierto
i6=i1 ,...,in

basico. Para cada k = 1, . . . , n tenemos que ik cae a la larga en Uik . Entonces, para cada D
existen 1 , . . . , n tales que k ik (()) Uik . Puesto que D es dirigido, existe algun 0 tal que
0 ik (()) Uik para todo k = 1, . . . , n. Pero entonces 0 () U . Se deduce que cae
a la larga en U . De la arbitrariedad de U obtenemos que converge a x. 

Teorema 4.3.6. [Teorema de Tijunov] El producto arbitrario de espacios compactos es compacto.

Q
[Demostracion] Sea X = Xi el producto de una familia de espacios compactos y D -X
i

i-
cualquier red universal. Entonces por 4.3.1, para cada i la composicion D Xi es una red universal
en Xi . Como cada Xi es compacto, por el teorema de Bolzano-Weierstrass 4.3.4 i converge en Xi para
cada i. Por la prop. anterior 4.3.5, converge en X. De nuevo por el teorema de Bolzano-Weierstrass,
X es compacto. 

4.4. Espacios completamente regulares. Un espacio Hausdorff X es completamente regular o

T3 1 para cada punto x X y cada cerrado C X tal que x 6 C; existe una funcion continua
2

f
X - [0, 1] tal que f (x) = 0 y f (y) = 1 para todo y C.

Lema 4.4.1. Todo espacio completamente regular es regular.

f
[Demostracion] Sea X completamente regular, C un cerrado y x 6 C un punto de X. Si X - [0, 1]
1
es cualquier funcion continua tal que f (x) = 0 y f (y) = 1 para todo y C; entonces U = f [0, 1/3) y
1
V = f (2/3, 1] son dos abiertos disjuntos en X que separan a x de C. 

f
Lema 4.4.2. Sea C [0, 1] cerrado y x [0, 1]\C. Existe una funcion continua [0, 1] - [0, 1] tal
que f 0 en un entorno de x y f 1 en un entorno de y.
[Demostracion] Puesto que C es cerrado y acotado, es un compacto contenido en [0, 1]. Como R
Hausdorff existen  > 0 y 0 a < b 1 tales que C (a , b + ) y (x , x + ) (a 2, b + 2) = .
34 G. PADILLA

g
Tome cualquier funcion continua R - R tal que g 1 en [a , b + ] y g 0 en R\(a , b + );
por ejemplo se puede tomar a g como una funcion cuyo grafo es una poligonal. La restriccion f = g|[0,1]
es la funcion buscada. 

Dado un espacio X completamente regular, consideramos el conjunto F = C(X, [0, 1]) de todas las
funciones continuas de X en [0, 1]. Consideramos el producto cartesiano de [0, 1] consigo mismo F-veces;
F Q
es decir [0, 1] = [0, 1] con la topologa producto, por el teorema de Tijunov 4.3.6 este espacio es
f F
F
compacto. Un elemento de [0, 1] se puede ver como una secuencia (tf )f F subindicada por funciones
F
continuas con tf [0, 1] para cada f F. Equivalentemente, un elemento de [0, 1] es una funcion

F = C(X, [0, 1]) - [0, 1]

f
que a cada funcion continua X - [0, 1] le asigna un real t = (f ) [0, 1]. Definimos
f

(2) X - [0, 1]F (x) = x
b:F - [0, 1] x
b(f ) = f (x)
Es decir, (x) = x
b es el operador que a cada funcion f definida en X la evalua en x. La compactacion
F
de Stone-Cech de X es la adherencia de (X) como subespacio de [0, 1] . La denotamos
F
(3) (X) = (X) [0, 1]
F
Puesto que [0, 1] es compacto y Hausdorff, (X) es compacto y Hausdorff.

Proposicion 4.4.3. Si X es un espacio completamente regular entonces X - (X) es un embe-
bimiento.
[Demostracion] Debemos verificar que:
f
es inyectiva: Si (x) = (y) entonces f (x) = f (y) para cualesquiera funcion continua X - [0, 1].
Puesto que X Hausdorff, los conjuntos {x} y {y} son cerrados. Como X es completamente regular, si
x 6= y entonces existe alguna funcion continua f tal que f (x) = 0 y f (y) = 1; pero esto es imposible por
nuestra suposicion, luego x = y.

es continua: Sea D - X cualquier red en X que converge a x X. Entonces, para cada funcion
f
continua X - [0, 1], en virtud de 4.1.3 tenemos que

Lim (f ) = Lim (xi )(f ) = Lim x

bi (f ) = Lim f (xi ) = f (x) = x
b(f ) = (x)(f )
iD iD iD iD

b en (X)
De la arbitrariedad de f y el hecho de que f (x) es precisamente la f -esima coordenada de x
F
[0, 1] como subespacio del producto; se deduce que es continua coordenada a coordenada. Por 4.3.5,
deducimos que es continua, es decir
 
Lim = (x) = Lim
iD iD
 TOPOLOGIA GENERAL 35

La inversa de es continua: Supongamos que es una red en X tal que converge a (x) para
f
algun x X. Entonces, para cada funcion continua X - [0, 1],

Lim f (xi ) = Lim x

bi (f ) = Lim (xi )(f ) = (x)(f ) = f (x)
iD iD iD

es decir, f converge a f (x). Ahora bien, si no converge a x entonces existe algun entorno U de x tal
que no cae a la larga en U ; por lo cual cae frecuentemente en C = X\U ; el cual es un cerrado que
f
no contiene a x. Puesto que X es totalmente regular, existe una funcion continua X - [0, 1] tal que
f (x) = 0 y f (y) = 1 para todo y C. De este modo, f es frecuentemente 1 pero f (x) = 0; lo cual
contradice la igualdad de arriba. 

f
Teorema 4.4.4. Si X es completamente regular y X - R es una funcion continua y acotada, existe
F fb
una funcion continua [0, 1] - R tal que fb extiende a f de modo unico en (X); es decir, fb = f

donde X - (X) es el embebimiento de Stone-Cech.

[Demostracion] Sin perdida de generalidad podemos suponer que f (X) [0, 1]. En ese caso consid-
eramos la funcion
F fb
[0, 1] -R fb() = (f )

F
En otras palabras, el valor de fb() es la f -esima coordenada de en [0, 1] . Si D - [0, 1]F es una
red que converge a entonces, por 4.3.5, la red converge coordenada a coordenada. En particular, la
F f
composicion f con la f -esima proyeccion coordenada [0, 1] - [0, 1] converge a (). Puesto que
f
F
f ( ) = (f ) = fb( ) para cualquier [0, 1] , tenemos que
 
Lim fb(i ) = Lim i (f ) = Lim f (i ) = f Lim i = f () = (f ) = fb()
iD iD iD iD

Por 4.1.3 deducimos que fb es continua. Dado x X, por la definicion de fb tenemos que

fb((x)) = (x)(f ) = x
b(f ) = f (x)

luego fb = f , con lo cual fb restringida a (X) coincide con f . 

g
Proposicion 4.4.5. Si X - Y es una funcion continua entre espacios completamente regulares
g
b
entonces existe una unica funcion continua (X) - (Y ) tal que gb = g.
X Y

[Demostracion] La funcion gb es unica y se puede definir como el pull-back por composicion. Sea

FX = C(X, [0, 1]) y FX - [0, 1] un elemento de [0, 1]FX . Definimos

g
b()
FY - [0, 1] gb()(f ) = (f g)
36 G. PADILLA

f fg
El operador esta bien definido pues, si Y - [0, 1] es continua entonces la composicion X - [0, 1]
es continua y podemos evaluar (f g). Obtetenemos de este modo una funcion
FX g
[0, 1]
b
- [0, 1]FY 7 gb()
Entonces;

gb es continua: Dada una red D - [0, 1]FX que converge a ; por 4.3.5 la composicion con cualquier
funcion coordenada
FX
h
[0, 1] - [0, 1]
h
converge para cualquier funcion continua X - [0, 1] a (). En particular
h
 
Lim gb(i )(f ) = Lim i (f g) = Lim f g (i ) = f g Lim i = f g ()
iD iD iD iD

5. Espacios metrizables
En esta seccion volvemos a revisar los espacios metricos, ahora con todas las herramientas de topologa
disponibles.
5.1. Espacios totalmente acotados. Un epacio metrico (E, d) es totalmente acotado , para todo
 > 0, X posee un cubrimiento finito por bolas abiertas de radio .
Teorema 5.1.1. [Bolzano-Weierstrass en espacios metricos] En un espacio metico (E, d) las sigu-
ientes afirmaciones son equivalentes
(1) E es compacto.
(2) Toda sucesion en E posee una subsucesion que converge en E.
(3) E es completo y totalmente acotado.
[Demostracion] (1) (2) Sea S = {xn } una sucesion en E. Si S no posee subsucesiones convergentes
entonces, dado cualquier x E, como x no es el lmite (de ninguna subsucesion) de S; podemos escoger
algun entorno Ux que contiene a lo sumo una cantidad finita de elementos de S. Puesto que X es compacto,
del cubrimiento U = {Ux : x X} podemos extraer un subcubrimiento finito, digamos U1 , . . . , Un de
abiertos, cada uno de los cuales contiene a lo sumo una cantidad finita de elementos de S. Se deduce
entonces que S es finito; pero en ese caso por el principio del casillero, alguno de los elementos z S
x
es escogido un numero infinito de veces por la funcion de la sucesion N - E. De x1 (z) podemos
extraer una subsuecsion constante, lo cual es una contradiccion.
(2) (3) Sea S = {xn } una sucesion de Cauchy en E. De (2) se deduce que S posee una subsucesion
S 0 = {xnk } que converge a un punto x E. Pero entonces toda la sucesion converge a x; esto se puede
ver por desigualdad triangular. En efecto: Dado  > 0 existen enteros N1 , N2 > 0 tales que
n, m > N1 d(xn , xm ) < /2.
k > N2 d(xnk , x) < /2.
Basta tomar el maximo N = max(N1 , N2 ) y notar que si k > N entonces d(xk , x) d(xk , xnk ) +
d(xnk , x) < . De aqu se deduce que E es completo. Por otra parte, supongamos que E no es completa-
mente acotado. Entonces existe algun  > 0 tal que X no se puede cubrir con un numero finito de bolas
 TOPOLOGIA GENERAL 37

de radio . En tal caso, podemos conseguir una sucesion de puntos S = {z1 , z2 , . . . } en E tales que la
distancia entre cualesquiera dos de ellos es siempre mayor o igual a . Entonces de S no se puede extraer
una subsucesion convergente, lo cual contradice (2).
(3) (2) Sea S = {xn } una sucesion cualquiera. Si S es un conjunto finito, por el principio del casillero,
alguno de los elementos z S es escogido un numero infinito de veces por la funcion de la sucesion
x
N - E. De x1 (z) podemos extraer una subsuecsion constante (ergo convergente) y no hay mas
que hacer. Supongamos entonces que S es un subconjunto infinito (propiamente numerable). Puesto
que X es totalmente acotado, se le puede cubrir con un numero finito de bolas abiertas de radio 1. De
nuevo por el principio del casillero alguna de estas bolas, digamos B1 , contiene una cantidad infinita de
elementos de S; digamos B1 . Con un argumento inductivo podemos dar una familia de bolas abiertas
B1 , B2 , . . . , Bn , . . . cada una de ellas de radio respectivo 1/n, tales que cada Bn+1 contiene una cantidad
infinita de elementos de Sn = S B1 Bn . Finalmente, puesto que cada Sn es no vaco y contiene
una cantidad infinita de elementos de S; por el axioma del buen orden en los naturales y el axioma de
eleccion, podemos seleccionar para cada k un elemento xnk Sk de tal suerte que k1 < k2 < k2 < .
De este modo construimos una subsucesion S 0 = {xnk : k N}; notemos que por construccion S 0 es de
Cauchy. Puesto que E es completo, S 0 converge en E. Esto demuestra (2).
(2) (1) Sea U un cubrimiento abierto de E. Como ya demostramos (2) (3) podemos asumir que
E es completo y totalmente acotado. Notemos entonces que E es separable. En efecto: Para cada en-
tero n > 0 el espacio E se puede cubrir con un numero finito de bolas abiertas de radio 1/n, centradas
sobre un conjunto finito de puntos, digamos B(xn,j , n1 ) para j = 1, . . . , kn . Entonces, por construccion,
+
D = {xn,j : n N , j = 1, . . . , kn } es un subconjunto denso y numerable en E. Sea
D = {x1 , x2 , . . . }
una renumeracion de los elementos de D. Cada xi D pertenece a algun abierto Vi U del cubrimiento
original y podemos conseguir algun entero ni tal que B(xi , n1i ) Vi . Dado cualquier x E y cualquier
 > 0, por argumento de densidad existe algun xi D tal que d(x, xi ) < . En particular, existe algun xi
tal que d(x, xi ) < n1i , es decir x B(xi , n1i ) Vi . Se deduce que V = {Vi : i N} es un subcubrimiento
numerable de U. Si V posee un subcubrimiento finito de E concluimos la demostracion. Supongamos lo
contrario: Entonces los conjuntos cerrados Ci = E\(V1 Vi ) son todos no vacos y encajados, vale
decir, C1 C2 etc. Por nuestra suposicion, D posee una subsucesion S = {xnk : k N} que
converge a un punto x E. Por construccion xnk Ci para todo nk > i. Puesto que cada Ci es cerrado,
el punto mite x pertenece a cada Ci . En consecuencia
x Ci = E\ Vi =
i i

lo cual es absurdo. 

5.2. Separacion de cerrados con funciones continuas. Primero que nada desarrollamos las her-
ramientas para separar cerrados con funciones continuas. Fijamos un espacio topologico X.
Lema 5.2.1. Supongamos que para cada racional diadico r = 2mn (con m > 0,n 0 enteros) existe un
abierto Ar en X tal que se satisface el siguiente condicional: r < s Ar As . Entonces
(
f inf{r : x Ar } x A1
X - R f (x) =
1 x 6 A1
es continua.
38 G. PADILLA

[Demostracion] Supongamos que f (x) < r para cierto racional diadico r. Entonces, por propiedades
del nfimo, existe algun diadico s < r suficientemente pequeno tal que f (x) < s < r y x As As Ar .
Luego, por contrarrecproco, f satisface el siguiente condicional: x 6 Ar f (x) r. Para cualquier
t > 0 tenemos que
1
f (, t) = {x : f (x) < t} = {x : f (x) < r < t, r diadico} = Ar
r<t

1
es abierto en X. De modo similar se verifica que f (t, ) es abierto. Puesto que los abiertos de la forma
(, t) y (t, ) generan la topologa de R , se deduce que f es continua. 

Proposicion 5.2.2. [Lema de Urysohn] Si X es normal, C X es cerrado, A X es abierto y

f
C A; existe una funcion continua X - [0, 1] tal que f | 0 y f |
C X\U
1.
[Demostracion] Definimos una familia de abiertos {Ar : r diadico} que satisfaga la condicion de
5.2.1. Como los diadicos son de la forma r = 2mn con m > 0 y n 0 enteros; hacemos induccion en n
para construir los abiertos deseados.
Caso n = 0: Definimos A1 = A.
Caso n 1: Por hipotesis inductiva supongamos que hemos definido los abiertos Am/2n para 1 m
n
2 .
n+1
Caso n + 1: Para cada 1 k 2 definimos A n+1 del modo siguiente: Si k = 2j es par tomamos
k/2
A n+1 = Aj/2n . Si k = 2j + 1 es impar, puesto que X es normal podemos elegir un abierto B tal que
k/2
h i
C B B A1/2n Aj+1/2n

Definimos A n+1 = B.
k/2
Habiendo construido la familia de abiertos deseada, aplicamos el lema 5.2.1. 

5.3. El teorema de extension de Tietze. Este es un resultado tecnico, sin embargo importante, sobre
la construccion de extensiones de funciones continuas.
f
Teorema 5.3.1. [Extensiones de Tietze] Sea X normal, C X cerrado y C - R continua.
h
Existe una funcion continua X - R tal que
(1) h(x) = f (x) para todo x C.
(2) sup{f (x) : x C} = sup{h(x) : x X}.
(3) inf{f (x) : x C} = inf{h(x) : x X}.
[Demostracion] Comenzamos considerando el caso en que f es acotada. Sin perdida de generalidad
1 1
podemos suponer que 0 f 1; con nfimo 0 y supremo 1. Sea C1 = C f ([0, 13 ]) y A1 = f ([0, 23 )).
r
1
Por el lema de Urysohn 5.2.2 existe una funcion X - [0, 1] tal que

r1 |C1 0 r1 |X\A 1
1

es decir 1
0 x C y f (x) 3
r1 (x) = 2
1 f (x) 3
 TOPOLOGIA GENERAL 39

1


Entonces la funcion h1 = 3 r1 satisface
1
h
0 x C y f (x) 3
1
X - [0, 1/3] h1 (x) = 1 2
3 x C y f (x) 3

2
Sea f1 = f h1 . Notemos que 0 f1 (x) 3 para todo x C. Repitiendo el mismo proceso para f1 ;
podemos conseguir una funcion continua
2
h
0 x C y f1 (x) 9
2 - [0, 2/9 = (1/3) (2/3)]
X h2 (x) = 2 4 2 2
9 x C y f1 (x) 9 = 3 3

Sea f2 = f1 h2 . Notemos que 0 f2 (x) 32 29 = 322

9 = 94 para todo x C. Continuando
este proceso de modo inductivo supongamos que hemos definido f1 , . . . , fn ; y que esta ultima satisface

n
0 fn (x) 32 para todo x C. Aplicando de nuevo el lema de Urysohn podemos conseguir una
funcion continua

1

2
n

0 x C y f n
(x) 3 3
hn+1 : X - [0, (1/3) (2/3)n ] hn+1 (x) = n
n
31 23 x C y fn (x) 23 23

y definimos fn+1 = fn hn+1 la cual satisface

 n    n  n+1
2 1 2 2
0 fn+1 (x) = fn hn+1 =
3 3 3 3
Hemos construido una sucesion de funciones continuas y acotadas {hn : n = 0, 1, . . . }. Consideremos
X
h(x) = hn (x)
n

Esta funcion esta bien definida pues, para cada x, el lado derecho es una serie que converge uniformemente.
En efecto: n
n
  X  n  
X X 1 2 1 2 1 1 32
hn (x) = = Lim
=1
3 3 3 3 3 n 1 23
n n n

A continuacion, para cada x C, tenemos

f (x) h1 (x) = f1 (x) f (x)n hn+1 (x) = fn+1 (x) n 1
De este modo
f (x) [h1 (x) + h2 (x)] = [f (x) h1 (x)] h2 (x) = f1 (x) h2 (x) = f2 (x)
Aplicando induccion es posible ver que
 
f (x) [h1 (x) + + hn (x)] = f (x) h1 (x) + + hn1 (x) hn (x)
= fn1 (x) hn (x) = fn (x)
n
2


Como fn 3 en C; tomando lmites
 n
2
f (x) h(x) = Lim fn (x) Lim =0
n n 3
Con esto verificamos la propiedad (1). Las propiedades (2) y (3) sobre las cotas se dan por construccion
de la sucesion de las hn . Finalmente, en el caso no acotado distinguimos tres sub-casos:
40 G. PADILLA

(a) f no es acotada.
(b) f es acotada inferiormente por a R .
(c) f es acotada superiormente por b R .
Sea cualquier homeomorfismo

R - (0, 1) en el caso (a) .

[a, ) - [0, 1) en el caso (b) .

(, b] - (0, 1] en el caso (c) .

Entonces F = f es acotada. Aplicamos el procedimiento del caso acotado a F . Dejamos los detalles al
lector. 

5.4. Espacios acotados. Un espacio metrico (E, d) es acotado existe algun > 0 tal que d(x, y)
para todo x, y E. El diametro de E es el menor tal que eso ocurre.
Lema 5.4.1. Dado un espacio metrico (E, d) siempre existe una metrica d0 tal que d0 (x, y) 1x, y E
y d0 genera la misma topologa de d.
[Demostracion] Se puede considerar por ejemplo
(
d(x, y) si d(x, y) 1
d0 (x, y) =
1 en otro caso
Dejamos de ejercicio ver que d es una metrica. Para ver que d y d0 son equivalentes basta notar que es
0

suficiente generar la topologa con bolas abiertas de radios pequenos. En otras palabras un subconjunto
A E es abierto (con cualquiera de las dos distancias) A es union de bolas abiertas de radio menor
que 1. 

5.4.1. Ejemplos. Si (E1 , d1 ), . . . , (En , dn ) es una familia finita de espacios metricos, el producto cartesiano
E = E1 En se puede dotar de varias metricas distintas; por ejemplo
La metrica de la suma d(x, y) = di (xi , yi ).
i
q
La metrica de Pitagoras: d(x, y) = d2i (xi , yi ).
i
La metrica del maximo: d(x, y) = max {di ( xi , yi ): i = 1, . . . , n}.
Proposicion 5.4.2. Sea {(EQn , dn ) : n = 1, 2, } una familia numerable de espacios metricos acotados
de diametro 1; y sea E = En el espacio producto. Entonces E es un espacio metrico acotado de
n
diametro 1. La topologa producto de E es generada por la siguiente distancia

X dn (xn , yn )
d(x, y) =
2n
n =1

[Demostracion] Escribamos E = En para el espacio producto, y (E 0 , d) para el mismo conjunto

Q
n
con la topologa metrica inducida por la distancia d definida en el enunciado. Queremos demostrar que
id
la funcion identidad E 0 - E es un homeomorfismo.
 TOPOLOGIA GENERAL 41

id es continua: Por 2.4.4, basta mirar la continuidad coordenada a coordenada. Cada com-
n
posicion E 0 - E es una funcion entre espacios metricos y satisface d( (x), (y)) =
n n n
n
d(xn , yn ) 2 d(x, y). De esta desigualdad se deduce inmediatamente la continuidad, en terminos
de lmites de sucesiones.
id es abierta: Basta demostrar que, para cada x E, la bola abierta B(x, ) contiene un entorno
de x en la topologa producto. Ahora bien,
( )

X dn (xn , yn )
B(x, ) = y E : <
=1
2n
n

m

Sea m > 0 suficientemente grande tal que 2 < 4. Si y E es cualquier punto tal que
dn (xn , yn ) < 2 para n = 1, . . . , m 1 entonces:

P dn (xn ,yn )
d(x, y) = 2n
n =1
m1 m1
P dn (xn ,yn ) P dn (xn ,yn ) P  
P 1
= 2n
+ 2n
< 2n+1 + 4 2n
n =1 n =m n =1 n =0
 
< 2 + 2 =
Se concluye que
Y
B(x1 , /2) B(xm1 , /2) Em
nm

es un abierto basico de la topologa producto que contiene a x y esta contenido en B(x, ).


Proposicion 5.4.3. [1er teorema de metrizacion] Sea X un espacio Hausdorff. Supongamos que
f
i-
existe una familia numerable de funciones continuas F = {X [0, 1]; i = 1, 2, . . . } tales que, para
cada cerrado C X y cada x (X\C) existe algun i tal que fi (x) = 0 y fi (y) = 1 para todo y C.
Entonces
+
X - [0, 1]N (x) = (fi (x))i
es un embebimiento.
[Demostracion] Procedemos por pasos.
es continua: Por 2.4.4, basta mirar la continuidad coordenada a coordenada. La composicion con
cada proyeccion es precisamente i = fi .
es inyectiva: Como X es Hausdorff todo punto en X es cerrado. Si x 6= y; existe entonces algun
ndice i tal que fi (x) = 0 y fi (y) = 1; luego (x) 6= (y).
es un embebimiento: Para ver que es homeomorfismo en su imagen basta mostrar que es cerrada,
vale decir, que si C X es cerrado entonces f (C) es cerrado en f (X). Sean que {cn }n es una sucesion
en C y x X tales que la sucesion (cn ) converge a (x). Debemos demostrar que (x) (C) para lo
cual es suficiente ver que x C. Supongamos lo contrario, es decir, que x 6 C. Entonces existe algun
ndice i tal que fi (x) = 0 y fi (y) = 1 para todo y C. Pero entonces 1 = i ((cn )) para todo n, y
dicha sucesion constante no converge a 0 = fi (x) = i ((x)). Luego i no es continua, e.d que no es
continua coordenada a coordenada. Por 2.4.4, esto implica que no es continua, lo cual contradice el
primer paso de esta demostracion. 
42 G. PADILLA

Corolario 5.4.4. Todo espacio normal 2do numerable es completamente regular

[Demostracion] Dado un espacio normal X, por el lema de Urysohn, cf. 5.2.2, para cada par de
f
cerrados disjuntos C, D se puede hallar una funcion continua X - [0, 1] tal que f | 0 y f | 1.
C D
Puesto que la base de X es numerable, los pares de conjuntos cerrados constituyen una familia numerable
de modo que se puede construir una familia numerable de funciones F que satisfaga la hipotesis de 5.4.3.


Proposicion 5.4.5. [2do teorema de metrizacion] Sea X espacio 2do numerable completamente regu-
f
lar. Supongamos que para cada par de cerrados disjuntos C, D existe una funcion continua X - [0, 1]
tal que f |C 0 y f |D 1. Entonces X es metrizable.
[Demostracion] Sea X 2do numerable y completamente regular. Demostraremos que X satisface las
hipotesis de 5.4.3. La idea es la siguiente: Fijemos una base numerable B de la topologa de X. Para
f
cada par de abiertos U, V B tales que U V , fijemos alguna una funcion continua X - [0, 1] tal
que f |U 0 y f |X\V 1. Sea F la familia de estas funciones. Entonces
F es numerable: Porque B B es numerable.
F satisface la hipotesis de 5.4.3: Sea C X cualquier cerrado y x (X\C). Tomemos un abierto
basico V B tal que x V (X\C). Como X es completamente regular existe alguna funcion continua
g
X - [0, 1] tal que g(x) = 0 y g|
X\V
1. Salvo ajustes en la funcion g, podemos asumir que g se
anula en todo un entorno de x; de modo que existe algun abierto basico U B tal que x U V y
g|U 0. Por la continuidad de g tenemos entonces que U V . Podemos entonces reemplazar a g por
alguna funcion f F tal que f |U 0 y f |X\V 1. 

Teorema 5.4.6. [Teorema de Urysohn] Todo espacio 2do numerable completamente regular es metriz-
able.
[Demostracion] Es suficiente construir la familia de funciones que satisface la hipotesis de 5.4.5. 

5.5. Convergencia puntual y uniforme.

f
(4) Si D E es denso y E - E 0 es una funcion tal que (a) f es continua en E; y (b) f es

uniformemente continua en D; entonces f es uniformemente continua.

(5) Un espacio metrico (E, d) es completo toda sucesion de Cauchy en E converge en E. Todo
espacio metrico (E, d) se puede embeber en un espacio metrico completo (E 0 , d0 ); de tal modo
que E sea denso en E 0 .
f g
(6) Toda funcion uniformemente continua E - E 0 se puede extender a las completaciones E - E0
de modo que g|E f .
fn
Una sucesion de funciones E - E 0 , con n N, se dice que converge uniformemente a cierta
g
funcion E - E 0 para cada  > 0 existe algun N N tal que vale el siguiente condicional


n > N d0 (fn (x), g(x)) <  x, y E

 TOPOLOGIA GENERAL 43

fn
(7) Si unas E - E 0 son uniformemente continuas y convergen uniformemente a g entonces g es
uniformemente continua.
fn gn
(8) Si unas E - E 0 convergen uniformemente a f , y unas E 0 - E 00 convergen uniforme-
mente a g entonces las gn fn convergen uniformemente a gf .
f
(9) Sea E E 0 - R acotada y uniformemente continua. Para cada x E definamos g(x) =
inf {f (x, y) : y E 0 } y h(x) = sup {f (x, y) : y E 0 }. Mostrar que g, h son acotadas y uniforme-
mente continuas. Idea: Dado  > 0 y u, v E tales que d(u, v) <  ; entonces z E 0 se tiene
que f (v, z) f (u, z) +  g(u) + . De aqu se deduce que |h(u) h(v)| < . Para g se procede
de modo similar.
f
i-
(10) Supongamos que E [0, 1] es cualquier familia de funciones uniformemente continuas. En-
tonces h(x) = sup {fi (x) : i I} y g(x) = inf {fi (x) : i I} son uniformemente continuas de E
en [0, 1]. Idea: Con la misma demostracion del ejercicio anterior, tome E 0 = I con la m
etrica discreta y defina f (x, i) = fi (x).
f
(11) Si unas E E 0 i-
[0, 1]; con i N, convergen uniformemente a f ; entonces las hi (x) =
sup {fi (x, y) : y E 0 } convergen uniformemente a h(x) = sup {f (x, y) : y E 0 } y las gi (x) =
inf {fi (x, y) : y E 0 } convergen uniformemente a g(x) = inf {f (x, y) : y E 0 }.

6. El truco de Bredon
La demostracion del truco de Bredon data, de 1962, ano en que el autor daba un curso sobre grupos
de Lie. Fue usado por el autor para dar una demostracion accesible del teorema de De Rham sin recurrir
a sucesiones espectrales [1, p.289-291]. Desde entonces y debido a su comodidad, ha sido empleado
en artculos de de topologa algebraica, como una manera alterna a la aproximacion axiomatica de la
cohomologa, al uso de complejos dobles, sucesiones espectrales y cohomologas de Cech. El truco de
Bredon persigue demostrar una afirmacion referida a abiertos de un espacio topologico X, pasando de
la validez local a la validez global.
Proposicion 6.0.1. Sea X un espacio topologico paracompacto, U un cubrimiento abierto y (U ) una
afirmacion referida a los abiertos de X, tales que se satisfacen las siguientes propiedades:
(BT1) U contiene una base de la topologa de X.
(BT2) Si U, V U entonces U V U.
(BT3) (U ) es cierta para todo U U.
(BT4) Dados dos abiertos U, V X; si (U ), (V ) y (U V ) son ciertas entonces (U V ) es cierta.
(BT5) Dada cualquier familia disjunta de abiertos {Vj }j ; si (Vj ) es cierta para todo j entonces (tVj )
j
es cierta.
Entonces (X) es cierta.
[Demostracion] Procedemos por pasos:

Q vale sobre toda union finita de abiertos de U: Veamos que (U ) vale siempre que U = U1 Un
es una union finita de abiertos del cubrimiento U. Para n = 1 es inmediata y, si asumimos por induccion
el paso n entonces, dado cualquier Un+1 tal que vale Q(Un+1 ); tendremos que
U Un+1 = (U1 Un+1 ) (U1 Un+1 )
44 G. PADILLA

es una union de n abiertos en U por BT2. Como valen (U ) por h.i., (Un+1 ) por BT3 y (U Un+1 ) de
nuevo por h.i.; en virtud de BT4 se deduce (U Un+1 ).

f
Q(X) es cierta: A continuacion tomemos cualquier funcion continua y propia X - [0, ). Por

ejemplo: como X es Hlc la compactificacion de Alexandroff X es un espacio compacto. Basta tomar
f
cualquier funcion real X - R ; por compacidad, f alcanza su valor nfimo en X ; ajustando f con
una traslacion adecuada podemos asumir que f 0; cf. 3.2.1, 3.2.2.

1
Subdividamos al espacio X en capas de cebolla compactas An = f [n, n + 1]. Por la compacidad
1
de An y la propiedad BT1, podemos cubrir a An con un abierto Vn f (n 31 , n + 13 ) que sea union
finita de abiertos del cubrimiento U, luego vale (Vn ) para cada n, por el primer paso. Por construccion,
ademas, Vn Vn+2 = para todo n. En virtud de la propiedad BT5 entonces (V ) vale para V = tV2n
n
y, del mismo modo, (W ) vale para W = tV2n+1 . Finalmente, notemos que
n
   

V W = tV2n tV2n+1 = t Vn Vn+1
n n n
Cada Vn Vn+1 es una union finita de abiertos que pertenecen a U por la propiedad BT2; de nuevo por
el primer paso vale (Vn Vn+1 ) para cada n. De la igualdad anterior y la propiedad BT5 se deduce la
validez de (V W ). Como X = V W Por la propiedad BT4 tenemos la validez de (X). 

7. Fibrados topologicos
Dedicamos esta ultima seccion a introducir la idea de fibrados generales. Seguimos aqu a [9].
7.1. Amalgama de espacios topologicos. Sean X, Y dos espacios topologicos, Z X un subespacio
f
yZ - Y una funcion continua. La amalgama X, Y a traves de f es el espacio cociente
(
X tY {a} a 6 Z t f (Z)
X Y = [a] = 1
f f (a) t {a} a f (Z)

q
La funcion f de arriba se llama funcion de pegamento o amalgama. Sea X t Y - X Y la
f
 
1
proyeccion cociente. Un abierto basico de X Y es de la forma q A B donde A X y B Y son
f f
abiertos. En particular, notemos que
AZ 1
A = (A\Z) B =f (B) (B\f (Z))
f f f

Como ejemplos sencillos citemos:

Si f es una funcion constante entonces todo Z se identifica con la clase del unico punto [y] en el
2
rango de f . Por ejemplo; si X = R , Z = {x X : |x| > 1} y Y = {} es un punto (en cuyo
2
caso f toma el valor constante ), entonces X Y = S es la 2-esfera.
f
2
Si X = R , Z = {x X : |x| > 1} y Y = [0, ) y f toma el valor constante 0, entonces entonces
2
X Y = S es un globo con cordel.
f
 TOPOLOGIA GENERAL 45
2
Si X = S = Y y Z = {(0, 0, 1)} es el polo norte (en cuyo caso f toma un solo valor) entonces
2 2
entonces X Y = S S son dos esferas pegadas por un punto. Con este ejemplo, de modo
f
inductivo, se puede construir un bouquet de esferas pegadas por un punto.
Un caso particular que nos interesa es cuando Z X es un abierto y f es un embebimiento (un
homeomorfismo en su imagen). Puede el lector hacer un dibujo de los abiertos basicos en cada
uno de los ejemplos anteriores?
7.2. Familias amalgamables y semigrupos de cociclos. Sera deseable generalizar el proceso anterior
a fin de amalgamar una familia cualquiera de espacios topologicos. Como veremos, al aparecer mas de
dos espacios surgen condiciones necesarias para tener una amalgama bien definida. Supongamos que
X = {Xi : i I} es una familia de espacios topologicos, y que hemos seleccionado un subespacio Zi Xi
f
ij
- X para cada i, j I. Para que la relacion
para cada i; y una funcion continua Zj i

a b i, j I(a Zj ) (b Xi ) (fij (a) = b)

sea una equivalencia en tXi ; necesitamos que sea
i
Simetrica: Supongamos que a Zj , b Xi y a b, entonces b a por lo cual b Zi y fji (b) = a.

1
Entonces, por definicion, para cada i, j I se tiene que fij Zj = Zi y fji = fij es la inversa
de fij .
Reflexiva: Dado a Zi , entonces a a, con lo cual fii (a) = a, luego fii = idZi para cada i I.
Transitiva: Dados a Zk , b Zj y c Zi tales que a b y b
c; entonces a c luego fjk (a) = b,
fij (b) = c y fik (a) = c. En particular fik (a) = fij fjk (a) . Dejando fijos a i, j, k y variando
a, b, c se deduce que fik = fij fjk .
Decimos que la familia X es amalgamable si se satisfacen las condiciones anteriores. Ello sucede el
conjunto de funciones 
G = fij : i, j I
satisface las siguientes propiedades:
(1) Cerrado por composiciones: fik = fij fjk .
1
(2) Cerrado por inversos: fji = fij .
(3) Posee identidades: fii = idZi para cada i I.
Es decir G es un semigrupo (las identidades no son unicas); lo llamamos el semigrupo de cociclos
asociado a la familia amalgamable X . Las condiciones (1),(2),(3) se llaman condiciones de cociclos.
7.3. Fibrados Generales. Un fibrado es una cuadrupla = (E, , B, F ) que satisface las siguientes
condiciones:
(1) E, B, F son espacios topologicos, a E se le llama techo, a B base y a F fibra de .

(2) E - B es una funcion continua, se le llama proyeccion de .
(3) Para cada b B existen un entorno abierto b U B y un homeomorfismo
1
U F - (U ) tal que ((u, z)) = u para todo u U y z F . En dicha situacion
1
decimos que (U, ) es una carta fibrada de , el abierto EU = (U ) es un entorno trivial
del fibrado.
Las siguientes propiedades se deducen directamente de la definicion anterior
(a) es sobreyectiva.
(b) B (resp. E) se cubre con una familia de cartas fibradas (resp. de entornos triviales).
46 G. PADILLA

(c) Si (, U ) (, V ) son dos cartas fibradas tales que U V 6= entonces el cambio de cartas se
escribe del modo siguiente
1 1
: (U V ) F - (U V ) F (u, z) = (u, g (u, z))
g

donde (U V ) - F es una funcion continua que depende de las funciones , .
(d) Para cada u U ;

(i) La funcion g (u) : F - F dada por g (u)(z) = g (u, z) es un homeomorfismo.

1
(ii) La familia G|u de todas las funciones g (u) que provienen de algun cambio de cartas
1
definido en u; es un semigrupo de cociclos. Es decir, g (u) = g (u) ; g (u) g (u) =
g (u) y g (u) = idF para cualesquiera , , que provengan de cartas fibradas.
En adelante denotamos por G() al semigrupo de cociclos de que consta de todas las
1
funciones g inducidas por los cambios de carta , variando a , .
7.4. Ejemplos.
(1) Un fibrado = (E, B, , F ) es trivial B se puede cubrir con una sola carta (, B), en cuyo
caso, el techo E es homeomorfo al producto cartesiano B F .
(2) Todo producto cartesiano B F induce un fibrado trivial (B F, B, pr1 , F ).

(3) Dado un fibrado = (E, B, , F ) una trivializacion de es una funcion continua E -F
tal que, cuando es restringida a cada fibra, es un homeomorfismo. Cuando E es Hausdorff
localmente compacto, entonces posee alguna trivializacion es un fibrado trivial. Para ver
la implicacion (); si es una trivializacion de basta tomar la carta (, B) inducida por la
1
inversa = de la funcion (e) = ((e), (e)). El recproco se deja de ejercicio.
7.5. Morfismos fibrados. Dados dos fibrados = (E, B, , F ), 0 = (E 0 , B 0 , 0 , F 0 ); un morfismo de

fibrados - 0 es un diagrama conmutativo

f1
E - E0

? ?
f2
B - B0

cuyas horizontales son continuas. Un isomorfismo de fibrados es un cuadrado como arriba, tal que f1 , f2
son homeomorfismos; y un automorfismo es un isomorfismo tal que B = B 0 y f2 = idB es la identidad
del espacio base B.
7.6. Unicidad de los espacios fibrados. Denotamos en adelante por U() al conjunto de todas las
cartas fibradas de . Como las propiedades (d)-(i),(ii),(iii) de 7.3 son las mismas propiedades (1),(2),(3)
de 7.1; se deduce que la familia
X () = {U F : (U, ) U()}
es amalgamable.
Teorema 7.6.1. Si dos fibrados tienen la misma base, la misma fibra y la misma familia de cociclos,
entonces son isomorfos.
 TOPOLOGIA GENERAL 47

[Demostracion] Sea = (E, , B, F ) un fibrado cualquiera. La idea esencial es que se puede

recuperar a traves de la amalgama de los ladrillos triviales del tipo U F que pertenecen a la familia
X ().
Las familias X (), G() inducen un nuevo fibrado (E, p, B, F ): Consideremos
t U F
(,U )U ()
E= (u, z) (u0 , z 0 ) (u = u0 ) (z 0 = g (u, z))

la amalgama de los ladrillos triviales por la familia de cociclos G(). Este espacio cociente esta bien
definido porque X () es amalgamable. Denotamos en adelande por [u, z] E a la clase de equivalencia
de un punto (u, z) en algun ladrillo trivial. Definimos
p
E -B p([u, z]) = u
0 0
Esta funcion esta bien definida pues si [u, z] = [u , z ] entonces, por la definicion de la relacion de equiv-
alencia, u = u0 de modo que el valor u = p([u, z]) no depende del representante de la clase [u, z].
Cartas fibradas: Cada carta (U, ) U() induce una nueva carta en E dada por la funcion obvia
U
U F - p1 (U ) U (u, z) = [u, z]
que a cada punto lo manda en su clase de equivalencia. La continuidad de esta funcion se deja de
ejercicio.
Cambios de carta y cociclos: Si (U, ); (V, ) U() son dos cartas del fibrado original, tales que
U V 6= y U (u, z) = V (v, z 0 ) entonces, por la definicion de las funciones se tiene que [u, z] = [v, z 0 ]
1
p (U V ); luego (u, z) (v, z 0 ) son equivalentes en (U F ) t (V F ). Ello sucede si y solo si u = v y
z 0 = g (u)(z). En consecuencia
1
V (U (u, z)) = (u, g (u)(z))
Dado que los cambios de carta en E son los mismos del fibrado original, los cociclos se preservan.
Isomorfismo de fibrados: Se define como sigue:

E -E ((u, z)) = [u, z] (U, ) U() u U z F
La funcion esta bien definida por el paso anterior. 

Referencias
[1] BREDON, G. Topology and Geometry. Graduate Texts in Mathematics Vol. 139 Springer-Verlag. New York-
Heidelberg- Berlin (1993).
[2] DIEUDONNE, J. Fundamentos de analisis moderno. Reverte, 1965.
[3] DOLD, Lectures on Algebraic Topology. Graduate Texts in Mathematics Vol. 200. Springer-Verlag. New York-
Heidelberg- Berlin (1980).
[4] DUGUNDJII, J. Topology. Allin & Bacon Boston (1966).
[5] HOCKING, J. & YOUNG, G. Topology. Dover. (1988).
[6] MUNKRES, J. Topology, a first course. Englewood Cliffs, N. J. ,Prentice-Hall 1974.
[7] ROTMAN, X. Introduction to group theory.
[8] SINGER, I. et al. Lecture notes on elementary topology and geometry. Undergraduate texts in mathematics, Springer-
Verlag, 1976.
[9] STEENROD, N. The topology of fiber bundles. Princeton University Press. Princeton-New Jersey . (1951).

Departamento de Matematicas, Facultad de Ciencias., Universidad Nacional de Colombia sede Bogota. Cl.45
AK30 Edif.404, Ofic. 315-404. Tel. 3165000 ext 13166.
E-mail address: gipadillal@unal.edu.co