Professional Documents
Culture Documents
1. Espacios Topologicos 1
1.1. Espacios Topol ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Vecindades, Bases y Subbases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Puntos adhderencia, acumulacion, interior y frontera . . . . . . . . . . . . . . . . . . . . . 10
2. Espacios topologicos obtenidos a partir de otros 19
2.1. Topologa inducida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.1. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.2. Funciones continuas a valores reales . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3. Funciones abiertas, cerradas y homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4. Espacios producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.5. Espacios cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.5.1. Aplicaciones cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.5.2. Conjuntos saturados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3. Conexidad 63
3.1. Espacios Conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.2. Componentes conexas, conexidad local y por caminos . . . . . . . . . . . . . . . . . . . . 69
4. Axiomas de enumerabilidad y separacion 79
4.1. Axiomas de enumerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.2. Axiomas de separaci on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
i
INDICE GENERAL 1
4.3. Caracterizaciones de Normalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5. Compacidad 107
5.1. Espacios compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
1
2
INDICE GENERAL
2
Captulo 1
Espacios Topologicos
En este captulo adem as de introducir la nocion general de espacio topol ogico, desarrollaremos la
terminologa basica que es aplicada tanto para los puntos como para los subconjuntos de dichos espacios.
1.1. Espacios Topologicos
Denicion 1.1.1. Sea X un conjunto. Una topologa o estructura topol ogica en X es una familia T de
subconjuntos de X, llamados conjuntos abiertos en X y que cumplen las siguientes propiedades:
T
1
) La uni on de cualquier colecci on de conjuntos abiertos es un conjunto abierto;
T
2
) La intersecci on de cualquier dos conjuntos abiertos es un conjunto abierto;
T
3
) X y son conjuntos abiertos.
El par (X, T ) consistente del conjunto X y de la estructura topol ogica T es llamado espacio topol ogico.
Cuando no hay lugar a confusi on en relaci on a T , simplemente diremos que X es un espacio topol ogico
para hacer referencia al espacio topol ogico (X, T ). Los elementos de un espacio topol ogico seran llamados
puntos del espacio.
Ejemplos 1.1.2. 1. Dado un conjunto X, es claro que la colecci on partes de formada por todos los
subconjuntos de X, P(X) dene una topologa en X, la cual es llamada topologa discreta. En este
caso el par (X, P(X)) es llamado espacio topol ogico discreto.
2. Dado un conjunto X, la colecci on T = {, X} dene una topologa en el conjunto X, llamada la
topologa indiscreta en X.
3. Si X = {0, 1}, adem as de las topologas discreta e indiscreta es posible dotar este conjunto de las
topologas descritas a seguir T
0
=
_
, X, {0}
_
, T
1
=
_
, X, {1}
_
. El conjunto {0, 1} dotado con la
topologa T
1
es llamado el espacio de Sierpinski.
1
2 Espacios Topologicos
4. En el conjunto de los n umeros reales R, declaramos un subconjunto O R como abierto si y
solamente si, para cada x O existe un n umero real r > 0 tal que el intervalo (x r, x + r)
est a contenido en O. Es claro que la colecci on T de conjuntos de esta forma declarados abiertos
dene una topologa en R, la cual es llamada la topologa usual o Euclidiana en R. A saber, veamos
que esta colecci on satisface las condiciones T
1
, T
2
y T
3
que aparecen en la Denici on 1.1.1. Para
esto, sea {O
, existe alg un
ndice tal que x O
, O
son elementos
en T con , , dado un punto x O
> 0, r
, x+r
) O
, (xr
, x+r
) O
, el n umero real
r = mn{r
, r
} satisface que (x r, x + r) (x r
, x + r
) (x r
, x + r
) O
. Esto
muestra que efectivamente la colecci on T es cerrada para intersecciones nitas de sus elementos.
Finalmente, como consecuencia inmediata de la denici on R, T . Es claro que respecto a esta
topologa los intervalos de la forma (a, b), (, a), (b, ) con a, b R, son conjuntos abiertos en R.
5. Otra forma de denir una topologa en R es la siguiente, declararamos un subconjunto O R
como abierto si y solamente si, para cada x O existe un n umero real r > 0 tal que el intervalo
[x, x + r) est a contenido en O. An alogo a como se realiz o en el item anterior, es posible mostrar
que la familia T conformada por los conjuntos as declarados abiertos determina una topologa en
R llamada la topologa lmite inferior en R. El conjunto R dotado con esta topologa es llamado la
recta de Sorgenfrey y comunmente denotado por R
l
. Es claro que los intervalos de la forma [a, b)
con a, b R son conjuntos abiertos en R con la topologa lmite inferior.
6. En un conjunto innito X denimos T = {}{U X : X\U es nito }; de este modo denida la
colecci on T determina una topologa en X llamada topologa conita. A saber, como consecuencia
de la denici on es claro que , X T , adem as, si {O
es
nito, pues este coincide con la intersecci on de los complementos (conjuntos nitos)
X \ O
, O
est a en T pues
su complemento es nito ya que coincide con la uni on de los conjuntos nitos X \ O
X \ O
.
En el ejemplo anterior, se observa que un conjunto X puede ser dotado de diferentes estructuras
topol ogicas, con cada una de las cuales es un espacio topol ogico diferente; considerando cada topologa en
X como un subconjunto del conjunto formado por las partes de X, P(X) . Con base en esto, la colecci on
formada por todas las topologas en un conjunto X puede ser parcialmente ordenada por inclusi on de
este modo decimos que una topologa T
1
es m as na que una topologa T
0
, cuando T
0
T
1
. i,e,. si todo
conjuno abierto en X respecto a la topologa T
0
es un conjunto abierto en X respecto a la topologa T
1
.
La expresi on T
0
T
1
. tambien puede ser interpretada diciendo que la topologa T
0
es menos na que la
2
1.1 Espacios Topologicos 3
topologa T
1
, . Por lo tanto cualquier topologa en un conjunto X es mas na que la topologa indiscreta
y menos na que la topologa discreta, i.e., para cualquier topologa T en X se tiene {, X} T P(X).
Ejemplos 1.1.3. Es claro que la topologa usual de R es menos na que la topologa lmite inferior,
en efecto, si O R es un conjunto abierto en la topologa usual, dado x O, existe un r > 0 tal que
(x r, x + r) O, em particular se tiene que [x, x + r) O por tanto O es un conjunto abierto con
relaci on a la topologa lmite inferior.
Observacion 1.1.4. Si {T
= {U : U T
iI
F
i
es un conjunto abierto en X. Como cada conjunto F
i
F es cerrado en X, se tiene que el
conjunto X \ F
i
es abierto; adem as, empleando De Morgan y la propiedad T
1
se tiene que el conjunto:
X \
iI
F
i
=
_
iI
{X \ F
i
: i I}
es abierto. Las armaciones F
2
, F
3
son probadas de forma similar.
Recprocamente, si en un conjunto arbitrario X es dada una familia de subconjuntos F la cual satisface
las condiciones F
1
, F
2
, F
3
antes enunciadas, la colecci on formada por todos los complementos de los
miembros de F dene una topologa en X, para la cual los conjuntos cerrados son precisamente los
miembros de F. Por tanto, vemos que hay una dualidad entre las nociones de conjunto abierto y conjunto
cerrado; mas especcamente, cualquier resultado sobre conjuntos abiertos en un espacio topol ogico se
torna un resultado sobre conjuntos cerrados reemplazando en su enunciado original la palabra abierto
por cerrado y cambiando por .
Ejemplos 1.1.5. 1. Dado que los intervalos de la forma (, a), (b, ) son conjuntos abiertos en R
( resp. R
l
) en relaci on a la topologa usual (resp. lmite inferior), el intervalo
[a, b] = R \ (, a) (b, )
3
4 Espacios Topologicos
es un conjunto cerrado en R ( resp. R
l
)
2. Dado que los intervalos de la forma (, a), [b, ) son abiertos en R
l
, el intervalo
[a, b) = R \ (, a) [b, )
es un conjunto cerrado en R
l
. Note que tal intervalo tambien es abierto en R
l
. Sin embargo, dicho
intervalo no es un conjunto abierto ni cerrado en R con relaci on al a topologa usual, en efecto, este
conjunto no es abierto pues a [a, b) y no existe ning un real r > 0 de modo que (ar, a+r) [a, b);
adem as no es cerrado pues su complemento es el conjunto (, a)[b, ) el cual no es un conjunto
abierto.
3. Si T
0
, T
1
son topologas en un conjunto X con T
0
T
1
, todo conjunto cerrado en T
0
es un conjunto
cerrado T
1
. En efecto, si F X es un conjunto cerrado en X respecto a la topologa T
0
se tiene
que X \ F T
0
, por lo tanto, X \ F T
1
, o sea X \ F es un conjunto abierto en X respecto a la
topologa T
1
o de forma equivalente F es un conjunto cerrado en X en relaci on a la topologa T
1
.
4. En R en relaci on a la topologa usual los singuletes son conjuntos cerrados. En efecto, para cada
x R se tiene que el conjunto R \ {x} = (, x) (x, ) es abierto. En particular cualesquier
conjunto nito en R es un conjunto cerrado. Como la topologa usual en la recta es menos na
que la topologa lmite inferior, se sigue del item anterior que los subconjuntos nitos de la recta
tambien son conjuntos cerrados en relaci on a la topologa lmite inferior.
5. En un espacio dotado con la topologa conita, todo conjunto nito es cerrado.
6. En R el subconjunto B = {
1
n
: n N} no es abierto ni es cerrado en relaci on a la topologa usual,
pues para cualquier x B no es posible encontar un intervalo (x r, x +r) con (x r, x +r) B;
adem as, su complemento
R \ B =
_
nN
_
1
n + 1
,
1
n
_
(, 0] (1, ) (1.1)
no es un conjuno abierto, pues no es posible encontar un intervalo (r, r) con (r, r) R\ B. Sin
embargo el conjunto {0} B es cerrado en R, pues su complemento
R \ {{0} B} =
_
nN
_
1
n + 1
,
1
n
_
(, 0) (1, ) (1.2)
es un conjunto abierto en la recta.
Observacion 1.1.6. no necesariamente la interseccion arbitraria de conjuntos abiertos es un conjunto
abierto, para ver esto, considere la colecci on
_
(
1
n
,
1
n
)
_
nN
de subconjuntos abiertos en R (en relaci on
a la topologa usual), es claro que su interseccion es el singulete {0} el cual no es un conjunto abierto
en R; tambien, cabe observar que no necesariamente la uni on arbitraria de conjuntos cerrados es un
conjunto cerrado, en efecto, la colecci on de subconjuntos cerrados de R (en relaci on a la topologa usual),
_
[
1
n
, 1]
_
nN
tiene como uni on el intervalo (0, 1] el cual no es cerrado en R.
4
1.2 Vecindades, Bases y Subbases 5
1.2. Vecindades, Bases y Subbases
A seguir se introducen algunos conceptos que son convenientes tanto para describir topologas como
para enunciar nuevas caracterizaciones que a futuro apareceran en la teora.
Denicion 1.2.1. Dado un punto x perteneciente a un espacio topol ogico X, una vecindad de x es un
conjunto V X el cual contiene un abierto U en X tal que x U V . Dado x X, es com un denotar
por U
x
la colecci on formada por todas las vecindades del punto x en X, llamamos tal colecci on el sistema
de vecindades en x. En los ejercicios 1.2.12 se pide al lector mostrar las principales propiedades de la
colecci on U
x
.
Pese a ser com un encontrar algunos autores que denen una vecindad de un punto x como siendo un
conjunto abierto que le contiene, para nuestro caso no necesariamente una vecindad de un punto sera un
conjunto abierto. Cuando sea el caso en el cual la vecindad sea un conjunto abierto, emplearemos la
expresi on vecindad abierta.
Denicion 1.2.2. En un espacio topol ogico X, por un sistema fundamental de vecindades para un
punto x entendemos una colecci on
x
formada por vecindades de x de modo que toda vecindad U de x
contiene alg un V
x
. Cuando x posee un sistema fundamental de vecindades abiertas
x
, decimos que
tal colecci on es una base local para el punto x.
Observacion 1.2.3. 1. En un espacio topol ogico X la interseccion de cualquier dos vecindades de un
punto x es de nuevo una vecindad de dicho punto, por lo tanto, es claro que si
x
es un sistema
fundamental de vecindades para x, V
1
, V
2
x
, entonces existe V
3
x
tal que V
3
V
1
V
2
;
2. En un espacio topol ogico X, un conjunto U es abierto si para cada x U existe una vecindad V
x
para x con x V
x
U. A saber, si V
x
es una vecindad para el punto x U, por denicion existe un
conjunto abierto W
x
en X de modo que x W
x
V
x
, luego U =
xU
W
x
es un conjuno abierto.
En particular, un conjunto U en X es abierto si, y solamente si, U es vecindad de cada uno de sus
puntos. Con base en esta observaci on, para mostrar que un subconjunto U de un espacio topol ogico
es abierto, se debe tomar un puno x U y encontrar una vecindad V
x
para x tal que x V
x
U.
3. A partir de un sistema fundamental de vecindades
x
para un punto x, es posible determinar la
colecci on de todas las vecindades en X para tal punto, basta denir
U
x
= {U X : V U para alg un V
x
}.
Ejemplos 1.2.4. 1. Dado x R, en relaci on a la topologa usual, la colecci on de formada por todos
los conjunos abiertos de la forma (x
1
n
, x +
1
n
) con n N forma un sistema fundamental de
vecindades abiertas para x; o sea, una base local para x. A saber, si V es alguna vecinda en la recta
para el punto x, debemos mostrar que existe un n umero natural n de modo que (x
1
n
, x +
1
n
) V ,
pero por denici on, una tal vecindad V contiene alg un subconjunto abierto W
x
el cual por su vez
contiene alg un intervalo de la forma, (xr, x+r) con r > 0. Es decir, x (xr, x+r) W
x
V ;
mas para el n umero real r > 0 siempre es posible encontrar un n umero natural n de modo que
5
6 Espacios Topologicos
1
n
< r, entonces el intervalo (x
1
n
, x +
1
n
) perteneciente a la colecci on en menci on satisface que
x (x
1
n
, x +
1
n
) (x r, x +r) W
x
V , lo que muestra nuestra armaci on.
2. An alogo al item anterior, en la recta de Sorgenfrey, los intervalos
_
[x, x +
1
n
]
_
nN
forman un sis-
tema fundamental de vecindades para el punto x, y la colecci on
_
[x, x +
1
n
)
_
nN
forma un sistema
fundamental de vecindades abiertas para x; o sea, es una base local para x.
Vemos que en un espacio topol ogivo X la colecci on de todas las vecindades de un punto x X
puede obtenerse a partir de un sistema fundamental de vecindades para dicho punto, en forma similar,
la topologa del espacio topol ogico X puede ser descrita a partir de una colecci on especca de abiertos
llamada base. Mas especcamente, se tiene la siguiente
Denicion 1.2.5. Sea un conjunto de ndices. Una colecci on B = {B
de subconjuntos abiertos
de un espacio topol ogico (X, T ) es llamada una base para la topologa de X si los conjuntos abiertos en
X son precisamente uniones de miembros de B. Mas especcamente,
T =
_
_
:
_
.
Proposici on 1.2.6. Sea un conjunto de ndices. Una colecci on B = {B
de subconjuntos abiertos
en un espacio topol ogico X es una base para la topologa de X si, y solamente si, para cada conjunto
abierto U X, cada x U, existe un subconjunto B
x
B tal que x B
x
U.
Prueba: Supongamos que la familia B es una base para la topologa de X, entonces todo abierto U en
X se representa como una uni on de elementos de B,
U =
_
,
B
.
Luego dado x U, existe tal que x B
x
B tal que x B
x
U. Por lo tanto
U =
_
xU
B
x
_
_
{B
: B
B}
_
.
Corolario 1.2.7. Sean X un espacio topol ogico, B una base para la topologa de X. Entonces se cumple
que para cada U X, U es abierto si, y solamente si, para cada x U, existe B
B tal que x B
U.
Ejemplos 1.2.8. 1. En un espacio topol ogico discreto X, la colecci on formada por todos los singuletes
de X forma una base para la topologa de X. A saber, cualquier subconjunto U de X puede escribirse
como la uni on de abiertos U =
xU
{x}
6
1.2 Vecindades, Bases y Subbases 7
2. En R la colecci on formada por los intervalos de la forma (a, b) con a < b Q es una base para
la topologa usual. En efecto, si U R es un conjunto abierto usual en la recta y x U, por
denici on sabemos que existe un n umero real r > 0 tal que (x r, x +r) U R. Mas siempre es
posible encontrar n umeros racionales a < b de modo que x r a < x < b x + r de este modo,
x (a, b) (x r, x +r) U. Esto muestra la armaci on.
3. La colecci on de intervalos de la forma [a, b) con a, b Q no es una base para la topologa lmite
inferior en R. Puesto que si consideramos el conjunto abierto U = [
2,
2 + 1) tenemos que el
punto
2
(a, b) [
2,
de subconjuntos de X
es llamada una subbase para la topologa de X, si el conjunto de las intersecciones nitas de miembros
de S es una base para la topologa de X.
Ejemplo 1.2.11. La colecci on formada por intervalos de la forma (, a), (b, ) forma una subbase
para la topologa usual de R.
Dada una topologa T en un conjunto X, en las deniciones y proposiciones anteriores se ha caracter-
izado las nociones de base y subbase para tal topologa; sin embargo, tiene sentido indagar sobre criterios
bajo los cuales una colecci on arbitraria de subconjuntos B = {B
x
la cual cumple las propiedades anteriores a), b) y c), entonces existe una topologa en X, en la
cual, para cada x X,
x
es un sistema fundamental de vecindades.
5. Una colecci on B = {B
B tal que x B
;
8
1.2 Vecindades, Bases y Subbases 9
b) Si x X es tal que x B
donde B
, B
B tal que
x B
.
La topologa denida por una colecci on B como encima es denotada por T (B) y es llamada topologa
generda por la base B. Adem as, esta topologa es igual a la intersecci on de todas las topologas en
X que contienen a B. i.e., esta topologa es la menor que contiene a la familia B. Observe que en
el caso en el cual X es un espacio topol ogico y B es una colecci on de abiertos en X que satisface
las condiciones anteriores, la topologa generada por B no necesariamente coincide con la topologa
original de X, sin embargo tal topologa es menos na que la topologa original de X.
6. Sea X un conjunto arbitrario. Dada una familia = {A
: } de subconjuntos de X, muestre
que existe una unica topologa en X para la cual es una subbase.
7. Muestre que la colecci on formada por todas las posibles uniones de elementos de la forma [a, b] con
a < b R no es una topologa en R.
8. Si X es un conjunto. Dada una colecci on B = {B
es m as na que T .
b) Para cada x X, y cada B B el cual contiene x, existe un elemento B
en B
tal que
x B
B.
c) Concluya que la topologa en la recta de Sorgenfrey es m as na que la topologa usual.
12. Sea X el conjunto de todas las matrices n n con entradas reales. Dada A = (a
ij
) X y r > 0,
denimos
B
r
(A) = {M = (m
ij
) X : |a
ij
m
ij
| < r}.
Pruebe que estos conjuntos forman una base para alguna topologa en X.
13. Muestre que la colecci on formada por las regiones circulares
1
en el plano es base para alguna
topologa, al igual que las regiones rectangulares con lados paralelos a los ejes coordenados; adem as,
las topologas generadas por estas colecciones coinciden. La topologa com un se llama topologa usual
del plano.
1
por una region circular entendemos el lugar geometrico de los puntos del plano cuya distancia a un punto jo, llamado
centro, es menor o igual que una cantidad constante, llamada radio. Esta terminologa quedar a un poco m as clara cuando
estuemos espacios metricos.
9
10 Espacios Topologicos
14. Si (X, T ) es un espacio topol ogico y A X, muestre que la colecci on {U (V A) : U, V T } es
una topologa en X, tal topologa es llamada la extensi on de A.
15. Sea X un conjunto linealmente ordenado por <. Dados a, b X, con a < b el intervalo abierto (a, b)
es el conjunto de los x X tales que a < x < b. De modo de permitir que el primero y el ultimo
elemento de X cuando existan sean miembros de alg un abierto, se admiten tambien como abiertos
los conjuntos de la forma (, a) = {x : x < a} y (a, ) = {x : a < x}. Declarando un subconjunto
U X como abierto cuando para cada x U, existe un intervalo abierto I con x I U. Muestre
que
a) Los abiertos de este modo denidos constituyen una topologa en X llamada la topologa orden.
b) Si X = R, esta topologa coincide con la topologa usual.
c) Si I = [0, 1], en I I con el orden lexicogr aco i.e., (x
1
, x
2
) < (y
1
, y
2
) si, y solamente si,
x
1
< y
1
o x
1
= y
1
y x
2
< y
2
describa las vecindades de los puntos de la forma (x, 0) en
especial para (0, 0), de los puntos de la forma (x, 1) en especial para (1, 1) y para los puntos
(x, y) con 0 < x < 1, 0 < y < 1.
1.3. Puntos adhderencia, acumulacion, interior y frontera
A lo largo de la seccion consideramos jo un espacio topol ogico (X, T ).
Denicion 1.3.1. Sea A X un subconjunto. Un punto x X es denido como punto de adherencia
de A si toda vecindad V de x tiene interseccion no vaca con A. El conjunto formado por todos los puntos
de adherencia de un conjunto A es llamado la clausura del conjunto A y es denotado por A.
Es claro que los puntos de adherencia de un conjunto A pueden o no pertenecer al conjunto A; a
saber, si en R consideramos el conjunto B = {
1
n
: n N}, (ver el item 6) del ejemplo 1.1.5) es claro que
en relaci on a la topologa usual cualquier vecindad del 0 en R tiene interseccion no vaca con tal conjunto,
por lo tanto 0 es un punto de adherencia para este y 0 / B. Este tipo de situaciones justican la siguiente
Denicion 1.3.2. Un punto x X es llamado punto de acumulaci on o punto lmite de un conjunto
A X, si toda vecindad V de x contiene un punto de A diferente de x; el conjunto de los puntos de
acumulacion de A es llamado conjunto derivado de A y es denotado por A
, luego como consecuencia inmediata del Teorema 1.3.4 se tiene que un conjunto A
es cerrado si, y solamente si, A
A.
4. Si en un conjunto todos sus puntos son aislados decimos que el conjunto es aislado. No necesaria-
mente un conjunto aislado coincide con su clausura. Basta conciderar el conjunto B = {
1
n
: n N}.
Este conjunto es aislado y 0 es un punto de clausura que no le pertenece.
Denicion 1.3.6. Un punto x X es llamado punto interior para el conjunto A X si existe una
vecindad V de x tal que x V A; el conjunto de los puntos interiores del conjunto A es llamado el
interior del conjunto A y es denotado por
A o por Int(A).
Observacion 1.3.7. De forma analoga a como se realiz o para la clausura de un conjunto, el interior de
un conjunto A es un conjunto abierto y est a contenido en el conjunto A. Mas especcamente, Int(A)
puede ser caracterizado en terminos de conjuntos abiertos como siendo la uni on de todos los conjuntos
abiertos contenidos en A; en efecto, se sigue de la denicion de interior que Int(A) es un conjunto abierto
y est a contenido en A, luego Int(A) O, en que O denota la uni on de todos los subconjuntos abiertos
de A. Por otro lado, si x O se tiene que x U donde U es alg un conjunto abierto contenido en A y
por tanto, x es un elemento de Int(A). Esto muestra que efectivamente Int(A) = O, consecuentemente
Int(A) es el mayor conjunto abierto contenido en A; en particular cuando A un conjunto abierto se tiene
A = Int(A).
Denicion 1.3.8. Un punto x X es llamado un punto exterior de un conjunto A X si existe una
vecindad V de x tal que x V X \ A; el conjunto de los puntos exteriores del conjunto A es llamado
el exterior del conjunto A y es denotado por Ext(A).
Observacion 1.3.9. Malas interpretaciones de la nocion de punto exterior terminan conduciendo a la
poco verdadera igualdad Ext(A) = X\A, cuidado!!! puesto que s olo es v alida la inclusi on Ext(A) X\A,
como contraejemplo para la inclusi on recproca basta considerar el conjunto A = (0, 1) en la recta, para
este conjunto es claro que 1 R\A pero 1 / Ext(A) ya que respecto a la topologa usual ninguna vecindad
de 1 est a enteramente contenida en el conjunto R \ A. Cabe observar que la armacion x Ext(A) es
equivalente a decir que x es un punto interior del conjunto X \ A.
Denicion 1.3.10. Un punto x X es llamado un punto de frontera de un conjunto A X si no es
un punto interior ni exterior de A, es decir, si cumple que toda vecindad V de x tiene interseccion no
vaca con A y con X \ A; el conjunto de los puntos de frontera del conjunto A es llamado la frontera del
conjunto A y se denota por A.
Obviamente un punto de frontera de un conjunto puede o no pertenecer al conjunto, a saber, para el
conjunto A = [0, 1) (en relaci on a la topologa usual) los puntos 0 y 1 son puntos de frontera para A, sin
embargo 0 A, 1 / A.
De forma equivalente, la Denicion 1.3.10 puede expresarse por medio de la identidad:
x A x A X \ A; (1.4)
12
1.3 Puntos adhderencia, acumulacion, interior y frontera 13
por tanto, A = A X \ A y A = (X \ A). Adem as, Int(A) A = y A = Int(A) (A); o sea, que
un subconjunto no vaco con interior vaco posee clausura igual a su frontera.
Observacion 1.3.11. 1. Como consecuencia de las deniciones anteriores en un espacio topol ogico X
se tienen un par de operaciones A P(X) A P(X), A P(X) Int(A) P(X) las cuales
satisfacen las siguientes propiedades: (algunas de las cuales son dejadas en los ejercicios presentados
al nal de la seccion)
a) A A, Int(A) A;
b) A = A, Int
_
Int(A)
_
= Int(A);
c) A B = A B, Int(A B) = Int(A) Int(B);
d) = , Int(X) = X;
e) A es cerrado si, y solamente si A = A, A es abierto si, y solamente si, Int(A) = A.
Una armaci on recproca para este hecho, consiste en pensar en un conjunto X (sin ninguna es-
tructura topol ogica) con dos operaciones denidas como antes las cuales satisfacen las condiciones
listadas a, b, c, d. Si se dene conjunto cerrado (resp. conjunto abierto) para cada operaci on usando
la propiedad e, como resultado se obtiene una unica topologa en X cuya operaci on de clausura
(resp, de interior) es precisamente la operaci on A A dada inicialmente (resp. A Int(A)). Por
ejemplo en un conjunto innito, la operaci on de clausura denida como A = A si A es nito y
A = X caso contrario, produce como resultado la topologa conita en X.
2. Al igual que los conceptos de conjunto abierto y conjunto cerrado cambian en un espacio X conforme
se cambia de topologa, las nociones de clausura, interior, exterior y frontera de un conjunto tambien
cambian conforme cambiamos la topologa. En efecto, si A = [0, 1) R, calculos simples muestran
que en relaci on a la topologa usual A = [0, 1], Int(A) = (0, 1), Ext(A) = (, 0) (1, ) y A =
{0, 1}. Sin embargo, en relaci on a la topologa lmite inferior se tiene que A = [0, 1) = A = Int(A),
Ext(A) = (, 0) [1, ) y A = .
Ejemplos 1.3.12. 1. En R, el conjunto B = {
1
n
: n N} no es abierto ni cerrado, (ver item 6 en el
ejemplo 1.1.5) a saber para cualquier punto x B, no es posible encontrar un n umero real r > 0
tal que (xr, x+r) B; esto implica que no es posible encontrar una vecindad V
x
para x de modo
que x V
x
B por lo tanto B no es un conjunto abierto en R; por otro lado dado que 0 es un
punto de adherencia para B el cual no est a en B, en virtud del Teorema 1.3.4 tenemos que B no es
cerrado. Sin embargo, en virtud de la igualdad (1.2) el conjunto B {0} es cerrado, y es el menor
conjunto cerrado que contienen a B por lo tanto B = B {0} = B.
2. En el espacio de Sierpinski S (ver item 3 ejemplo 1.1.2) se tiene: {1} = S, {0} = 0, ({0}) = 0 y
({1}) = 0.
3. El subconjunto de los n umeros racionales Q en R tiene interior y exterior vacos, adem as Q = R y
Q = R. A saber, para cada n umero racional (resp. irracional) x no es posible encontrar un n umero
real r > 0 tal que (x r, x +r) Q (resp. (x r, x +r) R\ Q). Esto implica que ning un n umero
13
14 Espacios Topologicos
racional (resp. irracional) est a en el interior de Q (resp. R\ Q) por lo tanto tanto el interior de Q
as como su exterior son conjuntos vacos.
4. Para cada n N consideremos el conjunto abierto en la recta A
n
= (
1
n
,
1
n
). Es claro que
nN
A
n
= {0} consecuentemente Int
_
nN
A
n
_
= , sin embargo,
nN
Int(A
n
) =
nN
A
n
=
{0}. Es decir, el interior de una intersecci on de conjuntos no neceariamente coincide con la inter-
secci on de los interiores de estos.
5. Para cada n N consideremos el conjunto cerrado en la recta A
n
=
_
1
n
_
. Es claro que A
n
= A
n
,
consecuentemente
nN
A
n
=
nN
A
n
= {
1
n
: n N}; por otro lado,
nN
A
n
= {0}{
1
n
: n N}.
Es decir, la clausura de una uni on de conjuntos no neceariamente coincide con la uni on de las
clausuras de estos.
6. Sea A
x
= {x} para cada x en (a, b) R, es claro que Int{A
x
} = , luego
x(a,b)
Int{A
x
} = ,
adem as, Int
_
x(a,b)
A
x
_
= (a, b). Es decir, el interior de una uni on de conjuntos no neceariamente
coincide con la uni on de los interiores de estos.
7. Para cada n N consideremos el conjunto abierto en la recta A
n
= (n, n + 1), es claro que
A
n
A
n+1
= , luego A
n
A
n+1
= , pero A
n
A
n+1
= {n + 1}. Es decir, la clausura de una
intersecci on de conjuntos no neceariamente coincide con la intersecci on de las clausuras de estos.
8. Para los conjuntos A = (0, 1), B = {
1
n
: n N},
B = {
1
n
: n N} se tiene que Int(A\B) = A\B,
a saber el conjunto A\ B es abierto en la recta ya que en virtud de la igualdad en (1.1) se tiene
A\ B = A (R \ B) =
_
nN
_
1
n + 1
,
1
n
_
.
Por otro lado, IntA \ IntB = A \ = A, es decir, el interior de una diferencia de conjuntos no
coincide con la diferencia de los interiores de estos. Finalmente, (B
B)
= ()
= y B
= {0}.
Es decir, los puntos de acumulaci on de la intersecci on de conjuntos no coinciden con la intersecci on
de los puntos de acumulaci on de estos.
9. Todo subconjunto A de un espacio topol ogico discreto posee frontera vaca en efecto, todo subconjunto
de un espacio topol ogico discreto es abierto y cerrado a la vez, por lo tanto coincide con su interior
y su clausura. Luego A = A = IntA A = A A, o sea A = . Adem as A no posee puntos de
acumulaci on.
Para nalizar esta seccion se tienen un par de deniciones importantes, las cuales apareceran de nuevo
en los proximos captulos.
Denicion 1.3.13. Decimos que un subconjunto A X de un espacio topol ogico es un subconjunto
denso si A = X. El espacio topol ogico X es llamado espacio separable, si contiene un subconjunto denso
enumerable A.
Ejemplos 1.3.14. Como consecuencia de los ejemplos anteriores se sigue que el conjunto de los n umeros
racionales Q es un subconjunto denso en R en relaci on a la topologa usual, no obstante tambien lo es
14
1.3 Puntos adhderencia, acumulacion, interior y frontera 15
en relaci on a la topologa lmite inferior. En el espacio de Sierpinski, el singulete {1} es un subconjunto
denso.
Observacion 1.3.15. 1. La nocion de densidad puede interpretarse como sigue: Un conjunto D
(X, T ) es denso si, y solamente si, todos los miembros (no vacos) de T tienen interseccion no vaca
con D. Es decir, D es un conjunto denso en un espacio topol ogico X signica que todos los conjuntos
abiertos no vacos de X tienen interseccion con D. A saber, si D es un conjunto denso en X, dado
cualquier conjunto abierto U en X y cualquier punto x U se tiene que x X = D, por lo tanto
U D = . Recprocamente, si D X satisface la condici on que todos los conjuntos abiertos no
vacos de X tienen interseccion con D, veamos que D = X; en efecto, es claro que D X, por otro
lado si x X, como consecuencia de lo supuesto, cualquier vecindad V
x
para x tiene interseccion
no vaca con D (recuerde existe un conjunto abierto U en X tal que x U V
x
) es decir x D y
por lo tanto se vale la igualdad D = X.
2. Es claro que un espacio topol ogico discreto innito no enumerable no puede ser separable. A saber,
en un espacio topol ogico discreto todos los conjuntos son cerrados, por lo tanto si D es denso se
tiene D = D = X, es decir el unico conjunto denso es el propio espacio X; de este modo, si X es
innito no enumerable X no puede ser separable.
Ejercicios 1.3.16. 1. Sea un conjunto de ndices. Si A, B son subconjuntos de un espacio topol ogico
X, (A
Int(A
).
g)
, la igualdad se cumple si
es un conjunto cerrado.
h) Si A B = , entonces se cumple la igualdad Int(A B) = Int(A) Int(B). M as general,
Int(A
) Int
_
_
.
i) Si A B = , entonces (A B) = A B.
j)
.
k) A es abierto si, y solamente si, A A = .
l) A es cerrado si, y solamente si, A A.
m) A es abierto y cerrado si, y solamente si, A = .
n) (Int(A)) A.
n) Int(A\ B) Int(A) \ Int(B).
o) Ext(A B) = Ext(A) Ext(B), A Ext(A) = .
15
16 Espacios Topologicos
p) (A B)
= A
.
q) (A B)
.
r) A\ B A\ B.
2. Determine la clausura, el interior y la frontera de los siguientes conjuntos en relaci on a la topologa
usual, la topologa lmite inferior y la topologa conita en R.
a) (0, 1), [0, 1], [0, 1), (0, 1];
b) Q, R \ Q, ;
c) {
1
n
: n Z n = 0}.
3. Dado un subconjunto F de un espacio topol ogico X, pruebe que son equivalentes:
a) F es cerrado;
b) F
F;
c) F F.
4. Si X es un espacio topol ogico, las siguientes armaciones son equivalentes:
a) D es denso en X;
b) Si F X es cerrado y D F entonces X = F;
c) Cada conjunto abierto b asico en X tiene intersecci on no vaca con D;
d) El complemento de D tiene interior vaco.
5. Sea X un conjunto innito con la topologa conita. Muestre que un subconjunto D es denso en X
si, y solamente si D es innito.
6. Muestre que los subconjuntos densos en R y en R
l
coinciden.
7. Sea X un espacio topol ogico y D X. Pruebe que D es denso en X, si, y solamente si, D V = V ,
para todo abierto V en X.
8. Si A X, muestre que la colecci on formada por todos los subconjuntos de X, los cuales contienen
el conjunto A, adem as de , dene una topologa en X. Describa las operaciones de clausura e
interior. Que topologa resulta si A = o si A = X?
9. En el espacio ordenado lexicogr acamente I I. Determine la clausura de los siguientes conjuntos:
a) A =
_
(x, 0) : x =
1
n
n = 0
_
b) B =
_
(x,
1
2
) : 0 < x < 1
_
c) C =
_
(
1
2
, y) : 0 < y < 1
_
d) D =
_
(x, 0) : 0 < x < 1
_
e) E =
_
(x, x) : 0 x 1
_
16
1.3 Puntos adhderencia, acumulacion, interior y frontera 17
10. (Plano de Moore) Sea
= {(x, y) R
2
: y 0}
Si p = (x, y) es tal que y > 0, dena
p
como siendo la colecci on formada por todas las regiones
circulares abiertas (en relaci on a la topologa usual del plano (ver item 11 en el Ejercicio en 1.2.12)
centradas en p y contenidas en . Si p = (z, 0) , dena
p
como siendo la colecci on formada por
conjuntos de la forma {z} C, en que C es una regi on circular abierta en el plano contenida en
y tangente al eje x en z. Pruebe que:
a) Esto dene una topologa T en , con la cual el conjunto es llamado el plano de Moore;
b) Describa las operaciones de interior y clausura en este espacio.
11. Pruebe la armaci on que aparece en la observaci on 1.3.11, es decir, si es dado un conjunto X (sin
ninguna estructura topol ogica) con dos operaciones denidas como en dicha observaci on, las cuales
satisfacen las condiciones a, b, c, d. all listadas. Si se denine conjunto cerrado (resp. conjunto
abierto) para cada operaci on usando la propiedad e, como resultado se obtiene una unica topologa
en X cuya operaci on de clausura (resp, de interior) es precisamente la operaci on A A dada
inicialmete (resp. A Int(A)). Demuestre que la topologa resultante en un conjunto innito por
la operaci on de clausura denida por: A = A si A es nito y A = X caso contrario, es la topologa
conita en X.
12. Si B X, muestre que la operaci on A A = A B en que = , satisface las condiciones
a, b, c y d en la observaci on 1.3.11. Describa los abiertos en la topologa resultante, por medio de
esta operaci on de clausura. Cu al es la topologa resultante si B = ?, si B = X?.
13. Si A X, muestre que la colecci on formada por todos los subconjuntos de X que contienen el
conjunto A junto con el conjunto vaco, es una topologa en X. Describa las operaciones de clausura
e interior. Que topologa resulta si A = ? A = X?.
14. Sobre el conjunto de los n umeros reales considere la colecci on de conjuntos T cuyos elementos son
caracterizados a seguir: un subconjunto V R pertenece a T si, y solamente si, para cada x V \Q
existe un
x
> 0 tal que (x
x
, x +
x
) V . Muestre que:
a) La colecci on T dene una topologa en la recta;
b) Para cualquier A R, A no posee puntos de acumulaci on racionales;
c) Si x R es un punto de acumulaci on de un conjunto A en relaci on a esta topologa, entonces
x es un punto de acumulaci on de A en relaci on a la topologa usual.
15. Sobre el conjunto de los n umeros reales R, para todo n umero real no nulo asociamos como sistema
fundamental de vecindades el usual y para x = 0, denimos un sistema fundamental de vecindades
como siendo los conjuntos de la forma (, ) \ A, en que > 0 y A = {
1
n
: n = 0 n N}.
Demuestre que de esta forma se obtiene una topologa en R, compare esta topologa con la ususal.
17
18 Espacios Topologicos
18
Captulo 2
Espacios topologicos obtenidos a
partir de otros
2.1. Topologa inducida
En Matem aticas es com un pensar en lo siguiente: Si X es un conjunto dotado de alguna estructura
(algebraica, topol ogica, diferenciable ... ) y si Y X es un subconjunto, entonces tal estructura de X
puede ser inducida de forma natural en Y ? esto en general no es posible, por ejemplo no todo subcon-
junto de un espacio vectorial admite una estructura de espacio vectorial. Sin embargo, para los espacios
topol ogicos esto siempre se puede hacer, mas especcamente, si Y X y X es dotado de una estructura
topol ogica, entonces Y admite una estructura topol ogica a partir de la estructura topol ogica de X, tal
cuestion es el t opico tratado a seguir.
Denicion 2.1.1. Sean (X, T ) un espacio topol ogico. Dado un subconjunto Y X. Denimos la
topologa subespacio o topologa inducida por X en Y como siendo la colecci on de las intersecciones
de Y con abiertos de X. i.e, la topologa inducida T
Y
en Y es dada por:
T
Y
= {U Y : U T }.
Cuando Y es considerado con esta topologa decimos que Y es un subespacio topol ogico de X.
La vericacion de que efectivamente T
Y
es una topologa en Y es inmediata. A saber, veamos que esta
colecci on es cerrada para uniones arbitrarias de sus elemento, igualmente es cerrada para intersecciones
nitas y posee los conjuntos , Y . En efecto, como = Y , Y = X Y , se tiene que , Y T
Y
(se
pueden expresar como la interseccion de un conjunto abierto de X con el conjunto Y ). Por otro lado, si
{O
en X tal que O
= U
Y consecuentemente,
_
=
_
(U
Y ) = (
_
)
. .
T
Y
es un elemento en T
Y
. Igualmente, para , se tiene
O
= (U
Y ) (U
Y ) = (U
)
. .
T
Y
es tambien un elemento en T
Y
.
Siempre salvo menci on en lo contrario asumimos que todo subconjunto de un espacio topol ogico es
dotado de la estructura topol ogica inducida. Esto facilitara nuestro trabajo, puesto que cualquier carac-
terizaci on o propiedad para un espacio podra ser aplicada de manera automatica para los subconjuntos
del espacio en cuestion, esto no quiere decir que toda propiedad del espacio ambiente (X) sea heredada
naturalmente por el subespacio (Y ).
Proposici on 2.1.2. Sea Y X un subespacio de X. A Y es cerrado en el espacio Y si, y solamente
si, A = Y F para alg un subconjunto cerrado F en X.
Prueba: Sea A Y un conjunto cerrado en Y ; por denicion su complemento O = Y \ A es abierto en
Y , por lo tanto O = U Y para alg un conjunto abierto U de X, de este modo se obtiene que F = X \ U
es cerrado en X, y A = F Y . Recprocamente, si A = F Y , para alg un conjunto cerrado F en X,
entonces X \ F es un conjunto abierto en X y por la denicion de topologa inducida (X \ F) Y es un
conjunto abierto en Y . Pero (X \ F) Y = Y \ A, esto muestra que Y \ A es un conjunto abierto en Y ,
de este modo A es un conjunto cerrado en Y .
Proposici on 2.1.3. Si Y es un subespacio de un espacio topol ogico X, entonces
1. Si {B
Y : },
es una base (resp. subbase) para la topologa inducida en Y ;
2. Si x Y y
x
es un sistema fundamental de vecindades para x en X entonces la colecci on
{B Y : B
x
}
es un sistema fundamental de vecindades para x en Y .
Prueba: Mostremos el item 1. En efecto, dados un conjunto abierto O en Y y un punto x O, por la
denicion de la topologa inducida, existe un conjunto abierto U en X de modo que O = U Y , como
x O se tiene que x U y en virtud de la Proposicion 1.2.6 es posible concluir que x B
U para
20
2.1 Topologa inducida 21
alg un ndice . De este modo, x B
Y : },
es una base para la topologa inducida en Y . La armacion del item 2 es una consecuencia inmediata de
probado junto con la Proposicion 1.2.9.
Observacion 2.1.4. Cuando se tiene un espacio topol ogico X y un subespacio Y de X, hay que ser
cuidadosos al hablar de conjuntos abiertos, (resp. cerrados), a saber, la expresi on U es un conjunto abierto
(resp. cerrado) es ambigua en el sentido de no establecer la topologa en relaci on a la cual U es un conjunto
abierto, (resp. cerrado) para evitar este tipo de ambiguedades, se hace necesario referenciar la topologa
o el espacio en cuestion, en el que U es un conjunto abierto (resp. cerrado); de este modo cuando Y es
un subespacio de X, es com un decir que U es un abierto (resp. cerrado) relativo a Y para signicar que
U es un abierto (resp. cerrado) en Y , esto particularmente implica U Y .
Ejemplos 2.1.5. 1. Sea Y = [0, 1) R en este caso en relaci on a la topologa usual de la recta los
conjuntos de la forma [0, ) con < 1 son abiertos relativos a Y , ya que estos tienen la forma
[0, ) = (, ) Y , note que estos conjuntos no son abiertos en la recta usual. Sin embargo, si
consideramos Y como subespacio de la recta dotada de la topologa lmite inferior R
l
, estos conjuntos
no s olo son abiertos relativos a Y (de nuevo son intersecciones de conjuntos abiertos R
l
con Y )
sino que tambien son abiertos en R
l
. Esto se debe a que el conjunto Y es abierto en R
l
. M as
especcamente se tiene:
Proposici on 2.1.6. Si Y es un subespacio de X y O es un subconjunto abierto (resp. cerrado) en
Y y Y es abierto (resp. cerrado) en X, entonces O es un conjunto abierto (resp. cerrado) en X.
Prueba: Si O es abierto (resp. cerrado) relativo a Y , O = U Y para alg un conjunto abierto (resp.
cerrado) U en X por lo tanto si Y es abierto (resp. cerrado) en X se tiene que O es un conjunto
abierto (resp. cerrado) en X.
2. Si consideramos a Y = (0, 1] como subespacio de la recta con la topologa usual, es claro que el
conjunto B = {
1
n
: n N} (0, 1] es cerrado en Y , puesto que B = ({0} B) Y en que
el conjunto {0} B es cerrado en R (vea ejemplo (1.3.12)). En este mismo conjunto el conjunto
A = (
1
2
, 1] es abierto, puesto que A = (
1
2
,
3
2
) Y .
Pasemos ahora a estudiar las nociones de clausura, interior y frontera para los subconjuntos de un
subespacio topol ogico. Una motivaci on para esto se puede observar con algunos ejemplos simples. Con-
sideremos los conjuntos A = (
1
2
, 1], B = {
1
n
: n N}, Y = (0, 1] y X = R. Es claro que A Y X,
entonces si consideramos a Y como un subespacio topol ogico de X podemos pensar en la clausura del
conjunto B en Y , a saber, basados en el ejemplo anterior B es un conjunto cerrado en Y , por lo tanto su
clausura en Y es el propio conjunto B. Por otro lado, en virtud del ejemplo 1.3.12 la clausura de B en R
es dada por {0}B, es decir la clausura de B en relaci on al espacio Y es diferente a la clausura de B en la
relaci on a la recta usual. Para el conjunto A, con base al ejemplo anterior sabemos que A es un conjunto
21
22 Espacios topologicos obtenidos a partir de otros
abierto en Y , luego su interior en Y es el mismo A; pero el interior de A en la recta es el conjunto (
1
2
, 1),
o sea, el interior de A en relaci on al subespacio Y es diferente al interior de A en la recta. Finalmente la
frontera de A en Y es dada por el conjunto {
1
2
} ya que Y = (0,
1
2
) {
1
2
} A, claramente (0,
1
2
) es abierto
en Y luego ning un punto de este conjunto es punto de frontera de A (puesto que el mismo conjunto (0,
1
2
)
es vecindad de cada uno de sus puntos y no tiene interseccion con A), un razonamiento analogo garantiza
que ning un punto de A est a en su frontera; la armacion se sigue de observar que toda vecindad de
1
2
en
Y tiene intersecci on no vaca con A y con Y \ A = (0,
1
2
]. Por otro lado, la frontera del conjunto A en la
recta est a constituida por los puntos
1
2
, 1. Por lo tanto la frontera de A en el subespacio Y es diferente a
la frontera de A en la recta.
Las observaciones anteriores justican introducir la siguiente notacion. Si X es un espacio topol ogico,
Y un subespacio de X y A Y , denotamos por A
Y
y por A
X
la clausura de A en el espacio topol ogico
Y y la clausura de A en el espacio topol ogico X respectivamente, manteniendo esta convenci on para los
puntos de acumulacion, la frontera y el interior tenemos que en los ejemplos anteriores se vale: B
Y
= B
B
R
= B {0}, Int
R
(A) = (
1
2
, 1) Int
Y
(A) = A y (A)
Y
= {
1
2
} (A)
R
= {
1
2
, 1}. El siguiente resultado
generaliza lo observado.
Proposici on 2.1.7. Si A Y X, entonces:
1. A
Y
= Y A
X
;
2. A
Y
= Y A
X
;
3. (A)
Y
Y (A)
X
;
4. Y Int
X
(A) Int
Y
(A).
Prueba:
1. A
X
es un conjunto cerrado en X, por lo tanto Y A
X
es un conjunto cerrado en Y el cual contiene
al conjunto A, esto implica que A
Y
Y A
X
. Recprocamente, si y Y A
X
, sigue de la
denicion que toda vecindad U
y
de y en X tiene interseccion no vaca con A, como A Y sigue
que (U
y
Y ) A = . O sea, y A
Y
.
2. Analogo al anterior.
3. Esta inclusi on es una consecuencia inmediata de la identidad 1.4 y del item 1. A saber
(A)
Y
= A
Y
(X \ A)
Y
= (Y A
X
) (Y (X \ A)
X
)
(Y A
X
) (X \ A
X
)
Y
_
A
X
(X \ A)
X
_
Y (A)
X
.
22
2.1 Topologa inducida 23
4. Como Int
X
(A) es un conjunto abierto en X se tiene que Int
X
(A) Y es un conjunto abierto en
Y el cual est a contenido en A; como Int
Y
(A) es el mayor conjunto abierto en Y contenido en A,
podemos concluir que: Int
X
(A) Y Int
Y
(A).
Observacion 2.1.8. 1. Si Y es cerrado (resp. abierto) en X, entonces para cada A Y se tiene
A
Y
= A
X
(resp. Int
X
(A) = Int
Y
(A)).
2. Cualquier subespacio de un espacio topol ogico discreto (resp. indiscreto) es un espacio discreto
(resp. indiscreto).
3. Si Z Y (X, T ) si denotamos por T
ZY
la topologa en Z inducida por el espacio (Y, T
Y
) y por
T
Z
la topologa en Z inducida por el espacio topol ogico X entonces T
ZY
= T
Z
. A saber
T
ZY
= {O Z : O T
Y
} = {(U Y ) Z : U T
X
} = {U Z : U T
X
} = T
Z
.
4. Un subespacio de un espacio topol ogico separable no necesariamente es separable. Un ejemplo para
esta armaci on se presentara en el item 3 del Ejemplo 2.1.9. Sin embargo, los subespacios abiertos
de espacios topol ogicos separables son separables. A saber, si Y X es un conjunto abierto y
X es un espacio separable, si D X un subconjunto denso enumerable, entonces como Y es
abierto D Y = (Observaci on 1.3.15), adem as, este conjunto es denso y enumerable en Y . La
enumerabilidad es inmediata, para ver que este conjunto es denso en Y , veamos que su clausura
(D Y )
Y
es el propio Y . Claramente tenemos la inclusi on (D Y )
Y
Y , recprocamente dado
un punto y Y , la Proposicion 2.1.6 garantiza que toda vecindad abierta O de y en Y es un
conjunto abierto en X, por consiguiente para cada vecindad abierta O de y en Y se tiene OD =
(Observaci on 1.3.15) luego para cada vecindad abierta O de y en Y vale O(DY ) = OD = ,
esto muestra que y (D Y )
Y
.
Ejemplos 2.1.9. 1. Q R como subespacio posee como sus abiertos los conjuntos formados por los
racionales incluidos en abiertos de R; es m as, Q en este caso no es discreto.
2. En el subespacio Y = [0, 1) {2} de R, es claro que los conjuntos {2}, [0, 1) son abiertos y cerrados.
Adem as todos los intervalos de la forma [0, a) [0, 1) son vecindades del 0 en Y .
3. En el item 10 del Ejercicios 1.3.16 se pide mostrar que el conjunto
= {(x, y) R
2
: y 0}
puede dotarse de una estuctura topol ogica con la cual es llamado el plano de Moore. Es claro que este
conjunto tambien puede dotarse de una topologa inducida por la topologa usual del plano, (la cual es
generada por las regiones circulares del plano, vea el item 13 de los Ejercicios 1.2.12). Comparemos
estas topologas en . Para efectos de notaci on y terminologa escribimos T para denotar la topologa
denida en dada en el item 10 del Ejercicio 1.3.16 y denotamos por T
la topologa en inducida
por la topologa usual de R
2
. Adem as, B(p, r) denotar a la regi on circular del plano cuyo centro es
23
24 Espacios topologicos obtenidos a partir de otros
el punto p y cuyo radio es r, dados puntos p, q en el plano, denotamos por d(p, q)
12
la distancia
Euclideana de p a q. Es claro que si p B(p
, r) existe un r
) B(p
, r) (basta
tomar r
= mn{r d(p, p
), d(p, p
= y ).
Por la denici on de T
, r) ,
en que p
es punto arbitrario del plano. Veamos que estos conjuntos son abiertos relativos a T ,
para esto empleamos el Corolario1.2.7, es decir debemos mostrar que para cualquier punto q
B(p
, r) . A saber, tomemos
q = (x, y) B(p
> 0 con
B(q, r
) B(p
, r) , tomamos V
q
= B(q, r
, ), en que q
T .
La otra inclusi on no se verica, ya que para los puntos de la forma p = (x, 0) las vecindades abiertas
en el plano de Moore, i.e., las vecindades relativas a la topologa T no son conjuntos abiertos en
relaci on a la topologa T
, como p V
p
debe existir una regi on
circular del plano B(p
, r) en que p
, r) V
p
, por
lo observado, existe un r
) B(p
, r) V
p
de este modo, para cada
(y, 0) L con y (x r
, x + r
, y
) entonces d(p, q) =
_
(x x
)
2
+ (y y
)
2
24
2.2 Continuidad 25
constituyen una subbase para una topologa T en este conjunto. Entonces el espacio topol ogico
_
R{, +}, T
_
es llamado la recta real extendida y la topologa inducida en R R{, +}
es la topologa usual. [Ayuda: Use el item 6 del Ejercicio 1.2.12]
4. Sean X
1
, X
2
no necesariamente disjuntos, subespacios de un espacio topol ogico X y A X
1
X
2
.
Si A es abierto (resp. cerrado) en X
1
y abierto (resp. cerrado) en X
2
, muestre que A es abierto
(resp. cerrado) en X
1
X
2
.
5. Sean Y X cerrado, A Y abierto en Y . Sea U cualquier conjunto abierto en X con Y U.
Muestre que A (U \ Y ) es abierto en X.
6. Sea D X un subconjunto denso. Muestre un ejemplo tal que D Y no sea denso en Y X.
Pruebe que si D Y X es denso en Y , entonces es denso en Y .
7. Sean X un espacio topol ogico, Y un subespacio cerrado de X. Sean A X un subconjunto arbi-
trario, U una vecindad de A Y en Y . Muestre que A (Y \ U) = .
8. Sea X un espacio topol ogico y asuma que X = X
1
X
2
, en que X
1
y X
2
son cerrados en X. Sea
B X
1
tal que B X
2
A en que A es abierto en X
2
. Muestre que B Int(X
1
A).
2.2. Continuidad
2.2.1. Funciones continuas
Han sido considerados hasta ahora topologas en diferentes conjuntos; pasaremos luego a describir
distintos espacios topol ogicos y sus invariantes, para lo cual es preciso el cocepto de continuidad presentado
a seguir.
Denicion 2.2.1. Dados espacios topol ogicos (X, T
X
), (Y, T
Y
). Una funcion f : X Y es una funci on
continua si la imagen inversa de cada conjunto abierto en Y es abierto en X. (Es decir si f
1
enva T
Y
en T
X
)
Ejemplos 2.2.2. 1. Toda funci on constante es continua. En efecto supongamos que para cada x X,
f(x) = y
0
para alg un y
0
Y . Dado un abierto arbitrario U Y se tiene que y
0
U y
0
/ U, esto
implica que f
1
(U) = X f
1
(U) = que en cualquiera de los dos casos es un conjunto abierto
en X.
2. Considerando la recta R con la topologa usual se tiene que la aplicaci on identidad Id : R R
l
no
es continua puesto que para el conjunto abierto [a, b) en R
l
se tiene Id
1
([a, b)) = [a, b) no es un
conjunto abierto en R respecto a la topologa usual. Sin embargo, la aplicaci on identidad Id : R
l
R
es continua ya que la topologa lmite inferior es m as na que la topologa usual de R, es m as observe
que en este caso la imagen del conjunto abierto y cerrado [a, b) de R
l
es el conjunto [a, b) que no
25
26 Espacios topologicos obtenidos a partir de otros
es abierto ni es cerrado en R, es decir una funci on continua no necesariamente enva conjuntos
abiertos (resp. cerrados) en abiertos (resp. cerrados).
3. M as general, si T
1
, T
2
son topologas en un conjunto X, la aplicaci on identidad Id : (X, T
1
)
(X, T
2
) es continua si, y solamente si T
2
T
1
.
4. Sea Y X. La topologa subespacio en Y puede ser denida como la menor topologa en Y para
la cual la aplicaci on inclusi on i : Y X es continua. A saber, la palicaci on i : (Y, T
Y
) X es
continua, puesto que para cada conjunto abierto U en X se tiene que i
1
(U) = U Y es un abierto
relativo en Y . Si T denota otra topologa en Y con la cual la aplicaci on inclusi on i : (Y, T ) X
es continua, entonces dado un abierto arbitrario U en X se tiene que i
1
(U) = U Y T por lo
tanto, T
Y
= {U Y : U abierto en X} T .
Es claro que la continuidad de una funcion f : X Y no depende s olo de la funcion f, esta depende
tambien de las topologas de su dominio y su codominio; adem as, si B es una base para la topologa del
codominio Y , para mostrar que f es continua es suciente mostrar que la imagen inversa de todo miembro
de B es un conjunto abierto en X. Por todo esto, al hablar de la continuidad de una funcion debe hacerce
explcito con respecto a que topologas se pretende evaluar la continuidad.
Proposici on 2.2.3. Sean X, Y espacios topol ogicos, f : X Y una funci on. Las siguientes armaciones
son equivalentes:
1. f es continua;
2. La imagen inversa de cada conjunto cerrado en Y es un conjunto cerrado en X;
3. La imagen inversa de cada miembro de una base (resp. subbase) para Y , es un conjunto abierto en
X (no necesariamente miembro de una base (resp. subbase) para X);
4. Para cada x X y cada vecindad W de f(x) en Y , existe una vecindad V de x en X tal que
f(V ) W;
5. f(A) f(A), para cada A X;
6. f
1
(B) f
1
(B) para cada B Y .
Prueba:
a) (1) (2). Es inmediato, ya que para cada F Y vale f
1
(Y \ F) = X \ f
1
(F).
b) (1) (3). Sea {U
)
es abierto para cada . Recprocamente, cada abierto U Y puede ser escrito en la forma
U =
_
U
1
U
n
: {
1
, . . . ,
n
}
_
, por tanto tenemos que:
f
1
(U) =
_
_
f
1
(U
1
) f
1
(U
n
)
_
el cual es una uni on de conjuntos abiertos en X, por tanto es un conjunto abierto en X.
26
2.2 Continuidad 27
c) (1) (4). Si f es una funcion continua, sin perdida de generalidad podemos asumir que W es un
conjunto abierto, por lo tanto el conjunto abierto f
1
(W) = V es la vecindad buscada. Recpro-
camente si W Y es un conjunto abierto, veamos que f
1
(W) es un conjunto abierto en X. Sea
x f
1
(W), luego f(x) W, como W es abierto, W es vecindad de cada uno de sus puntos en
particular de f(x), luego por la hip otesis existe una vecindad V de x en X con f(V ) W, por
tanto existe un abierto Z en X tal que x Z V f
1
(W).
d) (4) (5). Sean A X, b A. Veamos que f(b) f(A), en efecto si W es una vecindad de f(b)
en Y , existe una vecindad V de b en X, tal que f(V ) W, como b A, tenemos que el conjunto
V A no es vaco, pero V A V , por lo tanto f(V A) f(V ) f(A) f(V ) W lo que
implica que el conjunto W f(A) no es vaco.
e) (5) (6). Sea b f
1
(B), veamos que b f
1
(B), en efecto por hip otesis tenemos:
f
_
f
1
(B)
_
f
_
f
1
(B)
_
= B f(X) B,
es decir que
_
f
1
(B)
_
f
1
(B).
f) (6) (2). Sea B Y cerrado, veamos que f
1
(B) es cerrado. En efecto, como B cerrado, B = B y
por hip otesis tenemos
_
f
1
(B)
_
f
1
(B) = f
1
(B); es decir que f
1
(B) = f
1
(B), esto implica
que f
1
(B) es cerrado.
Observacion 2.2.4. 1. La continuidad de una funcion f : X Y en un punto x
0
X es denida
seg un el item n umero (4) en la Propocicion 2.2.3; luego es posible armar que una funcion f es
continua si, y solamente si, es continua en cada punto de X.
2. La inclusi on en el item (5) de la Proposicion 2.2.3 es estricta, para esto considere la aplicacion
identidad Id : R
l
R esta aplicaci on es continua y para A = [a, b) se tiene Id(A)
R
l
= Id(A) =
[a, b) A
R
= [a, b]. De igual forma la inclusi on en el item (6) puede ser estricta, considere la misma
funcion y el conjunto B = [a, b).
El siguiente resultado es util para construir funciones continuas a partir de algunas dadas.
Proposici on 2.2.5. 1. Si f : X Y, g : Y Z son funciones continuas, entonces tambien lo es la
funci on compuesta g f : X Z;
2. Si f : X Y es una funci on continua, A X es un subespacio de X, entonces la restricci on de f
sobre el subespacio A, f |
A
: A Y es una funci on continua;
3. Si f : X Y es una funci on continua y f(X) es considerado con la topologa subespacio, entonces
f : X f(X) es una funci on continua.
Prueba:
27
28 Espacios topologicos obtenidos a partir de otros
1. Como (g f)
1
= f
1
g
1
, si W es un conjunto arbitario en Z
(g f)
1
(W) = (f
1
g
1
)(W) = f
1
(g
1
(W)).
Por lo tanto, si W es un conjunto abierto, la continuidad de g garantiza que g
1
(W) es un conjunto
abierto en Y , igualmente de la continuidad de f se sigue que f
1
(g
1
(W)) es un conjunto abierto
en X.
2. Como f |
A
= f i en que i : A X denota la aplicaci on inclusi on, obtenemos su continuidad por
el item anterior.
3. f
1
(U f(X)) = f
1
(U) f
1
(f(X)) = f
1
(U).
Vimos como a partir de algunas funciones continuas hemos construido nuevas funciones continuas,
nalizamos esta seccion presentando un metodo que consiste en obtener una funcion continua que sea la
extensi on de una familia de funciones continuas, para esto necesitamos la nocion de familia localmente
nita la cual es presentada a seguir.
Denicion 2.2.6. Decimos que una colecci on de subconjuntos de un conjunto X es un cubrimiento
para el conjunto X o simplemente cubre a X si la uni on de los elementos de es igual a X. Cuando X es
un espacio topol ogico un cubrimiento para X se dice abierto, si todos los elementos de son conjuntos
abiertos en X. Por un subcubrimiento de un cubrimiento para X es entendida una subcolecci on formada
por elementos de los cuales cubren a X.
Denicion 2.2.7. Sea A = {A
} es nito. Decimos
que la familia A es localmente nita, si cada punto x X posee una vecindad que tienen interseccion no
vaca con A
a lo sumo para una cantidad nita de ndices , i.e., si para todo x X, existe un
abierto U en X, tal que x U y el conjunto { : U A
: }
es puntualmente nita en X si, y solamente si, A = {A
: } es una familia
localmente nita en X, entonces A = {A
: } es localmente nita en Y .
28
2.2 Continuidad 29
A seguir enunciamos algunos ejercicios que contienen resultados correspondientes a las familias local-
mente nitas. Esta nocion sera retomada de nuevo mas adelante.
Ejercicios 2.2.8.
1. Pruebe que toda familia localmente nita es puntualmente nita.
2. Sean X un conjunto arbitrario, {A
: A
Y y asumiendo que f
|
A
= f
|
A
= f
.
3. Pruebe que la condici on de ser localmente nita, depende de la topologa del espacio y tambien del
ambiente, m as explcitamente, si Y es un subespacio de un espacio X y {A
: A} es una
familia de subconjuntos de Y , puede ocurrir que esta familia sea localmente nita en Y y no sea
localmente nita en X. Pero si {A
: A} es tambien localmente nita en X. [Ayuda: Observe que para cada conjunto abierto
U en X, se tiene que: { A : U A
= } = { A : U A
= }.]
5. Si {A
{A
: A} es cerrado en X.
6. Si {A
{A
=
_
A
A
.
7. Sea {A
son abiertos o
b) Todos los subconjuntos A
es
abierto (resp. cerrado) en el subespacio A
.
8. Sea {A
n
}
nZ
+ una familia de subconjuntos de un espacio topol ogico X tal que A
n+1
A
n
. Pruebe
que si
1
A
n
= , entonces la familia {A
n
}
nZ
+ es localmente nita.
El siguiente enunciado es el resultado principal y su prueba es un corolario inmediato de los ejercicios
anteriores raz on por la cual los detalles son dejados como un ejercicio.
Teorema 2.2.9. Sea {A
son abiertos o
2. Todos los subconjuntos A
: A
|
A
= f
|
A
para cada
(, ) A A. Entonces, existe una unica funci on continua f : X Y , tal que para cada A,
f |
A
= f
.
Prueba: La existencia de la funcion f la garantiza el ejercicio 2. Para ver la continuidad, basta tomar
un subconjunto abierto U Y , por continuidad el conjunto f
1
(U) A
= f
1
para cada > 0; la funci on producto por un escalar, la funci on suma y la funci on producto, adem as, si
f(x) = 0 en X, entonces la funci on 1/f es continua.
Prueba: Para cada b < 0, tenemos que {x : |f(x)|
< b} = y {x : |f(x)|
} {x : f(x) < b
1
}
{x : |f(x)|
} {x : f(x) > b
1
};
esto muestra la continuidad de la funcion |f|
,
empleando los resultados anteriores se obtiene el resultado para la funcion producto. Como f(x) = 0 en
X, tenemos que el conjunto {x :
1
f(x)
> b} es igual a la siguiente uni on de conjuntos:
_
{x : f(x) > 0} {x : b f(x) < 1}
_
_
{x : f(x) < 0} {x : b f(x) > 1}
;
como f, b f son funciones continuas, obtenemos que
1
f
es una funcion semicontinua inferior. De forma
analoga la funcion
1
f
lo es.
A seguir listamos algunos ejercicios que correponden a la nocion de continuidad de funciones.
31
32 Espacios topologicos obtenidos a partir de otros
Ejercicios 2.2.14.
1. Pruebe que para funciones denidas en R (resp. R
n
) a valores en R la denici on de continuidad
presentada es equivalente a la denici on presentada en los cursos de an alisis.
2. Sea f una funci on denida en un espacio topol ogico X a valores en el intervalo [0, 1] tal que para
cada a, b [0, 1] vale que f
1
_
(a, 1]
_
y f
1
_
[0, b)
_
son subconjuntos abiertos en X, entonces f es
continua.
3. Muestre que si f : X = A
1
A
2
Y satisface que f|
A
1
, f|
A
2
son continuas en x A
1
A
2
,
entonces f es continua en x.
4. Muestre un ejemplo de una funci on f : X Y y A X tales que f|
A
sea continua pero tal que f
no sea continua en ningun punto de A.
5. Pruebe que la noci on de densidad es invariante por continuidad. M as especcamente, una funci on
continua mapea conjunto densos en conjuntos densos.
6. Muestre que si f : X R es una funci on tal que para cada n umero irracional r el conjunto
{x X : f(x) > r} es abierto entonces f es semi-continua inferior.
7. Construya una funci on f : R R que sea continua en un solo punto.
8. Si f, g : X R son funciones continuas. Muestre que el conjunto = {x X : f(x) = g(x)} es
cerrado en X. Adem as, si es denso entonces muestre que f = g.
9. Si X es un espacio topol ogico y A X la funci on caracterstica de A es denida como siendo
la funci on c
A
: X R constante igual a 1 en A y 0 en X \ A. Pruebe que c
A
es continua si, y
solamente si, A es cerrado y abierto.
10. Pruebe que las siguientes armaciones son equivalentes:
a) f : X Y es continua;
b) f(A
B tal que x B
;
b) Si x X es tal que x B
donde B
, B
B tal que
x B
.
A partir de este resultado, dados espacios topol ogicos (X
1
, T
1
), (X
2
, T
2
), la colecci on
= {U
1
U
2
: U
i
T
i
},
es base para una topologa en el espacio X = X
1
X
2
. En efecto, la condici on a) del enunciado encima
es inmediata y para probar la condici on b) basta tomar x = (x
1
, x
2
) (U
1
U
2
) (O
1
O
2
), siendo as,
se tiene que para cada i = 1, 2, x
i
U
i
O
i
con U
i
O
i
T
i
por tanto, existe un abierto W
i
en X
i
tal
que x
i
W
i
U
i
O
i
. Para nalizar, basta con denir, W = W
1
W
2
, se observa de inmediato que
x = (x
1
, x
2
) W (U
1
U
2
) (O
1
O
2
).
Denicion 2.4.1. La topologa producto en el conjunto X = X
1
X
2
es la topologa generada por la
base
= {U
1
U
2
: U
i
T
i
}.
Observacion 2.4.2. 1. La colecci on = {U
1
U
2
: U
i
T
i
} no dene una topologa en X = X
1
X
2
,
pues no necesariamente la uni on de dos elementos de esta forma puede expresarse de esta forma,
mas explcitamente (U
1
U
2
) V
1
V
2
) no necesariamente puede expresarse de la forma O
1
O
2
.
37
38 Espacios topologicos obtenidos a partir de otros
2. Sigue de la proposicion 1.2.6 que un subconjunto O X
1
X
2
es abierto en relaci on a la topologa
producto, si para cada x O, existen abiertos U
1
X
1
, U
2
X
2
tales que x U
1
U
2
O.
Algunas propiedades de la topologa producto son enunciadas en la siguiente proposicion.
Proposici on 2.4.3. Sean X
1
, X
2
espacios topol ogicos.
1. Si B
1
, B
2
son base para la topologa de los espacios X
1
, X
2
respectivamente, la colecci on
B = {U
1
U
2
: U
i
B
i
, i = 1, 2}
forma una base para la topologa producto.
2. Sean Y
1
X
1
, Y
2
X
2
subsepacios. Entonces, en el conjunto Y
1
Y
2
, la topologa producto coincide
con la topologa inducida por X
1
X
2
.
3. Si F
1
y F
2
son conjuntos cerrados en los espacios X
1
y X
2
respectivamente, entonces el conjunto
F
1
F
2
es cerrado en el espacio X
1
X
2
.
Prueba:
1. Basta observar que dado x = (x
1
, x
2
) U
1
U
2
en que para i = 1, 2, el subconjunto U
i
X
i
es
abierto, entonces para cada i = 1, 2, existe un abierto basico B
i
B
i
, tal que x
i
B
i
U
i
.
2. En efecto, en el espacio producto Y
1
Y
2
los abiertos basicos son de la forma U
1
U
2
en que para
cada i = 1, 2 el conjunto U
i
es un abierto en Y
i
. Por tanto, empleando la denicion de topologa
inducida, para cada i = 1, 2, existe un conjunto abierto O
i
en X
i
tal que U
i
= O
i
Y
i
, de este modo
se tiene
U
1
U
2
= (O
1
Y
1
) (O
2
Y
2
)
= (O
1
O
2
) (Y
1
Y
2
) (2.1)
por tanto, U
1
U
2
es un conjunto abierto en el subespacio Y
1
Y
2
de X
1
X
2
. Esto muestra que
la topologa inducida por X
1
X
2
en Y
1
Y
2
es mas na que la topologa producto en Y
1
Y
2
;
recprocamente, dado que los abiertos basicos en la topologa inducida por X
1
X
2
en Y
1
Y
2
son
de la forma U
1
U
2
= (O
1
O
2
)(Y
1
Y
2
), en que para cada i = 1, 2 se tiene que O
i
es un conjunto
abierto en X
i
, entonces empleando nuevamente la igualdad (2.1) se tiene que
U
1
U
2
= (O
1
Y
1
) (O
2
Y
2
)
con O
i
Y
i
abierto en Y
i
para cada i = 1, 2. Esto muestra que la topologa producto en Y
1
Y
2
es
mas na que la topologa inducida por X
1
X
2
.
3. Si x = (x
1
, x
2
) / F
1
F
2
, se tiene una de las siguientes opciones
x
1
F
1
x
2
/ F
2
x
1
/ F
1
x
2
F
2
x
1
/ F
1
x
2
/ F
2
.
38
2.4 Espacios producto 39
En el primer caso (Resp. el segundo) el conjunto X
1
(X
2
\ F
2
) (Resp. (X
1
\ F
1
) X
2
) es una
vecindad abierta del punto x en X
1
X
2
la cual est a contenida en X
1
X
2
\ F
1
F
2
. Para el
caso nal, es claro que X
1
\ F
1
X
2
\ F
2
es un conjunto abierto en X
1
X
2
el cual contine a x y
est a contenido en X
1
X
2
\ F
1
F
2
.
Es importante observar que pese a que el producto de dos conjunto abiertos (resp. cerrados) es un
conjunto abierto (resp. cerrado), no necesariamente todo conjunto abierto (resp. cerrado) puede expresarse
como el producto de dos conjuntos abiertos (resp. cerrados).
Ahora es mostrada una subbase para la topologa producto de dos espacios topol ogicos X
1
X
2
. Para
este n, es necesaria la siguiente denicion.
Denicion 2.4.4. Dados espacios topol ogicos (X
1
, T
1
), (X
2
, T
2
) para cada i = 1, 2, la i-esima proyecci on
es la funcion
i
: X
1
X
2
X
i
denida por
i
(x
1
, x
2
) = x
i
; es decir, para i = 1, se tiene
1
(x
1
, x
2
) = x
1
, para i = 2,
2
(x
1
, x
2
) = x
2
.
Si U
1
es un conjunto abierto en X
1
, el conjunto
1
1
(U
1
) = U
1
X
2
es abierto en el espacio X
1
X
2
.
Analogamente, si U
2
X
2
es un conjunto abierto, entonces el conjunto
1
2
(U
2
) = X
1
U
2
es un conjunto
abierto en X
1
X
2
. Sea
S = {
1
1
(U) : U T
1
} {
1
2
(V ) : V T
2
}.
Denotando por T
S
la topologa en X
1
X
2
para la cual S es una subbase y por T
P
la topologa producto
en X
1
X
2
. Dado que cada elemento de S es abierto en relaci on a la topologa producto, se tiene que las
uniones arbitrarias de intersecciones nitas tambien pertenecen a la topologa producto, o sea, T
S
T
P
.
Por otro lado, dado que cada elemento basico U
1
U
2
en la topologa producto se escribe como
U
1
U
2
=
1
1
(U
1
)
1
2
(U
2
),
se tiene que U
1
U
2
T
S
. Esto muestra que T
P
T
S
. En resumen, se tiene T
P
= T
S
.
Usando la notacion y la terminologa anterior se tiene el siguiente resultado.
Corolario 2.4.5. Respecto a la topologa producto, para cada i = 1, 2 la funci on
i
: X
1
X
2
X
i
son
funciones continuas y abiertas.
Ejemplo 2.4.6. 1. La proposici on 2.4.3 implica que en R
2
, la colecci on de productos de la forma
(a, b) (c, d) en que a, b, c, d R, es una base para la topologa producto la cual denotamos por T
P
.
Seg un el item 10 del ejercicio 1.2.12, esta topologa coincide con la topologa generada por todas
las regiones circulares en el plano la cual tambien es llamada la topologa usual del plano y la
denotamos T
d
. En efecto, si U
1
y U
2
son abiertos en R tales que (x
1
, x
2
) U
1
U
2
. Para cada
i = 1, 2, como U
i
es abierto en R existe r
i
> 0 tal que (x
i
r
i
, x
i
+r
i
) U
i
. Para cada i = 1, 2, sea
0 < r < r
i
, es claro que la regi on circular en plano con centro en (x
1
, x
2
) y radio r est a contenida en
39
40 Espacios topologicos obtenidos a partir de otros
U
1
U
2
, en efecto, si tal regi on es denotada por B
r
_
(x
1
, x
2
)
_
, dado (y
1
, y
2
) B
r
_
(x
1
, x
2
)
_
, se tiene
que para cada i = 1, 2, |x
i
y
i
|
2
|x
1
y
1
|
2
+ |x
2
y
2
|
2
< r
2
< r
2
i
; por tanto, para cada i = 1, 2
se vale y
i
(x
i
r
i
, x
i
+ r
i
) U
i
, esto muestra que B
r
_
(x
1
, x
2
)
_
U
1
U
2
. O sea, la topologa
generada por las regiones circulares en el plano es m as na que la topologa producto, i.e., T
P
T
d
.
Recprocamente, si B
r
_
(x
1
, x
2
)
_
denota la regi on circular del plano centrada en el punto (x
1
, x
2
) y
con radio 0 < r; sea > 0 tal que 2
2
r
2
. Entonces, Para cada i = 1, 2, el conjunto (x
i
, x
i
+)
es un abierto en R el cual contiene al punto x
i
; de este modo, (x
1
, x
1
+ ) (x
2
, x
2
+ )
es una vecindad abierta del punto (x
1
, x
2
) en relaci on a la topologa producto de R
2
y se tiene que
(x
1
, x
1
+)(x
2
, x
2
+) B
r
_
(x
1
, x
2
)
_
; en efecto, sea (y
1
, y
2
) (x
1
, x
1
+)(x
2
, x
2
+)
luego para cada i = 1, 2 se tiene |x
i
y
i
|
2
2
de este modo,
|x
1
y
1
|
2
+|x
2
y
2
|
2
2
2
r
2
.
Esto muestra la inclusi on deseada, i.e., (x
1
, x
1
+) (x
2
, x
2
+) B
r
_
(x
1
, x
2
)
_
, por tanto la
topologa producto es m as na que la topologa generada por las regiones circulares del plano, i.e.,
T
d
T
P
. Observe que se ha empleado el resultado del item 8 en el ejercicio 1.2.12 para obtener este
resultado.
2. En el conjunto R
l
R
l
, la colecci on formada por los conjuntos de la forma [a, b) [c, d) en que
a, b, c, d R forma una base para la topologa producto. Considere el conjunto L = {(x, x) : x R},
es simple mostrar que L es un subconjunto cerrado; en efecto, L puede ser visto como la imagen
inversa del singulete cerrado {0} por la funci on continua
1
+
2
, ver teorema 2.2.13. Adem as,
dados x R y > 0 el conjunto [x, x + ) [x, x + ) es un conjunto abierto en R
l
R
l
y se
cumple
L [x, x +) [x, x +) = (x, x),
esto muestra que el conjunto {(x, x)} es un conjunto abierto en L en relaci on a la topologa
inducida de R
l
R
l
. Por lo tanto, L es un espacio discreto. Pues se ha mostrado que el conjunto
formado por cada punto {(x, x)} L, es un conjunto abierto. Es claro que R
l
R
l
es un espacio
separable, pues el conjunto D = {(x, y) : x, y Q} es un conjunto denso y enumerable. Pero L no
es separable, esto prueba la armaci on que aparece en la observaci on 2.1.8 referente a que no todo
subespacio de un espacio separable es separable. Para ver que L no es separable, basta observar que
si D L es denso, entonces para cada abierto U L, el conjunto D U = , en particular para
cada x R, el conjunto D {(x, x)} = , esto muestra que para cada x R, (x, x) D por lo
tanto L D y D no puede ser enumerable.
El lector puede notar que las deniciones y resultados encima mostrados, pueden ser aplicados para
el producto nito de espacios topol ogicos; o sea, dados espacios topol ogicos (X
1
, T
1
), . . . , (X
n
, T
n
), es
posible considerar el producto X =
n
i=1
X
i
dotarlo de la estructura topol ogica producto e implementar
las dem as deniciones y resultados encima explicados para el caso n = 2. Siendo as, se tiene que una
base para la topologa producto en este caso est a dada por la colecci on
B =
_
n
i=1
U
i
: U
i
T
i
_
,
40
2.4 Espacios producto 41
la cual es llamada la base can onica para la topologa producto y sus elementos se llaman abiertos b asicos.
Del mismo modo, una subbase para la topologa producto es la colecci on
S =
n
_
i=1
_
1
i
(U
i
) : U
i
T
i
_
.
Pues dados abiertos U
i
X
i
para cada i = 1, . . . , n, se tiene que
U
1
U
n
=
n
i=1
1
i
(U
i
).
Para nalizar los comentarios referentes al producto nito de espacios topol ogicos, desarrollando los
resultados elementales que corresponden a la teoria de funciones denidas y a valores en un producto de
espacios; para este n, es conveniente las siguientes deniciones.
Denicion 2.4.7. Sea {(X
i
, T
i
)}
n
i=1
una familia de espacios topol ogicos diferentes de vaco. Denotamos
por X =
n
i=1
X
i
el espacio producto. Para cada j = 1, . . . , n, la j-esima proyecci on o la proyecci on en
la componente j-esima de X es la funcion
j
:
n
i=1
X
i
X
j
,
denida por
j
_
(x
i
)
n
i=1
_
= x
j
. Si Y es un espacio topol ogico arbitrario y f : Y X =
n
i=1
X
i
es una
funcion. Para cada j = 1, . . . , n, la j-esima componente de la funci on f es denida como siendo la funcion
f
j
=
j
f. Es decir, la componente j-esima de la funcion f, es la funcion f
j
para la cual el diagrama
Y
X
X
j
?
f
@
@
@R
f
j
-
j
es conmutativo. De este modo, es posible escribir la funcion f como f = (f
1
, . . . , f
n
).
Con la notacion y terminologa anterior, se tiene el siguiente resultado.
Proposici on 2.4.8. Sea {(X
i
, T
i
)}
n
i=1
una familia de espacios topol ogicos no vacos. Sea X =
n
i=1
X
i
el espacio producto.
1. Para cada j {1, . . . , n}, la j-esima proyecci on
j
: X =
n
i=1
X
i
X
j
es una funci on continua
y abierta.
2. Si Y es un espacio topol ogico arbitrario y f : Y X es una funci on. Pruebe lo siguiente f
es continua si, y solamente si, para cada j {1, . . . , n}, la componente j-esima f
j
=
j
f es
continua. Por tanto, si para cada j {1, . . . , n} es dada una funci on f
j
: Y X
j
entonces la
funci on
f : y Y f(y) =
_
f
i
(y)
_
n
1=1
n
i=1
X
i
,
es continua si, y solamente si, para cada j {1, . . . , n}, la funci on f
j
es continua.
41
42 Espacios topologicos obtenidos a partir de otros
Prueba:
1. Sea j {1, . . . , n}. Para cada abierto U X
j
, se tiene que
1
j
(U) = X
1
X
j1
U X
j+1
X
n
,
el cual es un conjunto abierto en
n
i=1
X
i
. Dado que para cada i {1, . . . , n} la funcion
j
mapea
conjuntos basicos en abiertos, la proposicion 2.3.3 garantiza que tales funciones son abiertas.
2. Si f es continua, dado que para cada j {1, . . . , n} la proyecci on
j
es una funcion continua, el
primer item en 2.2.5 implica que la funcion componente f
j
=
j
f es continua. recprocamente, si
para cada j {1, . . . , n} la funcion f
j
=
j
f es una funcion continua, veamos que la funcion f
es continua; para tal n se emplea el item 4 de la proposicion 2.2.3, en efecto, sean y
0
Y y V un
abierto en X tal que f(y
0
) =
_
f
1
(y
0
), . . . , f
n
(y
0
)
_
V . Por tanto, para cada i {1, . . . , n} existe
un abierto U
i
X
i
tal que f
i
(y
0
) U
i
, o sea,
f(y
0
) =
_
f
1
(y
0
), . . . , f
n
(y
0
)
_
U
1
U
n
V.
La continuidad de las funciones componentes f
i
, implica que para cada i {1, . . . , n} existe un
abierto B
i
Y con y
0
B
i
, y f(B
i
) U
i
. El conjunto B = B
1
B
n
es abierto en Y y contiene
al punto y
0
; dado que para cada i {1, . . . , n}, f
i
(B) f
i
(B
i
) U
i
se tiene
f(B) U
1
U
n
V.
Observacion 2.4.9. Hasta ahora s olo se ha considerado el caso de productos nitos de espacios topol ogi-
cos, antes de pasar a estudiar al caso mas general que compete a los productos innitos, es conveniente
por su utilidad a futuro, interpretar de forma un poco diferente el producto de dos conjuntos. Recuerde
que si X
1
, X
2
son conjuntos arbitrarios, el conjunto X
1
X
2
s olo es el conjunto de pares ordenados cuya
primera componente est a en X
1
y su segunda componente est a en X
2
. Una otra manera de interpretar
este conjunto es considerar todo par ordenado como una funcion, en efecto es posible pensar el par (x
1
, x
2
)
como una funcion de {1, 2} en X
1
X
2
que mapea al punto 1 en x
1
y al punto 2 en x
2
. En un lenguaje
matematico mas formal, esto sera
(x
1
, x
2
) : {1, 2} X
1
X
2
tal que (x
1
, x
2
)(1) = x
1
y (x
1
, x
2
)(2) = x
2
. De este modo, puede denirse
X
1
X
2
= {x : {1, 2} X
1
X
2
: x(1) X
1
, x(2) X
2
}.
Con esta peque na discusi on es posible justicar la denicion de producto cartesiano de una familia
arbitraria de conjuntos presentada a seguir.
Denicion 2.4.10. Dado un conjunto y una familia de conjuntos {X
, se dene el producto
cartesiano de {X
, denotado por
, como
=
_
x :
_
: x() X
_
.
42
2.4 Espacios producto 43
Seg un la denicion encima, el valor x() de la funcion x es usualmente denotado por x
y es llamado
la -esima coordenada de x. Adem as, muchas veces se escribe x = (x
.
Denicion 2.4.11. Una sucesi on o secuencia en un conjunto X indizada en un conjunto I es una funcion
f : I X. El punto f(i) es usualmente denotado por x
i
y en ocasiones hablamos de la sucesi on (x
i
)
iI
y
si no hay lugar a confusi on simplemente por (x
i
). Cuando I es un conjunto enumerable, es decir cuando
I = N, se obtiene un caso particular de esta denic on suceci on enumerable, en este caso generalmente se
escribe (x
n
)
nN
.
Ejemplos 2.4.12. 1. Cuando es un conjunto enumerable, se acostumbra sustituirlo por el conjunto
de los n umeros naturales N. De este modo, la familia de conjuntos puede ser escrita como {X
n
}
nN
y adem as
como
n=0
X
n
, por tanto, un punto en este espacio puede ser entendido como
una sucesi on x : N
nN
X
n
tal que para cada n N, x
n
X
n
y escrito como x = (x
0
, x
1
, x
2
, . . . ).
2. Si L es un conjunto arbitrario tal que para cada , el conjunto X
= L. Entonces X =
es simplemente el conjunto L
es simplemente la
componente -esima del punto x. Casos particulares interesantes suceden cuando consideramos el
conjunto de todas la funciones denidas en los n umeros reales R a valores en este mismo conjunto,
R
R
= F(R; R), el cual simplemente puede escribirse como el producto
R
R
=
tR
R
t
,
en que para cada t R, se tiene R
t
= R. Analogamente si I = [0, 1], el conjunto R
I
=
tI
R
t
, en
que para cada t I, se tiene R
t
= R. Finalmente, para el caso en que es enumerable y para cada
se tiene X
= R entonces se dene
R
nN
R
n
,
en que para cada n N, R
n
= R.
3. Un ejemplo interesante y demasiado util es el conjunto X = {0, 1}
N
, en este conjunto usando la no-
taci on del item 1 encima, un elemento puede ser interpretado como una sucesi on x = (x
1
, x
2
, x
3
, . . . )
en que para cada n N, x
n
= 0 o x
n
= 1. Es decir, los elementos son sucesiones formadas por
ceros y unos. Un abierto b asico para la topologa producto de Tychono en este espacio es dada
por un producto de abiertos
nN
U
n
los cuales coinciden con el conjunto {0, 1} excepto para una
cantidad nita de ndices. En este espacio los singletes son conjuntos cerrados que no son abiertos,
en efecto si x = (x
n
) X, y se tiene un punto y X que diere de x en la componente j, entonces
el conjunto U =
n
U
n
en que para cada n = j U
n
= {0, 1} y U
j
=
j
(y) es un conjunto abierto
el cual contiene a y y no contiene a x. Por lo tanto {x} es un conjunto cerrado. Adem as, x no es
abierto porque ning un abierto b asico est contenido en {x}.
Denicion 2.4.13. Con la notacion y terminologa anterior, para cada se tiene que la -esima
proyecci on es la funcion
43
44 Espacios topologicos obtenidos a partir de otros
denida como
(x) = x() = x
.
Cuando se tiene una familia de espacios topol ogicos
_
(X
, T
)
_
. En el conjunto
hay dos
topologas importantes, las cuales son el objeto de discusi on en lo que resta de esta seccion. Mirando el
caso antes realizado en el que se tiene una colecci on nita de espacios topol ogicos, la primera idea que se
ocurre es considerar la topologa generada por la colecci on
_
: U
_
.
Como se realiz o para el caso nito, esta colecci on dene una topologa en el conjunto
X y es
posible mostrar que en relaci on a esta topologa, las funciones proyecci on son continuas y abiertas, sin
embargo, esta no es la topologa menos na para la cual esto es verdad, es decir, podemos encontrar un
topologa con una cantidad menor de abiertos que torne las funciones proyecci on continuas, por lo tanto,
una segunda idea de dotar al conjunto
, T
)
_
. La
topologa generada por la colecci on
_
U : U
_
en el conjunto
, T
)
_
. En el
conjunto
U : U
_
,
donde U
= X
X para
la cual las proyecciones sean funciones continuas, de este modo para cada se tiene que dado un
conjunto abierto U
se tiene que
1
(U
U, donde U
= X
U =
1
1
(U
1
)
1
n
(U
n
).
Es decir, la topologa producto de Tychono puede ser entendida como aquella que tiene como
subbase la colecci on
S = {
1
(U) : , U
T }.
2. Es claro que los conjunto basicos para la topologa producto Tychono, son conjuntos abiertos
basicos para la topologa caja, por lo tanto, la topologa producto Tychono es menos na que la
topologa caja. Por otro lado, el conjunto V =
es
un abierto basico en X
tal que V
= X
U, donde U
= X
entonces
.
x = (x
= . Luego
para cada , U
. Dado que U
es un abierto
arbitrario en X
de la coordenada x
tiene interseccion
no vaca con A
por lo tanto todo conjunto abierto basico en el producto tiene interseccion no vacia
con
.
4. Observe que si consideramos el producto X =
nN
X
n
y cada factor es un espacio discreto,
entonces todo conjunto abierto basico es el producto de conjuntos que son al tiempo abiertos y
cerrados en cada componente, consecuentemente el tem anterior implica que todo abierto basico es
discreto. En particular, en el espacio X = {0, 1}
N
todo abierto basico es un producto de conjunto
cerrados por lo tanto es un conjunto cerrado.
5. En el espacio R
N
el conjunto A formado por las sucesiones acotadas es un conjunto abierto y
cerrado respecto a la topologa caja. En que recuerde que una suceci on (x
n
)
nN
es acotada si existe
45
46 Espacios topologicos obtenidos a partir de otros
un n umero K tal que para cada n N, |x
n
| < K. Veamos nuestra armacion. En efecto, dados
n umeros reales a, b tales que a < b se tiene que el conjunto (a, b)
N
es abierto respecto a la topologa
caja y todos sus elementos son sucesiones acotadas por los valores a, b. Si (x
n
)
nN
es un elemento
de A, se tiene que existen numeros reales a, b tales que para cada n N, a < x
n
< b, por lo tanto
(x
n
) (a, b)
N
, consecuentemente
A =
_
a<b
(a, b)
N
.
Por otro lado, si (x
n
)
nN
es un punto de acumulacion del conjunto A, dado > 0, existe (y
n
)
nN
A
tal que para cada m N vale y
m
(x
m
, x
m
+), siendo (y
n
) un elemento de A, existe un real
M tal que para cada m N, |y
m
| < M. Luego la sucesi on (x
n
)
nN
es limitada. En efecto, de no ser
as, existe un m N tal que |x
m
| > M +; por otro lado, |x
m
| = |x
m
y
m
+y
m
| +M, lo cual
no es posible.
6. El producto caja aparecio en la teora antes que el producto Tychono, mas por causa de algunos
resultados especiales los cuales envuelven el producto Tychono, este segundo producto es el mas
conocido y usual. En particular, en este texto, siempre salvo menci on en lo contrario es asumido que
el conjunto
: Y X
: Y X
(y)}
,
es continua si, y solamente si, para cada ndice , la funci on f
es continua.
Prueba: Si f es una funcion continua, es claro que para cada , la funcion f
f es
continua por ser composicion de funciones continuas. recprocamente, si para cada la funcion
f
(U
) en que U
un conjunto abierto en X
. Como
f
1
_
(U
)
_
= f
1
(U
).
Esta igualdad junto con la continuidad de f
(U
)
_
es abierto en X
y esto muestra la continuidad de la funcion f. En los ejercicios a continuacion se pide para mostrar
que este resultado no es verdadero si en lugar de la topologa producto de Tychono en X, se toma
la topologa caja.
8. El item anterior junto con la armacion referente a la minimalidad que aparece en 2.4.16, justican
la elecci on en estas notas para considerar siempre los productos
el el subcon-
junto de R
N
formado por todas las sucesiones que son eventuelmente nulas, esto es sucesiones de la
forma x = (x
1
, x
2
, . . . ) tales que x
i
= 0 s olo para una cantidad nita de ndices. Cual es la clausura
de R
en R
N
en relaci on a la topologa caja y a la topologa producto de Tychono? Es claro
que todo conjunto basico en la topologa producto tiene interseccion no vaca con R
por lo tanto
R
= R
N
es decir este conjunto es denso en la topologa producto. Por otro lado, dado un elemento
(x
i
)
iN
R
N
\ R
. Dena U
i
= R si x
i
= 0 y U
i
= R \ {0} si x
i
= 0. El conjunto U =
i
U
i
es
abierto en la topologa caja, adem as (x
i
) U R
N
\ R
es un conjunto
cerrado en R
= R
.
10. Las proyecciones no son funciones cerradas. Para ver esto puede considerar la siguiente situacion
1
: RR R. El conjunto F = {(x, y) : xy = 1} es cerrado, sin embargo
1
(F) = R\ {0}, el cual
no es un conjunto cerrado.
11. Pese a no ser comentado en toda la seccion, si es dada una colecci on de conjuntos {X
y alg un
factor X
(V ) = X
excepto para un n umero nito de ndices. Esto es consecuencia inmediata del hecho que V contiene
un abierto basico de la forma
U, donde U
= X
i=1
X
i
_
=
n
i=1
Int(X
i
).
Adem as muestre que (X
1
X
2
) = (X
1
X
2
) (X
1
X
2
).
4. Sea {(X
, T
)}
: Y X
una familia de
funciones denidas en un espacio topol ogico arbitrario Y . Dena la colecci on
B = {f
1
1
(U
1
) f
1
n
(U
n
) : U
i
T
i
}.
a) Muestre que B es base para una topologa en Y , la cual es llamada Topologa generada por las
funciones f
.
b) Muestre que esta es la menor topologa para la cual las funciones f
es continua.
d) Muestre que para el caso de productos X =
n
i=1
X
i
, la topologa generada por las funciones
{
i
: X X
i
}
n
i=1
coincide con la topologa producto.
5. Sea {(X
, T
)}
y por
_
(x
_
= x
.
a) Pruebe que la colecci on
B =
_
: U
_
no es una topologa en X.
b) Pruebe que la colecci on
S =
_
{
1
(U) : U T
}
dene una subbase para una topologa en el producto cartesiano X. Muestre que esta topologa
tiene como base los conjuntos de la forma
en que U
y U
= X
salvo para un
n umero nito de ndices.
c) Si para cada ndice , B
en X
,
en que para cada , B
= X
para
los dem as, sirve como base para la topologa producto Tychono.
48
2.4 Espacios producto 49
d) Si para cada , A
es un subespacio. En el conjunto
la topologa producto
de Tychono coincide con la topologa inducida por
.
e) Si A
.
Concluya que el conjunto A =
, donde cada A
= es un conjunto cerrado en
es un conjunto cerrado en X
es un conjunto denso en
es un conjunto denso en
X
.
f) Dado un espacio topol ogico arbitrario Y . Pruebe que si X es dotado con la topologa caja,
entonces la proposicion 2.4.18 no es v alida. [Ayuda: Considere la funci on f : R R
N
denida
por f(t) = (t, t, t, . . . , ).]
g) Para cada sea
se tiene
F =
nito
(F)
_
.
6. Considere el conjunto P R
N
formado por las sucesiones (x
1
, x
2
, . . . ) tal que x
i
> 0 para cada
i N. Muestre que en relaci on a la topologa caja (0, 0, . . . ) es un punto lmite de P.
7. Sean {X
, {Y
dos colecciones de espacios topol ogicos. Asuma que para cada ndice es
dada una funci on f
: X
. Considere la funci on
f :
: {x
{f
(x
)}
.
Entonces pruebe que si cada f
es un homeomorsmo, tambien lo es f.
8. Cu ales de las siguientes funciones de R en R
N
son continuas respecto a la topologa producto y
respecto de la topologa caja.
a) f(t) = (t, 2t, 3t, . . . );
b) g(t) = (t, t, t, . . . );
a) h(t) = (t,
1
2
t,
1
3
t, . . . );
9. Dadas dos sucesiones de n umeros reales (a
1
, a
2
, . . . ), (b
1
, b
2
, . . . ). Dena la funci on h : R
N
R
N
por f
_
(x
1
, x
2
, . . . )
_
= (a
1
x
1
+b
1
, a
2
x
2
+b
2
, . . . ). Muestre que en relaci on a la topologa producto de
Tychono esta funci on es un homeomorsmo. Sucede igual respecto a la topologa caja?
49
50 Espacios topologicos obtenidos a partir de otros
10. Prube que el producto R
l
R
l
no es un espacio discreto, sin embargo el subespacio A =
_
(x, y)
R R : x +y = 1
_
como subespacio es discreto.
11. Si Y es un conjunto ordenado, dotado de la topologa orden, muestre que el conjunto
= {(y
1
, y
2
) Y Y : y
1
> y
2
}
formado por los puntos que est an bajo la diagonal es un conjunto abierto en el producto Y Y .
Concluya que si f, g : X Y son funciones continuas, entonces el conjunto {x X : f(x) < g(x)}
es abierto en X, concluya que la funci on h(x) = mn{f(x), g(x)} es continua.
12. Si S denota el espacio de Sierpinski, muestre que el conjunto S {0} es cerrado en S S.
13. Pruebe que las traslaciones f
p
: R
n
R
n
denidas por f
p
(x) = x +p son homeomorsmos.
14. Muestre un ejemplo de un funci on f : X X R que sea continua en cada componente pero que
no sea continua en X X.
15. Sea f : X Y una funci on, considere el subconjunto Gr(f) = {(x, f(x) : x X} XY . Muestre
que x X
_
x, f(x)
_
Gr(f) es un homeomorsmo si, y s olo si, f es una funci on continua.
16. Pruebe que la funci on f : [0, 2) S
1
denida por f(t) = (cos t, sin t) es una biyecci on continua,
sin embargo no es un homeomorsmo.
17. Sea {(X
, T
)}
: Y X
una familia de
funciones continuas denidas en un espacio topol ogico arbitrario Y . La funcion diagonal se dene
como siendo la aplicaci on
: Y
(y) =
_
f
(y)
_
: Y X
para la
cual todas estas son continuas, fue presentada en el item 3 de el ejercicio 2.4.19. Una nocion dual para esta,
es la de mayor topologa inducida en un conjunto Y por una familia de funciones {f
: X
Y }
para
la cual todas son funciones continuas. En el caso particular en que se tiene una sola funcion f : X Y ,
la topologa resultante en Y es llamada la topologa cociente inducida en Y por f. Este es el t opico de
estudio presentado a seguir.
Denicion 2.5.1. Sean X, Y espacios topol ogicos. Una aplicaci on q : X Y es llamada aplicaci on
cociente cuando es satisfecha una de las dos siguientes condiciones equivalentes
50
2.5 Espacios cociente 51
1. para cada U Y , U es abierto en Y si, y s olo si, q
1
(U) es abierto en X;
2. para todo F Y , F es cerrado en Y si, y s olo si, q
1
(F) es cerrado en X.
Obviamente toda aplicacion cociente es continua.
Denicion 2.5.2. Si (X, T
X
) es un espacio topol ogico, Y un conjunto y q : X Y es una funcion, la
colecci on
T
q
= {U Y : q
1
(U) T
X
}
dene una topologa en Y , la cual es llamada topologa co-inducida o topologa cociente inducida por la
aplicaci on q.
Observacion 2.5.3. Con la notacion y terminologa encima, en relaci on a la topologa cociente se tiene
1. Cuando Y es dotado con tal topologa, q es una aplicaci on cociente y el espacio Y es llamado un
espacio cociente de X.
2. Si T es una topologa mas na que la topologa T
q
, dado un subconjunto C Y , es tal que C / T
q
,
pero C T es claro que el conjunto q
1
(C) no es abierto en X, por tanto, si consideramos a Y con
la topologa T se tiene que la aplicaci on q es discontinua. Es decir, cualquier topologa mas na que
la topologa cociente en Y torna la aplicaci on q discontinua. O de otro modo, la topologa cociente
en Y es la mas na para la cual la funcion q es continua.
3. No necesariamente la aplicaci on q es sobreyectiva, sin embargo, no se pierde generalidad ni informa-
cion bajo tal supuesto, es decir si se supone q(X) = Y ; en efecto, pues si C Y \ q(X), el conjunto
q
1
(C) = es abierto en X, por lo tanto C abierto en Y . Esto muestra que el conjunto Y \ q(X)
es discreto.
4. Si q : (X, T
X
) (Y, T
Y
) es una aplicaci on cociente, entonces la topologa T
Y
en Y es precisamente
la topologa cociente o co-inducida por q, mas especcamente, T
Y
= T
q
. En efecto, dado que la
aplicaci on q : (X, T
X
) (Y, T
Y
) es continua se tiene que T
Y
T
q
, pues T
q
es la topologa mas
na que torna la aplicaci on q continua. recprocamente, si U Y es tal que U T
q
, se tiene por
la denicion que q
1
(U) T
X
. Como q : (X, T
X
) (Y, T
Y
) es una aplicacion cociente se sigue del
item 1 en la denicion 2.5.1 que U es abierto en Y , es decir, U T
Y
.
Lema 2.5.4. Si q : X Y es una aplicaci on cociente, dado un espacio topol ogico Z y una aplicaci on
continua f : X Z, entonces caso exista una funci on f : Y Z tal que el diagrama
X
Y Z
?
q
@
@
@R
f
-
f
conmuta. Entonces f es continua.
51
52 Espacios topologicos obtenidos a partir de otros
Prueba: La verdad se tiene la siguiente armacion, f : Y Z es continua si, y solamente si, f es
continua. En efecto, si f es una funcion continua, la proposicion 2.2.5 implica que f q = f es una funcion
continua. Recprocamente, si f es una funcion continua, se tiene que para cada conjunto abierto U Z,
el conjunto f
1
(U) =
_
f q
_
1
(U) = q
1
_
f
1
(U)
_
es abierto en X. Como q es una aplicacion cociente,
usando la denicion 2.5.1 se concluye que el conjunto f
1
(U) es abierto en Y .
Cuando una aplicaci on q : X Y posee la propiedad del lema encima, se dice que q posee la propiedad
de pasar al cociente; esta es la principal propiedad que caracteriza a las aplicaciones cocientes. En efecto,
si una funcion continua q : (X, T
X
) (Y, T
Y
) posse la propiedad de pasar al cociente, entonces al tomar
f = q y Z = (Y, T
q
) en lema anterior, se tiene el siguiente diagrama conmutativo
(X, T
X
)
(Y, T
Y
) (Y, T
q
)
?
q
@
@
@
@
@R
f=q
-
f
en que f es igual a la aplicaci on identidad Id : Y Y . El item 1 en la observaci on 2.5.3 garantiza que
la funcion f = q : (X, T
X
) (Y, T
q
) es una aplicaci on cociente, por tanto, posee la propiedad de paso al
cociente. Como consecuencia de tal propiedad y del hecho que q : (X, T
X
) (Y, T
Y
) es una aplicacion
continua con la propiedad de pasar al cociente, se tiene que las funciones f = Id, (f)
1
= Id
1
son
continuas. Esto demuestra que Id : Y Y es un homeomorsmo, es decir; T
q
= T
Y
y adem as q es una
aplicaci on cociente. La siguiente observaci on contiene algunos resultados utiles y faciles de mostrar.
Observacion 2.5.5. 1. Una aplicaci on biyectiva q : X Y es una aplicacion cociente si, y solamente
si, es un homeomorsmo; en particular una sobreyecci on continua y abierta (o cerrada) es una
aplicaci on cociente. En efecto, si U Y es un conjunto abierto, entonces por continuidad f
1
(U)
es un conjunto abierto en X. recprocamente, si f
1
(U) es abierto en X entonces f
_
f
1
(U)
_
es
abierto en Y pues f es una funcion abierta. Pero f
_
f
1
(U)
_
= U porque f es sobreyectiva.
2. Un caso particular de una aplicaci on abierta es un homeomorsmo local f : X Y . Recuerde que
se llama de esta forma a una aplicaci on f cuando todo punto x X pertenece a un abierto U tal
que f(U) = V es abierto en Y y adem as f es un homeomorsmo de U sobre V . Consecuentemente,
un homeomorsmo local sobreyectivo es una aplicaci on cociente.
3. La composicion de aplicaciones cociente es una aplicaci on cociente.
4. Si en el diagrama conmutativo del lema 2.5.4 las aplicaciones q y f son cocientes entonces f es una
aplicaci on cociente.
Un caso frecuente de topologa cociente es descrito a seguir. Si es una relaci on de equivalencia
en un conjunto espacio topol ogico X, sean X/ el conjunto formado por las clases de equivalencia en
X determinadas por y q : X X/ la proyecci on can onica, la cual asocia a cada punto x X
su respectiva clase de equivalencia, usualmente se escribe q(x) = [x]. Dotando a X/ con la topologa
52
2.5 Espacios cociente 53
coinducida por q, el espacio (X/ , T
q
) se llama el espacio cociente de X por la relaci on y la aplicacion q
se llama la aplicaci on cociente determinada por la relaci on . Este caso particular de topologa coinducida
es escencialmente el mas general posible como veremos.
Dados espacios topol ogicos (X, T
X
), (Y, T
Y
), a partir de una funcion continua y sobreyectiva f : X Y
se obtiene una relaci on de equivalencia
f
en X haciendo
x
f
y f(x) = f(y).
Sea q : X X/ la aplicaci on cociente determinada por la relaci on
f
. Existe una unica aplicacion
biyectiva f : X/ Y tal que el diagrama
(X, T
X
)
X/ (Y, T
Y
)
?
q
@
@
@
@
@R
f
-
f
es conmutativo. Como f es continua y X/ es dotado de la topologa cociente, es claro que f es una
funcion continua. Sin embargo, no siempre la aplicaci on f es un homeomorsmo. Para que esto suceda
es necesario y suciente que Y posea la topologa coinducida por f, es decir que T
Y
= T
f
. En efecto, si
T
Y
= T
f
, como consecuencia del lema 2.5.4 la aplicaci on (f)
1
es continua. Recprocamente, si f es un
homeomorsmo es una aplicaci on cociente, como q es una aplicaci on cociente se tiene que f = f q es
una aplicaci on cociente, como consecuencia del item 4 en la observaci on 2.5.3 se tiene que T
Y
= T
f
.
Observacion 2.5.6. En resumen se tiene que hay una correspondencia 1 : 1 entre las relaciones de
equivalencia denidas en un espacio topol ogico X y las aplicaciones cociente con dominio X. Denida como
sigue, a la relaci on de equivalencia le corresponde la aplicaci on cociente q : X X/ . Recprocamente,
a la aplicaci on cociente f : X Y , se le asocia la relaci on de equivalencia
f
. En este caso, los espacios
topol ogicos X/
f
, Y son homeomorfos. Otra forma de expresar esto es la siguiente, toda descomposicion
de un espacio topol ogico en clases de equivalencia es un espacio cociente de X; todo espacio cociente de
X es (homeomorfo) a una descomposicion de X en clases de equivalencia.
2.5.2. Conjuntos saturados
Dejemos de momento las nociones topol ogicas y realicemos un trabajo conjuntista. Dados conjun-
tos X, Y y una funcion sobreyectiva arbitraria q : X Y . Para cada subconjunto T Y vale que
q
_
q
1
(T)
_
= T; sin embargo, S q
1
_
q(S)
_
para cada subconjunto S X. Esta observaci on justica la
denicion de conjunto saturado presentada a seguir.
Denicion 2.5.7. Un subconjunto S X es llamado saturado en relaci on a una aplicacion q : X Y ,
si S = q
1
_
q(S)
_
. Es decir, q(x) = q(x
0
) con x
0
S, implica x S.
53
54 Espacios topologicos obtenidos a partir de otros
Observacion 2.5.8. 1. Es claro que para cada T Y , el conjunto q
1
(T) es saturado, en X en
relaci on a una aplicacion sobreyectiva q : X Y . Pues si S = q
1
(T), se tiene
q
1
_
q(S)
_
= S.
Luego para cada S X, el conjunto q
1
_
q(S)
_
es saturado y se llama el saturamiento de S y es el
menor conjunto saturado que contiene a S.
2. Si es una relaci on de equivalencia en un conjunto X. Sea Y = X/ el conjunto formado por
las clases de equivalencia y q : X Y la proyecci on can onica, que asocia a cada punto x X su
respectiva clase, mas especcamente
x X q(x) = [x] Y
Si S X es saturado en relaci on a q, (i.e., si S = q
1
_
q(S)
_
) dados x S, y X con x y
i.e., q(x) = q(y). Como S saturado, se tiene y S. Recprocamente, si se supone que dados x S,
y X siempre que x y se tiene y S, entonces S = q
1
_
q(S)
_
. Es decir, un conjunto S X
es saturado en relaci on a la funcion q : X Y si, y solamente si, S es una uni on de clases de
equivalencia de la relaci on .
Lema 2.5.9. Dada una funci on q : X Y y subconjunto S
1
, S
2
X entonces si S
1
o S
2
es saturado
respecto de q, entonces
q(S
1
S
2
) = q(S
1
) (S
2
).
Prueba: La inclusi on siempre vale. Recprocamente, si y q(S
1
) q(S
2
), entonces y = q(x
1
) = q(x
2
),
con x
1
S
1
, x
2
S
2
. Si x
1
S
1
, se tiene x
2
S
1
o x
1
S
2
(dependiendo si S
1
o S
2
es saturado).
El resultado anterior puede ser generalizado a una familia arbitraria de conjuntos {S
i
: i I}.
Volvamos a retomar un poco los aspectos topol ogicos y estudiemos la relaci on de los conjuntos saturados
y las aplicaciones cociente. El siguiente hecho es de utilidad
Proposici on 2.5.10. Sean X, Y espacios topol ogicos, q : X Y una aplicaci on cociente, entonces q
lleva conjuntos abiertos saturados de X (resp. cerrados) en conjuntos abiertos de Y (resp. cerrados). La
verdad, si q : X Y es una aplicaci on continua y sobreyectiva entonces q es una aplicaci on cociente
si, y solamente si, q lleva conjuntos abiertos saturados de X (resp. cerrados) en conjuntos abiertos de Y
(resp. cerrados).
Prueba: En efecto, si q es una aplicaci on cociente dado un conjunto U X abierto saturado, U =
q
1
_
q(U)
_
i.e., q(U) abierto en Y . Recprocamente, si q : X Y es una aplicacion continua y sobreyectora
la cual lleva abiertos saturados de X en abiertos de Y , mostremos que q es una aplicacion cociente, mas
especcamente, veamos que para cada V Y , se tiene la siguiente equivalencia, V es abierto en Y
si, y solamente si, q
1
(V ) es abierto en X. Como consecuencia de la continuidad, dado un conjunto
abierto V Y , q
1
(V ) abierto en X. Por otro lado, si V Y es tal que q
1
(V ) es abierto en X, como
consecuencia del item 1 en la observaci on 2.5.8 se tiene que q
1
(V ) es saturado. Luego q
_
q
1
(V )
_
= V
es abierto en Y . Esto muestra que la aplicaci on q es cociente.
54
2.5 Espacios cociente 55
Corolario 2.5.11. Una aplicaci on cociente q : X Y es abierta (resp. cerrada) si, y solamente si, el
saturamiento de cada conjunto abierto (resp. cerrado) de X es una conjunto abierto (resp. cerrado) en
X.
Corolario 2.5.12. Si q : X Y es una aplicaci on cociente y si S X es un conjunto abierto o cerrado
saturado entonces q|
S
: S q(S) es una aplicaci on cociente.
Observacion 2.5.13. 1. Si q : X Y es una aplicaci on continua y abierta y S X es abierto
(saturado o no) entonces q|
S
: S q(S) es una aplicaci on continua, abierta y sobreyectiva por lo
tanto es cociente. Similarmente, Si q : X Y es una aplicaci on continua y cerrada y S X es
cerrado (saturado o no) entonces q|
S
: S q(S) es una aplicaci on continua, cerrada y sobreyectiva
por lo tanto es cociente.
2. Como consecuencia de lo realizado, es claro que los conjuntos saturados respecto de una aplicacion
cociente q : X Y son importantes, esto en conjunci on con lo observado en el item 2 de la
observaci on 2.5.8 permite concluir que un conjunto U X es saturado en relaci on a la aplicacion
cociente q : X Y si, y solamente si, U es una uni on de clases de equivalencia de la relaci on de
equivalencia
q
inducida en X por q.
Ejemplos 2.5.14.
1. La proyecci on
1
: X
1
X
2
X
1
es una aplicaci on cociente pues es continua, abierta y sobreyectiva.
Pero no es una aplicaci on cerrada, si X
1
= X
2
= R, el conjunto F = {(x, y) R
2
: xy = 1} es
cerrado y
1
(F) = R \{0} el cual no es cerrado en R.
2. Dada una acci on : GX X de un grupo G en un espacio topol ogico X por medio de homeo-
morsmos, es decir si para cada g G la aplicaci on
g
: X X
obtenida por la acci on de g en X es un homeomorsmo de X. Si X/G denota el espacio de las
orbitas de la acci on y q : X X/G la proyecci on can onica. Entonces, en relaci on a la topologa
cociente inducida por q en X/G, se tiene que q es una aplicaci on abierta. En efecto, si U X es
un conjunto abierto, para ver que q(U) es abierto en X/G basta observar que para cada g G, el
conjunto
g
(U) es abierto en X adem as,
q
1
_
q(U)
_
=
_
gG
g
(U).
Es abierto en X luego q(U) es abierto en X/G.
3. Para n Z, sea
T
n
: R R
la funci on denida por T
n
(x) = x + n es claro que as denida T
n
es continua pues es la suma de
las funciones continuas identidad y constante n, ademas es biyectiva con inversa continua T
n
, es
decir T
n
es un homeomorsmo.
55
56 Espacios topologicos obtenidos a partir de otros
En R denimos la siguiente relaci on
t s s t Z
es simple ver que dene una relaci on de equivalencia. Sea R/Z el espacio cociente de R obtenido
por la relaci on encima y sea q : R R/Z la aplicaci on cociente. Armamos que q es una aplicaci on
abierta, en efecto para cada subconjunto abierto A R veamos que q(A) es un conjunto abierto en
R/ , es decir, veamos que q
1
_
q(A)
_
es un conjunto abierto en R. Para caca n Z el conjunto
T
n
(A) = A+n = {x +n : x A}
es abierto en R, como
q
1
_
q(A)
_
=
_
nZ
T
n
A
se tiene que efectivamente q
1
_
q(A)
_
es un conjunto abierto por ser la uni on de subconjuntos abier-
tos. Por otro lado observe que para cada a R, escribiendo J
a
= (a, a + 1), dados x, y J
a
con
x = y se tiene que x y por lo tanto q mapea el intevalo abierto J
a
biunivocamente sobre un
conjunto abierto en R/Z, i.e., Q es un homeomorsmo local ya que q|
J
a
dene un homeomorsmo
del intervalo abierto J
a
sobre un conjunto abierto en el espacio cociente. Identiquemos este espacio
cociente que es de momento localmente homeomorfo con R con un objeto m as concreto; para esto
considere la funci on
f : R S
1
denida por f(t) =
_
cos(2t), sen(2t)
_
en que S
1
= {(x, y) R
2
: x
2
+y
2
= 1}. Es claro que
f(t) = f(s) t s Z t s,
por tanto existe una funci on f : R/Z S
1
tal que el diagrama
R
R/
S
1
?
q
@
@
@
@R
f
-
f
conmuta. Como q es una aplicaci on cociente y f es una funci on continua y biyectiva, la aplicaci on
f es continua y biyectiva. Veamos que f es un homeomorsmo, para esto bastar a ver que f es un
homeomorsmo local, pues de ser as se tendra que f es una aplicaci on cociente. En efecto, dado
n Z, el intervalo de la forma (n, n +
1
2
) es mapeado de forma biunvoca por f en el conjunto
abierto
N =
_
(x, y) S
1
: y > 0
_
.
Denotamos por
n
: N (1, 1) la restricci on de la proyecci on
1
sobre el abierto N, m as espec-
camente la funci on denida por
n
(x, y) = x. De este modo, la aplicaci on
n
es una biyecci on con-
tinua y abierta; luego
n
es un homeomorsmo cuyo inverso es denido por
1
n
(x) = (x,
1 x
2
).
Dado t (n, n +
1
2
), se tiene
n
f|
(n,n+
1
2
)
(t) =
n
_
cos(2t, sen 2t)
_
= cos(2t),
56
2.5 Espacios cociente 57
dado que cos(2t) es un homeomorsmo entre los intervalos (n, n +
1
2
), (1, 1), la composici on
encima es un homeomorsmo y como
s
es un homeomorsmo, se tiene que la aplicaci on f|
(n,n+
1
2
)
es un homeomorsmo sobre N. Igualmente, el intervalos abierto (n
1
2
, n) es mapeado de forma
biunoca por f sobre el conjunto abierto
S =
_
(x, y) S
1
: y < 0
_
.
Denotamos por
s
: S (1, 1) la restricci on de la proyecci on
1
sobre el abierto S. De nuevo
la aplicaci on
s
es un homeomorsmo cuyo inverso es denido por
1
s
(x) = (x,
1 x
2
). Dado
t (n
1
2
, n), se tiene
s
f|
(n
1
2
,n)
(t) =
s
_
cos(2t, sen 2t)
_
= cos(2t),
dado que cos(2t) es un homeomorsmo entre los intervalos (n
1
2
, n), (1, 1), la composici on
encima es un homeomorsmo y como
s
es un homeomorsmo, se tiene que la aplicaci on f|
(n
1
2
,n)
es un homeomorsmo sobre S. Por otro lado, los intervalos (n
1
4
, n+
1
4
), (n+
1
4
, n+
3
4
) son mapeados
de forma biunvoca por f en los subconjuntos abiertos de S
1
O =
_
(x, y) S
1
: x > 0
_
, W =
_
(x, y) S
1
: x < 0
_
.
Denotamos por
o
,
w
las restricciones de la proyecci on
2
sobre los abiertos O, W respectivamente.
Nuevamente, las aplicaciones
o
,
w
son homeomorsmos cuyos inversos son denidos por
1
o
(y) = (
_
1 y
2
, y),
1
w
(y) = (
_
1 y
2
, y).
Si t (n
1
4
, n +
1
4
) t (n +
1
4
, n +
3
4
), se tiene
o
f|
(n
1
4
,n+
1
4
)
(t) =
w
f|
(n+
1
4
,n+
3
4
)
= sen(2t),
dado que sen(2t) es un homeomorsmo entre los intervalos (n
1
4
, n+
1
4
) y (1, 1), (n+
1
4
, n+
3
4
)
y (1, 1) las funciones compuestas encima son homeomorsmos; adem as,
o
,
w
son homeomors-
mos, consecuentemente las aplicaciones f|
(n
1
4
,n+
1
4
)
, f|
(n+
1
4
,n+
3
4
)
son homeomorsmos sobre O, W
respectivamente. Dado que es posible cubrir R con intervalos de la forma (n, n+
1
2
), (n
1
2
, n), (n
1
4
, n +
1
4
), (n +
1
4
, n +
3
4
) se tiene que f es un homeomorsmo local, y por lo tanto f es un homeo-
morsmo.
De modo m as general, en R
n
podemos considerar el conjunto Z
n
formado por vectores de la forma
(x
1
, . . . , x
n
) cuyas coordenadas x
1
, . . . , x
n
son n umeros enteros. Dados x, y R
n
, escribimos
x y x y Z
n
.
Es simple ver que denie una relaci on de equivalencia, denotando por R
n
/Z
n
el espacio cociente
de R
n
obtenido por la relaci on y por q : R
n
R
n
/Z
n
la aplicaci on cociente, es posible mostrar
de forma an aloga a como se realiz o para el caso n = 1 que q es una aplicaci on abierta. Adem as, si
T
n
= S
1
S
1
denota el toro n-dimensional, la funci on f : R
n
T
n
denida por
f(t
1
, . . . , t
n
) =
_
_
cos(2t
1
), sen(2t
1
)
_
, . . . ,
_
cos(2t
n
), sen(2t
n
)
_
_
57
58 Espacios topologicos obtenidos a partir de otros
es biyectiva y continua en relaci on a la topologa producto, adem as
f(x) = f(y) x y Z
n
x y,
por lo tanto existe una unica aplicaci on biyectiva y continua f : R
n
/Z
n
T
n
tal que el diagrama
R
n
R
n
/
T
n
?
q
@
@
@
@R
f
-
f
es conmutativo. Por lo realizado para el caso n = 1, como consecuencia del tem 7 que aparece en
los ejercicios 2.4.19 se tiene que f es un homeomorsmo local, por lo tanto f es un homeomorsmo.
4. El ejemplo anterior podra ser pensado para una regi on m as simple de la recta o del espacio n-
dimensional, a saber en el intervalo [0, 2] R, puede denirse lo siguiente
t s t = s t = 0 s = 2
Claramente razonando como encima, se tiene que la funci on f : [0, 2] S
1
dada por
f(t) =
_
cos(t), sen(t)
_
cumple que
f(t) = f(s)
_
cos(t), sen(t)
_
=
_
cos(s), sen(s)
_
sen(t s) = 0 t s.
Por tanto puede pasar al cociente, es decir existe una unica funci on sobreyectiva y continua f :
[0, 2]/ S
1
para ver que esta funci on es un homeomorsmo, debemos mostrar que f es una
aplicaci on cociente. Pero esto es claro ya que f es una aplicaci on continua sobreyectiva y cerrada.
Por otro lado en el cuadrado X = [0, 2] [0, 2] es posible identicar cada punto (0, y) con (2, y),
m as especcamente denir
(t, s) (r, u) (t, s) = (r, u) t = 0 r = 2 s = u;
la funci on f : [0, 2] [0,2] S
1
[0, 2] dada por
f(t, s) =
_
cos(t), sen(t), s
_
,
cumple lo siguiente
f(t, s) = f(r, u) (t, s) (r, u).
Por tanto puede pasar al cociente, es decir existe una unica funci on f : X/ S
1
[0, 2] tal que
el diagrama
X
X/ S
1
[0, 2]
?
q
Q
Q
Q
Q
Qs
f
-
f
58
2.5 Espacios cociente 59
es conmutativo. f es un homeomorsmo dado que la aplicaci on f es una aplicaci on cociente. Pues
es una biyecci on continua y cerrada.
Ejercicios 2.5.15. 1. Muestre que la composici on de aplicaciones cociente es una aplicaci on cociente.
2. Dados conjuntos X, Y , y una funci on q : X Y . Considerando la relaci on de equivalencia
q
en
X haciendo
x y q(x) = q(y).
Se sabe que un conjunto S X es saturado en relaci on a la funci on q : X Y si, y solamente si,
S es una uni on de clases de equivalencia de la relaci on
q
.Muestre que esto equivale a una de las
siguientes condiciones
a) si x S, y X y q(x) = q(y) entonces y S;
b) S = q
1
_
q(S)
_
;
c) S = q
1
(T) para alg un T Y .
3. Sumas topol ogicas
Si X es un espacio topol ogico y si {X
si X =
;
b) Si U X
es un subconjunto abierto en X
es un subconjunto cerrado en X
de la familia
{X
se dene como siendo el espacio topol ogico X denido de la siguiente forma: considere la
uni on disjunta X =
{} X
{} U
en
que cada U
en el subsepacio {} X
de
X, adem as X es la suma topol ogica interna de los subespacios {} X
;
c) Si X es la suma topol ogica interna de la familia de subespacios {X
, muestre que la
aplicaci on can onica
, muestre que
59
60 Espacios topologicos obtenidos a partir de otros
a) Una funci on f : X Y es continua si, y solamente si, para cada la restricci on
f|
X
: X
: X
, Y =
, q
: X
funciones, y sea
q =
= q
es cociente.
4. Uniones coherente
Si X es un espacio topol ogico, suponga que X =
es una
aplicaci on cociente;
b) Si U X
es un subconjunto abierto en X
es un subconjunto cerrado en X
: X
y si f : X Y
es continua si, y solamente si, f|
X
: X
es una
uni on coherente. [Ayuda: observe que en este caso, la aplicaci on q :
X posee la
propiedad de pasar al cociente, por tanto es una aplicaci on cociente]
d) Si los interiores de los conjuntos X
X cubren a X, entonces X =
es una uni on
coherente.
60
2.5 Espacios cociente 61
e) Muestre que toda uni on nita de conjuntos cerrados X = X
1
. . . X
n
, X
i
X es coherente.
M as general, una uni on localmente nita X =
, Y =
) Y
y tal que q
= q|
X
: X
X Y
?
p
-
?
p
-
q
en que las aplicaciones verticales p son las respectivas aplicaciones cocientes.]
g) Si q : X Y es una aplicaci on cociente, sobreyectiva y suponga que X =
es una uni on
coherente. Entonces Y =
q(X
= q(X
) en
el diagrama anterior para concluir que
q(X
en cada X
X es cociente. Si T
X
. Entonces (X, T ) =
(X
, T
X
en cada espacio
X
entonces siempre es posible obtener una unica topologa T en X que torna la aplicaci on
(pero en algunos casos lo es como el pr oximo tem muestra). Lo que el tem encima dice es que
sin importar que T
no sea la inducida en X
.
i) Si X es un conjunto escriba X =
en X
para cada .
Si existe una topologa T en X tal que (X
, T
, T
) es un subespacio de (X, T
),
adem as (X, T
) =
(X
, T
si, y solamente
si, una de las siguientes condiciones vale:
61
62 Espacios topologicos obtenidos a partir de otros
a) z = z
;
b) z, z
A y f(z) = f(z
);
c) z A y z
= f(z) Y
d) z
A y z = f(z
).
Resumiendo, es la relaci on de equivalencia generada por las condiciones x f(x), x A.
Considere el espacio cociente X + Y/ , dotado de la topologa cociente. Denotamos este espacio
por X
f
Y y decimos que es el espacio obtenido de Y adjuntado X a lo largo de A atraves de f.
Muestre que:
a) La relaci on encima es una relaci on de equivalencia;
b) Un subconjunto S X +Y es saturado respecto de si , solamente si, A S = f
1
(S Y ).
M as generalmente, dado S X +Y , su saturamento es dado por
S f(S) f
1
_
f(S A)
_
=
_
S (X \ A)
_
f
1
_
f(S A)
_
f(S).
c) X
f
Y es una uni on coherente de q(X), q(Y );
d) q lleva Y homeomorcamente sobre q(Y ). [Ayuda: Claramente q|
Y
es continua e inyectiva.
Resta mostrar que si F es cerrado en Y entonces q(F) es cerrado en q(Y ). Sea S = f
1
(F)F
(la clausura es tomada en X o en X+Y es indiferente), como f : A Y es continua, f
1
(F)
es cerrado en A y por lo tanto f
1
(F)A = f
1
(F); consecuentemente S es cerrado y saturado
en X +Y , luego q(S) es cerrado en X
f
Y . Pero q(F) = q(S Y ) = q(S) q(Y ).]
e) Sea q : X +Y X
f
Y es la aplicaci on cociente. Si f : A f(A) es una aplicaci on cociente
entonces tambien q|
X
: X q(X) es una aplicaci on cociente. En particular si f : A f(A)
es un homeomorsmo entonces q|
X
: X q(X) es un homeomorsmo. [Ayuda: Muestre que
si F X es cerrado y q|
X
saturado; entonces q(F) es cerrado en q(X). Para esto observe que
F es q|
X
saturado si, y solamente si, F A es f saturado. Tome S = F f(F A). Como
f : A f(A) es cociente, f(F A) es cerrado en f(A) y luego f(A) f(F A) = f(F A).
Como consecuencia, el saturamento de S en X +Y es igual a
S
= F f
1
_
f(F A)
_
f(F A) = F f(F A).
Luego S
) es cerrado en X
f
Y . Finalmete observe que q(S)q(X) =
q(S
) q(X) = q(S
2) Q, (
, a
0
64
3.1 Espacios Conexos 65
y f : A {0, 1} una funcion biyectiva continua. Dado que para cada , el conjunto A
es conexo,
la funcion f
= f|
A
: A
{0, 1} no puede ser sobreyectiva; adem as, dado que para cada ,
a
0
A
tenemos que f
(a
0
) = f
es
continua y sobreyectiva, la conexidad de
implica la conexidad de X
. Recprocamente, si
para cada , el espacio topol ogico X
es conexo.
Incialmente, mostremos el resultado para el caso de un producto nito de espacios topol ogicos.
En efecto, dados espacios topol ogicos conexos X, Y . Sea (x
1
, y
1
) X Y un punto jo, es claro
que para cada x X, los subespacios X {y
1
}, {x} Y son conexos por ser homeomorfos a
X, Y respectivamente, adem as tienen interseccion no vaca ya que (x, y
1
) es un elemento en su
intersecci on. De este modo, para cada x X, el conjunto
T
x
=
_
X {y
1
}
_
_
{x} Y
_
es conexo pues es la uni on de dos conjuntos conexos con interseccion no vaca. De forma analoga,
el conjunto
X Y =
_
xX
T
x
es una uni on de conjuntos conexos con interseccion no vaca pues para cada x X, el punto
(x
1
, y
1
) T
x
. Probemos ahora el caso general. Sea {X
X =
que dieren de (p
1
, . . . , x
n
) X
1
X
n
f
(y
X(
1
, . . . ,
n
)
en que para cada / {
1
, . . . ,
n
} se tiene y
= p
y y
i
= x
i
en los dem as casos. Es decir, es
constante en las coordenadas diferentes o por fuera de {
1
, . . . ,
n
} y en las restantes coordenadas
es la funcion identidad de los valores x
i
, para i = 1, . . . , n. Esta funcion claramente es biyectiva,
65
66 Conexidad
es continua puesto que podemos considerarla como una funcion a valores en X y de este modo,
para cada {
1
, . . . ,
n
} se tiene
f =
, y para / {
1
, . . . ,
n
} se tiene una funcion
constante
f = p
1
U
n
es una
abierto basico en X
1
X
n
, el conjunto f(U) = X(
1
, . . . ,
n
)
_
1
(U
1
)
1
n
(U
n
)
_
es
abierto relativo en X(
1
, . . . ,
n
). Esto muestra que f es un homeomorsmo. Sigue de la conexidad
de X
1
X
n
que X(
1
, . . . ,
n
) es un conjunto conexo. Luego el conjunto
Y =
_
{
1
,...,
n
}
X(
1
, . . . ,
n
)
es conexo, pues es la uni on de conjuntos conexos cuya interseccion es no vaca. Culminemos la
prueba mostrando que Y = X. Dado un punto arbitrario a = (a
X sea U =
= X
1
, . . . ,
n
. Consideremos el siguiente punto en Y
y = (y
) =
_
a
; {
1
, . . . ,
n
}
p
= a
si {
1
, . . . ,
n
} y y
= p
para
los dem as valores de , luego U Y = lo que muestra que a Y .
6. El resultado anterior no es v alido si consideramos el espacio producto dotado de la topologa caja.
En efecto, R
N
no es conexo con relaci on a la topologa caja. Basta notar que el conjunto de las
sucesiones limitadas es abierto y cerrado. Vea el item 3 en la observaci on 2.4.17.
A seguir con el animo de obtener varios ejemplos de conjuntos conexos caracterizamos los subconjuntos
conexos de la recta y mostramos algunas aplicaciones asociadas con la nocion de conexidad, el principal
resultado enuncia que aparte del conjuto vaco y de los singuletes, los unicos subconjutos conexos de R
son los intervalos. Un tratamiento formal sobre los intervalos de R y algunas de sus propiedades puede
ser consultado en un texto de analisis real, aqu (como en el resto del texto) asumiremos un conocimiento
preeliminar al respecto de estos asuntos. Por tal raz on, por un intervalo en R entendemos uno de los
siguientes conjuntos: (a, b), [a, b), (a, b], [a, b], (a, +), [a, +), (, a), (, a], R = (, +), en que
a, b R, son tales que a < b.
Teorema 3.1.6. Los unicos subconjuntos conexos de R con m as de un punto son los intervalos.
Prueba: Sea Y R, si Y no es un intervalo existen n umeros reales a, b, c con a < c < b, a, b Y y
c R \ Y , luego Y (, c), Y (c, +) forman una separaci on de Y . Recprocamente, si Y es un
intervalo no conexo, entonces Y = A B en que A, B son conjuntos disjuntos, no vacos y abiertos, esto
implica (sin perdidea de generalidad) que existen n umeros reales a, b tales que a A, b B y a < b. Sea
= sup{x R : [a, x) A}; es claro que b y dado que Y es un intervalo tenemos Y , tambien
es de notar que A
Y
y como A es cerrado en Y entonces A; sin embargo A es tambien abierto
en Y luego usando 1.2.6 tenemos que existe un conjunto de la forma (
1
n
, +
1
n
) A (n N) y esto
contradice la denicion de .
66
3.1 Espacios Conexos 67
Observacion 3.1.7. 1. El resultado anterior puede extenderse a los espacios lineales continuos, en
que por un espacios topol ogico lineal continuo entendemos un conjunto linealmente ordenado (L, <)
que cumple las propiedades
a) Todo conjunto no vaco de L acotado superiormente posee una mnima cota superior;
b) Si x < y, existe un z L tal que x < z < y.
2. Si un espacio linealmente ordenado (X, <) posee un intervalo (a, b) vaco, es decir si posee puntos
consecutivos, entonces pued ser separado por los abiertos disjuntos (, b), (a, ). Igualmente si
A posee un conjunto no vaco A el cual es acotado superiormente y no admite una mnima cota
inferior, entonces el conjunto formado por las cotas superiores de A y su complemento constituyen
una separaci on de X.
Algunas aplicaciones del resultado anterior son presentadas a seguir. Inicialmente observe que 3.1.5
implica R
n
, I
n
en que I = [0, 1] son espacios conexos. Adem as, el espacio S
1
es conexo puesto que
es la imagen de la funcion continua f(t) = (cos(t), sin(t)) denida en el intervalo [0, 2], adem as, los
subconjuntos A = {(x, y) S
1
: y 0} y B = {(x, y) S
1
: y 0} son subespacios conexos en S
1
y
AB = {(1, 0), (1, 0)} es un subconjunto disconexo. Esto muestra que no necesariamente la interseccion
de conjuntos conexos es conexo.
Teorema 3.1.8. (Teorema del valor intermedio) Toda funci on continua a valores reales denida en un
espacio conexo asume todas las imagenes comprendidas entre dos cualesquiera de sus valores.
Prueba: Sea f : X R una funcion continua denida en un espacio conexo X. Sigue del item 1 en
la observaci on 3.1.5 que f(X) es conexo, como consecuencia del teorema 3.1.6 se tiene que f(X) es un
intervalo; si f(x) = a, f(y) = b tenemos [a, b] f(X), luego para cada c [a, b] existe un z X tal que
f(z) = c.
Corolario 3.1.9. Sea f : [a, b] R una funci on continua. Si f(a) f(b) < 0, entonces existe un c [a, b]
tal que f(c) = 0.
Corolario 3.1.10. (Teorema del punto jo) Sea f : [0, 1] [0, 1] una funci on continua. Entonces existe
un x [0, 1] tal que f(x) = x.
Prueba: Si f(0) = 0 o f(1) = 1 no hay nada que demostrar. Luego basta considerar el caso f(0) > 0
y f(1) < 1. Sea g : [0, 1] R denida por g(x) = x f(x), es claro que g es continua y si g(x) = 0,
entonces f(x) = x. El resultado sigue de forma inmediata coma aplicaci on del colorario 3.1.9 a la funcion
g.
Un enunciado mas general del corolario anterior es el conocido teorema del punto jo de Brouwer cuyo
enunciado es el siguiente: Toda funcion continua f : I
n
I
n
admite un punto jo, i.e., existe un x I
n
tal que f(x) = x. Vide [1].
Ejercicios 3.1.11. 1. Muestre que un conjunto innito dotado de la topologa conita es conexo.
67
68 Conexidad
2. Si Y X muestre que una separaci on de Y consiste de un par de subconjuntos no vacos cuya
uni on es Y y tal que ninguno contiene puntos de acumulaci on del otro.
3. Sea Y X muestre que Y es conexo relativo a la topologa de X si, y solamente si, Y es conexo
relativo a la topologa inducida.
4. Sea {A
_
es conexo.
5. Sea {A
es conexo si se tiene = N y A
n
A
n+1
= para cada n N.
6. Sea {A
es conexo.
7. Un espacio es llamado totalmente disconexo si los unicos subconjuntos conexos son los singuletes. Si
X es dotado de la topologa discreta, entonces X es totalmente disconexo? La armaci on recproca
es verdad?
8. Pruebe que el conjunto de los n umeros racionales es totalmente disconexo.
9. Pruebe que un espacio X es conexo si, y solamente si, todo subconjunto propio A tiene frontera no
vaca.
10. Sea Y X muestre que si A es un subconjunto conexo el cual tiene intersecci on no vaca con Y y
con X \ Y , entonces A tiene intersecci on no vaca con Y .
11. Sea Y X; asuma que X, Y conexos y sea A, B una separaci on para el conjunto X \ Y . Muestre
que Y A y Y B son conjuntos conexos.
12. Muestre que R
n
\ C es conexo, para cada n > 1 y cada subconjunto enumerable C.
13. Muestre que R (resp. I) y R
n
(resp. I
n
), n > 1 no son homeomorfos.
14. Este ejercicio tiene por objeto caracteriar los homeomorsmos entre abiertos de la recta. Si J R
es un intervalo (abierto, cerrado, semi-abierto). Una funci on f : J R denir a un homeomorsmo
de J en f(J) si, y solamente si, es estrictamente mon otona.
15. En R muestre que los intervalos de la forma (a, b), (a, b] y [a, b] no son homeomorfos.
16. Pruebe que el teorema del punto jo es v alido si en lugar del intervalo [0, 1] tenemos cualquier otro
intervalo de la forma [a, b].
17. Pruebe que para cada n 1, la esfera unit aria n-dimensional S
n
es conexo; pruebe que I no es
homeomorfo a S
1
, pruebe que S
1
no es homeomorfo con S
n
, con n > 1.
18. Si S R y f : S R
2
es un homeomorsmo de S sobre el subconjunto f(S) del plano. Muestre
que f(S) tiene interior vaco en el plano.
68
3.2 Componentes conexas, conexidad local y por caminos 69
19. Muestre que para toda funci on continua f : S
1
R existe un par de puntos antipodales x, x S
1
tales que f(x) = f(x).
20. Encuentre una funci on continua f : R R que enve conjuntos conexos en conjuntos conexos y
que no sea continua.
21. Muestre que si f : R R es una funci on que enva conuntos conexos en conjuntos conexos y tal
que para cada y R f
1
(y) es conexo, entonces f es continua.
22. Es v alido el teorema del putno jo en (0, 1), [0, 1)?
3.2. Componentes conexas, conexidad local y por caminos
Un espacio disconexo puede ser descompuesto unicamente en componentes conexas, el n umero de tales
componentes nos brinda informacion de cuan disconexo es el espacio.
Denicion 3.2.1. Sean X un espacio topol ogico, x X. La componente conexa del punto x en X es
denida como la uni on de todos los subconjuntos conexos de X que contienen al punto x y es denotada
por C
x
.
Como consecuencia del segundo item en la observaci on 3.1.5 se tiene que C
x
es un conjunto conexo.
La denicion de espacio totalmente disconexo presentada en los ejecicios 3.1.11 equivale a que C
x
= {x}
para cada x X. Observe que el conjunto de los n umeros racionales es totalmente disconexo visto como
subespacio de R, mas, la componente conexa de un n umero racional en R es el propio R. i.e., la componente
conexa de un punto si depende del espacio en cuestion. En un espacio discreto, las componentes conexas
son los singuletes. Sin embargo, Q como subespacio de R no es discreto y las componentes conexas son los
singuletes, podemos concluir que las componentes conexas no son necesariamente subsonjuntos abiertos,
sin embargo, tenemos la siguiente proposicion.
Proposici on 3.2.2. Cada componente conexa C
x
es un subconjunto conexo maximal cerrado en X.
Prueba: La maximalidad de cada componente es inmediata por la forma en que se denieron, como
consecuencia del item 4 en la observaci on 3.1.5 se tiene que C
x
es conexo y obviamente contiene al punto
x, la maximalidad de la componente C
x
, implica el resultado deseado (C
x
C
x
).
El n umero y la estructura de cada componente conexa de un espacio X es una invariante topol ogica,
mas precisamente tenemos la siguiente
Proposici on 3.2.3. Si f : X Y es una funci on continua y x X. Entonces f(C
x
) C
f(x)
. Adem as,
si h : X Y , entonces h induce una correspondencia 1:1 entre las componentes conexas de los espacios
X, Y de forma tal que se corresponden las que son homeomorfas.
Prueba: La primera armacion sigue del hecho que la conexidad es un invariante por continuidad (item 1
en la observaci on 3.1.5). Para la segunda armacion dado que h
1
es continua se tiene que h(C
x
) = C
h(x)
.
69
70 Conexidad
Observacion 3.2.4. 1. Si x = y en un espacio X, entonces C
x
= C
y
o C
x
C
y
= . Esto es inmediato,
basta de observar que si existe un conjunto conexo que contiene ambos puntos, entonces C
x
= C
y
2. Es importante notar que las componentes conexas permiten decidir sobre espacios no homeomorfos,
por ejemplo un conocido resultado permite mostrar que el teorema de Berstein-Schroder no es cierto
en la categora de los espacios topol ogicos. i,e,. existen biyecciones continuas f : X Y , g : X Y
pero X y Y no son necesariamente espacios topol ogicos homeomorfos. En los ejercicios que aparecen
al nal es planteado el problema y se sugiere una soluci on la cual fue presentada por Kuratowski .
3. En el producto X =
la componente de x = (x
es
C
x
. En que C
x
es la
componente conexa en X
de la coordenada x
de x.
Denicion 3.2.5. Un espacio topol ogico X es localmente conexo en el punto x X, si x posee un
sistema fundamental de vecindades conexas. Cuando X es un espacio localmente conexo en cada uno de
sus puntos, decimos que X es un espacio topol ogico localmente conexo.
Basicamente la denicion encima quiere decir que X es localmente conexo si X posee una base para
su topologa formada por conjuntos conexos. En espacios topol ogicos con la propiedad de conexidad local
es posible hablar de un de componente conexas abiertas, ese es el contenido del siguiente resultado.
Teorema 3.2.6. X es un espacio localmente conexo si, y solamente si, para cada subconjunto abierto U
en X, cada componente conexa de U es abierta.
Prueba: Si X es localmente conexo, denotando por C
x
la componente conexa de un punto x perteneciente
a un abierto U en X, nuestra hip otesis garantiza la existencia de una vecindad conexa V
x
U para x,
luego V
x
C
x
. Mostremos ahora que la condici on es suciente. Dado un punto x X y una vecindad A
de x. Existe un abierto U en X tal que x U A. La componente conexa de x en U, es por hip otesis
un abierto conexo C tal que x C U A. Esto prueba que X es localmente conexo.
Observacion 3.2.7. 1. Todo espacio discreto es localmente conexo. Adem as si el espacio posee mas
de un punto no es conexo.
2. La conexidad local es una nocion topol ogica; mas no es una nocion invariante por continuidad. En
efecto, considere el espacio discreto X = {0, 1, 2, 3, . . . } y Y = {0} {
1
n
: n = 1, 2, . . . }. La funcion
f : X Y denida por f(0) = 0 y f(n) =
1
n
es una biyecci on, adem as es continua por tener
dominio discreto, X es localmente conexo y Y no lo es.
3. Un espacio topol ogico localmente conexo y disconexo es el subsespacio [a, b) (b, c] R. Adem as R
es conexo pero este subespacio no lo es.
4. El espacio X R
2
consistente de las rectas horizontales x = 0, x = 1 junto con las lneas horizontales
l
n
=
_
(x,
1
n
) : 0 x 1
_
y el intervalo I en el eje x; es un espacio conexo, el cual no es localmente
conexo. En efecto, la conexidad es inmediata pues este espacio se obtiene uniendo conjuntos conexos
con intersecci on no vaca. Considere el punto p = (
1
2
, 0), es claro que para cualquier > 0, existe un
70
3.2 Componentes conexas, conexidad local y por caminos 71
n umero natural N tal que si n > N se tiene
1
n
< . Luego B
(p).
5. R es localmente conexo, en efecto {(x
1
n
, x +
1
n
)}
nN
es un sistema fundamental de vecindades
conexas para x, pero R
l
no es conexo, ni localmente conexo. Mas general, el espacio R
n
es localmente
conexo basta observar que para x = (x
1
, . . . , x
n
) R
n
, la colecci on
_
(x
1
k
, x +
1
k
)
_
kN
forma un
sistema fundamental de vecindades conexas para x, en que
(x
1
k
, x +
1
k
) =
n
i=1
(x
i
1
k
, x
i
+
1
k
).
6. Si {X
es localmente conexo
si, y solamente si, para cada el espacio X
(U) = X
, sea (x
(U
V
1
(U
), luego
x
(V ) U
1
, . . . , X
n
son espacios
no conexos. Sea V X un conjunto abierto y sea x = (x
V , luego existen U
1
, . . . , U
k
tales
que x
1
1
(U
1
)
1
k
(U
k
) V . Para cada
i
, i = 1, . . . , k sea V
i
U
i
vecindad conexa
de x
i
, para cada j = 1, . . . , n si
j
=
i
, sea V
j
X
j
vecindad conexa de
j
(x) = x
j
. De este
modo,
1
1
(V
1
)
1
k
(V
k
)
j
(V
j
) es una vecindad conexa de x la cual est a contenida en
V . Esto muestra el resultado deseado.
7. La hip otesis de que todos los espacios excepto un n umero nito sean conexos es indispensable en el
tem anterior. En efecto consideremos el espacio X = {0, 1}
N
que aparece en el ejemplo 2.4.17tem 3.
En que cada factor {0, 1} es disconexo ya que es considerado con la topol ogia discreta, sin embargo,
cada factor es localmente conexo. Claramente X no es conexo, pues de serlo la imagen de cualquier
proyecci on sera conexo, o tambien sabemos que los basicos en este conjunto son abiertos y cerrados
a la vez. Veamos que este espacio no es localmente conexo, en efecto de serlo las componentes
conexas seran conjuntos abiertos, pero este espacio es totalmente disxonexo y los singuletes son
conjuntos cerrados que no son abiertos. A saber, que los singuletes son conjuntos cerrados que no
son abiertos se mostr o en el item 3 de 2.4.12. Que el espacio es totalmente disconexo, sigue del
hecho que si C
x
denota la componente del punto x X, y C
x
es un punto que diferente de x en
la coordenada j, entonces
j
(C
x
) = {x
j
, y
j
} = {0, 1} es disconexo, lo cual contradice el hecho de
que la imagen continua de un conjunto conexo, es un conjunto conexo.
Pasamos ahora a estudiar un otro tipo de componentes en un espacio llamadas componentes conexos
71
72 Conexidad
por caminos, las cuales en algunas ocasiones tiene una relaci on con las componentes conexas mencionadas
encima.
Denicion 3.2.8. Un camino en un espacio topol ogico X es una funcion continua : I X tal que
(I) X, el punto (0) (resp. (1) es llamado punto inicial u origen (resp. punto nal ) del camino; en
tal caso decimos que el camino va de (0) hasta (1).
Denicion 3.2.9. Un espacio topol ogico X es conexo por caminos si cualquier par de puntos en X
pueden ser unidos por un camino.
Observacion 3.2.10. 1. Es com un confundir la nocion de camino en un espacio topol ogico con la
de una curva en un espacio topol ogico, usualmente una curva en un espacio topol ogico es denida
como siendo la imagen de I por alguna aplicaci on continua, as, una curva en X es un subconjunto
de X mientras que un camino es una funcion continua denida en I a valores en X.
2. Si : I X es un camino uniendo de a hasta b en X, entonces la funcion
1
: I X denida
como
1
(t) = (1 t) es un camino en X que va de b hasta a.
3. Si , : I X son caminos en X, el producto de y es la funcion : I X denida por:
(t) =
_
(2t); t
_
0,
1
2
(2t 1); t
_
1
2
, 1
.
Es claro que est a bien denida; adem as es continua, por lo tanto es un camino en el espacio
X.
4. Empleando el item encima, es claro que una denicion alternativa de conexidad por caminos puede
ser la siguiente, dado x
0
X, el espacio X es conexo por caminos si, y solamente si, para todo punto
x X existe un camino uniendo x con x
0
. En efecto, si x, y son puntos arbitrarios en X, por lo
supuesto existen caminos
xx
0
: I X,
x
0
y
: I X uniendo x con x
0
, x
0
con y respectivamente,
el camino
xx
0
x
0
y
es un camino en X uniendo x con y.
5. Diversas aplicaciones de algunos de los enunciados en la observaci on 3.1.5 permiten concluir que
todo espacio conexo por caminos es conexo; sin embargo la armacion recproca no es en general
verdadera. En efecto, dado que la imagen continua de I es un conjunto conexo en X, jando x
0
X
y si
x
0
x
denota un camino que va desde x
0
hasta el punto arbitrario x X, se puede escribir
X =
_
xX
x
0
x
(I)
es decir, X es una uni on de conjuntos conexos con interseccion no vaca.
6. La uni on no disjunta de conjuntos conexos por caminos es de nuevo un conjunto conexo por caminos.
En efecto si x
0
es un punto en la interseccion de una colecci on arbitraria de espacios conexos por
caminos, cualquier punto que este en la uni on de tales espacios puede unirse con x
0
por medio de
un camino.
72
3.2 Componentes conexas, conexidad local y por caminos 73
7. La imagen continua de un espacio conexo por caminos es un espacio conexo por caminos. En efecto,
si f : X Y es una funcion sobreyectiva y continua con X conexo por caminos, dados puntos
y
0
, y
1
Y basta tomar x
0
f
1
(y
0
), x
1
f
1
(y
1
), unirlos por un camino : I X. Luego la
composicion f : I Y es un camino en Y uniendo y
0
con y
1
.
Ejemplos 3.2.11. 1. Para n 1, R
n
, S
n
son espacios conexos por caminos, por lo tanto conexos.
En efecto para el caso de R
n
basta observar que dados x, y R
n
existe un camino can onico, se trata
de : I R
n
denido por (t) = (1 t)x + ty. Del mismo modo, dados x, y S
n
puede ocurrir
que x, y son puntos antpodas es decir si x = y o que no lo sean, es decir x = y. En el segundo
caso, bastara denir el camino : I S
n
por
(t) =
(1 t)x +ty
|(1 t)x +ty|
el hecho de no ser puntos antpodas garantiza que el denominador de la expresi on encima nunca
es nulo. Si Los puntos son antpodas, basta tomar un punto z S
n
\ {x, y} el cual claramene no
es antpoda de x ni y, as existen caminos
xz
,
zy
uniendo x con z, z con y respectivamente, el
camino
xz
zy
es un camino uniendo x con y.
2. El espacio de Sierpinski es conexo por caminos. En efecto, considere el camino (t) = 0 para
t [0,
1
2
) y (t) = 1 en [
1
2
, 1]. Un espacio discreto con m as de un punto no es conexo por caminos.
3. Sea X = I I con el orden lexicogr aco, es decir
(x
1
, y
1
) < (x
2
, y
2
) x
1
< x
2
x
1
= x
2
y
1
< y
2
.
Este espacio es conexo por ser un lineal continuo. Sin embargo, no es conexo por caminos en efecto
no existe un camino uniendo los puntos p = (0, 0), q = (1, 1). A saber, si existe tal funci on continua
f : I I I, el conjunto f(I) debe ser conexo, por lo tanto f(I) = I I. Dado x I, el conjunto
U
x
= f
1
_
{x} (0, 1)
_
es abiero no vaco en [0, 1]. Luego es posible escoger un n umero racional
q
x
U
x
. De esta forma, se tiene una funci on h : I Q denida por h(x) = q
x
la cual es inyectiva,
pues si x = y, U
x
U
y
= , esto contradice la no enumerabilidad de I.
4. Consideremos el conjunto Y = U V , en que
U = {(x, y) R
2
: x = 0 y [1, 1]}
V = {(x, y) R
2
: y = cos(/x)}
Es claro que los conjuntos U, V son conexos por caminos por lo tanto son conexos. Veamos que Y
es un espacio conexo. En efecto, si A, B constituyen una separaci on para Y , es claro que
U A U B
pues de no ser as, se tendra que los conjuntos U A = , U B = constituiran una separaci on
para el conjunto conexo U lo cual es imposible. Sin perdida de generalidad, asumimos que U A
luego V B y dado que AB = , UV = se tiene que necesariamente U = A, V = B. Es decir,
73
74 Conexidad
la unica separaci on posible para Y de existir sera dada por los conjuntos U, V . Sea f : Y {0, 1}
una funci on tal que f(U) = {0}, f(V ) = {1}. Claramente f no es continua en U, en efecto
f(0, 0) = 0 pero dado > 0, existe un n umero natutal N tal que para cada n N se tiene
2
2n + 1
< .
Si x =
2
2n+1
, el punto p =
_
x, cos(/x)
_
=
_
x, 0
_
V y f(p) = 1. O sea, en cualquier vecindad del
origen, hay puntos cuya imagen no es nula. Esto muestra que f no es una funci on continua en el
origen. Concluimos que Y es conexo. Veamos que Y no es conexo por caminos, para esto mostremos
que no es posible unir los puntos (0, 1) U , (1, 1) V . Supongamos la existencia de un camino
F : [0, 1] Y tal que F(0) = (0, 1) U, F(1) = (1, 1) V . Escribamos para cada t I,
F(t) =
_
F
1
(t), F
2
(t)
_
, de este modo, F
1
(0) = 0, F
1
(1) = 1, adem as el conjunto W = F
1
1
(0) es
cerrado en [0, 1], no vaco y acotado superieomente. Sea = supW, es claro que F
1
() = 0 pues por
ser cerrado W, puesto que F
1
(1) = 1, < 1. Veamos que la funci on F
2
no puede ser continua
en el punto . En efecto, para cada t (, 1], se tiene que F
1
(t) > 0, o sea, que
_
F
1
(t), F
2
(t)
_
V
luego estos puntos est an en el gr aco de la funci on cos(/x), es decir que para cada t (, 1] vale
F(t) =
_
F
1
(t), cos
_
/F
1
(t)
__
. Dado > 0, tal que < + 1 se tiene que F
1
() = 0 < F
1
( +).
Tome un n umero par N N tal que
F
1
() = 0 <
1
N + 1
<
1
N
< F
1
( +)
por el teorema del valor intermedio, es posible encontrar t
1
, t
2
[, +] tales que
F
1
(t
1
) =
1
N + 1
, F
1
(t
2
) =
1
N
.
Luego F
2
(t
1
) = cos
_
(N + 1)
_
= 1, F
2
(t
1
) = cos(N) = 1. O sea, si F
2
() 0 se tiene
|F
2
() F
2
(t
1
)| 1 > ; y si F
2
() 0 se tiene |F
2
() F
2
(t
2
)| 1 > . Esto muestra la
discontinuidad de la funci on F
2
en el punto .
5. El ejemplo anterior no s olo muestra un espacio conexo que no es conexo por caminos, adem as mues-
tra que no necesariamente la clausura de un conjunto conexo por caminos es conexo por caminos,
ya que V es conexo por caminos, V = Y no lo es.
6. La conexidad por caminos no necesariamente se preserva para los subespacios, R
2
es conexo por
caminos, pero el subespacio Y del ejemplo encima no lo es.
Sea X un espacio topol ogico, con base en la propiedad de la uni on no disjunta de espacios conexos
por caminos, dado un punto x X es posible denir la uni on de todos los conjuntos conexos por caminos
que contienen al punto x, tal uni on es un conjunto conexo por caminos llamado la componente conexa
por caminos del punto x. A diferencia de las componentes conexas, las componentes conexas por caminos
no son necesariamente conjuntos cerrados ni abiertos. En efecto, en el item 4 del ejemplo 3.2.11 se tiene
que Y posee 2 componentes conexas por caminos U, V sin embargo V no es cerrado y U no es abierto.
Es claro que dado que conexidad por caminos implica conexidad, la componente conexa por caminos
de un punto x est a contenida en la componente conexa de x, el reciproco no es verdad, como se ve en
74
3.2 Componentes conexas, conexidad local y por caminos 75
el ejemplo citado encima. Los siguientes resultados ayudan a determinar no s olo cuando conexidad y
conexidad por caminos son equivalentes, adem as indican cuando componentes conexas y componentes
conexas por caminos coinciden.
Teorema 3.2.12. Las siguientes propiedades en un espacio topol ogico X son equivalentes:
1. Cada componente conexa por caminos es abierta (por lo tanto cerrada);
2. Cada punto de X posee una vecindad conexa por caminos.
Prueba: (1) (2) es obvio. (2) (1) Si C es una componente conexa por caminos y x C, dado que
x posee un vecindad V
x
conexa por caminos, la maximalidad de C implica que V
x
C.
Teorema 3.2.13. X es conexo por caminos si, y solamente si, X es conexo y cada punto de X posee
una vecindad conexa por caminos.
Prueba: Dado que conexidad por caminos implica conexidad, y X es una vecindad conexa por caminos
de cada uno de sus puntos, s olo es necesario probar la armacion recproca. En efecto, sea a X un
punto jo y sea A el conjunto de todos los puntos de X que pueden unirse con a por medio de un camino.
Claramente A = ; veamos que A es abierto y cerrado, de este modo como consecuencia de la conexidad
se tiene A = X. Si z A, sea
az
un camino uniendo los puntos a y z, dada una vecindad conexa por
caminos U
z
para z y un punto y U
z
, es claro que existe un camino
zy
uniendo z con y. El camino
az
zy
es un camino en X que une el punto a con y. Esto muestra que U
z
A y por tanto, A es un
conjunto abierto. De forma similar se demuestra que el conjunto X \ A es abierto.
Corolario 3.2.14. Un subconjunto abierto en R
n
(resp. S
n
) es conexo si, y solamente si, es conexo por
caminos.
Observacion 3.2.15. 1. Deniendo un espacio X como siendo localmente conexo por caminos si
cada punto de X posee un sistema fundamental de vecindades conexas por caminos, se tiene que
un espacio conexo y localmente conexo por caminos es conexo por caminos, adem as es localmente
conexo.
2. Al igual que sucedi o con las nociones de conexidad y conexidad local, no todo espacio conexo por
caminos es localmente conexo por caminos, el espacio que aparece en el item 4 de la observaci on 3.2.7
es conexo por caminos pero no es localmente conexo por caminos. Recprocamente, todo espacio
discreto con mas de un punto es localmente conexo por caminos y no es conexo por caminos.
3. R
n
es localmente conexos por caminos. En efecto, R
n
es localmente conexo y toda vecindad abierta
conexa es conexa por caminos.
4. X es un espacio localmente conexo por caminos si, y solamente si, para cada subconjunto abierto U
en X, cada componente conexa por caminos de U es abierta. En efecto, si X es localmente conexo
por caminos, denotando por PC
x
la componente conexa por caminos de un punto x perteneciente
a un abierto U en X, nuestra hip otesis garantiza la existencia de una vecindad conexa por caminos
75
76 Conexidad
V
x
U para x, luego V
x
C
x
. La condici on tambien es suciente. Dado un punto x X y una
vecindad A de x. Existe un abierto U en X tal que x U A. La componente conexa por caminos
de x en U, es por hip otesis un abierto conexo por caminos C tal que x C U A. Esto prueba
que X es localmente conexo por caminos.
5. Si X es localmente conexo por caminos, es claro que X es localmente conexo, adem as se tiene que
sus componentes conexas por caminos y sus componentes conexas son conjuntos abiertos y cerrados.
Si x X, denotando por PC
x
y C
x
la componente conexa por caminos y la componente conexa del
punto x respectivamente, es claro que PC
x
C
x
. Siendo C
x
abierto y conexo, como consecuencia
del teorema 3.2.13 se tiene que C
x
es conexo por caminos. Es decir que PC
x
= C
x
.
6. El espacio I I con respecto al orden lexicograco sabemos es conexo, tambien posee una base
formada por intervalos para su topologa por lo tanto es localmente conexo. Este espacio no es
localmente conexo por caminos, pues de serlo el teorema 3.2.13 implicaria la conexidad por caminos
y ya vimos que este espacio no es conexo por caminos. La componente conexa por caminos del
punto p = (x, y) es el conjunto {x}[0, 1], en efecto pues si hay un camino f : I I I uniendo el
puntos (x, y) con (x
1
, y
1
) y x = x
1
. Como consecuencia del teorema del valor intermedio, para cada
z (x, x
1
) el conjunto U
z
= f
1
_
{z} (0, 1)
_
es abierto escogemos un n umero racional q
z
en dicho
abierto. De esta forma, se tiene una funcion inyectiva que a cada punto z entre x y x
1
le asigna un
n umero racional q
z
. Lo cual no es posible.
A seguir so planteados algunos ejercicios.
Ejercicios 3.2.16. 1. En un espacio topol ogico X denimos x y si, y solamente si, existe un
subconjunto conexo C en X tal que x, y C. Pruebe que dene una relaci on de equivalencia en
X cuyas clases de equivalencia son presisamente las componentes conexas de X. Concluya que las
componentes conexas determinan una partici on del espacio.
2. En un espacio topol ogico X denimos x y si, y solamente si, existe un camino en X uniendo
x con y. Muestre que denida de esta forma es una relaci on de equivalencia, sus clases de
equivalencia son las componentes conexas por caminos. Concluya que las componentes conexas por
caminos determinan una partici on del espacio.
3. Sean Y X ambos conexos, sea C una componente conexa en X \ Y , pruebe que X \ C es un
subconjunto conexo.
4. Sea Y X un subconjunto conexo, abierto y cerrado en X. Pruebe que Y es una componente conexa
en X.
5. Muestre que en el producto X =
la componente de x = (x
es
C
x
. En que
C
x
es la componente conexa en X
de la coordenada x
x
. Si y X es un punto diferente de x, es claro que X \ {y} es un conjunto abierto que contiene
a x, luego existe un conjunto U
y
x
tal que x U
y
X \ {y}. Dado x
1
U
y
, existe un conjunto
abierto U
1
x
tal que x U
1
U
y
. Igualmente, si x
2
U
1
, existe un conjunto abierto U
2
x
tal
que x U
2
U
1
. De este modo se tiene una funci on inyectiva que a innitos puntos en U
y
, asigna
un conjunto abierto en
x
por lo tanto,
x
no puede ser enumerable.
3. Un espacio topol ogico enumerable el cual satisface el primer axioma de enumerabilidad, debe satis-
facer el segundo axioma de enumerabilidad.
4. Las propiedades de enumerabilidad descritas encima no son invariantes por fuciones continuas, en
efecto la aplicaci on identidad Id : R R
c
, en que R
c
denota la recta con la topologa conita
es continua R satisface el segundo axioma de enumerabilidad pero R
c
no. Sin embargo, ambos
axiomas son invariantes por aplicaciones continuas, abiertas y sobreyectivas. En particular por
homeomorsmos. En efecto, si f : X Y es una funci on con las propiedades deseadas, si =
{U
n
}
nN
es una base enumerable para la topologa de X, la colecci on
_
f(U
n
)
_
nN
forma una base
enumerable para la topologa de Y . En efecto, si V Y es un conjunto abierto, y V , entonces
f
1
(V ) es un conjunto abierto en X y si x f
1
(y) f
1
(V ), entonces para alg un elemento
b asico U
n
, x U
n
f
1
(V ). Sigue que y f(U
n
) V .
Las operaciones de tomar subespacios y realizar productos enumerables de espacios preservan los axiomas
de enumerabilidad; mas especcamente tenemos el siguiente resultado.
Teorema 4.1.3. 1. Un subespacio de un espacio el cual satisface el primer axioma de enumerabilidad
(resp. el segundo axioma de enumerabilidad) satisface el primer axioma de enumerabilidad (resp. el
segundo axioma de enumerabilidad).
80
4.1 Axiomas de enumerabilidad 81
2. El producto enumerable de espacios topol ogicos, satisfacen el primer axioma de enumerabilidad (resp.
el segundo axioma de enumerabilidad), si, y solamente si, cada factor satisface el primer axioma de
enumerabilidad (resp. el segundo axioma de enumerabilidad).
3. El producto arbitrario de espacios que satisfacen el primer axioma de enumerabilidad satisface el
primer axioma de enumerabilidad si, y solamente si, cada factor satisface el primer axioma de
enumerabilidad y todos excepto una cantidad enumerable son espacios triviales.
4. El producto arbitrario de espacios que satisfacen el segundo axioma de enumerabilidad satisface el
segndo axioma de enumerabilidad si, y solamente si, cada factor satisface el segundo axioma de
enumerabilidad y todos excepto una cantidad enumerable son espacios triviales.
Prueba:
1. Si B denota una base enumerable para la topologa de un espacio X, la colecci on {U Y : U B}
es una base enumerable para la topologa del subespacio Y de X.
2. Basta considerar el producto de dos espacios topol ogicos. Sea X
1
X
2
. Si este producto satisface
el primer axioma de enumerabilidad (resp. el segundo axioma de enumerabilidad), dado que las
proyecciones son funciones continuas, abiertas y sobreyectivas, cada factor debe satisfacer el primer
axioma de enumerabilidad (resp. el segundo axioma de enumerabilidad). Recprocamente, si X
1
, X
2
satisfacen el primer axioma de enumerabilidad (resp. el segundo axioma de enumerabilidad). Dado
un punto p = (x
1
, x
2
) X
1
X
2
, sean
1
,
2
bases enumerables para x
1
, x
2
respectivamente (resp.
para la topologa de X
1
, X
2
). La colecci on formada por todos los productos de la forma U V , en
que U
1
, V
2
es una base enumerable para p en X
1
X
2
(resp. es una base enumerable para
la topologa de X
1
X
2
). En efecto, si A es un conjunto abierto tal que p A X
1
X
2
, existen
abiertos W
1
X
1
, W
2
X
2
tales que p = (x
1
, x
2
) W
1
W
2
A, luego existe U
1
, V
2
(x
1
, x
2
) U V W
1
W
2
A.
3. Sea {X
. Si la
cardinalidad del conjunto formado por los abiertos en el espacio X
denota la topologa en X
, |T
X
x
con
=
(V ) = X
(V ) = X
} es nito, y la
cardinalidad de
x
es enumerable. Por lo tanto, hay a lo sumo enumerables espacios X
tales que la
cardinalidad de sus topologas es mayor o igual que 2. O sea, hay a lo sumo enumerables espacios que
no poseen la topologa indiscreta o trivial. Recprocamente, asumiendo que los espacios X
satisfacen
el primer axioma de enumerabilidad, y que todos excepto una cantindad enumerable son espacios
indiscretos, veamos que el espacio producto X satisface el primer axioma de enumerabilidad. En
efecto, sean x = (x
X. Denotemos por A = {
1
,
2
, . . . } la colecci on de ndices para
81
82 Axiomas de enumerabilidad y separacion
los cuales el espacio X
y U
= X
= X
tal que U
= X
. El abierto
U =
= {B
xU
: x U U }
es enumerable pues es una subcolecci on de B. Consecuentemente, si se escribe
B
= {B
x
1
U
1
, B
x
2
U
2
, . . . },
la colecion
= {U
1
, U
2
, . . . , } es una subcolecci on de que recubre a X.
2. Dado que todo abierto basico B
n
B es no vaco, usando el axioma de elecci on escogemos un
punto x
n
B
n
. De este modo el conjunto D = {x
n
: x
n
B
n
} es denso y es enumerable. La
enumerabilidad es obvia y la densidad sigue del hecho que D as construido tiene interseccion no
vaca con todos los abiertos del espacio.
82
4.1 Axiomas de enumerabilidad 83
Observacion 4.1.6. 1. Para vericar que un espacio topol ogico es un espacio de Lindel of, basta s olo
probar que cualquier cobertura por abiertos basicos admite una subcobertura enumerable.
2. La imagen continua de un espacio de Lindel of es un espacio de Lindel of, igual que la imagen continua
de un espacio separable es un espacio separable.
3. Vimos en el ejemplo 2.4.6 que subespacios de espacios separables no necesariamente son separables;
sin embargo, subespacios abiertos de espacios separables son separables. Subespacios de espacios de
Lindel of no necesariamente son espacios de Lindel of, sin embargo, subespacios cerrados de espacios
de Lindel of son espacios de Lindel of. En efecto, la armacion sobre subespacios abiertos de espacios
separables es un ejercicio simple, para el caso de subespacios cerrados de espacios de Lindel of se
tiene lo siguiente, si = {U
de modo que U
= V
F,
la colecci on {X \ F} {V
1
, V
2
, . . . , }. Los correspondientes {U
1
, U
2
, . . . , } forman
un subrecubrimiento enumerable de para F. Ejemplos para ver que en general esto no es verdad
(sin la hip otesis de cerrado) seran mostrados mas adelante.
Ejemplos 4.1.7.
1. (Un espacio separable que satisface el primer axioma de enumerabilidad y no satisface el segundo
axioma de enumerabilidad) El conjunto de los n umeros racionales es denso en R
l
, la recta dotada
de la topologa lmite inferior, por lo tanto R
l
es separable y satisface el primer axioma de enumer-
abilidad puesto que para cada x R
l
, la colecci on {[x, x +
1
n
)}
nN
es un sistema fundamental de
vecindades enumerable para x; sin embargo, R
l
no satisface el segundo axioma de enumerabilidad,
con efecto, si B denota una base para la topologa en dicho espacio; para cada x R
l
es posible jar
un abierto U
x
B tal que x U
x
[x, x + 1), note que U
x
= U
y
siempre que x = y. De hecho, si
x = y, sin perdida de generalidad es posible asumir que x < y, como U
y
[y, y + 1), tenemos que
x / U
y
es decir, U
x
\ U
y
= . Podemos entonces construir una funci on inyectiva f : R B la cual
asigna a cada real x el conjunto b asico U
x
; lo que muestra que B no puede ser enumerable.
2. (Un espacio de Lindel of que no satisface el segundo axioma de enumerabilidad) El espacio R
l
es un
espacio de Lidel of, i.e., veamos que cualquier cubrimiento por conjuntos abiertos b asicos, admite
un subcubrimiento enumerable. Sea =
_
[a
, b
)
_
(a
, b
, b
)
_
=
_
[a
i
, b
i
) : i N
_
83
84 Axiomas de enumerabilidad y separacion
debe cubrir C. Armamos que el conjunto R \ C es enumerable; de ser as, se tendra que para
cada elemento x R \ C, escogemos un elemento de el cual contiene a x; la reuni on de estos
elementos de con la colecci on
para alg un .
Sea q
x
(a
, b
= S
= [0, ].
Adem as, si es el primer ordinal incontable,
1
el espacio ordinal no satisface el primer axioma de
enumerabilidad, pues no posee un sistema de vecindades enumerable; sin embargo, S
si puesto
que para cada [0, ) la colecci on de los conjuntos de la forma (, ] constituye un sistema
fundamental de vecindades enumerable para , esto no es cierto para el caso en sea un ordinal
trasnito diferente del primero. Si es el primer ordinal no enumerable, [0, ] no es separable.
En efecto, dado un subconjunto enumerable A de [0, ], consideremos para cada A el conjunto
S
= {x : x < }, entonces S
A
S
es enumerable, por tanto debe existir en [0, ] tal que no es elemento de tal uni on, y por
tanto > para cada A, caso contrario S
siendo as s olo
nos restara por recubrir el conjunto [0, ] el cual es enumerable, esto prueba nuestra armaci on.
Sin embargo, S
podemos considerar el
abierto U
no es un espacio de Lindel of. En resumen este ejemplo muestra que el espacio [0, ] no satisfacen
el primer axioma de enumerabilidad, es de Lindel of y no es separable; adem as, el subespacio [0, )
satisface el primer axioma de enumerabilidad, es no separable y no es de Lindel of, es decir, ser de
Lindel of no es una propiedad que sea invariante para subespacios ni que se preserve por calusura.
1
El primer ordinal incontable, usualmente denotado por
1
. Sabemos que si <
1
, el conjunto de los n umeros ordinales
{ : } es enumerable, tambien para todo conjunto A [0,
1
] el cual no contiene a
1
se tiene que sup A <
1
.
84
4.1 Axiomas de enumerabilidad 85
Y los conceptos de separable y Lindel of son independientes.
4. (Un espacio separable que no es de Lindel of y que posee un subespacio que no es separable) Para
ver esto basta considerar el espacio producto R
l
R
l
, una base para este espacio es la colecci on
formada por los abiertos de la forma [a, b) [c, d), el conjunto de puntos con coordenadas racionales
es enumerable y denso en R
l
R
l
, adem as el subespacio L denido por L = {(a, a) : a R}
tiene la topologa discreta, pues (a, a) =
_
[a, b) [a, c)
_
L ver el item 2 en el ejemplo 2.4.6.
Siendo L no enumerable, tenemos que L no puede satisfacer el segundo axioma de enumerabilidad,
adem as L no puede poseer un subconjunto denso enumerable. Adem as, R
l
R
l
no es un espacio
de Lindel of. En efecto, siendo L cerrado, R
l
R
l
\ L es abierto, luego el cubrimiento abierto para
R
l
R
l
consistente de R
l
R
l
\ L junto con los abiertos b asicos de la forma
[a, b) [a, c).
No posee un subcubrimiento enumerable, pues L es no enumerable y cada uno de los conjunto del
cubrimiento original, tiene intersecci on a lo sumo en un punto con L. Este ejemplo tambien muestra
que no necesariamente el producto de espacios de Lindel of es un espacio de Lindel of.
5. ( Un espaco de Lindel of que no es separable y que no satisface el segundo axioma de enumerabilidad)
Si X es un espacio topol ogico no enumerable y discreto. Adjuntando un punto x
al espacio X,
denotamos por X
como siendo
uniones del singulete {x
as denido es
un espacio de Lindel of que no es separable y no satisface el segund axioma de enumerabilidad.
En efecto la no enumerabilidad del espacio discreto X garantiza que X
no satisface el segundo
axioma de enumerabilidad. Pra ve que X
contiene un elemento U
x
el posee complemento nito, digamos
X
\ U
x
= {x
1
, x
2
, . . . , x
k
}; de este modo, basta tomar U
1
, . . . , U
k
miembros de que cubran
X
\ U, luego {U
1
, . . . , U
k
, U
x
} es un subrecubrimiento nito de para X
. Siendo X discreto,
todo conjunto denso debe contener a X, i.e., ning un conjunto denso puede ser enumerable.
Finalizamos esta seccion con observando lo siguiente referentes al producto de espacios separables y
espacios de Lindel of. Vimos en los ejemplos anteriores que no necesariamente el producto de espacios de
Lindel of es un espacio de Lindel of, para el caso de espacios separables hay un resultado que sera probado
mas adelante el cual exige algunas condiciones adicionales.
Ejercicios 4.1.8. 1. Muestre que en un espacio que satisface el segundo axioma de enumerabilidad,
un subespacio no enumerable no es discreto.
2. Muestre que en un espacio que satisface el segundo axioma de enumerabilidad, todo subespacio no
enumerable posee un punto de acumulaci on.
3. En un espacio que satisface el segundo axioma de enumerabilidad, pruebe
a) De cualquier familia de subconjuntos abiertos (no necesariamente un recubrimiento), es posible
extraer una subfamilia enumerable cuya uni on coincide con la de la familia inicial.
85
86 Axiomas de enumerabilidad y separacion
b) Toda familia de conjuntos dos a dos disjuntos es enumerable.
c) Cualquier cadena de conjuntos abiertos, bien ordenados por inclusi on es necesariamente enu-
merable. Concluya que toda familia creciente, bien ordenada de n umeros reales es necesaria-
mente enumerable.
4. Muestre que la imagen continua de un espacio de Lindel of es un espacio de Lindel of, igual que la
imagen continua de un espacio separable es un espacio separable.
5. Muestre que X es un espacio de Lindel of si, y solamente si, todo cubrimiento por abiertos admite
un renamiento enumerable. En que por un renamiento para el recubrimiento abierto {A
,
entendemos otro recubrimiento abierto {B
existe alg un A
con B
.
6. Muestre que subespacios abiertos de espacios separables son separables.
7. El conjunto de los n umeros irracionales como subespacio de R es separable?
8. Cu ales de los axiomas de enumerabilidad son satisfechos por R
?.
4.2. Axiomas de separacion
Denicion 4.2.1. Sea X un espacio topol ogico:
(1) Si para cada par de puntos distintos de X, existe un conjunto abierto el cual contiene apenas uno
de los puntos, decimos que X es un espacio de tipo T
0
;
(2) Si para cada par de puntos distintos x, y X, existe una vecindad de x que no contiene a y decimos
que X es un espacio de tipo T
1
.
Observacion 4.2.2. 1. Note que en la denicion de espacio de tipo T
0
es suciente que uno de los
puntos distintos posea una vecindad que no contenga al otro, sin embargo, en el caso de espacios
de tipo T
1
, cada uno de los puntos debe poseer una vecindad que no contiene al otro punto. Luego
es claro que todo espacio de tipo T
1
, es un espacio de tipo T
0
; sin embargo, el espacio de Sierpinski
es un espacio de tipo T
0
el cual no es de tipo T
1
.
2. Es claro que una caracterizaci on equivalente para los espacios de tipo T
1
, es que sus singuletes sean
conjuntos cerrados; y por lo tanto, lo sean tambien sus subconjuntos nitos. En efecto, en un espacio
T
1
para cada x X, el conjunto X \ {x} es abierto, pues si y = x, existe un abierto U
y
X el
cual no contiene a x; o sea, U
y
X \ {x}; recprocamente, si x = y en X, al ser {x}, {y} conjuntos
cerrados, los conjuntos X \ {x}, Y \ {y} son abiertos, distintos conteniendo y, x respectivamente.
3. Con base al tem anterior, dado que en un espacio discreto todos los singulestes son conjuntos
cerrados, se tiene que este es un espacio de tipo T
1
y por lo tanto es de tipo T
0
. Adem as todo
espacio topol ogico indiscreto con mas de un punto no es un espacio de tipo T
0
.
86
4.2 Axiomas de separacion 87
4. Los espacios topol ogicos de tipo T
0
(resp: T
1
) no son invariantes por continuidad; en efecto, si X
es un conjunto con mas de un punto, denotado por X
D
, X
I
, el espacio X dotado de las topologas
discreta e indiscreta respectivamente, es claro que la aplicaci on identidad Id : X
D
X
I
es continua
pues posee dominio discreto; adem as X
D
es un espacio de tipo T
0
, (resp T
1
) mientras que X
I
no lo
es.
5. Las propiedades de ser de tipo T
0
(resp. T
1
) son invariantes por biyecciones abiertas. En particular
por homeomorsmos.
6. Los subespacios de espacios de tipo T
0
, (resp: T
1
) son espacios de tipo T
0
, (resp: T
1
).
7. El espacio producto X =
es un espacio de tipo T
1
(resp: T
0
) si, y solamente si, cada factor
X
es un espacio de tipo T
0
(resp: T
1
). En efecto, si {X
), y = (y
) X =
, existe un tal
que x
= y
, como el espacio X
es de tipo T
1
(resp. T
0
) existen conjuntos abiertos U
, V
en X
tales
que x
/ U
igualmente y
/ V
. Los conjuntos U =
1
(U
), V =
1
(V
)
son conjuntos abiertos en X los cuales contienen a x, y respectivamente, adem as y / U, x / V .
Recprocamente, si el espacio producto X es de tipo T
1
(resp. T
0
), para cada el espacio X
es
homeomorfo a un subespacio de X denido como sigue.
_
recuerde subespacios de espacios T
0
(resp.
T
1
) son de tipo T
0
(resp. T
1
)
_
Consideremos un punto jo p = (p
X, el hiperplano pasando
por p paralelo al espacio X
X(p)
que asigan a cada punto x X
el elemento y = (y
= p
y
y
= x es una aplicaci on biyectiva, continua pues sus componentes son constantes excepto para la
componente que es la identidad, adem as es abierta pues mapea el abierto U X
en el abierto
2
, 0) (
2
, 1), luego q(
2
, 0) = q(
2
, 1) q(V ) U
1
; adem as,
q(
2
, 0) q(U) U
0
esto contradice el hecho de que U
0
, U
1
son disjuntos. Ahora veamos que la
aplicaci on q : X Y es una aplicaci on abierta, en efecto para un abierto de la forma W = O{0},
en que O R es un abierto el cual contiene el origen tenemos que q
1
_
q(W)
_
= W
_
O\{0}{1}
_
de donde se concluye que si U = (U
0
{0}) (U
1
{1}) es claro que:
q
1
_
q(U)
_
=
_
_
U
0
(U
1
\ {0})
_
{0}
_
_
_
U
1
(U
0
\ {0})
_
{1}
_
,
el cual es un abierto en X.
6. Todo subespacio de un espacio de Hausdor, es un espacio de Hausdor, en efecto, si U
1
, U
2
son
abiertos en X los cuales separan puntos distintos y
1
, y
2
de Y X, entonces (U
1
Y ), (U
2
Y ) son
abiertos disjuntos de Y que separan a y
1
, y
2
en Y .
7. El espacio producto X =
, es
un espacio de Hausdor. En efecto, si {X
), y = (y
) X =
= y
, como
el espacio X
, V
en X
}, {y
}. Los conjuntos U =
1
(U
), V =
1
(V
es un espacio
regular.
Prueba:
1. Sea Y X un subconjunto de un espacio regular X, dado un subconjunto cerrado A Y y un
punto y
0
Y \ A; es claro que A = F Y , para alg un conjunto cerrado F X tal que y
0
/ F,
como consecuencia de la regularidad de X se tiene la existencia de conjuntos abiertos disjuntos U, V
en X, los cuales separan a F y {y
0
}. Por tanto, los conjuntos U Y , V Y son abiertos en Y y
separan a A y {y
0
}.
2. Un razonamiento igual al empleado en la prueba de la misma armacion para el caso de espacios
de tipo T
1
, muestra que la regularidad del espacio producto
,
pues estos son homeomorfos a un subespacio de
1
(U
1
)
1
n
(U
n
).
Para cada i : 1, . . . n, el conjunto U
i
es una vecindad abierta de la componente x
i
en X
i
; por
regularidad existe una vecindad cerrada F
i
de x
i
en X
i
, tal que F
i
U
i
. Es decir el conjunto
1
(F
1
)
1
n
(F
n
) es una vecindad cerrada de x contenida en
1
1
(U
1
)
1
n
(U
n
),
en virtud del teorema 4.2.13 el espacio X =
es regular.
Observacion 4.2.16. 1. Dado que las armaciones del teorema anterior tambien son v alidas para
espacios de tipo T
1
, este podra ser enunciado para espacios de tipo T
3
. i.e.,
93
94 Axiomas de enumerabilidad y separacion
a) Todo subespacio de un espacio de tipo T
3
es de tipo T
3
.
b) El espacio producto
es un espacio de tipo T
3
si, y solamente si, cada factor X
es
un espacio de tipo T
3
.
2. Con base a lo anterior y a los ejemplos antes presentados, los espacios I, R
l
R
l
, R
n
, S
n
son espacios
de tipo T
3
.
3. No necesariamente la imagen por una aplicaci on continua y abierta de un espacio de tipo T
3
(y
por ende regular), es un espacio regular (y por ende de tipo T
3
). Para el caso de una funcion
continua abierta, considere el ejemplo que aparece en el tem 5 de la observaci on 4.2.5. El espacio
X = R{0, 1} es de tipo T
3
en virtud del teorema anterior; sin embargo, el espacio Y que all aparece,
es un espacio de tipo T
1
que no es de Hausdor el cual es la imagen de X por una funcion continua
y abierta.
4. No necesariamente la imagen por una aplicaci on continua y cerrada de un espacio regular (resp de
tipo T
3
), es un espacio regular (resp de tipo T
3
). Un ejemplo para esta armacion sera mostrado
mas adelante.
5. La imagen por una aplicaci on continua, cerrada y abierta de un espacio de tipo T
3
es un espacio de
tipo T
2
. En efecto, sea X un espacio de tipo T
3
y sea f : X Y una aplicacion continua, abierta
y cerrada sobre Y . En virtud del teorema 4.2.8 bastara ver que el conjunto
A =
_
(x
1
, x
2
) : f(x
1
) = f(x
2
)
_
es cerrado en XX. Si (x
1
, x
2
) / A, entonces x
1
/ f
1
_
f(x
2
)
_
como consecuencia de la regularidad
existen conjuntos abiertos disjuntos U, V en X tales que x
1
U, f
1
_
f(x
2
)
_
V , siendo f abierta
es posible encontrar un conjunto abierto W en Y con f(x
2
) W f(V ), el conjunto f
1
(W) es
un conjunto abierto saturado en X el cual contiene a f
1
_
f(x
2
)
_
(ver observaci on 2.5.8). Por lo
tanto, U f
1
(W) es un conjunto abierto en X X el cual contiene al punto (x
1
, x
2
) y no tiene
intersecci on con A. Esto muestra que el conjunto A efectivamente es abierto.
6. La existencia de la vecindad W del item encima se garantiz o empleando el hecho que la funcion es
abierta, la verdad esta puede obtenerse si la funcion es s olo cerrada ver 2.3.5. Siendo as, vimos en
la observaci on 4.2.9 que un espacio cociente X/ de un espacio X es un espacio de Hausdor si se
cumple que la proyecci on can onica q : X X/ es cerrada y el conjunto R =
_
(x
1
, x
2
) : q(x
1
) =
q(x
2
)
_
es cerrado en XX. Por lo tanto, si X es un espacio de tipo T
3
y q : X X/ es cerrada,
entonces el conjunto R es cerrado, en efecto la prueba de esto es identica a la realizada en el tem
anterior, s olo que la existencia de W se justica como se coment o inicialmente. Sin embargo esto
no garantiza que X/ sea un espacio de Hausdor, pues la proyecci on q puede no ser abierta.
7. Como consecuencia de lo anterior, si X es un espacio de tipo T
3
y q : X X/ es una aplicacion
cociente la cual es abierta y cerrada, entonces X/ es un espacio de Hausdor.
8. Si X es un espacio de tipo T
3
y A X es un subconjunto cerrado, entonces el espacio obtenido
identicando los elementos de A con un solo punto es un espacio de Hausdor. Compare con el tem
94
4.2 Axiomas de separacion 95
4 que aparece en la observaci on 4.2.5. En tal ejemplo, se obtuvo un espacio cociente no Hausdor
identicando los puntos del conjunto cerrado A = {
1
n
: n N n = 0} en R
0
, por lo tanto la
condici on de T
3
es indispensable en este enunciado. Veamos la prueba. Dados miembros diferentes
y
1
, y
2
Y = X/ , si ambos no coinciden con q(A), la existencia de abiertos disjuntos separando
estos puntos sigue del hecho que la restriccion de la aplicaci on q al conjunto X \ A es una biyecci on
sobre el conjunto Y \q(A) y X\A es un espacio de Hausdor. En el caso en que y
1
= q(A), entonces
q
1
(y
2
) / A, la regularidad garantiza la existencia de conjuntos abiertos saturados disjuntos cuyas
imagenes por q son disjuntos y nos brindan vecindades disjuntas para los puntos y
1
, y
2
.
Teorema 4.2.17. Sean X un espacio regular, A X un subconjunto innito. Entonces, existe una
familia {U
n
: n 0} de conjuntos abiertos cuyas clausuras son dos a dos disyuntas y tal que A U
n
=
para cada n 1.
Prueba: Razonaremos inductivamente. Tome U
0
= , asuma que se tienen denidos los conjuntos
U
0
, U
1
, . . . , U
k
de modo que los conjuntos U
0
, U
1
, . . . , U
k
sean dos a dos disjuntos, para cada i {0, . . . , k},
A U
i
= y el conjunto
A
k
= A\
k
_
i=0
U
i
es innito. Dados a, b A
k
, la regularidad de X garantiza la existencia de conjuntos abiertos V, W en X
tales que
a V V X \ [U
0
U
k
{b}]
b W W X \ [U
0
U
k
V .]
Sea U
k+1
= V , si V A nito, U
k+1
= W caso contrario. Es claro que A U
k+1
= , U
0
, . . . , U
k+1
son
dos a dos disjuntos y el conjunto
A\
k+1
_
i=0
U
i
es innito.
El proximo paso es considerar espacios topol ogicos en los cuales sea posible la separaci on de conjuntos
cerrados disjuntos, mas especcamente se tiene la siguiente
Denicion 4.2.18. Decimos que un espacio topol ogico X es un espacio normal si cada par de conjuntos
cerrados disjuntos pueden ser separados. Un espacio normal de tipo T
1
es llamada un espacio de tipo T
4
.
Observacion 4.2.19. 1. Es claro que todo espacio de tipo T
4
es de tipo T
3
; pero no todo espacio
topol ogico normal es regular, en efecto considerando la recta real con la topologa cuyos abiertos
basicos son los abiertos de la forma (a, ). Con esta topologa es claro que no hay conjuntos cerrados
disjuntos, por lo tanto el espacio es normal, pero este espacio no es regular pues el conjunto cerrado
(, 0] no puede ser separado del punto 1.
2. La nocion de normalidad es invariante por homeomorsmos.
95
96 Axiomas de enumerabilidad y separacion
3. Determinar la normalidad o no de un espacio topol ogico no es en general un trabajo simple, un
criterio para saber determinar la no normalida de algunos espacios es el siguiente, si el espacio
topol ogico X contiene un subconjunto denso D y un subconjunto F cerrado y discreto en relaci on
a la topologa inducida por X, tales que |F| 2
|D|
entonces X no es un espacio normal. En efecto,
si X fuese normal dado que F es discreto y cerrado para cada subconjunto T F se tiene que los
conjuntos T, F \ T son disjuntos y cerrados en X y por tanto deben estar contenidos en conjuntos
abiertos disjuntos U(T), V (T) respectivamente. Por otro lado, dados subconjuntos T
1
, T
2
de F con
T
1
\ T
2
= , entonces U(T
1
) V (T
2
) = pues
T
1
\ T
2
T
1
U(T
1
),
T
1
\ T
2
F \ T
2
V (T
2
);
dado que D es un conjunto denso en X y U(T
1
) V (T
2
) es un conjunto abierto en X no vaco, se
tiene que U(T
1
)V (T
2
)D = , pero U(T
1
)V (T
2
)D U(T
1
)D y como U(T
2
)V (T
2
) = , el
conjunto U(T
1
)V (T
2
)D no es un subconjunto de U(T
2
)D. Por lo tanto, U(T
1
)D = U(T
2
)D.
Esto signica que la aplicaci on P(F) P(D) la cual a cada subconjunto T F asigna el conjunto
U(T) D, es inyectiva, o sea, |P(D)| = 2
|D|
|P(F)| = 2
|F|
> |F| lo cual es imposible pues
contradice nuestra hip otesis.
4. El plano de Moore y el espacio producto R
l
R
l
no son espacios normales, a saber considerando el
conjunto D =
_
(x, y) R
2
: x, y Q
_
, los conjuntos D, D(R
l
R
l
) son densos y enumerables
en y R
l
R
l
respectivamente. Por otro lado, el conjunto F = {(x, 0) } es un conjunto innito
no enumerable cerrado y discreto. Igualmente el conjunto L = {(x, x) : x R} es un subconjunto
innito no enumerable cerrado y discreto en R
l
R
l
.
5. R
l
R
l
es otro ejemplo de un espacio de tipo T
3
que no es de tipo T
4
, veamos que R
l
es un espacio
de tipo T
4
. Consecuentemente se tendra que el producto de espacios normales (resp. de tipo T
4
)
no es necesariamente normal (resp. de tipo T
4
). En efecto dados conjuntos cerrados disjuntos F, E
en R
l
. Para cada a F, (a X \ E) es posible encontrar un abierto basico [a, x
a
) disjunto de E,
del mismo modo para cada b E es posile encontrar un abierto basico [b, y
b
) disjunto de F. Por lo
tanto los conjuntos
U =
_
aF
[a, x
a
), V =
_
bE
[b, y
b
),
son abiertos en R
l
y contiene a F, E respectivamente. Si z U V , existen a F, b E con
z [a, x
a
) [b, y
b
), sin perdida de generalidad es posible asumir que a < b, por lo tanto puede
ocurrir b x
a
y
b
y
b
x
a
en cualquiera de los dos casos se tiene b [a, x
a
) lo cual no es
posible. Pues para cada a F, se tiene [a, x
a
) E = .
6. Subespacios de espacios normales no son necesariamente son normales. Ejemplos para esta arma-
cion apareceran mas adelante. Pero subespacios cerrados de espacios normales son normales. En
efecto, si son dados F
1
, F
2
subconjuntos cerrados y disjuntos de un subespacio cerrado F X con
X espacio normal. Siendo F cerrado en X, los subconjuntos F
1
, F
2
son cerrados y disjuntos en X,
por la normalidad es posible encontrar conjuntos abiertos y disjuntos U
1
, U
2
en X tales que F
i
U
i
96
4.2 Axiomas de separacion 97
para cada i = 1, 2. Los conjuntos U
1
F, U
2
F son conjuntos abiertos disjuntos en F los cuales
separan a F
1
y F
2
.
Teorema 4.2.20. Todo espacio de Lindel of regular es un espacio normal.
Prueba: Sean F, E conjuntos cerrados disjuntos en un espacio de Lindel of regular X. Para cada a F, el
complemento de E en X es un conjunto abierto que contiene a a; por regularidad es posible encontrar un
subconjunto abierto U
a
en X tal que U
a
E = . Similarmente para cada b E es posible encontrar un
subconjunto abierto V
b
en X tal que V
b
F = . Como F, E son cerrados y X es un espacio de Lindel of,
tenemos que F, E son espacios de Lindel of, por lo tanto de las coberturas abiertas {U
a
: a F}, {V
b
: b
E} es posible extraer suberturas enumerables, (ver ejercicio 5 4.1.8) digamos F U
x
1
U
x
2
U
x
3
,
E V
x
1
V
x
2
V
x
3
. Para todo n 1 dena ahora
A
n
= U
x
n
\
_
V
x
1
V
x
n
_
, B
n
= V
x
n
\
_
U
x
1
U
x
n
_
,
Luego los conjuntos A
n
, B
n
son abiertos y por lo tanto A =
n1
A
n
, B =
n1
B
n
son abiertos. Para
completar la demostraci on,veamos que F A, E B y A B = . Si es dado un punto x F, existe
alg un n tal que x U
x
n
; dado que para cada ndice j {1, . . . , n} se tiene V
j
F = , para cada j,
x / V
X
j
, es decir x A
n
A. Sea n m, luego A
n
U
x
n
, pero B
m
U
x
n
= . Similarmente si n m
entonces B
m
U
x
m
, pero A
n
V
x
m
= . Esto muestra que A
n
B
m
= para cualesquier n, m 1; o
sea, A B = .
Corolario 4.2.21. Todo espacio regular que satisface el segundo axioma de enumerabilidad es un espacio
normal.
Observacion 4.2.22. 1. Todo espacio de tipo T
3
y Lindel of es de tipo T
4
.
2. No todo espacio normal y regular satisface el segundo axioma de enumerabilidad, basta observar
que R
l
es un espacio normal y regular el cual no satisface el segundo axioma de enumerabilidad.
3. En virtud del teorema anterior, el espacio R {0, 1} es de tipo T
4
, pues es un espacio de tipo T
3
el cual satisface el segundo axioma de enumerabilidad. Por lo tanto, el tem 5 en la observaci on
4.2.5 muestra que no necesariamente la imagen de un espacio de tipo T
4
por una funcion continua
y abierta es un espacio de tipo T
4
. Sin embargo, la imegen continua de un espacio normal (resp.
de tipo T
4
) por una funcion continua y cerrada es un espacio normal (resp. de tipo T
4
). A saber,
si f : X Y es una funcion continua y cerrada con X normal, dados conjuntos cerrados disjuntos
F, E Y , los conjuntos f
1
(F), f
1
(E) son cerrados y disjuntos en X, la normalidad garantiza la
existencia de conjuntos abiertos disjuntos U, V en X con f
1
(F) U, f
1
(E) V , como la funcion
es cerrada, los conjuntos Y \ f(X \ U), Y \ f(X \ V ) son abiertos disjuntos en Y y separan a F, E.
Para nalizar presentamos el siguiente resultado el cual nos brinda una gran cantidad de espacios
normales.
Teorema 4.2.23. Un conjunto dotado de un buen orden es un espacio normal en relaci on a la topologa
orden. M as general, puede mostrarse que todo conjunto ordenado es un espacio topol ogico normal.
97
98 Axiomas de enumerabilidad y separacion
Prueba: Sea X un conjunto bien ordenado, para llevar a cado la prueba es necesario observar lo siguiente,
en la topologa orden dada por un buen orden, se tiene que los conjuntos de la forma (x, y] son abiertos;
en efecto si X posee como mayor elemento a y, entonces el conjunto (x, y] es simplemente un basico el cual
contiene a y; si y no es el mayor elemento de X, entonces (x, y] = (x, z) en que z es el inmediato sucesor
de y (aqu se emple o el buen orden.) Dados conjunto cerrados disjuntos F, E en X. Denotemos por x
0
el
menor elemento de X; asumamos inicialmente que x
0
no pertenece a ninguno de los conjuntos F, E. Para
cada a F, existe un conjunto abierto basico disjunto de E el cual contiene al punto a. Dado que a no
es el menor elemento de X, tal abierto basico debe contener un abierto de la forma (x
a
, a]. Igualmente,
para cada b E es posible escoger un intervalo de la forma (y
b
, b] disjunto de F. Los conjuntos
U =
_
aF
(x
a
, x], V =
_
bE
(y
b
, b],
son abiertos y contiene a F, E respectivamente; adem as si z U V , existe puntos a F, b E tales
que z (x
a
, a] (y
b
, b], sin perdida de generalidad asumimos que a < b, siendo as puede ocurrir que
x
a
y
b
a y
b
x
a
a en cualquiera de los dos casos se tiene a (y
b
, b] E lo cual es imposible. Por
lo tanto U V = . Para concluir, basta mostrar la armacion para el caso en que x
0
est a en alguno de
los conjuntos selecionados inicialmente. En efecto, si x
0
F, como el conjunto {x
0
} es abierto y cerrado,
el conjunto F \ {x
0
} es cerrado; por lo realizado encima, los conjuntos F \ {x
0
}, E pueden ser separados
por conjuntos abiertos disjuntos U, V respectivamente, luego los conjuntos U {x
0
}, V \{x
0
} son abiertos
disjuntos en X los cuales separan a los conjuntos F, E.
Ejercicios 4.2.24. 1. Muestre que un espacio topol ogico X es de tipo T
0
si, y solamente si, para cada
par de puntos distintos x, y X y para cada par de sistemas fundamentales de vecindades
x
,
y
para los puntos x, y se tiene que
x
=
y
.
2. Muestre que un espacio topol ogico X es de tipo T
0
si, y solamente si, para cada par de puntos
distintos x, y X se tiene {x} = {y}.
3. Si X es un espacio topol ogico, para cada x, y X denimos
x y {x} = {y}.
Muestre que dene una relaci on de equivalencia en X y que el espacio cociente X/ es un
espacio de tipo T
0
.
4. Muestre que si X es un conjunto con m as de un punto. Dado un punto x
0
X jo, denimos los
siguientes sistemas de vecindades en X. Si x = x
0
sea
x
= {x} y para el punto x
0
dena
x
0
= X.
Muestre que de esta forma se genera una topologa en X que es de tipo T
0
y no es de tipo T
1
.
5. Muestre que en un espacio topol ogico X las siguientes armaciones son equivalentes
a) X es un espacio de tipo T
1
;
b) para cada punto x X, existe una familia de vecindades abiertas
x
para x tal que
x
= {x};
c) para cada punto x X y para cada sistema fundamental de vecindades de x,
x
, se tiene
x
= {x}.
98
4.2 Axiomas de separacion 99
6. Muestre que la propiedad de ser T
0
(resp. T
1
) son invariantes por funciones biyectivas abiertas.
7. Muestre que los subespacios de espacios de tipo T
0
(resp. T
1
) son espacios de tipo T
0
(resp. T
1
).
8. Considere el tem 30 que aparece en los ejercicios 1.3.16. A saber si B X es un conjunto jo, la
operaci on que a cada subconjunto A de X asigna A = A B determina una unica topologa en X
cuya operaci on de clausura es precisamente la operaci on denida encima. Bajo que condiciones en
B, el espacio resultante es de tipo T
0
, T
1
, T
2
.
9. Muestre que un espacio topol ogico X es un espacio de Hausdor si, y solamente si, para cada x X
la intersecci on de todas las vecindades cerradas de x es el singulete {x}.
10. Muestre que para cada punto x en un espacio de Hausdor se cumple
a) {x} =
{F : F es cerrado x F}
b) {x} =
{U : U es abierto x U}
De ejemplos que muestren que ninguna de las dos condiciones implica la condici on de Hausdor.
11. Muestre que todo conjunto ordenado dotado de la topologa orden es un espacio de Hausdor.
12. Sea X un espacio de Hausdor, con al menos dos puntos y sea f : I X una funci on continua,
abierta y sobre. Muestre que f es un homeomorsmo. (sug. Encuentre el mnimo intervalo cerrado
[0, a] tal que f([0; a]) = X)
13. Muestre que el espacio R
0
que aparece en el tem 4 de la observaci on 4.2.5 es un espacio de Hausdor
y no es un espacio regular.
14. Muestre que el espacio Y que aparece en el tem 5 de la observaci on 4.2.5 es un espacio de tipo T
1
.
15. Muestre que en un espacio de Hausdor las siguientes propiedades son v alidas.
a) Los conjuntos nitos son cerrados.
b) Si x es un punto de lmite de un conjunto A, toda vecindad de x posee innitos puntos de A.
c) Si {X
el conjunto
1
(x) es cerrado en
.
d) Si f : X Y es una funci on inyectiva y continua, Y es un espacio de Hausdor, muestre que
X es un espacio de Hausdor.
16. Sean X un espacio topol ogico y Y X un subconjunto. Una retracci on de X sobre Y es una
aplicaci on continua r : X Y tal que r(y) = y para cada y Y . Cuando existe una retracci on de
X en Y decimos que Y es un retrato de X. Muestre que
a) Si X es un espacio de Hausdor, todo retrato de X es un subconjunto cerrado.
b) Un subconjunto Y de X es un retrato si, y solamente si, toda funci on continua f : Y Z
admite una extensi on continua F : X Z.
99
100 Axiomas de enumerabilidad y separacion
17. Observe que el enunciado del tem 2 en el teorema 4.2.13 puede presentarse de manera m as general,
en lugar de un conjunto abierto U conteniendo al punto x, basta tomar una vecindad que le contenga.
Muestre que el espacio continua siendo regular si la condici on que aparece en este enunciado es v alida
s olo para conjuntos de una subbase. Es decir si cambiamos abierto por abierto subb asico.
18. Muestre que un espacio regular es de Lindel of si, y solamente si, todo cubrimiento por abiertos
admite una subcolecci on enumerable cuyas clausuras forman un cubrimiento.
19. Muestre que en un espacio de tipo T
0
en el cual es posible separar conjuntos cerrados de puntos por
fuera de estos, es de tipo T
3
.
20. Si X es un espacio regular y A X es un conjunto cerrado entonces
A =
{U : U es abierto A U}.
21. Dado un espacio topol ogico X, muestre que las siguientes armaciones son equivalentes
a) X es normal;
b) Para cada conjunto cerrado F X y cada conjunto abierto U con F U, existe un conjunto
abierto V tal que F V V U;
c) Para cada par de conjuntos cerrados disjuntos F
1
, F
2
de X, existe un conjunto abierto U tal
que F
1
U y U F
2
= .
22. Muestre que los conjuntos Y \ f(X \ U), Y \ f(X \ V ) que aparecen en el tem 3 de la observaci on
4.2.22 son conjuntos abiertos disjuntos.
23. Muestre que dados conjuntos cerrados F
1
, F
2
, . . . , F
n
en un espacio normal X tales que
i
F
i
= ,
entonces existe conjuntos abiertos U
1
, U
2
, . . . , U
n
tales que para cada i = 1, . . . , n se tiene F
i
U
i
,
adem as
i
U
i
= .
24. (Espacios completamente regulares) Este ejercicio tiene por objeto abordar los espacios completa-
mente regulares. Decimos que un espacio topol ogico es un espacio completamente regular, si dados
un punto x X y un conjunto cerrado F X el cual no contiene a x, entonces existe una funci on
continua f : X [0, 1] tal que f(x) = 0 y f(A) = 1. En este caso decimos que la funci on f separa
al conjunto A del punto x. Un espacio completamente regular de tipo T
1
es llamado espacio de
Tychono.
a) Muestre que todo espacio completamente regular es regular y no necesariamente es un espacio
de Hausdor.
b) Este tem tiene por objeto mostrar que no necesariamente un espacio regular es completamente
regular. Para esto denimos una topologa en el semi-plano superior de R
2
(recuerde el conjunto
modelo del plano de Moore) consideremos el conjunto
M = M
0
_
(0, 1)
_
,
100
4.3 Caracterizaciones de Normalidad 101
en que M
0
= {(x, y) R
2
: y 0}. Para cada i 1 dena los subconjuntos
L =
_
(x, 0) : x R
_
, L
i
=
_
(x, 0) : i x i + 1
_
.
Para cada punto z = (x, 0) L, denimos
B
1
(z) =
_
(x, y) R
2
: 0 y 2
_
, B
2
(z) =
_
(x +y, y) R
2
: 0 y 2
_
.
Dado z M
0
\ L, dena la colecci on
z
=
_
{z}
_
. Para z L dena la colecci on
z
=
_
(B
1
(z) B
2
(z)) \ F : F M
0
Fes nito
_
.
Finalmente, para z = (0, 1) dena la colecci on
z
= {U
i
}
i1
en que
U
i
= {z}
_
(x, y) M
0
: x
_
ki
L
k
y 0
_
.
Muestre que existe una unica topologa en M tal que para cada z M la colecci on
z
es un
sistema fundamental de vecindades.
4.3. Caracterizaciones de Normalidad
En este seccion son presentadas algunas propiedades que caracterizan los espacios normales. El prin-
cipal resultado es el conocido Lema de Urysohn el cual da un criterio de separaci on de conjuntos por
medio de funciones continuas. Adem as, mostraremos otros importantes resultados referentes a extender
continuamente a todo el espacio una aplicaci on continua denida en un subconjunto cerrado de este,
as como la existencia de un cierto tipo de cubrimientos para espacios normales. Estas propiedades para
estos espacios, reivindican su importancia dentro del estudio de la topologa y los exonera de culquier
estigma que pueda gestarse por no poseer un buen comportamiento en relaci on a los subespacios y los
productos de espacios, a diferencia de los espacios poseedores de las dem as propiedades de separaci on.
Sin mas preambulos pasemos a la diversion.
Para realizar la prueba del lema de Urysohn, son necesarios un par de lemas preparatorios los cuales
presentamos a seguir
Lema 4.3.1. Dado un espacio topol ogico X, las siguientes armaciones son equivalentes
1. X es normal;
2. Para cada conjunto cerrado F X y cada conjunto abierto U con F U, existe un conjunto
abierto V tal que F V V U;
Prueba: Suponiendo la normalidad en un espacio X, dados un conjunto abierto U y un conjunto cerrado
F con F U se tiene que los conjuntos F, X \ U son conjuntos cerrado disjuntos. Siendo X normal,
es posible encontrar conjuntos abiertos disjuntos V, W en X tales que F V , (X \ U) W. Como
101
102 Axiomas de enumerabilidad y separacion
V X \ W y X \ W es un conjunto cerrado se tiene que F V V X \ W U. Recprocamente, si
se cumple la condici on y son dados conjuntos cerrados disjuntos F, E en X. Entonces F (X \ E) como
X \ E es un conjunto abierto, por la hip otesis existe un conjunto abierto V tal que F V V X \ E.
Por lo tanto, los conjuntos abiertos disjuntos V, X \ V separan los conjuntos cerrados disjuntos F, E.
Lema 4.3.2. El conjunto formado por las fracciones cuyos denominadores son potencia de 2 y que
pertenecen al intervalo [0, 1] es denso en [0, 1].
Prueba: Sea D = {
1
2
,
1
4
,
3
4
,
1
8
,
3
8
,
5
8
,
7
8
, . . . } el conjunto en cuestion, vamos a mostrar que dado un punto
a [0, 1], cualquier intervalo de la forma (a, a+) contiene un punto de D. En efecto, para cada > 0,
existe un n umero natural n tal que escribiendo p = 2
n
se tiene 0 <
1
p
< . Los intervalos
_
0,
1
p
_
,
_
1
p
,
2
p
_
,
_
2
p
,
3
p
_
, . . . ,
_
p 2
p
,
p 1
p
_
,
_
p 1
p
, 1
_
cubren al intervalo [0, 1], por lo tanto alguno debe contener al punto a; por ejemplo
_
m
p
,
m+1
p
_
, osea,
m
p
a
m+1
p
, como
1
p
< , se tiene que
a <
m
p
a < a +.
Es decir
m
p
D (a , a +), esto muestra que D es en efecto un conjunto denso en [0, 1].
Procedamos a enunciar y demostrar el lema de Usysohn.
Teorema 4.3.3. (Lema de Urysohn) Un espacio topol ogico es normal si, y solamente si, dados conjuntos
cerrados disjuntos F, E existe una funci on continua f : X [0, 1] tal que f(x) = 0 para cada x F, y
f(x) = 1 para cada x E.
Prueba: Inicialmente supongamos que X es un espacio normal, sean F, E conjuntos cerrados disjuntos
en X, luego F X \ E. En virtud del lema 4.3.1 existe un conjunto abierto U1
2
tal que
F U1
2
U 1
2
X \ E.
Seg un las inclusiones encima, es posible aplicar de nuevo el lema 4.3.1 y obtener conjuntos abiertos U1
4
, U3
4
de modo que
F U1
4
U 1
4
U1
2
U 1
2
U3
4
U 3
4
X \ E.
Suponagamos que para un cierto n umero natural n, se tiene una colecci on de conjuntos abiertos
A
n
= {U k
2
n
: k = 1, . . . , 2
n
1}
de modo que vale:
1. F U 1
2
n
;
2. U k1
2
n
U k
2
n
;
102
4.3 Caracterizaciones de Normalidad 103
3. U 2
n
1
2
n
X \ E.
Con base en las relaciones encima y en virtud del lema 4.3.1, este proceso puede continuar y de este
modo obtener una colecci on de conjuntos abiertos A
n+1
= {U k
2
n+1
: k = 1, . . . , 2
n+1
1} con las mismas
propiedades descritas encima. Razonando inductivamente se tiene que para cada elemento r D, en que
D denota el conjunto del lema 4.3.1 se obtiene un conjunto abierto U
r
de modo que U
s
U
r
siempre que
s < r. Denamos la funcion buscada f : X [0, 1] como sigue
f(x) =
_
1 si x E
nf{r D : x U
r
} si x X \ E
Dado que F U
r
para cada r D, entonces f(x) = 0 para cada x F. Adem as, por la denicio f(x) = 1
para cada x E. Veamos la continuidad de la funcion f. Sea x
0
X un punto arbitrario tal que
f(x
0
) = r
0
(0, 1). Dado > 0, como D es un conjunto denso en [0, 1] es posible encontrar puntos
r, s D tales que
r
0
< r < r
0
< s < r
0
+,
el conjunto U = U
s
\ U
r
es abierto en X y contiene a x
0
; adem as f(U) (r
0
, r
0
+), pues si z U,
entonces r f(z) s. Para concluir la prueba falta analizar los casos en que r
0
= 0 r
0
= 1. A saber, si
r
0
= 0, tome el abierto U = U
s
; es claro que x
0
U pues f(x
0
) = r
0
< s y para z U se tiene f(z) s <
luego f(U) [0, ). Si r
0
= 1, tome el abierto U = X \ U
r
, es claro que x
0
U pues si x
0
U
r
, por la
densidad de D existe un t D tal que r < t < 1 de este modo x
0
U
r
U
t
y 1 = r
0
= f(x
0
) t < 1 lo
cual es imposible. Adem as, si z U, f(z) > r consecuentemente f(U) (r, 1] (1, 1]. La continuidad
de la funcion f se obtiene en virtud del tem 4 en la proposicion 2.2.3. Recprocamente, asumamos que
dados conjuntos cerrados disjuntos F, E en X existe una funcion continua f : X [0, 1] tal que f|
F
= 0
y f|
E
= 1. Los conjuntos f
1
_
[0,
1
2
)
_
, f
1
_
(
1
2
, 1]
_
constituyen una separaci on para los conjuntos F, E.
Denicion 4.3.4. Dados conjuntos cerrados disjuntos F, E en un espacio normal, la funcion cuya ex-
istencia es garantizada por el lema de Urysohn es llamada funci on de Urysohn para los conjuntos F y
E.
Observacion 4.3.5. 1. No es en general cierto que dados conjuntos cerrados disjuntos F, E en un
espacio normal X, exista una funcion de Urysohn f tal que f
1
(0) = F y f
1
(E) = 1; espacios con
esta propiedad se llaman espacos perfectamente normales.
2. Es claro que el intervalo [0, 1] en el lema se tom o por conveniencia, sin embargo este puede ser
cambiado por cualquier intervalo de la forma [a, b] con a < b.
Uno de los problemas mas importante en topologa es el de la extensi on de funciones continuas. En
ese problema es dada una funcion continua f : A Y denida en un subconjunto cerrado de un espacio
topol ogico X y se indaga sobre la posibilidad de extender continuamente f a todo el espacio X, o sea,
sobre la existencia de una funcion continua F : X Y tal que F|
A
= f. La funcion F se llama extensi on
continua de f relativa a A. El famoso teorema de extensi on de Tietze y Urysohn da respuesta armativa
para este problema siempre que X sea un espacio normal, Y un intervalo de la recta.
103
104 Axiomas de enumerabilidad y separacion
Observacion 4.3.6. Es claro que si Y es un espacio de Hausdor con mas de un punto y se cumple un
cierto resultado que garantice la extenci on de funciones denidas en subconjuntos cerrados de un espacio
topol ogico X, entonces neceariamente X es normal, a saber dados conjuntos cerrados disjuntos F
1
, F
2
en
X considere las funciones constantes f
1
: F
1
Y , f
2
: F
2
Y tales que para cada x F
1
, f
1
(x) = y
1
Y
y para cada x F
2
, f
2
(x) = y
2
Y , con y
1
= y
2
. La funcion continua f = f
1
f
2
: F
1
F
2
Y por
hip otesis puede ser extendida a una funcion continua F : X Y , por lo tanto dadas vecindades disjunas
U
1
, U
2
para y
1
, y
2
, los conjuntos F
1
(U
1
), F
1
(U
2
) son vecindades disjuntas que separan los conjuntos
F
1
, F
2
.
Pasemos a enunciar y demostrar el teorema de Tietze
Teorema 4.3.7. Un espacio topol ogico X es normal si, y solamente si, para cada subconjunto cerrado
A X y cada funci on continua f : A R existe una funci on la cual extiende continuamente a f; es
decir existe una funci on continua F : X R tal que F|
A
= f.
Prueba: Supongamos la normalidad de X. Consideremos inicialmente el caso en el que la funcion a ser
extendida toma valores en el conjunto [1, 1], es decir, tomemos una funcion continua f : A [1, 1] en
que A X es un conjunto cerrado. Consideremos los conjuntos cerrados disjuntos en X
A
1
=
_
x A : f(x) 1/3
_
= f
1
_
[ 1/3, 1]
_
B
1
=
_
x A : f(x) 1/3
_
= f
1
_
[1, 1/3]
_
.
En virtud del lema de Urysohn, existe una funcion continua f
1
: X [1/3, 1/3] tal que f
1
(A
1
) = 1/3,
f
1
(B
1
) = 1/3. Dado x A, entonces x A
1
x B
1
x A\ (A
1
B
1
).
Si x A
1
se tiene 1/3 f(x) 1 f
1
(x) = 1/3, luego 0 f(x) f
1
(x) 2/3.
Si x B
1
se tiene 1 f(x) 1/3 f
1
(x) = 1/3, luego 2/3 f(x) f
1
(x) 0.
Si x A\(A
1
B
1
) se tiene 1/3 < f(x) < 1/3 1/3 < f
1
(x) < 1/3, luego 2/3 < f(x)f
1
(x) < 2/3.
En cualquiera de los casos se cumple que |f(x) f
1
(x)| 2/3; por lo tanto la funcion g
1
= f f
1
es una
funcion continua denida en A a valores en el intervalo [2/3, 2/3]. Consideremos los conjuntos cerrados
disjuntos
A
2
=
_
x A : g
1
(x) 2/3
_
= g
1
1
_
[ 2/3, 1]
_
B
2
=
_
x A : g
1
(x) 2/3
_
= g
1
1
_
[1, 2/3]
_
.
En virtud del lema de Urysohn, existe una funcion continua f
2
: X [2/9, 2/9] tal que f
2
(A
2
) = 2/9,
f
2
(B
2
) = 2/9. De nuevo se tiene que la funcion g
2
= g
1
f
2
= f (f
1
+f
2
) es una funcion denida en
A y para cada x A
|g
2
(x)| =
(f f
1
)(x) f
2
(x)
= |g
1
(x) f
2
(x)
(2/3)
2
.
Continuando con este proceso se obtiene una sucesi on de funciones continuas g
1
, g
2
, . . . denidas en A
tales que para cada x A y para cada n 1 se cumple
|g
n
(x)| (2/3)
n
;
104
4.3 Caracterizaciones de Normalidad 105
as como una sucesi on de funciones continuas f
1
, f
2
, . . . denidas en X tales que para cada x X y cada
j N vale
|f
j
(x)| (1/3) (2/3)
j1
.
Observando la construccion, es claro que para cada n 1, se tiene que g
n
= f (f
1
+ + f
n
) luego
para cada x A y cada n N
f(x)
n
j=1
f
j
(x)
= |g
n
(x)| (2/3)
n
. (4.1)
Adem as, dado n = 1 y x X se tiene
j=1
f
j
(x)
j=1
|f
j
(x)|
n
j=1
(1/3) (2/3)
j1
,
dado que la serie geometrica
j=1
(1/3) (2/3)
j1
converge para 1; en virtud del criterio de comparacion
para series de terminos no negtivos, se tiene que para cada x X la serie
j=1
f
j
(x) es absolutamente
convergente y por lo tanto es convergente. Consecuentemente podemos denir la funcion F : X [1, 1]
por
F(x) =
j=1
f
j
(x).
Armamos que F es la funcion buscada. En efecto, para x A, se tiene F(x) = f(x) pues dados x A
y n 1, la ecuaci on 4.1 implica que la sucesi on de sumas parciales
_
s
n
(x)
_
nN
de la serie
j=1
f
j
(x)
converge para f(x), es decir
F(x) = lm
n
s
n
(x) = f(x).
Finalmente veamos la continuidad de la funcion F, para esto sean x X y > 0. Tome un n
0
N de
modo que
j=n
0
+1
(2/3)
n
< /2.
Dado que para cada k {1, . . . , n
0
}, la funcion f
k
es continua, es posible encontrar un conjunto abierto
U
k
tal que x U
k
y para cada z U
k
vale
|f
k
(x) f
k
(z)| < /2n
0
.
El conjunto U = U
1
U
n
0
es un conjunto abierto en X el cual contiene al punto x, adem as para
cada z U se tiene
|F(x) F(z)|
n
0
j=1
|f
j
(x) f
j
(z)| +
j=n
0
+1
|f
j
(x) f
j
(z)| n
0
/2n
0
+/2 = .
Esto completa la prueba en el caso en el que f mapea A sobre [1, 1]. Dado que (1, 1) es un intervalo
homeomorfo a R, para concluir el resultado general, es posible considerar el caso en el que f : A (1, 1),
como f puede ser entendida como una funcion de A a valores en [1, 1], es posible ontener un extenci on
continua G : X [1, 1] para f. Los conjuntos cerrados A, B = {x X : |G(x)| = 1} son disjuntos
105
106 Axiomas de enumerabilidad y separacion
luego es posible encontrar una funcion de Urysohn g : X [0, 1] para la cual g(B) = 0 y g(A) = 1.
Dena F : X (1, 1) por F(x) = g(x) G(x), entonces F dene una funcion continua y para x A,
F(x) = g(x) G(x) = f(x) = 1 f(x).
O sea, que la funcion F es la extenci on buscada. La armacion recproca es un consecuencia de la
observaci on 4.3.6.
Ejercicios 4.3.8. 1. Muestre que un espacio de tipo T
4
, conexo con m as de un punto no es contable.
El resultado se mantiene si el espacio es de tipo T
3
?
2. Muestre que X es un espacio normal si, y solamente si, para cada cubrimiento abierto U
1
, U
2
, . . . , U
n
para X existen n funciones continuas f
i
: X I tales que
i
f
i
(x) = 1 y adem as f
i
|
X\U
i
0.
3. Muestre que si X es un espacio topol ogico arbitrario, Y un espacio de Hausdor y existe alg un
teorema o resultado que permita extender funciones continuas denidas en conjuntos cerrados de
X a todo el espacio X, entonces necesariamente X es un espacio normal.
106
Captulo 5
Compacidad
5.1. Espacios compactos
Denicion 5.1.1. Una colecci on H de subconjuntos de un espacio topol ogico X es llamado un cubrim-
iento para X, si la uni on de los elementos de H es igual a X. Cuando los elementos de H son conjuntos
abiertos en X, el cubrimiento H es llamado un cubrimiento abierto.
Denicion 5.1.2. Un espacio topol ogico X es compacto si todo cubrimiento por abiertos de X admite
un subcubrimiento nito.
Ejemplo 5.1.3. 1. R no es compacto, tome H = {(n, n)}
nN
2. A R, en que A = {0}
{1/n : n Z} es compacto.
3. Todo espacio nito es necesariamente compacto.
4. (0, 1] R no es compacto. En efecto, el cubrimiento H = {(1/n, ] : n Z} no admite un sub-
cubrimiento nito.
Si Y X, decimos que una colecci on de subconjuntos de X es un cubrimiento para Y , si la uni on de
los elementos de H contiene a Y .
Lema 5.1.4. Sea Y X. Y es compacto sii todo cubrimiento de Y por conjuntos abiertos en X contiene
un subconjunto nito.
Demostracion: Sea Y compacto y sea H = {A}
A
un cubrimiento de Y por abiertos de X. Entonces
la colecci on H
Y
= {Y
}
R
es un cubrimiento para Y por abiertos de Y ; por lo tanto, existe un
subcubrimiento nito {Y
A
1
, ..., Y
A
n
} que cubre a Y , o sea {A
1
, ..., A
n
} es un subrecubrimiento
nito para Y .
107
108 Compacidad
recprocamente, suponga que se verica la condici on, y veamos que Y es compacto; en efecto, si
H
= {A
}
J
es un cubrimiento para Y formado por abiertos de Y . Para cada J, existe un abierto
A
en X tal que, A
= Y
.
Es claro que la colecci on H = {A
1
, ..., A
n
}
es una subcolecci on de H
la cual cubre a Y .
Teorema 5.1.5. 1. Todo subconjunto cerrado de un espacio compacto es compacto.
2. Todo subconjunto de compacto de un espacio de Hacsdorft es cerrado.
Demostracion:
1. Si H
= {A
}
j
es un cubrimiento abierto para Y por abiertos de Y . Para cada J, existe un
abierto A
en X, tal que, A
= Y
. La colecci on H = (X Y )
{A
}
J
es un cubrimiento
abierto para X, por la compacidad existe un subcubrimiento nito {(X Y ) , A
1
, ..., A
n
}, de este
modo, la colecci on, {A
1
, ..., A
n
} forma un subrecubrimiento abierto de H
.
2. Sea Y X compacto con X hacsdor. Si x X Y , si y Y , existen vecindades abiertas y
disyuntas V
y
, U
y
de x, y respectivamente.
El item 2) del ejercicio anterior no es cierto si X no es un espacio de Hacsdo, basta considerar un espacio
innito con la topologa conita, en tal espacio todo conjunto abierto es compacto.
Corolario 5.1.6. 1. En un espacio de Hacsdor, conjuntos compactos dinyuntos pueden separarse
2. En un espacio regular, un conjunto compacto y un subconjunto cerrado disjuntos pueden separarse.
Teorema 5.1.7. La imagen continua de un espacio compacto es un espacio compacto.
Demostracion: Sea f : X Y una funcion continua con X compacto, H = {U
} un cubrimiento
abierto para Y , como f continua, la colecci on
_
f
1
(U
)
_
J
es un cubrimiento abierto para X, por
compacidad, nitos de ellos cubren a X, digamos f
1
(U
1
) , ..., f
1
(U
n
), por lo tanto, la colecci on
{U
1
, ..., U
n
} forma un subrecubrimiento abierto para H.
Corolario 5.1.8. Si f es una funci on continua denida en un espacio compacto X a valores es un
espacio de Hacsdor Y , entonces f es cerrada, en particular, f es una aplicaci on cociente.
Corolario 5.1.9. Si f es una biyecci on denida en un espacio compacto a valores en un espacio de
Hacsdor, entonces f es un homeomorsmo.
Teorema 5.1.10. Un producto no vaco nito de espacios topol ogicos es compacto sii cada factor es un
espacio topol ogico compacto.
108
5.1 Espacios compactos 109
Sean X, Y espacios topol ogicos, si el producto XY es compacto, dado que las respectivar proyecciones
son funciones continuas y sobreyectivas, el resultado se sigue como corolario del teorema anterior.
recprocamente, si X, Y son conjuntos compactos, veamos que el espacio producto XY es compacto,
para esto empleamos el siguiente lema:
Lema 5.1.11. (Tubo): Considere el producto X Y con Y compacto. Si N X Y es un abierto el
cual contiene a {X
0
} Y , entonces N contiene alg un conjunto de la forma W Y , donde W es una
vecindad de X
0
Demostracion: Como {X
0
}Y N XY , con N abierto para cada Y N, existe un abierto basico
U
y
V
y
en XY , tal que, (x
0
, y) U
y
V
y
N, de este modo, la colecci on H = {U
y
V
y
: y Y } es un
cubrimiento por abiertos de X Y para el compacto X
0
Y , por compacidad, existe un subcubrimiento
nito {U
y1
V
y1
, ..., U
yn
V
yn
} de H para X
0
Y .
Sea W = U
y1
...
U
yn
109
110 Compacidad
110
Bibliografa
[1] Dugundji J.Topology. Allyn and Bacon Inc. Boston.
[2] Munkres J.R.Topology a rst course. Prentice-Hall, New Jersey.
[3] Berger M, Gostiaux B., Dierential Manifolds, Curves and Surfaces. Springer-Verlag, (1988).
[4] Lima L.E., Curso de An alise. Vol 2 IMPA, (1985).
[5] Palis Jr. J., Introdu c ao Aos Sistemas Din amicos. IMPA (1975).
[6] Spindler K., Abstract Algebra With Applications. Vol 1, Marcel-Dekker, (1994).
111