CURSO DE TOPOLOG

IA GENERAL
Carlos Orlando Ochoa-Castillo
*
1. Algo de Espacios Metricos
1. Dado (M, d) un espacio metrico, muestre que la funci on d
1
denida
de M M en R
+
0 como sigue:
d
1
(x, y) =
d(x, y)
1 + d(x, y)
es tambien una metrica en M. Porque se dice que esta metrica es
acotada?
2. Sea M un conjunto y d una funcion real de pares ordenados de ele-
mentos de M que satisface:
d(x, y) = 0 x = y y d(x, z) d(x, y) + d(z, y)
determine si d es una metrica.
3. Suponga que M es no vaco y d una funci on de valor real no negativo
de pares ordenados de elementos de M que satisface:
x = y d(x, y) = 0, d(x, y) = d(y, x) y d(x, z) d(x, y) + d(y, z).
Una funci on d con tales propiedades se llama una pseudometrica en
M. Es claro que toda metrica es pseudometrica; de un ejemplo de una
pseudometrica que no sea metrica. Suponga que d es una pseudometri-
ca en M y dena en este conjunto la relacion por a b d(a, b) =
0, muestre que es de equivalencia y obtenga un espacio metrico a
partir del conjunto cociente.
*
Universidad Distrital Francisco Jose de Caldas
1
4. Suponga que para i = 1, 2, ..., n (M
i
, d
i
) es un espacio metrico, pruebe
que d y d denidas como:
d(x, y) = maxd
i
(x
i
, y
i
) y d(x, y) =
n

i=1
d
i
(x
i
, y
i
)
donde x e y son claramente elementos del producto cartesiano M
1

M
2
. . . M
n
son metricas.
5. Sea I R, muestre que I es un intervalo si y solamente si es no vaco y
para cada par de elementos x, z de I, se tiene que si x y z entonces
y I.
6. Sea I

una familia no vaca de intervalos de la recta real tal que

I ,= entonces

