Problemas: El Teorema de Seifert-Van Kampen
1. Calcular el grupo fundamental de los siguientes espacios:
(a) (b) (c)
a1
a1 a2 a2
'$
< '$
> '$
<
a1
>
&%
&% &% a2 I a3
(d)
@
a1 @ a1
I
@
@
A
a2A a2
K
A
A -
a1
2. Calcular el grupo fundamental de:
a) El toro.
b) La botella de Klein.
c) El espacio proyectivo de dimensión 2, RP2 .
3. Calcular el grupo fundamental de los siguientes espacios cocientes:
(a) (b) (c)
a2 a1
- a1
-
A A A
a1 A a1 a2 AU a1 a1 AU a1
K
A A A
A A A
A A A
a1A a1 a2A a1 a2A a1
K
A AK KA
A A A -
a2 a2 a2
1
(d) (e) (f )
a4
- a3 a1 a2 a1
a3 @ a4 HHH
Y H
HH
jH
I
@ H H
a2 a3
? a3 ? a1
? a1 ? a2
?
6
H HH
a@
1 a2 jH
H
jH *
I -
@ a3 H a2
a3 H a1
a1
(g) (h) (i)
a1 H a1 a2 a1 a2 a1
HHj H HH
j H
HH
j
* HH
* b1
HH
* HH
-
J
a2 ? b1
JJ b1
^
a3 a2
? a1 b2 ?b2 a2
? a1
?
6 6 6 J
HH b1 b2
HH HH
j
YH
H YH
H H
a3 a2 a2 a1 a2 H a1
(j) (k) (l)
a1 H
H a1 a1 H a1 a1 H
H a1
j
H * HH j
H
* HH YH
* HH
J^ J^ J^
a2 b J b
J a2 a2 b J b
J a2 a2 b J b
J a2
6 J 6 6 J 6 6 J 6
H b H b H b
jH
H
jH
H
HH
j *
a1 H a1 a1 H a1 a1 H a3
4. Calcular el grupo fundamental de una botella de Klein menos un punto.
5. Dados p1 , ..., pn puntos de R2 calcular el grupo fundamental de R2 \{p1 , ..., pn }.
6. Calcular el grupo fundamental de:
a) La suma conexa de tres planos proyectivos reales.
b) La suma conexa de un toro con un plano proyectivo.
c) La suma conexa de dos toros.
7. Sea n ≥ 1 un natural.
2
a) Construir un espacio topológico X (conexo por caminos) cuyo grupo
fundamental sea isomorfo a Zn .
b) Construir un espacio topológico X (conexo por caminos) cuyo grupo
fundamental sea isomorfo a Zn (producto de n copias de Z).
Deducir que dado un grupo G abeliano y finitamente generado, existe un
espacio topológico X conexo por caminos tal que su grupo fundamental es
isomorfo a G.
8. Sea G el grupo con presentación < a, b, c, d | abacad−1 a−1 = 1 >. Construir
un espacio topológico cuyo grupo fundamental sea isomorfo a G.
9. Calcular el grupo fundamental de:
a) Tres 2-esferas tangentes en un punto.
b) Una 2-esfera tangente en un punto a una circunterencia.
c) Un plano proyectivo real tangente en un punto a una circunferencia.
d ) Dos planos proyectivos tangentes en un punto.
e) Dos toros tangentes en un punto.
10. Calcular el grupo fundamental del espacio cociente resultante al identificar
en una 2-esfera el polo norte con el polo sur.
