Topologı́a II

Guı́a 1 (Parte 1)

1. Divide las letras del siguiente alfabeto en conjuntos de letras con el mismo tipo homotópico:

A, B, C, D, E, F, G, H, I, J, K, L, M, N, Ñ, O, P, Q, R, S, T, U, X, Y, Z

En cada uno de los conjuntos que encontraste, indentifica las letras que además de ser homotópicas son
homeomorfas.
2. Demuestra que la conexidad y la conexidad por trayectorias son invariantes homotópicos.
3. Demuestra que si X es un espacio contraı́ble, entonces para todo x0 ∈ X existe una homotopı́a H : X ×[0, 1] →
X tal que para todo x ∈ X, H(x, 0) = x0 y H(x, 1) = x.
4. Sea X un espacio topológico y x ∈ X un punto arbitrario.
a) Si X es discreto ¿qué es π1 (X, x)?
b) Si X es indiscreto ¿qué es π1 (X, x)?
5. Demuestra que el grupo fundamental de R2 \ {(0, 0)} es isomorfo al grupo fundamental de S1 .
6. Para cada espacio topológico X definamos Z(X) como el conjunto de las funciones continuas de X en Z2 (El
espacio {0, 1} con la topologı́a discreta). Si f, g ∈ Z(X), definimos f + g en cada x ∈ X mediante la regla

(f + g)(x) = f (x) + g(x) mod 2.

Demostrar que Z(X) es ungrupo abeliano respecto a esta operación, que si dos espacios X, Y son homeomorfos
entonces Z(X) y Z(Y ) son isomorfos y que X es conexo si y sólo si Z(X) es isomorfo al grupo cı́clico de orden
2. Construye ejemplos de espacios Xk tales que Z(Xk ) sea isomorfo a (Z2 )k para todo k ∈ N.
7. Prueba que el grupo definido en el ejercicio anterior es un invariante homotópico.
8. Demuestra que si el grupo fundamental del cı́rculo fuera trivial, entonces el grupo fundamental de cualquier
espacio topológico serı́a trivial.
9. Sea f : S1 → S1 una función continua que no es homotópica a la función identidad. Demuestra que existe
x ∈ S1 tal que f (x) = −x. ¿Qué puedes decir si f es homotópica a la identidad?
.
10. Sea X un espacio arbitrario y sean f, g : X → Sn dos funciones continuas tales que f (x) 6= −g(x) para todo
x ∈ X. Prueba que f y g son homotópicas. Usa esto para concluir que si f : X → Sn es cualquier aplicación
continua no exhaustiva, entonced f es nulhomotópica.
11. ¿Existirá un lazo f : [0, 1] → S1 que sea suprayectivo y nulhomotópico?
12. Sea X un espacio arbitrario y sean f, g : X → Sn dos funciones continuas tales que f (x) 6= −g(x) para todo
x ∈ X. Prueba que f y g son homotópicas. Usa esto para concluir que si f : X → Sn es cualquier aplicación
continua no exhaustiva, entonces f es nulhomotópica.
13. El cono de un espacio topológico X es el espacio cociente con(X) = X × [0, 1]/ ∼ en donde (x, t) ∼ (y, s) si y
sólo si (x, t) = (y, s) o t = s = 0.

a) Demuestra que para cualquier espacio X, con(X) es contraı́ble.

b) Demuestra que la función i : X → con(X) dada por i(x) = [(1, x)]∼ es un encaje cerrado.

1
 c) Demuestra que si X es contraı́ble, entonces i(X) es retracto por deformación fuerte de con(X).

14. Sea P el espacio topológico que consta de un solo punto. Para cada espacio X definimos π0 (X) como las
clases de homotopı́a de las funciones f : P → X. Demuestra que la cardinalidad de π0 (X) es un invariante
homotópico.
15. Prueba que la contractibilidad es un invariante homotópico. ¿Es todo invariante homotópico un invariante
topológico? ¿Es todo invariante topológico un invariante homotópico?
16. a) Sean α, β : I → X trayectorias que además son encajes. Demuestra que si α(I) = β(I) entonces α ∼ β o
α ∼ β.
b) Sean α, β : I → X lazos tales que sus restricciones a (0, 1) ⊂ I son encajes. prueba que si α(I) = β(I) y
α(0) = β(0) = α(1) = β(1), entonces α ∼ β o α ∼ β.

17. Demuestra que el grupo fundamental de Rn es trivial para toda n ∈ N.

18. Prueba que el producto de dos espacios simplemente conexos es simplemente conexo.
19. Encuentra un ejemplo de un espacio X y un subconjunto A ⊂ X que sea retracto or deformación de X pero
no retracto por deformación fuerte de X.

20. La Banda de Möbius es el espacio cociente M = [0, 1] × [0, 1]/ ∼ que se obtiene al identificar los puntos de la
forma (0, y) con los de la forma (1,1-y). Demuestra que M es homotópico a S1 .

2
 Topologı́a II
Guı́a 1 (Parte 2)

21. Da un ejemplo de un espacio topológico X y de dos puntos x, y ∈ X tales que π1 (X, x) no sea isomorfo a
π1 (X, y).
22. Demuestra que S1 no es retracto de R2 .

