Grado en Matem

aticas. UCM

TOPOLOGIA ELEMENTAL
Raquel Daz, Francisco Gallego Lupia
nez, Feliciana Serrano, Jes
us M. Ruiz

PROBLEMAS1

Lista 0.

Para empezar

N
umero 0.1. Comprobar las leyes distributivas para la union y la interseccion de conjuntos, y las leyes de De Morgan.
N
umero 0.2. Se consideran una aplicacion f : A B y subconjuntos A0 A, B0 B.
(1) Demostrar que A0 f 1 (f (A0 )) y que se da la igualdad si f es inyectiva.
(2) Demostrar que f (f 1 (B0 )) B0 y que se da la igualdad si f es sobreyectiva.
N
umero 0.3. Se consideran una aplicacion f : A B y colecciones de subconjuntos
A` A y B` B.
(1) Probar que f 1 conserva las inclusiones, uniones, intersecciones y las diferencias de
conjuntos:
(a) Si B1S B2 , entonces
f 1 (B1 ) f 1 (B2 ).
S
(b) f 1 (T i Bi ) = T i f 1 (Bi ).
(c) f 1 ( i Bi ) = i f 1 (Bi ).
(d) f 1 (B1 \ B2 ) = f 1 (B1 ) \ f 1 (B2 ).
(2) Demostrar que f conserva solamente las uniones y las inclusiones:
(a) Si S
A1 A2 ,Sentonces f (A1 ) f (A2 ).
(b) f (T i Ai ) = T i f (Ai ).
(c) f ( i Ai ) i f (Ai ); se da la igualdad si f es inyectiva.
(d) f (A1 \ A2 ) f (A1 ) \ f (A2 ); se da la igualdad si f es 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 Rn ) Comprobar que cada una de las siguientes es una distancia en Rn . Estudiar
omo son las bolas en cada una de ellas.
pP c
(1) d(x, y) = P ni=1 (xi yi )2 .
(2) 1 (x, y) = ni=1 |xi yi |.
(3) 2 (x, y) = max{|x1 y1 |, . . . , |xn yn |}.
qP
qP
pP
2
2
(ai + bi )
ai +
b2i . )
(Para la primera, utilizar la desigualdad de Minkowsky:
N
umero 0.6. Sea C(I) el conjunto de las aplicaciones continuas del intervalo I = [0, 1] en
R. Probar que:
(1) (f, g) = supxI {|f (x) g(x)|} es una distancia en C(I).
1

Versi
on 2014.V

R1
(2) (f, g) = 0 |f (x) g(x)|dx es una distancia en C(I).
Estos ejemplos muestran distancias interesantes y u
tiles en espacios distintos de Rn .
N
umero 0.7. (Distancias acotadas) Una distancia en M es acotada si existe una constante 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 topol

ogicos
N
umero 1.1. Sea X un conjunto, y TCF la familia de todos los subconjuntos de X cuyo
complementario es finito, m
as el conjunto vaco. Probar que TCF es una topologa en X.
Esta topologa se llama, por razones evidentes, topologa de los complementarios finitos.
Que topologa obtenemos si X es un conjunto finito?
N
umero 1.2. Sea X un conjunto infinito, y TCN la familia de todos los subconjuntos de
X cuyo complementario es numerable, mas el conjunto vaco. Probar que TCN es una topologa en X. Esta topologa se llama, por razones evidentes, topologa de los complementarios
numerables. Cu
ando obtenemos la topologa discreta?
N
umero 1.3. En un conjunto X se considera la familia T de todos los subconjuntos con
complementario infinito, vaco o todo X. Estudiar si T es una topologa.
N
umero 1.4. Sea X un conjunto infinito y T una topologa en la que todos los conjuntos
infinitos son abiertos. Demostrar que T es la topologa discreta.
N
umero 1.5. En un conjunto X esta definida una topologa T, y se considera un subconjunto S X. Probar que
T0 = {, G S : G T}
define una topologa en X. Comparar T y T0 .
N
umero 1.6. Sean T1 y T2 dos topologas en un conjunto X. Mostrar que su interseccion
T1 T2 es tambien una topologa. Se puede decir lo mismo de su union T1 T2 ? Construir
la topologa menos fina que contiene a esa union.
N
umero 1.7. En el plano X = R2 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 = R2 se consideran los subconjuntos

Gt = {(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?
2

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 finito. Estudiar si T es una topologa en X.
N
umero 1.10. En el espacio (X, T) del n
umero 1.5, determinar la adherencia de un conjunto A X seg
un la intersecci
on S A sea o no vaca.
N
umero 1.11. En el conjunto finito 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? Cu
al 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. Cu
ales son los subconjuntos densos? Cuales son los entornos de un punto dado?
N
umero 1.14. Sea X un conjunto. Definir 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 Tu en un espacio afn Rn es por definicion 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 definir 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 R2 se considera la familia B de todos los subconjuntos

B((x, y), ) = [(x, x + ) (y, y + )] {(x, y)},

(x, y) R2 , > 0.

(1) Demostrar que B es base de una topologa T en R2 .

(2) Estudiar la relaci
on de esta topologa con la topologa usual Tu del plano.
(3) Hallar el interior de [0, 1] [0, 1] y la adherencia de (0, 1) (0, 1) en T y en Tu .
N
umero 1.17. En R2 se considera la topologa T del n
umero 1.8. Son las rectas cerrados
de esta topologa? Si no lo son, cu
al es su adherencia? Calcular:
(1) Las adherencias de los cuadrantes A : x 0, y 0 y B : x 0, y 0,
(2) El interior y la adherencia del conjunto {x > y} {x > y}.
(3) Tiene alg
un punto (x, y) alg
un entorno cerrado distinto de todo el plano?
Sea d la distancia eucldea en el plano R2 . Se definen otras dos distancias
(
0
si P = Q,
D(P, Q) =
y
d(O, P ) + d(O, Q) si no,
(
d(P, Q)
si O, P y Q estan alineados,
(P, Q) =
d(O, P ) + d(O, Q) si no,

N
umero 1.18.
mediante

donde O es el origen, y una tercera

(
|y1 y2 |
(P, Q) =
|y1 | + |x1 x2 | + |y2 |

si x1 = x2 ,
si no,

donde P = (x1 , y1 ) y Q = (x2 , y2 ). 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:
(1) Una recta,
(2) [0, 1) [0, 1),
(3) [0, 1] [0, 1], y
(4) [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.
(1) Tiene cada punto un entorno mnimo?
(2) Describir las operaciones de clausura e interior.
N
umero 1.20. Se consideran en el plano R2 los tri
angulos semiabiertos de vertice (a, b)
2
R y anchura > 0 definidos por
U = {(x, y) R2 : x y a b, x + y a + b, a x < a + },
y equipamos R2 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 R2 se llama radialmente abierto si para cada
punto p W y cada recta L que pase por el punto, W L contiene un intervalo abierto centrado en p. Probar que los conjuntos radialmente abiertos son los abiertos de una topologa T en
R2 . Que relaci
on 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 0 , T0 ) dos espacios topologicos y f : X X 0 una aplicacion.
Probar que f es continua si y s
olo si existe una base B0 de T0 tal que f 1 (B 0 ) T para cada
0
0
B 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, Tu ) la correspondiente funci
on caracterstica:
(
1 si x A,
A (x) =
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, Tu ) son continuas, entonces T es la topologa discreta.
4

N
umero 2.4. Sean f : (X, T) (X 0 , T0 ) y g : (X 0 , T0 ) (X 00 , T00 ) aplicaciones continuas cuya composici
on g f es un homeomorfismo. Probar que si g es inyectiva (resp. f es
suprayectiva), entonces f y g son homeomorfismos.
N
umero 2.5.

Se considera la aplicacion
f : R R2 : t 7

t
t3
,
1 + t4 1 + t4


,

y se denota X = f (R). Se equipan R y R2 con las topologa usuales, y X R2 con la

topologa relativa T = Tu |X. Mostrar que f : (R, Tu ) (X, T) es una aplicacion continua y
biyectiva, pero no un homeomorfismo.
N
umero 2.6. Describir los homeomorfismos entre espacios con la topologa de los complementos finitos. Y con la topologa de los complementos numerables?
N
umero 2.7. Sea f : R R la aplicacion dada por f (x) = x2 . Estudiar si f es continua
con las siguientes topologas:

Tu TCF , Tu TCN , TCF Tu , TCF TCF , T[,) Tu , Tu T[,) , T[,) T[,) .

(Estas topologas se definieron en la leccion anterior.)
N
umero 2.8. Demostrar que si una aplicacion f : R R es continua para Tu T[,) y
tambien para Tu T(,] , entonces es una aplicacion constante.
N
umero 2.9. Sea f : R R2 la aplicacion f (x) = (x, x2 ). Estudiar si es continua para las
siguientes topologas:

Tu T (numero 1.18), Tu T (numero 1.16), TCN Tu ,

T[,) T.

N
umero 2.10. Se equipa R2 con la topologa T . Estudiar la continuidad de:
(1) Las traslaciones : (R2 , T ) (R2 , T ).
(2) Los giros : (R2 , T ) (R2 , T ).
(3) Las simetras : (R2 , T ) (R2 , 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 7 [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. Definir homeomorfismos:
(1) Entre un tri
angulo equil
atero y un disco cerrado, que transforme el borde del triangulo
en la circunferencia, y los tres vertices del triangulo en tres puntos prefijados de la misma.
(2) 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 prefijados 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:
5

(1) Induce en las rectas del plano la topologa usual.

(2) Una aplicacion f : R2 X es continua si lo son todas sus restricciones a rectas.
2y
Estudiar la cotinuidad de la funci
on f (x, y) = y2x+x
a radial y
4 respecto de esta topolog
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 B una 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 R2 se consideran las topologas TD , 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
2
de R .
Lo mismo para la topologa T del n
umero 1.8.
N
umero 3.4. Sea T la topologa del plano R2 definida en el n
umero 1.16. Hallar la topologa 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 R2 = R R definidas en los
dos n
umeros anteriores es el producto de dos topologas en R.
N
umero 3.6. Sea (Xi , Ti ), i I, una coleccion de espacios topologicos y consideremos
subconjuntos Ai Xi , i QI. Probar
 Q que la topologa producto de las relativas Ti |Ai coincide
con la topologa relativa i Ti  i Ai .
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:

(1) A B = A B.
(2) A B = A B.




(3) Fr(A B) = A Fr (B) Fr (A) B .
N
umero 3.8. Sea (Xi , TQ
i ), i I, una colecci
Qon de espacios topologicos y para cada i I
sea Ai Xi . Probar que i Ai es denso en i Xi (con la topologa producto) si y solo si
cada Ai es denso en Xi .
N
umero 3.9. Se considera en X = R Z la topologa T producto de la usual Tu en R y la
de los complementos finitos TCF en Z. Estudiar la continuidad de la aplicacion f : (X, T)
(R, Tu ) : (t, k) 7 t k.
N
umero 3.10. Se consideran en el plano R2 la topologa T de 1.20. Existe alguna topologa T1 en R tal que T sea la topologa producto T1 T1 ? Y tal que (R2 , T) sea homeomorfo
a (R2 , T1 T1 )?
N
umero 3.11. En R2 se consideran las rectas r : y = 0, s : y = 1 y t : x = 0, su union
M = r st, y el segmento A : x = 0, 0 y 1. En M se define la relacion de equivalencia R
6

que identifica todos los puntos de A. Ahora se equipa R2 con la topologa usual y el conjunto
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, Tu ) se considera la relacion de equivalencia siguiente:

xRy si y solo si x, y Q (o x = y).

Por otra parte, en (R2 , Tu ) se define analogamente:

(x, y)S(x0 , y 0 ) si y s
olo si (x, y), (x0 , y 0 ) Q2 (o (x0 , y 0 ) = (x0 , y 0 )).
Son homeomorfos el cociente R2 /S y el producto R/R R/R?
N
umero 3.13. En R con la topologa usual se define 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 S1 : x2 + y 2 = 1 con la topologa relativa como subconjunto de R2 .
N
umero 3.14.
1
S .

Demostrar que la recta proyectiva real es homeomorfa a la circunferencia

N
umero 3.15. Demostrar que el plano proyectivo es homeomorfo al espacio cociente obtenido del disco cerrado unidad del plano identificando cada dos puntos antipodales de su
borde.
N
umero 3.16. Describir c
omo la esfera unidad S2 R3 puede obtenerse como espacio
cociente del disco cerrado unidad del plano.
N
umero 3.17. Se considera la aplicacion p : R2 R2 definida por p(x, y) = (x, xy) y se
denota E R2 su divisor excepcional x = 0.
(1) Mostrar que p induce un homeomorfismo de R2 \ E sobre s mismo.
(2) Deducir que p induce una identificacion topologica del cuadrado cerrado de vertices
(0, 0), (1, 0), (1, 1), (0, 1) sobre el tri
angulo cerrado de vertices (0, 0), (1, 0), (1, 1).
Utilizar lo anterior para probar que si en un disco cerrado se identifican a un solo punto
todos los de un arco cerrado propio de su borde el espacio cociente es de nuevo un disco
cerrado.
N
umero 3.18. Explicar c
omo el disco cerrado unidad del plano puede obtenerse como
1
cociente de un cilindro S [0, 1] R3 .
N
umero 3.19. Explicar c
omo puede obtenerse la esfera S2 mediante un cociente de la
suma de dos discos cerrados.
N
umero 3.20. 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.21. Sea M R3 el tronco de cilindro {x2 +y 2 = 1, 2 z 2}, y sean E, F X
las dos circunferencias {x2 + y 2 = 1, z = 1}, {x2 + y 2 = 1, z = 1}. En M se considera la
relacion de equivalencia
p = (x, y, z) p0 = (x0 , y 0 .z 0 ) si y solo si p = p0 o z = z 0 = +1 o z = z 0 = 1.
Encontrar un subespacio de R3 homomorfo al espacio cociente M/ .
7

N
umero 3.22.

Sea S R2 el conjunto
{(x, y) : 1 x 1, 0 y 1}.

En S se considera la relaci
on de equivalencia definida por las relaciones
(x, y) (x, y);

(1, y) (0, y);

(x, 1) (x0 , 1) para 0 x, x0 1.

Encontrar un subespacio de R3 homeomorfo al espacio cociente X = S/ .

N
umero 3.23. Sea H R2 el rectangulo cerrado con vertices (1, 1), (1, 1), (1, 1) y
(1, 1), y consideremos en el las dos relaciones de equivalencia definidas por
R : (x, 1) (x, 1), (x, 0) (0, 0),
S : (x, 1) (x, 1), (x, 0) (0, 0).
Describir subespacios de R3 homeomorfos a los espacios cocientes X = H/R e Y = H/S.
Son X e Y homeomorfos?
N
umero 3.24. Sea H R2 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 R3 homeomorfo al espacio cociente H/ .
N
umero 3.25.

Se consideran en R2 los conjuntos

S = {x2 + y 2 1} {1 x 2, y = 0} y

T = {x2 + y 2 = 1} {(2, 0)},

equipados con la topologa usual. En S se identifican entre s todos los puntos de T (y nada
mas), y se denota X el espacio cociente resultante. Describir un subespacio de R3 homeomorfo
a ese espacio cociente X.

Lista 4. Separaci
on
N
umero 4.1. Definir en R una topologa que no sea Kolmogoroff (= T0 ). Hagase de manera
que difiera de la usual s
olo en los entornos de dos puntos, que sean los u
nicos que no puedan
separarse entre s.
N
umero 4.2. En un espacio topol
ogico X se denota y x la relaci
on de especializaci
on
x {y}, Definir una topologa no trivial en un conjunto con dos puntos x 6= y, tal que la
u
nica especializaci
on 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 (= T1 ) puede no ser
Hausdorff (= T2 ).
8

N
umero 4.4. Se equipa R con la topologa TCF (cuyos abiertos no vacos son los conjuntos
con complementario finito). Estudiar las propiedades de separacion de este espacio.
N
umero 4.5. Se considera la aplicacion R Z : x 7 [x] = parte entera de x y se equipa
Z con la topologa final correspondiente a la usual en R. Estudiar que puntos de Z se pueden
separar de cu
ales, y que axiomas de separacion se cumplen en Z con esa topologa final.
N
umero 4.6.
Kolmogoroff.

Mostrar que el cociente de un espacio Hausdorff puede no ser ni siquiera

N
umero 4.7. Probar que un espacio es Frechet si y solo si cada punto es la interseccion
de todos sus entornos.
N
umero 4.8. En el intervalo abierto X = (1, 1) se considera la topologa cuyos cerrados
(6= , X) son los intervalos cerrados [a, b] con 1 < a 0 b < 1. Estudiar los axiomas de
separacion de este espacio.
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 Hausdorff.
N
umero 4.10. Estudiar las propiedades de separacion de los espacios (R, Tu ), (R, TCF ) y
(R, T[,) ). Se puede utilizar el resultado para distinguirlos topologicamente?
N
umero 4.11.

En R2 se considera la coleccion B de todos los subconjuntos

V (a, b) = {(x, y) R2 : 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 : S1 R una aplicacion continua para la topologa usual de la
circunferencia S1 y la de la recta afn R. Mostrar que la topologa T imagen inversa de f no
es T0 .

Lista 5. Numerabilidad
N
umero 5.1. Se considera en la recta R la topologa TCF de los complementarios finitos.
Estudiar:
(1) Si converge la sucesi
on (n)n1 , y a que puntos. Lo mismo para las sucesiones
1, 2, 3, 1, 4, 5, 1, 6, 7, 1, . . .

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 puntos.
N
umero 5.2.
loga de 1.7.

Estudiar los axiomas de numerabilidad del plano R2 equipado con la topo-

N
umero 5.3. En X = (1, 1) se considera la topologa de 4.8. Se pide:
(1) Encontrar una sucesi
on que converja a todos los puntos del espacio, y un punto al que
converjan todas las sucesiones. Mostrar que ese punto es u
nico, y encontrar una sucesion que
solo converja a ese punto.
(2) Existe una sucesi
on 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 fija 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.
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 finitos,
(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:
(1) Para los puntos a 6= 0 los intervalos abiertos, y
(2) Para a = 0 los conjuntos
(, n) ( n1 , n1 ) (n, ),

n 1.

Estudiar los axiomas de numerabilidad de esta topologa.

N
umero 5.8. Demostrar que el plano R2 con la topologa de 1.8 cumple el axioma 2o de
numerabilidad.
N
umero 5.9. Se equipa el espacio Rn con la topologa generada por los conjuntos G =
B \A, donde B es una bola abierta y A un conjunto numerable. Estudiar para esta topologa:
(1) Las sucesiones convergentes.
(2) Los axiomas de numerabilidad.
N
umero 5.10. Estudiar las propiedades de numerabilidad del plano R2 equipado con la
topologa T definida en 1.16.
N
umero 5.11.
loga de 4.11.

Estudiar los axiomas de numerabilidad del plano R2 equipado con la topo-

N
umero 5.12. Se consideran en R2 las topologas TD , T y T asociadas a las metricas
definidas en 1.18. Demostrar que ninguna de ellas cumple el axioma 2o de numerabilidad.
N
umero 5.13. Probar que en un espacio metrizable el Axioma 2o de numerabilidad, la
separabilidad y ser Lindel
of 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 (ver 1.19) Describir las
sucesiones convergentes de esta topologa y sus lmites.
10

N
umero 5.16.

Estudiar si el plano R2 con la topologa T de 1.20 es un espacio de Lindelof.

N
umero 5.17. Estudiar los axiomas de numerabilidad del plano R2 la topologa T de los
conjuntos radialmente abiertos (1.21).
N
umero 5.18. En el plano R2 se considera la topologa T de la que una base consiste
en los cuadrados abiertos de centro un punto arbitario p R2 y lado arbitrario > 0,
menos los puntos 6= p de las dos diagonales. Probar que esta topologa es primer axioma de
numerabilidad. Es adem
as separable? Y segundo axioma?
N
umero 5.19. Se considera en el semiplano H : y 0 de R2 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)}.
Estudiar los axiomas de numerabilidad de esta topologa.

Lista 6. Compacidad
N
umero 6.1. Probar que en un espacio T2 una interseccion arbitraria de conjuntos compactos 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 TCF y de TCN .

N
umero 6.4.
por que serlo.

Mostrar con un ejemplo que la adherencia de un conjunto compacto no tiene

N
umero 6.5. Se consideran en R2 las topologas TD , T y T asociadas a las metricas
definidas en 1.18. Estudiar que bolas cerradas son compactas.
N
umero 6.6.
(a, ),

Caracterizar los subconjuntos compactos de R con la topologa de los rayos

N
umero 6.7. Sea C el subconjunto de I = [0, 1] construido como sigue. Se toma primero
A1 = I \ ( 13 , 32 ), luego A2 = A1 \ ( 19 , 29 ) ( 97 , 89 ), y en general An se obtiene suprimiendo los
intervalos
abiertos centrales de la division en tres partes de cada intervalo de An . El conjunto
T
A
se
llama
conjunto de Cantor. Mostrar que es compacto.
n n
N
umero 6.8. En R2 se considera la topologa cuyos abiertos no vacos son los complementarios de los compactos usuales. Estudiar si el semiplano x 0 es compacto es compacto en
esta topologa. Probar que un conjunto es compacto en esta topologa si y solo si es cerrado
en la usual.
N
umero 6.9.

En R se considera la topologa del n

umero 5.7. Demostrar que con esta
11

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 identificacion abierta. Demostrar que si X es localmente compacto, tambien lo es Y .
N
umero 6.12. Demostrar el teorema de Baire: En un espacio localmente compacto y T2 ,
una intersecci
on 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 Haussdorff.
N
umero 6.14. Estudiar con que topologas de las que han ido apareciendo en estos problemas es la recta R un espacio localmente compacto.
N
umero 6.15. Se equipa el plano R2 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 T2 son homeomorfos,
entonces lo son sus compactificaciones de Alexandroff.
N
umero 6.17. Equipar la circunferencia S1 R2 con una topologa de modo que resulte
ser la compactificaci
on de Alexandroff 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 compactificaci
on de Alexandroff.
N
umero 6.19. (Francisco Criado) Sea X R2 el semiplano cerrado de ecuacion y 1.
(1) Mostrar que la compactificacion de Alexandroff X de X es homeomorfa a un disco
1
cerrado, utitilizando la inversi
on (x, y) = x2 +y
2 (x, y).
(2) La traslaci
on h(x, y) = (x + 1, y) es un homeomorfismo sin puntos fijos de X. Mostrar
que h se extiende a la compactificaci
on de Alexandroff X y obtener as un homeomorfismo
del disco cerrado en s mismo con un u
nico punto fijo, que esta en el borde.
N
umero 6.20. Encontrar todos los subconjuntos compactos del espacio afn Rn equipado
con la topologa de 5.9.
N
umero 6.21. Se considera en X = R Z la topologa T producto de la usual en R y la
de los complementos finitos en Z (ver 3.9). Se denota : X R la proyeccion canonica.
(1) Probar que el conjunto siguiente no es compacto
[ 

N=
0, 1 k1 {k}
k1

(2) Probar que M = N {(1, 0)} es compacto pero no cerrado. Cual es su adherencia?
(3) Demostrar que un conjunto cerrado M X es compacto si y solo si (M ) es acotado,
y deducir que la adherencia de un compacto es siempre compacta.
(4) Demostrar que un conjunto M X es compacto si y solo si se cumplen las dos
condiciones siguientes:
12

(a) M (R {k}) es compacto para cada k Z, y

(b) el conjunto (M ) es compacto.
N
umero 6.22. 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.23.
compacto.

Estudiar si el plano R2 con la topologa T de 1.20 es un espacio localmente

N
umero 6.24. Estudiar si el plano R2 la topologa T de los conjuntos radialmente abiertos
(1.21) es un espacio locamente compacto.
N
umero 6.25. En el plano R2 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 tienen
interior vaco. Es el plano con esta topologa localmente compacto?
N
umero 6.26. Se considera en el semiplano H : y 0 de R2 la topologa T de 5.19.
Estudiar el lmite en esta topologa de las sucesiones del tipo {(x, 1/k) : k 1} y utilizarlas
para determinar si (H, T) es localmente compacto.
N
umero 6.27. Construir una aplicacion biyectiva y continua de un espacio compacto (no
Hausdorff) en s mismo que no sea homeomorfismo.

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 circunferencias tangentes en un punto.
N
umero 7.4. Demostrar que los puntos son los u
nicos subconjuntos conexos de Q con la
topologa usual.
N
umero 7.5. Equipamos

el intervalo X = (0, 1) con la topologa cuyos abiertos 6= , X,
son los conjuntos 0, 1 n1 , 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 finito. 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 finito. Estudiar si X con esta topologa es un espacio
conexo.
N
umero 7.8.
conexo.

Se considera en R la topologa del n

umero 5.7. Estudiar si es un espacio

13

N
umero 7.9. En R2 se consideran las metricas D, y de 1.18. Estudiar para cuales de
las topologas asociadas es R2 conexo.
N
umero 7.10. Demostrar que en R2 con la topologa usual, los complementos de conjuntos
numerables son conexos.
N
umero 7.11. Consideramos en R2 la topologa de 1.8. Demostrar que la union de dos
rectas es un conjunto conexo. Tiene R2 alg
un subconjunto no conexo?
N
umero 7.12.

Estudiar si es conexo el plano R2 con las topologas de 1.16, 5.9, y 6.8.

N
umero 7.13.

Se considera el siguiente subespacio del plano R2 con la topologa usual:

[
{(x, n1 ) : x R}.
X = {(1, 0), (0, 0)}
n6=1

Determinar si X es localmente conexo, y hallar sus componentes conexas.

N
umero 7.14.

En R2 sea
X = {(x, 0) :

1
2

< x 1}

{(x, y) : ny = x, 0 x 1}.

n1

Probar que X y X son conexos, pero no localmente conexos.

N
umero 7.15. Sea X R2 el grafo de la funcion y = sen x1 para 0 < x 1, y sea
e = X {(0, 0)}. Estudiar si X
e es conexo, y si es localmente conexo.
X
N
umero 7.16. Se considera en X = R Z la topologa de 3.9: el producto de la usual Tu
en R y la de los complementos finitos TCF en Z. Estudiar si una union finita
[0, 1] {k1 } [0, 1] {kr }
S
es un conjunto conexo. Y la uni
on infinita k1 [0, 1] {k}?
N
umero 7.17. Equipamos el plano R2 con la topologa T de 1.20. Demostrar que los u
nicos
conjuntos conexos para esta topologa son los puntos.
N
umero 7.18. Estudiar si los subespacios siguientes de R2 con la topologa usual son
homeomorfos: X : (x + 1)2 + y 2 4, x2 + y 2 1 e Y : 1 x2 + y 2 4 (ambos en R2 ).
N
umero 7.19.

Cu
ales son las componentes conexas del discontinuo de Cantor (6.7)?

N
umero 7.20. Sea f : S1 R una aplicacion no constante continua para las topologas
usuales. Sea X el espacio topol
ogico cociente de S1 para la relacion: x y si y solo si
f (x) = f (y). Cu
al es el tipo topol
ogico de X?
N
umero 7.21. Demostrar que toda funcion continua f : S1 R alcanza el mismo valor
en al menos dos puntos antipodales.
N
umero 7.22. Sean C y F dos subconjuntos cerrados de la circunferencia S1 que la recubren. Utilizar la funci
on f (x) = dist(x, C) para demostrar que al menos uno de ellos contiene
dos puntos antipodales.
N
umero 7.23. Demostrar que las siguientes afirmaciones son equivalentes:
(1) (Borsuk-Ulam) Toda aplicaci
on continua f : Sn Rn alcanza el mismo valor en dos
14

puntos antipodales.
(2) Toda aplicaci
on continua f : Sn Rn impar (esto es, tal que f (x) = f (x)) se
anula en alg
un punto.
(3) No hay aplicaciones continuas f : Sn Sn1 impares.
N
umero 7.24. (1) Se considera la esfera Sn1 Rn y se inscribe en ella un simple con
vertice en el polo norte (0, . . . , 0, 1) y cara opuesta en el hiperplano xn = 21 . Proyectar el
simple desde el origen para concluir que Sn1 es union de n+1 subconjuntos cerrados ninguno
de los cuales contiene puntos antipodales.
(2) Demostrar que las tres afirmaciones del problema anterior equivalen a la siguiente:
(Lusternick-Schnirelmann) Si n + 1 cerrados recubren la esfera Sn , entonces alguno contiene dos puntos antipodales.

Lista 8. Conexi
on por caminos
N
umero 8.1.

Enunciar y demostrar los teoremas del pivote para conexion por caminos.

N
umero 8.2.
caminos.

Demostrar que R con la topologa de los complementos finitos es conexo por

N
umero 8.3. Demostrar que en R con la topologa de los complementos numerables todos
los caminos son constantes. Deducir que los u
nicos subconjuntos conexos por caminos son los
puntos.
N
umero 8.4.

Demostrar que el plano R2 con la topologa de 1.8 es conexo por caminos.

N
umero 8.5. Sea X R2 el conjunto de 7.14. Demostrar que X no es conexo por caminos,
pero su adherencia s.
N
umero 8.6.

e R2 como en 7.15. Estudiar si X

e es conexo por caminos.
Sea X

N
umero 8.7.

En R2 con la topologa usual se considera el subconjunto

X = [0, 1] {0} {( k1 , t) : k 1, 0 t 1} {(0, 1)}.

Demostrar que X es conexo, pero no conexo por caminos.

N
umero 8.8. En R2 con la topologa usual se consideran los subconjunto S = { k1 : k 1}
T = { 1
k : k 1}, y los intervalos I = [0, 1], J = [1, 0]. Sea








Y = I S T I J T SJ .
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 = H \ A,
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 6= 1,

15

construir una aplicaci

on suprayectiva continua
: ([0, 1], Tu ) ({1, a}, T|{1, a}).
Es (R, T) conexo por caminos?
N
umero 8.11. En el plano R2 se considera la topologa T de 5.18. Estudiar la continuidad
de la aplicaci
on f : (R, Tu ) (R2 , T) : t 7 (t, t), para = 0, 1. Es R2 conexo por caminos
con esta topologa?
N
umero 8.12. Se considera en el semiplano H : y 0 de R2 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 hom
otopas.
N
umero 9.2. Sea f : Sn Sn una aplicacion continua no homotopa a la identidad. Probar
que f transforma alg
un punto x Sn en su antpoda: f (x) = x. Dar una condicion suficiente
analoga para que f tenga alg
un punto fijo x = f (x).
N
umero 9.3. Sean A un subconjunto convexo de Rn , 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 Rn
es simplemente conexo.
N
umero 9.4. Mostrar que el espacio afn menos un punto, X = Rn \ {a}, es homeomorfo
a Sn1 R y utilizar esto para calcular el grupo fundamental de X. Deducir que R2 no es
homeomorfo a ning
un Rn con n 6= 2.
N
umero 9.5. Demostrar que un retracto de un espacio Hausdorff es un subconjunto cerrado. Deducir que una bola abierta no es retracto de Rn .
N
umero 9.6. Demostrar que la esfera Sn1 : kxk = 1 es un retracto de deformacion de
Rn \ {0} y tambien de la corona esferica C Rn definida por 1 kxk 2. Demostrar que
una bola cerrada de Rn es retracto de deformacion de todo Rn .
N
umero 9.7. Demostrar que:
(1) La circunferencia x2 + y 2 = 4 es un retracto de deformacion del conjunto
X = {(x, y) R2 : x2 + y 2 6= 1} {(1, 0)}.
(2) El conjunto X : (x2 + y 2 )2 4x2 = 0, formado por dos circunferencias tangentes, es
un retracto de deformaci
on del plano menos los centros (1, 0).
N
umero 9.8.

Calcular el grupo fundamental del espacio X = A B R3 donde

A : x2 + y 2 + z 2 = 1, x 0;

B : x2 + y 2 = 1, x 0, z = 0.
16

N
umero 9.9.

Calcular los grupos fundamentales de:

R B2,

S2 S1 ,

(B 2 \ {a}) S1 ,

(S2 \ {a}) S1 .

(Se denota S2 R3 la esfera unidad x2 + y 2 + z 2 = 1, y B 2 R2 el disco abierto x2 + y 2 < 1.)

N
umero 9.10.

Calcular el grupo fundamental de las siguientes cuadricas de R3 :

Q1 : x2 y 2 z 2 = 2,

Q2 : z = x2 + y 2 ,

Q3 : x2 + y 2 z 2 = 0,

Q4 : x2 + y 2 z 2 = 1.

N
umero 9.11. Calcular el grupo fundamental del paraguas de Whitney X R3 de ecuacion x2 zy 2 = 0.
N
umero 9.12. Estudiar si los siguientes pares de espacios son homeomorfos:
(1) Un disco cerrado D2 R2 : x2 + y 2 1 y la esfera unidad S2 R3 : x2 + y 2 + z 2 = 1.
(2) Una bola cerrada D3 R3 : x2 + y 2 + z 2 1 y S2 .
(3) X = D2 {0} {(0, 0)} [0, 1] e Y = D2 {0} {(1, 0)} [0, 1].
(4) X R3 : x2 + y 2 + (z 1)2 = 1 e Y R2 : (x 1)2 + y 2 1.
N
umero 9.13. Sea D el disco cerrado de R2 , con borde S1 . Demostrar que D \ {a} es
simplemente conexo si y s
olo si a S1 . Deducir que todo homeomorfismo f : D D
1
1
transforma S en S .
N
umero 9.14. Definir un homeomorfismo f : D D del disco cerrado D que tenga un
u
nico punto fijo, y este en el borde, explicitando la construccion geometrica del dibujo:
(0, 1)
D : x2 + y 2 1
(x, y ) = f (x, y)

C : x2 + (y + 1 2c)(y 1) = 0

L : y = 1

(x, y)
(0, 0)
D
L

r
(0,1)

(t,1)

(t,1), t= t+1

Comparar el resultado con 6.19.

N
umero 9.15. Sea M R3 el tronco de cilindro {x2 + y 2 = 1, 2 z 2}, la relacion
de equivalencia de 3.21, 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
simplifica?
N
umero 9.16. Consideramos en el rectangulo S = {(x, y) : 1 x 1, 0 y 1} la
relacion de equivalencia definida en 3.20, 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 hom
otopos con extremos fijos.
N
umero 9.18. Demostrar que un espacio es simplemente conexo si y solo si toda aplicacion
continua de la circunferencia en el espacio se extiende al disco que la circunferencia bordea.
17

N
umero 9.19. Demostrar que si en un espacio todo lazo es homotopo a un lazo constante
por una homotopa de lazos, entonces es un espacio simplemente conexo.
N
umero 9.20. Demostrar que existe una circunferencia en la banda de Mobius que es
retracto de deformaci
on suyo. Deducir que la banda de Mobius y el cilindro son homotopicamente equivalentes.
N
umero 9.21.

Demostrar que el borde de una banda de Mobius no es un retracto suyo.

N
umero 9.22. 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 biyecci
on 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 definidas.
N
umero 9.23. Sea V R2 un entorno de un punto cualquiera a R2 . Sea D V un
disco cerrado de centro a y b 6= a otro punto de D.
(1) Mostrar que las inclusiones D \ {a} V \ {a} R2 \ {a} inducen un isomorfismo
(D \ {a}, b) (R2 \ {a}, b) que factoriza a traves de (V \ {a}, b).
(2) Deducir que (V \ {a}) no es trivial.
Concluir que si R2 es localmente homeomorfo a Rn , entonces n = 2.
N
umero 9.24. (Borsuk) Sea p : R S1 la aplicacion p(t) = (cos(2t), sen(2t)). Demostrar que si una aplicaci
on continua f : S1 S1 es impar: f (x) = f (x) (resp. par:
f (x) = f (x)), entonces el lazo = f p : [0, 1] S1 tiene grado impar (resp. par).
Deducir que en el caso impar el lazo no es nulhomotopo.

18