I es un intervalo.
7. Se dice que f : [0, 1] R es acotada si existe K R tal que [f(x)[ K
para todo x [0, 1]; sea
B = f : [0, 1] R [ f es acotada
y para f, g B y R dena
(f + g)(x) = f(x) + g(x) y (f)(x) = (f(x))
para probar que B con estas operaciones es un espacio vectorial sobre
el campo (R, +, ).
8. Considere ahora | | : B R denida por |f| =

1
0
[f(x)[dx y
muestre que B es un espacio vectorial normado. Exhiba la metrica
inducida por esta norma.
9. Para cada f B, se dene |f|
s
= sup[f(x)[ x [0, 1], muestre con
todo detalle que | |
s
es una norma en B y exhiba la metrica inducida
por esta norma.
10. Pruebe que el conjunto
( = f B [ f es contnua
es un subespacio de B.
2
11. Muestre que B es un espacio de Banach con la metrica inducida por
| |
s
, obtenga similar resultado para el espacio (.
12. Exhiba un par de casos que permitan distinguir entre convergencia
uniforme y convergencia puntual.
13. Sea
2
= x = (x
0
x
1
x
2
. . .) [ x
j
0, 1 el conjunto de las palabras
con alfabeto 0 y 1; se dene la funcion de
2

2
con valor real como
sigue: Para dos palabras x = (x
0
x
1
x
2
. . .) y y = (y
0
y
1
y
2
. . .)
d(x, y) =

i=0
[x
i
y
i
[
2
i
a) Verique que (
2
, d) es un espacio metrico,
b) Muestre que si x
i
= y
i
para i = 0, 1, 2, . . . , n entonces d(x, y)
1
2
n
y recprocamente, si d(x, y)
1
2
n
entonces x
i
= y
i
para i < n.
c) Muestre que el conjunto de las palabras de
2
que tienen prejo
101 es cerrado.
d) Verique que el conjunto de las palabras con sujo innito formado
por ceros es denso en
2
.
e) Se dene la funcion olvido del primer termino :
2

2
como
((x
0
x
1
x
2
. . .)) = (x
1
x
2
. . .), muestre que es contnua. [Suge-
rencia: Dado R
+
, puede elegir n N tal que
1
2
n
< (porque?),
luego tome =
1
2
n+2
].
Observe que en todo caso, la distancia entre dos puntos es nita.
14. Sea (M, d) un espacio metrico; la geometra de (M, d) es el conjunto G
de todas las funciones biyectivas continuas f : M M con inversa
continua. Una gura geometrica es un subconjunto de M. Dos guras
geometricas A, B son congruentes si existe g G tal que

g (A) = B;
informalmente, A puede ser desplazado a B va el movimiento rgido
g. (M, d) es geometrico si todos los puntos son congruentes.
a) Pruebe que (G, ) es un grupo.
b) Si (M, d) es geometrico, verique que dos circunferencias con el
mismo radio (en M) son congruentes.
3
c) Asuma que M = a, b, c y d : M M M simetrica que
satisface d(x, x) = 0 para todo x M y d(a, b) = 1, d(a, c) =
3, d(c, b) = 2. Muestre que (M, d) esun espacio metrico pero no
es geometrico.
15. Sea p un entero primo; para todo n Z 0 se nota con v
p
(n) el
m aximo exponente de p en la descomposicion n en factores primos i.
e. el unico entero positivo que satisface
n = p
vp(n)
k donde p k,
es claro que para m, n Z 0 se tiene que
v
p
(mn) = v
p
(m) + v
p
(n)
es conveniente asumir que v
p
(0) = ; ahora si x =
a
b
Q donde
a, b Z y b ,= 0, se puede denir
v
p
(x) = v
p
(a) v
p
(b).
A la funci on v
p
se le llama valuacion p-adica. Con la convenci on obvia
de v
p
(0) = ; muestre que
a) v
p
(xy) = v
p
(x) + v
p
(y) para todo par de elementos x, y Q,
b) v
p
(x + y) minv
p
(x), v
p
(y).
Dado x Q0; el valor absoluto p-adico de x es
[x[
p
= p
vp(x)
,
en el x = 0, de acuerdo con nuestro convenio se tiene que [0[
p
= 0.
c) Muestre que el valor absoluto p- adico es no arquimediano, esto es,
[x + y[
p
max[x[
p
, [y[
p
.
Como es de esperarse, este valor absoluto permite construir la funci on
d
p
: Q Q Q denida por d
p
(x, y) = [x y[
p
que es una metrica
(verique! ).
d) Caracterice los elementos de B
1
(0) y de B
1
[0] del espacio metrico
(Q, d
p
).
4
16. Una metrica d en M es una ultrametrica si verica la siguiente
propiedad para x, y, z elementos de M:
d(x, z) m axd(x, y), d(y, x).
Asuma que (M, d) es un espacio ultrametrico para vericar que
a) Si d(x, y) ,= d(y, z) entonces d(x, y) = maxd(x, z), d(y, z),
b) Toda bola abierta es un conjunto cerrado, toda bola cerrada es un
conjunto abierto,
c) Todo punto de una bola abierta es centro de la misma,
d) Si dos bolas no son disjuntas, entonces una esta incluida en la
otra.
Adem as, note que (Q, d
p
) es un espacio ultrametrico.
17. Dado (M, d) un espacio metrico, si (x
n
) y (y
n
) son sucesiones en M
tales que x
n
x y y
n
y muestre que d(x
n
, y
n
) d(x, y).
2. De Espacios Topologicos
18. Pruebe que la compuesta de funciones continuas es continua.
19. Muestre que los espacios topologicos y las funciones continuas confor-
man una categora, la categora TOP.
20. Para X = a, b, c, d halle la topologa generada por
o = a, b, a, c, d, a, d
y la colecci on (

de sus conjuntos cerrados.

21. Para X = a, b, c, Y = 1, 2, = , Y, 1 TOP
Y
considere el
espacio topol ogico (Y, ) y f : X Y denida por f(a) = 1, f(b) =
2, f(c) = 1 para hallar la topologa menos na en X que haga a f
continua.
5
22. Lema de encolado o lema de pegue. Sea (X, ) un espacio topol ogico
donde X = A B con A, B cerrados; sean f : A Y y g : B Y
contnuas tales que f(x) = g(x) para todo x A B, se dene h :
X Y por
h(x) =

f(x) si x A,
g(x) si x B.
Muestre que h es contnua.
23. Dados (X, ) e (Y, ) espacios topol ogicos; una funci on f : X Y es
un homeomorsmo si es biyectiva, continua y f
1
: Y X tambien
es continua. En tal caso se dice que los espacios (X, ) e (Y, ) son
homeomorfos.
a) F o V. Los espacios (X, ) e (Y, ) donde X = 1, 2, 3, 4, Y =
a, b, c, d, = , X, 1, 2, 1, 2, 2, 3, 1, 2, 3, 2, 3, 4 y
= , Y, c, a, c, a, a, b, a, b, c, a, b, d son homeomor-
fos. Justique su respuesta.
b) Tome el intervalo [0, 1) con la topologa inducida de la usual en
la recta real y S
1
con la topologa inducida de la usual del plano.
La funci on h : [0, 1) S
1
denida por h(x) = e
2ix
es biyec-
tiva y continua (Vericar). Es un Homeomorsmo? Justique su
respuesta.
c) En R
n
, muestre que toda homotecia x x ( ,= 0) es un homeo-
morsmo.
d) En R
n
, muestre que todo isomorsmo lineal (i. e. una transforma-
ci on lineal biyectiva) es un homeomorsmo.
e) Sean (X, ), (Y, ) conjuntos totalmente ordenados y f : X Y
biyectiva y creciente, dote a X e Y con la respectiva topologa del
orden para probar que f es un homeomorsmo.
f ) Con base en el tem precedente, se asume (R, ) con el orden
usual
1
, y ((1, 1), ) donde es el orden inducido del usual en
R; muestre que R y (1, 1) con las respectivas topologas del orden
son homeomorfos.
1
Ver [2]
6
g) Observe, discuta y justique: Se considera la funci on identica 1
R
:
R R pero el dominio con la topologa discreta y el codominio
con la topologa usual, se arma que 1
R
es contnua pero no es un
homeomorsmo.
h) Muestre que este espacio (
2
, d) es homeomorfo al espacio de Can-
tor.
24. Para (S
1
,
u
[) describa el espacio producto en S
1
S
1
.
25. Considere (X
i
,
i
)
iI
una coleccion de espacios topol ogicos,

i
X
i
el producto de los conjuntos subyacentes de la colecci on de espacios
dada, la familia de proyecciones

i
X
i
X

y obtenga el espacio
(

i
X
i
, ) donde resuelve el problema de la topologa inicial.
26. Describa el toro, el plano proyectivo, la banda de Mobius y la botella
de Klein como espacios cociente.
27. Sea

una colecci on de topologas sobre X, muestre que

es una topologa sobre X. Es

una topologa sobre X? porque?

28. Considere las siguientes colecciones de subconjuntos de R:
a) B
1
= (a, b) [ a < b,
b) B
2
= [a, b) [ a < b, donde [a, b) = x [ a x < b,
c) B
3
= (a, b] [ a < b, donde (a, b] = x [ a < x b,
d) B
4
= (a, +) [ a R, donde (a, +) = x [ a < x,
e) B
5
= (, a) [ a R, donde (, a) = x [ x < a,
f ) B
6
= A [ R A es nito.
En cada caso, determine si se trata de una base para una topologa
sobre R. Relacione B
4
, B
5
y B
1
.
29. Considere el conjunto X = 1, 2Z
+
con el orden lexicogaco y descri-
ba la topolga del orden. Ayuda: Este conjunto tiene primer elemento;
notando (1, n) con a
n
y (2, n) con b
n
, X es a
1
, a
2
, a
3
, . . . ; b
1
, b
2
, b
3
, . . .. Se
trata de la topologa discreta? Cu ales conjuntos unitarios son abiertos?
7
3. Abiertos - Cerrados
30. Exhiba dos subconjuntos A y B de R y un abierto G de R
2
con
la topologa usual, tal que A B G y sin embargo, cualesquiera
que sean G
1
y G
2
abiertos de R con la topologa usual que satisfacen
A G
1
y B G
2
, se verica que G
1
G
2
G.
31. Pruebe que la familia de los intervalos cerrados [a, b] de R con a
Q, b R Q y a < b es base de una topologa en R. Pero no lo es
si a, b Q.
32. Pruebe que el conjunto S = (x, sin x)[x R es cerrado en (R
2
,
u
).
33. Asuma que A, B son cerrados disjuntos de un espacio metrico (M, d),
halle U, V abiertos disjuntos tales que A U y B V .
4. Algunos Operadores
4.1. Interior y Adherencia
34. Enuncie y pruebe
a) Una proposici on que relacione los conceptos de continuidad y con-
juntos cerrados,
b) Una proposicion que relacione los conceptos de continuidad y ad-
herencia.
35. Sea (M, d) un espacio metrico y A M, muestre que d(x, A) = 0 si y
solamente si x adhA.
36. Dado (X, ) un espacio topologico, note con cA el complemento de
A; muestre que para todo A X se satisface:
a) c intA = adh cA
b) int cA = c adhA
c) intA = c adh cA
d) adhA = c int cA.
8
37. Dado (X, ) un espacio topol ogico, sea O el conjunto de todas las
composiciones nitas de los operadores adh, int c, muestre que para
todo A X,
[rA [ r O[ 14.
38. Asuma que (X, ) es un espacio topologico, y A X. Muestre que
intA ,= si y solamente si para todo B X con adhB = X se tiene
que B A ,= .
39. Dado el espacio (X, ), y A X. Muestre que A si y solamente
si
A B = A adhB = .
40. Sea (X, ) un espacio topologico; demuestre
a) A B = X adhA intB = X
b) A B = adhA intB = .
Son ciertas las implicaciones recprocas?
41. Sean (X, ) y (Y, ) espacios topologicos y f : X Y Muestre la
equivalencia de las siguientes proposiciones:
a) f es contnua,
b) Para todo A X, se tiene que

f (adhA) adh(

f (A)),
c) Para todo cerrado B en Y ,

