Clasetop14 PDF

Topologa
por Mara Luisa Perez Segu

Introducci on
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 intenci on de que sea mas completa la comprension del concepto. Al
nal de cada secci on se proponen diversos ejercicios; algunos de ellos son rutinarios, mientras
que la soluci on de otros requiere de un mayor esfuerzo, immaginaci on y dedicaci on.
La primera secci on inicia con una peque na motivacion y ejemplos de espacios topologicos
en R
n
. Despues se establecen los conceptos b asicos y se proporcionan los ejemplos m as
cl asicos de topologas.
La segunda secci on est a dedicada al concepto de continuidad. En ella se estudia, adem as,
la construccion de topologas que producen funciones continuas.
La secci on n umero 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 dicultad. Sin
embargo, pensamos que ofrece ejemplos muy ilustrativos de c omo construir espacios a partir
de otros pegando porciones del espacio original, lo cual resulta interesante y formativo,
adem as de dar una visi on geometrica ilustrativa del trabajo en topologa.
La seccion 4 da una introduccion al estudio de los espacios topol ogicos cuya topologa
est a dada por unan metrica. Se ven las condiciones especiales que deben satisfacer estos.
Se estudian, adem as, las sucesiones, su convergencia el el porque son estas importantes en
espacios 1
o
numerables.
En la secci on 5 se dene 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 relaci on de este concepto con los dem as conceptos introdu-
cidos anteriormente; en particular, se dan condiciones necesarias y sucientes para que un
espacio metrico sea compacto.
La seccion 7 estudia otras caractersticas importantes de algunos espacios topol ogicos
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 denici on 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 deniciones.
Mara Luisa Perez Segu
Fac. Cs. Fsico-Matematicas
Universidad Michoacana de San Nicol as de Hidalgo
Febrero, 2014
ii
Indice
Introducci on I
1. Conceptos basicos 1
1.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Vecindades, topologas, bases . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Primeros Axiomas de Separaci on. . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Axiomas de numerabilidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Topologa del orden. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Producto topol ogico nito. . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7. Subespacios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.8. Puntos determinados por subconjuntos. . . . . . . . . . . . . . . . . . . . . 16
1.9. Conjuntos densos y separabilidad. . . . . . . . . . . . . . . . . . . . . . . . 17
2. Continuidad 21
2.1. Topologas dadas por funciones . . . . . . . . . . . . . . . . . . . . . . . . . 24
3. Cocientes 27
4. Espacios primero numerables 33
4.1. Espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
5. Productos topologicos 37
6. Compactos 42
7. Conexidad 50
7.1. Conexidad por trayectorias . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.2. Componentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.3. Conexidad local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Referencias y lecturas complementarias 59
iii
1. Conceptos basicos
1.1. Motivaci on
Una parte del estudio en Matem aticas abstractas est a 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 posici on 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 tama no.
Los objetos algebraicos como los grupos constan de un conjunto en que esta denida una
operaci on que satisface ciertas propiedades. Se dice que dos grupos son isomorfos (esencial-
mente iguales) si existe una biyecci on entre ellos que preserva la operaci on.
En Teora de Gracas, cada objeto est a 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 gr acas son isomorfas si existe
una biyecci on entre los conjuntos de vertices que preserva las aristas.
En Topologa, los objetos de estudio se llaman espacios topologicos; lo que dene cada
espacio topol ogico es una nocion de cercana, concepto que deniremos con precisi on en
estas notas, pero que queremos, por el momento, pensar de una manera intuitiva. Por ejem-
plo, dos guras en R
3
son iguales en el sentido topol ogico (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 cort o. Por ejemplo, las guras que se muestran a continuacion:
tri angulo, 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 guras son homeomorfas cuando existe una biyeccion que preserva
la cercana relativa.
Si una gura esta cortada en dos o m as pedazos, decimos que no es conexa. Intuitivamente,
en una gura no conexa cada pedazo est a muy lejos del otro. Una gura 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
homeomorsmos, es decir, si dos espacios X y Y son homeomorfos mediante una biyeccion
(homeomorsmo) f, y X
X corresponde a Y
Y mediante f, entonces X X
es
disconexo si, y solo si, Y Y
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
ning un punto del crculo lo desconecta. As mismo (0, 1) y [0, 1] no son homeomorfos (pues si
hubiera un homeomorsmo entre ellos, como 0 no desconecta a [0, 1] su imagen mediante
el homeomorsmo no desconectara (0, 1).
Veamos ahora algunos espacios topol ogicos interesantes. Intuitivamente decimos que una
supercie es cualquier gura que se parece localmente a una bola x R
2
: [[x[[ < 1. Por
ejemplo son supercies la c ascara de una esfera (denotada por S
2
, la c ascara de una dona
(llamado toro y denotado T), el toro con dos hoyos. Todas estas son supercies cerradas
orientables.
Una forma conveniente de representar T en el plano es pensando que es un cuadrado en
el que orillas opuestas se pegan (identican) en el mismo sentido. Pueden construirse otras
supercies haciendo identicaciones en sentidos contrarios y uno debe usar su imaginaci on
para visualizar la gura obtenida. Por ejemplo se denen:
2
La botella de Klein y el plano proyectivo son supercies cerradas no orientables.
Otro tipo de supercies estudiadas son las llamadas supercies con frontera; se distinguen
de las supercies en que tienen orilla. Por ejemplo, un cilindro o la banda de M obius son
supercies 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 M obius y un disco pegados por sus orillas. (Sugerencia: En el cuadro que representa a P
2
cortar por las lneas puunteadas como se muestra en la gura.
1.3 Ejercicio. () Hemos representado el toro T por un cuadro en que se identican las
orillas. Como podramos representar el toro doble T
2
?
1.4 Ejercicio. () La supercie 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 /
3,3
la gr aca que tiene 6 vertices divididos en dos conjuntos
A = a, bc y Z = x, y, z de manera que entre cada vertice de A y cada vertice de Z hay
una arista. Probar que /
3,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 An alisis hemos visto que dado x R
n
, las bolas con centro en x
son utiles para denir cercana de elementos de R
n
a x. A cualquier conjunto que contenga
una bola con centro en x le llamamos vecindad de x. A continuaci on 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 A
x
de subconjuntos de X es un conjunto de
vecindades para x si se satisfacen las siguientes propiedades:
(N0) A
x
,= .
(N1) N A
x
, x N.
(N2) Si N, M A
x
entonces N M A
x
.
(N3) Si N A
x
y A N entonces A A
x
. En este caso, cada elemento de A
x
es una
vecindad de x.
Nota: Gracias a (N3), la propiedad (N0) puede sustituirse por
(N0
) X A
x
.
Un sistema de vecindades para X es una familia A
x
: x X, donde para cada
x X, A
x
es un conjunto de vecindades para x.
Dado un sistema de vecindades A para un conjunto X decimos que U X es abierto
si, y s olo si, para toda x U se tiene que U A
x
, 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 = R
n
y para cada x X sea
A
x
= N X : r R
+
con B
r
(x) N,
donde B
r
(x) = y R
n
: [[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 R
n
.
(b) Sea X = N y para cada x X sea
A
x
= N X : x N.
5
En este caso todo subconjunto de X es abierto, es decir, = T(X).
1.7 Proposici on. Sea A un sistema de vecindades para un conjunto X y sea la
topologa inducida por A. Entonces satisface:
(T1) , X .
(T2) Si U
: entonces
, es decir, la uni on arbitraria de abiertos

es abierto.
(T3) Si U
1
, U
2
, . . . , U
n
entonces
n
i=1
U
i
, es decir, la intersecci on nita de abiertos
es abierto.
1.8 Nota. Con una induccion muy simple es facil ver que la propiedad (T3) equivale a
(T3
) U, V U V .
Recprocamente, dada una familia de subconjuntos de un conjunto X que satisface
(T1), (T2) y (T3), se puede denir un sistema de vecindades para X como sigue: Para cada
x X sea
A
x
= 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 m as
natural pensar en vecindades para denir la cercana en un conjunto X, las propiedades
(N0), (N1), (N2) y (N3) de los sistemas de vecindades son algo complicadas y resulta m as
f acil 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 denici on de
topologa.
1.9 Ejemplo. (a) La topologa usual para R
n
est a denida por:
= U R
n
: x U, r R
+
tal que B
r
(x) U.
(b) Para cualquier conjunto X la topologa discreta es aquella en que todo subconjunto
de X es abierto, es decir, = T(X).
(c) Para cualquier conjunto X la topologa indiscreta es aquella en que los unicos
abiertos son y X.
(d) La topologa de Sierpinsky est a 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 innito X denimos la topologa conita por
= U X : #(X U) < .
(g) En un conjunto innito no numerable X denimos la topologa conumerable por
= U X : #(X U)
0
.
(h) Sea A X; una topologa para X est a dada por
= U X : U A .
Dadas dos topologas y para un conjunto X, decimos que es m as na que (o,
equivalentemente, que es m as gruesa que ) si . Es claro que la topologa discreta
es la m as na de todas y que la indiscreta es la m as gruesa.
1.10 Ejercicio. Comparar las topologas en R
n
denidas en (a), (f), (g) y (h) (con
A = 0).
Sea (X, ) un espacio topol ogico. 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 T(X) es base de
si y s olo 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 R
n
una base es:
= B
r
(x) : x R
n
, 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 denida 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 o de T(x), existe
una topologa generada por (es decir, menor topologa que contiene a) o? La respuesta
es s, pero o no necesariamente es base de . Para probar esto veamos que condiciones son
necesarias y sucientes para que una familia de subconjuntos de X sea base de una topologa.
7
1.14 Proposici on. Sea X un conjunto y sea T(X). Entonces es base de una
topologa para X si y s olo si satisface las siguientes condiciones:
(a) X es union de elementos de .
(b) Si B
1
, B
2
y x B
1
B
2
entonces existe B
3
tal que x B
3
B
1
B
2
.
1.15 Corolario. Sea X un conjunto y sea o T(X). Entonces el conjunto formado por
las intersecciones nitas de elementos de o es base de una topologa para X; esta es la menor
topologa que contiene a o y, en este caso, decimos que o 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 topol ogico (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 C antor.
(b) Para X con la topologa discreta todo conjunto es cerrado.
(c) En la topologa de Sierpinsky denida arriba el conjunto b es cerrado pero el
conjunto a no lo es.
(d) Si X tiene la topologa conita entonces los cerrados son X y los conjuntos nitos.
1.18 Proposicion. Dado un espacio topol ogico la familia ( de cerrados satisface:
(C1) y X son cerrados.
(C2) La interseccion arbitraria de cerrados es cerrado.
(C3) La uni on nita de cerrados es cerrado.
1.19 Nota. Dada una familia ( de subconjuntos de un conjunto X que satisface (C1),
(C2) y (C3) se puede denir 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 (. En algunas ocasiones conviene determinar la topologa mediante los cerrados
pues se denen m as f acilmente (por ejemplo, en la topologa conita).
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 R
l
).
(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 R
l
?
1.21 Ejercicio. () Sea K =
1
n
: n N y sea
K
= (a, b) : a, b R, a < b (a, b)
K : a, b R, a < b.
(a) Probar que
K
K
llama espacio K y se denota por R
K
).
(b) Como se compara
K
K
que no sea base.
(d) Cuales son los cerrados en R
k
?
1.22 Ejercicio. () Sean y
topologas para un conjunto X y sean y
respectivas
bases para estas topologas. Probar que
es m as na (es decir, que
) si y solo si
B y x B, B
tal que x B
B.
1.3. Primeros Axiomas de Separaci on.
Sea (X, ) un espacio topol ogico. Decimos que X es:
T
0
si dados dos elementos distintos x, y X existe un abierto U que contiene a uno de
ellos pero no al otro.
T
1
si dados dos elementos distintos x, y X existen abiertos U y V tales que x U V
y y V U.
T
2
o de Hausdor 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 denicion anterior se puede dar con vecindades en lugar de con abiertos.
1.24 Observacion. T
2
T
1
T
0
, pero las implicaciones contrarias son falsas. Adem as
no todo espacio es T
0
.
Demostraci on. Las implicaciones son claras de las deniciones. Un espacio indiscreto
con m as de un punto no es T
0
; el espacio de Sierpinsky es T
0
pero no T
1
; R con la topologa
9
conita es T
1
pero no T
2
(pues cualquier par de abiertos no vacos se intersectan).
1.25 Ejercicio. Un espacio X es T
1
si y solo si para cada x X se tiene que x es
cerrado.
1.26 Proposicion. Si la topologa de X est a dada por una metrica entonces X es T
2
.
Demostraci on. 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 Observaci on. Si y son topologas para X con y (X, ) es T
i
para alguna
i entonces tambien lo es (X, ) (y tal vez es T
j
para alguna j > i).
1.28 Ejemplo. (a) Con la topologa discreta cualquier espacio es T
2
.
(b) Si X tiene la topologa del orden entonces X es T
2
. (Para ver esto, sean x < y en X.
Si existe z X tal que x < z < y entonces podemos tomar U = (, z) y V = (z, ). Si
no, entonces tomemos U = (, y) y V = (x, ).)
1.29 Proposici on. (a) Si X es T
i
para alguna i entonces cualquier subespacio Y de X
tambien es T
i
(y es posible que sea T
j
para alguna j > i).
(b) Si X y Y son T
i
para alguna i entonces tambien lo es X Y (con la topologa
producto).
Demostraci on. Haremos la demostracion para i = 1. Los otros casos son analogos.
(a) Sean y
1
,= y
2
elementos de Y y sean U y V abiertos de X tales que y
1
U V
y y
2
V U. Entonces U Y y V Y son los abiertos buscados en Y . Sabemos que un
conjunto innito con la topologa conita es T
1
pero no T
2
, sin embargo si se toma Y como
un conjunto nito de X entonces Y es T
2
pues la topologa de subespacio es la discreta.
(b) Sean (x
1
, y
1
) y (x
2
, y
2
) elementos distintos de X Y . Entonces alguna coordenada
es distinta; sin perdida de generalidad supongamos x
1
,= x
2
. Tomemos abiertos U y V de X
tales que x
1
U V y x
2
V U. Entonces los abiertos buscados son U Y y V Y .
1.4. Axiomas de numerabilidad.
Decimos que un espacio topol ogico (X, ) es 2
o
numerable o que satisface el 2
o
axioma
de numerabilidad si existe una base (a lo m as) numerable para .
10
1.30 Ejemplo. (a) Con la topologa usual, R
n
es 2
o
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 2
o
numerable
pues cualquier base debe contener a x : x X.
(c) Si X es no numerable entonces X con la topologa conita no es 2
o
numerable (pues
si existiera una base numerable B
1
, B
2
, . . . con cada B
i
= X x
i,1
, . . . , x
i,n
i
, y x
X
i
x
i,1
, . . . , x
i,n
i
, entonces el abierto X x no contendra ning un basico).
1.31 Proposicion. Si (X, ) es 2
o
numerable, entonces cualquier base contiene una base
numerable.
Demostraci on. Sea una base numerable para X y sea otra base. Bastar a escribir
cada elemento de como uni on numerable de elementos de (pues entonces la base nume-
rable contenida dentro de que buscamos estar a formada por esos elementos). Sea G .
Para cada x G sea B
x
tal que x B
x
G (existe pues G es abierto y es base).
An alogamente, tomemos G
x
tal que x G
x
B
x
(aqu usamos que B
x
es abierto y
que es base). Ahora, 1 = G
x
: x G es subconjunto de , as que podemos escribir
1 = G
1
, G
2
, . . .. Escojamos, para cada G
i
una de las B
x
que le dio lugar, digamos que
escogemos B
x
i
, de manera que G
i
B
x
i
. Entonces
G =
_
iN
G
i

_
iN
B
x
i
G,
as que G =
iN
B
x
i
, 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 A
x
entonces existe B
x
tal que B N.
Decimos que un espacio topologico (X, ) es 1
o
numerable o que satisface el 1
er
axioma
de numerabilidad si cada punto tiene una base local (a lo m as) numerable.
1.32 Ejemplo. (a) El 2
o
axioma de numerabilidad implica el primero.
(b) Con la topologa usual R
n
es 1
o
numerable pues cada x R
n
tiene base local
B1
n
(x).n N.
(c) Si X tiene la topologa discreta entonces X es 1
o
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 conita no es 1
o
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 1
o
numerable (pues una base local en x es x, 0).
11
1.33 Ejercicio. Sean R
l
y R
K
denidos como en 1.20 y 1.21
(a) Es R
l
primero numerable?
(b) Es R
l
segundo numerable?
(c) Cual de los axiomas de separacion T
i
(i = 0, 1, 2) satisface R
l
?
(d) Es R
K
primero numerable?
(e) Es R
K
segundo numerable?
(f) Cu al de los axiomas de separaci on T
i
K
?
1.5. Topologa del orden.
La topologa usual de R est a 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 continuaci on.
Dado un orden total en un conjunto X y a < b (es decir, a b pero a ,= b) en X,
denimos
(a, b) = x X : a < x < b
(, b) = x X : x < b.
Las deniciones 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 [a
0
, b) : b X (a, b
0
] : a X,
en caso que existan a
0
o b
0
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.34 Observacion. Una subbase para la topologa del orden en un conjunto ordenado
X es
(, b) : b X (a, ) : a X.
1.35 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 lexicogr aco en R
2
(o cualquier subconjunto de el). Para no
confundir los elementos (que tienen dos coordenadas) con los intervalos, si a R
2
tiene
coordenadas a
1
, a
2
escribimos a = a
1
a
2
. Se deja como ejercicio dibujar los intervalos (a, b)
12
(tomando en cuenta que son de distinta ndole si las primeras coordenadas de a y b coinciden
o si no).
1.6. Producto topol ogico nito.
Demos una topologa al producto cartesiano de dos espacios topologicos (X,
X
) y (Y,
Y
)
deniendo 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 especicamos la topologa, se entendera que es la topologa
producto.
1.36 Nota. Si
X
y
Y
son bases para las topologas de X y Y , respectivamente, entonces
otra base para la topologa producto es
= U V : U
X
, V
Y
.
1.37 Ejemplo. (a) La topologa producto en R
2
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 conitas no es la topologa conita.
1.7. Subespacios.
Veamos ahora c omo denir, de manera natural, una topologa en un subconjunto de un
espacio topologico. Sea(X,
X
) espacio topol ogico y sea Y X. Sea
Y
= U Y : U
X
.
Es f acil vericar 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.
13
1.38 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
1
n
: n N.
Si Y = [0, 1) 2, entonces en Y son abiertos [0,
1
2
), 2 y (
1
2
, 1). Todo abierto en Q tiene
una innidad de elementos.
(d) La topologa conita induce la topologa conita en cualquier subespacio (que se
convierte en la discreta si el subconjunto es nito).
(e) Si X = R
2
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
Y
1
=
_
qQ
(x, qx) : x R y Y
2
=
_
nN
(x,
1
n
x) : x R.
entonces todos los abiertos de Y
1
tienen innidad de puntos de una innidad de rectas, pero
en Y
2
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 est a 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 B
Y
r
(y) = Y B
X
r
(y), con la notaci on natural).
1.39 Ejemplo. Dentro de R
n
tenemos muchos ejemplos de subespacios (con la topologa
usual de R
n
). En lo que sigue, cada vez que hablemos de subconjuntos de R
n
sin especicar
topologa, consideraremos que es la de subespacio con la topologa usual de R
n
. Algunos de
ellos importantes merecen notaci on especial como
(a) La esfera n-dimensional S
n
= x R
n+1
: [[x[[ = 1; en el caso de n = 1 tenemos
el crculo.
(b) El disco n-dimensional D
n
= x R
n+1
: [[x[[ 1.
1.40 Observacion. Sea (X, ) espacio topol ogico y sea Y X con la topologa de
subespacio.
(a) Si X tiene base y subbase o entonces Y tiene por base a B Y : B y por
subbase a S Y : S o.
(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 est an
contenidos en Y .
(d) Si Y es cerrado en X entonces los cerrados en Y son los cerrados de X que estan
14
contenidos en Y .
1.41 Ejemplo. Considerense los siguientes subconjuntos de R
2
:
A = 0, 1 [1, 2),
B =
nN
(1
1
n
, 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 R
2
, la topologa inducida
por la del orden lexicogr aco en R
2
y la topologa dada por el orden lexicograco (en el
mismo conjunto). Describir cada tipo de b asicos peque nos y decir c omo se comparan las tres
topologas.
Soluci on. Recordemos que si Y es subconjunto de R
2
entonces los b asicos (peque nos)
con respecto a son la intersecci on de bolas (peque nas) con Y , los b asicos (peque nos) con
respecto a son la interseccion de intervalos verticales que no contienen a los extremos, y
los b asicos con respecto a son los conjuntos de la forma y Y : y
1
< y < y
2
donde
y
1
, y
2
Y . En cada caso, conviene hacer un dibujo de los conjuntos.
Para A, los b asicos peque nos 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
est a contenida propiamente en ellas.
Para B los basicos peque nos de dentro de (1, x) : x (0, 1) contienen (una innidad
de) puntos de una innidad de rectas, y en las rectas de la forma (1
1
n
, 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
est a contenida propiamente en ellas.
Para C los b asicos peque nos 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 uni on de dos
segmentos, uno en [1, 2) 0 y otro en [1, 2) 1 y, dependiendo de la eleccion de y
1
y y
2
,
cada segmento contiene alguno de sus extremos. Entonces ambas y est an contenidas en
, y y son incomparables.
15
1.8. Puntos determinados por subconjuntos.
Sea (X, ) espacio topol ogico y sea A X. Entonces
(a) El interior de A es el conjunto
Int(A) = A
o
= x X : N A
x
, N A.
(b) La frontera de A es el conjunto
(A) = Fr(A) = x X : N A
x
, N A ,= , y N (X A) ,= .
(c) La cerradura de A es el conjunto
A = x X : N A
x
, N A ,= .
(d) El conjunto de puntos de acumulaci on o conjunto derivado de A es el conjunto
A
= x X : N A
x
, (N x) A ,= .
1.42 Nota. En las deniciones que acabamos de dar se puede sustituir vecindad por
abierto o por basico.
1.43 Ejemplo. Sea X = R y sea A = [0, 1) 2. Encontremos Int(A), (A), A y A
con respecto a las siguientes topologas:

(a) La topologa usual. Entonces Int(A) = (0, 1), (A) = 0, 1, 2, A = [0, 1] 2 y
A
= [0, 1].
(b) La topologa discreta. Entonces Int(A) = A, (A) = , A = A y A
= .
(c) La topologa conita. Entonces Int(A) = (A) = X, A = X y A
= X.
(d) La topologa del lmite inferior. Entonces Int(A) = [0, 1), (A) = 2, A = A y
A
= [0, 1).
1.44 Ejemplo. En R
2
consideremos la topologa del orden lexicogr aco. Sean
A = (x, y) : x
2
+ y
2
1 y B = ([0, 1] 0) (0 [0, 1]).
Entonces Int(A) = (x, y) : x
2
+ y
2
< 1, (A) = (x, y) : x
2
+ y
2
= 1, A = A, y
A
= A 1 0, 1 0.
Int(B) = 0 (0, 1), (B) = 0 1 [0, 1] 0, B = B y B
= 0 [0, 1].
La demostracion de las siguientes dos proposiciones es directa de las deniciones y se
deja como ejercicio.
16
1.45 Proposicion. Sea (X, ) un espacio topologico y sea A X. Entonces
(a) Int(A) es el mayor abierto contenido en A, as IntA =
, donde U
:
es la familia de todos los abiertos de X que estan contenidos en A.
(b) A es el menor cerrado que contiene a A, as A =
, donde C
: es la
familia de todos los cerrados de X que contienen a A.
(c) A = Int(A) (A) = A (A) = A A
.
(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 A
A.
1.46 Proposici on. 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 inclusi on puede ser propia.
(d) Int(A B) = Int(A) Int(B).
(e) A B = A B.
(f) A B A B. Esta inclusi on puede ser propia.
(g) Si A
: es una familia de subconjuntos de X, entonces
.
Esta union puede ser propia.
1.9. Conjuntos densos y separabilidad.
Sea (X, ) un espacio topol ogico. Un subconjunto A de X es denso si A = X.
1.47 Proposici on. Sea (X, ) un espacio topol ogico y A X. Entonces son equivalen-
tes:
(a) A es denso.
(b) Para todo U se tiene que U A ,= .
(c) Si es una base para , entonces para todo B se tiene que B A ,= .
17
Un espacio topol ogico (X, ) es separable si contiene un denso numerable.
1.48 Observacion. R
n
es separable (pues el conjunto de puntos con coordenadas racio-
nales es denso numerable).
1.49 Proposicion. Si (X, ) es 2
o
numerable entonces X es separable.
Demostraci on. Sea = B
1
, B
2
, . . . una base numerable. Para cada i N sea x
i
B
i
.
Sea A = x
1
, x
2
, . . .. Es claro que A es denso numerable.
1.50 Proposicion. (a) Separable no implica 1
o
numerable.
(b) 1
o
numerable no implica separable.
Demostraci on. (a) En R con la topologa conita cualquier conjunto numerable es denso
(pues los cerrados son los nitos y el mismo R), as que es separable. Ya sabamos que no es
1
o
numerable.
(b) Sabemos que R con la topologa discreta es 1
o
numerable; por otro lado, la cerradura
de cualquier conjunto es el mismo conjunto, as que no es separable.
1.51 Nota. Tenemos entonces que entre los conceptos de 1
o
o 2
o
numerable y separable
s olo se tienen las implicaciones de 2
o
numerable hacia los otros dos.
1.52 Ejercicio. Representar el doble toro T
2
en el plano.
1.53 Ejercicio. Sea /
3,3
la graca 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 /
3,3
se puede dibujar sobre el toro T
1
de manera que no haya interseccion
entre las aristas.
1.54 Ejercicio. En R sea
l
= [a, b) : a, b R, a < b.
Probar que
l
l
para R. (Nota: R con esta topologa se llama
recta de Sorgenfrey o espacio del lmite inferior y se denota por R
l
).
(b) Como se compara
l
l
que no sea base.
(d) Es R
l
primero numerable?
(e) Es R
l
segundo numerable (f) Cu al de los axiomas de separaci on T
i
(i = 0, 1, 2)
satisface R
l
?
1.55 Ejercicio. Sea K =
1
n
: n N y sea
K
= (a, b) : a, b R, a < b (a, b) K :
a, b R, a < b.
(a) Probar que
K
K
18
llama espacio K y se denota por R
K
).
(b) Como se compara
K
K
que no sea base.
(d) Es R
K
primero numerable?
(e) Es R
K
segundo numerable?
(f) Cu al de los axiomas de separaci on T
i
K
?
1.56 Ejercicio. Sean y
topologas para un conjunto X y sean y
respectivas
bases para estas topologas. Probar que
es mas na que si y s olo si

B y x B, B
tal que x B
B.
1.57 Ejercicio. Probar que el plano proyectivo puede obtenerse pegando a la banda
de Mobius un disco (juntando las orillas de ambos).
1.58 Ejercicio. Considerense los siguientes subconjuntos de R
2
:
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 R
2
, la topologa inducida
por la del orden lexicogr aco en R
2
y la topologa dada por el orden lexicogr aco en cada
uno de ellos. Hacer dibujos de cada tipo de b asicos peque nos y decir como se comparan las
tres topologas.
1.59 Ejercicio. Sean X y Y espacios topol ogicos 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.60 Ejercicio. Probar que si Y es subespacio de X y A Y entonces A
Y
= A
X
Y .
1.61 Ejercicio. Sea X = 0, 1 [0, 1) con la topologa del orden lexicograco. Sea
A = 0 [0, 1) X. Encontrar Int(A), (A), A y A
.
1.62 Ejercicio. Sea A =
1
n
: n N R. Determinar Int(A), (A), A y A
en
las siguientes topologas de R:
1
la topologa discreta, t
2
la topologa conumerable,
3
la
topologa del lmite inferior,
4
la topologa K.
1.63 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
contenci on puede ser propia.
1.64 Ejercicio. Sea (X, ) un espacio topol ogico. Decimos que una sucesi on (x
1
, x
2
, . . .)
de elementos de X converge a x
0
X si para toda vecindad U de x
0
existe un natural N tal
19
que si n N entonces x
n
U.
(a) Probar que si X es Hausdor, entonces toda sucesi on convergente tiene un unico
punto de convergencia.
(b) Dar un ejemplo de un espacio y una sucesion en el que converja a dos puntos distintos.
1.65 Ejercicio. Sea X un espacio topol ogico y sean A X y x X.
(a) Probar que si existe una sucesi on 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.
1.66 Ejercicio. Sea X un espacio T
1
y sea A X. Probar que x A
si y s olo si toda
vecindad de x contiene una innidad de puntos de A.
1.67 Ejercicio. Probar que un espacio X es Hausdor si y s olo si la diagonal =
(x, x) X X : x X de X X es un conjunto cerrado en X X.
20
2. Continuidad
La siguiente proposici on-denici on generaliza la denicion de continuidad que conocemos
de funciones en espacios euclidianos.
2.1 Proposici on. Sean (X, ) y (Y, ) espacios topol ogicos y sea f : X Y funci on.
Son equivalentes:
(a) Para todo x X y N A
f(x)
existe M A
x
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 o es una subbase para la topologa de Y y S o 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.)
Demostraci on. Las demostraciones (a) (b) (c) (d) (a) se siguen directamente
de las deniciones y son muy parecidas a las que se hacen en R
n
. Las demostraciones de (d)
(e) (f) son tambien directas.
2.2 Nota. Al relacionar espacios mediante funciones se quiere que se reeje 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 im agenes cercanas.
2.3 Ejemplo. En los siguientes incisos X, Y , etc. son espacios topologicos.
(a) Las funciones continuas de R
n
R
t
.
(b) La funci on 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
composici on g f : X Z.
(e) Si Y es subespacio de X entonces la funcion inclusi on 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 funci on con codominio Y es
21
continua.
(h) Si y son dos topologas para un conjunto X, entonces la funcion identica f :
(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 f
1
: X Z denida como f (es decir f
1
(x) = f(x)).
(k) Las proyecciones p
X
: X Y X y p
Y
: X Y Y (denidas por p
X
(x, y) = x y
p
Y
(x, y) = y) son continuas.
(l) Si y
0
Y , entonces la funci on : X X Y dada por (x) = (x, y
0
) es continua.
2.4 Proposicion. Sea (X, ) un espacio topologico y sea f : X Y una funcion.
(a) Si X =
es una uni on arbitraria de abiertos y f[

U
es continua para cada

, entonces f es continua.
(b) X =
n
i=1
C
i
es una uni on nita de cerrados y f[
C
i
es continua para cada i = 1, . . . , n,
entonces f es continua.
Demostraci on. 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 proposici on anterior es importante que la uni on sea
nita. Como ejemplos de que si la union de cerrados no es nita el resultado es falso tenemos:
f(x) =
_
0, si x 0,
1
x
, si x
_
1
n
, n
, n N.
g(x) =
_
0, si x Q,
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 dene
funcion cerrada.
2.6 Observacion. Para probar que una funci on es abierta basta demostrar que la imagen
de cualquier b asico es un abierto.
22
Demostraci on. La imagen directa respeta uniones.
2.7 Ejemplo. La proyecci on p
X
: X Y X es abierta pero no cerrada.
Demostraci on. Por la observaci on, para probar que es abierta basta probar que f(UV )
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 R
2
el conjunto (x,
1
x
) : 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 homeomorsmo si es continua,
biyectiva y abierta. En este caso se dice que X y Y son homeomorfos y escribimos X Y .
2.8 Observaci on. Sea f : X Y funci on entre espacios topol ogicos. Entonces son
equivalentes:
(a) f es homeomorsmo.
(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 pr acticamente el mismo espacio; la funci on
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 funci on 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 (cos(x), sen(x)).
Una funci on f : X Y entre espacios topologicos es inmersion o encaje si es continua,
inyectiva y abierta en la imagen.
2.11 Observaci on. Sea f : X Y funci on entre espacios topologicos. Entonces son
equivalentes:
(a) f es inmersion.
(b) f es continua, inyectiva y cerrada en la imagen.
(c) La funci on f
1
: X f(X) denida como f es homeomorsmo.
2.12 Nota. Si f : X Y es inmersion entonces pr acticamente X es un subespacio
de Y .
2.13 Ejemplo. (a) La inclusi on de un subespacio en un espacio es inmersi on.
(b) Si y
0
Y , entonces la funcion : X X Y dada por (x) = (x, y
0
) es inmersion.
23
2.1. Topologas dadas por funciones
2.14 Nota. Al darle una topologa a un conjunto que esta relacionado con espacios
topol ogicos (por ejemplo subconjuntos o productos cartesianos), queremos que se reeje 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 reejara la relaci on 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
funciones que lo relacionan con los espacios. Empezaremos por analizar los dos ejemplos que
conocemos: subespacios y productos.
2.15 Proposici on. La topologa de subespacio es la menor que hace continua a la in-
clusi on.
Demostraci on. Sea i : Y X una funcion inclusi on, donde (X,
X
) es un espacio
topol ogico. 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 alg un U
X
; adem as, por ser U abierto de X e i continua con
respecto a , tenemos que i
1
(U) es abierto en , pero i
1
(U) = U Y que es igual a V ,
con lo que tenemos que V , como queramos.
2.16 Proposicion. La topologa producto es la menor que hace continuas a las proyec-
ciones.
Demostraci on. Sean (X,
X
) y (Y,
Y
) espacios topol ogicos y sean p
X
: X Y X y
p
Y
: X Y Y las proyecciones. Como antes, supongamos que es una topologa para
XY con la cual las proyecciones son continuas. Bastar a probar que los basicos U V de la
topologa producto est an en . Pero UV = (UY )(XV ) = ((p
X
)
1
(U))((p
Y
)
1
(V )),
que debe ser abierto de .
Sean (X,
X
) y (Y,
Y
) espacios topol ogicos. Denimos la suma topol ogica X+Y como
24
el conjunto XY obtenido de ajenizar X y Y y considerar la uni on, es decir, en caso que X
y Y tengan elementos en com un, 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 sustituci on 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 i
X
: X X + Y e i
Y
: Y X + Y .
2.17 Observaci on. W es abierto en X + Y si y s olo si W X
X
y W Y
Y
.
2.18 Ejercicio. Sea f : X Y una funcion continua. Es cierto que f(A
) f(A)
?
2.19 Ejercicio. Sea f : X Y . Probar que f es continua si, y s olo si, para todo B Y
se tiene que f
1
(B) f
1
(B).
2.20 Ejercicio. Sea n N. Denamos
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.21 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 homeomorsmo.
2.22 Ejercicio. Sea X = (, 1)[0, ) con la topologa de subespacio de R. Defna-
se f : X R por f(x) = x + 1 si x < 1 y f(x) = x si x 0. Probar que f es biyectiva y
continua y que preserva el orden. Es homeomorsmo?
2.23 Ejercicio. Probar que si f
1
: X Y
1
y f
2
: X Y
2
son funciones continuas
entonces tambien lo es la funcion f : X Y
1
Y
2
denida por f(x) = (f
1
(x), f
2
(x)).
2.24 Ejercicio. Sea Y un conjunto ordenado y considerese Y como espacio topol ogico
con la topologa del orden. Sean f, g : X Y funciones continuas y sea h : X Y
la funci on denida por h(x) =m axf(x), g(x). Probar que h es continua. (Sugerencia:
Primero probar que si Y es ordenado entonces y
1
y
2
: y
1
> y
2
es abierto en Y Y . Usar
esto y el ejercicio 6 para encontrar A y B cerrados de X tales que X = A B y h[
A
y h[
B
sean continuas.)
2.25 Ejercicio. Probar que si X es 1
o
-numerable y f : X Y es funcion entre espa-
cios topol ogicos, entonces f es continua si y s olo si para toda x X toda sucesi on (x
n
)
n
convergente a x tiene una subsucesi on (x
n
k
)
k
tal que f(x
n
k
)
k
converge a f(x).
2.26 Ejercicio. Sea X un espacio topol ogico y sea A denso en X. Sea Y un espacio T
2
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 T
2
?
25
2.27 Ejercicio. Sea f : R R continua por la derecha (es decir, lim
xa
+f(x) = f(a)
para todo a). Probar que f es continua como funcion de R
l
en R.
26
3. Cocientes
Recordemos que toda relaci on de equivalencia en un conjunto X induce una partici on
de X, es decir, una familia X/ (llamada cociente de X con respecto a ) de subconjuntos
ajenos de X (llamados clases) cuya uni on es X; cada clase consta de todos los elementos
equivalentes entre s. La funci on suprayectiva p : X X/ que manda a cada elemento en
su clase se llama proyecci on natural o funcion de paso al cociente. Recprocamente,
cada particion en un conjunto X induce una relaci on de equivalencia en X en la que los
elementos de la partici on son las clases de la relacion. Tambien, recprocamente, toda funci on
suprayectiva p con dominio X induce una relaci on de equivalencia en X en la cual la funci on
de paso al cociente es precisamente f, y las bras de f (es decir, los conjuntos de la forma
f
1
(z) para z en el codominio de f) son los elementos de la partici on.
Ahora, si (X, ) es un espacio topologico y es una relaci on de equivalencia en X,
entonces damos al conjunto cociente X/ la mayor topologa

con la cual la funci on
p : X X/ es continua. En otras palabras,
U

p
1
(
U) .
Decimos que

es la topologa cociente y
X es el espacio cociente.
En lo que sigue (X, ) es un espacio topol ogico, es una relaci on 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 denir
funciones continuas con dominio un cociente.
3.1 Proposicion. (Propiedad universal del cociente.) Para cualquier funcion con-
tinua f : X Y que respete las bras de p (es decir, tal que si x x
entonces
f(x) = f(x
)) se tiene que existe una unica funci on continua
f :
X Y tal que
f p = f.
Demostraci on. Es claro que la unica forma en que
f p = f ocurra es deniendo
f(

x) = f(x). El que f respete bras nos dice que la funci on
f est a bien denida (es decir,

no depende del representante x elegido en

x). Falta entonces ver que
f es continua. Pero
esto es gracias a la denicion de la topologa de
X y porque p
1
(
f
1
(V )) = f
1
(V ) para V
abierto de Y .
La siguiente proposici on 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 funci on de paso al cociente
conmuta con ese homeomorsmo).
27
3.2 Proposici on. Si Z es un espacio topol ogico y q : X Z es una funci on continua
que respeta las bras de p y tal que para cualquier funci on continua f : X Y que respete
las bras de p se tiene que existe una unica
f :
X Y continua tal que
f q = f entonces
existe un homeomorsmo :
X Z tal que p = q.
Demostraci on. Usando que (
X, p) cumple la propiedad y que q respeta bras tenemos

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

propiedad y que p respeta bras tenemos una funci on continua : Z
X. Por otro lado,

usando que (
X, p) cumple la propiedad y que la misma p respeta bras tenemos una unica

funci on continua
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 funci on identica en Z.
Una funci on continua y suprayectiva f : X Y es identicaci on si Y tiene la mayor
topologa que hace continua a f es decir, U Y es abierto si y s olo 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 s olo si es simplemente la condicion de continuidad; el si es la condici on extra
y dice que todo subconjunto del codominio cuya imagen inversa es abierto en el dominio debe
ser abierto.
3.4 Observaci on. Sea f : X Y continua y suprayectiva. Entonces es equivalente que
f sea identicacion a la condici on 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 identicaci on entonces Y es homeomorfo al cociente de
X inducido por la funci on suprayectiva f, y f es la proyeccion natural.
3.6 Ejemplo. (a) Todo homeomorsmo es identicacion.
(b) Si f : X Y es continua, suprayectiva y abierta entonces f es identicaci on.
(c) Si f : X Y es continua, suprayectiva y cerrada entonces f es identicaci on.
(d) Composicion de identicaciones es identicacion.
3.7 Proposicion. La proyecci on en la primera coordenada R
2
R es identicaci on.
Demostraci on. 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 Hausdor no es necesariamente Hausdor. Adem as este es un ejemplo de que las
28
identicions 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 D
2
denamos la relacion en la que todos los puntos de la fron-
tera est an relacionados entre s (y los del interior s olo estan relacionados con ellos mismos).
Entonces el espacio cociente es S
2
.
Demostraci on. Usando geometra analtica, mediante el homeomorsmo del interior de
D
2
con R
2
y la proyecci on estereogr aca, es posible dar una funcion suprayectiva y continua
f : D
2
S
2
que tiene precisamente por bras a las clases de la partici on, pues la frontera
de D
2
va a dar a un punto de S
2
, y en lo dem as es inyectiva; ademas esta funci on resulta ser
cerrada pues si C es un cerrado de D
2
, 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 identicaci on y, por [], f es la funci on de paso al cociente.
3.10 Ejemplo. En R consideremos la relaci on de equivalencia denida por la funci on
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 , Zx 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 R
2
. En X digamos que 1 2
(y los dem as elementos relacionados s olo con ellos mismos).
(a) Se tiene que
X = [0, 2] mediante la identicacion

f(x) =
_
x, si x [0, 1],
x 1, si x [2, 3].
(b) Si A = [0, 1) [2, 3], entonces la restricci on de f a A no es identicacion.
Demostraci on. (a) La funci on es continua (por [], pues es continua en los dos cerrados
en los que est a denida), suprayectiva, tiene las bras de la relaci on y es cerrada (por un
razonamiento an alogo 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 identicacion no es
identicaci on, tenemos que la funcion f[
A
es biyectiva. La siguiente observacion nos dice que
si fuera identicacion, entonces sera homeomorsmo, lo cual es obviamente falso.
3.12 Observaci on. Si f : X Y es identicacion biyectiva entonces f es homeomor-
smo.
29
Demostraci on. La denici on de topologa cociente implica que la funci on inversa es
continua.
3.13 Ejemplo. Sea p : [0, 1] S
1
dada por p(x) = (cos(2x), sen(2x)). Entonces
(a) p es identicaci on.
(b) p p : [0, 1] [0, 1] S
1
S
1
tambien es identicacion.
Demostraci on. 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 R
n
son cerrados.
3.14 Nota. El espacio S
1
S
1
R
4
puede visualizarse en R
3
como la c ascara de una
dona. Este espacio se llama toro.
3.15 Nota. En el ejemplo anterior consideramos el producto de dos identicaciones y
result o que tambien era identicacion. este no es siempre el caso (ver []).
A continuaci on veremos otra clase importante de identicaciones.
Sea Y un subespacio de un espacio X y sea i la inclusion de Y en X. Una funci on continua
r : X Y es retracci on si r i es la funcion identica en Y (es decir, r(y) = y para toda
y Y ).
3.16 Proposici on. Si Y es un subespacio de un espacio X, y r : X Y es una
retracci on entonces r es identicaci on.
Demostraci on. Ya sabemos que r es continua y suprayectiva. Sea U Y tal que r
1
(U)
es abierto en X; queremos probar que U es abierto en Y , pero esto es cierto por la denici on
de topologa de subespacio pues U = r
1
(U) Y .
3.17 Ejemplo. Sea r : R
2
D
2
la funcion dada por
f(x) =
_
x, si [[x[[ 1,
x
||x||
, si [[x[[ 1.
Entonces f es retraccion y, por tanto, identicaci on.
3.18 Ejemplo. En R
n+1
0 sea la relacion dada por
x y R tal que x = y.
En S
n
sea
la relacion dada por

x
y x = y.
30
Entonces son homeomorfos
_
R
n+1
0
_
/ y S
n
/
.
Demostraci on. Sean p : R
n+1
0 (R
n+1
0) / y p
: S
n
S
n
/
las
proyecciones naturales.
Primera forma. Sea f : R
n+1
S
n
/
dada por f(x) = p
_
x
||x||
_
. Como f respeta bras
de p entonces existe una funci on continua : (R
n+1
0) / S
n
/
. Por otro lado sea

i : S
n
R
n+1
0 la inclusi on y sea g = p i : S
n
(R
n+1
0) /. Analogamente, g
respeta bras de
as que g induce una funci on continua : S

n
/
(R
n+1
0) /. Es
claro que y son inversas una de otra.
Segunda forma. La funcion r : R
n+1
S
n
dada por r(x) =
x
||x||
es una retracci on.
Entonces la composici on p
r es identicaci on. Ademas esta identicacion tiene exactamente

las mismas bras que p.
3.19 Ejercicio. Defnase en R la relaci on 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 R
2
. Sea f la
restricci on a Y de la proyeccion en la primera coordenada de R
2
a R. Probar que f no es
abierta ni cerrada pero s una identicaci on.
3.21 Ejercicio. Defnase en R
2
la relaci on (x
1
, x
2
) (y
1
, y
2
) x
2
1
+ x
2
2
= y
2
1
+ y
2
2
. A
que espacio conocido es homeomorfo R
2
/? (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 T
1
. Como es X/
si cada clase es un conjunto abierto en X?
3.23 Ejercicio. Sea Z = (0 R) (R 0) R
2
. Sea f : R
2
Z la funci on
suprayectiva dada por
f(x, y) =
_
(x, 0), si x ,= 0,
(0, y), si x = 0.
Considerar Z con la topologa cociente.
(a) Probar que Z no es Hausdor.
(b) Sea Y = Z como conjunto pero considerar Y con la topologa de subespacio de R
2
.
Probar que f[Y : Y f(Y ) no es identicaci on.
31
3.24 Ejercicio. Considerense los siguientes subespacios de R
2
:
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 identicacion.
3.25 Ejercicio. En R
K
sea la relacion tal que
1
n

1
m
para toda pareja de naturales
n, m.
(a) Probar que R
K
es Hausdor pero que R
K
/ no lo es.
(b) Sea p la funcion de paso al cociente. Probar que p p no es identicacion.
3.26 Ejercicio. Sea X = S
1
[0, 1]. En X denamos la relaci on 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 homeomorsmo propuesto sin demostrar
que es homeomorsmo.)
32
4. Espacios primero numerables
Los espacios 1
o
numerables son importantes porque muchas de sus propiedades se pueden
establecer a traves de sucesiones convergentes. Un ejemplo importante de espacios primero
numerables es el de espacios metricos.
4.1. 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
metrica es el conjunto de puntos de X cuya distancia a x es menor que r, en smbolos,
B
r
(x) = y X : d(x, y) < r.
4.1 Observacion. Dado (X, d) metrico, la familia de las bolas = B
r
(x) : x X, r >
0 es base de una topologa para X (llamada topologa inducida por la metrica).
Decimos que dos metricas d y d
para un mismo conjunto X son equivalentes si inducen

la misma topologa para X. Decimos que un espacio topol ogico es metrizable si existe una
metrica que induce la topologa de X.
4.2 Ejemplo. (a) En R
s
son equivalentes la distancia euclidiana d
e
, la metrica de
los cuadrados d
c
y la metrica de los rombos d
r
, denidas para x = (x
1
, . . . , x
s
) y
y = (y
1
, . . . , y
s
) R
s
por
d
e
(x, y) = [[x y[[ =
_
(x
1
y
1
)
2
+ + (x
s
y
s
)
2
,
d
c
(x, y) = max[x
1
y
1
[, . . . , [x
s
y
s
[ y
d
r
(x, y) = [x
1
y
1
[ + +[x
s
y
s
[.
33
Adem as cualquiera de ellas induce la topologa producto.
(b) Un espacio discreto X es metrizable con la metrica discreta denida por
d(x, y) =
_
1, si x ,= y,
0, si x = y.
(c) Si (X, d) es metrizable y Y es subespacio de X, entoncesY tambien es metrizable con
la metrica de X restringida a Y . Adem as, dado y Y y r > 0 tenemos que B
Y
r
(y) = B
X
r
Y .
(d) Si (X, d
X
) y (Y, d
Y
) son espacios metricos entonces el producto X Y es metrizable
con cualquiera de las topologas (equivalentes) denidas en (a).
(e) Dado (X, d) metrico, la metrica acotada d
a
asociada a d, denida por
d
a
(x, y) =
_
d(x, y), si d(x, y) 1,
1, si d(x, y) 1.
es equivalente a d.
(f) Con la topologa inducida por el orden lexicogr aco en R
2
, se tiene que R
2
es metri-
zable; la metrica es
d(x
1
y
1
, x
2
y
2
) =
_
min[x
1
x
2
[, 1, si x
1
= x
2
,
1, si x
1
,= x
2
.
(g) Sea Z un conjunto cualquiera y sea X = f : Z R
t
: f es acotada. Sea d
u
la
metrica uniforme denida por
d
u
(f, g) = sup[[f(z) g(z)[[ : z Z.
(h) Sea d
a
la metrica acotada asociada a la metrica euclidiana de R y sea X = R
N
.
Entonces es metrica la funcion D : X X R denida por:
D((x
n
)
n
, (y
n
)
n
)) =
n=1
d
a
(x
n
, y
n
)
2
n
.
(i) Sea (X, d) un espacio metrico y sea Z el conjunto de cerrados no vacos de X. Entonces
la metrica de Hausdor H para Z est a denida por
H(F, G) = inf R : F
_
xG
B
(x), G
_
xF
B
(x).
34
4.3 Observaci on. (a) Si X es metrizable, entonces X es Hausdor.
(b) Si X es metrizable entonces X es 1
o
numerable.
(c) Sean (X
1
, d
1
) y (X
2
, d
2
) espacios metricos y sea f : X
1
X
2
funci on. Entonces f es
continua si y s olo si
x X
1
y > 0 > 0 tal que f(B
X
1
(x)) B
X
2
(f(x)).
4.2. Sucesiones
Una sucesion en un conjunto X es una funci on s : N X. Si s(n) = x
n
hablamos de
la sucesion (x
1
, x
2
, . . .) o (x
n
)
n
. Si X es espacio topol ogico y (x
n
)
n
es una sucesi on en X
decimos que (x
n
)
n
converge a x X o que x es lmite de (x
n
)
n
(en smbolos x
n
x) si
U A
x
N N tal que n N x
n
U.
4.4 Proposicion. Si X es un espacio de Hausdor y (x
n
)
n
es una sucesion en X que
converge entonces el punto de convergencia es unico.
El resultado de la proposicion anterior es falso si X no es de Hausdor, por ejemplo, si
X = a, b con la topologa de Sierpinsky en que los abiertos son , a y X, entonces la
sucesi on constante x
n
= a tiene por lmite tanto a a como a b.
4.5 Lema. Si X es un espacio 1
o
numerable y x X, entonces existe una base local
U
n
: n N para x de tal forma que U
1
U
2
U
3
.
Demostraci on. Sea V
n
: n N una base local en x. Para cada n denamos U
n
=
V
1
V
2
V
n
.
4.6 Proposicion. Sea X un espacio topol ogico y sea A X.
(a) Si existe (a
n
)
n
sucesi on de elementos de A que converge a x X entonces x A.
(b) Si X es 1
o
numerable y x A entonces existe (a
n
)
n
sucesi on de elementos de A que
converge a x.
Demostraci on. (a) Sea U A
x
; por la convergencia tenemos que U A ,= , por lo
tanto x A.
(b) Sea
x
= U
n
: n N una base local para x tal que U
1
U
2
U
3
. Escogemos
a
n
U
n
A. Entonces es claro que (a
n
)
n
converge a x.
Si X no es 1
o
numerable, el inciso (b) de la proposici on anterior es falso, como veremos
35
en el siguiente ejemplo.
4.7 Ejemplo. En R con la topologa conumerable existe A X y x A tal que ninguna
sucesi on de elementos de A converge a x.
Demostraci on. Sea A = [0, 1]. Como los cerrados en esta topologa son los conjuntos
numerables y el mismo R entonces A = R, as que 2 A. Sea (a
n
)
n
una sucesion de elementos
de A y sea U = R a
n
: n N. Entonces U A
2
, pero U no contiene ningun elemento de
la sucesion, as que (a
n
)
n
no puede converger a x.
4.8 Proposicion. Sea f : X Y una funcion entre espacios topologicos.
(a) Si f es continua y (x
n
)
n
es una sucesi on de elementos de X que converge a x X
entonces (f(x
n
))
n
converge a f(x).
(b) Si X es 1
o
numerable y para toda sucesi on convergente (x
n
)
n
x en X se tiene que
(f(x
n
))
n
f(x) entonces f es continua.
Demostraci on. (a) Sea V vecindad de f(x) y sea U vecindad de x tal que f(U) V .
Como U contiene todos los x
n
a partir de una cierta N, entonces V contiene a f(x
n
) a partir
de esa misma N.
(b) Sea A X. Queremos probar que f(A) f(A). Sea x A. Tomemos una sucesion
(a
n
)
n
de elementos de A que converja a x; entonces (f(a
n
))
n
es una sucesi on de elementos
de f(A) que converge a f(x) y, por tanto f(x) f(A).
4.9 Ejercicio. Sea X un conjunto y sea d una metrica en X. Probar que con la topologa
en X inducida por la metrica, la funci on d : X X R es continua.
4.10 Ejercicio. Sean (X, d
X
) y (Y, d
Y
) espacios metricos. Sea f : X Y una funcion tal
que para cualquier pareja x
1
, x
2
de elementos de X se tiene que d
X
(x
1
, x
2
) = d
Y
(f(x
1
), f(x
2
)).
Probar que f es una inmersi on (llamada inmersion isometrica).
4.11 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
B
r
(1) ,= x [0, 1] : d(x, 1) r.
(Sugerencia. Considerar un espacio homeomorfo a [0, 1] dentro del crculo S
1
.)
4.12 Ejercicio. Probar que si X es un espacio metrico, entonces X es separable si y
s olo si X es 2
o
numerable.
36
5. Productos topologicos
Dada una familia X
: de conjuntos denimos el producto cartesiano de ellos

como
= :
_
: f() X
.
Si () = x
entonces escribimos = (x
. Cuando = N escribimos X
1
X
2
en
lugar de
, y los elementos del producto se pueden ver como sucesiones (x

1
, x
2
, . . .).
Si los X
no son vacos entonces el axioma de eleccion dice que
es no vaco.
5.1 Observaci on. Sean A
, B
para cada .
(a) Si A
para toda , entonces
.
(b) (
) (
) =
(A
) .
(c) (
) (
(A
) .
(d) (
) (
(A
) .
Tenemos funciones que relacionan
con cada X
0
; estas son las proyecciones
naturales
p
0
:
0
denidas por p
0
((x
) = x
0
.
Propiedad universal del producto de conjuntos. El denir una funcion de un con-
junto a un producto cartesiano
es equivalente a denir sus funciones coordena-

das, es decir, para cada , una funci on f
: Y X
. Entonces f(y) = (f
(y))
as que
f
= p
f para cada .
Ahora supongamos que cada X
es un espacio topol ogico. Queremos dar a
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 producto esten dadas por funciones coordenadas continuas. Veamos que
esto se logra dando a
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
_
p
1
(U
) : U
.
Observemos que
p
1
(U
0
) = U
=
0
X
,
y que entonces los b asicos para
son de la forma
U
1
U
n

=
1
,...,n
X
,
37
donde cada U
i

i
o, equivalentemente, U
i
pertenece a una base de
i
.
5.2 Observaci on. Con la topologa producto, cada p
es continua y abierta.
5.3 Proposicion. Propiedad universal del producto topologico. Sea X
:
una familia de espacios topologicos. Con la topologa producto (
, (p
) satisface la
siguiente propiedad: Dada una familia de funciones continuas f
: Y X
existe una unica

funci on continua f : Y
tal que para cada , se tiene que p
f = f
.
Demostraci on. La unicidad es obvia pues, como conjuntos, solo hay una forma de denir
f. Hay que ver que f es continua; para ello basta trabajar con subb asicos, as que sea
y sea U
abierto en X
. Entonces
f
1
(U
=
0
X
) = f
1
0
(U
0
),
que es abierto.
Otra topologa natural para el producto cartesiano de espacios topologicos es la topo-
loga caja en la cual los basicos son producto de abiertos en cada coordenada:
. Sin
embargo, es claro que con esta denicion no se cumplira la propiedad universal del producto
topol ogico, pues la imagen inversa de uno de estos abiertos sera la intersecci on
(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 nito.
5.4 Corolario. Si Y es un espacio topologico, entonces una funci on f : Y

es
continua si, y s olo si, para cada , la funci on p
f es continua.
5.5 Ejercicio. Sea (x
n
)
n
una sucesion en un producto topologico X =
. Para
sea p
: X X
la proyecci on. Probar que (x

n
)
n
converge a x en X si y s olo si para
toda se tiene que (p
(x
n
))
n
converge a p
(x). Es esto cierto si en lugar de la topologa

producto se usa la topologa caja?
5.6 Proposici on. La propiedad universal del producto lo caracteriza, es decir, si un
espacio topol ogico Z tiene funciones continuas
: Z X
tales que dada una familia de

funciones continuas f
: Y X
existe una unica funcion continua f : Y Z tal que para

cada , se tiene que
f = f
, entonces Z es homeomorfo a
y las funciones
corresponden a las p
mediante el homeomorsmo.
Demostraci on. La demostraci on es est andar, analoga a la demostraci on de que la pro-
piedad universal del cociente lo caracteriza.
De aqu en adelante cuando se considere el producto cartesiano de espacios topologicos,
si no se dice lo contrario, la topologa en el ser a la topologa producto.
38
5.7 Observaci on. El producto de espacios discretos no necesariamente es discreto.
5.8 Observacion. Si i = 0, 1, 2, entonces el producto de espacios T
i
tambien es un
espacio T
i
.
Demostraci on. 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.
5.9 Observaci on. El producto numerable de espacios 1
o
numerables o 2
o
numerables
tambien satisface el mismo axioma de numerabilidad.
Demostraci on. Probemoslo para 2
o
numerables (la demostraci on para 1
o
numerables es
an aloga). Sea X
n
: n N una familia de espacios 2
o
numerables. Si
n
es base numerable
de X
n
, entonces una subbase para
X
n
es
_
n
U
n
m=n
X
m
: U
n

n
,
la cual es numerable por ser uni on numerable de numerables.
5.10 Proposicion. Si f
: X
: es una familia de funciones continuas

entonces la funcion f :
denida por f((x
) = (f
(x
))
es continua.
Demostraci on. Aplicamos la propiedad universal del producto a la familia de funciones
continuas f
, donde p
es la proyeccion natural de
en X
.
5.11 Proposicion. Sea (X
n
, d
n
) espacio metrico para n N, con d
n
metrica acotada
por 1. Entonces X =
n
X
n
es metrizable con la metrica D : X X R denida por
D((x
n
)
n
, (y
n
)
n
) =
n=1
d
n
(x
n
, y
n
)
2
n
.
Demostraci on. 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 = (x
1
, x
2
, . . .) contiene
un b asico de la metrica alrededor de x, y viceversa. Es claro que basta trabajar con los centros
de las bolas.
Consideremos entonces un b asico de la topologa dada por la metrica alrededor de x, es
decir, consideremos B = B
D
r
(x) para cierta r > 0. Sea n N tal que
1
2
n+1
+
1
2
n+1
+ <
r
2
y
sea s =
r
2
. Veamos que el b asico del producto alrededor de x denido por
U = B
s
(x
1
) B
s
(x
n
)
m>n
X
m
39
est a contenido en B. En efecto, si y = (y
n
)
n
U entonces
D(x, y) =
n=1
d
n
(x
n
, y
n
)
2
n
<
r
2
_
1
2
+ +
1
2
n
_
+
r
2
< r.
Ahora consideremos un b asico V del producto alrededor de x:
V = B
r
1
(x
1
) B
r
k
(x
k
)
n>k
X
n
.
Sea r = minr
1
, . . . , r
k
y sea s =
r
2
k
. Veamos que B
D
s
(x) V . Sea y = (y
n
)
n
B
D
s
(x).
Entonces para n = 1, . . . , k tenemos que
d
n
(x
n
, y
n
)
2
n

d
1
(x
1
, y
1
)
2
1
+
d
2
(x
2
, y
2
)
2
2
+ = D(x, y) < s =
r
2
k
,
de donde d
n
(x
n
, y
n
)
2
n
2
k
r r r
n
, como queramos.
5.12 Ejercicio. Sea X
una familia de espacios topologicos. Para cada sea

A
. Probar que
(a) si A
es cerrado en X
para toda , entonces
es cerrado en
, y que
(b)
.
una familia de espacios topologicos. tomemos una sucesi on

con terminos x
n
= (x
n,
)
. Probar que (x
n
)
n
converge a z = (z
si y solo si para
cada coordenada se tiene que la sucesion (x
n,
)
n
converge a z
.
: una familia de espacios topol ogicos. Supongamos que

para cada se tiene que Y
es un subespacio de X
. Sea la topologa producto en
y sea la topologa inducida en
como subespacio de
(este con la
topologa producto). Probar que = .
: una familia de espacios topol ogicos. Supongamos que

para cada se tiene que A
es un subconjunto denso de X
. Probar que
es
denso en
.
5.16 Ejercicio. Sea d : R R R denida por d(x, y) = min[x y[, 1. Sean D, d
:
R
N
R
N
R por
D((x
n
)
n
, (y
n
)
n
) =
n=1
d(x
n
, y
n
)
2
n
y d
((x
n
)
n
, (y
n
)
n
) = supd(x
n
, y
n
) : n N.
Sabemos que d es una metrica acotada que induce la topologa usual de R, que D y d
son
metricas en R
N
y que la metrica D induce la topologa producto que denotamos por
. Sea
40
la topologa uniforme (inducida por d
) y sea
la topologa caja.
(a) Probar que
.
(b) Sean (x
n
)
n
y (y
n
)
n
las sucesiones en R
N
denidas por
x
1
= (1, 0, 0, 0, . . .) y
1
= (1, 1, 1, 1, . . .)
x
2
= (1, 1, 0, 0, . . .) y
2
= (0,
1
2
,
1
2
,
1
2
, . . .)
x
3
= (1, 1, 1, 0, . . .) y
3
= (0, 0,
1
3
,
1
3
, . . .)
.
.
.
.
.
.
Probar que (x
n
)
n
converge en
pero no en
y que (y
n
)
n
converge en
pero no en
. (En
consecuencia las contenciones del inciso (a) son propias.)
41
6. Compactos
Un subconjunto A de un espacio topol ogico X es compacto si para toda cubierta
abierta U
: (es decir, familia de abiertos cuya union contiene a A) existe un

subconjunto nito
1
, . . . ,
k
de tal que A U
1
U
k
. (Decimos que U
1
, . . . , U
es subcubierta nita de U
: .)
6.1 Ejemplo. (a) R no es compacto pues la cubierta abierta (n 1, n +1) : n Z de
R no tiene subcubierta nita.
(b) (0, 1] no es compacto porque la cubierta abierta (
1
n
, 2) : n N de (0, 1] no tiene
subcubierta nita.
(c) Si A = a
1
, . . . , a
n
es un subconjunto nito 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 a
i
U
i
; la subcubierta buscada es U
1
, . . . , U
n
.)
(d) Si X tiene la topologa indiscreta entonces cualquier subconjunto de X es compacto.
(e) Si X tiene la topologa conita entonces X es compacto. Dada una cubierta abierta
| tomamos un elemento U
0
|; sea U = X x
1
, x
2
, . . . , x
n
; para cada i = 1, 2, . . . , n sea
U
i
| tal que x
i
U
i
; entonces la subcubierta nita buscada es U
0
, U
1
, . . . , U
n
.
(f) Si X tiene la topologa discreta y es innito, entonces no es compacto. (Una cubierta
abierta sin subcubierta nita es x : x X.)
(g) El subespacio
1
n
: n N de R no es compacto.
(h) El subespacio
1
n
: n N 0 de R es compacto.
6.2 Proposici on. Si C es un subconjunto cerrado de un espacio compacto X, entonces
C es compacto.
Demostraci on. Sea | = U
: una cubierta abierta para C. Consideremos la

cubierta abierta para X que se obtiene al agregar X C a |. Como X es compacto, esta
nueva cubierta tiene una subcubierta nita. Es claro que los elementos de | que pertenezcan
a esta nueva cubierta cubren a C, as que esa es la subcubierta nita buscada.
6.3 Proposici on. Si X es un espacio Hausdor y A X es compacto entonces A es
cerrado.
Demostraci on. 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 U
a
y V
a
abiertos
ajenos tales que a U
a
, x V
a
. Entonces | = U
a
: a A es una cubierta abierta para
A, que es compacto, as que consideremos una subcubierta nita: U
a
1
, U
a
2
, . . . , U
an
. Sea
V = V
a
1
V
a
2
V
an
. Entonces V es la vecindad de x buscada.
42
6.4 Proposici on. Sea f : X Y funci on continua. Si K X es compacto entonces
tambien lo es f(K).
Demostraci on. Sea | una cubierta abierta de f(K). Consideremos 1 = f
1
(U) :
U |. Por ser f continua, cada elemento de 1 es abierto. Adem as, si x K, entonces
f(x) f(K) y existe U | tal que f(x) U, de donde x f
1
(U) 1, por lo que
1 es una cubierta abierta de K. Como K es compacto, 1 tiene una subcubierta nita:
f
1
(U
1
), . . . , f
1
(U
n
). Veamos que U
1
, . . . , U
n
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
(U
i
), de donde f(x) U
i
.
6.5 Lema. Si f : X Y es una funcion continua, X es compacto y Y es Hausdor,
entonces f es cerrada.
Demostraci on. Sea C X cerrado. Tenemos que C es compacto, por tanto f(C)
tambien lo es, pero como Y es Hausdor 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 homeomorsmos.
6.6 Corolario. Si f : X Y es una funci on continua y biyectiva, y X es compacto y
Y es Hausdor, entonces f es homeomorsmo.
Demostraci on. Por el lema anterior, f es cerrada y, por ser biyectiva y continua, es
homeomorsmo.
6.7 Corolario. Si f : X Y es una funci on continua e inyectiva, y X es compacto y
Y es Hausdor, entonces f es inmersion.
En [], [](a) y [] usamos, sin demostracion, el resultado del lema (y su primer corolario).
Ilustramos aqu otra vez el metodo:
6.8 Ejemplo. Si en X = [0, 1] denimos la relaci on de equivalencia
x y x = y o x, y = 0, 1
entonces S
1
X/.
Demostraci on. Sea f : [0, 1] S
1
denida por f(x) = e
2ix
. Entonces f es continua;
como x y f(x) = f(y), la propiedad universal del cociente nos dice que f induce una
funci on continua
f : X/ S
1
; ademas, como f es suprayectiva, tambien lo es
f, y como
las bras de f son precisamente las clases de equivalencia entonces
f es inyectiva. Por el
43
corolario tenemos que es homeomorsmo.
El Teorema de Tychono dice que producto (arbitrario) de espacios compactos es
compacto. Probaremos aqu solo el caso nito; para ello necesitamos un lema.
6.9 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.
Demostraci on. Para cada y Y sea U
y
V
y
un producto de abiertos tal que (x, y)
U
y
V
y
U. Entonces U
y
V
y
: y Y es una cubierta abierta de x Y que es
homeomorfo a Y y, por tanto, es compacto, as que tiene una subcubierta nita:
U
y
1
V
y
1
, U
y
2
V
y
2
, . . . , U
yn
V
yn
.
Es claro que la vecindad W =
i
U
y
i
de x funciona.
6.10 Proposicion. Si X y Y son espacios compactos entonces tambien lo es X Y .
Demostraci on. Sea | una cubierta abierta de XY . Para cada x X sea U
x
la uni on
de todos los elementos de | que intersectan a x Y . Por ser | cubierta abierta, U
x
es un
abierto que contiene a x Y . Usando el Lema del Tubo, tomemos W
x
abierto en X tal
que W
x
Y U
x
. Entonces W
x
: x X es una cubierta abierta de X que tambien es
compacto, as que tiene una subcubierta nita W
x
1
, W
x
2
, . . . , W
xn
. La subcubierta nita
de | que buscamos es U
x
1
, U
x
2
, . . . , U
xn
.
Sea ( una familia de subconjuntos de un conjunto X. Decimos que ( tiene la propiedad
de interseccion nita (abreviado PIF) si cualquier subfamilia nita de ( tiene interseci on
no vaca.
La siguiente proposicion nos da una version con cerrados de la denici on de compacto.
Es realmente una traduccion de la denicion usando las leyes de De Morgan.
6.11 Proposici on. Un espacio topol ogico X es compacto si y solo si toda familia de
cerrados con la PIF tiene interseccion no vaca.
Demostraci on. Demostraremos solo la parte () pues la parte () es an aloga. Sea (
una familia de cerrados con la PIF. Supongamos que
CC
C = . Entonces
X = X
CC
C =
_
CC
X C,
de donde | = XC : C ( es una cubierta abierta para X. Por ser X compacto podemos
tomar una subcubierta nita: X C
1
, X C
2
, . . . , X C
n
. Pero entonces otra vez, por De
44
Morgan, es claro que C
1
C
2
C
n
= , lo cual es una contradiccion a que ( satisfaga
la PIF.
6.12 Corolario. Si X es compacto y C
1
C
2
es una cadena de cerrados no vacos
de X entonces
n
C
n
es no vaca.
6.13 Corolario. Si X es compacto y / es una familia de conjuntos con la PIF, entonces
AA
A es no vaca.
6.14 Proposici on. 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.
Demostraci on. Si a = b no hay nada que probar, as que supongamos que a < b. Sea |
una cubierta abierta de [a, b] y sea T = x [a, b] : [a, x] est a cubierto por un n umero nito
de elementos de |. Es claro que a T as que T ,= . Adem as T est a acotado superiormente
(por ejemplo b es cota superior), as que T tiene supremo. Sea x
0
= sup T. Probaremos que
x
0
T y que x
0
= b.
Probemos primero que a < x
0
. Sea U un elemento de | que contenga a a y sea [a, c) U.
Sea d = minc, b. Entonces d ,= a y es claro que d T (pues basta agregar a U un
elemento de | que cubra a d).
Ahora veamos que x
0
T. Sea U
0
un elemento de | tal que x
0
U
0
y sea (c, x
0
] U
0
con
a < c (esto es posible pues a < x
0
). Por ser x
0
el supremo de T, existe x (c.x
0
] T. Pero
entonces al agregar U
0
a la cantidad nita de elementos de | que cubren a [a, x] tenemos
que [a, x
0
] esta cubierto por una cantidad nita de elementos de |, de donde x
0
T.
Finalmente veamos que x
0
= b. Supongamos que x
0
< b. Tomemos una colecci on nita
T de elementos de | que cubran a [a, x
0
] y sea U
0
T que contenga a x
0
. Sea [x
0
, c) U
0
con c b y agreguemos a T un elemento de | que contenga a c, probando as que c T, lo
cual es imposible porque x
0
era el supremo de T.
6.15 Proposicion. Teorema de Heine-Borel. Los compactos de R
s
son los conjuntos
cerrados y acotados.
Demostraci on. Como R
s
es Hausdor, todo compacto A en R
s
es cerrado. Es claro
que tambien debe ser acotado pues si no la cubierta abierta B
n
(0) : n N no tendra
subcubierta nita. Recprocamente, sea A un subconjunto cerrado y acotado de R
s
; por
ser acotado A est a contenido en un producto [c
1
, d
1
] [c
s
, d
s
] el cual es un conjunto
compacto, por [] y []; ahora, A es un cerrado dentro de un compacto y, por tanto, por [],
45
tambien es compacto.
6.16 Proposicion. Sea f : X Y continua con X compacto y Y ordenado. Entonces
f alcanza su mnimo (es decir, existe x
0
X tal que f(x) f(x
0
) para todo x X) y su
m aximo (es decir, existe x
1
X tal que f(x) f(x
1
) para todo x X).
Demostraci on. Probaremos que f alcanza su m aximo. (La demostraci on de que alcanza
su mnimo es an aloga.) Tenemos que f(X) es compacto. Supongamos que no existe x
1
X
tal que f(x
1
) f(x) para todo x X; esto implica que | = (, f(x)) : x X
es cubierta abierta de f(X) (pues para todo x X, estamos suponiendo que f(x) no es
m aximo, de manera que existe x
X tal que f(x) (, f(x
); sin embargo | no puede

tener subcubierta nita porque si (, f(x
1
)), . . . , (, f(x
n
)) fuera subcubierta nita
y x
0
= maxx
1
, . . . , x
n
entonces f(x
0
) f(X), pero f(x
0
) no pertenece a la union de los
(, x
i
).
6.17 Proposici on. Si X es compacto y A es un subconjunto innito de X entonces A
tiene punto de acumulacion.
Demostraci on. Supongamos que no, es decir, A
= ; pero entonces A es cerrado pues

A = A A
= A. Por ser X compacto, por [], tenemos que A tambien es compacto. Para
cada a A sea U
a
abierto tal que U
a
A = a (tal conjunto existe pues a no es punto de
acumulaci on). Entonces la cubierta abierta U
a
: a A tiene subcubierta nita, lo cual es
una contradicci on pues A es innito.
6.18 Lema. Sea X un espacio T
1
. Si A X y x A
, entonces toda vecindad de x tiene

una innidad de elementos de A.
Demostraci on. Supongamos que U A
x
es tal que U A = x
1
, . . . , x
n
. Usando que
X es T
1
, para cada x
i
,= x tomemos V
i
A
x
que no contenga a x
i
. Entonces V =
V
i
es
una vecindad de x tal que (V x) A = , contradiciendo el hecho de que x A
.
Decimos que un espacio topol ogico es compacto por sucesiones si toda sucesion tiene
subsucesi on convergente.
6.19 Lema. Sea X un espacio 1
o
numerable y T
1
. Si todo conjunto innito tiene punto
de acumulaci on entonces X es compacto por sucesiones.
Demostraci on. Sea (x
n
)
n
una sucesion en X. Si el conjunto A = x
n
: n N es
nito, entonces alguno de los terminos de la sucesion se repite una innidad de veces as que
la subsucesi on constante con ese termino es convergente. Supongamos entonces que A es
innito; por hip otesis, sea x A
. Construyamos una subsucesi on de (x

n
)
n
que converja a
x: Sea U
k
: k N una base local de x tal que U
1
U
2
; por induccion construimos
46
x
n
k
U
k
de manera que n
k+1
> n
k
(esto es posible por el lema anterior). Es claro que la
subsucesi on (x
n
k
)
k
converge a x.
Dada | una cubierta abierta de un espacio metrico (X, d), decimos que > 0 es n umero
de Lebesgue para | si para todo A X con diam(A) < , se tiene que existe U | tal
que A U. Es claro que si es n umero de Lebesgue para | entonces cualquier real positivo
< tambien lo es. No toda cubierta tiene n umero de Lebesgue. El siguiente lema nos da
una condicion suciente.
6.20 Lema. Si (X, d) es un espacio metrico compacto por sucesiones entonces toda
cubierta abierta para X tiene n umero de Lebesgue.
Demostraci on. Supongamos que no y sea | cubierta abierta sin n umero de Lebesgue.
Para cada n N tomemos A
n
X de di ametro menor que
1
n
para el cual no exista ning un
subconjunto de | que lo contenga. Sea a
n
A
n
y, usando la hipotesis consideremos una
subsucesi on de (a
n
)
n
que converja, digamos a x
0
X. Sea U | tal que x
0
U y sea
m N tal que B1
m
(x
0
) U; sea k N tal que k > 2m y
a
n
k
B 1
2m
(x
0
);
entonces, dado que el diametro de A
n
k
es menor que
1
n
k
tenemos que A
n
k
B 1
2m
(x
0
) U,
lo cual es una contradicci on.
6.21 Proposicion. Sea X un espacio metrico. Entonces son equivalentes las siguientes
propiedades para X:
(a) X es compacto.
(b) Todo conjunto innito de X tiene punto de acumulacion.
(c) X es compacto por sucesiones.
Demostraci on. (a) (b) Esto se demostr o en general en [].
(b) (c) Como X es metrico, entonces es T
1
y 1
o
numerable, as que esto se demostr o en
[].
(c) (a) Veamos primero que toda para toda > 0 existe una cubierta nita de X
formada por bolas de radio . Supongamos que no y sea > 0 tal que ninguna union nita
de bolas de radio cubra a X. Por inducci on construyamos una sucesi on (x
n
)
n
en X como
sigue: x
1
X es arbitrario y para n 2 sea x
n
X B
(x
1
) B
(x
n1
). Como X es
compacto por sucesiones (x
n
)
n
tiene subsucesion convergente, sin embargo esto es claramente
imposible pues los terminos de la sucesi on distan todos entre s m as que 2 (o sea que la
subsucesi on no es de Cauchy, lo cual es necesario para cualquier sucesi on convergente).
Probemos ahora que X es compacto usando el lema anterior. Sea | una cubierta abierta
para X y sea un n umero de Lebesgue para |. Usando lo probado arriba tomemos x
1
, . . . , x
n
47
tal que
X =
_
i
B
3
(x
i
).
Como estas bolas tienen diametro menor que , cada una de ellas est a contenida dentro de
alg un elemento de |, digamos B
3
(x
i
) U
i
. La subcubierta buscada es U
1
, U
2
, . . . , U
n
.
6.22 Proposici on. Sean (X, d
X
) y (Y, d
Y
) espacios metricos con X compacto. Si f :
X Y es continua entonces f es uniformemente continua.
Demostraci on. Primera forma. (Usando n umero de Lebesgue.) Sea > 0. Consideremos
la cubierta abierta
| = f
1
(B
2
(y)) : y Y
de X, que es compacto y, por tanto, tiene n umero de Lebesgue . Si d
X
(x
1
, x
2
) < entonces el
conjunto x
1
, x
2
tiene diametro , de manera que est a contenido en alguno de los elementos
de |, digamos f
1
(B
2
(y
0
)); en consecuencia f(x
1
), f(x
2
) B
2
(y
0
) y as d
Y
(f(x
1
), f(x
2
)) <
.
Segunda forma. (Usando (b) de [].) Supongamos que f no es uniformenente continua.
Tomemos > 0 tal que para toda n N existen x
n
, x
n
tales que d
X
(x
n
, x
n
) <
1
n
pero
d
Y
(f(x
n
), f(x
n
)) > . Consideremos una subsucesi on (x
n
k
)
k
de (x
n
)
n
y despues una subsu-
cesi on convergente de (x
n
k
)
k
, que, sin perdida de generalidad, podemos suponer que es ella
misma. Digamos que x
n
k
x
0
y que x
n
k
x
0
. Entonces, cuando k , tenemos que
d
X
(x
n
k
, x
n
k
) 0, lo cual implica que x
0
= x
0
pues d
X
es una funci on continua; sin embargo
tambien d
Y
es continua as que < d
Y
(f(x
n
k
), f(x
n
k
)) d
Y
(f(x
0
, f(x
0
)) = 0, lo cual es una
contradicci on.
6.23 Ejercicio. Sea X un espacio Hausdor 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 s olo se pide que A y B sean cerrados en lugar de compactos?
6.24 Ejercicio. Sea X un espacio indiscreto tal que [X[ = 2. Probar que en XN todo
conjunto innito tiene punto de acumulaci on pero que X N no es compacto.
6.25 Ejercicio. Decimos que un espacio topologico es de Lindelof si toda cubierta
abierta tiene una subcubierta (a lo m as) numerable.
(a) Probar el Teorema de Lindel of: Si X es segundo numerable entonces X es de
Lindel of.
(b) Probar que Lindel of no implica segundo numerable.
6.26 Ejercicio. Sea X compacto y sea (x
n
)
n
una sucesi on en X tal que todas sus
subsucesiones convergentes tienen por lmite x
0
. Probar que (x
n
)
n
converge a x
0
. Probar que
este resultado es falso si no se pide que X sea compacto.
48
6.27 Ejercicio. Probar que si X es metrico y compacto entonces X es 2
o
numerable.
(Sugerencia: Construir base con bolas de radio
1
n
.)
6.28 Ejercicio. Demos a X = [0, 1] [0, 1] la topologa del orden lexicogr aco.
(a) Probar que X es compacto.
(b) Encontrar el conjunto de puntos de acumulaci on de A = [0, 1]
1
2
.
(c) Probar que X es 1
o
numerable.
(d) Probar que X no es 2
o
numerable.
(e) Probar que X no es metrizable. (Comparar con [](f).)
49
7. Conexidad
Sea X un espacio topologico. Una separaci on 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 separaci on en abiertos para X. En caso contrario, se dice que X es disconexo.
7.1 Ejemplo. (a) Si X = (0, 1) [, ) entonces X es disconexo (U = (0, 1) y V =
[, ) forman una separaci on en abiertos).
(b) Z Z es disconexo. (Una separaci on 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 innito y tiene la topologa conita entonces X es conexo (pues cualesquiera
dos abiertos se intersectan).
(e) El conjunto Q de los n umeros racionales es disconexo. (Una separaci on en abiertos es
(,
2) Q, (
2, ) Q).)
(f) R
l
es disconexo. (Una separaci on en abiertos es (, 0), [0, ).)
(g) El subespacio X de R
2
denido por X = (x,
1
x
) : x > 0 ((0, ) 0) es
disconexo (tanto (x,
1
x
) : x > 0 como (0, ) 0 son abiertos en X pues se obtienen
como la interseccion de (x, y) : x > 0, y >
1
2x
y (x, y) : x > 0, y <
1
2x
).
(h) Gracias a [] tendremos que (x, sen
_
1
x
_
) : x > 0 (0 [1, 1]) es conexo.
7.2 Observacion. Sea Y un subespacio de un espacio topol ogico X. Entonces Y es
conexo si y s olo si no existen U y V abiertos de X tales que
(a) U Y ,= y V Y ,= .
(b) Y U V .
(c) Y U V = .
Demostraci on. Esto es claro pensando en los abiertos relativos U Y y V Y .
7.3 Proposici on. Sea f : X Y continua. Si X es conexo entonces tambien lo es
f(X).
Demostraci on. Si (U, V ) fuera una separacion en abiertos de f(X) entonces una sepa-
raci on en abiertos para X sera (f
1
(U), f
1
(V )).
7.4 Lema. Si C es un subconjunto conexo de X y (U, V ) es una separaci on para X,
entonces C U o C V .
Demostraci on. Es claro porque si no (U, V ) sera una separacion para C.
50
7.5 Corolario. Si C
: es una familia de conexos con
,= , entonces
es conexo.
Demostraci on. Suponiendo que no, sea (U, V ) una separaci on para 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 = .
7.6 Corolario. Sea C
1
, C
2
, . . . una familia de conexos tal que C
n
C
n+1
,= para toda
n. Entonces
nN
C
n
es conexo.
Demostraci on. Supongamos que no y sea (U, V ) una separaci on en abiertos. Como cada
C
n
es conexo esta contenido en alguno de U o V . Supongamos que C
1
U. Sea n el primer
natural tal que C
n
V . Entonces , = C
n1
C
n
U V , lo cual es una contradiccion.
7.7 Nota. En la demostraci on anterior se uso el Principio del Buen Orden (que es
equivalente al Principio de Inducci on) para probar que todos los C
n
estaban contenidos en
U. Sin embargo, sera incorrecto decir que el resultado es v alido para dos conexos (por []) y
despues decir que entonces es cierta la proposici on por inducci on pues la induccion s olo nos
llevara a concluir que la uni on nita de conexos que se intersectan en cadena es tambien
conexo.
7.8 Corolario. Si Y es un subconjunto conexo de X y Y Z Y , entonces Z es
conexo.
Demostraci on. Supongamos que no y sea (U, V ) una separacion en abiertos para Z.
Como Y es conexo, entonces Y est a totalmente contenido en alguno de U o V ; supongamos
que Y U. Supongamos que hay un elemento z ZV ; como V es abierto, es una vecindad
de z, pero z Y , por tanto V Y ,= , lo cual es una contradiccion.
7.9 Lema. Si X y Y son dos espacios conexos, entonces tambien lo es su producto XY .
Demostraci on. Sea x
0
X. Entonces A = x
0
Y es conexo por ser homeomorfo a
Y . Por la misma raz on, para cada y Y se tiene que B
y
= Xy es conexo que intersecta
a A, de manera que C
y
= A B
y
tambien es conexo. Entonces todos los C
y
se intersectan
(pues todos contienen a A) as que
y
C
y
= X Y es conexo.
7.10 Proposicion. Si X
: es una familia de conexos entonces tambien lo es

X =
.
Demostraci on. Sea a = (a
X jo. Para cada F nito, si F =

1
, . . . ,
k
sea
Z
F
= X
1
X
=
i
a
= (x
: x
= a
F.
51
Observemos que Z
F
es homeomorfo a X
1
X
k
, por tanto es conexo y entonces tambien
lo es Z =
F
Z
F
pues los conjuntos contienen todos a a. Veamos ahora que Z es denso en
X. Sea U abierto basico de X,
U = U
1
U
=
i
X
.
Sea F =
1
, . . . ,
k
y sea x
i
U
i
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 adem as
las siguientes dos condiciones:
(a) La propiedad del supremo,
(b) Dados a < b en X existe c X tal que a < c < b.
7.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) R
2
con la topologa del orden lexicogr aco 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 lexicograco 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).
7.12 Proposicion. Si X es un continuo lineal y Y es un intervalo, rayo o Y = X,
entonces Y es conexo.
Demostraci on. Supongamos que no y sea (U, V ) una separaci on en abiertos. Sea a U
y sea b V . Supongamos, sin perdida de generalidad, a < b. Sean U
0
= U [a, b] y
V
0
= V [a, b]. Entonces (U
0
, V
0
) es una separaci on en abiertos (relativos) de [a, b]. Como
U
0
est a acotado superiormente (b es cota) tiene supremo c. Observemos que c b (pues b es
cota) y que a c (pues a U
0
y c es supremo de U
0
), de manera que c [a, b] = U
0
V
0
.
Si c U
0
entonces c ,= b, as que, por ser U
0
abierto en [a, b] existe [c, d) U
0
lo cual
implica, por la condici on (2) de continuo lineal que existe d
(c, d) U
0
, lo cual es una
contradicci on. Si c V
0
el mismo argumento nos da un (d, c] V
0
y un d
(d, c) V
0
, lo
cual tambien es una contradicci on pues d
sera una cota de U

0
menor que c.
Las condiciones (a) y (b) tambien son necesarias.
7.13 Proposici on. Si X es un espacio totalmente ordenado conexo entonces X es con-
tinuo lineal.
52
Demostraci on. 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 ) ser a 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
separaci on en abiertos buscada para X es ((, b), (a, )).
7.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).
Demostraci on. 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.
7.1. Conexidad por trayectorias
Si x, y son elementos de un espacio topologico X, una trayectoria de x a y es una
funci on 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.
7.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 R
n
es un conjunto convexo (es decir, para cualesquiera dos puntos el segmento
que los une est a contenido dentro de X) entonces X es cpt.
(e) R [0, 1] con el orden lexicograco 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
n umero racional distinto).
(f) Q no es cpt. (Esto es consecuencia del siguiente resultado.)
7.16 Proposicion. Si X es cpt entonces X es conexo.
53
Demostraci on. 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 proposici on anterior es falso, como muestra el siguiente ejemplo.
7.17 Ejemplo. El subespacio de R
2
denido por A B donde A = 0 [1, 1] y
B = (x, sen
_
1
x
_
) : x > 0 (llamado curva del top ologo) es conexo pero no es cpt.
Demostraci on. 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 t
0
= sup(T). Entonces (t
0
) A
puesto que es continua y A es cerrado, de donde ([0, t
0
]) = ([0, t
0
)) A = A. Sea
a
0
= (t
0
). Usando otra vez la continuidad de existe > 0 tal que [t
0
, t
0
+ ) B1
2
(a
0
),
pero esto contradice el hecho de que t
0
= sup(T).
7.2. Componentes
Sea X un espacio topol ogico. Una componente es un subconjunto conexo m aximo C de
X (es decir, no existe D subconjunto conexo de X del cual C sea subconjunto propio).
7.18 Ejemplo. El espacio total X es la union ajena de sus componentes y todo subcon-
junto conexo de X est a contenido en alguna componente.
7.19 Ejemplo. (a) R s olo 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).
7.20 Proposicion. Si C es una componente de X entonces C es un conjunto cerrado.
Demostraci on. Esto es consecuencia inmediata de que la cerradura de un conexo es
conexo.
Claramente, si el conjunto de componentes es nito, entonces las componentes son tam-
bien abiertas; sin embargo, en el caso de un n umero innito de componentes esto puede no
ser cierto como lo muestra el siguiente ejemplo.
54
7.21 Ejemplo. Si X = 0
1
n
: n N entonces X es totalmente disconexo; las
componentes de la forma
1
n
son abiertas pero la componente 0 no lo es.
An alogo a la denici on de componente denimos componente por trayectorias co-
mo un subconjunto cpt maximo. Las componentes por trayectorias no son necesariamente
cerradas como lo prueba el ejemplo siguiente.
7.22 Proposici on. Las componentes por trayectorias de X, la curva del top ologo, son
A = 0 [1, 1] y B = (x, sen
_
1
x
_
) : x > 0; A es cerrado pero B no lo es.
Demostraci on. Como vimos en [] ning un 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.
7.3. Conexidad local
Sea X un espacio topol ogico 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 peque no en x. Es claro que localmente
conexo implica conexo en peque no pero el recproco es falso, de acuerdo al siguiente ejemplo.
7.23 Ejemplo. Sea X el subespacio de R
2
construido como sigue: Con vertice en cada
uno de los puntos P
n
= (
1
n
, 0) (para n N) pongamos los segmentos o
n,m
de las rectas con
pendiente
1
m
y que van desde el punto con abcisa
1
n+1
hasta P
n
. A la uni on de todas estas
escobas agreguemos el segmento [0, 1] 0. Entonces X es conexo en peque no pero no
localmente conexo en P
0
= (0, 0).
Demostraci on. Observemos que para cada n N los segmentos o
n,m
se acercan al
segmento [
1
n+1
,
1
n
]0. Cualquier vecindad abierta de P
0
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
D1
n
(P
0
) = x X : [[x P
0
[[
1
n
son vecindades (pues contienen a las bolas con el mismo
radio) y estas s son conexas (de hecho, conexas por trayectorias).
An alogamente denimos localmente conexo por trayectorias (abreviado localmente
55
cpt).
7.24 Observaci on. Localmente cpt implica localmente conexo.
7.25 Ejemplo. (a) X = [0, 1) [2, 3) es localmente conexo.
(b) La curva del top ologo 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.
7.26 Proposici on. Un espacio X es localmente conexo (resp. localmente cpt) si y s olo
si las componentes (resp. componentes por trayectorias) de los abiertos son abiertas.
Demostraci on. 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 ,= , por lo cual U X (por ser C m aximo conexo de A), de donde C es abierta.
Ahora supongamos que las componentes de los abiertos son abiertas y sea x X y
N A; 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.
7.27 Proposicion. Si X es localmente cpt entonces las componentes coinciden con las
componentes por trayectorias.
Demostraci on. 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
T
x
la componente por trayectorias que contiene a x; entonces T
x
C (por ser T
x
conexo) y
tenemos que C = T
xC\T
T
x
. Por ser X localmente cpt, tambien es localmente conexo
as que C es abierta y tambien lo son T y las T
x
, pero entonces (T,
xC\T
T
x
) es una
separaci on 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 T
x
la componente por
trayectorias que contiene a X; entonces T
x
C y, por lo probado arriba, T
x
= C.
7.28 Corolario. Si X es localmente cpt y X es conexo, entonces X es cpt.
7.29 Corolario. Si X es localmente cpt y U es abierto y conexo, entonces tambien es
cpt.
56
Demostraci on. 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.
7.30 Corolario. En R
n
si U es abierto y conexo, entonces tambien es cpt.
Demostraci on. Tenemos que R
n
es localmente cpt (pues las bolas son cpt).
7.31 Ejercicio. Probar que si X
: es una familia de espacios topol ogicos tales

que
es conexo, entonces X
es conexo para toda .

7.32 Ejercicio. Un espacio X es totalmente disconexo si sus unicos subconjuntos co-
nexos son los de un solo elemento. Probar que todo espacio discreto es totalmente disconexo.
Es cierto el recproco?
7.33 Ejercicio. Sea X conexo y sea A un subconjunto propio y no vaco de X. Probar
que A ,= . Probar adem as que esta propiedad caracteriza a los espacios conexos.
7.34 Ejercicio. Probar que R y R
2
no son homeomorfos.
7.35 Ejercicio. Encontrar dos espacios no homeomorfos X y Y tales que existen inmer-
siones f : X Y y g : Y X.
7.36 Ejercicio. Probar que (0, 1), [0, 1) y [0, 1] son todos no homeomorfos entre s.
7.37 Ejercicio. Probar que
(a) producto de cpts es cpt,
(b) imagen continua de cpt es cpt,
(c) union de cpts con intersecci on no vaca es cpt y
(d) cerradura de cpt no siempre es cpt.
7.38 Ejercicio. Sea X localmente conexo (respectivamente localmente cpt) y sea f :
X Y continua.
(a) Probar que si f es abierta entonces f(X) es localmente conexo (resp. localmente cpt).
57
(b) Probar que si f es identicacion entonces f(X) es localmente conexo (resp. localmente
cpt). (Sugerencia: Recordar que un espacio es localmente conexo si y s olo si las componentes
de los abiertos son abiertas.)
(c) Probar que el resultado del inciso anterior es falso si no se pide que la funcion sea
abierta o identicacion.
7.39 Ejercicio. Probar que I I (aqu I = [0, 1]) con la topologa del orden lexicograco
es localmente conexo pero no localmente cpt y determinar cu ales son las componentes por
trayectorias.
7.40 Ejercicio. Sea K =
1
n
: n N. Encontrar las componentes y las componentes
por trayectorias de los siguientes subespacios de R
2
:
A = (K[0, 1]) (0[0, 1]). B = A0
1
2
C = B([0, 1] 0). D = (K[0, 1])
((K) [1, 0]) ([0, 1] (K)) ([1, 0] K).
7.41 Ejercicio. Probar que si X es metrico conexo con m as de un elemento entonces X
es perfecto (es decir, todo punto es de acumulacion).
7.42 Ejercicio. (a) Dar un ejemplo de una funcion inyectiva y continua f : R R
2
cuya imagen sea un espacio no localmente conexo.
(b) Probar que si f : [0, 1] R
2
es una funci on inyectiva y continua entonces f([0, 1]) es
localmente conexo. (Sugerencia. [0, 1] es compacto).
7.43 Ejercicio. Probar que 0, 1 [0, ) con la topologa del orden lexicogr aco es
conexo por trayectorias.
58
Referencias y lecturas complementarias
[1] Bourbaki N., General Topology (Elements of Mathematics), Springer Verlag, 1989.
[2] Dugundji J., Topology, Allyn and Bacon, 1966.
[3] Garca-M aynez A. y Tamariz A., Topologa General, Porr ua, 1987.
[4] Hu S.T., Introduction to General Topology, Holden-Day, 1966.
[5] Munkres J.R., Topology, a rst course, Prentice-Hall, Inc., 1975.
[6] Willard S., General Topology, Addison Wesley, 1970.
59

Clasetop14 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clasetop14 PDF

Cargado por

Copyright:

Formatos disponibles

Topologa

por Mara Luisa Perez Segu

es diconexo. De esta manera, es claro que un crculo no puede

, es decir, la uni on arbitraria de abiertos

topologas para un conjunto X y sean y

es m as na (es decir, que

con respecto a las siguientes topologas:

: es una familia de subconjuntos de X, entonces

topologas para un conjunto X y sean y

es mas na que si y s olo si

es una uni on arbitraria de abiertos y f[

es continua para cada

que, a su vez, es abierto en X, as que tambien (f[U

X es la funcion de paso al cociente y, para x X, denotamos por

)) se tiene que existe una unica funci on continua

f est a bien denida (es decir,

X, p) es el unico espacio que satisface la propiedad

X Y continua tal que

X, p) cumple la propiedad y que q respeta bras tenemos

X Z tal que p = q. Ahora, usando que (Z, q) satisface la

X. Por otro lado,

X, p) cumple la propiedad y que la misma p respeta bras tenemos una unica

f p = p pero esto es obvio que ocurre para

f = , de donde es la funcion identica en

X = [0, 2] mediante la identicacion

la relacion dada por

dada por f(x) = p

. Por otro lado sea

as que g induce una funci on continua : S

r es identicaci on. Ademas esta identicacion tiene exactamente

para un mismo conjunto X son equivalentes si inducen

: de conjuntos denimos el producto cartesiano de ellos

, y los elementos del producto se pueden ver como sucesiones (x

no son vacos entonces el axioma de eleccion dice que

para toda , entonces

es equivalente a denir sus funciones coordena-

es un espacio topol ogico. Queremos dar a

la menor topologa que hace a las proyecciones continuas.

, entonces la topologa producto tiene

existe una unica

tal que para cada , se tiene que p

la proyecci on. Probar que (x

(x). Es esto cierto si en lugar de la topologa

tales que dada una familia de

existe una unica funcion continua f : Y Z tal que para

: es una familia de funciones continuas

denida por f((x

una familia de espacios topologicos. Para cada sea

para toda , entonces

una familia de espacios topologicos. tomemos una sucesi on

: una familia de espacios topol ogicos. Supongamos que

. Sea la topologa producto en

y sea la topologa inducida en

: una familia de espacios topol ogicos. Supongamos que

la topologa uniforme (inducida por d

: (es decir, familia de abiertos cuya union contiene a A) existe un

: una cubierta abierta de A; para cada i N sea

: una cubierta abierta para C. Consideremos la

X tal que f(x) (, f(x

); sin embargo | no puede

= ; pero entonces A es cerrado pues

, entonces toda vecindad de x tiene

. Construyamos una subsucesi on de (x