Grado en Matematicas.

UCM
TOPOLOG

IA ELEMENTAL
Raquel Daz, Francisco Gallego Lupia nez, Feliciana Serrano, Jes us M. Ruiz
PROBLEMAS
1
Lista 0. Para empezar
N umero 0.1. Comprobar las leyes distributivas para la union y la interseccion de conjun-
tos, y las leyes de De Morgan.
N umero 0.2. Sea f : A B. Sean A
0
A, B
0
B.
(a) Demostrar que A
0
f
1
(f(A
0
)) y que se da la igualdad si f es inyectiva.
(b) Demostrar que f(f
1
(B
0
)) B
0
y que se da la igualdad si f es sobreyectiva.
N umero 0.3. Sea f : A B y sean A
1
, A
2
, A
l
A y B
1
, B
2
, B
l
B para todo l L.
Probar que f
1
conserva las inclusiones, uniones, intersecciones y las diferencias de conjuntos:
(a) Si B
1
B
2
, entonces f
1
(B
1
) f
1
(B
2
).
(b) f
1
(

i
B
i
) =

i
f
1
(B
i
).
(c) f
1
(

i
B
i
) =

i
f
1
(B
i
).
(d) f
1
(B
1
B
2
) = f
1
(B
1
) f
1
(B
2
).
Demostrar que f conserva solamente las uniones y las inclusiones:
(e) Si A
1
A
2
, entonces f(A
1
) f(A
2
).
(f) f(

i
A
i
) =

i
f(A
i
).
(g) f(

i
A
i
)

i
f(A
i
); se da la igualdad si f es inyectiva.
(d) f(A
1
A
2
) f(A
1
) f(A
2
); se da la igualdad si fes inyectiva.
N umero 0.4. Probar que el conjunto Q de los n umeros racionales es numerable. Probar
que el intervalo I = [0, 1] no es numerable, y que R no es numerable.
N umero 0.5. (Distancias en R
n
) Comprobar que cada una de las siguientes es una dis-
tancia en R
n
. Estudiar como son las bolas en cada una de ellas.
(a) d(x, y) =
_

n
i=1
(x
i
y
i
)
2
.
(b)
1
(x, y) =

