Topologa

por Mara Luisa Perez Segu

Introduccion
Se presenta aqu el material correspondiente a un primer curso de Topologa. En el
desarrollo de las notas se intercalan numerosos ejemplos despues de que se ha introducido un
concepto nuevo, conla intencion de que sea mas completa la comprension del concepto. Al
final de cada seccion se proponen diversos ejercicios; algunos de ellos son rutinarios, mientras
que la solucion de otros requiere de un mayor esfuerzo, immaginacion y dedicacion.
La primera seccion inicia con una pequena motivacion y ejemplos de espacios topologicos
en Rn . Despues se establecen los conceptos basicos y se proporcionan los ejemplos mas
clasicos de topologas.
La segunda seccion esta dedicada al concepto de continuidad. En ella se estudia, ademas,
la construccion de topologas que producen funciones continuas.
La seccion numero 3 estudia el tema de cocientes. Este tema es opcional para un primer
curso de topologa y, en muchas ocasiones, este tema no se estudia por su dificultad. Sin
embargo, pensamos que ofrece ejemplos muy ilustrativos de como construir espacios a partir
de otros pegando porciones del espacio original, lo cual resulta interesante y formativo,
ademas de dar una vision geometrica ilustrativa del trabajo en topologa.
La seccion 4 da una introduccion al estudio de los espacios topologicos cuya topologa
esta dada por unan metrica. Se ven las condiciones especiales que deben satisfacer estos.
Se estudian, ademas, las sucesiones, su convergencia el el porque son estas importantes en
espacios 1o numerables.
En la seccion 5 se define la topologa producto (para una cantidad arbitraria de factores).
Se analizan los conceptos basicos de la topologa dentro de estos espacios.
La seccion 6 estudia la caracterstica de ser compactos que tienen algunos espacios to-
pologicos. Se estudia tambien la relacion de este concepto con los demas conceptos introdu-
cidos anteriormente; en particular, se dan condiciones necesarias y suficientes para que un
espacio metrico sea compacto.
La seccion 7 estudia otras caractersticas importantes de algunos espacios topologicos
relacionadas con la conexidad, como son la conexidad por trayectorias y las conexidades
locales.
Para el buen aprovechamiento de estas notas conviene que en cada definicion y ejemplo
el lector haga el dibujo o esquema correspondiente y trate de hacer las demostraciones por
s mismo antes de leer las que aqu se proponen. Se incluyen todas las demostraciones que
necesitan cierto razonamiento no directo e, incluso, a manera de ilustracion, varias de las

i
demostraciones u observaciones que se deducen directamente de las definiciones.

Mara Luisa Perez Segu

Fac. Cs. Fsico-Matematicas
Universidad Michoacana de San Nicolas de Hidalgo
Febrero, 2014

ii
Indice

iii
1. Conceptos basicos

1.1. Motivacion

Una parte del estudio en Matematicas abstractas esta dedicado a distinguir entre s ob-
jetos abstractos dentro de cada area de estudio. En cada area interesan ciertas propiedades;
variaciones de ellas distinguen a los objetos.

A grandes rasgos, podemos decir que en Geometra interesan distancias y angulos e,

incluso, a veces, proporciones o posicion relativa de los objetos dentro de objetos mas grandes.
Dos objetos geometricos se consideran iguales (congruentes) si tienen exactamente la misma
forma y el mismo tamano.

Los objetos algebraicos como los grupos constan de un conjunto en que esta definida una
operacion que satisface ciertas propiedades. Se dice que dos grupos son isomorfos (esencial-
mente iguales) si existe una biyeccion entre ellos que preserva la operacion.

En Teora de Graficas, cada objeto esta determinado por dos cosas: un conjunto cuyos
elementos se llaman vertices y otro conjunto cuyos elementos se llaman aristas, de manera
que cada arista es un conjunto de dos vertices. Se dice que dos graficas son isomorfas si existe
una biyeccion entre los conjuntos de vertices que preserva las aristas.

En Topologa, los objetos de estudio se llaman espacios topologicos; lo que define cada
espacio topologico es una nocion de cercana, concepto que definiremos con precision en
estas notas, pero que queremos, por el momento, pensar de una manera intuitiva. Por ejem-
plo, dos figuras en R3 son iguales en el sentido topologico (decimos que son homeomorfas) si
una se puede obtener de la otra estirando o encogiendo e, incluso, cortando, pero volviendo a
pegar en el mismo lugar que se corto. Por ejemplo, las figuras que se muestran a continuacion:
triangulo, crculo y nudo, son homeomorfas.

Tambien son homeomorfas entre s un anillo y un cilindro sin tapas, pero son distintos
de los anteriores:

1
 Intuitivamente, dos figuras son homeomorfas cuando existe una biyeccion que preserva
la cercana relativa.

