Ejercicios de Topologa

1. Si A y B son conjuntos y AB y BA son equipotentes entonces [A[ = [B[.

2. Si [A
0
[ = [B
0
[ y [A
1
[ = [B
1
[, entonces no necesariamente se tiene que
[A
0
B
0
[ = [A
1
B
1
[ .
3. Sean A, B y C cualesquiera conjuntos no vacos. Bajo que condicion se
tiene que

A
BC

A
B

A
C

?
4. Sea X un conjunto y denote por [X]
<
, la familia de todos los subconjun-
tos nitos de X. Cu al es la cardinalidad de [X]
<
?
5. Sean X un conjunto y un cardinal. Cual es la cardinalidad de [X]

?
(Bajo que denicion... cual es la denicion natural de [X]

?)
6. Un conjunto linealmente ordenado X es bien ordenado si y solo si no
contiene un subconjunto x
n
: n tal que x
n
> x
n+1
para cada n .
7. Para un conjunto parcialmente ordenado X existe un conjunto linealmente
ordenado Y X tal que cualquier cota superior de Y es un elemento de
Y .
8. Existe un particion T de
1
que tiene cardinalidad
1
y tal que cada uno
de sus elementos es no acotado en
1
.
9. Sea X un conjunto no vaco. Entonces una topologa sobre X es
f
=
U X : X U es nito . Al espacio (X,
f
) se le suele llamar es-
pacio conito.
10. Sea X un conjunto no numerable. Entonces

c
= U X : X U es a lo mas numerable
es una topologa sobre X. Al espacio (X,
c
) se le suele llamar espacio
conumerable. Es la familia

= U X : X U es innito
una topologa sobre X?
11. Sea X = 0, 1 y sea = , X, 0. Entonces es una topologa sobre
X y al espacio (X, ) se le conoce como espacio de Sierpi nski.
12. Decimos que un subconjunto de los naturales (positivos) es gordo si su
suma de recprocos diverge. Muestre que es posible dotar a los naturales
de una topologa de tal manera que los subconjuntos gordos de N se
1
correspondan con los densos de (N, ) .
1
Recuerde que un subconjunto D
de un espacio X se llama denso si para cada abierto U X se tiene que
U D ,= .
13. (a) Si

: I es una familia de topologas sobre un conjunto no

vaco X, entonces

I

es una topologa sobre X. Es

I

una topologa?
(b) Si

: I es una familia de topologas sobre un conjunto no

vaco X, entonces hay una unica topologa -mnima que contiene a
cada

para I y hay una -maxima topologa, unica, que esta

contenida en cada

, para cada I.
(c) Si X = 0, 1, 2 y
0
= , X, 0 , 0, 1 y
2
= , X, 0 , 1, 2,
encuentre las topologa de que habla la parte anterior.
14. Sea i : (X) (X) una funcion con las siguientes propiedades:
(a) i (X) = X,
(b) i (A) A,
(c) i (i (A)) = i (A) ,
(d) i (A B) = i (A) i (B) .
Demuestrese que A (X) : i (A) = A es una topologa sobre X
y que

A = i (A), para cada A (X) .
15. El interior

A de un conjunto A en un espacio topologico es el -maximo
conjunto abierto contenido en A.
16. Sea (X, ) un espacio. Entonces un subconjunto A de X es un conjunto
abierto si y solo si A =

A.
17. Sea (X, ) un espacio. Entonces un subconjunto A de X es un conjunto
cerrado si y solo si A = A.
18. Sea = U X : x
0
U . Esta es una topologa sobre cualquier
conjunto X tal que x
0
X. Muestre que cualquier x X x
0
es un
punto lmite de X y que X es la clausura de cualquier abierto no vaco.
19. Sean A y U dos subconjuntos de un espacio X siendo U abierto. Entonces
U A = U A.
1
La motivaci on para esta ultima pregunta es simple. Un resultado cl asico de la teora indica
que P (los primos) es un subconjunto gordo de . Intuitivamente, la gordura indica que ellos
conforman una buena tajada de . Una manera de hacer riguroso este ultimo comentario
es precisamente ofreciendo una topologa como se indica. En particular, sera interesante
tener una topologa donde, en alg un sentido, P pueda verse como el gordo universal de
. (Jose Hernandez Santiago)
2
20. Sea (X, ) un espacio. Un subconjunto U de un espacio X se llama abierto
regular si

U = U. Entonces

A es un abierto regular para cada A X.

21. Sean (X, ) un espacio y A X. Entonces A = X int (X A).
22. Sean (X, ) un espacio y A, B X. Entonces A B A B. De un
ejemplo que muestre que la igualdad puede no ser cierta.
23. Es cierto que si E es un subconjunto de un espacio topologico X se tiene
que

Ext E

E ,= ?
En caso de no ser cierto, halle una condicion suciente para que lo sea.
Aqu a Ext E se le llama exterior del conjunto E y se dene como el
interior de X E.
24. Sean (X, ) un espacio y F un subconjunto cerrado de X. Entonces
F = int (F) F y int (F) = int
_
int (F)
_
.
25. (Kuratowski) Aplicando alternativamente los operadores de cerradura y
complemento a un subconjunto A de un espacio topologico X se obtienen
a lo mas catorce diferentes conjuntos. Encuentrese ademas un conjunto
de reales con el cual uno obtenga exactamente los catorce conjuntos.
26. Sea A un subconjunto de un espacio X. Demuestre que son equivalentes
las siguientes armaciones.
(a) La frontera de A, denotada A, es un subconjunto nunca denso,
(b) Existe un abierto V X y un nunca denso C X tales que A =
V C,
(c) Existe un abierto U tal que A U y U A son ambos nunca densos.
27. El orden lexicograco en R
2
esta dado por:
a, b) x, y) si y solo si a < x o a = x & b y.
Considere la topologa inducida por el orden lexicograco en R
2
y en-
cuentre la clausura, el interior, los puntos lmite y los puntos aislados de
I = [0, 1] [0, 1].
28. Un subconjunto N de un espacio (X, ) es denso en ninguna parte si y solo
si para todo abierto no vaco U de X existe un abierto no vaco V U
tal que V N = .
29. La union de un conjunto co-denso y un conjunto denso en ninguna parte
es un conjunto co-denso. Note que la union de dos conjuntos co-densos no
es necesariamente un conjunto co-denso.
3
30. Cualquier subconjunto cerrado de R
2
(con su topologa usual) es la fron-
tera de alg un conjunto A R
2
.
31. Sea (X, ) un espacio topologico. Una familia / de subconjuntos de X
se llama localmente nita si para cada x X existe una vecindad U de
x tal que A / : U A ,= es nito. Una familia / de subconjuntos
de X se llama punto nita si A / : x A es nito para cada x X.
Toda familia que es localmente nita es tambien una familia punto nita
pero hay familias punto nitas que no son localmente nitas.
32. Si / es una familia localmente nita, entonces la familia
_
A : A /
_
tambien es localmente nita.
33. Existen familias / que no son localmente nitas pero que
_
A : A /
_
s
es localmente nita.
34. Existen familias / que sean punto nitas pero que
_
A : A /
_
no lo
sea?
35. Si / es una familia localmente nita entonces
_
/ =
_
_
A : A /
_
.
36. Si T es una familia de subconjuntos cerrados que es localmente nita,
entonces

T es un cerrado.
37. Supongase que ( es una familia de subconjuntos cerrados de un espacio
X tal que ( es punto nita y para cada H (, se tiene que
_
H =
_
_
H : H H
_
.
Entonces ( es una familia localmente nita.
38. Una cubierta abierta U de un espacio X es una cubierta normal si existe
una sucesion V
n
: n ) de cubiertas abiertas de X tales que V
0
es un
renamiento estrella de U y V
n+1
es un renamiento estrella de V
n
, para
cada n . Recuerde que W es un renamiento estrella de V si para
cada W W , existe un V V tal que
st(W, W ) =
_
U W : U W ,= V.
Si U es una cubierta normal de un espacio X, entonces U tiene un
renamiento abierto -discreto. (De hecho, con una hipotesis adicional
tambien tiene un renamiento localmente nito.)
4
39. Sea X un espacio tal que para cada x X y cada abierto U X tal que
x U, existe un abierto V X que contiene a x y tal que V U. Si
cada cubierta abierta de X tiene un renamiento localmente nito (que
consiste de conjuntos arbitrarios), entonces para cada cubierta abierta
U

: / del espacio X existe una cubierta cerrada localmente nita

F

: / tal que F

, para cada /.
40. Sea X un espacio topologico en el que cada punto forma un conjunto
cerrado. Demuestre que las siguientes armaciones son equivalentes.
(a) Cualquier subconjunto A de X es abierto en A.
(b) Para cualquier subconjunto A de X se tiene que: int(A) = implica
que A es cerrado.
(c) Para cualquier subconjunto A de X se tiene que: int(A) = implica
que A es discreto.
(d) A A es cerrado, para todo A X.
(e) Cualquier conjunto denso en X es abierto.
41. Sean B y B

bases para dos topologas y

sobre un conjunto X ,= .
Entonces las siguientes son equivalentes:
(a) es mas debil que

.
(b) Para cada x X y cada basico B B conteniendo a x existe un
basico B

tal que x B

B.
42. Sea ( una familia punto nita de conjuntos cerrados tal que ( contiene
innitos elementos y sea B una base para un espacio X, entonces B

=
B G : B B & G ( es tambien una base para la topologa de X.
43. Considere las siguientes colecciones de subconjuntos de R:
B
0
= (a, b) : a b ,
B
1
= [a, b) : a < b ,
B
2
= (a, b] : a < b ,
B
3
= B
0
B K : B B
0
, donde K =
_
1
n
: n N
_
,
B
4
= (a, +) : a R ,
B
5
= B : [R B[ < .
2
(a) Cada B
i
, para i 6 = 0, 1, 2, 3, 4, 5, es base para una topologa
sobre R. En especial, al espacio que resulta con la base B
1
le lla-
maremos recta de Sorgenfrey y lo denotaremos por R

.
(b) Compare las topologas resultantes.
2
Para mi es el primer ordinal innito y N es el conjunto de los enteros positivos; as
= {0} N.
5
(c) En clase vimos que la topologa usual es la que resulta de considerar
la base B
0
. Tambien notamos que esta, la topologa usual, tiene una
base numerable. Cuales de las otras topologas tienen tambien bases
numerables?
44. Cualquier espacio que tiene una base numerable para su topologa contiene
un subconjunto numerable que es denso.
45. Demuestre que la recta de Sorgenfrey R

es hereditariamente separable.
46. Construya un espacio Hausdor innito con un subconjunto denso, nu-
merable y que consiste de puntos aislados.
47. En R cada conjunto abierto es union a lo mas numerable de intervalos
abiertos y ajenos por pares.
48. En R los conjuntos abiertos son conjuntos de tipo F

. La familia de todos
los conjuntos de Borel en los reales puede ser representada como la union

<1
T

, donde T
0
es la familia de todos los conjuntos cerrados y T

consiste de o bien todas las uniones a lo mas numerables de miembros

de

<
T

para ordinales nones o todas las intersecciones a lo mas

numerables de miembros de

<
T

para ordinales pares . Las familias

T

, <
1
, tienen cardinalidad c. Deduzca de aqu que en la lnea real
hay conjuntos que no son conjuntos de Borel.
49. Existe una familiar funcion continua f : R R y un conjunto de Borel
B R de tal modo que (reriendose al ejercicio anterior) B T
1
T
0
y
f
1
[B] T
0
.
50. Sean X un espacio topologico y A X. Decimos que A es secuencialmente
abierto si siempre que x
n
: n ) es una sucesion de terminos en X
que converge a alg un punto a A se tiene que existe n
0
tal que
x
n
A para todo n n
0
. Similarmente decimos que A es secuencialmente
cerrado si contiene los lmites de todas sus sucesiones; es decir, siempre que
a
n
: n ) es una sucesion, con a
n
A para todo n , que converge a
un punto x X se tiene que x A.
(a) Cualquier subconjunto abierto es secuencialmente abierto.
(b) Cualquier subconjunto cerrado es secuencialmente cerrado.
(c) Hay espacios con subconjuntos secuencialemente cerrados que no
son cerrados?
(d) Las siguientes dos armaciones son equivalentes:
i. Todo subconjunto secuencialmente abierto es abierto,
ii. Todo subconjunto secuencialemnte cerrado es cerrado.
6
51. Un espacio X se llama secuencial si todo conjunto secuencialmente abierto
es abierto. Entonces un espacio X es secuencial si siempre que A X con
A ,= A se tiene que existe una sucesion a
n
: n ) de terminos en A que
converge a un punto x / A.
52. Sean X un espacio y A X. Defnase recursivamente:
A
(0)
= A,
A
(+1)
es igual al conjunto de x X para los cuales existe x
n
: n )
una sucesion de terminos en A
()
que converge a x, para cada <
1
,
Si
1
es un ordinal lmite, entonces A
()
=

<
A
()
.
Entonces X es secuencial si y solo si para cada B X se tiene que
B = B
(1)
.
53. Una familia innita / T(N) y de conjuntos innitos se llama familia casi
ajena si para cualesquiera dos A, B / se tiene que A B es nito. Lo
que sigue tiene mas sentido si se supone que / no es numerable. Defnase
dos espacios topologicos, el primero sera (/) cuyos puntos seran los
elementos de N /; las vecindades basicas de un punto n N seran
cualquier conjunto que contenga a n. Las vecindades basicas de a /
seran conjuntos de la forma a(aF), donde F es un conjunto nito tal
que a / F. Ahora tomese p / (/) y nuestro espacio X sera p (/)
las vecindades de p son conjuntos que dejan fuera solo a una cantidad nita
de elementos de / (esto es suciente para describirlas); las vecindades de
los puntos de (/) son como antes; es decir, (/) es un subespacio de
X.
(a) Hay familias casi ajenas de cardinalidad c. (Sugerencia: Piense en
sucesiones convergentes de racionales)
(b) Hay familias cai ajenas que son maximales respecto a esta propiedad.
A estas se les llama familias MAD.
(c) Los puntos de X forman conjuntos cerrados; o sea, cada punto de X
es cerrado.
(d) Cada una de las vecindades basicas antes descritas es un conjunto
abierto y cerrado a la vez.
(e) Reriendonos al ejercicio anterior, suponiendo que / es maximal y
trabajando en el espacio X, si A = N; entonces A = A
(2)
y hay un
punto en A
(2)
al cual ninguna sucesion de elementos en A converge.
3
(f) Son ambos espacios, (/) y X, secuenciales?
54. Si T es un ltro sobre un conjunto X y Y T, entonces T (Y ) es un
ltro sobre Y.
3
No ha sido posible, en ZFC, construir un espacio compacto y secuencial con un subcon-
junto A tal que A
(0)
, A
(1)
, A
(2)
, A
(3)
sean todos diferentes.
7
55. Sea X un espacio Hausdor innito. Demuestre que existe un ultraltro
de subconjuntos de X que contiene a todo subconjunto denso y abierto.
56. Si | es un ultraltro sobre X y f : X Y es una funcion, entonces
f

(|) =
_
V Y : f
1
[V ] |
_
es un ultraltro sobre Y .
57. Supongase que T y ( son ltros sobre X. Entonces
T ( = U X X : x X : y X : x, y) U ( T
es un ltro sobre X X.
58. Sea X un espacio. Un ltro T converge a un punto p X si y solo si para
cualquier ltro ( con ( T se tiene que p es un punto de acumulacion
de (.
59. Sea | un ultraltro libre sobre un conjunto innito X y sea
U
= |.
Entonces
U
es una topologa sobre X en la que los conjuntos nitos son
cerrados, ning un par de puntos tiene vecindades ajenas, pero no hay pun-
tos aislados en (X,
U
).
60. Si X es un espacio y A X, entonces un punto p X es elemento de A
si y solo si existe una base para ltro consistente de subconjuntos de A de
modo que el ltro que esta genera converge a p.
61. Si X es un espacio y A X, entonces un punto p X es elemento de
int (A) si y solo si A es elemento de cualquier ltro que converge a p.
62. Un espacio X tiene la propiedad de que dados dos puntos cualesquiera
existen vecindades ajenas de ellos si y solo si todo ltro sobre X tiene a
lo mas un punto de convergencia.
63. Sea X el espacio de Sierpi nski y sea 2 el espacio discreto 0, 1. Muestre
que si f es la funcion identidad f : X 2, entonces f no es continua pero
que f
1
s lo es.
64. Sea X un conjunto parcialmente ordenado por . Dena U X es abierto
si y solo si U satisface la siguiente condicion: x U & y x y U.
Verique que esto dene una topologa y que f : X X es continua si y
solo si f preserva el orden.
65. Sea X un espacio secuencial y Y un espacio arbitrario. Una funcion f :
X Y es continua si y solo si preserva lmite de sucesiones; es decir,
siempre que x
n
: n ) es una sucesion en X que converge a x X, se
tiene que f (x
n
) : n ) converge en Y a f (x) .
66. Si X y Y son espacios topologicos y f : X Y es una funcion entonces
f es continua si y solo si
_
f
1
[B]
_
f
1
[B] para cada B Y.
8
67. Sea f : X Y una funcion continua. Si B es un conjunto de tipo G

(o
de tipo F

), entonces f
1
[B] es del mismo tipo.
68. Si X y Y son espacios topologicos y f : X Y es una funcion entonces
decimos que la funcion f es abierta si para cada conjunto abierto U X
se tiene que f [U] es un subconjunto abierto de Y . Analogamente se dene
funcion cerrada. Dar ejemplos de los siguientes tipos de funciones:
(a) una funcion continua que no es una funcion abierta,
(b) una funcion continua que no es una funcion cerrada,
(c) una funcion abierta que no sea continua,
(d) una funcion cerrada que no sea continua,
(e) una funcion continua y abierta pero no un homeomorsmo,
(f) una funcion continua y abierta pero no cerrada.
69. Si X y Y son espacios topologicos y f : X Y es una funcion entonces
f es una funcion cerrada y continua si y solo si f
_
A

= f [A] para todo

A X.
70. Una funcion continua f : X Y es cerrada (abierta) si y solo si para
cada B Y y cada conjunto abierto (cerrado) A X tal que f
1
[B]
A, existe un conjunto abierto (un cerrado) C Y con B C tal que
f
1
[C] A.
71. Una funcion continua f : X Y es cerrada si y solo si para cada punto
y Y y cada conjunto abierto U X el cual contiene a f
1
[y], existe
una vecindad V de y en Y tal que f
1
[V ] U.
72. Si X y Y son espacios topologicos y f : X Y es una funcion biyectiva
entonces los siguientes son equivalentes:
(a) f es un homeomorsmo.
(b) f es continua y abierta.
(c) f es continua y cerrada.
(d) f
_
A

= f [A] para todo A X.

73. Si p es un polinomio entonces p : R R es una funcion continua y cerrada.
74. Si f : R R es una funcion biyectiva y continua, entonces f es una
funcion abierta.
75. Existe una funcion biyectiva y continua f : R
2
R?
76. Sea f : R
2
R
2
una funcion continua y biyectiva.
(a) Es f abierta?
9
(b) Y si R
2
tiene la topologa del orden lexicograco es f abierta?
77. Supongase que f : R
2
R
2
es una funcion continua que preserva conjun-
tos cerrados y discretos. Es f una funcion cerrada? Bajo algunas otras
condiciones se tiene que f es cerrada?
78. Sea p : X Y una funcion sobreyectiva que es abierta y es cerrada. Sea
: X [0, 1] una funcion continua y para cada y Y sea
(y) = sup
_

_
p
1
[y]
_
.
Entonces : Y [0, 1] es una funcion continua.
79. Cualquier espacio discreto y numerable es imagen continua de la recta de
Sorgenfrey R

; pero ning un espacio discreto y no numerable lo puede ser.

80. Sea X un espacio discreto y sea A(X) = X p, donde p / X y donde
cada x es abierto para x X y las vecindades de p son conjuntos de la
forma A(X) F, siendo F un conjunto nito que no contiene a p. Si un
espacio Y es imagen continua de A(X) bajo una funcion cerrada, entonces
Y es homeomorfo a A(Z), donde Z es un espacio discreto con [Z[ [X[.
81. Sea X un espacio discreto. Una funcion f : A(X) Y continua y
sobreyectiva es cerrada si y solo si para cada par de puntos y
0
, y
1
Y
existen abiertos U
0
, U
1
Y tales que y
i
U
i
, i 2, y U
0
U
1
= .
82. Si la composicion g f de funciones continuas f : X Y y g : Y Z
es cerrada (abierta), entonces la restriccion g f [X] : f [X] Z es
cerrada (abierta). Dar un ejemplo de funciones continuas f y g que no
sean cerradas (abiertas) pero que g f s es cerrada (abierta).
83. Si f : X Y es una funcion cerrada, entonces para cualquier subespacio
cerrado M de X se tiene que la restriccion f M es una funcion cerrada.
84. Una funcion f : X Y es continua si y solo si cada x X tiene una
vecindad U tal que f U es continua.
85. Sea X un espacio y sea T una familia de subconjuntos cerrados cuya union
es X. Bajo que condiciones una funcion f : X Y es continua si se
sabe que f F es continua para cada F T?
86. Si X es un espacio, un subconjunto Y de X se llama retracto si existe una
funcion continua f : X X tal que f f = f y f [X] = Y .
Las siguientes armaciones son equivalentes:
(a) Y es un retracto de X.
(b) Cualquier funcion continua denida en Y es continuamente extendible
a todo X.
(c) Existe una funcion continua r : X Y tal que r Y = id
Y
.
10
87. Sean X y Y dos espacios topologicos y sea A X Y . Sea ^
x
el ltro
de vecindades de x X y sean
A[x] = y Y : x, y) A
A[V ] =
_
tV
A[t] ,
donde V ^
x
. Demuestrese que si A X Y es cerrado, entonces
A[x] =

V Nx
A[V ]
y de un ejemplo que muestre que es posible que se tenga B X Y
abierto y
B[x] ,=

V Nx
B[V ] .
88. El conjunto

sS
A
s
, donde ,= A
s
X
s
, es cerrado en el producto

sS
X
s
si y solo si A
s
es cerrado en X
s
para todo s S.
89. Sean X
s
: s S una familia no vaca de espacios y : S S una
biyeccion. Entonces los espacios

sS
X
s
y

sS
X
(s)
son homeomorfos.
90. Sea X
s
: s S una familia no vaca de espacios. Denimos la topologa
caja sobre el producto cartesiano

sS
X
s
como la generada por los con-
juntos de la forma

sS
U
s
donde U
s
es un subconjunto abierto del espacio
X
s
. Cuando un producto de espacios con la topologa caja resulta un es-
pacio discreto?
91. Sea X
s
: s S una familia no vaca de espacios y sea x
n
: n ) una
sucesion de puntos en el producto

sS
X
s
. Entonces la sucesion
x
n
: n )
converge a un punto x

sS
X
s
si y solo si
s
(x
n
) converge a
s
(x)
para cada s S. Es esto cierto si cambiamos a la topologa producto
por la topologa caja?
92. Dado f R
X
se dene el soporte de f como el conjunto
supp(f) = x X : f (x) ,= 0 .
Considere R
X
= f R

: [supp(f)[ <
0
. Cual es la clausura de
R
X
con respecto a la topologa caja y a la topologa producto?
93. Sea X
s
: s S una familia no vaca de espacios. Si el espacio

sS
X
s
tiene una base de cardinalidad , entonces cada uno de los espacios X
s
tiene una base de cardinalidad a lo mas .
11
94. Sean X
s
: s S y Y
s
: s S familias de conjuntos y pada cada s S
sea f
s
: X
s
Y
s
una funcion. El producto de la familia f
s
: s S es la
funcion
f :

X
s
: s S

Y
s
: s S
denida por f(x)(s) = f
s
(x
s
), para todo s S y todo x X
s
: s S.
Si se consideran familias de espacios topologicos y funciones continuas,
entonces el producto de la familia de funciones es una funcion continua.
95. Para cada A, sean X

un espacio topologico, Y

un subespacio de X

y sea (

una familia de subconjuntos G

de X

tal que

(

= X

.
Ademas sea

U = U

X

: A para cada U (

,

(

=
_

U : U (

_
,

( =

_

: A
_
, Y =

A
Y

y X =

A
X

con
sus topologas producto. Entonces:
(a)

U es G

en X para cada A y todo U (

.
(b) X Y =


(.
96. Sean Y un conjunto, X
s
: s S una familia no vaca de espacios y sea
f
s
: s S una familia de funciones f
s
: Y X
s
.
(a) Hay una unica topologa mas gruesa sobre Y relativa a la cual cada
funcion f
s
es continua.
(b) Sea o
s
=
_
f
1
s
[U] : U es abierto en X
s
_
, y sea o =

sS
S
s
. En-
tonces o es una subbase para .
(c) Una funcion g : Z Y es continua, relativa a , si y solo si f
s
g es
continua para cada s o.
(d) Sea f : Y

sS
X
s
denida por la ecuacion
f (y) = f
s
(y) : s S)
y sea Z = f [Y ] como subespacio del producto

sS
X
s
. Entonces
la imagen de cada elemento de es un subconjunto abierto.
97. Sea Aun conjunto innito y X

: A una familia de espacios topologicos

tales que cada X

tiene mas de un punto. Para cada x

A
X

se
puede encontrar una sucesion z
n
: n ) de elementos de

A
X

que
converja a x pero que no sea trivial (es decir, que no exista n
0
tal que
z
n
= x para toda n n
0
).
98. Sea
1
: R R R la proyeccion en la primera coordenada.
(a) Sean X el subespacio (0 R) (R 0) de R R y considere
a g =
1
X. Entonces g es una funcion cerrada pero no es una
funcion abierta.
12
(b) Sean Y el subespacio (R
+
R)(R 0) de R R y sea h =
1
Y .
Entonces h no es ni abierta ni cerrada, pero es una funcion cociente.
99. El espacio 2

=

X

: M, donde X

= 0, 1 con topologa dis-

creta y [M[ = , contiene un subespacio discreto de cardinalidad .
100. El espacio 2

tiene una base de cardinalidad .

101. Sea X =

A
X

, donde X

es un espacio discreto nito con mas de un

punto, para cada A. Entonces X es homeomorfo al espacio 2

siendo
= [A[ .
102. Un espacio topologico X se dice que tiene la propiedad c.c.c.
4
si cualquier
familia de abiertos en X que no son vacos y son ajenos por pares es a
lo mas numerable. Observe que todo espacio separable tiene la propiedad
c.c.c.
103. Si X =

sS
X
s
y cada espacio X
s
es separable, entonces X tiene la
propiedad c.c.c. (sin importar la cardinalidad de S).
5
Concluya que 2

es
un espacio con la propiedad c.c.c. que no es separable si > c.
104. Un espacio topologico X tiene la propiedad c.c.c. si y solo si no hay suce-
siones de conjuntos abiertos U

: <
1
) tal que U

es un subconjunto
propio de U

, siempre que < .

105. En el espacio 2
1
, que tiene la propiedad c.c.c., existe una sucesion de
conjuntos abiertos U

: <
1
) tal que U

es un subconjunto propio de
U

, siempre que < .

106. Dena una relacion de equivalencia sobre R
2
haciendo:
x, y) u, v) si y solo si x +y
2
= u +v
2
.
Sea T la coleccion de clases de equivalencia con la topologa cociente
D
.
El espacio (T,
D
) es homeomorfo a un espacio familiar. Cual es?
107. Si una composicion de funciones continuas f g es una funcion cociente,
entonces f tambien es una funcion cociente.
108. Si para una funcion continua f : X Y existe un conjunto A X tal
que f [A] = Y y la restriccion f A : A Y es una funcion cociente,
entonces f es una funcion cociente.
4
Condicion de la Cadena Contable
5
Recuerde que por el Teorema de Hewitt-Marczewski-Pondiczery, si la cardinalidad de S es
mas que c, entonces X no es separable. La propiedad c.c.c. es curiosa respecto a los productos;
se puede establecer que si el producto de cualesquiera dos espacios con la propiedad c.c.c. es
un espacio con la propiedad c.c.c., entonces cualquier producto de espacios c.c.c. es tambien
un espacio c.c.c. Sin embargo, es independiente de ZFC si el producto de dos espacios c.c.c.
es un espacio c.c.c. (por ejemplo, es cierto bajo el Axioma de Martin y es falso si existen
lneas de Souslin.)
13
109. Sea q : X Y una funcion cociente. Si X es localmente conexo, entonces
Y es localmente conexo.
110. Para una relacion de equivalencia E sobre un espacio X las siguientes
armaciones son equivalentes:
6
(a) La proyeccion natural : X X/E es cerrada (abierta).
(b) Para cualquier subconjunto cerrado A de X, la union de todas las
clases de equivalencia que intersectan a A es un cerrado (abierto) de
X.
(c) Para cualquier conjunto abierto (cerrado) U de X la union de todos
las clases de equivalencia que estan contenidas en U es un abierto
(cerrado) en X.
111. Sean X un espacio secuencial y q : X Y una funcion cociente sobre un
espacio Y . Entonces Y es un espacio secuencial.
112. Sean L = R 0 y M = 0 1/i : i N. Sea Y = (L 0)
(M 1) con su topologa usual como subconjunto de R
2
. Sea q : Y X
la proyeccion en la primera coordenada, siendo X = 0 L. Considere a
X con la topologa cociente inducida por q. Sea A = X M.
(a) Entonces aunque X es un espacio secuencial se tiene que 0 A pero
no hay una sucesion de terminos en A que converja a 0.
(b) Sea Z = A0. Entonces Z como subespacio de X no es secuencial.
113. (Franklin) Si f es una funcion cociente de un espacio metrico X sobre
un espacio Y , entonces Y es un espacio secuencial. Recprocamente, si Y
es un espacio secuencial, entonces para alg un espacio metrico X hay una
funcion cociente f : X Y .
114. Una funcion cociente f : X Y es cerrada (abierta) si y solo si el conjunto
f
1
[f [A]] es cerrado (abierto) para todo cerrado (abierto) A X.
115. Sea T una descomposicion (particion) de un espacio X. Recuerde que
un subconjunto U de X se dice saturado (respecto de T) si siempre que
DU ,= implica D U, para cada D T. Tambien, una descomposion
T se llama semicontinua superiormente si para cada D T y cada abierto
U X que contiene a D, existe un abierto saturado V X tal que
D V U.
Demuestre que la proyeccion natural p : X T es cerrada si y solo si T
es semicontinua superiormente. Aqu se supone que T tiene la topologa
cociente.
6
X/E es una notacion usual para denotar al conjunto cociente; es decir, al conjunto de
clases de E-equivalencia.
14
116. Si A X, una retraccion de X sobre A es una funcion continua r : X A
tal que r (a) = a para cada a A. Cada retraccion es una funcion cociente.
117. Sea X

J
una familia no vaca de espacios y para cada J sea
p

: X
a
Y una funcion, donde Y es un conjunto no vaco.
(a) Hay una unica topologa mas na sobre Y relativa a la cual cada
p

es continua.
(b) Una funcion f : Y Z es continua relativa a si y solo si f p

es
continua para cada J.
118. Sea (X, ) un espacio topologico con [[ <
0
. Entonces X contiene un
subespacio conexo que es a la vez abierto y cerrado.
119. Son conexos los siguientes subespacios de R
2
?
(a) X = x, y) : y = 0
_
x, y) : x > 0 & y =
1
x
_
,
(b) Y = x, y) : x = 0
_
x, y) : x ,= 0 & y = sin
_
1
x
__
.
120. Sean y

dos topologas sobre X ,= tales que

. Que implica-
ciones se pueden vericar respecto a la conexidad de X con respecto a las
dos topologas?
121. Si A
n
: n es una familia de subconjuntos conexos de X tales que
A
n
A
n+1
,= para cada n . Que se puede decir de la conexidad de

n
A
n
?
122. Es cierto que si X es conexo entonces para cualquier subconjunto propio
y no vaco A se tiene que A ,= ? Que se puede decir del recproco?
123. Puede S
1
ser homeomorfo a alg un subespacio de R?
124. Sea X la gura de 8 con su topologa usual.
(a) Existe una topologa contenida en la topologa usual de R de modo
que con esta topologa R sea homeomorfo a X?
(b) Existe una topologa contenida en la topologa usual de R de modo
que alg un cociente de esa topologa sea homeomorfo a X?
125. Dotese al conjunto de los n umeros reales de una topologa Hausdor menos
na que la usual, y de otra mas na que la usual, de tal forma que en ambos
casos R siga siendo conexo.
126. Considere a R

con la topologa de la caja. Para responder sobre la conexi-

dad de este espacio analice el conjunto de todas las sucesiones acotadas
de n umeros reales.
15
127. Si X y Y son espacios conexos, A X y B Y son subconjuntos propios,
entonces X Y (AB) es tambien un espacio conexo. Es valido el
resultado analogo para conexidad por trayectorias?
128. Sea X un espacio conexo y C X un cerrado y conexo. Supongase que
X C = V W, siendo V y W ajenos, no vacos, conexos y abiertos en
X C. Demostrar que C V es un conexo cerrado.
129. Demuestre el teorema del valor intermedio: si f : [a, b] R es una funcion
continua y f (a) < f (b), entonces para todo R tal que f (a) < < f (b)
existe x [a, b] tal que f (x) = .
130. Todo espacio ordenado, separable y conexo tiene una base numerable.
131. Sea (X, d) un espacio metrico conexo. Entonces para todo a, b X y todo
> 0 existen x
0
, x
1
, . . . x
n
, para alguna n N, tales que x
0
= a, x
n
= b
y d(x
i
, x
i+1
) < para toda i < n.
132. Sera cierto que el hecho que todo intervalo en R es un conjunto conexo
implica el Axioma del Supremo?
133. Como seran las componentes conexas de un espacio: abiertas, cerradas,
etc.? Que pasa si ademas agregamos que el espacio es localmente conexo?
134. Sea L = [0, 1)
1
con la topologa del orden lexicograco. Este espacio
se conoce como la lnea larga. Que se puede decir sobre la conexidad y
la conexidad por trayectorias de L? Puede encajarse L en R?
135. Existira un subconjunto de R
2
que sea conexo por trayectorias pero que
no sea localmente conexo en ninguno de sus puntos?
136. Sea X un espacio T
0
y sea B una base para la topologa de X. Entonces
[X[ 2
|B|
.
137. (a) Un espacio conexo y no indiscreto con dos puntos es un espacio T
0
.
(b) Considere la familia E

: A, [A[ = , cada E

es un espacio
conexo de dos puntos y no indiscreto. Sea E

=

A
E

. Entonces
X es un espacio T
0
con una base de cardinalidad a lo mas si y solo
si X es homeomorfo a un subespacio de E

.
138. En un espacio X que es T
1
, cualquier vecindad de un punto lmite (es decir,
de A A) de un conjunto A contiene innitos puntos de A. Tambien, el
conjunto de todos los puntos lmite de A es un conjunto cerrado.
139. Sea R/Q el espacio cociente que resulta al identicar los racionales en
un solo punto. R se considera con la topologa usual. Que axiomas de
separacion satisface R/Q?
16
140. Existe un espacio Z con tres puntos y tres abiertos de modo que para
cualquier espacio X existe un cardinal y un subespacio de Z

que es
homeomorfo a X. Se puede decir coloquialmente que con tres puntos y
tres abiertos basta.
141. Sea f : X Y una funcion continua, donde Y es un espacio Hausdor.
Entonces
x, y) X Y : y = f (x)
es un subconjunto cerrado de X Y.
142. Cualquier retracto de un espacio Hausdor es cerrado.
143. Un espacio X es un espacio de Hausdor si y solo si = x, x) : x X
es cerrado en X X.
144. Si X es un espacio Hausdor y D es un subconjunto denso de X, entonces
[X[ 2
2
|D|
.
145. Sea (X, ) un espacio toplogico Hausdor. Puede tenerse entonces que
[[ =
0
?
146. Si X es un espacio Hausdor y c es una familia de subespacios de X,
entonces Y =

c con la topologa inducida por X es homeomorfo a un
subespacio cerrado del producto

U : U c.
147. Sea X un espacio T
1
y sea T una particion de X consistente de conjuntos
cerrados. Entonces el espacio cociente X/T es un espacio T
1
.
148. Sea K =
_
1
n
: n N
_
y sea X el conjunto R con la topologa gene-
rada tomando como abiertos basicos a los siguientes: Cualquier intervalo
abierto (a, b) y cualquier conjunto de la forma (a, b) K. Entonces X con
esa topologa es un espacio Hausdor que no es regular.
149. Debe ser normal un espacio T
1
con exactamente un punto no aislado?
150. Si X es un espacio Hausdor y el conjunto de puntos que no son aislados
es nito. Sera X normal?
151. Cierto o falso: cualquier espacio Hausdor y numerable es normal.
152. Cierto o falso: cualquier espacio regular y numerable es normal.
153. Un subconjunto cerrado B de un espacio normal X es un conjunto G

si
y solo si existe una funcion continua f : X R tal que
B = x X : f (x) = 0 .
154. Un espacio regular X con una base numerable es un espacio perfectamente
normal (es decir, es un espacio normal y todo cerrado es un conjunto G

).
7
7
Los espacios perfectamente normales tambien se les conoce como espacios T
6
.
17
155. Un espacio X que es un espacio T
1
es tambien un espacio completamente
regular si y solo si existe una base B para la topologa de X que satisface
las siguientes condiciones:
(a) Para todo x X y para todo U B que contiene a x existe V B
tal que x / V y U V = X.
(b) Para todo U, V B que satisfacen U V = X, existen U
0
, V
0
B
tales que X V U
0
, X U V
0
y U
0
V
0
= .
156. Un espacio X es completamente (o hereditariamente) normal si cualquier
subespacio es normal. Un espacio T
1
X es completamente normal si y
solo si para cualquier par de conjuntos A, B X tales que A B = y
A B = (es decir, que estan separados), existen vecindades abiertas de
ellos que son ajenas.
157. Un espacio perfectamente normal es un espacio hereditariamente normal.
158. Si un producto X Y de espacios X y Y es hereditariamente normal,
entonces o bien Y es perfectamente normal o cada subespacio numerable
de X es cerrado.
159. Sean X un espacio normal y F X que es cerrado. Entonces cualquier
funcion continua f : F [0, 1]
n
puede ser continuamente extendida a X.
160. Un espacio X que es T
1
es un espacio normal si y solo si para cualquier
cubierta abierta U
0
, U
1
, . . . , U
n
existe una cubierta abierta
V
0
, V
1
, . . . , V
n

tal que para cada i n se tiene que V

i
U
i
.
161. Si X es un espacio T
1
que es la union nita de una familia de subespacios
cerrados y normales, entonces X es normal.
162. Todo conjunto F

de un espacio normal es un subespacio normal.

163. Sean X
0
X
1
X
n
una sucesion de espacios, donde cada X
n
es un subespacio cerrado de X
n+1
. Sea X =

n
X
n
. Supongase que
U X se dene como abierto si y solo si U X
n
es abierto en X
n
para
cada n . La topologa as obtenida se llama la topologa coherente de
X con los subespacios X
n
.
(a) Si X tiene la topologa coherente con una sucesion de espacios X
0

X
1
X
n
, entonces cada X
n
es un subespacio de X.
(b) Si cada subespacio X
n
es normal, entonces X mismo es normal.
164. Si J es no numerable entonces R
J
no es un espacio normal.
165. Existen un espacio normal X, un espacio T
1
que no es Hausdor Y y una
funcion continua, abierta y sobreyectiva f : X Y . Cuales son?
18
166. Si X es cero dimensional y cada conjunto G

es abierto, entonces todo

subespacio de tama no
1
es normal.
167. Sean
0
y
1
dos topologas sobre X. Si X es Hausdor y compacto con
ambas topologas, entonces o bien
0
=
1
o ellas no son comparables.
168. Un espacio topologico X se llama localmente numerable si cada uno de sus
puntos tiene una vecindad (abierta) numerable. Demuestre que un espacio
regular y localmente numerable es un espacio completamente regular y
totalmente disconexo (de hecho, cero dimensional).
169. Todo subconjunto compacto de un espacio metrico es acotado con esa
metrica y es tambien cerrado. Encuentre un espacio metrico en el cual no
todo subconjunto cerrado y acotado es compacto.
170. Considere el espacio producto X Y donde Y es compacto. Si N es un
conjunto abierto de X Y tal que x
0
Y N, para alg un x
0
X,
entonces existe una vecindad W de x
0
tal que N W Y .
171. Sea f : X Y , siendo Y compacto y Hausdor. Entonces f es continua
si y solo si la graca de f,
G
f
= x, f (x)) : x X ,
es un subconjunto cerrado de X Y .
172. Sea p una funcion continua suprayectiva y cerrada de X en Y tal que
p
1
(y) es compacto para cada y de Y . Pruebe que si Y es compacto,
entonces X es compacto.
173. Si dos espacios compactos de Hausdor son equipotentes y tienen precisa-
mente un punto no aislado, entonces ellos son homeomorfos.
174. Un espacio Hausdor X es compacto si y solo si todo subconjunto innito
tiene un punto de acumulacion completo. Recuerde que x X es punto
de acumulaci on completo de A X si [A[ = [A V [ para cada vecindad
V de x.
175. Sea X un espacio compacto y Hausdor. Sea / una familia de subcon-
juntos cerrados y conexos de X la cual esta linealmente ordenada por la
inclusion. Entonces Y =

/ es conexo y no vaco.
176. Si X es Hausdor y compacto, K X es cerrado y p X K, entonces
existen A y B que son cerrados G

en X tales que p A, K B y
A B = .
177. Se dice que un espacio X tiene estrechez numerable si siempre que A X
y x A existe B A numerable y tal que x B.
(a) Si X es un espacio secuencial, entonces X tiene estrechez numerable.
19
(b) Hay espcios con estrechez numerable que no son secuenciales.
(c) Si X es un espacio linealmente ordenado y tiene estrechez numerable,
entonces X es un espacio primero numerable.
178. Sean X un espacio Hausdor y Y un espacio regular, f : X Y una
funcion. Sea A X denido por: a A si y solo si lim
xa
f(x) existe
pero es diferente a f(a). Defnase : X Y por
(x) =
_
lim
zx
f (z) , si x A
f (x) , si x X A.
Demuestre que:
(a) es continua en A,
(b) es continua en todo punto en el que f es continua,
(c) si Y es un espacio metrico y A
n
= x A : d(f(x), (x))
1
n
,
entonces A
n
es discreto.
(d) si Y es un espacio metrico y segundo numerable, entonces A es a lo
mas numerable.
179. Sea C
p
(I, I) el conjunto de funciones continuas del intervalo I = [0, 1]
hacia s mismo con la topologa de la convergencia puntual, entonces
(a) C
p
(I, I) no es primero numerable,
(b) C
p
(I, I) es denso en el producto de c copias del intervalo [0, 1] ,
(c) todo punto de C
p
(I, I) es un conjunto de tipo G

.
180. (Lema de Alexander) Si un espacio tiene una subbase o tal que cualquier
cubierta de X por elementos de o tiene una subcubierta nita, entonces
X es compacto.
181. El conjunto ternario de Cantor es el que se obtiene de la construccion
clasica removiendo el intervalo de enmedio de una sucesion de interva-
los cuyas longitudes tienden a cero. El conjunto ternario de Cantor es
homeomorfo a 2

con la topologa producto.

182. El subespacio de los n umeros irracionales es homeomorfo a

.
183. [0, 1]
2
es imagen continua de [0, 1] asimismo R
n
es imagen continua de R.
184. Es R

, con la topologa producto, imagen continua de R?

185. Cualquier cubo de Tychono [0, 1]

es la imagen continua de un conjunto

generalizado de Cantor 2

.
186. Sean X un espacio topologico de Hausdor y f : X R una funcion
continua tal que, para todo > 0, existe un compacto C X tal que para
todo x X C se verica que f (x) .
20
(a) Demuestrese que existe un punto a X tal que f (a) f (x) para
todo x X.
(b) Demuestrese que X debe ser localmente compacto.
(c) Demuestrese que x X : f (x) = f (a) es compacto, donde a es el
punto cuya existencia se arma antes.
187. Sean X, Y espacios topologicos y C
K
(X, Y ) el espacio de funciones con-
tinuas de X a Y con la topologa compacto abierta; es decir, la generada
por los conjuntos M (K, U) C
K
(X, Y ), donde f M (K, U) si y solo si
f [K] U, siendo K X un compacto y U Y un abierto.
(a) Sean / una familia de compactos de X que contiene una base de
vecindades en cada punto de X y B una subbase de los abiertos de
Y . Entonces
M (K, U) : K / & U B
es una subbase de la topologa compacto abierta.
(b) Sea X localmente compacto y Hausdor. Entonces la funcion evalu-
acion
e : C
K
(X, Y ) X Y,
dada por e (f, x) = f (x), para cada f, x) C
K
(X, Y ) X, es
continua.
188. Use el espacio 2
c
para obtener un subespacio denso y numerable que no
tiene una base local numerable en ninguno de sus puntos.
189. Muestre que el conjunto
_
x
2
: (n )
_
[x
n
[
1
n+1
__
es un subcon-
junto compacto de
2
con su norma usual.
190. Sean X un espacio y F X, dena
(F, X) = min[B[ : B es una base de vecindades para F +,
este n umero cardinal se llama el caracter de F en X. Dena tambien
(F, X) = min
_
[([ : ( es una fam. de abiertos tal que F =

(
_
+,
este n umero cardinal se llama el pseudocaracter de F en X.
(a) Si f : X Y es un homeomorsmo y F X, entonces (F, X) =
(f [F] , Y ) y (F, X) = (f [F] , Y ) .
(b) Existen espacios X tales que para cada x X se tiene que
(x , X) < (x , X) .
(c) Si X es un espacio compacto, entonces (F, X) = (F, X) para cada
F X.
21
191. Si X es un espacio compacto y existe una familia ^ de subconjuntos de
X (no necesariamente abiertos) tal que para cada abierto U y cada punto
x U existe N ^ tal que x N U, entonces X tiene una base B tal
que [B[ [^[ .
192. Un espacio linealmente ordenado que es secuencial es un espacio primero
numerable.
193. (Doble crculo de Alexandro) Los puntos de X son los puntos de dos
crcunferencias concentricas S
0
(la interior) y S
1
(la exterior). Una vecin-
dad abierta de un punto x S
0
es la union de un intervalo en S
0
que con-
tiene a este punto y la proyeccion de este intervalo sobre S
1
a excepcion
de la proyeccion del punto x. Todos los puntos de S
1
son declarados
aislados. Entonces X es un espacio Hausdor compacto sin una base nu-
merable pero tiene una base numerable en cada uno de sus puntos y es la
union de dos de sus subespacios metrizables.
194. (El espacio de Kelly) Sea X el conjunto de todas las funciones no de-
crecientes del intervalo [0, 1] en s mismo. Considere en X la topologa
de la convergencia puntual. Entonces X no es metrizable, es separable,
compacto y primero numerable.
195. (Espacio dos estrellas de Alexandro) Considere X
0
= [0, 1) 0 y X
1
=
(0, 1] 1. Sea X = X
0
X
1
con la topologa generada tomando como
base de abiertos los conjuntos de la forma
W
1
= [a, b) 0 (a, b) 1 y W
2
= (a, b) 0 (a, b] 1 .
Entonces X tiene las siguientes propiedades:
(a) X es Hausdor,
(b) X es compacto,
(c) X admite una funcion perfecta (i.e. sobreyectiva, cerrada y con bras
compactas) sobre un segmento de la lnea real,
(d) X es hereditariamene Lindelof,
(e) X es perfectamente normal,
(f) X es primero numerable,
(g) X es separable,
(h) X no tiene base numerable,
(i) X no es metrizable,
(j) cualquier subespacio metrizable de X es a lo mas numerable,
(k) X X no es completamente normal.
196. Si X y Y son hereditariamente separables, es X Y hereditariamente
separable?
22
197. Sea la topologa generada sobre R por intervalos de la forma [a, b), donde
a Q y b R. Denotese por Y al espacio resultante.
(a) Es Y
2
un espacio de Lindelof?
(b) Existe una funcion continua y sobreyectiva f : Y N? Aqu N
tiene su topologa usual; es decir, discreta.
(c) Existe una funcion continua y sobreyectiva f : Y R si R tiene la
topologa discreta?
198. Un espacio Hausdor se llama numerablemente compacto si cualquier cu-
bierta abierta numerable tiene una subcubierta nita.
Todo espacio compacto es numerablemente compacto; pero hay espacios
numerablemente compactos que no son compactos. Uno de ellos es
1
con
su topologa del orden.
199. Un espacio X es numerablemente compacto si y solo si toda familia nu-
merable de conjuntos cerrados con la propiedad de la interseccion nita
tiene interseccion no vaca.
200. Las siguientes proposiciones son equivalentes para un espacio Hausdor:
(a) El espacio X es numerablemente compacto.
(b) Cualquier familia localmente nita de subconjuntos no vacos es nita.
(c) Cualquier familia localmente nita de subconjuntos de X consistentes
de un punto es nita.
(d) Cualquier subconjunto innito tiene un punto de acumulacion.
(e) Todo subconjunto innito numerable de X tiene un punto de acu-
mulacion.
201. Si X es numerablemente compacto y Y es compacto, entonces X Y es
numerablemente compacto.
8
202. Sea (X, d) un espacio metrico compacto. Supongase que para todo a, b X
y todo > 0 existen x
0
, x
1
, . . . x
n
, para alguna n N, tales que x
0
= a,
x
n
= b y d(x
i
, x
i+1
) < para toda i < n. Entonces X es un espacio
conexo. (Ver ejercicio 131.)
203. Un espacio Hausdor X es secuencialmente compacto si toda sucesion en
X tiene una subsucesion convergente.
Cualquier espacio secuencialmente compacto es numerablemente compacto.
204. Si X es primero numerable y numerablemente compacto, entonces X es
secuencialmente compacto.
8
Hay ejemplos de espacios numerablemente compactos cuyo producto no es numerable-
mente compacto.
23
205. En un espacio Hausdor secuencial y compacto, la cardinalidad de la
clausura de un subconjunto numerable no excede c.
206. (El Lema del n umero de Lebesgue) Sea / una cubierta abierta de un
espacio metrico (X, d). Si X es compacto, existe > 0 tal que para cada
subconjunto de X teniendo diametro menor que esta contenido en un
elemento de /.
207. Si X es un espacio Hausdor compacto y [X[
1
, entonces X es primero
numerable en al menos un punto.
208. Si es un cardinal, una sucesion x

: < ) en un espacio X se llama

sucesion libre de longitud si para cada < se tiene que
x

: < x

: < = .
Si X es un espacio compacto con estrechez numerable, entonces no tiene
una sucesion libre de longitud
1
.
209. Supongase que X es un espacio Hausdorrf y que toda cubierta abierta de
X que es punto numerable es numerable. Es X seprable?
210. El producto cartesiano de una familia numerable de espacios secuencial-
mente compactos es secuencialmente compacto.
211. Si X es numerablemente compacto y Y es secuencialmente compacto,
entonces X Y es numerablemente compacto.
212. Para un espacio metrico las siguientes armaciones son equivalentes:
(a) X es compacto.
(b) X es numerablemente compacto.
(c) X es secuencialmente compacto.
213. Es cierto que si X es un espacio metrico compacto y conexo en el cual
la cerradura de cada bola abierta es la bola cerrada, entonces toda bola
abierta es conexa?
214. Sea G un subgrupo del grupo aditivo de R. Entonces G es denso en R si
y solo si no existe g G tal que G = ng : n Z.
215. Cierto o falso: Cualquier compacto hereditariamente separable tiene una
-base numerable. Una -base es una familia J de abiertos tal que
cualquier abierto no vaco del espacio contiene un elemento de J.
216. Tal y como se dene una -base (global) se puede denir -bases locales:
Una -base local para x X es una familia ( de subconjuntos abiertos de
X tales que siempre que U sea un abierto tal que x U se tiene que U V ,
para alg un V (. Se dice que un espacio X tiene -caracter numerable
si cada en cada uno de sus puntos tiene una -base local numerable.
24
Si X es compacto y no tiene -caracter numerable, entonces X tiene una
sucesion libre de longitud
1
.
217. Si X es secuencial y compacto, U es un conjunto no vaco que es abierto
en X, entonces existe un conjunto F U el cual es cerrado en X, es G

en X y [F[ c.
218. Si X es Hausdor, secuencial y compacto, entonces X tiene un subcon-
junto denso en el que cada punto tiene una base de vecindades cuya car-
dinalidad no excede c.
219. Si se supone CH, entonces cualquier espacio secuencial y compacto es
primero numerable en un conjunto denso de puntos.
220. Un producto topologico

I
X

es localmente compacto si y solo si X

es localmente compacto para todo I y existe un conjunto nito J I

tal que X

es compacto para todo I J.

221. Cualquier subespacio localmente compacto M de un espacio Hausdor X
es un subconjunto abierto de la clausura M en el espacio X; es decir,
puede representarse en la forma F U donde F es un cerrado en X y U
es un abierto en X.
222. Sea A un conjunto no numerable con la topologa discreta y sea X su
lindelocacion por un punto; o sea, X = A , los puntos de A son
aislados en X y las vecindades de son los subconjuntos de X que lo
contienen y tienen complemento a lo mas numerable. Considere tambien
a Y = A con la topologa discreta.
(a) Todo subconjunto de tipo G

de X es abierto. A los espacios con

esta propiedad se les conoce como P-espacios.
(b) Use el punto anterior para deducir que no hay sucesiones no triviales
en X que sean convergentes.
(c) X no es secuencial.
(d) La funcion identidad de X en Y no es continua pero s es secuencial-
mente continua.
223. Sea (X,
X
) un espacio topologico y Y un conjunto. Dena una topologa

f
sobre Y tomando como subbase a la familia f (U) : U
X
.
(a) La funcion f de (X,
X
) en (Y,

Y
) es abierta. Sera continua?
(b) Sean X = [1, 1] [2, 3] como subespacio de R y Y el subconjunto
de R
2
formado por la union de los segmentos [1, 1] 0 y 0
[1, 1]. Dena una funcion que haga corresponder linealmente [1, 1]
con el primer segmento y [2, 3] con el segundo. Sea

f
la topologa
asociada con f como se denio arriba. Es f continua respecto a
estas topologas?
25
(c) Es siempre posible tener una topologa sobre Y de modo que para
una funcion dada f : X Y de un espacio X en el conjunto Y , esta
funcion es continua y abierta?
224. Un espacio completamente regular es pseudocompacto si cualquier funcion
continua f : X R es acotada.
(a) Encuentre un espacio pseudocompacto que no sea compacto.
(b) Cualquier espacio metrico y pseudocompacto es compacto.
225. Un espacio completamente regular es pseudocompacto si y solo si toda
base de ltro que es numerable y consiste de conjuntos abiertos tiene un
punto de acumulacion.
226. Para un espacio metrico (X, d) son equivalentes:
(i) X es segundo numerable
(ii) X es de Lindelof
(iii) X es separable.
227. La imagen continua de un espacio paracompacto no necesariamente es
paracompacto.
228. Un espacio Hausdor es metacompacto si cada cubierta abierta de X tiene
un renamento que cubre X y que ademas es abierto y puntonito.
(a) Si | es una cubierta abierta y punto-nito de X, entonces | tiene
una subcubierta irreducible 1; es decir, ninguna subcoleccion propia
de 1 cubre X.
(b) Un espacio Hausdor numerablemente compacto y metacompacto es
compacto.
229. Sea X un espacio paracompacto. Si cualquier subespacio abierto de X es
paracompacto, entonces cualquier subespacio de X es paracompacto.
230. Supongase que X es un espacio separable tal que cualquier cubierta abierta
tiene un renamiento que es punto-numerable. Entonces X es un espacio
de Lindelof.
231. (a) Cualquier espacio paracompacto con un subespacio denso de Lindelof
es de Lindelof.
(b) Un espacio paracompacto y separable es de Lindelof.
(c) Si X es Lindelof y F es un subconjunto cerrado de X que no es de
tipo G

y el cual esta contenido en X X, entonces X F no es

paracompacto.
26
232. Si X es un espacio paracompacto con la propiedad de que toda familia de
subconjuntos abiertos, no vacos y ajenos por pares es numerable; entonces
X es un espacio de Lindelof.
233. Sea X localmente compacto, paracompacto y Hausdor. Muestre que
existe un subconjunto clopen no vaco y -compacto (posiblemente X,
mismo).
234. Dar un compacto que no sea imagen continua de un espacio 2

para alg un
.
235. Si X es un espacio compacto y X X X es completamente normal,
entonces X debe tener una base numerable.
236. Un espacio separable, metrizable y cero dimensional es homeomorfo a un
subespacio de

.
237. Cualquier espacio metrico y compacto es imagen continua del conjunto de
Cantor.
238. Demuestre que si X es un espacio metrico numerable y sin puntos aislados,
entonces X es homeomorfo a Q, los racionales con su topologa usual.
239. Un espacio metrico compacto es la imagen continua del conjunto de Cantor
bajo una funcion irreducible si y solo si dicho espacio no tiene puntos
aislados. Recuerde que una funcion sobreyectiva f : X Y se llama
irreducible si no existe F X cerrado tal que f F : F Y siga siendo
sobreyectiva.
240. Sea f : R R una funcion cualquiera. Entonces el conjunto de puntos
donde f es continua es un conjunto G

. Concluya que no existe una

funcion continua exactamente sobre Q. Hay una que sea continua en
R Q?
241. Sean X un espacio metrico, A X, Y un espacio metrico completo y
f : A Y una funcion continua. Entonces existen un conjunto B que
es de tipo G

y una funcion continua f : B Y tales que A B y

f A = f.
242. Es posible cubrir R
2
con las gracas de una cantidad numerable de fun-
ciones continuas o las inversas (en caso que existan) de funciones contin-
uas?
243. Un espacio metrico X es totalmente acotado si para todo > 0 existe un
conjunto nito F X tal que X =

B(x; ) : x F .
Un espacio metrico X es compacto si y solo es completo y totalmente
acotado.
244. La completacion de un espacio metrico (X, d) es un espacio compacto si y
solo si X es totalmente acotado.
27
245. Toda metrica sobre un espacio compacto es completa.
246. Un espacio metrico localmente compacto tiene una base que es localmente
numerable; es decir, cada punto tiene una vecindad la cual, como sub-
espacio de X, es segundo numerable.
247. Un espacio metrizable es localmente compacto y segundo numerable si
y solo si es homeomorfo a un subespacio abierto y denso de un espacio
compacto metrizable.
248. Dar un ejemplo de un subespacio localmente compacto X de R cuyo com-
plemento R X no es localmente compacto.
249. Se dice que dos metricas d
0
y d
1
sobre un conjunto X son equivalentes si
ellas generan la misma topologa sobre X.
Dos metricas d
0
y d
1
sobre un conjunto X son equivalentes si y solo si
ellas inducen las mismas sucesiones convergentes.
250. Un espacio X es un espacio de Baire si

n
N
n
tiene interior vaco para
cualquier coleccion N
n
: n de conjuntos cerrados con interior vaco.
Cualquier subespacio abierto de un espacio de Baire es un espacio de Baire.
251. Si cada punto de X tiene una vecindad que es un espacio de Baire, entonces
X es un espacio de Baire.
252. Si Y es un subespacio G

de un espacio Hausdor y compacto o un espacio

metrico completo, entonces Y es un espacio de Baire.
253. Todo espacio pseudocompacto es un espacio de Baire.
254. Es R

un espacio de Baire?
255. Es R

un espacio de Baire? Aqu es un cardinal innito.

256. Si A es cualquier conjunto G

entonces existe una funcion f : R R que

es continua exactamente sobre A.
257. Sea D() el espacio discreto de cardinalidad
0
. Sea B() =
[D()]
0
. Entonces lo siguiente dene una metrica sobre B(): Para
cada x, y B() sea
(x, y) =
_
1
k+1
, si x ,= y & k = minn : x(n) ,= y (n)
0, si x = y.
A B() con esta metrica se le llama el espacio de Baire de peso . Una
sucesion x
m
: m ) en B() converge a un punto x B() si y solo
si para cada i existe k
i
tal que para cada m k
i
se tiene que
x(j) = x
m
(j) para cada j i.
28
258. Sea d la metrica discreta sobre D() y sea
(x, y) =

n
1
2
n
d (x(n) , y (n)) ,
para cada x, y B(). Se sabe que dene otra metrica sobre B().
Entonces una sucesion x
m
: m ) en B() converge a un punto x
B() si y solo si para cada i existe k
i
tal que para cada m k
i
se tiene que x(j) = x
m
(j) para cada j i; es decir, la misma condicion
del ejercicio anterior. Concluya que y son metricas equivalentes sobre
B() .
259. El espacio de Baire B() es un espacio metrico completo que es homeo-
morfo al subespacio de los n umeros irracionales de R.
260. Si X, Y son espacios metricos y f : X Y es una funcion continua
que transforma sucesiones de Cauchy en sucesiones de Cauchy. Es f
uniformemente continua?
261. Si X es un espacio metrico en el que para toda pareja de abiertos ajenos
U y V se tiene que las cerraduras de U y V son ajenas; entonces X es
discreto.
262. Para toda cubierta nita T formada por conjuntos cerrados de un espacio
metrico compacto X hay un n umero > 0 tal que para cada A X
que tiene diametro a lo mas , la familia F T : F A ,= tiene inter-
seccion no vaca.
263. Una isometra de un espacio metrico compacto X en s mismo es sobreyec-
tiva. Es la misma armacion cierta para un espacio metrico completo?
264. Si (X, d) es un espacio metrico y compacto y f : X X una funcion
sobreyectiva tal que d (f (x) , f (y)) d (x, y) para cada par x, y X,
entonces f es una isometra.
265. Salvo homeomorsmo, el conjunto de Cantor es el unico espacio cero di-
mensional, metrizable, compacto y sin puntos aislados.
266. El espacio X del ejercicio 53 es la compactacion por un punto del espacio
(/).
267. Sea X un espacio metrizable y localmente compacto. Demuestre que
A(X), la compactacion por un punto de X, es metrizable si y solo si
X es separable.
268. Es el conjunto de Cantor una compactacion de los racionales?
269. Un par de subconjuntos A y B de un espacio X estan completamente
separados si existe una funcion continua f : X R tal que f [A] 0 y
f [B] 1 .
29
Todo par de subconjuntos completamente separados de un espacio Ty-
chono tienen clausuras ajenas en su compactacion de

Cech-Stone.
270. Todo par de conjuntos cerrados de un espacio normal X tienen clausuras
ajenas en X.
271. Si un subespacio M de un espacio de Tychono X tiene la propiedad de
que cualquier funcion continua f : M [0, 1] es continuamente extendible
sobre X, entonces la clausura M de M en X es una compactacion equi-
valente a M.
272. Para cualquier espacio de Tychono X y cualquier T tal que X T X
se tiene que T = X.
273. Sea X un espacio de Tychono y supongase que X es un subespacio abierto
de X y que los puntos de X son de tipo G

. Demuestre que X debe

ser primero numerable.
274. Todo conjunto cerrado e innito F contiene un subespacio homeo-
morfo a ; en particular, F tienen cardinalidad 2
c
.
275. El espacio no tiene subespacios homeomorfos a A(); es decir, en
no hay sucesiones convergentes no triviales.
276. La compactacion por un punto de un espacio metrico localmente compacto
tambien es un espacio metrizable si y solo si X es segundo numerable.
277. Dadas dos compactaciones K
0
y K
1
de un espacio X se dice que K
0
K
1
si existe una funcion continua y sobreyectiva f : K
1
K
0
tal que f X es
la identidad en X. Esta relacion dene un orden en cualquier conjunto
de compactaciones de un espacio Tychono X. Ademas, para cualquier
compactacion K de X se tiene que K X.
278. A() es la compactacion por un punto del espacio discreto de cardinalidad
, D() y asimismo A() 0, 1, . . . n 1 una compactacion de D(),
para todo n .
279. Demuestre que el conjunto de Cantor es una compactacion de los irra-
cionales.
280. El doble crculo de Alexandro es una compactacion del espacio discreto
D(c) y esta compactacion es incomparable (en el orden denido entre
compactaciones) a la compactacion A(c) A(c).
281. Todo espacio de Tychono X tiene una compactacion Y tal que w(X) =
w(Y ). Recuerde que
w(X) = min[B[ : B es una base para la topologa de X.
30
282. Sea Y una compactacion de X y sea g : Y [0, 1]
C(Y,[0,1])
denida por
g(y) = f(y) : f C(Y, [0, 1])). Entonces g[Y ] es una compactacion de X
equivalente a Y .
283. Existe una funcion continua f : D(c) [0, 1] la cual no es continuamente
extendible a las compactaciones de D(c) del ejercicio anterior.
284. La funcion f : [0, 1] denida por f (m, n) =
m
m+n+1
para m, n)
no es continuamente extendible a ; deduzca que
no es la compactacion de

Cech-Stone de .
285. Para todo espacio Hausdor, compacto y separable X, el producto carte-
siano X (
1
+ 1) es la compactacion de

Cech-Stone de X
1
.
286. Si X es subespacio de Y , denotemos por C(Y [X, Z) al conjunto de todas
las restricciones a X de funciones continuas de Y al espacio Z.
Sean Y
0
y Y
1
dos compactaciones de X. Entonces Y
0
Y
1
si y solo si
C(Y
0
[X, [0, 1]) C(Y
1
[X, [0, 1]). (Ver problema 277.)
287. Para cualquier compactacion Y de un espacio X se tiene que [Y [ 2
2
|D|
,
donde D es cualquier subespacio denso de X. Existe un conjunto /

(X)
tal que para cualquier compactacion de X se tiene que /

(X) contiene
un espacio homeomorfo a tal compactacion.
288. Si en la familia /

(X) de las compactaciones de un espacio Tychono

no compacto X existe un espacio Y que es el mnimo en el orden de
las compactaciones de X, entonces X es localmente compacto y Y es
homeomorfo a la compactacion de Alexandro A(X) de X.
289. Supongase que X es un espacio regular y Lindelof. Entonces ning un sub-
conjunto numerable e innito del espacio X X es cerrado en X.
290. Sea X un espacio completamente regular y sea K una compactacion de
X. Sea R el conjunto de todos los puntos de X en los cuales X no es
localmente compacto. Entonces R = cl (K X) (K X) .
291. Cierto o falso: todo espacio paracompacto con una base -ajena es
metrizable?
292. Cierto o falso: todo espacio perfectamente normal con una base -ajena
es metrizable?
293. Cierto o falso: todo espacio regular y Lindelof con una base punto nu-
merable es metrizable?
294. Si un espacio paracompacto es localmente metrizable, entonces es metri-
zable.
295. Un espacio paracompacto, localmente metrizable por una metrica com-
pleta, es metrizable por una metrica completa.
31
296. Un espacio metrico es metrizable por una metrica completa si y solo si es

Cech-completo; id est, es un G

en una (y de hecho en toda) compactacion

de X.
297. Un producto numerable de espacios

Cech-completos es un espacio

Cech-
completo.
298. Cualquier subespacio G

de un espacio

Cech-completo es tambien un es-
pacio

Cech-completo.
299. Un espacio localmente metrizable, localmente compacto, Hausdor y de-
bilmente paracompacto es metrizable. Un espacio es debilmente paracom-
pacto (tambien llamado metacompacto) si toda cubierta abierta tiene un
renamiento punto nito.
300. Es todo espacio metrizable localmente compacto representable como la
union de una familia de subconjuntos clopen de X, cada uno de los cuales
es la union de una familia numerable de compactos?
301. Dar un ejemplo de un espacio normal y separable que no sea paracompacto.
302. Existe un espacio numerable y paracompacto que no es primero numera-
ble en alguno de sus puntos?
303. La paracompacidad es hereditaria con respecto a conjuntos F

.
304. Un espacio paracompacto y perfectamente normal es hereditariamente
paracompacto.
305. Si un espacio X es hereditariamente paracompacto y tiene celularidad
numerable, entonces X es un espacio Lindelof.
306. Es perfectamente normal un espacio compacto el cual todos sus sub-
espacios son paracompactos?
307. Es perfectamente normal un espacio hereditariamente paracompacto y
primero numerable?
308. Sea X un espacio metrizable con una base de cardinalidad
0
. En-
tonces existe una funci on perfecta f : B() X, donde B() es el espacio
de Baire de peso . Recuerde que una funcion es perfecta si es continua,
cerrada, sobreyectiva y tiene bras compactas.
309. Cualquier espacio metrizable tiene una compactacion primero numerable.
310. Un espacio T
1
X es metrizable si y solo si existe una familia de cubiertas
abiertas |
n
: n tales que para cualquier punto p X y cualquier
vecindad Ude p, existe una vecindad V de p tal que

W |
n
: W V ,=
U para alguna n .
32