f (B) es cerrado en X.
42. Sea (X, ) un espacio topologico; se dice que A X es denso en (X, )
si adhA = X;
a) Exhiba conjuntos densos en (R,
u
) y (R,
cf
),
b) Muestre que A es denso en (X, ) si y solo si para todo U
con U ,= se tiene que U A ,= ,
c) Muestre que A es denso en (X, ) y U entonces A U es
denso en (U, [
U
),
d) Exhiba (X, ) un espacio topologico, A X denso en (X, ), y
B X tales que A B no es denso en (B, [
B
).
9
4.2. Frontera
43. Dado (X, ) un espacio topol ogico; muestre que para todo A X
se tiene que frA (

. Pruebe adem as que

fr1 A B fr(A B) = A B [fr(A) fr(B)], A, B X.
fr2 frA = fr(X A), A X.
fr3 fr(fr(A)) frA.
fr4 fr() =
44. Dado (X, ) un espacio topologico; pruebe o refute
a) A es abierto si y solamente si A frA = ,
b) A es cerrado si y solamente si frA A,
c) A es abierto y cerrado si y solamente si frA = ,
45. Considere al espacio (R
2
, ) donde es la topologa del orden lexi-
cogr aco y el conjunto X = (x, y) QQ [ x
2
+ y
2
1. Halle:
a) int