23. Denotemos por B2 = {x ∈ R2 | ||x|| ≤ 1} al disco unitario y por S1 = {x ∈ R2 | ||x|| = 1} al cı́rculo unitario.
Demuestra que si h : B2 → B2 es un homeomorfismo, entonces h(S1 ) = S1 .
24. Prueba que el toro no es homeomorfo a la esfera.
25. Sea p : X → Y un mapeo cubriente. Demuestra que para todo y ∈ Y , el subespacio p−1 (y) es discreto.

26. Demuestra que si p : Y → Z es un mapeo cubriente, tal que p(y0 ) = z0 para un par de puntos y0 ∈ Y y
z0 ∈ Z, entonces existe una función suprayectiva Φ : π1 (Z, z0 ) → p−1 (z0 ). Mas aún, demuestra que si Y es
simplemente conexo, entonces puede construirse una biyección.
27. ¿Será cierto el teorema de Borsuk-Ulam para el toro? Es decir, si f : S1 ×S1 → R2 es continua, ¿necesariamente
existe (x, y) ∈ S1 × S1 tal que f (x, y) = f (−x, −y)? Demuestra o da un contraejemplo.

28. Demostrar que si f : Sn → Sn , n ≥ 0 es continua y no suprayectiva entonces f (x) = f (−x) para algún x ∈ Sn .
29. a) Sean X y Y dos espacios topológicos. Demuestra que si Y es contraı́ble, entonces la proyección X×Y → X
es una equivalencia homotópica.
b) Demuestra que Rn+1 \ {0} es homeomorfo a Sn × R.
c) Demuestra que Rn+1 \ {0} es simplemente conexo (n > 1).
30. a) Encuentra un ejemplo de una función continua e inyectiva f : X → Y tal que su morfismo inducido
f : π1 (X, x) → π1 (Y, f (x)) no sea inyectivo.
b) Encuentra un ejemplo de una función continua y suprayectiva f : X → Y tal que f : π1 (X, x) →
π1 (Y, f (x)) no sea epimorfismo.

31. El plano proyectivo real es el espacio cociente RP 2 = S2 / ∼ en donde ∼ es la relación de equivalencia dada
por x ∼ y si y sólo si x = y o x = −y. Encuentra el grupo fundamental de RP 2 y concluye que RP 2 no es
homeomorfo a S2 . Interpreta geométricamente.
32. Sea X el espacio en forma de 8, es decir, X está formado por dos cı́rculos tangentes en un punto x. Sea a el
lazo por el punto x que da una vuelta alrededor del primer cı́rculo y sea b el lazo basado en x que da una
vuelta por el segundo cı́rculo. Demuestra que π1 (X, x) está generado por los lazos a y b. Esto es, el único
subgrupo de π1 (X, x) que contiene a las clases de a y b es la totalidad de π1 (X, x). Demuestra que π1 (X, x)
no es isomorfo a Z.(De hecho, π1 (X, x) es el grupo libre generado por a y b, el cual no es ni siquiera abeliano).

a b

3
33. El segundo grupo de homotopı́as del cı́rculo, π2 (S1 ), es el grupo de clases de homotopı́a de funciones continuas
f : B2 → S1 tales que f (S1 ) = (1, 0) ∈ S1 . Utiliza la técnica del levantamiento de homotopı́as para demostrar
que π2 (S1 ) es trivial. ¿Podrı́as generalizar este resultado y probar que πn (S1 ) es trivial para todo n > 1?

34. Sea I = [0, 1] y denotemos por ∂I n al borde o frontera geométrica de I n , es decir

∂I n = {(t1 , t2 , . . . , tn ) ∈ I n | ti = 0 ó ti = 1 para algún i}

Para cada espacio X y cualquier punto x0 ∈ X, el conjunto πn (X, x0 ) está constituı́do por las clases de
homotopı́a relativa a ∂I n de funciones continuas f : I n → X tales que f (∂I n ) = x0 . Se define un producto

[f ][g] = [f ∗ g]

donde

f (2t1 , t2 , . . . , tn ) 0 ≤ t1 ≤ 1/2
(f ∗ g)(x) =
g(2t1 − 1, t2 , . . . , tn ) 1/2 ≤ t1 ≤ 1.

a) Compara la definición del conjunto subyacente en el grupo πn (X, x0 ) con la del ejercicio anterior. ¿Son
equivalentes? Sugerencia: Observa que I n /∂I n es homeomorfo a Sn y usa el teorema de trasgresión para
exhibir una correspondencia entre las clases de homotopı́a.
b) Prueba que πn (X, x0 ) es un grupo.
c) Prueba que si existe una trayectoria en X de x0 a x1 entonces πn (X, x0 ) y πn (X, x1 ) son isomorfos.
d ) Para cada función continua φ : X → Y define el morfismo inducido φ∗ : πn (X, x0 ) → πn (Y, φ(x0 )).
prueba que φ∗ en efecto es un morfismo de grupos, que si se tienen funciones continuas φ : X → Y y
ψ : Y → Z entonces ocurre (ψ ◦ φ)∗ = ψ∗ ◦ φ∗ , y que si 1 : X → X es la identidad en X, entonces 1∗ es
la identidad en πn (X, x0 ). Deduce de todo esto que espacios homeomorfos tienen grupos de homotopı́a
isomorfos.
e) Prueba que espacios homotópicos tienen grupos de homotopı́a isomorfos.
f ) Demuestra que si n ≥ 2, πn (X, x0 ) es un grupo abeliano.

g g g
f g f f f

g g g
f g f
f f