n
i=1
[x
i
y
i
[.
(c)
2
(x, y) = max[x
1
y
1
[, . . . , [x
n
y
n
[.
(Para la primera, utilizar la desigualdad de Minkowsky:
_

(a
i
+b
i
)
2

a
2
i
+
_

b
2
i
. )
N umero 0.6. Sea C(I) el conjunto de las aplicaciones continuas del intervalo I = [0, 1] en
R. Probar que:
(a) (f, g) = sup
xI
[f(x) g(x)[ es una distancia en C(I).
(b) (f, g) =
_
1
0
[f(x) g(x)[dx es una distancia en C(I).
Estos ejemplos muestran distancias interesantes y utiles en espacios distintos de R
n
.
1
Versi on 2013.2
1
N umero 0.7. (Distancias acotadas) Una distancia en M es acotada si existe una cons-
tante A tal que (x, y) A para todos x, y M. Probar que si es una distancia cualquiera
en M, entonces

(x, y) = min(x, y), 1 es tambien una distancia y es acotada.

Lista 1. Espacios topologicos
N umero 1.1. Sea X un conjunto, y T
CF
la familia de todos los subconjuntos de X cuyo
complementario es nito, mas el conjunto vaco. Probar que T
CF
es una topologa en X.
Esta topologa se llama, por razones evidentes, topologa de los complementarios nitos.
Que topologa obtenemos si X es un conjunto nito?
N umero 1.2. Sea X un conjunto innito, y T
CN
la familia de todos los subconjuntos de
X cuyo complementario es numerable, mas el conjunto vaco. Probar que T
CN
es una topo-
loga en X. Esta topologa se llama, por razones evidentes, topologa de los complementarios
numerables. Cuando obtenemos la topologa discreta?
N umero 1.3. En un conjunto X se considera la familia T de todos los subconjuntos con
complementario innito, vaco o todo X. Estudiar si T es una topologa.
N umero 1.4. Sea X un conjunto innito y T una topologa en la que todos los conjuntos
innitos son abiertos. Demostrar que T es la topologa discreta.
N umero 1.5. En un conjunto X esta denida una topologa T, y se considera un subcon-
junto S X. Probar que
T

= , G S : G T
dene una topologa en X. Comparar T y T

.
N umero 1.6. Sean T
1
y T
2
dos topologas en un conjunto X. Mostrar que su interseccion
T
1
T
2
es tambien una topologa. Se puede decir lo mismo de su union T
1
T
2
? Construir
la topologa menos na que contiene a esa union.
N umero 1.7. En el plano X = R
2
se considera la familia T de todos los subconjuntos U
tales que para cada punto (a, b) U existe > 0 con
[(a , a +) b] [a (b , b +)] U.
Estudiar si T es una topologa en X.
N umero 1.8. En X = R
2
se consideran los subconjuntos
G
t
= (x, y) X : x > y +t con t R.
Demostrar que estos subconjuntos, junto con y X, son los abiertos de una topologa en X.
Es esto mismo cierto si t N?, y si t Q?
N umero 1.9. Sea un elemento que no esta en R, y denotemos X = R. Sea T la
coleccion de todos los subconjuntos G X tales que: o bien (i) / G, o bien (ii) G y
X G es nito. Estudiar si T es una topologa en X.
2
N umero 1.10. En el espacio (X, T) del n umero 1.5, determinar la adherencia de un con-
junto A X seg un la interseccion S A sea o no vaca.
N umero 1.11. En el conjunto nito X = a, b, c, d, e se considera la topologa T cuyos
abiertos son los subconjuntos
, X, a, a, b, a, c, d, a, b, c, d, a, b, e.
Calcular la adherencia de los conjuntos a, b y c, e. Es denso alguno de ellos? Calcular
el interior y la frontera del conjunto a, b, c. Determinar los sistemas de entornos de los
puntos e y c.
N umero 1.12. Describir el operador adherencia en un espacio con la topologa discreta.
Que subconjuntos son densos? Cual es la base de entornos mas simple de un punto dado?
N umero 1.13. Describir el operador adherencia en un espacio equipado con la topologa
trivial. Cuales son los subconjuntos densos? Cuales son los entornos de un punto dado?
N umero 1.14. Sea X un conjunto. Denir en X una distancia que tenga asociada la
topologa discreta. Se puede hacer lo mismo para la topologa trivial?
N umero 1.15. La topologa usual T
u
en un espacio afn R
n
es por denicion la asociada a
la metrica eucldea. En el caso de la recta X = R, esa topologa se obtiene tomando como base
la coleccion de los intervalos abiertos. Usando otros intervalos se pueden denir topologas
diferentes. Por ejemplo, se puede tomar como base la coleccion de los intervalos semiabiertos
por la derecha [a, b) (resp. por la izquierda (a, b]), y obtener una topologa T
[,)
(resp. T
(,]
).
Comparar esas topologas entre s y con la usual.
N umero 1.16. En R
2
se considera la familia B de todos los subconjuntos
B((x, y), ) = [(x, x +) (y, y +)] (x, y), (x, y) R
2
, > 0.
(a) Demostrar que B es base de una topologa T en R
2
.
(b) Estudiar la relacion de esta topologa con la topologa usual T
u
del plano.
(c) Hallar el interior de [0, 1] [0, 1] y la adherencia de (0, 1) (0, 1) en T y en T
u
.
N umero 1.17. En R
2
se considera la topologa T del n umero 1.8. Son las rectas cerrados
de esta topologa? Si no lo son, cual es su adherencia? Calcular:
(a) Las adherencias de los cuadrantes A : x 0, y 0 y B : x 0, y 0,
(b) El interior y la adherencia del conjunto x > y x > y.
(c) Tiene alg un punto (x, y) alg un entorno cerrado distinto de todo el plano?
N umero 1.18. Sea d la distancia eucldea en el plano R
2
. Se denen otras dos distancias
mediante
D(P, Q) =
_
0 si P = Q,
d(O, P) +d(O, Q) si no,
y
(P, Q) =
_
d(P, Q) si O, P y Q estan alineados,
d(O, P) +d(O, Q) si no,
donde O es el origen, y una tercera
(P, Q) =
_
[y
1
y
2
[ si x
1
= x
2
,
[y
1
[ +[x
1
x
2
[ +[y
2
[ si no,
3
donde P = (x
1
, y
1
) y Q = (x
2
, y
2
). Se consideran entonces las cuatro topologas del plano
asociadas a las cuatro metricas d, D, , . Hallar en todas ellas el interior y la adherencia de:
(a) Una recta,
(b) [0, 1) [0, 1),
(c) [0, 1] [0, 1], y
(d) [1, 2] [1, 2].
N umero 1.19. Sea T la topologa de la recta real R cuyos abiertos no vacos son los
subconjuntos U R que contienen todos los n umeros enteros k 1 (esto es, 1, 2, 3, . . . U).
(a) Tiene cada punto un entorno mnimo?
(b) Describir las operaciones de clausura e interior.
N umero 1.20. Se consideran en el plano R
2
los triangulos semiabiertos de vertice (a, b)
R
2
y anchura > 0 denidos por
U = (x, y) R
2
: x y a b, x +y a +b, a x < a +,
y equipamos R
2
con la topologa T que tiene todos esos triangulos por base de abiertos.
Calcular la adherencia (en T) de un triangulo semiabierto U.
N umero 1.21. Un subconjunto W del plano R
2
se llama radialmente abierto si para cada
punto p W y cada recta L que pase por el punto, WL contiene un intervalo abierto centra-
do en p. Probar que los conjuntos radialmente abiertos son los abiertos de una topologa T en
R
2
. Que relacion tiene con la usual? Estudiar que topologa induce T en las circunferencias
y en las rectas.
Lista 2. Aplicaciones continuas
N umero 2.1. Sean (X, T), (X

, T

) dos espacios topologicos y f : X X

una aplicacion.
Probar que f es continua si y solo si existe una base B

de T

tal que f
1
(B

) T para cada
B

. Enunciar y probar el resultado analogo para subbases.

N umero 2.2. Sea (X, T) un espacio topologico, A X y
A
: (X, T) (R, T
u
) la corres-
pondiente funcion caracterstica:

A
(x) =
_
1 si x A,
0 si x / A.
Probar que
A
es continua en a X si y solo si a / Fr(A).
N umero 2.3. Probar que si un espacio topologico (X, T) tiene la propiedad de que todas
las aplicaciones f : (X, T) (R, T
u
) son continuas, entonces T es la topologa discreta.
N umero 2.4. Sean f : (X, T) (X

, T

) y g : (X

, T

) (X

, T

) aplicaciones conti-
nuas cuya composicion g f es un homeomorsmo. Probar que si g es inyectiva (resp. f es
suprayectiva), entonces f y g son homeomorsmos.
4
N umero 2.5. Se considera la aplicacion
f : R R
2
: t
_
t
1 +t
4
,
t
3
1 +t
4
_
,
y se denota X = f(R). Se equipan R y R
2
con las topologa usuales, y X R
2
con la
topologa relativa T = T
u
[X. Mostrar que f : (R, T
u
) (X, T) es una aplicacion continua y
biyectiva, pero no un homeomorsmo.
N umero 2.6. Describir los homeomorsmos entre espacios con la topologa de los comple-
mentos nitos. Y con la topologa de los complementos numerables?
N umero 2.7. Sea f : R R la aplicacion dada por f(x) = x
2
. Estudiar si f es continua
con las siguientes topologas:
T
u
T
CF
, T
u
T
CN
, T
CF
T
u
, T
CF
T
CF
, T
[,)
T
u
, T
u
T
[,)
, T
[,)
T
[,)
.
(Estas topologas se denieron en la leccion anterior.)
N umero 2.8. Demostrar que si una aplicacion f : R R es continua para T
u
T
[,)
y
tambien para T
u
T
(,]
, entonces es una aplicacion constante.
N umero 2.9. Sea f : R R
2
la aplicacion f(x) = (x, x
2
). Estudiar si es continua para las
siguientes topologas:
T
u
T

(n umero 1.18), T
u
T (n umero 1.16), T
CN
T
u
, T
[,)
T.
N umero 2.10. Se equipa R
2
con la topologa T

. Estudiar la continuidad de:

(a) Las traslaciones : (R
2
, T

) (R
2
, T

).
(b) Los giros : (R
2
, T

) (R
2
, T

).
(c) Las simetras : (R
2
, T

) (R
2
, T

) respecto de una recta .

N umero 2.11. Lo mismo que en el n umero anterior, reemplazando la topologa T

por la
topologa T

del n umero 1.18.

N umero 2.12. Se considera la aplicacion R Z : x [x] = parte entera de x. Estudiar
que topologas en Z hacen continua esta aplicacion, cuando en R se considera la topologa
usual.
N umero 2.13. Denir homeomorsmos:
(a) Entre un triangulo equilatero y un disco cerrado, que transforme el borde del triangulo
en la circunferencia, y los tres vertices del triangulo en tres puntos prejados de la misma.
(b) Entre un cuadrado y un disco cerrado, que transforme el borde del cuadrado en la
circunferencia y los cuatro vertices del cuadrado en cuatro puntos prejados de la misma.
Extender las construcciones a polgonos planos mas generales, no necesariamente regulares
ni convexos.
N umero 2.14. Demostrar que la topologa T de los conjuntos radialmente abiertos del
plano (1.21) es la topologa que cumple las dos condiciones siguientes:
(1) Induce en las rectas del plano la topologa usual.
(2) Una aplicacion f : R
2
X es continua si lo son todas sus restricciones a rectas.
5
Estudiar la cotinuidad de la funcion f(x, y) =
x
2
y
y
2
+x
4
respecto de esta topologa radial y
respecto de la topologa usual.
Lista 3. Construcci on de topologas
N umero 3.1. Demostrar que si Y es un subespacio de X y Z uno de Y , entonces la
topologa de Z como subespacio de Y es la misma que como subespacio de X.
N umero 3.2. Sea Buna base de una topologa en X y A X. Demostrar que los conjuntos
B A forman una base de la topologa relativa de A.
N umero 3.3. En R
2
se consideran las topologas T
D
, T

y T

asociadas a las metricas D,

y del n umero 1.18. Describir la topologa inducida por cada una de esas tres en una recta
de R
2
.
Lo mismo para la topologa T del n umero 1.8.
N umero 3.4. Sea T la topologa del plano R
2
denida en el n umero 1.16. Hallar la topo-
loga inducida por T: (i) en la recta r : x = 0, y (ii) en la recta s : x = y.
N umero 3.5. Estudiar si alguna de las topologas del plano R
2
= R R denidas en los
dos n umeros anteriores es el producto de dos topologas en R.
N umero 3.6. Sea (X
i
, T
i
), i I, una coleccion de espacios topologicos y consideremos
subconjuntos A
i
X
i
, i I. Probar que la topologa producto de las relativas T
i
[A
i
coincide
con la topologa relativa

i
T
i
[

i
A
i
.
N umero 3.7. Sean X e Y espacios topologicos, y A X, B Y subconjuntos suyos. Se
equipa X Y con la topologa producto. Demostrar que entonces:
(a)

AB =

A

B.
(b) AB = AB.
(c) Fr(AB) =
_
AFr (B)
_

_
Fr (A) B
_
.
N umero 3.8. Sea (X
i
, T
i
), i I, una coleccion de espacios topologicos y para cada i I
sea A
i
X
i
. Probar que

i
A
i
es denso en

i
X
i
(con la topologa producto) si y solo si
cada A
i
es denso en X
i
.
N umero 3.9. Se considera en X = RZ la topologa T producto de la usual T
u
en R y la
de los complementos nitos T
CF
en Z. Estudiar la continuidad de la aplicacion f : (X, T)
(R, T
u
) : (t, k) t k.
N umero 3.10. Se consideran en el plano R
2
la topologa T de 1.20. Existe alguna topo-
loga T
1
en R tal que T sea la topologa producto T
1
T
1
? Y tal que (R
2
, T) sea homeomorfo
a (R
2
, T
1
T
1
)?
N umero 3.11. En R
2
se consideran las rectas r : y = 0, s : y = 1 y t : x = 0, su union
M = rst, y el segmento A : x = 0, 0 y 1. En M se dene la relacion de equivalencia R
que identica todos los puntos de A. Ahora se equipa R
2
con la topologa usual y el conjunto
6
cociente M/R con la topologa cociente. Sea p : M M/R la aplicacion canonica. Estudiar
si p(t) es entorno de p(A) en M/R, y determinar un subconjunto E M tal que p(E) lo sea.
N umero 3.12. En (R, T
u
) se considera la relacion de equivalencia siguiente:
xRy si y solo si x, y Q (o x = y).
Por otra parte, en (R
2
, T
u
) se dene analogamente:
(x, y)S(x

, y

) si y solo si (x, y), (x

, y

) Q
2
(o (x

, y

) = (x

, y

)).
Son homeomorfos el cociente R
2
/S y el producto R/R R/R?
N umero 3.13. En R con la topologa usual se dene la relacion de equivalencia: xRy si
y solo si x y es un entero. Demostrar que el espacio cociente R/R es homeomorfo a la
circunferencia S
1
: x
2
+y
2
= 1 con la topologa relativa como subconjunto de R
2
.
N umero 3.14. Demostrar que la recta proyectiva real es homeomorfa a la circunferencia
S
1
.
N umero 3.15. Demostrar que el plano proyectivo es homeomorfo al espacio cociente ob-
tenido del disco cerrado unidad del plano identicando cada dos puntos antipodales de su
borde.
N umero 3.16. Describir como la esfera unidad S
2
R
3
puede obtenerse como espacio
cociente del disco cerrado unidad del plano.
N umero 3.17. Explicar como el disco cerrado unidad del plano puede obtenerse como
cociente de un cilindro S
1
[0, 1] R
3
.
N umero 3.18. Explicar como puede obtenerse la esfera S
2
mediante un cociente de la
suma de dos discos cerrados.
N umero 3.19. Describir el plano proyectivo como cociente de la suma topologica de un
disco cerrado del plano y una banda de Mobius con borde.
N umero 3.20. Sea M R
3
el tronco de cilindro x
2
+y
2
= 1, 2z 2, y sean E, F X
las dos circunferencias x
2
+ y
2
= 1, z = 1, x
2
+ y
2
= 1, z = 1. En M se considera la
relacion de equivalencia
p = (x, y, z) p

= (x

, y

.z

) si y solo si p = p

o z = z

= +1 o z = z

= 1.
Encontrar un subespacio de R
3
homomorfo al espacio cociente M/ .
N umero 3.21. Sea S R
2
el conjunto
(x, y) : 1 x 1, 0 y 1.
En S se considera la relacion de equivalencia denida por las relaciones
(x, y) (x, y); (1, y) (0, y); (x, 1) (x

, 1) para 0 x, x

1.
Encontrar un subespacio de R
3
homeomorfo al espacio cociente X = S/ .
7
N umero 3.22. Sea H R
2
el rectangulo cerrado con vertices (1, 1), (1, 1), (1, 1) y
(1, 1), y consideremos en el las dos relaciones de equivalencia denidas por
R : (x, 1) (x, 1), (x, 0) (0, 0),
S : (x, 1) (x, 1), (x, 0) (0, 0).
Describir subespacios de R
3
homeomorfos a los espacios cocientes X = H/R e Y = H/S.
Son X e Y homeomorfos?
N umero 3.23. Sea H R
2
un hexagono regular cerrado con dos vertices opuestos en
(0, 1) y (0, 1), y consideremos la relacion de equivalencia
(x, y) (x, y) y (0, 1) (0, 1).
Encontrar un subespacio de R
3
homeomorfo al espacio cociente H/ .
N umero 3.24. Se consideran en R
2
los conjuntos
S = x
2
+y
2
1 1 x 2, y = 0 y T = x
2
+y
2
= 1 (2, 0),
equipados con la topologa usual. En S se identican entre s todos los puntos de T (y nada
mas), y se denota X el espacio cociente resultante. Describir un subespacio de R
3
homeomorfo
a ese espacio cociente X.
Lista 4. Separaci on
N umero 4.1. Denir en R una topologa que no sea Kolmogoro (= T
0
). Hagase de manera
que diera de la usual solo en los entornos de dos puntos, que sean los unicos que no puedan
separarse entre s.
N umero 4.2. En un espacio topologico X se denota y x la relacion de especializacion
x y, Denir una topologa no trivial en un conjunto con dos puntos x ,= y, tal que la
unica especializacion existente sea y x. Estudiar las propiedades de separacion del espacio
en cuestion.
N umero 4.3. Mostrar con un ejemplo que una topologa de Frechet (= T
1
) puede no ser
Hausdor (= T
2
).
N umero 4.4. Se equipa R con la topologa T
CF
(cuyos abiertos no vacos son los conjuntos
con complementario nito). Estudiar las propiedades de separacion de este espacio.
N umero 4.5. Se considera la aplicacion R Z : x [x] = parte entera de x y se equipa
Z con la topologa nal correspondiente a la usual en R. Estudiar que puntos de Z se pueden
separar de cuales, y que axiomas de separacion se cumplen en Z con esa topologa nal.
N umero 4.6. Mostrar que el cociente de un espacio Hausdor puede no ser ni siquiera
Kolmogoro.
N umero 4.7. Probar que un espacio es Frechet si y solo si cada punto es la interseccion
de todos sus entornos.
8
N umero 4.8. Estudiar si el intervalo abierto X = (1, 1) es Hausdor con la topologa
cuyos cerrados (,= , X) son los intervalos cerrados [a, b] con 1 < a 0 b < 1.
N umero 4.9. Se equipa el conjunto N de los n umeros naturales con la topologa cuyos
abiertos son los conjuntos E que cumplen la siguiente condicion: si 2n + 1 / E, entonces
2n, 2n + 2 / E. Estudiar si resulta ser un espacio Hausdor.
N umero 4.10. Estudiar las propiedades de separacion de los espacios (R, T
u
), (R, T
CF
) y
(R, T
[,)
). Utilizar el resultado para distinguirlos topologicamente.
N umero 4.11. En R
2
se considera la coleccion B de todos los subconjuntos
V (a, b) = (x, y) R
2
: x a, y b.
Demostrar que B es efectivamente base de una topologa, y estudiar sus propiedades de
separacion.
N umero 4.12. Sea f : S
1
R una aplicacion continua para la topologa usual de la
circunferencia S
1
y la de la recta afn R. Mostrar que la topologa T imagen inversa de f no
es T
0
.
Lista 5. Numerabilidad
N umero 5.1. Se considera en la recta R la topologa T
CF
de los complementarios nitos.
Estudiar:
(1) Si converge la sucesion (n)
n1
, y a que puntos. Lo mismo para las sucesiones
1, 2, 3, 1, 4, 5, 1, 6, 7, 1, . . . y 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, . . .
(2) Si se puede formular una regla para saber cuando una sucesion converge, y a que pun-
tos.
N umero 5.2. Estudiar los axiomas de numerabilidad del plano R
2
equipado con la topo-
loga de 1.7.
N umero 5.3. En X = (1, 1) se considera la topologa de 4.8. Se pide:
(1) Encontrar una sucesion que converja a todos los puntos del espacio, y un punto al que
converjan todas las sucesiones. Mostrar que ese punto es unico, y encontrar una sucesion que
solo converja a ese punto.
(2) Existe una sucesion convergente (resp. no convergente) en la topologa usual de la
recta, y que no lo haga (resp. s lo haga) en esta topologa T?
(3) Estudiar las propiedades de numerabilidad de esta topologa T.
N umero 5.4. Estudiar los axiomas de numerabilidad de un espacio discreto.
N umero 5.5. En un conjunto E se ja un punto p E, y se considera la topologa cuyos
abiertos no vacos son los conjuntos que contienen dicho punto p. Estudiar los axiomas de
numerabilidad de esa topologa.
9
N umero 5.6. Estudiar los axiomas de numerabilidad de R con la topologa
(1) de los intervalos semiabiertos [a, b),
(2) de los complementarios nitos,
(3) de los rayos [a, ).
N umero 5.7. Se equipa la recta real R con la topologa descrita por las siguientes bases
de entornos:
(i) Para los puntos a ,= 0 los intervalos abiertos, y
(ii) Para a = 0 los conjuntos
(, n) (
1
n
,
1
n
) (n, ), n 1.
Estudiar los axiomas de numerabilidad de esta topologa.
N umero 5.8. Demostrar que el plano R
2
con la topologa de 1.8 cumple el axioma 2
o
de
numerabilidad.
N umero 5.9. Se equipa el espacio R
n
con la topologa generada por los conjuntos G =
BA, donde B es una bola abierta y A un conjunto numerable. Estudiar para esta topologa:
(i) Las sucesiones convergentes.
(ii) Los axiomas de numerabilidad.
N umero 5.10. Estudiar las propiedades de numerabilidad del plano R
2
equipado con la
topologa T denida en 1.16.
N umero 5.11. Estudiar los axiomas de numerabilidad del plano R
2
equipado con la topo-
loga de 4.11.
N umero 5.12. Se consideran en R
2
las topologas T
D
, T

y T

asociadas a las metricas

denidas en 1.18. Demostrar que ninguna de ellas cumple el axioma 2
o
de numerabilidad.
N umero 5.13. Probar que en un espacio metrizable el Axioma 2
o
de numerabilidad, la
separabilidad y ser Lindelof son propiedades equivalentes.
N umero 5.14. Estudiar los axiomas de numerabilidad de la esfera, del toro, de la recta
proyectiva, del plano proyectivo y de la botella de Klein.
N umero 5.15. Sea T la topologa de la recta real R cuyos abiertos no vacos son los
subconjuntos U R que contienen todos los n umeros enteros k 1 (esto es, 1, 2, 3, . . . U)
(ver 1.19) Describir las sucesiones convergentes de esta topologa y sus lmites.
N umero 5.16. Estudiar si el plano R
2
con la topologa T de 1.20 es un espacio de Lindelof.
N umero 5.17. Estudiar los axiomas de numerabilidad del plano R
2
la topologa T de los
conjuntos radialmente abiertos (1.21).
N umero 5.18. En el plano R
2
se considera la topologa T de la que una base consiste
en los cuadrados abiertos de centro un punto arbitario p R
2
y lado arbitrario > 0,
menos los puntos ,= p de las dos diagonales. Probar que esta topologa es primer axioma de
numerabilidad. Es ademas separable? Y segundo Axioma?
N umero 5.19. Se considera en el semiplano H : y 0 de R
2
la topologa T generada por
los discos abiertos de centros (a, b) con b > 0, y los semidiscos
S = (x, y) H : (x a)
2
+y
2
< , y > 0 (a, 0).
10
Estudiar los axiomas de numerabilidad de esta topologa.
Lista 6. Compacidad
N umero 6.1. Probar que en un espacio T
2
una interseccion arbitraria de conjuntos com-
pactos es compacto.
N umero 6.2. Equipamos el conjunto X = [0, 1] 2 con la topologa que coincide con la
usual en [0, 1], y tiene por base de entornos de 2 los conjuntos (a, 1) 2 con 0 < a < 1.
Estudiar si este espacio es compacto. Encontrar dos subconjuntos compactos cuya interseccion
no lo sea.
N umero 6.3. Estudiar los subconjuntos compactos de T
CF
y de T
CN
.
N umero 6.4. Mostrar con un ejemplo que la adherencia de un conjunto compacto no tiene
por que serlo.
N umero 6.5. Se consideran en R
2
las topologas T
D
, T

y T

asociadas a las metricas

denidas en 1.18. Estudiar que bolas cerradas son compactas.
N umero 6.6. Caracterizar los subconjuntos compactos de R con la topologa de los rayos
(a, ),
N umero 6.7. Sea C el subconjunto de I = [0, 1] construido como sigue. Se toma primero
A
1
= I (
1
3
,
2
3
), luego A
2
= A
1
(
1
9
,
2
9
) (
7
9
,
8
9
), y en general A
n
se obtiene suprimiendo los
intervalos abiertos centrales de la division en tres partes de cada intervalo de A
n
. El conjunto

n
A
n
se llama conjunto de Cantor. Mostrar que es compacto.
N umero 6.8. En R
2
se considera la topologa cuyos abiertos no vacos son los complemen-
tarios de los compactos usuales. Estudiar si el semiplano x 0 es compacto. Y todo el plano
R
2
?
N umero 6.9. En R se considera la topologa del n umero 5.7. Demostrar que con esta
topologa R es un espacio compacto homeomorfo a la union de dos circunferencias tangentes
en un punto.
N umero 6.10. Se considera en R la topologa usual. Demostrar que si un subconjunto
A Q tiene alg un punto adherente irracional, entonces A no es compacto. Deducir que Q no
es localmente compacto (con la topologa usual).
N umero 6.11. Sea f : X Y una identicacion abierta. Demostrar que si X es local-
mente compacto y Hausdor, tambien lo es Y .
N umero 6.12. Demostrar el teorema de Baire: En un espacio localmente compacto, una
interseccion numerable de abiertos densos es densa a su vez.
N umero 6.13. Encontrar contraejemplos al teorema de Baire: (i) si la interseccion no es
numerable, (ii) si los conjuntos densos que se intersecan no son abiertos, (iii) Si el espacio no
es Haussdor.
11
N umero 6.14. Estudiar con que topologas de las que han ido apareciendo en estos pro-
blemas es la recta R un espacio localmente compacto.
N umero 6.15. Se equipa el plano R
2
con la topologa de 1.16 (resp. la de 4.11). Estudiar
si es un espacio localmente compacto.
N umero 6.16. Probar que si dos espacios localmente compactos y T
2
son homeomorfos,
entonces lo son sus compacticaciones de Alexandro.
N umero 6.17. Equipar la circunferencia S
1
R
2
con una topologa de modo que resulte
ser la compacticacion de Alexandro de R con la topologa discreta.
N umero 6.18. Se equipa el conjunto X = (1, 0) (0, 1) R con la topologa usual.
Hallar su compacticacion de Alexandro.
N umero 6.19. Encontrar todos los subconjuntos compactos del espacio afn R
n
equipado
con la topologa de 5.9.
N umero 6.20. Se considera en X = RZ la topologa T producto de la usual T
u
en R y
la de los complementos nitos T
CF
en Z (ver 3.9). Probar que:
(a) Si M X es compacto, entonces:
(i) M (R k) es compacto para cada k Z, y
(ii) existe L > 0 tal que [t[ L para todo (t, k) M.
(b) El conjunto
M = (1, 0)
_
k1
[0, 1
1
k
] k
es compacto. Es cerrado?
N umero 6.21. Sea T la topologa de la recta real R de 1.19. Mostrar que (R, T) no es
compacto. Es localmente compacto?
N umero 6.22. Estudiar si el plano R
2
con la topologa T de 1.20 es un espacio localmente
compacto.
N umero 6.23. Estudiar si el plano R
2
la topologa T de los conjuntos radialmente abiertos
(1.21) es un espacio locamente compacto.
N umero 6.24. En el plano R
2
se considera la topologa T de 5.18. Demostrar que en esta
topologa un cuadrado cerrado no es compacto, y deducir que los conjuntos compactos tiene
interior vaco. Es el plano con esta topologa localmente compacto?
N umero 6.25. Se considera en el semiplano H : y 0 de R
2
la topologa T de 5.18. Decidir
que cuadrados [a , a +] [b , b +] son compactos, y utilizarlo para determinar si H
es localmente compacto con esta topologa.
12
Lista 7. Conexi on
N umero 7.1. Probar que un espacio X es conexo si y solo si cada subconjunto propio no
vaco de X tiene frontera no vaca.
N umero 7.2. Estudiar si son homeomorfos los intervalos (0, 1) y [0, 1).
N umero 7.3. Estudiar si una circunferencia es homeomorfa a la union de dos circunferen-
cias tangentes en un punto.
N umero 7.4. Demostrar que los puntos son los unicos subconjuntos conexos de Q con la
topologa usual.
N umero 7.5. Equipamos el intervalo X = (0, 1) con la topologa cuyos abiertos ,= , X,
son los conjuntos
_
0, 1
1
n
_
, n 1. Estudiar si es un espacio conexo.
N umero 7.6. En el conjunto Z de los n umeros enteros se considera la topologa generada
por 0 y los conjuntos con complementario nito. Es Z con ella un espacio conexo?
N umero 7.7. Sea R un n umero irracional, y X = Q . Se considera en X la
topologa cuyos abiertos son los subconjuntos abiertos de Q para la topologa usual, y los
subconjuntos de X con complementario nito. Estudiar si X con esta topologa es un espacio
conexo.
N umero 7.8. Se considera en R la topologa del n umero 5.7. Estudiar si es un espacio
conexo.
N umero 7.9. En R
2
se consideran las metricas D, y de 1.18. Estudiar para cuales de
las topologas asociadas es R
2
conexo.
N umero 7.10. Demostrar que en R
2
con la topologa usual, los complementos de conjuntos
numerables son conexos.
N umero 7.11. Consideramos en R
2
la topologa de 1.8. Demostrar que la union de dos
rectas es un conjunto conexo. Tiene R
2
alg un subconjunto no conexo?
N umero 7.12. Estudiar si es conexo el plano R
2
con las topologas de 1.16, 5.9, y 6.8.
N umero 7.13. Se considera el siguiente subespacio del plano R
2
con la topologa usual:
X = (1, 0), (0, 0)
_
n=1
(x,
1
n
) : x R.
Determinar si X es localmente conexo, y hallar sus componentes conexas.
N umero 7.14. En R
2
sea
X = (x, 0) :
1
2
< x 1
_
n1
A
n
,
donde
A
n
= (x, y) : ny = x, 0 x 1.
Probar que X y X son conexos, pero no localmente conexos.
13
N umero 7.15. Sea X R
2
el grafo de la funcion y = sen
_
1
x
_
para 0 < x 1, y sea

X = X (0, 0). Estudiar si

X es conexo, y si es localmente conexo.
N umero 7.16. Se considera en X = RZ la topologa de 3.9: el producto de la usual T
u
en R y la de los complementos nitos T
CF
en Z. Estudiar si una union nita
[0, 1] k
1
[0, 1] k
r

es un conjunto conexo. Y la union innita

k1
[0, 1] k?
N umero 7.17. Equipamos el plano R
2
con la topologa T de 1.20. Demostrar que los unicos
conjuntos conexos para esta topologa son los puntos.
N umero 7.18. Estudiar si los subespacios siguientes de R
2
con la topologa usual son
homeomorfos: X : (x + 1)
2
+y
2
4, x
2
+y
2
1 e Y : 1 x
2
+y
2
4 (ambos en R
2
).
N umero 7.19. Cuales son las componentes conexas del discontinuo de Cantor (6.7)?
N umero 7.20. Sea f : S
1
R una aplicacion no constante continua para las topologas
usuales. Sea X el espacio topologico cociente de S
1
para la relacion: x y si y solo si
f(x) = f(y). Cual es el tipo topologico de X?
Lista 8. Conexion por caminos
N umero 8.1. Enunciar y demostrar los teoremas del pivote para conexion por caminos.
N umero 8.2. Demostrar que R con la topologa de los complementos nitos es conexo por
caminos.
N umero 8.3. Demostrar que en R con la topologa de los complementos numerables todos
los caminos son constantes. Deducir que los unicos subconjuntos conexos por caminos son los
puntos.
N umero 8.4. Demostrar que el plano R
2
con la topologa de 1.8 es conexo por caminos.
N umero 8.5. Sea X R
2
el conjunto de 7.14. Demostrar que X no es conexo por caminos,
pero su adherencia s.
N umero 8.6. Sea

X R
2
como en 7.15. Estudiar si

X es conexo por caminos.
N umero 8.7. En R
2
con la topologa usual se considera el subconjunto
X =
_
[0, 1] 0
_

_
(
1
k
, t) : k 1, 0 t 1
_
(0, 1).
Demostrar que X es conexo, pero no conexo por caminos.
N umero 8.8. En R
2
con la topologa usual se consideran los subconjunto S =
1
k
: k 1
T =
1
k
: k 1, y los intervalos I = [0, 1], J = [1, 0]. Sea
Y =
_
I S
_

_
T I
_

_
J T
_

_
S J
_
.
14
Demostrar que X es conexo, pero no conexo por caminos.
N umero 8.9. Se equipa la recta R con la topologa generada por los conjuntos G = HA,
donde H es un intervalo abierto y A un conjunto numerable. Demostrar que la recta con esta
topologa es conexa, pero no conexa por caminos.
N umero 8.10. Sea T la topologa de la recta real R descrita en 1.19. Dado a R, a ,= 1,
construir una aplicacion suprayectiva continua
: ([0, 1], T
u
) (1, a, T[1, a).
Es (R, T) conexo por caminos?
N umero 8.11. En el plano R
2
se considera la topologa T de 5.18. Estudiar la continuidad
de la aplicacion f : (R, T
u
) (R
2
, T) : t (t, t), para = 0, 1. Es R
2
conexo por caminos
con esta topologa?
N umero 8.12. Se considera en el semiplano H : y 0 de R
2
la topologa T de 5.18.
Estudiar si (H, T) es conexo por caminos.
Lista 9. Homotopa
N umero 9.1. Sea X un espacio conexo por caminos X. Demostrar que dos aplicaciones
constantes f, g : Y X son homotopas.
N umero 9.2. Sea f : S
n
S
n
una aplicacion continua no homotopa a la identidad. Probar
que f transforma alg un punto x S
n
en su antpoda: f(x) = x. Dar una condicion suciente
analoga para que f tenga alg un punto jo x = f(x).
N umero 9.3. Sean A un subconjunto convexo de R
n
, X un espacio topologico e Y X.
Demostrar que si f, g : X A son continuas y coinciden en Y , entonces f y g son homotopas
por una homotopa que coincide con ambas en Y . Deducir que un conjunto estrellado de R
n
es simplemente conexo.
N umero 9.4. Mostrar que el espacio afn menos un punto, X = R
n
a, es homeomorfo
a S
n1
R y utilizar esto para calcular el grupo fundamental de X. Deducir que R
2
no es
homeomorfo a ning un R
n
con n ,= 2.
N umero 9.5. Demostrar que un retracto de un espacio Hausdor es un subconjunto ce-
rrado. Deducir que una bola abierta no es retracto de R
n
.
N umero 9.6. Demostrar que la esfera S
n1
: |x| = 1 es un retracto de deformacion de
R
n
0 y tambien de la corona esferica C R
n
denida por 1 |x| 2. Demostrar que
una bola cerrada de R
n
es retracto de deformacion de todo R
n
.
N umero 9.7. Demostrar que:
(1) La circunferencia x
2
+y
2
= 4 es un retracto de deformacion del conjunto
X = (x, y) R
2
: x
2
+y
2
,= 1 (1, 0).
15
(2) El conjunto X : (x
2
+ y
2
)
2
4x
2
= 0, formado por dos circunferencias tangentes, es
un retracto de deformacion del plano menos los centros (1, 0).
N umero 9.8. Calcular el grupo fundamental del espacio X = A B R
3
donde
A : x
2
+y
2
+z
2
= 1, x 0; B : x
2
+y
2
= 1, x 0, z = 0.
N umero 9.9. Calcular los grupos fundamentales de:
R B
2
, S
2
S
1
, (B
2
a) S
1
, (S
2
a) S
1
.
(Se denota S
2
R
3
la esfera unidad x
2
+y
2
+z
2
= 1, y B
2
R
2
el disco abierto x
2
+y
2
< 1.)
N umero 9.10. Calcular el grupo fundamental de las siguientes cuadricas de R
3
:
Q
1
: x
2
y
2
z
2
= 2, Q
2
: z = x
2
+y
2
, Q
3
: x
2
+y
2
z
2
= 0, Q
4
: x
2
+y
2
z
2
= 1.
N umero 9.11. Calcular el grupo fundamental del paraguas de Whitney X R
3
de ecua-
cion x
2
zy
2
= 0.
N umero 9.12. Estudiar si los siguientes pares de espacios son homeomorfos:
(1) Un disco cerrado D
2
R
2
: x
2
+y
2
1 y la esfera unidad S
2
R
3
: x
2
+y
2
+z
2
= 1.
(2) Una bola cerrada D
3
R
3
: x
2
+y
2
+z
2
1 y S
2
.
(3) X = D
2
0 (0, 0) [0, 1] e Y = D
2
0 (1, 0) [0, 1].
(4) S
1
S
1
y D
1
D
1
, donde
S
t
R
3
: x
2
+y
2
+ (z t)
2
= 1, D
t
R
2
: (x t)
2
+y
2
1.
N umero 9.13. Sea D el disco cerrado de R
2
, con borde S
1
. Demostrar que D a es
simplemente conexo si y solo si a S
1
. Deducir que todo homeomorsmo f : D D
transforma S
1
en S
1
.
N umero 9.14. Denir en el disco cerrado D una aplicacion continua f : D D que tenga
un unico punto jo, que este en el borde del disco.
N umero 9.15. Sea M R
3
el tronco de cilindro x
2
+ y
2
= 1, 2z 2, la relacion
de equivalencia de 3.20, y X = M/ el correspondiente espacio cociente. Calcular el grupo
fundamental de X. Es cierto en general que al hacer un cociente el grupo fundamental se
simplica?
N umero 9.16. Consideramos en el rectangulo S = (x, y) : 1 x 1, 0 y 1 la
relacion de equivalencia denida en 3.21, y el correspondiente cociente X = S/ . Mostrar
que X es simplemente conexo, pero que no es homeomorfo a una esfera.
N umero 9.17. Demostrar que en un espacio simplemente conexo dos caminos con los
mismos extremos son homotopos con extremos jos.
N umero 9.18. Demostrar que existe una circunferencia en la banda de Mobius que es
retracto de deformacion suyo. Deducir que la banda de Mobius y el cilindro son homotopica-
mente equivalentes.
16
N umero 9.19. Sea f : X Y una equivalencia de homotopa. Probar que si X es conexo
(resp. conexo por caminos), entonces Y lo es tambien. Mas generalmente, probar que f
establece una biyeccion entre las componentes conexas (resp. conexas por caminos) C de X y
las componentes conexas (resp. conexas por caminos) D de Y , de manera que las restricciones
f[
C
: C D son equivalencias de homotopa bien denidas.
17