X e int
u
X.
b) adh

X y adh
u
X.
c) fr

X y fr
u
X.
Para a = (0, 0) describa N

(a) y N
u
(a).
46. Dado (X, ) un espacio topologico, pruebe que para todo A X se
tiene que adhA = A frA; como corolario obtenga que A es cerrado
si y solamente si frA A.
4.3. Exterior
47. Sea (X, ) un espacio topologico y A X. Se dice que x X es
un punto exterior de A si existe V N(x) tal que V (X M). El
exterior del conjunto A es
extA = x X [ x es un punto exterior de A,
a) muestre que para todo A X se tiene que extA = int(XA);
10
b) pruebe que A es cerrado si y solamente si extA = X A,
c) pruebe que A es abierto si y solamente si ext(X A) = A,
48. Dado (X, ) un espacio topologico; muestre que
ex1 ext(A B) = extA extB, A, B X.
ex2 A extA = , A X.
ex3 ext = X.
ex4 ext(X extA) = extA.
4.4. Derivado
49. Dado (X, ) un espacio topologico y A un subconjunto de X, muestre
que
a) adhA = A derA,
b) derA = x adhA [ adhA = adh(A x),
c) A es cerrado si y solamente si derA A.
50. Dado (X, ) un espacio topol ogico y A B X, muestre que derA
derB
51. Sea (X, ) un espacio topologico, muestre que
der1 der(AUB) = derA extB, A, B X,
der2 der = ,
der3 der(derA) A derA, A X,
der4 x X, x / derx.
52. Dado el espacio (X, ), A X es un conjunto perfecto si A = DerA
i.e. A coincide con el conjunto de sus puntos de acumulacion. Muestre
que el conjunto de Cantor es perfec.
53. En los ambientes (R,
u
) y (R,
cf
):
a) Relacione, si es posible
u
y
cf
mediante .
b) Para X = [1, 2)
1
n
[n Z
+
3, halle int

cf
X e int
u
X,
adh

cf
X y adh
u
X, fr

cf
X y fr
u
X, der

cf
X y der
u
X.
11
5. De Vecindades, Redes y Filtros
Una red en un conjunto X, es una funci on : I X denida por
() = x

donde (I, ) es un conjunto dirigido; usualmente la red

se nota con (x

)
I
.
Denici on 5.1. Sean (X, ) un espacio topologico y (x

)
I
una red
en X; se dice que (x

)
I
converge a x X si para toda V N(x)
existe
V
I tal que
x

V para todo I con

V
.
54. Sean (X, ), (Y, ) espacios topol ogicos, f : X Y y a X,
muestre que los siguientes enunciados son equivalentes:
a) f es contnua en a.
b) Para cada red (x

)
I
en X que converge a a se tiene que
(f(x

))
I
converge a f(a).
Denici on 5.2. Sean (x

)
I
una red en X y I, la seccion nal
determinada por es el conjunto
S