Si una figura esta cortada en dos o mas pedazos, decimos que no es conexa. Intuitivamente,
en una figura no conexa cada pedazo esta muy lejos del otro. Una figura conexa no puede
ser homeomorfa a una no conexa: por ejemplo, el segmento real [0, 2] no es homeomorfo a
la union [0, 1] [2, 3]. El concepto de conexidad es importante pues se preserva mediante
homeomorfismos, es decir, si dos espacios X y Y son homeomorfos mediante una biyeccion
(homeomorfismo) f , y X 0 X corresponde a Y 0 Y mediante f , entonces X \ X 0 es
disconexo si, y solo si, Y \ Y 0 es diconexo. De esta manera, es claro que un crculo no puede
ser homeomorfo al intervalo real (0, 1) (pues cualquier punto de (0, 1) lo desconecta pero
ningun punto del crculo lo desconecta. As mismo (0, 1) y [0, 1] no son homeomorfos (pues si
hubiera un homeomorfismo entre ellos, como {0} no desconecta a [0, 1] su imagen mediante
el homeomorfismo no desconectara (0, 1).

Veamos ahora algunos espacios topologicos interesantes. Intuitivamente decimos que una
superficie es cualquier figura que se parece localmente a una bola {x R2 : ||x|| < 1}. Por
ejemplo son superficies la cascara de una esfera (denotada por S2 , la cascara de una dona
(llamado toro y denotado T), el toro con dos hoyos. Todas estas son superficies cerradas
orientables.

Una forma conveniente de representar T en el plano es pensando que es un cuadrado en

el que orillas opuestas se pegan (identifican) en el mismo sentido. Pueden construirse otras
superficies haciendo identificaciones en sentidos contrarios y uno debe usar su imaginacion
para visualizar la figura obtenida. Por ejemplo se definen:

2
 La botella de Klein y el plano proyectivo son superficies cerradas no orientables.

Otro tipo de superficies estudiadas son las llamadas superficies con frontera; se distinguen
de las superficies en que tienen orilla. Por ejemplo, un cilindro o la banda de Mobius son
superficies con frontera.

1.1 Ejercicio. Determinar en cada uno de los siguientes casos si los espacios X y Y
dados son homeomorfos o no.

3
 1.2 Ejercicio. () Explicar por que el plano proyectivo se puede pensar como una banda
de Mobius y un disco pegados por sus orillas. (Sugerencia: En el cuadro que representa a P2
cortar por las lneas puunteadas como se muestra en la figura.

1.3 Ejercicio. () Hemos representado el toro T por un cuadro en que se identifican las
orillas. Como podramos representar el toro doble T2 ?

1.4 Ejercicio. () La superficie que se muestra es homeomorfa a un n-toro. Determinar

n. (Nota: Son tubos unidos por una telilla que da vuelta en los cuatro crculos que representan
aberturas.)

4
 1.5 Ejercicio. () Sea K3,3 la grafica que tiene 6 vertices divididos en dos conjuntos
A = {a, b, c} y Z = {x, y, z} de manera que entre cada vertice de A y cada vertice de Z hay
una arista. Probar que K3,3 se puede dibujar sobre el toro de manera que no haya interseccion
entre las aristas.

1.2. Vecindades, topologas, bases

En nuestros cursos de Analisis hemos visto que dado x Rn , las bolas con centro en x
son utiles para definir cercana de elementos de Rn a x. A cualquier conjunto que contenga
una bola con centro en x le llamamos vecindad de x. A continuacion abstraeremos las
propiedades que satisfacen las vecindades (omitiendo la distancia) para trabajar esta idea
de cercana en cualquier conjunto.

Dado un conjunto X y x X, una familia Nx de subconjuntos de X es un conjunto de

vecindades para x si se satisfacen las siguientes propiedades:
(N0) Nx 6= .
(N1) N Nx , x N .
(N2) Si N, M Nx entonces N M Nx .
(N3) Si N Nx y A N entonces A Nx . En este caso, cada elemento de Nx es una
vecindad de x.

Nota: Gracias a (N3), la propiedad (N0) puede sustituirse por

(N00 ) X Nx .

Un sistema de vecindades para X es una familia {Nx : x X}, donde para cada
x X, Nx es un conjunto de vecindades para x.

Dado un sistema de vecindades N para un conjunto X decimos que U X es abierto

si, y solo si, para toda x U se tiene que U Nx , es decir, U es vecindad de todos sus
elementos. El conjunto de abiertos de X se llama topologa para X, (X, ) es un espacio
topologico y a cada elemento x X se le llama punto de X.

1.6 Ejemplo. (a) Sea X = Rn y para cada x X sea

Nx = {N X : r R+ con Br (x) N },
donde Br (x) = {y Rn : ||x y|| < r} es la bola con centro en x y radio r. En este caso el
concepto de abierto es el que conocemos en Rn .
(b) Sea X = N y para cada x X sea
Nx = {N X : x N}.

5
En este caso todo subconjunto de X es abierto, es decir, = P(X).

1.7 Proposicion. Sea N un sistema de vecindades para un conjunto X y sea la

topologa inducida por N . Entonces satisface:
(T1) , X .
S
(T2) Si {U : } entonces U , es decir, la union arbitraria de abiertos
es abierto. n
T
(T3) Si {U1 , U2 , . . . , Un } entonces Ui , es decir, la interseccion finita de abiertos
i=1
es abierto.

1.8 Nota. Con una induccion muy simple es facil ver que la propiedad (T3) equivale a
(T30 ) U, V U V .

Recprocamente, dada una familia de subconjuntos de un conjunto X que satisface

(T1), (T2) y (T3), se puede definir un sistema de vecindades para X como sigue: Para cada
x X sea
Nx = {N X : U tal que x U N }.

Se puede comprobar que las asignaciones dadas arriba entre topologas para un conjunto
X y sistemas de vecindades para X son inversas una de otra. Aun cuando puede resultar mas
natural pensar en vecindades para definir la cercana en un conjunto X, las propiedades
(N0), (N1), (N2) y (N3) de los sistemas de vecindades son algo complicadas y resulta mas
facil trabajar con las propiedades (T1), (T2) y (T3) de topologa, en las que se trabaja
en forma global. A partir de aqu trabajaremos con (T1), (T2) y (T3) como definicion de
topologa.

1.9 Ejemplo. (a) La topologa usual para Rn esta definida por:

= {U Rn : x U, r R+ tal que Br (x) U }.

(b) Para cualquier conjunto X la topologa discreta es aquella en que todo subconjunto
de X es abierto, es decir, = P(X).
(c) Para cualquier conjunto X la topologa indiscreta es aquella en que los unicos
abiertos son y X.
(d) La topologa de Sierpinsky esta dada en un conjunto {a, b} de dos elementos por
= {, {a}, X}.
(e) En un conjunto con tres elementos X = {a, b, c}, las siguientes son topologas:

1 = {, {a}, X},
2 = {, {a, b}, X},
3 = {, {a}, {a, b}, {a, c}, X},
4 = {, {a, b}, {c}, X}.

6
 (f) En un conjunto infinito X definimos la topologa cofinita por

= {U X : #(X \ U ) < } {}.

(g) En un conjunto infinito no numerable X definimos la topologa conumerable por

= {U X : #(X \ U ) 0 } {}.

(h) Sea A X; una topologa para X esta dada por

= {U X : U A} {}.

Dadas dos topologas y para un conjunto X, decimos que es mas fina que (o,
equivalentemente, que es mas gruesa que ) si . Es claro que la topologa discreta
es la mas fina de todas y que la indiscreta es la mas gruesa.

1.10 Ejercicio. Comparar las topologas en Rn definidas en (a), (f), (g) y (h) (con
A = {0}).

Sea (X, ) un espacio topologico. Una base para es un subconjunto de tal que

U y x U B tal que x B U.

1.11 Observacion. Sea (X, ) un espacio topologico. Entonces P(X) es base de

si y solo si y cada elemento de es union de elementos de .

1.12 Ejemplo. (a) Si es una topologa entonces es base de .

(b) Para la topologa usual en Rn una base es:

= {Br (x) : x Rn , r R+ }.

(c) Una base para la topologa discreta es = {{x} : x X}.

(d) Para la topologa indiscreta una base es {X}.
(e) Para la topologa definida en (h) podemos tomar como base

= {{x} A : x X}.

1.13 Observacion. Si es base de una topologa para X, entonces es la menor

topologa en la que todos los elementos de son abiertos.

Consideremos ahora el problema inverso, es decir: Dado un subconjunto S de P(x), existe

una topologa generada por (es decir, menor topologa que contiene a) S? La respuesta
es s, pero S no necesariamente es base de . Para probar esto veamos que condiciones son
necesarias y suficientes para que una familia de subconjuntos de X sea base de una topologa.

7
 1.14 Proposicion. Sea X un conjunto y sea P(X). Entonces es base de una
topologa para X si y solo si satisface las siguientes condiciones:
(a) X es union de elementos de .
(b) Si B1 , B2 y x B1 B2 entonces existe B3 tal que x B3 B1 B2 .

1.15 Corolario. Sea X un conjunto y sea S P(X). Entonces el conjunto formado por
las intersecciones finitas de elementos de S es base de una topologa para X; esta es la menor
topologa que contiene a S y, en este caso, decimos que S es subbase de la topologa.

1.16 Ejemplo. (a) Si es una topologa y es una base para entonces es subbase
de .
(b) Para la topologa usual en R una subbase (que no es base) es:

{(, b) : b R} {(a, ) : a R}.

(c) Otra subbase para la topologa usual de R es:

{(a, a + 1) : a R}.

(d) Una subbase para la topologa discreta es {A X : #A = 2}.

(e) Para la topologa indiscreta una subbase es .

Dado un espacio topologico (X, ) decimos que C X es cerrado si X \ C es abierto.

1.17 Ejemplo. (a) En la topologa usual para R son cerrados: los conjuntos con un solo
elemento, el intervalo [2, ], Z, el conjunto de Cantor.
(b) Para X con la topologa discreta todo conjunto es cerrado.
(c) En la topologa de Sierpinsky definida arriba el conjunto {b} es cerrado pero el
conjunto {a} no lo es.
(d) Si X tiene la topologa cofinita entonces los cerrados son X y los conjuntos finitos.

1.18 Proposicion. Dado un espacio topologico la familia C de cerrados satisface:

(C1) y X son cerrados.
(C2) La interseccion arbitraria de cerrados es cerrado.
(C3) La union finita de cerrados es cerrado.

1.19 Nota. Dada una familia C de subconjuntos de un conjunto X que satisface (C1),
(C2) y (C3) se puede definir una topologa para X diciendo que los abiertos son los com-
plementos de los cerrados. En este caso los cerrados para esa topologa son precisamente los
elementos de C. En algunas ocasiones conviene determinar la topologa mediante los cerrados
pues se definen mas facilmente (por ejemplo, en la topologa cofinita).

8
 1.20 Ejercicio. En R sea l = {[a, b) : a, b R, a < b}.
(a) Probar que l es base de una topologa l para R. (Nota: R con esta topologa se
llama recta de Sorgenfrey o espacio del lmite inferior y se denota por Rl ).
(b) Como se compara l con la topologa usual?
(c) Dar una subbase para l que no sea base.
(d) Cuales son los cerrados en Rl ?

1.21 Ejercicio. () Sea K = { n1 : n N} y sea K = {(a, b) : a, b R, a < b} {(a, b) \

K : a, b R, a < b}.
(a) Probar que K es base de una topologa K para R. (Nota: R con esta topologa se
llama espacio K y se denota por RK ).
(b) Como se compara K con la topologa usual?
(c) Dar una subbase para K que no sea base.
(d) Cuales son los cerrados en Rk ?

1.22 Ejercicio. () Sean y 0 topologas para un conjunto X y sean y 0 respectivas

bases para estas topologas. Probar que 0 es mas fina (es decir, que 0 ) si y solo si

B y x B, B 0 0 tal que x B 0 B.

1.3. Primeros Axiomas de Separacion.

Sea (X, ) un espacio topologico. Decimos que X es:

T0 si dados dos elementos distintos x, y X existe un abierto U que contiene a uno de
ellos pero no al otro.
T1 si dados dos elementos distintos x, y X existen abiertos U y V tales que x U \ V
y y V \ U.
T2 o de Hausdorff si dados dos elementos distintos x, y X existen abiertos U y V
tales que x U , y V y U V = .

1.23 Nota. La definicion anterior se puede dar con vecindades en lugar de con abiertos.

1.24 Observacion. T2 T1 T0 , pero las implicaciones contrarias son falsas. Ademas

no todo espacio es T0 .

Demostracion. Las implicaciones son claras de las definiciones. Un espacio indiscreto

con mas de un punto no es T0 ; el espacio de Sierpinsky es T0 pero no T1 ; R con la topologa

9
cofinita es T1 pero no T2 (pues cualquier par de abiertos no vacos se intersectan).

1.25 Ejercicio. () Un espacio X es T1 si y solo si para cada x X se tiene que {x} es

cerrado.

1.26 Proposicion. La topologa usual de Rn es T2 .

Demostracion. Basta tomar como U y V las bolas centradas en x y y con radio la

mitad de la distancia entre x y y.

1.27 Observacion. Si y son topologas para X con y (X, ) es Ti para alguna

i entonces tambien lo es (X, ) (y tal vez es Tj para alguna j > i).

1.28 Ejemplo. (a) Con la topologa discreta cualquier espacio es T2 .

(b) Con la topologa del lmite inferior y con la topologa K, R es T2 (pues estas topologas
contienen a la usual y la usual esta dada por una metrica).

1.29 Ejercicio. () Sea (X, ) un espacio topologico. Decimos que una sucesion (x1 , x2 , . . .)
de elementos de X converge a x0 X si para toda vecindad U de x0 existe un natural N tal
que si n N entonces xn U .
(i) Probar que si X es Hausdorff, entonces toda sucesion convergente tiene un unico punto
de convergencia.
(ii) Dar un ejemplo de un espacio y una sucesion en el que converja a dos puntos distintos.

1.4. Espacios metricos

Recordemos que dado un conjunto X, una funcion d : X X R es una distancia o

metrica para X si d satisface las siguientes condiciones:
(a) d(x, y) 0 para toda pareja de elementos x, y X.
(b) d(x, x) = 0 para todo x X.
(c) d(x, y) = d(y, x) para toda pareja de elementos x, y X.
(d) d(x, y) d(x, z) + d(z, y) para toda pareja de elementos x, y X.

En este caso decimos que (X, d) es un espacio metrico.

Si (X, d) es un espacio metrico, la bola con centro en x y radio r respecto a esta

10
metrica es el conjunto de puntos de X cuya distancia a x es menor que r, en smbolos,
Br (x) = {y X : d(x, y) < r}.

1.30 Observacion. Dado (X, d) metrico, la familia de las bolas = {Br (x) : x X, r >
0} es base de una topologa para X (llamada topologa inducida por la metrica).

Decimos que dos metricas d y d0 para un mismo conjunto X son equivalentes si inducen
la misma topologa para X. Decimos que un espacio topologico es metrizable si existe una
metrica que induce la topologa de X.

1.31 Ejemplo. (a) En Rs son equivalentes la distancia euclidiana de , la metrica

de los cuadrados dc y la metrica de los rombos dr , definidas para x = (x1 , . . . , xs ) y
y = (y1 , . . . , ys ) Rs por
p
de (x, y) = ||x y|| = (x1 y1 )2 + + (xs ys )2 ,
dc (x, y) = max{|x1 y1 |, . . . , |xs ys |} y
dr (x, y) = |x1 y1 | + + |xs ys |.
Ademas cualquiera de ellas induce la topologa producto.
(b) Un espacio discreto X es metrizable con la metrica discreta definida por

1, si x 6= y,
d(x, y) =
0, si x = y.

(c) Dado (X, d) metrico, la metrica acotada da asociada a d, definida por


d(x, y), si d(x, y) 1,
da (x, y) =
1, si d(x, y) 1.
es equivalente a d.

1.32 Observacion. Si X es metrizable, entonces X es Hausdorff.

1.33 Ejercicio. Sea Z un conjunto cualquiera y sea X = {f : Z Rt : f es acotada}.

Probar que du : X X R definida por
du (f, g) = sup{||f (z) g(z)|| : z Z}.
es una metrica (llamada metrica uniforme).

1.34 Ejercicio. Sea da la metrica acotada asociada a la metrica euclidiana de R y sea

X = RN . Probar que es metrica la funcion D : X X R definida por:

X da (xn , yn )
D((xn )n , (yn )n )) = .
n=1
2n

11
 1.35 Ejercicio. Sea (X, d) un espacio metrico y sea Z el conjunto de cerrados no vacos
de X. Dados dos cerrados sea
[ [
H(F, G) = inf{ R : F B (x), G B (x)}.
xG xF

Probar que H es una metrica (llamada metrica de Hausdorff).

1.5. Topologa del orden.

La topologa usual de R esta muy relacionada con el orden usual en los reales en que una
base consta de los intervalos abiertos. Esta idea puede generalizarse facilmente para construir
una topologa en conjuntos que tienen un orden total, como veremos a continuacion.

Dado un orden total en un conjunto X y a < b (es decir, a b pero a 6= b) en X,

definimos
(a, b) = {x X : a < x < b}
(, b) = {x X : x < b}.
Las definiciones de [a, b), [a, b], etc. son tambien las usuales. Todos estos se llaman intervalos.
La topologa del orden para X tiene por base

= {(a, b) : a < b} {[a0 , b) : b X} {(a, b0 ] : a X},

en caso que existan a0 o b0 elementos menor y mayor, respectivamente de X (si no existen,

esa parte de la union se omite). (No es difcil probar, usando ?? que, efectivamente, es
base de una topologa.)

1.36 Observacion. Una subbase para la topologa del orden en un conjunto ordenado
X es
{(, b) : b X} {(a, ) : a X}.

1.37 Ejemplo. (a) La topologa del orden en R es la usual.

(b) La topologa del orden en Z es la discreta.
(c) En la topologa del orden para [0, 1) {2}, las vecindades de 2 contienen elementos
de [0, 1).
(d) Consideremos el orden lexicografico en R2 (o cualquier subconjunto de el). Para no
confundir los elementos (que tienen dos coordenadas) con los intervalos, si a R2 tiene
coordenadas a1 , a2 escribimos a = a1 a2 . Se deja como ejercicio dibujar los intervalos (a, b)
(tomando en cuenta que son de distinta ndole si las primeras coordenadas de a y b coinciden
o si no).

12
 1.38 Ejercicio. () Probar que si X tiene la topologa del orden entonces X es T2 .

1.39 Ejercicio. () Probar que con la topologa inducida por el orden lexicografico en
R2 , se tiene que R2 es metrizable.

1.6. Producto topologico finito.

Demos una topologa al producto cartesiano de dos espacios topologicos (X, X ) y (Y, Y )
definiendo como base
= {U V : U X , V Y }
Se deja como ejercicio comprobar, usando ??, que es base de una topologa. A esta topologa
se le llama topologa producto. En lo que sigue, cada vez que consideremos un producto
cartesiano de espacios, si no especificamos la topologa, se entendera que es la topologa
producto.

1.40 Nota. Si X y Y son bases para las topologas de X y Y , respectivamente, entonces

otra base para la topologa producto es
0 = {U V : U X , V Y }.

1.41 Ejemplo. (a) La topologa producto en R2 es la usual (con respecto a la base usual
de los intervalos en R, la base dada por la nota anterior para la topologa producto consta
de rectangulos).
(b) Si X y Y tienen la topologa discreta, entonces la topologa producto en X Y
tambien es la discreta.
(c) El producto de dos topologas cofinitas no es la topologa cofinita.
(d) Si (X, dX ) y (Y, dY ) son espacios metricos entonces el producto X Y es metrizable
con cualquiera de las topologas (equivalentes) definidas en ??(a).

1.42 Proposicion. Si X y Y son Ti para alguna i entonces tambien lo es X Y (con

la topologa producto).

Demostracion. Haremos la demostracion para i = 1. Los otros casos son analogos. Sean
(x1 , y1 ) y (x2 , y2 ) elementos distintos de X Y . Entonces alguna coordenada es distinta; sin
perdida de generalidad supongamos x1 6= x2 . Tomemos abiertos U y V de X tales que
x1 U \ V y x2 V \ U . Entonces los abiertos buscados son U Y y V Y .

1.43 Ejercicio. () Probar que un espacio X es Hausdorff si y solo si la diagonal =

{(x, x) X X : x X} de X X es un conjunto cerrado en X X.

13
1.7. Subespacios.

Veamos ahora como definir, de manera natural, una topologa en un subconjunto de un

espacio topologico. Sea(X, X ) espacio topologico y sea Y X. Sea

Y = {U Y : U X }.

Es facil verificar que Y es una topologa para Y . Decimos que Y es la topologa de Y

inducida por X y que Y es un subespacio de X.

1.44 Ejemplo. (a) La topologa discreta induce la topologa discreta en cualquier subes-
pacio.
(b) La topologa indiscreta induce la topologa indiscreta en cualquier subespacio.
(c) La topologa usual de R induce la topologa discreta en Z y tambien en { n1 : n N}.
Si Y = [0, 1) {2}, entonces en Y son abiertos [0, 21 ), {2} y ( 12 , 1). Todo abierto en Q tiene
una infinidad de elementos.
(d) La topologa cofinita induce la topologa cofinita en cualquier subespacio (que se
convierte en la discreta si el subconjunto es finito).
(e) Si X = R2 tiene la topoga usual y Y es una recta, entonces los abiertos de Y son
como los de R (con base los segmentos que no contienen a los extremos). Si
[ [ 1
Y1 = {(x, qx) : x R} y Y2 = {(x, x) : x R}.
qQ nN
n

entonces todos los abiertos de Y1 tienen infinidad de puntos de una infinidad de rectas, pero
en Y2 hay abiertos contenidos dentro de cada recta.
(f) Si X tiene la topologa del orden y Y X entonces la topologa de subespacio en
Y no necesariamente es la misma topologa que la del orden en Y (por ejemplo, si X = R
entonces la topologa del orden en X es la usual y en Y = [0, 1) {2} con la topologa de
subespacio {2} es abierto, pero como espacio ordenado cualquier abierto que contenga a 2
contiene puntos menores que 1).
(g) Si la topologa de X esta dada por una metrica, es decir, una base son las bolas,
y Y X, entonces la metrica restringida en Y induce la misma topologa en Y que la de
subespacio (pues BrY (y) = Y BrX (y), con la notacion natural).

1.45 Ejemplo. Dentro de Rn tenemos muchos ejemplos de subespacios (con la topologa

usual de Rn ). En lo que sigue, cada vez que hablemos de subconjuntos de Rn sin especificar

14
topologa, consideraremos que es la de subespacio con la topologa usual de Rn . Algunos de
ellos importantes merecen notacion especial como
(a) La esfera n-dimensional S n = {x Rn+1 : ||x|| = 1}; en el caso de n = 1 tenemos
el crculo.
(b) El disco n-dimensional Dn = {x Rn+1 : ||x|| 1}.

1.46 Observacion. Sea (X, ) espacio topologico y sea Y X con la topologa de

subespacio.
(a) Si X tiene base y subbase S entonces Y tiene por base a {B Y : B } y por
subbase a {S Y : S S}.
(b) Los cerrados en Y son los C Y con C cerrado en X.
(c) Si Y es abierto en X entonces los abiertos en Y son los abiertos de X que estan
contenidos en Y .
(d) Si Y es cerrado en X entonces los cerrados en Y son los cerrados de X que estan
contenidos en Y .

1.47 Ejemplo. Considerense los siguientes subconjuntos de R2 :

A = {0,
S 1} [1, 2),
B = nN {(1 n1 , x) : 0 < x < 1} {(1, x) : x (0, 1)},
C = [1, 2) {0, 1}.

En cada uno de ellos sean la topologa inducida por la usual en R2 , la topologa inducida
por la del orden lexicografico en R2 y la topologa dada por el orden lexicografico (en el
mismo conjunto). Describir cada tipo de basicos pequenos y decir como se comparan las tres
topologas.

Solucion. Recordemos que si Y es subconjunto de R2 entonces los basicos (pequenos)

con respecto a son la interseccion de bolas (pequenas) con Y , los basicos (pequenos) con
respecto a son la interseccion de intervalos verticales que no contienen a los extremos, y
los basicos con respecto a son los conjuntos de la forma {y Y : y1 < y < y2 } donde
y1 , y2 Y . En cada caso, conviene hacer un dibujo de los conjuntos.

Para A, los basicos pequenos en y en son segmentos verticales que pueden o no

contener a 0 1 y a 1 1. En tambien son segmentos verticales salvo que los abiertos que
contienen a 1 1 tambien tienen puntos con primera coordenada 0. Entonces = , y
esta contenida propiamente en ellas.

Para B los basicos pequenos de dentro de {(1, x) : x (0, 1)} contienen (una infinidad
de) puntos de una infinidad de rectas, y en las rectas de la forma {(1 n1 , x) : 0 < x < 1}
son segmentos verticales (que no contienen a los extremos). Con respecto a son segmentos
verticales que no contienen a los extremos y lo mismo con respecto a . Entonces = , y
esta contenida propiamente en ellas.

15
 Para C los basicos pequenos en son segmentos horizontales que pueden o no contener
a 1 0 y a 1 1. La topologa es la discreta. En cualquier abierto es union de dos
segmentos, uno en [1, 2) {0} y otro en [1, 2) {1} y, dependiendo de la eleccion de y1 y y2 ,
cada segmento contiene alguno de sus extremos. Entonces ambas y estan contenidas en
, y y son incomparables.

1.48 Proposicion. Si X es Ti para alguna i entonces cualquier subespacio Y de X

tambien es Ti .
Demostracion. Sean y1 6= y2 elementos de Y y sean U y V abiertos de X tales que
y1 U \ V y y2 V \ U . Entonces U Y y V Y son los abiertos buscados en Y .

1.49 Observacion. Es posible que un espacio sea solo Ti para alguna i pero que un
subespacio sea Tj para alguna j > i).
Demostracion. Sabemos que un conjunto infinito con la topologa cofinita es T1 pero
no T2 , sin embargo si se toma Y como un conjunto finito de X entonces Y es T2 pues la
topologa de subespacio es la discreta.

1.50 Ejercicio. () Considerense los siguientes subconjuntos de R2 :

A = Z R, B = R Z, C = N N, D = [0, 1] [0, 1).
En cada uno de ellos sean la topologa inducida por la usual en R2 , la topologa inducida
por la del orden lexicografico en R2 y la topologa dada por el orden lexicografico en cada
uno de ellos. Hacer dibujos de cada tipo de basicos pequenos y decir como se comparan las
tres topologas.

1.51 Ejercicio. () Sean X y Y espacios topologicos y sean A X y B Y . Probar

que si A es cerrado en X y B es cerrado en Y entonces A B es cerrado en X Y .

1.8. Puntos determinados por subconjuntos.

Sea (X, ) espacio topologico y sea A X. Entonces

(a) El interior de A es el conjunto
Int(A) = Ao = {x X : N Nx , N A}.

(b) La frontera de A es el conjunto

(A) = F r(A) = {x X : N Nx , N A 6= , y N (X \ A) 6= }.

16
 (c) La cerradura de A es el conjunto

A = {x X : N Nx , N A 6= }.

(d) El conjunto de puntos de acumulacion o conjunto derivado de A es el conjunto

A0 = {x X : N Nx , (N \ {x}) A 6= }.

1.52 Nota. En las definiciones que acabamos de dar se puede sustituir vecindad por
abierto o por basico.

1.53 Ejemplo. Sea X = R y sea A = [0, 1) {2}. Encontremos Int(A), (A), A y A0

con respecto a las siguientes topologas:
(a) La topologa usual. Entonces Int(A) = (0, 1), (A) = {0, 1, 2}, A = [0, 1] {2} y
0
A = [0, 1].
(b) La topologa discreta. Entonces Int(A) = A, (A) = , A = A y A0 = .
(c) La topologa cofinita. Entonces Int(A) = (A) = X, A = X y A0 = X.
(d) La topologa del lmite inferior. Entonces Int(A) = [0, 1), (A) = {2}, A = A y
A0 = [0, 1).

1.54 Ejemplo. En R2 consideremos la topologa del orden lexicografico. Sean

A = {(x, y) : x2 + y 2 1} y B = ([0, 1] {0}) ({0} [0, 1]).

Entonces Int(A) = {(x, y) : x2 + y 2 < 1}, (A) = {(x, y) : x2 + y 2 = 1}, A = A, y

A0 = A \ {1 0, 1 0}.
Int(B) = {0} (0, 1), (B) = {0 1} [0, 1] {0}, B = B y B 0 = {0} [0, 1].

La demostracion de las siguientes dos proposiciones es directa de las definiciones y se

deja como ejercicio.

1.55 Proposicion. Sea (X, ) un espacio topologico y sea A X. Entonces

S
(a) Int(A) es el mayor abierto contenido en A, as IntA = U , donde {U : }
es la familia de todos los abiertos de X que estan contenidos en A.
T
(b) A es el menor cerrado que contiene a A, as A = C , donde {C : } es la

17
familia de todos los cerrados de X que contienen a A.
(c) A = Int(A) (A) = A (A) = A A0 .
(d) (A) = A (X \ A).
(e) A es abierto si y solo si A = Int(A).
(f) A es cerrado si y solo si A = A.
(g) Int(Int(A)) = Int(A)
(h) A = A.
(i) A es cerrado si y solo si (A) A.
(j) A es cerrado si y solo si A0 A.

1.56 Proposicion. Sea (X, ) un espacio topologico y sean A y B subconjuntos de X.

(a) Si A B, entonces Int(A) Int(B).
(b) Si A B, entonces A B.
(c) Int(A B) Int(A) Int(B). Esta inclusion puede ser propia.
(d) Int(A B) = Int(A) Int(B).
(e) A B = A B.
(f) A B A B. Esta inclusion puede ser propia.
S S
(g) Si {A : } es una familia de subconjuntos de X, entonces A A .
Esta union puede ser propia.

1.57 Ejercicio. ()

1.58 Ejercicio. Sea X = {0, 1} [0, 1) con la topologa del orden lexicografico. Sea
A = {0} [0, 1) X. Encontrar Int(A), (A), A y A0 .

1.59 Ejercicio. Sea A = { n1 : n N} R. Determinar Int(A), (A), A y A0 en

las siguientes topologas de R: 1 la topologa discreta, 2 la topologa conumerable, 3 la
topologa del lmite inferior, 4 la topologa K.

1.60 Ejercicio. () Sea X un conjunto totalmente ordenado y sea la topologa del

orden. Probar que si a, b X entonces (a, b) [a, b], y dar un ejemplo que demuestre que la
contencion puede ser propia.

1.61 Ejercicio. () Sea X un espacio topologico y sean A X y x X.

(a) Probar que si existe una sucesion de elementos de A que converge a x entonces x A.

(b) Probar que si X es primero numerable entonces el recproco de (a) es cierto.

(c) Dar un ejemplo que demuestre que el recproco de (a) no es cierto.

18
 1.62 Ejercicio. () Sea X un espacio T1 y sea A X. Probar que x A0 si y solo si
toda vecindad de x contiene una infinidad de puntos de A.

1.9. Axiomas de numerabilidad.

Decimos que un espacio topologico (X, ) es 2o numerable o que satisface el 2o axioma

de numerabilidad si existe una base (a lo mas) numerable para .

1.63 Ejemplo. (a) Con la topologa usual, Rn es 2o numerable pues es base para su
topologa el conjunto cuyos elementos son las bolas de radio racional y centro con coordenadas
racionales.
(b) Si X es no numerable y X tiene la topologa discreta entonces no es 2o numerable
pues cualquier base debe contener a {{x} : x X}.
(c) Si X es no numerable entonces X con la topologa cofinita no es 2o numerable (pues
si existiera
S una base numerable {B1 , B2 , . . .} con cada Bi = X \ {xi,1 , . . . , xi,ni }, y x
X \ i {xi,1 , . . . , xi,ni }, entonces el abierto X \ {x} no contendra ningun basico).

1.64 Proposicion. Si (X, ) es 2o numerable, entonces cualquier base contiene una base
numerable.

Demostracion. Sea una base numerable para X y sea otra base. Bastara escribir
cada elemento de como union numerable de elementos de (pues entonces la base nume-
rable contenida dentro de que buscamos estara formada por esos elementos). Sea G .
Para cada x G sea Bx tal que x Bx G (existe pues G es abierto y es base).
Analogamente, tomemos Gx tal que x Gx Bx (aqu usamos que Bx es abierto y
que es base). Ahora, H = {Gx : x G} es subconjunto de , as que podemos escribir
H = {G1 , G2 , . . .}. Escojamos, para cada Gi una de las Bx que le dio lugar, digamos que
escogemos Bxi , de manera que Gi Bxi . Entonces
[ [
G= Gi Bxi G,
iN iN
S
as que G = iN Bxi , como queramos.

Sea (X, ) un espacio topologico y sea x X. Una base local en x es una familia de
vecindades abiertas x para x tal que si N Nx entonces existe B x tal que B N .

Decimos que un espacio topologico (X, ) es 1o numerable o que satisface el 1er axioma
de numerabilidad si cada punto tiene una base local (a lo mas) numerable.

19
 1.65 Ejemplo. (a) El 2o axioma de numerabilidad implica el primero.
(b) Con la topologa usual Rn es 1o numerable pues cada x Rn tiene base local {B 1 (x) :
n
n N}.
(c) Si X tiene la topologa discreta entonces X es 1o numerable pues una base local en
x X es {{x}}, que consta de un solo conjunto.
(d) Si X es no numerable entonces X con la topologa cofinita no es 1o numerable (la
misma demostracion para probar que no es segundo numerable sirve).
(e) Si R tiene la topologa en que los abiertos son los conjuntos que contienen a {0}
entonces R es 1o numerable (pues una base local en x es {{x, 0}}).
(f) Si X es metrizable entonces X es 1o numerable.

1.66 Ejercicio. Sean Rl y RK definidos como en ?? y ??

(a) Es Rl primero numerable?
(b) Es Rl segundo numerable?
(c) Es RK primero numerable?
(d) Es RK segundo numerable?

1.67 Lema. Si X es un espacio 1o numerable y x X, entonces existe una base local

{Un : n N} para x de tal forma que U1 U2 U3 .

Demostracion. Sea {Vn : n N} una base local en x. Para cada n definamos Un =

V1 V2 Vn .

1.68 Proposicion. Sea X un espacio topologico y sea A X.

(a) Si existe (an )n sucesion de elementos de A que converge a x X entonces x A.
(b) Si X es 1o numerable y x A entonces existe (an )n sucesion de elementos de A que
converge a x.

Demostracion. (a) Sea U Nx ; por la convergencia tenemos que U A 6= , por lo

tanto x A.
(b) Sea x = {Un : n N} una base local para x tal que U1 U2 U3 . Escogemos
an Un A. Entonces es claro que (an )n converge a x.

Si X no es 1o numerable, el inciso (b) de la proposicion anterior es falso, como veremos

en el siguiente ejemplo.

1.69 Ejemplo. En R con la topologa conumerable existe A X y x A tal que

ninguna sucesion de elementos de A converge a x.

Demostracion. Sea A = [0, 1]. Como los cerrados en esta topologa son los conjuntos

20
numerables y el mismo R entonces A = R, as que 2 A. Sea (an )n una sucesion de elementos
de A y sea U = R \ {an : n N}. Entonces U N2 , pero U no contiene ningun elemento de
la sucesion, as que (an )n no puede converger a x.

1.10. Conjuntos densos y separabilidad.

Sea (X, ) un espacio topologico. Un subconjunto A de X es denso si A = X.

1.70 Proposicion. Sea (X, ) un espacio topologico y A X. Entonces son equivalen-

tes:
(a) A es denso.
(b) Para todo U se tiene que U A 6= .
(c) Si es una base para , entonces para todo B se tiene que B A 6= .

Un espacio topologico (X, ) es separable si contiene un denso numerable.

1.71 Observacion. Rn es separable (pues el conjunto de puntos con coordenadas racio-

nales es denso numerable).

1.72 Proposicion. Si (X, ) es 2o numerable entonces X es separable.

Demostracion. Sea = {B1 , B2 , . . .} una base numerable. Para cada i N sea xi Bi .

Sea A = {x1 , x2 , . . .}. Es claro que A es denso numerable.

1.73 Proposicion. (a) Separable no implica 1o numerable.

(b) 1o numerable no implica separable.

Demostracion. (a) En R con la topologa cofinita cualquier conjunto numerable es denso

(pues los cerrados son los finitos y el mismo R), as que es separable. Ya sabamos que no es
1o numerable.
(b) Sabemos que R con la topologa discreta es 1o numerable; por otro lado, la cerradura
de cualquier conjunto es el mismo conjunto, as que no es separable.

1.74 Nota. Tenemos entonces que entre los conceptos de 1o o 2o numerable y separable
solo se tienen las implicaciones de 2o numerable hacia los otros dos. Sin embargo es cierto
que 1o numerable y separable implica 2o numerable.

21
2. Continuidad

La siguiente proposicion-definicion generaliza la definicion de continuidad que conocemos

de funciones en espacios euclidianos.

2.1 Proposicion. Sean (X, ) y (Y, ) espacios topologicos y sea f : X Y funcion.

Son equivalentes:
(a) Para todo x X y N Nf (x) existe M Nx tal que f (M ) N .
(b) Para todo subconjunto A de X se tiene f (A) f (A).
(c) Para todo C Y cerrado se tiene que f 1 (C) es un cerrado de X.
(d) Para todo U Y abierto se tiene que f 1 (U ) es un abierto de X.
(e) Si es una base para la topologa de Y y B entonces f 1 (B) es un abierto de
X.
(f) Si S es una subbase para la topologa de Y y S S entonces f 1 (S) es un abierto de
X.
En este caso decimos que f es continua. (Si la parte (a) se cumple solo para un elemento
particular x X decimos que f es continua en x.)

Demostracion. Las demostraciones (a) (b) (c) (d) (a) se siguen directamente
de las definiciones y son muy parecidas a las que se hacen en Rn . Las demostraciones de (d)
(e) (f) son tambien directas.

2.2 Nota. Al relacionar espacios mediante funciones se quiere que se refleje de alguna
manera la idea de cercana. Esto es precisamente lo que hacen las funciones continuas:
mandan puntos cercanos del dominio en puntos cercanos del codominio. La equivalencia que
mejor explica esto es la (b). Notemos, sin embargo, que a traves de las funciones continuas
es posible que puntos lejanos tengan imagenes cercanas.

2.3 Ejemplo. En los siguientes incisos X, Y , etc. son espacios topologicos.

(a) Las funciones continuas de Rn Rt .
(b) La funcion identica de X en X es continua.
(c) Si c Y entonces la funcion constante f : X Y con valor c es continua.
(d) Si f : X Y y g : Y Z son continuas entonces tambien lo es la funcion
composicion g f : X Z.
(e) Si Y es subespacio de X entonces la funcion inclusion f : Y X es continua.
(f) Si X tiene la topologa discreta entonces cualquier funcion con dominio X es continua.
(g) Si Y tiene la topologa indiscreta entonces cualquier funcion con codominio Y es
continua.
(h) Si y son dos topologas para un conjunto X, entonces la funcion identica f :

22
(X, ) (X, ) es continua si y solo si .
(i) Si Z es subespacio de X y f : X Y es continua entonces tambien lo es la restriccion
f |Z : Z Y .
(j) Si Z es subespacio de Y y f : X Y es continua y f (X) Z entonces tambien lo es
la funcion f1 : X Z definida como f (es decir f1 (x) = f (x)).
(k) Las proyecciones pX : X Y X y pY : X Y Y (definidas por pX (x, y) = x y
pY (x, y) = y) son continuas.
(l) Si y0 Y , entonces la funcion : X X Y dada por (x) = (x, y0 ) es continua.
(m) Sean (X1 , d1 ) y (X2 , d2 ) espacios metricos y sea f : X1 X2 funcion. Entonces f es
continua si y solo si

x X1 y > 0 > 0 tal que f (BX1 (x)) BX2 (f (x)).

2.4 Proposicion. Sea (X, ) un espacio topologico y sea f : X Y una funcion.

S
(a) Si X = U es una union arbitraria de abiertos y f |U es continua para cada
, entonces f es continua.
(b) X = ni=1 Ci es una union finita de cerrados y f |Ci es continua para cada i = 1, . . . , n,
S
entonces f es continua.

Demostracion. Haremos solo la demostracion de (a) pues la de (b) es similar. Sea V

abierto en Y . Entonces [
f 1 (V ) = (f |U )1 (V ).

Cada (f |U )1 (V ) es abierto en U que, a su vez, es abierto en X, as que tambien (f |U )1 (V )

es abierto en X, de donde la union es un abierto de X.

2.5 Ejemplo. En la parte (b) de la proposicion anterior es importante que la union sea
finita. Como ejemplos de que si la union de cerrados no es finita el resultado es falso tenemos:


0, si x 0, 
f (x) = 1
x
, si x n1 , n , n N.

0, si x Q,
g(x) =
1, si x R \ Q.
(En este ultimo los cerrados son los {x} para cada x R.)

Decimos que una funcion f : X Y entre espacios topologicos es una funcion abierta
si para cada abierto U de X se tiene que f (U ) es abierto de Y . Analogamente se define
funcion cerrada.

23
 2.6 Observacion. Para probar que una funcion es abierta basta demostrar que la imagen
de cualquier basico es un abierto.

Demostracion. La imagen directa respeta uniones.

2.7 Ejemplo. La proyeccion pX : X Y X es abierta pero no cerrada.

Demostracion. Por la observacion, para probar que es abierta basta probar que f (U V )
es abierto si U es abierto en X y V es abierto en Y , pero entonces es claro. Ahora, para ver
que no necesariamente es cerrada consideremos en R2 el conjunto {(x, x1 ) : x > 0} que es
cerrado pero cuya proyeccion en el eje x es (0, ), no cerrado.

Una funcion f : X Y entre espacios topologicos es homeomorfismo si es continua,

biyectiva y abierta. En este caso se dice que X y Y son homeomorfos y escribimos X Y .

2.8 Observacion. Sea f : X Y funcion entre espacios topologicos. Entonces son

equivalentes:
(a) f es homeomorfismo.
(b) f es continua, biyectiva y cerrada.
(c) f es continua, biyectiva y la funcion inversa f 1 es continua.

2.9 Nota. Dos espacios homeomorfos son practicamente el mismo espacio; la funcion
biyectiva es un cambio de nombre de los elementos.

2.10 Ejemplo. Existen funciones biyectivas y continuas pero tales que su inversa no es
continua. este es el caso, por ejemplo, de la funcion identica en un conjunto X cuando en el
dominio hay una topologa contenida propiamente en la del codominio. Otro ejemplo es el
siguiente:
f : [0, 2) S 1 dada por x 7 (cos(x), sen(x)).

Una funcion f : X Y entre espacios topologicos es inmersion o encaje si es continua,

inyectiva y abierta en la imagen.

2.11 Observacion. Sea f : X Y funcion entre espacios topologicos. Entonces son

equivalentes:
(a) f es inmersion.
(b) f es continua, inyectiva y cerrada en la imagen.
(c) La funcion f1 : X f (X) definida como f es homeomorfismo.

2.12 Nota. Si f : X Y es inmersion entonces practicamente X es un subespacio

de Y .

24
 2.13 Ejemplo. (a) La inclusion de un subespacio en un espacio es inmersion.
(b) Si y0 Y , entonces la funcion : X X Y dada por (x) = (x, y0 ) es inmersion.

2.14 Proposicion. Sea f : X Y una funcion entre espacios topologicos.

(a) Si f es continua y (xn )n es una sucesion de elementos de X que converge a x X
entonces (f (xn ))n converge a f (x).
(b) Si X es 1o numerable y para toda sucesion convergente (xn )n x en X se tiene que
(f (xn ))n f (x) entonces f es continua.

Demostracion. (a) Sea V vecindad de f (x) y sea U vecindad de x tal que f (U ) V .

Como U contiene todos los xn a partir de una cierta N , entonces V contiene a f (xn ) a partir
de esa misma N .
(b) Sea A X. Queremos probar que f (A) f (A). Sea x A. Tomemos una sucesion
(an )n de elementos de A que converja a x; entonces (f (an ))n es una sucesion de elementos
de f (A) que converge a f (x) y, por tanto f (x) f (A).

2.15 Ejercicio. Sea f : X Y . Probar que f es continua si, y solo si, para todo B Y
se tiene que f 1 (B) f 1 (B).

2.16 Ejercicio. Sea f : X Y una funcion continua. Es cierto que f (A0 ) f (A)0 ?

2.17 Ejercicio. () Sea n N. Definamos n como la topologa de R que se obtiene al

agregarle a la topologa usual el conjunto {n}. Probar que 1 y 2 son homeomorfas pero
distintas.

2.18 Ejercicio. () Sean X y Y conjuntos totalmente ordenados y consideremos en ellos

la topologa del orden. Sea f : X Y una funcion biyectiva que preserva el orden. Probar
que f es homeomorfismo.

2.19 Ejercicio. () Sea X = (, 1) [0, ) con la topologa de subespacio de R.

Defnase f : X R por 
x + 1, si x < 1
f (x) =
x, si x 0
Probar que f es biyectiva y continua y que preserva el orden. Es homeomorfismo?

2.20 Ejercicio. Probar que si f1 : X Y1 y f2 : X Y2 son funciones continuas

entonces tambien lo es la funcion f : X Y1 Y2 definida por f (x) = (f1 (x), f2 (x)).

2.21 Ejercicio. () Sea Y un conjunto ordenado y considerese Y como espacio topologico

con la topologa del orden. Sean f, g : X Y funciones continuas y sea h : X Y la funcion
definida por h(x) =max{f (x), g(x)}. Probar que h es continua. (Sugerencia: Primero probar
que si Y es ordenado entonces {y1 y2 : y1 > y2 } es abierto en Y Y . Usar esto y el ejercicio

25
?? para encontrar A y B cerrados de X tales que X = A B y h|A y h|B sean continuas.)

2.22 Ejercicio. Probar que si X es 1o -numerable y f : X Y es funcion entre espacios

topologicos, entonces f es continua si, y solo si, para toda x X resulta que toda sucesion
(xn )n convergente a x tiene una subsucesion (xnk )k tal que f (xnk )k converge a f (x).

2.23 Ejercicio. () Sea X un espacio topologico y sea A denso en X. Sea Y un espacio

T2 y supongamos que f, g : X Y son dos funciones continuas tales que f |A = g|A . Probar
que f = g. Es cierto el resultado si no pedimos que Y sea T2 ?

2.24 Ejercicio. () Sea f : R R continua por la derecha (es decir, limxa+ f (x) = f (a)
para todo a). Probar que f es continua como funcion de Rl en R.

2.25 Ejercicio. () Sea X un conjunto y sea d una metrica en X. Probar que con la
topologa en X inducida por la metrica, la funcion d : X X R es continua.

2.26 Ejercicio. Sean (X, dX ) y (Y, dY ) espacios metricos. Sea f : X Y una funcion tal
que para cualquier pareja x1 , x2 de elementos de X se tiene que dX (x1 , x2 ) = dY (f (x1 ), f (x2 )).
Probar que f es una inmersion (llamada inmersion isometrica).

2.27 Ejercicio. Dar una distancia d en [0, 1] que induzca en [0, 1] la topologa usual,
pero en la que exista r > 0 tal que

Br (1) 6= {x [0, 1] : d(x, 1) r}.

(Sugerencia. Considerar un espacio homeomorfo a [0, 1] dentro del crculo S 1 .)

2.1. Topologas dadas por funciones

2.28 Nota. Al darle una topologa a un conjunto que esta relacionado con espacios
topologicos (por ejemplo subconjuntos o productos cartesianos), queremos que se refleje de
la mejor manera posible la relacion entre el conjunto y los espacios de los que depende.
Una condicion claramente necesaria es pedir que la o las funciones que los relacionen sean
continuas pues estas son las que, de alguna manera, preservan la cercana. Sin embargo es
posible que muchas topologas para el conjunto logren que las funciones sean continuas (por
ejemplo dando al conjunto la topologa discreta si la o las funciones tienen por dominio al
conjunto o la indiscreta si lo tienen por codominio) y es claro que esto no ayudara en general
a que se reflejara la relacion entre el subconjunto y el o los espacios. Veremos a continuacion
que la mejor forma de lograrlo es dando al conjunto la menor o mayor (dependiendo si el
conjunto es el dominio o codominio de la o las funciones) topologa que hace continuas a las

26
funciones que lo relacionan con los espacios. Empezaremos por analizar los dos ejemplos que
conocemos: subespacios y productos.

2.29 Proposicion. La topologa de subespacio es la menor que hace continua a la in-

clusion.

Demostracion. Sea i : Y X una funcion inclusion, donde (X, X ) es un espacio

topologico. Ya sabemos que si Y tiene la topologa de subespacio, Y = {U Y : U X },
entonces la inclusion es continua. Para ver que es la menor, supongamos que es otra
topologa para Y con la cual i es continua. Queremos probar que Y . Sea V Y .
Entonces V = U Y para algun U X ; ademas, por ser U abierto de X e i continua con
respecto a , tenemos que i1 (U ) es abierto en , pero i1 (U ) = U Y que es igual a V ,
con lo que tenemos que V , como queramos.

2.30 Proposicion. La topologa producto es la menor que hace continuas a las proyec-
ciones.

Demostracion. Sean (X, X ) y (Y, Y ) espacios topologicos y sean pX : X Y X y

pY : X Y Y las proyecciones. Como antes, supongamos que es una topologa para
X Y con la cual las proyecciones son continuas. Bastara probar que los basicos U V de la
topologa producto estan en . Pero U V = (U Y )(X V ) = ((pX )1 (U ))((pY )1 (V )),
que debe ser abierto de .

Sean (X, X ) y (Y, Y ) espacios topologicos. Definimos la suma topologica X + Y como

el conjunto X ]Y obtenido de ajenizar X y Y y considerar la union, es decir, en caso que X
y Y tengan elementos en comun, poner una etiqueta para los elementos de X y otra distinta
para los de Y , por ejemplo, sustituir X por X {1}, Y por Y {2}, y copiar las topologas
de X y Y en cada uno de estos nuevos conjuntos. Con esta sustitucion supongamos, sin
perdida de generalidad, que X y Y son ajenos. As a X + Y = X Y le damos la mayor
topologa que hace continuas a las inclusiones iX : X X + Y e iY : Y X + Y .

2.31 Observacion. W es abierto en X + Y si y solo si W X X y W Y Y .

27
3. Cocientes

Recordemos que toda relacion de equivalencia en un conjunto X induce una particion

de X, es decir, una familia X/ (llamada cociente de X con respecto a ) de subconjuntos
ajenos de X (llamados clases) cuya union es X; cada clase consta de todos los elementos
equivalentes entre s. La funcion suprayectiva p : X X/ que manda a cada elemento en
su clase se llama proyeccion natural o funcion de paso al cociente. Recprocamente,
cada particion en un conjunto X induce una relacion de equivalencia en X en la que los
elementos de la particion son las clases de la relacion. Tambien, recprocamente, toda funcion
suprayectiva p con dominio X induce una relacion de equivalencia en X en la cual la funcion
de paso al cociente es precisamente f , y las fibras de f (es decir, los conjuntos de la forma
f 1 (z) para z en el codominio de f ) son los elementos de la particion.

Ahora, si (X, ) es un espacio topologico y es una relacion de equivalencia en X,

entonces damos al conjunto cociente X/ la mayor topologa con la cual la funcion
p : X X/ es continua. En otras palabras,

U p1 (U ) .

Decimos que es la topologa cociente y X es el espacio cociente.

En lo que sigue (X, ) es un espacio topologico, es una relacion de equivalencia en X,

X = X/, p : X X es la funcion de paso al cociente y, para x X, denotamos por x a la
clase de x.

El cociente cumple la siguiente propiedad muy importante que nos dice como definir
funciones continuas con dominio un cociente.

3.1 Proposicion. (Propiedad universal del cociente.) Para cualquier funcion con-
tinua f : X Y que respete las fibras de p (es decir, tal que si x x0 entonces

f (x) = f (x0 )) se tiene que existe una unica funcion continua f : X Y tal que f p = f .

Demostracion. Es claro que la unica forma en que f p = f ocurra es definiendo
f ( x) = f (x). El que f respete fibras nos dice que la funcion f esta bien definida (es decir,

no depende del representante x elegido en x). Falta entonces ver que f es continua. Pero

esto es gracias a la definicion de la topologa de X y porque p1 ( f 1 (V )) = f 1 (V ) para V
abierto de Y .

La siguiente proposicion es clasica despues

de una propiedad universal y nos dice que
esta caracteriza al cociente, es decir, (X, p) es el unico espacio que satisface la propiedad
universal del cociente (cualquier otro es homeomorfo a el y la funcion de paso al cociente
conmuta con ese homeomorfismo).

28
 3.2 Proposicion. Si Z es un espacio topologico y q : X Z es una funcion continua
que respeta las fibras de p y tal que para cualquier

funcion continua f : X Y que respete
las fibras de p se tiene que existe

una unica f : X Y continua tal que f q = f entonces
existe un homeomorfismo : X Z tal que p = q.

Demostracion. Usando que (X, p) cumple la propiedad y que q respeta fibras tenemos

una funcion continua : X Z tal que p = q. Ahora, usando que (Z, q) satisface la

propiedad y que
p respeta fibras tenemos una funcion continua : Z X. Por otro lado,
usando que (X, p) cumple la propiedad y que la misma p respeta fibras tenemos una unica

funcion continua X X tal que f p = p pero esto es obvio que ocurre para
f la funcion
identica y tambien para f = , de donde es la funcion identica en X. el argumento
recproco nos dice que es la funcion identica en Z.

Una funcion continua y suprayectiva f : X Y es identificacion si Y tiene la mayor

topologa que hace continua a f es decir, U Y es abierto si y solo si f 1 (U ) es abierto en
X.

3.3 Nota. La propiedad U Y es abierto si y solo si f 1 (U ) es abierto en X es difcil de

entender; el solo si es simplemente la condicion de continuidad; el si es la condicion extra
y dice que todo subconjunto del codominio cuya imagen inversa es abierto en el dominio debe
ser abierto.

3.4 Observacion. Sea f : X Y continua y suprayectiva. Entonces es equivalente que

f sea identificacion a la condicion de que C Y es cerrado en Y si y solo si f 1 (C) es
cerrado en X.

3.5 Corolario. Si f : X Y es identificacion entonces Y es homeomorfo al cociente de

X inducido por la funcion suprayectiva f , y f es la proyeccion natural.

3.6 Ejemplo. (a) Todo homeomorfismo es identificacion.

(b) Si f : X Y es continua, suprayectiva y abierta entonces f es identificacion.
(c) Si f : X Y es continua, suprayectiva y cerrada entonces f es identificacion.
(d) Composicion de identificaciones es identificacion.

3.7 Proposicion. La proyeccion en la primera coordenada R2 R es identificacion.

Demostracion. La funcion es abierta.

3.8 Ejemplo. En R consideremos la particion {(, 0), [0, )}. El espacio cociente es
el espacio de Sierpinsky {a, b} con la topologa {, {a}, {a, b}}; en particular el cociente de
un espacio Hausdorff no es necesariamente Hausdorff. Ademas este es un ejemplo de que las

29
identificions pueden no ser abiertas ni cerradas (pues, por ejemplo, f (1, 2) = {b} que no es
abierto y f [2, 1] = {a}), que no es cerrado).

3.9 Ejemplo. En el disco D2 definamos la relacion en la que todos los puntos de la fron-
tera estan relacionados entre s (y los del interior solo estan relacionados con ellos mismos).
Entonces el espacio cociente es S 2 .

Demostracion. Usando geometra analtica, mediante el homeomorfismo del interior de

D con R2 y la proyeccion estereografica, es posible dar una funcion suprayectiva y continua
2

f : D2 S 2 que tiene precisamente por fibras a las clases de la particion, pues la frontera
de D2 va a dar a un punto de S 2 , y en lo demas es inyectiva; ademas esta funcion resulta ser
cerrada pues si C es un cerrado de D2 , entonces C es compacto, as que por ser f continua,
f (C) es un subconjunto compacto en S 2 y, por tanto, es cerrado; de esta manera se tiene
que f es identificacion y, por [], f es la funcion de paso al cociente.

3.10 Ejemplo. En R consideremos la relacion de equivalencia definida por la funcion

parte entera (f : R Z, f (x) = [x] = mayor entero menor o igual que x). Si R tiene la
topologa usual entonces la topologa del cociente en Z es {, Z}{{x Z : x n}, n N}.Si
a R le damos la topologa de Sorgenfrey entonces la topologa del cociente para Z es la
discreta.

3.11 Ejemplo. Sea X = [0, 1] [2, 3] como subespacio de R2 . En X digamos que 1 2

(y los demas elementos relacionados solo con ellos mismos).

(a) Se tiene que X = [0, 2] mediante la identificacion

x, si x [0, 1],
f (x) =
x 1, si x [2, 3].

(b) Si A = [0, 1) [2, 3], entonces la restriccion de f a A no es identificacion.

Demostracion. (a) La funcion es continua (por [], pues es continua en los dos cerrados
en los que esta definida), suprayectiva, tiene las fibras de la relacion y es cerrada (por un
razonamiento analogo al del ejemplo anterior).

(b) [1, 2] es un subconjunto no abierto de [0, 2] cuya imagen inversa es [2, 3], el cual s es
abierto en A.

En el ejemplo anterior, aparte de observar que la restriccion de una identificacion no es

identificacion, tenemos que la funcion f |A es biyectiva. La siguiente observacion nos dice que
si fuera identificacion, entonces sera homeomorfismo, lo cual es obviamente falso.

3.12 Observacion. Si f : X Y es identificacion biyectiva entonces f es homeomor-

fismo.

30
 Demostracion. La definicion de topologa cociente implica que la funcion inversa es
continua.

3.13 Ejemplo. Sea p : [0, 1] S 1 dada por p(x) = (cos(2x), sen(2x)). Entonces
(a) p es identificacion.
(b) p p : [0, 1] [0, 1] S 1 S 1 tambien es identificacion.

Demostracion. Es claro que tanto p como p p son continuas y suprayectivas; tambien

p y pp son cerradas por un argumento como en [], pues los compactos en Rn son cerrados.

3.14 Nota. El espacio S 1 S 1 R4 puede visualizarse en R3 como la cascara de una

dona. Este espacio se llama toro.

3.15 Nota. En el ejemplo anterior consideramos el producto de dos identificaciones y

resulto que tambien era identificacion. este no es siempre el caso (ver []).

A continuacion veremos otra clase importante de identificaciones.

Sea Y un subespacio de un espacio X y sea i la inclusion de Y en X. Una funcion continua

r : X Y es retraccion si r i es la funcion identica en Y (es decir, r(y) = y para toda
y Y ).

3.16 Proposicion. Si Y es un subespacio de un espacio X, y r : X Y es una

retraccion entonces r es identificacion.

Demostracion. Ya sabemos que r es continua y suprayectiva. Sea U Y tal que r1 (U )

es abierto en X; queremos probar que U es abierto en Y , pero esto es cierto por la definicion
de topologa de subespacio pues U = r1 (U ) Y .

3.17 Ejemplo. Sea r : R2 D2 la funcion dada por


x, si ||x|| 1,
f (x) = x
||x||
, si ||x|| 1.

Entonces f es retraccion y, por tanto, identificacion.

3.18 Ejemplo. En Rn+1 \ {0} sea la relacion dada por

x y R tal que x = y.

En S n sea 0 la relacion dada por

x 0 y x = y.

31
Entonces son homeomorfos

Rn+1 \ {0} / y S n / 0 .

Demostracion. Sean p : Rn+1 \ {0} (Rn+1 \ {0}) / y p0 : S n S n / 0 las

proyecciones naturales.
 
Primera forma. Sea f : Rn+1 S n /0 dada por f (x) = p0 ||x||
x
. Como f respeta fibras
de p entonces existe una funcion continua : (Rn+1 \ {0}) / S n / 0 . Por otro lado sea
i : S n Rn+1 \ {0} la inclusion y sea g = p i : S n (Rn+1 \ {0}) /. Analogamente, g
respeta fibras de 0 as que g induce una funcion continua : S n / 0 (Rn+1 \ {0}) /. Es
claro que y son inversas una de otra.
x
Segunda forma. La funcion r : Rn+1 S n dada por r(x) = ||x|| es una retraccion.
0
Entonces la composicion p r es identificacion. Ademas esta identificacion tiene exactamente
las mismas fibras que p.

3.19 Ejercicio. Defnase en R la relacion x y x y Z. Probar que es

una relacion de equivalencia. A que espacio conocido es homeomorfo R/ ? (Probar la
respuesta.)

3.20 Ejercicio. Sea Y = ([0, ) R) (R {0}) como subespacio de R2 . Sea f la

restriccion a Y de la proyeccion en la primera coordenada de R2 a R. Probar que f no es
abierta ni cerrada pero s una identificacion.

3.21 Ejercicio. Defnase en R2 la relacion (x1 , x2 ) (y1 , y2 ) x21 + x22 = y12 + y22 . A
que espacio conocido es homeomorfo R2 / ? (Probar la respuesta.)

3.22 Ejercicio. Sea una relacion de equivalencia en un espacio topologico X tal que
cada clase es un conjunto cerrado en X. Probar que el espacio cociente es T1 . Como es X/
si cada clase es un conjunto abierto en X?

3.23 Ejercicio. Sea Z = ({0} R) (R {0}) R2 . Sea f : R2 Z la funcion

suprayectiva dada por 
(x, 0), si x 6= 0,
f (x, y) =
(0, y), si x = 0.
Considerar Z con la topologa cociente.
(a) Probar que Z no es Hausdorff.
(b) Sea Y = Z como conjunto pero considerar Y con la topologa de subespacio de R2 .
Probar que f |Y : Y f (Y ) no es identificacion.

32
 3.24 Ejercicio. Considerense los siguientes subespacios de R2 :

X = R N y Y = {(x, nx) : x R, n N}.

Probar que la funcion f : Z Y dada por f (x, n) = (x, nx) es continua y suprayectiva pero
no es identificacion.

3.25 Ejercicio. En RK sea la relacion tal que n1 m1 para toda pareja de naturales
n, m.
(a) Probar que RK es Hausdorff pero que RK / no lo es.
(b) Sea p la funcion de paso al cociente. Probar que p p no es identificacion.

3.26 Ejercicio. Sea X = S 1 [0, 1]. En X definamos la relacion de equivalencia de

manera que (x, 1) (y, 1) para cualquier pareja de elementos x, y de S 1 . A que espacio
conocido es homeomorfo el cociente X/ ? (Dar el homeomorfismo propuesto sin demostrar
que es homeomorfismo.)

33
4. Productos topologicos

Dada una familia {X : } de conjuntos definimos el producto cartesiano de ellos

como Y [
X = { : X : f () X }.

Q = x entonces escribimos = (x ) . Cuando = N escribimos X1 X2 en

Si ()
lugar de X , y los elementos del producto se pueden ver comoQ sucesiones (x1 , x2 , . . .).
Si los X no son vacos entonces el axioma de eleccion dice que X es no vaco.

4.1 Observacion. Sean A , B X para cada .

Q Q
(a) Si A B para toda , entonces A A .
Q Q Q
(b) ( A ) ( B ) = (A B ) .
Q Q Q
(c) ( A ) ( B ) (A B ) .
Q Q Q
(d) ( A ) \ ( B ) (A \ B ) .
Q
Tenemos funciones que relacionan X con cada X0 ; estas son las proyecciones
naturales Y
p 0 : X X 0

definidas por p0 ((x ) ) = x0 .

Propiedad universal del producto

Q de conjuntos. El definir una funcion de un con-
junto a un producto cartesiano X es equivalente a definir sus funciones coordena-
das, es decir, para cada , una funcion f : Y X . Entonces f (y) = (f (y)) as que
f = p f para cada .
Q
Ahora supongamos que cada X es un espacio topologico. Queremos dar a X una
topologa con la cual las proyecciones sean continuas y que cumpla la propiedad universal
del producto, pero ahora para espacios topologicos, es decir, que las funciones continuas de
un espacio Y al productoQ esten dadas por funciones coordenadas continuas. Veamos que
esto se logra dando a X la menor topologa que hace a las proyecciones continuas.
Concretamente, si llamamos a la topologa de X , entonces la topologa producto tiene
por subbase a [
{p1
(U ) : U }.

34
Observemos que Y
p1
(U 0 ) = U 0 X ,
y que entonces los basicos para X son de la 6forma
= 0
Q
Y
U1 Un X ,
6=1 ,...,n
donde cada Ui i o, equivalentemente, Ui pertenece a una base de i .

4.2 Observacion. Con la topologa producto, cada p es continua y abierta.

4.3 Proposicion. Propiedad universal del producto topologico.

Q Sea {X : }
una familia de espacios topologicos. Con la topologa producto ( X , (p ) ) satisface la
siguiente propiedad: DadaQuna familia de funciones continuas f : Y X existe una unica
funcion continua f : Y X tal que para cada , se tiene que p f = f .

Demostracion. La unicidad es obvia pues, como conjuntos, solo hay una forma de definir
f . Hay que ver que f es continua; para ello basta trabajar con subbasicos, as que sea
y sea U abierto en X . Entonces
Y
f 1 (U0 X ) = f1
0
(U0 ),
6=0
que es abierto.

Otra topologa natural para el producto cartesiano de espacios topologicos es Qla topo-
loga caja en la cual los basicos son producto de abiertos en cada coordenada: U . Sin
embargo, es claro que con esta definicion no se cumplira la propiedad universal delTproducto
topologico, pues la imagen inversa de uno de estos abiertos sera la interseccion f (U )
lo cual no tiene porque ser abierto. Sin embargo es claro que las funciones p son tambien
continuas y abiertas con esta topologa. La topologa caja contiene a la topologa producto
y son iguales en el caso en que sea finito.
Q
4.4 Corolario. Si Y es un espacio topologico, entonces una funcion f : Y X es
continua si, y solo si, para cada , la funcion p f es continua.

4.5 Nota. La propiedad universal del producto lo caracteriza, es decir, si un espacio

topologico Z tiene funciones continuas : Z X tales que dada una familia de funciones
continuas f : Y X existe una unica funcion continua
Q f : Y Z tal que para cada , se
tiene que f = f , entonces Z es homeomorfo a X y las funciones corresponden
a las p mediante el homeomorfismo.

De aqu en adelante cuando se considere el producto cartesiano de espacios topologicos,

si no se dice lo contrario, la topologa en el sera la topologa producto.

4.6 Observacion. El producto de espacios discretos no necesariamente es discreto.

35
 4.7 Observacion. Si i = 0, 1, 2, entonces el producto de espacios Ti tambien es un
espacio Ti .

Demostracion. Si x, y son elementos distintos en el producto, entonces en alguna coor-

denada son distintos. Al aplicar la condicion en esa coordenada encontramos el o los abiertos
buscados.

4.8 Observacion. El producto numerable de espacios 1o numerables o 2o numerables

tambien satisface el mismo axioma de numerabilidad.

Demostracion. Probemoslo para 2o numerables (la demostracion para 1o numerables es

o
analoga). Sea {Xn : n N} una familia
Q de espacios 2 numerables. Si n es base numerable
de Xn , entonces una subbase para Xn es
[ Y
{Un Xm : Un n },
n m6=n

la cual es numerable por ser union numerable de numerables.

4.9 Proposicion. Q Si {f : XQ
Y : } es una familia de funciones continuas
entonces la funcion f : X Y definida por f ((x ) ) = (f (x )) es continua.

Demostracion. QAplicamos la propiedad universal del producto a laQfamilia de funciones

continuas f p : X Y , donde p es la proyeccion natural de X en X .

Q Sea (Xn , dn ) espacio metrico para n N, con dn metrica acotada

4.10 Proposicion.
por 1. Entonces X = n Xn es metrizable con la metrica D : X X R definida por

X dn (xn , yn )
D((xn )n , (yn )n ) = .
n=1
2n

Demostracion. Ya sabemos que D es metrica. Para ver que induce la topologa producto
debemos probar que todo basico del producto alrededor de un punto x = (x1 , x2 , . . .) contiene
un basico de la metrica alrededor de x, y viceversa. Es claro que basta trabajar con los centros
de las bolas.

Consideremos entonces un basico de la topologa dada por la metrica alrededor de x, es

1 1
decir, consideremos B = BrD (x) para cierta r > 0. Sea n N tal que 2n+1 + 2n+1 + < 2r y
sea s = 2r . Veamos que el basico del producto alrededor de x definido por
Y
U = Bs (x1 ) Bs (xn ) Xm
m>n

esta contenido en B. En efecto, si y = (yn )n U entonces

 
X dn (xn , yn ) r 1 1 r
D(x, y) = n
< + + n + < r.
n=1
2 2 2 2 2

36
Ahora consideremos un basico V del producto alrededor de x:
Y
V = Br1 (x1 ) Brk (xk ) Xn .
n>k

Sea r = min{r1 , . . . , rk } y sea s = 2rk . Veamos que BsD (x) V . Sea y = (yn )n BsD (x).
Entonces para n = 1, . . . , k tenemos que

dn (xn , yn ) d1 (x1 , y1 ) d2 (x2 , y2 ) r

n
1
+ 2
+ = D(x, y) < s = k ,
2 2 2 2
2n
de donde dn (xn , yn ) 2k
r r rn , como queramos.

4.11 Ejercicio. () Sea {X } una familia de espacios topologicos. Para cada

sea A X . Probar que
Q Q
(a) si A es cerrado en X para toda , entonces A es cerrado en X , y que
Q Q
(b) A = A .

4.12 Ejercicio. () Sea {X } una familia de espacios topologicos. Q tomemos una

sucesion con terminos xn = (xn, ) . Probar que (xn )n converge a z = (z ) X si y solo
si para cada coordenada se tiene que la sucesion (xn, )n converge a z . Es esto cierto si
en lugar de la topologa producto se usa la topologa caja?

4.13 Ejercicio. () Sea {X : } una familia de espacios topologicos. Supongamos

Q para cada se tiene que Y es unQsubespacio de X . Sea la topologa
que Q producto en
Y y sea la topologa inducida en Y como subespacio de X (este con la
topologa producto). Probar que = .

4.14 Ejercicio. () Sea {X : } una familia de espacios topologicos. Supongamos

Q
que para cada
Q se tiene que A es un subconjunto denso de X . Probar que A
es denso en X .

4.15 Ejercicio. () Sea d : R R R definida por d(x, y) = min{|x y|, 1}. Sean
D, d : RN RN R por

X d(xn , yn )
D((xn )n , (yn )n ) = y d ((xn )n , (yn )n ) = sup{d(xn , yn ) : n N}.
n=1
2n

Sabemos que d es una metrica acotada que induce la topologa usual de R, que D y d son
metricas en RN y que la metrica D induce la topologa producto que denotamos por . Sea

37
 la topologa uniforme (inducida por d ) y sea la topologa caja.
(a) Probar que .
(b) Sean (xn )n y (yn )n las sucesiones en RN definidas por

x1 = (1, 0, 0, 0, . . .) y1 = (1, 1, 1, 1, . . .)
x2 = (1, 1, 0, 0, . . .) y2 = (0, 12 , 12 , 21 , . . .)
x3 = (1, 1, 1, 0, . . .) y3 = (0, 0, 31 , 13 , . . .)
.. ..
. .

Probar que (xn )n converge en pero no en y que (yn )n converge en pero no en . (En
consecuencia las contenciones del inciso (a) son propias.)

38
5. Compactos

Un subconjunto A de un espacio topologico X es compacto si para toda cubierta

abierta {U : } (es decir, familia de abiertos cuya union contiene a A) existe un
subconjunto finito {1 , . . . , k } de tal que A U1 Uk . (Decimos que {U1 , . . . , Uk }
es subcubierta finita de {U : }.)

5.1 Ejemplo. (a) R no es compacto pues la cubierta abierta {(n 1, n + 1) : n Z} de

R no tiene subcubierta finita.
(b) (0, 1] no es compacto porque la cubierta abierta {( n1 , 2) : n N} de (0, 1] no tiene
subcubierta finita.
(c) Si A = {a1 , . . . , an } es un subconjunto finito de un espacio X, entonces A es compacto.
(Para ver esto, sea {U : } una cubierta abierta de A; para cada i N sea i tal
que ai Ui ; la subcubierta buscada es {U1 , . . . , Un }.)
(d) Si X tiene la topologa indiscreta, cualquier subconjunto de X es compacto.
(e) Si X tiene la topologa cofinita entonces X es compacto. Dada una cubierta abierta
U tomamos un elemento U0 U; sea U = X \ {x1 , x2 , . . . , xn }; para cada i = 1, 2, . . . , n sea
Ui U tal que xi Ui ; entonces la subcubierta finita buscada es {U0 , U1 , . . . , Un }.
(f) Si X tiene la topologa discreta y es infinito, entonces no es compacto. (Una cubierta
abierta sin subcubierta finita es {{x} : x X}.)
(g) El subespacio { n1 : n N} de R no es compacto.
(h) El subespacio { n1 : n N} {0} de R es compacto.

5.2 Proposicion. Si C es un subconjunto cerrado de un espacio compacto X, entonces

C es compacto.

Demostracion. Sea U = {U : } una cubierta abierta para C. Consideremos la

cubierta abierta para X que se obtiene al agregar X \ C a U. Como X es compacto, esta
nueva cubierta tiene una subcubierta finita. Es claro que los elementos de U que pertenezcan
a esta nueva cubierta cubren a C, as que esa es la subcubierta finita buscada.

5.3 Proposicion. Si X es un espacio Hausdorff y A X es compacto entonces A es

cerrado.

Demostracion. Queremos probar que X \ A es abierto. Tomemos x X \ A. Buscamos

una vecindad abierta de x contenida en X \ A. Para cada a A sean Ua y Va abiertos
ajenos tales que a Ua , x Va . Entonces U = {Ua : a A} es una cubierta abierta para
A, que es compacto, as que consideremos una subcubierta finita: {Ua1 , Ua2 , . . . , Uan }. Sea
V = Va1 Va2 Van . Entonces V es la vecindad de x buscada.

39
 5.4 Proposicion. Sea f : X Y funcion continua. Si K X es compacto entonces
tambien lo es f (K).

Demostracion. Sea U una cubierta abierta de f (K). Consideremos V = {f 1 (U ) :

U U}. Por ser f continua, cada elemento de V es abierto. Ademas, si x K, entonces
f (x) f (K) y existe U U tal que f (x) U , de donde x f 1 (U ) V, por lo que
V es una cubierta abierta de K. Como K es compacto, V tiene una subcubierta finita:
{f 1 (U1 ), . . . , f 1 (Un )}. Veamos que {U1 , . . . , Un } es cubierta de f (K). En efecto, si f (x)
f (K) con x K, entonces existe i {1, . . . , n} tal que x f 1 (Ui ), de donde f (x) Ui .

5.5 Lema. Si f : X Y es una funcion continua, X es compacto y Y es Hausdorff,

entonces f es cerrada.

Demostracion. Sea C X cerrado. Tenemos que C es compacto, por tanto f (C)

tambien lo es, pero como Y es Hausdorff entonces f (C) es cerrado, como queramos probar.

El resultado anterior es muy importante pues tiene como consecuencia que ciertas fun-
ciones biyectivas y continuas son homeomorfismos.

5.6 Corolario. Si f : X Y es una funcion continua y biyectiva, y X es compacto y

Y es Hausdorff, entonces f es homeomorfismo.

Demostracion. Por el lema anterior, f es cerrada y, por ser biyectiva y continua, es

homeomorfismo.

5.7 Corolario. Si f : X Y es una funcion continua e inyectiva, y X es compacto y

Y es Hausdorff, entonces f es inmersion.

El Teorema de Tychonoff dice que producto (arbitrario) de espacios compactos es

compacto. Probaremos aqu solo el caso finito; para ello necesitamos un lema.

5.8 Lema. (Lema del Tubo.) Sean X y Y espacios topologicos con Y compacto. Sea
x X y sea U abierto que contiene a {x} Y . Entonces existe W vecindad abierta de x tal
que W Y U .

Demostracion. Para cada y Y sea Uy Vy un producto de abiertos tal que (x, y)

Uy Vy U . Entonces {Uy Vy : y Y } es una cubierta abierta de {x} Y que es
homeomorfo a Y y, por tanto, es compacto, as que tiene una subcubierta finita:

{Uy1 Vy1 , Uy2 Vy2 , . . . , Uyn Vyn }.

T
Es claro que la vecindad W = i Uyi de x funciona.

40
 5.9 Proposicion. Si X y Y son espacios compactos entonces tambien lo es X Y .

Demostracion. Sea U una cubierta abierta de X Y . Para cada x X sea Ux la union

de todos los elementos de U que intersectan a {x} Y . Por ser U cubierta abierta, Ux es un
abierto que contiene a {x} Y . Usando el Lema del Tubo, tomemos Wx abierto en X tal
que Wx Y Ux . Entonces {Wx : x X} es una cubierta abierta de X que tambien es
compacto, as que tiene una subcubierta finita {Wx1 , Wx2 , . . . , Wxn }. La subcubierta finita
de U que buscamos es {Ux1 , Ux2 , . . . , Uxn }.

Sea C una familia de subconjuntos de un conjunto X. Decimos que C tiene la propiedad

de interseccion finita (abreviado PIF) si cualquier subfamilia finita de C tiene intersecion
no vaca.

La siguiente proposicion nos da una version con cerrados de la definicion de compacto.

Es realmente una traduccion de la definicion usando las leyes de De Morgan.

5.10 Proposicion. Un espacio topologico X es compacto si y solo si toda familia de

cerrados con la PIF tiene interseccion no vaca.

Demostracion. Demostraremos solo la parte ()Tpues la parte () es analoga. Sea C

una familia de cerrados con la PIF. Supongamos que CC C = . Entonces
\ [
X=X\ C= X \ C,
CC CC

de donde U = {X \C : C C} es una cubierta abierta para X. Por ser X compacto podemos

tomar una subcubierta finita: {X \ C1 , X \ C2 , . . . , X \ Cn }. Pero entonces otra vez, por De
Morgan, es claro que C1 C2 Cn = , lo cual es una contradiccion a que C satisfaga
la PIF.

5.11 Corolario.
T Si X es compacto y C1 C2 es una cadena de cerrados no vacos
de X entonces n Cn es no vaca.

T 5.12 Corolario. Si X es compacto y A es una familia de conjuntos con la PIF, entonces

AA A es no vaca.

5.13 Proposicion. Sea X un conjunto totalmente ordenado que satisface la propie-

dad del supremo (es decir, todo conjunto no vaco acotado superiormente tiene supremo).
Entonces con la topologa del orden todo intervalo [a, b] es compacto.

Demostracion. Si a = b no hay nada que probar, as que supongamos que a < b. Sea U
una cubierta abierta de [a, b] y sea T = {x [a, b] : [a, x] esta cubierto por un numero finito
de elementos de U}. Es claro que a T as que T 6= . Ademas T esta acotado superiormente

41
(por ejemplo b es cota superior), as que T tiene supremo. Sea x0 = sup T . Probaremos que
x0 T y que x0 = b.

Probemos primero que a < x0 . Sea U un elemento de U que contenga a a y sea [a, c) U .
Sea d = min{c, b}. Entonces d 6= a y es claro que d T (pues basta agregar a {U } un
elemento de U que cubra a d).

Ahora veamos que x0 T . Sea U0 un elemento de U tal que x0 U0 y sea (c, x0 ] U0 con
a < c (esto es posible pues a < x0 ). Por ser x0 el supremo de T , existe x (c.x0 ] T . Pero
entonces al agregar U0 a la cantidad finita de elementos de U que cubren a [a, x] tenemos
que [a, x0 ] esta cubierto por una cantidad finita de elementos de U, de donde x0 T .

Finalmente veamos que x0 = b. Supongamos que x0 < b. Tomemos una coleccion finita
F de elementos de U que cubran a [a, x0 ] y sea U0 F que contenga a x0 . Sea [x0 , c) U0
con c b y agreguemos a F un elemento de U que contenga a c, probando as que c T , lo
cual es imposible porque x0 era el supremo de T .

5.14 Proposicion. Teorema de Heine-Borel. Los compactos de Rs son los conjuntos

cerrados y acotados.

Demostracion. Como Rs es Hausdorff, todo compacto A en Rs es cerrado. Es claro

que tambien debe ser acotado pues si no la cubierta abierta {Bn (0) : n N} no tendra
subcubierta finita. Recprocamente, sea A un subconjunto cerrado y acotado de Rs ; por
ser acotado A esta contenido en un producto [c1 , d1 ] [cs , ds ] el cual es un conjunto
compacto, por ?? y ??; ahora, A es un cerrado dentro de un compacto y, por tanto, por ??,
tambien es compacto.

5.15 Proposicion. Sea f : X Y continua con X compacto y Y ordenado. Entonces

f alcanza su mnimo (es decir, existe x0 X tal que f (x) f (x0 ) para todo x X) y su
maximo (es decir, existe x1 X tal que f (x) f (x1 ) para todo x X).

Demostracion. Probaremos que f alcanza su maximo. (La demostracion de que alcanza

su mnimo es analoga.) Tenemos que f (X) es compacto. Supongamos que no existe x1 X
tal que f (x1 ) f (x) para todo x X; esto implica que U = {(, f (x)) : x X}
es cubierta abierta de f (X) (pues para todo x X, estamos suponiendo que f (x) no es
maximo, de manera que existe x0 X tal que f (x) (, f (x0 ); sin embargo U no puede
tener subcubierta finita porque si {(, f (x1 )), . . . , (, f (xn ))} fuera subcubierta finita
y x0 = max{x1 , . . . , xn } entonces f (x0 ) f (X), pero f (x0 ) no pertenece a la union de los
(, xi ).

5.16 Proposicion. Si X es compacto y A es un subconjunto infinito de X entonces A

tiene punto de acumulacion.

42
 Demostracion. Supongamos que no, es decir, A0 = ; pero entonces A es cerrado pues
A = A A0 = A. Por ser X compacto, por ??, tenemos que A tambien es compacto. Para
cada a A sea Ua abierto tal que Ua A = {a} (tal conjunto existe pues a no es punto de
acumulacion). Entonces la cubierta abierta {Ua : a A} tiene subcubierta finita, lo cual es
una contradiccion pues A es infinito.

5.17 Lema. Sea X un espacio T1 . Si A X y x A0 , entonces toda vecindad de x tiene

una infinidad de elementos de A.

Demostracion. Supongamos que U Nx es tal que U A = {x1 , . . . , xn }. Usando

T que
X es T1 , para cada xi 6= x tomemos Vi Nx que no contenga a xi . Entonces V = Vi es
una vecindad de x tal que (V \ {x}) A = , contradiciendo el hecho de que x A0 .

Decimos que un espacio topologico es compacto por sucesiones si toda sucesion tiene
subsucesion convergente.

5.18 Lema. Sea X un espacio 1o numerable y T1 . Si todo conjunto infinito tiene punto
de acumulacion entonces X es compacto por sucesiones.

Demostracion. Sea (xn )n una sucesion en X. Si el conjunto A = {xn : n N} es

finito, entonces alguno de los terminos de la sucesion se repite una infinidad de veces as que
la subsucesion constante con ese termino es convergente. Supongamos entonces que A es
infinito; por hipotesis, sea x A0 . Construyamos una subsucesion de (xn )n que converja a
x: Sea {Uk : k N} una base local de x tal que U1 U2 ; por induccion construimos
xnk Uk de manera que nk+1 > nk (esto es posible por el lema anterior). Es claro que la
subsucesion (xnk )k converge a x.

Dada U una cubierta abierta de un espacio metrico (X, d), decimos que > 0 es numero
de Lebesgue para U si para todo A X con diam(A) < , se tiene que existe U U tal
que A U . Es claro que si es numero de Lebesgue para U entonces cualquier real positivo
0 < tambien lo es. No toda cubierta tiene numero de Lebesgue. El siguiente lema nos da
una condicion suficiente.

5.19 Lema. Si (X, d) es un espacio metrico compacto por sucesiones entonces toda
cubierta abierta para X tiene numero de Lebesgue.

Demostracion. Supongamos que no y sea U cubierta abierta sin numero de Lebesgue.

Para cada n N tomemos An X de diametro menor que n1 para el cual no exista ningun
subconjunto de U que lo contenga. Sea an An y, usando la hipotesis consideremos una
subsucesion de (an )n que converja, digamos a x0 X. Sea U U tal que x0 U y sea
m N tal que B 1 (x0 ) U ; sea k N tal que k > 2m y
m

ank B 1 (x0 );
2m

43
 1
entonces, dado que el diametro de Ank es menor que nk
tenemos que Ank B 1 (x0 ) U ,
2m
lo cual es una contradiccion.

5.20 Proposicion. Sea X un espacio metrico. Entonces son equivalentes las siguientes
propiedades para X:
(a) X es compacto.
(b) Todo conjunto infinito de X tiene punto de acumulacion.
(c) X es compacto por sucesiones.

Demostracion. (a) (b) Esto se demostro en general en ??.

(b) (c) Como X es metrico, entonces es T1 y 1o numerable, as que esto se demostro en
??.
(c) (a) Veamos primero que toda para toda > 0 existe una cubierta finita de X
formada por bolas de radio . Supongamos que no y sea > 0 tal que ninguna union finita
de bolas de radio cubra a X. Por induccion construyamos una sucesion (xn )n en X como
sigue: x1 X es arbitrario y para n 2 sea xn X \ B (x1 ) B (xn1 ). Como X es
compacto por sucesiones (xn )n tiene subsucesion convergente, sin embargo esto es claramente
imposible pues los terminos de la sucesion distan todos entre s mas que 2 (o sea que la
subsucesion no es de Cauchy, lo cual es necesario para cualquier sucesion convergente).
Probemos ahora que X es compacto usando el lema anterior. Sea U una cubierta abierta
para X y sea un numero de Lebesgue para U. Usando lo probado arriba tomemos x1 , . . . , xn
tal que [
X= B (xi ).
3
i

Como estas bolas tienen diametro menor que , cada una de ellas esta contenida dentro de
algun elemento de U, digamos B (xi ) Ui . La subcubierta buscada es {U1 , U2 , . . . , Un }.
3

5.21 Proposicion. Sean (X, dX ) y (Y, dY ) espacios metricos con X compacto. Si f :

X Y es continua entonces f es uniformemente continua.

Demostracion. Primera forma. (Usando numero de Lebesgue.) Sea > 0. Consideremos

la cubierta abierta
U = {f 1 (B 2 (y)) : y Y }
de X, que es compacto y, por tanto, tiene numero de Lebesgue . Si dX (x1 , x2 ) < entonces el
conjunto {x1 , x2 } tiene diametro , de manera que esta contenido en alguno de los elementos
de U, digamos f 1 (B 2 (y0 )); en consecuencia f (x1 ), f (x2 ) B 2 (y0 ) y as dY (f (x1 ), f (x2 )) <
.
Segunda forma. Supongamos que f no es uniformenente continua. Tomemos > 0 tal
que para toda n N existen xn , x0n tales que dX (xn , x0n ) < n1 pero dY (f (xn ), f (x0n )) > .
Consideremos una subsucesion (xnk )k de (xn )n y despues una subsucesion convergente de

44
(x0nk )k , que, sin perdida de generalidad, podemos suponer que es ella misma. Digamos que
xnk x0 y que x0nk x00 . Entonces, cuando k , tenemos que dX (xnk , x0nk ) 0, lo cual
implica que x0 = x00 pues dX es una funcion continua; sin embargo tambien dY es continua
as que < dY (f (xnk ), f (x0nk )) dY (f (x0 , f (x0 )) = 0, lo cual es una contradiccion.

5.22 Ejercicio. () Sea X un espacio Hausdorff y sean A y B subconjuntos compactos

ajenos de X. Probar que A y B se pueden separar mediante abiertos ajenos. Es cierto el
resultado si solo se pide que A y B sean cerrados en lugar de compactos?

5.23 Ejercicio. () Sea X un espacio indiscreto tal que |X| = 2. Probar que en X N
todo conjunto infinito tiene punto de acumulacion pero que X N no es compacto.

(Nota: N tiene la topologa discreta, es decir la de subespacio de R.)

5.24 Ejercicio. () Decimos que un espacio topologico es de Lindelof si toda cubierta

abierta tiene una subcubierta (a lo mas) numerable.
(a) Probar el Teorema de Lindelof: Si X es segundo numerable entonces X es de
Lindelof.
(b) Probar que Lindelof no implica segundo numerable.

5.25 Ejercicio. () Sea X compacto, 1o numerable y T1 , y sea (xn )n una sucesion en X

tal que todas sus subsucesiones convergentes tienen por lmite x0 . Probar que (xn )n converge
a x0 . Probar que este resultado es falso si no se pide que X sea compacto.

5.26 Ejercicio. () Probar que si X es metrico y compacto entonces X es 2o numerable.

(Sugerencia: Construir base con bolas de radio n1 .)

5.27 Ejercicio. () Demos a X = [0, 1] [0, 1] la topologa del orden lexicografico.

(a) Probar que X es compacto.
(b) Encontrar el conjunto de puntos de acumulacion de A = [0, 1] { 21 }.
(c) Probar que X es 1o numerable.
(d) Probar que X no es 2o numerable. (e) Probar que X no es metrizable.

45
6. Conexidad

Sea X un espacio topologico. Una separacion en abiertos para X es una pareja de

abiertos no vacos (U, V ) de X tal que X = U V y U V = . Decimos que X es conexo
si no existe separacion en abiertos para X. En caso contrario, se dice que X es disconexo.

6.1 Ejemplo. (a) Si X = (0, 1) [, ) entonces X es disconexo (U = (0, 1) y V =

[, ) forman una separacion en abiertos).
(b) Z Z es disconexo. (Una separacion puede ser U = {(0, 0)}, V = Z Z \ {(0, 0)}.)
En general, cualquier espacio discreto con al menos dos elementos es disconexo.
(c) Si X tiene la topologa indiscreta entonces X es conexo.
(d) Si X es infinito y tiene la topologa cofinita entonces X es conexo (pues cualesquiera
dos abiertos se intersectan).
(e)El conjunto
Q de los numeros racionales es disconexo. (Una separacion en abiertos es
(, 2) Q, ( 2, ) Q).)
(f) Rl es disconexo. (Una separacion en abiertos es (, 0), [0, ).)
(g) El subespacio X de R2 definido por X = {(x, x1 ) : x > 0} ((0, ) {0}) es
disconexo (tanto {(x, x1 ) : x > 0} como (0, ) {0} son abiertos en X pues se obtienen
1 1
como la interseccion de {(x, y) : x > 0, y > 2x } y {(x, y) : x > 0, y < 2x }).
1


(h) Gracias a [] tendremos que {(x, sen x ) : x > 0} ({0} [1, 1]) es conexo.

6.2 Observacion. Sea Y un subespacio de un espacio topologico X. Entonces Y es

conexo si y solo si no existen U y V abiertos de X tales que
(a) U Y 6= y V Y 6= .
(b) Y U V .
(c) Y U V = .

Demostracion. Esto es claro pensando en los abiertos relativos U Y y V Y .

6.3 Proposicion. Sea f : X Y continua. Si X es conexo entonces tambien lo es

f (X).

Demostracion. Si (U, V ) fuera una separacion en abiertos de f (X) entonces una sepa-
racion en abiertos para X sera (f 1 (U ), f 1 (V )).

6.4 Lema. Si C es un subconjunto conexo de X y (U, V ) es una separacion para X,

entonces C U o C V .

Demostracion. Es claro porque si no (U, V ) sera una separacion para C.

46
 T
S 6.5 Corolario. Si {C : } es una familia de conexos con C 6= , entonces
C es conexo.
S
Demostracion. Suponiendo que no, sea (U, V ) una separacion para C = C y sea
c C. Sin perdida de generalidad, c U ; cada C debe estar contenido en U o en V , pero
como todos intersectan a U , entonces todos estan contenidos en U , por lo que V A = .

6.6 Corolario.
S Sea {C1 , C2 , . . .} una familia de conexos tal que Cn Cn+1 6= para toda
n. Entonces nN Cn es conexo.

Demostracion. Supongamos que no y sea (U, V ) una separacion en abiertos. Como cada
Cn es conexo esta contenido en alguno de U o V . Supongamos que C1 U . Sea n el primer
natural tal que Cn V . Entonces =
6 Cn1 Cn U V , lo cual es una contradiccion.

6.7 Nota. En la demostracion anterior se uso el Principio del Buen Orden (que es
equivalente al Principio de Induccion) para probar que todos los Cn estaban contenidos en
U . Sin embargo, sera incorrecto decir que el resultado es valido para dos conexos (por []) y
despues decir que entonces es cierta la proposicion por induccion pues la induccion solo nos
llevara a concluir que la union finita de conexos que se intersectan en cadena es tambien
conexo.

6.8 Corolario. Si Y es un subconjunto conexo de X y Y Z Y , entonces Z es

conexo.

Demostracion. Supongamos que no y sea (U, V ) una separacion en abiertos para Z.

Como Y es conexo, entonces Y esta totalmente contenido en alguno de U o V ; supongamos
que Y U . Supongamos que hay un elemento z Z V ; como V es abierto, es una vecindad
de z, pero z Y , por tanto V Y 6= , lo cual es una contradiccion.

6.9 Lema. Si X y Y son dos espacios conexos, entonces tambien lo es su producto X Y .

Demostracion. Sea x0 X. Entonces A = {x0 } Y es conexo por ser homeomorfo a

Y . Por la misma razon, para cada y Y se tiene que By = X {y} es conexo que intersecta
a A, de manera que Cy = A By tambien
S es conexo. Entonces todos los Cy se intersectan
(pues todos contienen a A) as que y Cy = X Y es conexo.

Q Proposicion. Si {X : } es una familia de conexos entonces tambien lo es

6.10
X = X .

Demostracion. Sea a = (a ) X fijo. Para cada F finito, si F = {1 , . . . , k } sea

Y
ZF = X1 Xk {a } = {(x ) : x = a \ F }.
6=i

47
 S que ZF es homeomorfo a X1 Xk , por tanto es conexo y entonces tambien
Observemos
lo es Z = F ZF pues los conjuntos contienen todos a a. Veamos ahora que Z es denso en
X. Sea U abierto basico de X,
Y
U = U1 Uk X .
6=i
Sea F = {1 , . . . , k } y sea xi Ui para i = 1, . . . , k y x = a para toda \ F .
Entonces (x ) U Z.

Un continuo lineal es un espacio totalmente ordenado X en el que se satisfacen ademas

las siguientes dos condiciones:
(a) La propiedad del supremo,
(b) Dados a < b en X existe c X tal que a < c < b.

6.11 Ejemplo. (a) R es continuo lineal.

(b) Q no lo es pues no se satisface (a) (aunque (b) s se satisface).
(c) N no lo es pues no se satisface (b) (aunque (a) s se satisface).
(d) R2 con la topologa del orden lexicografico no lo es pues cualquier lnea vertical es un
conjunto no vaco acotado superiormente pero no tiene supremo.
(e) R [0, 1] con la topologa del orden lexicografico s es continuo lineal.
(f) [0, 1] (2, 3] (pensado como subespacio de R) no es continuo lineal pues su topologa
no es la del orden (aunque s satisface (a) y (b)).
(g) [0, 1](2, 3] con la topologa del orden s es un continuo lineal (de hecho, es homeomorfo
al subespacio [0, 1] de R).

6.12 Proposicion. Si X es un continuo lineal y Y es un intervalo, rayo o Y = X,

entonces Y es conexo.

Demostracion. Supongamos que no y sea (U, V ) una separacion en abiertos. Sea a U

y sea b V . Supongamos, sin perdida de generalidad, a < b. Sean U0 = U [a, b] y
V0 = V [a, b]. Entonces (U0 , V0 ) es una separacion en abiertos (relativos) de [a, b]. Como
U0 esta acotado superiormente (b es cota) tiene supremo c. Observemos que c b (pues b es
cota) y que a c (pues a U0 y c es supremo de U0 ), de manera que c [a, b] = U0 V0 .
Si c U0 entonces c 6= b, as que, por ser U0 abierto en [a, b] existe [c, d) U0 lo cual
implica, por la condicion (2) de continuo lineal que existe d0 (c, d) U0 , lo cual es una
contradiccion. Si c V0 el mismo argumento nos da un (d, c] V0 y un d0 (d, c) V0 , lo
cual tambien es una contradiccion pues d0 sera una cota de U0 menor que c.

Las condiciones (a) y (b) tambien son necesarias.

6.13 Proposicion. Si X es un espacio totalmente ordenado conexo entonces X es con-

tinuo lineal.

48
 Demostracion. Supongamos que X no satisface (a) y sea A un conjunto no vaco acotado
superiormente que no tiene supremo. Sea U el conjunto de cotas superiores para A y sea V
el complemento de U . Veamos que U y V son abiertos (y as, (U, V ) sera una separacion en
abiertos para X lo cual no es posible). Tenemos que U es abierto pues si x U entonces x
no es supremo por lo tanto existe y < x tal que y tambien es cota superior para A; entonces
x (y, ) U . Tambien V es abierto pues si z V , entonces z no es cota superior para
A, as que existe a A con z < a, as que z (, a) V .

Ahora supongamos que X no satisface (2) y sean a, b X tales que (a, b) = ; la

separacion en abiertos buscada para X es ((, b), (a, )).

6.14 Teorema. Teorema del Valor Intermedio. Si f : X Y es una funcion

continua con X conexo y Y ordenado y a, b X son tales que f (a) < f (b) entonces
[f (a), f (b)] f (X).

Demostracion. Supongamos que no y sea c [f (a), f (b)] \ f (X). En consecuencia

((, c), (c, )) es una separacion en abiertos para f (X), lo cual es imposible pues f (X)
es conexo.

6.1. Conexidad por trayectorias

Si x, y son elementos de un espacio topologico X, una trayectoria de x a y es una

funcion continua : [0, 1] X tal que x = (0) y y = (1). Decimos que X es conexo por
trayectorias (abreviado cpt) si para cualesquiera x, y X existe trayectoria de x a y.

6.15 Ejemplo. (a) [0, 1] es cpt.

(b) Si X tiene la topologa indiscreta entonces X es cpt.
(c) Si X tiene la topologa discreta y al menos dos elementos entonces X no es cpt.
(d) Si X Rn es un conjunto convexo (es decir, para cualesquiera dos puntos el segmento
que los une esta contenido dentro de X) entonces X es cpt.
(e) R [0, 1] con el orden lexicografico no es cpt (pues si hubiera una trayectoria de
0 0 a 0 1, por el teorema del valor intermedio la trayectoria pasara por todos los puntos
intermedios y entonces { 1 ({x} (0, 1)) : x (0, 1)} sera una familia no numerable de
abiertos ajenos dentro de [0, 1], lo cual no es posible ya que cada uno de ellos tendra un
numero racional distinto).
(f) Q no es cpt. (Esto es consecuencia del siguiente resultado.)

6.16 Proposicion. Si X es cpt entonces X es conexo.

49
 Demostracion. Si (U, V ) fuera una separacion en abiertos para X, entonces la imagen
de cualquier trayectoria es un conjunto conexo por tanto estara totalmente contenida en U
o en V , as que un punto de U y uno de V no podra unirse mediante una trayectoria.

El recproco de la proposicion anterior es falso, como muestra el siguiente ejemplo.

6.17 Ejemplo. El subespacio de R2 definido por A B donde A = {0} [1, 1] y

1


B = {(x, sen x ) : x > 0} (llamado curva del topologo) es conexo pero no es cpt.

Demostracion. Ya sabamos que era conexo. Veamos que no es cpt. Sean a A y b B

y supongamos que es una trayectoria de a a b. Sea T = {t [0, 1] : [0, t) A}. Como
T es no vaco y esta acotado superiormente, consideremos t0 = sup(T ). Entonces (t0 ) A
puesto que es continua y A es cerrado, de donde ([0, t0 ]) = ([0, t0 )) A = A. Sea
a0 = (t0 ). Usando otra vez la continuidad de existe > 0 tal que [t0 , t0 + ) B 1 (a0 ),
2
pero esto contradice el hecho de que t0 = sup(T ).

6.2. Componentes

Sea X un espacio topologico. Una componente es un subconjunto conexo maximo C de

X (es decir, no existe D subconjunto conexo de X del cual C sea subconjunto propio).

6.18 Ejemplo. El espacio total X es la union ajena de sus componentes y todo subcon-
junto conexo de X esta contenido en alguna componente.

6.19 Ejemplo. (a) R solo tiene una componente pues es un espacio conexo.
(b) Si X tiene la topologa discreta, entonces las componentes constan de un elemento
cada una (por esta razon decimos que X es totalmente disconexo).
(c) Q es totalmente disconexo.
(d) Si X = [0, 1) [2, 3) entonces X tiene dos componentes: [0, 1) y [2, 3).

6.20 Proposicion. Si C es una componente de X entonces C es un conjunto cerrado.

Demostracion. Esto es consecuencia inmediata de que la cerradura de un conexo es

conexo.

Claramente, si el conjunto de componentes es finito, entonces las componentes son tam-

bien abiertas; sin embargo, en el caso de un numero infinito de componentes esto puede no
ser cierto como lo muestra el siguiente ejemplo.

50
 6.21 Ejemplo. Si X = {0} { n1 : n N} entonces X es totalmente disconexo; las
componentes de la forma { n1 } son abiertas pero la componente {0} no lo es.

Analogo a la definicion de componente definimos componente por trayectorias co-

mo un subconjunto cpt maximo. Las componentes por trayectorias no son necesariamente
cerradas como lo prueba el ejemplo siguiente.

6.22 Proposicion. Las componentes por trayectorias de X, la curva del topologo, son
1


A = {0} [1, 1] y B = {(x, sen x ) : x > 0}; A es cerrado pero B no lo es.

Demostracion. Como vimos en [] ningun punto de A puede conectarse mediante una

trayectoria a un punto de B; por otro lado, A [0, 1] y B R, as que ambos A y B son
conexos y, por tanto cpt. Es claro que A es cerrado pero que B no lo es.

6.3. Conexidad local

Sea X un espacio topologico y sea x X. Decimos que X es localmente conexo en x si

para toda vecindad N de x existe una vecindad abierta y conexa U de X tal que x U N ;
en otras palabras, x tiene una base local de vecindades (abiertas) conexas. Decimos que X
es localmente conexo si lo es en cada uno de sus elementos.

Es importante el que la vecindad conexa sea abierta. Cuando solo se pide que exista
U vecindad conexa decimos que X es conexo en pequeno en x. Es claro que localmente
conexo implica conexo en pequeno pero el recproco es falso, de acuerdo al siguiente ejemplo.

6.23 Ejemplo. Sea X el subespacio de R2 construido como sigue: Con vertice en cada
uno de los puntos Pn = ( n1 , 0) (para n N) pongamos los segmentos Sn,m de las rectas con
pendiente m1 y que van desde el punto con abcisa n+1
1
hasta Pn . A la union de todas estas
escobas agreguemos el segmento [0, 1] {0}. Entonces X es conexo en pequeno pero no
localmente conexo en P0 = (0, 0).

Demostracion. Observemos que para cada n N los segmentos Sn,m se acercan al

1
segmento [ n+1 , n1 ]{0}. Cualquier vecindad abierta de P0 contiene siempre puntos de algunos
de los segmentos sin contener totalmente al segmento (es decir, contiene rayitas sueltas)
y, por tanto, no puede ser conexa; sin embargo, los discos (restringidos a X) de la forma
D 1 (P0 ) = {x X : ||x P0 || n1 } son vecindades (pues contienen a las bolas con el mismo
n
radio) y estas s son conexas (de hecho, conexas por trayectorias).

Analogamente definimos localmente conexo por trayectorias (abreviado localmente

51
cpt).

6.24 Observacion. Localmente cpt implica localmente conexo.

6.25 Ejemplo. (a) X = [0, 1) [2, 3) es localmente conexo.

(b) La curva del topologo no es localmente conexo en los puntos de A (pero s lo es en
los puntos de B).
(c) Q no es localmente conexo y, por tanto, tampoco localmente cpt.

6.26 Proposicion. Un espacio X es localmente conexo (resp. localmente cpt) si y solo

si las componentes (resp. componentes por trayectorias) de los abiertos son abiertas.

Demostracion. Demostraremos solo la parte de conexidad local pues la otra es analoga.

Supongamos que X es localmente conexo y sea C una componente de un abierto A de X. Sea
x C; como X es localmente conexo y A es vecindad de x (por ser abierto), tomemos una
vecindad abierta y conexa U de x contenida en A. Como x U y tambien en C, entonces
U C 6= , por lo cual U X (por ser C maximo conexo de A), de donde C es abierta.

Ahora supongamos que las componentes de los abiertos son abiertas y sea x X y
N N ; sin perdida de generalidad supongamos que N es abierta y tomemos la componente
C de N que contenga a x; entonces C es abierta y, por tanto, es vecindad de x.

6.27 Proposicion. Si X es localmente cpt entonces las componentes coinciden con las
componentes por trayectorias.

Demostracion. Veamos primero que toda componente por trayectorias es componente.

Sea T una componente por trayectorias; entonces T es conexo as que esta contenida en
alguna componente C. Veamos que T = C. Supongamos que no y para cada x C \ T sea
Tx la componente por trayectorias
S que contiene a x; entonces Tx C (por ser Tx conexo) y
tenemos que C = T xC\T Tx . Por ser X localmente cpt, tambien es localmente conexo
S
as que C es abierta y tambien lo son T y las Tx , pero entonces (T, xC\T Tx ) es una
separacion en abiertos de C, lo cual es una contradiccion. Entonces T = C.

Ahora usemos lo anterior para probar que toda componente es componente por trayec-
torias. Sea C una componente de X y sea x C; consideremos Tx la componente por
trayectorias que contiene a X; entonces Tx C y, por lo probado arriba, Tx = C.

6.28 Corolario. Si X es localmente cpt y X es conexo, entonces X es cpt.

6.29 Corolario. Si X es localmente cpt y U es abierto y conexo, entonces tambien es

cpt.

52
 Demostracion. Primera forma. Tenemos que U tambien es localmente cpt pues las
vecindades abiertas y conexas dentro de U tambien son abiertas en X.

Segunda forma. Sea x U y sea

A = {y U : existe trayectoria de x a y}.

Queremos probar que A = U as que, como U es conexo, basta observar que A es abierto y
cerrado, lo cual es obvio pues si y A U , entonces existe una vecindad abierta y cpt V de
y dentro de U , as que la trayectoria de x a y se puede extender a una trayectoria a cualquier
elemento de V y, por tanto, V A; este mismo razonamiento se aplica al complemento de
A.

6.30 Corolario. En Rn si U es abierto y conexo, entonces tambien es cpt.

Demostracion. Tenemos que Rn es localmente cpt (pues las bolas son cpt).

Q Ejercicio. Probar que si {X : } es una familia de espacios topologicos tales

6.31
que X es conexo, entonces X es conexo para toda .

6.32 Ejercicio. Probar que todo espacio discreto es totalmente disconexo. Es cierto el
recproco?

6.33 Ejercicio. () Sea X conexo y sea A un subconjunto propio y no vaco de X.

Probar que A 6= . Probar ademas que esta propiedad caracteriza a los espacios conexos.

6.34 Ejercicio. () Probar que R y R2 no son homeomorfos.

6.35 Ejercicio. () Encontrar dos espacios no homeomorfos X y Y tales que existen

inmersiones f : X Y y g : Y X.

6.36 Ejercicio. Probar que (0, 1), [0, 1) y [0, 1] son todos no homeomorfos entre s.

6.37 Ejercicio. Probar que

(a) producto de cpts es cpt,
(b) imagen continua de cpt es cpt,
(c) union de cpts con interseccion no vaca es cpt y
(d) cerradura de cpt no siempre es cpt.

6.38 Ejercicio. () Sea X localmente conexo (respectivamente localmente cpt) y sea

f : X Y continua. Probar que si f es abierta entonces f (X) es localmente conexo (resp.
localmente cpt).

53
 6.39 Ejercicio. () Probar que I I (aqu I = [0, 1]) con la topologa del orden lexi-
cografico es localmente conexo pero no localmente cpt y determinar cuales son las compo-
nentes por trayectorias.

6.40 Ejercicio. () Sea K = { n1 : n N}. Encontrar las componentes y las componentes

por trayectorias de los siguientes subespacios de R2 :

A = (K [0, 1]) ({0} [0, 1]). B = A \ {0 21 } C = B ([0, 1] {0}). D = (K [0, 1])

((K) [1, 0]) ([0, 1] (K)) ([1, 0] K).

6.41 Ejercicio. () Probar que si X es metrico conexo con mas de un elemento entonces
X es perfecto (es decir, todo punto es de acumulacion).

6.42 Ejercicio. () (a) Dar un ejemplo de una funcion inyectiva y continua f : R R2

cuya imagen sea un espacio no localmente conexo.
(b) Probar que si f : [0, 1] R2 es una funcion inyectiva y continua entonces f ([0, 1]) es
localmente conexo. (Sugerencia. [0, 1] es compacto).

6.43 Ejercicio. Probar que {0, 1} [0, ) con la topologa del orden lexicografico es
conexo por trayectorias.

54