= x

[ .
55. Muestre que la colecci on S de las secciones nales satisface las sigu-
ientes propiedades:
a) Si S S entonces S ,=
b) Si S
1
, S
2
S entonces existe S S tal que S S
1
S
2
.
56. Reformule la denici on de convergencia de una red con base en el com-
portamiento de las secciones nales. Ahora, trate de ver los ltros en
X como ideales del anillo booleano (X, , ), este hecho tiene su con-
traparte dual en el anillo booleano (X, , ), en este caso los ideales
reciben el nombre de coltros.
2
2
Las operaciones y son como sigue:
AB = x X [ x A y x / B x X [ x B y x / A
AB = x X [ x A si y solo si x B.
12
57. Sea A X no vaco; muestre que A es una base de ltro, es el ltro
principal generado por A.
58. Sea (I, ) un conjunto dirigido, muestre que la colecci on de las secciones
nales de I:
S

= [ , I
forman una base de ltro; se trata del ltro de secciones del conjunto
dirigido (I, ). Observese que cuando el conjunto dirigido es (N, )
donde es el orden usual, el ltro de secciones es el ltro de Frechet.
59. Sea (x

)
I
una red en X, mustre que la colecci on de todas las sec-
ciones nales forman una base de ltro. El ltro asociado se llama ltro
de secciones de la red (x

)
I
.
Denici on 5.3. Sean (X, ) un espacio topologico y F un ltro en
X, a X es un punto adherente del ltro F si todo elemento F F
interseca a toda V N(a). a X es un punto adherente de una base
ltro si es un punto adherente del ltro asociado, es decir, a X es un
punto adherente de una base de ltro B si y solo si se satisface para
todo sistema fundamental de vecindades de a, V(a) se tiene:
B B, V V, B V ,= .
60. Asuma que a es un punto adherente de F en (X, ) y que es menos
na que , muestre que a es un punto adherente de F en (X, ).
61. Muestre que a es un punto adherente del ltro F en (X, ) si y solo si
existe un ltro m as no G que converge a a. En particular, note que si
F converge a a entonces a es punto adherente de F.
62. Muestre que todo ultraltro en un espacio topol ogico converge a cada
uno de sus puntos adherentes.
63. Sean f : X Y y Buna base de ltro en X, muestre que la coleccion


f (B) =

f (A) [ A B
es una base de ltro en Y , es la imagen de la base de ltro B por f.
Note que si F es un ltro en X, en general


f (F) no es un ltro en Y .
Indague por la imagen inversa de bases de ltro y ltros.
13
64. Muestre que F a en el espacio producto (

, ) si y solo si

(F) a

en (X

) para todo .
65. Muestre que si B una base de ultraltro en X y f : X Y , entonces


f (B) es una base de ultraltro en Y .
66. Sean (X, ), (Y, ) espacios topologicos y f : X Y , muestre que f
es contnua en a X si y solo si


f (N(a)) f(a).
67. Sean (X, ), (Y, ) espacios topologicos y f : X Y , muestre que f
es contnua en a X si y solo si


f (B) f(a) para toda base de ltro
B que converja al punto a.
6. De Algunas Propiedades Topologicas
6.1. De Compacidad
68. Version de Compacidad con Conjuntos cerrados [cf. [15]]. Pruebe que
un espacio topologico es compacto si y solo si toda familia de con-
juntos cerrados con interseccion vaca, tiene una subfamilia nita con
intersecci on vaca.
Denici on 6.1. Se dice que una coleccion de subconjuntos de un con-
junto dado tiene la propiedad de la interseccion nita, si toda subfamilia
nita tiene interseccion no vaca.
69. Pruebe que un espacio topologico es compacto si y solo si toda colecci on
de conjuntos cerrados con la propiedad de la interseccion nita, tiene
intersecci on no vaca.
Denici on 6.2. Sea (X, ) un espacio topologico, una coleccion de
subconjuntos cerrados de X es una base cerrada si la coleccion de los
complementos de sus conjuntos es una base para , y se le denomina
subbase cerrada si la coleccion de los complementos de sus conjuntos es
una subbase para . Como la coleccion de las intersecciones nitas de
conjuntos en una subbase de es una base para esta topologa, se sigue
que la familia de todas las uniones nitas de conjuntos en una subbase
cerrada es una base cerrada.
14
70. Pruebe que un espacio topol ogico es compacto sii todo recubrimiento
abierto subbasico tiene un subrecubrimiento nito, o de forma equiva-
lente, sii toda familia de conjuntos cerrados subb asicos con la propiedad
de la interseccion nita, tiene interseccion no vaca.
71. Exhiba un recubrimiento abierto de (R, d
u
) que no posea un sub-recu-
brimiento nito; proceda de igual manera con el intervalo (0, 1).
72. Pruebe que dos subconjuntos compactos y disjuntos de un espacio
Hausdor poseen vecindades abiertas y disjuntas que los contienen.
73. Dado A un subconjunto de un espacio metrico (M, d), su di ametro es
Diam(A) = supd(x, y) [ x, y A,
muestre que si A es un subconjunto compacto entonces existen a, b A
tal que Diam(A) = d(a, b). Que hay del conjunto vaco?
74. Exhiba un subconjunto de un espacio topologico tal que su adherencia
no sea compacta.
75. Muestre que en todo espacio topologico (X, ), las siguientes arma-
ciones son equivalentes [cf. [10]]:
a) Todo recubrimiento abierto de X tiene un subrecubrimiento nito.
b) Toda familia de cerrados de X con intersecci on vaca, contiene una
subfamilia nita, tambien con intersecci on vaca.
c) Toda familia de cerrados de X con la propiedad de la intersecci on
nita, tiene una intersecci on no vaca.
d) Todo ltro en X posee un punto adherente.
e) Para todo ltro en X, hay uno m as no convergente.
f ) Todo Ultraltro es convergente.
76. Use 64 y 75 para demostrar el teorema de Tychonov.
77. Un espacio es localmente compacto si cada uno de sus puntos posee una
vecindad compacta. Muestre que son localmente compactos:
a) Todo espacio compacto,
15
b) Todo espacio discreto,
c) (R
n
, t
u
),
d) Todo subconjunto cerrado de un espacio localmente compacto.
78. Muestre que el espacio (Q,
u
[) no es localmente compacto; es la com-
pacidad local una propiedad topologica?
79. (Alexandrof cf. [3],[10]). Sea (X, ) un espacio de Hausdor localmente
compacto que no es compacto; se obtiene un nuevo espacio agregando
un punto extra que usualmente se nota con , los abiertos de la nueva
topologa sobre X son los de junto con los conjuntos de la
forma (XK), donde K es un subconjunto compacto en (X, ).
Verique que se satisfacen los axiomas de topologa y que se tiene un
espacio de Hausdor y compacto donde X es ahora un conjunto denso.
80. Con base en el tem anterior, verique que R
n
y S
n
son homeo-
morfos.
81. Discuta la compacidad de:
a) La botella de Klein,
b) El toro,
c) Suma conexa de dos toros,
d) La banda de M obius,
e) Banda de Mobius menos un disco abierto.
82. Sea (X, ) un espacio topol ogico, muestre que : X XX denida
por (x) = (x, x) es continua. Verique que (X, ) es Hausdor si y
solo si

X es cerrado en el espacio producto.

6.2. De Conexidad
83. Muestre que cada componente de un espacio topologico es un conjunto
cerrado y dos componentes conexas siempre est an separadas.
84. Interprete, justique: Cada punto de (Q,
u
[) es una componente y no
se trata de un espacio discreto.
16
85. Determine la conexidad del espacio (R,
cf
).
86. Presente el teorema del valor intermedio, use la conexidad en la argu-
mentaci on.
87. Un espacio (X, ) es localmente conexo si para cada punto x X y
cada vecindad V N(x) existe W N(x) conexa tal que W V .
Muestre que todo espacio eucldeo es localmente conexo. El conjunto
de Cantor con la topologa inducida de (R,
u
) es localmente conexo?
88. Determine si la conexidad local es una propiedad topol ogica.
89. Muestre que la conexidad por arcos es una propiedad topologica.
90. Muestre que para todo n > 0, el espacio S
n
es arco-conexo.
91. Pruebe que el producto de espacios arco-conexos es arco-conexo.
92. Exhiba un espacio arco-conexo tal que su adherencia no sea arco-
conexo.
93. Muestre que (Q, d
p
) es un espacio totalmente disconexo.
7. De Separaci on
Un espacio topol ogico (X, X) es T
0
si dados dos puntos x, y X ar-
bitrarios, existe una vecindad de por lo menos uno de esos puntos que
no contiene al otro. As, para X = a, b, el espacio (X,
G
) no es T
0
;
ahora si es la topologa de Sierpinski el espacio (X, ) es T
0
.
94. Sean x, y puntos arbitrarios de un espacio topol ogico (X, X); muestre
que adhx = adhy si y solo si todo abierto que contiene a alguno
de los puntos, los contiene a ambos.
95. Como corolario del resultado anterior se tiene: Un espacio topologico
(X, X) es T
0
si y solo si dados x, y X arbitrarios, se tiene que y /
adhx o x / adhy.
96. Pruebe que un espacio pseudometrico en general, no es T
0
.
17
97. Pruebe que un espacio topol ogico (X, X) es T
1
si y solo si adhx = x
para todo x X.
98. Para X = 1, 2, 3, exhiba los elementos del retculo TopX que son T
0
,
que son T
1
.
99. Muestre que todo espacio Hausdor y compacto es normal.
100. Lema de Urysohn. Sea (X, X) un espacio normal y A, B subconjun-
tos cerrados en (X, X); entonces existe una funci on f real y contnua
denida en Xcuyos valores estan en el intervalo [0, 1] con

f (A) = 0
y

f (B) = 1.
8. De Homotopa
101. Muestre que los lazos en S
1
:
(s) =

e
4is
, 0 s
1
2
e
4i(2s1)
,
1
2
s
3
4
e
8i(1s)
,
3
4
s 1
y (s) = e
2is
para 0 s 1 son hom otopos.
102. Dados los espacios topol ogicos (X, X), (Y, Y) y (Z, Z) junto con f
0
, f
1
:
X Y y g
0
, g
1
: Y Z hom otopas, entonces g
0
f
0
, g
1
f
1
: X Z
son homotopas.
103. Dos espacios (X, X), (Y, Y) son hom otopos o del mismo tipo de homo-
topa si existen f : X Y y g : Y Z tales que g f 1
X
y
f g 1
Y
. Muestre que la relacion ser homotopos en TOP es una
relaci on de equivalencia.
104. Sea (X, X) un espacio topol ogico y
0
(X) la familia de las componentes
arco-conexas de (X, X). Pruebe que el cardinal de
0
(X) es un inva-
riante del tipo de homotopa.
105. Asuma que (X, X) un espacio arco-conexo para ver que para p, q X
arbitrarios, los grupos
1
(X, q) y
1
(X, p) son isomorfos.
18
106. Son (R,
u
) y el plano homeomorfos?, y la esfera y el toro?
107. Descanse.
Referencias
[1] J. Adamek, H. Herrlich, G. Strecker, Abstrac and Concrete Cat-
egories, John Wiley, New-York, 1990.
[2] T. Apostol, Calculus, Vol I, Reverte, Barcelona, 1978.
[3] M. Armstrong, Basic Topology, McGraw-Hill, London, 1979.
[4] M. Barnsley, Fractals Everywhere, Academic Press, San Diego, 1993.
[5] N. Bourbaki, General Topology, Addison-Wesley, Massachusetts, 1966.
[6] R. Devaney, An Introduction to Chaotic Dynamical Systems, Addison-
Wesley, Massachusetts, 1989.
[7] M. Garca Marrero y Otros, Topologa, Alhambra, Madrid, 1975.
[8] M. Gemignani, Elementary Topology, Addison-Wesley, Philippines,
1972.
[9] F. Gouvea, p-adic Numbers, Springer-Verlag, New-York, 1993.
[10] D. Hinrichsen y J. Fern andez, Topologa General, Urmo, Bilbao,
1977.
[11] R. Holmgren, A First Course in Discrete Dynamical Systems,
Springer, New York, 1996.
[12] K. Kuratowski, Introduccion a la Teora de Conjuntos y a la
Topologa,Vicens-Vives, Barcelona, 1966.
[13] J. Munkres, Topology, a First Course, Prentice-Hall, New Jersey, 1975.
[14] R. Ruiz S., Teora Categorica de Modulos, 2001.
[15] G. Simmons, Introduction to Topology and Modern Analysis, McGraw-
Hill, Singapore, 1963.
19