Facultad de Ciencias, Estudios Agroalimentarios e Informtica

TRABAJO FIN DE GRADO

Grado en Matemticas

Clasificacin de espacios recubridores

Alumno:

Paula Estebas Armas

Tutores:

Jos Ignacio Extremiana Aldana

Logroo, 27 de julio de 2015

 Trabajo Fin de Grado
Grado en Matematicas

Clasificacion de espacios
recubridores

Alumna: Paula Estebas Armas

Tutor: Jose Ignacio Extremiana Aldana

Curso academido 2014/2015

Facultad de Ciencias, Estudios Agroalimentarios e Informatica
Universidad de la Rioja
Resumen

En esta memoria nos hemos interesado en la clasicacion de espacios recu-

bridores. Antes de tratar esa clasicacion, se dan unas nociones generales sobre
caminos, homotopa de caminos y se dene el grupo fundamental de un espacio.
Una vez introducida la nocion de espacio recubridor nos interesamos por las
propiedades de elevacion de caminos y de homotopas. Los resultados obtenidos
nos permiten calcular el grupo fundamental de S 1 .
Analizamos la relacion que existe entre los espacios recubridores de un es-
pacio, sus grupos fundamentales correspondientes y el grupo fundamental del
espacio base. As, enunciamos y demostramos los dos teoremas mas importantes
del trabajo:
En primer lugar, probaremos que bajo ciertas condiciones sobre los espacios,
dos espacios recubridores de un espacio base B son equivalentes si y solo si
sus grupos fundamentales corresponden a la misma clase de conjugacion de
subrupos del grupo fundamental de B. En segundo lugar, tambien bajo ciertas
condiciones, garantizaremos la existencia de un espacio recubridor de B para
cada clase de conjugacion de los subgrupos del grupo fundamental de B.
Finalmente calcularemos el grupo fundamental de algunas supercies y enun-
ciaremos algunos teoremas que pueden probarse con los resultados obtenidos en
este trabajo.

3
Abstract

In this report we were interested in the classication of covering spaces.

Before discussing this classication, we give some general ideas about paths,
paths homotopy and the fundamental group of a space.
Once introduced the notion of covering space, we are interested in the pro-
perties of paths and homotopies liftings. Previous results allow us to calculate
the fundamental group of S 1 .
Later, the relationship between covering spaces of a space, their related fun-
damental groups and the basis space fundamental group are analyzed. So, we
state and prove the two most important theorems of this work.
On the one hand, we prove that under certain conditions on the spaces, two
covering spaces of a basis space B are equivalent if and only if their fundamental
groups correspond to the same conjugacy class of subgroups of the fundamental
group of B. On the other hand, also under certain conditions, we will assure the
existance of a covering space of B for every conjugacy class of subgroups of the
fundamental group of B.
Finally, we will calculate the fundamental group of some surfaces and in-
troduce some theorems that can be tested using the results obtained in this
memory.

5
Indice general

Resumen 3

Abstract 5

Introduccion 9

1. Homotopa de caminos y grupo fundamental 13

1.1. Caminos y homotopa de caminos . . . . . . . . . . . . . . . . . . 13
1.2. Producto de caminos . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3. Grupo Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Isomorsmo inducido por un camino . . . . . . . . . . . . . . . . 19
1.5. Homomorsmo entre grupos fundamentales . . . . . . . . . . . . 20

2. Espacios recubridores y grupo fundamental de S 1 23

2.1. Espacios recubridores . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2. Grupo fundamental de S 1 . . . . . . . . . . . . . . . . . . . . . . 25

3. Clasicacion de espacios recubridores 31

3.1. Alguna nocion previa . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2. Grupo fundamental de un espacio recubridor . . . . . . . . . . . 31
3.3. Clasicacion de los espacios recubridores de un espacio . . . . . . 34
3.4. Existencia de espacios recubridores . . . . . . . . . . . . . . . . . 37

4. Aplicaciones de los resultados previos 43

4.1. Calculo de algunos grupos fundamentales . . . . . . . . . . . . . 43
4.1.1. Grupo fundamental del plano punteado . . . . . . . . . . 43
4.1.2. Grupo fundamental de S n , n > 1 . . . . . . . . . . . . . . 45
4.1.3. Grupo fundamental de algunas supercies . . . . . . . . . 45
4.2. Otras aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 48

Bibliografa 51

7
Introduccion

El Trabajo Fin de Grado que se presenta en las siguientes paginas esta

enmarcado dentro de la topologa.
La topologa es la rama de las matematicas dedicada al estudio de aquellas
propiedades de los cuerpos geometricos que permanecen inalteradas por trans-
formaciones continuas.
Es, quizas, la mas joven de las ramas clasicas de las matematicas. Hay
acuerdo en que sus orgenes estan en G. W. Leibnitz (16461716), quien escribio
en 1679:

Creo que carecemos de un analisis geometrico apropiado que

exprese directamente posicion en tanto el Algebra expresa magnitud

y en L. Euler (17071783), que en Solutio Problematis as Geometriam Situs

Pertinentis, escribio en 1736:

. . . Ademas de aquella parte de la geometra que trata sobre can-

tidades y que se ha estudiado en todo tiempo con gran dedicacion,
el primero que menciono la otra parte, hasta entonces desconocida,
fue G. Leibniz, el cual la llamo geometra de la posicion. Leibniz de-
termino que esta parte se tena que ocupar de la sola posicion y de
las propiedades provenientes de la posicion en todo lo cual no se ha
de tener en cuenta las cantidades, ni su calculo. . . Por ello, cuando
recientemente se menciono cierto problema1 que pareca realmente
pertenecer a la geometra, pero estaba dispuesto de tal manera que
ni precisaba la determinacion de cantidades ni admita solucion me-
diante el calculo de ellas, no dude en referirlo a la geometra de la
posicion. . .

El termino topologa fue usado por primera vez por Johann Benedict Listing
(18081882), en 1836 en una carta a su antiguo profesor de la escuela primaria,
Muller, y posteriormente en su libro Vorstudien zur Topologie (Estudios previos
a la topologa), publicado en 1847.
1 El problema al que se refiere es al de Los puentes de Konigsberg en el que se situa

tabien el origen de la teora de grafos.

9
10 Introduccion

Uno de los problemas basicos de la topologa es determinar cuando, dados

dos espacios, podemos transformar uno en otro y viceversa, sin producir cortes
ni unir puntos, y realizando esa tranformacion de forma continua (homeo-
morsmo). No hay un metodo general para resolver esta cuestion, pero existen
tecnicas que se pueden aplicar en casos particulares. En las distintas asignatu-
ras de topologa del Grado, hemos podido ver algunas propiedades topologicas2 ,
como lo son la conexion, la compacidad, la metrizabilidad, los axiomas de sepa-
racion. . . , que nos permiten, en algunos casos, distinguir espacios.
Probar que dos espacios son homeomorfos consiste en encontrar una funcion
continua de uno de los espacios sobre el otro, que tenga una inversa continua.
Pero la construccion de funciones continuas no es un problema sencillo. Probar
que dos espacios no son homeomorfos es distinto: para ello, debemos demos-
trar que no existe ninguna funcion continua, con inversa continua, entre ambos
espacios.
Si encontramos una propiedad topologica vericada por uno de los espacios
pero no por el otro, el problema queda resuelto y los espacios no pueden ser
homeomorfos.
Por ejemplo, el intervalo cerrado [0, 1] no puede ser homeomorfo al intervalo
abierto (0, 1) (ambos provistos de la topologa inducida por la de la recta real),
porque el primer espacio es compacto y el segundo no. Tambien sabemos que
los espacios R y R2 no pueden ser homeomorfos, porque si se quita un punto de
R2 el espacio resultante sigue siendo conexo, pero si le quitamos un punto a R
el resultado no es conexo.
Las herramientas topologicas que hemos visto hasta ahora, la mayora de las
veces, no resuelven el problema de la equivalencia topologica de dos espacios.
Por ejemplo, podemos probar que el plano eucldeo R2 no es homeomorfo al
espacio eucldeo R3 ? Con las propiedades topologicas antes mencionadas, no
encontramos ninguna peculiaridad que nos permita distinguirlos.
Otro ejemplo ilustrativo se obtiene al considerar la esfera S 2 y el toro T.
De nuevo, ninguna de las propiedades topologicas que conocemos nos permiten
distinguirlos: los dos espacios son compactos, conexos y metrizables.
As, debemos introducir nuevas propiedades y tecnicas para resolver este
problema. Por ejemplo, para distinguir R2 de R3 podemos utilizar la propiedad
de que toda curva cerrada en X pueda contraerse de manera continua a un
punto de X. Gracias a esta propiedad topologica, si se elimina un punto de
R3 , el espacio resultante cumple dicha propiedad, mientras que si quitamos un
punto a R2 , la propiedad no se verica. Esta propiedad tambien diferencia S 2
que la cumple, de T que no la cumple.
El grupo fundamental de un espacio es un invariante topologico muy rele-
vante y conocido, que generaliza la propiedad anterior. Intuitivamente, el grupo
fundamental detecta agujeros en un espacio topologico X. La nocion de gru-
po fundamental de un espacio fue introducida por H. Poincare (18541912) en
1895.
2 Una propiedad topologica es una propiedad que se conserva por homeomorfismos.
 11

En este trabajo veremos que dos espacios homeomorfos tienen grupos fun-
damentales isomorfos, por lo tanto, si somos capaces de calcular el grupo funda-
mental de dos espacios y estos grupos no son isomorfos, podemos concluir que
los espacios iniciales no son homeomorfos. Comprobaremos en el ultimo captu-
lo que S 2 y T no son homeomorfos puesto que el grupo fundamental de S 2 es
trivial y que el de T2 no lo es.
Estudiaremos el grupo fundamental, sus propiedades y las principales tecni-
cas para calcularlo. La mas conocida es el teorema de Seifert-Van Kampen,
que no demostraremos pero del que daremos alguna idea en el captulo 4. Otra
tecnica para el calculo del grupo fundamental es la Teora de Cubiertas, que
desarrollaremos en el captulo 2.
Los espacios recubridores se introducen a veces como herramientas, por ser
normalmente mas sencillos que los espacios que cubren. Hay ocasiones en las
que el estudio de un determinado espacio no es facil, pero podemos conocer
algunas de sus propiedades estudiando el espacio que lo recubre. El concepto de
cubierta formaliza la idea de un espacio topologico que envuelve varias veces a
otro espacio.
Por ejemplo, R es mas sencillo que S 1 y S n es mas sencillo que Pn y
R envuelve muchas veces a S 1 y S n envuelve dos veces a Pn . Estudiando
algunas propiedades de los espacios recubridores, que llamaremos de elevacion,
seremos capaces de calcular algunos grupos fundamentales como el de S 1 .
En el captulo tercero nos planteamos los siguientes problemas: en que con-
diciones para un espacio podemos garantizar la existencia de alguna cubierta?
Dado un espacio, cuantas cubiertas tiene? Si tenemos dos cubiertas de un
mismo espacio, como sabemos si son equivalentes? Las respuestas a estas pre-
guntas, que constituyen el objetivo fundamental de este trabajo, se resolveran
en terminos de los grupos fundamentales.
Para terminar, quiero agradecer la ayuda que me ha prestado Jose Ignacio
Extremiana y todas las personas que me han dado buenos consejos para me-
jorar la memoria. Tambien dar las gracias a todo el profesorado que me han
transmitido los conocimientos matematicos necesarios a lo largo de la carrera,
as como a los companeros y companeras que me han acompanado estos 4 anos.
Captulo 1

Homotopa de caminos y
grupo fundamental

Notas
En todo el trabajo, denotaremos por X, siempre que no de lugar a confusion,
a un espacio topologico con su topologa correspondiente y denotaremos por I
al subespacio [0, 1] de R dotado de la topologa usual. Igualmente cuando escri-
bamos f : (X, x0 ) (Y, y0 ) entenderemos que f : X Y es una aplicacion
continua y que f (x0 ) = y0 . Si x0 X y denotamos (X, x0 ), diremos que x0 es
el punto base de X.

1.1. Caminos y homotopa de caminos

Denicion 1. Un camino en un espacio X es una aplicacion continua f : I
X. Si f (0) = a y f (1) = b diremos que el camino tiene punto inicial en a y
punto nal en b o que f es un camino que va desde a hasta b. Si el punto inicial
y nal coinciden le llamaremos lazo y diremos que el camino esta basado en ese
punto.
Llamaremos camino constante al camino tal que t I,

ex0 : I X
t  x0 .

Denimos el camino inverso de f al camino

f: I X
f(t)  f (1 t).

Denicion 2. Dadas f, f : X Y aplicaciones continuas, diremos que f es

homotopa a f y lo denotaremos como f f , si existe una aplicacion continua

13
14 Captulo 1. Homotopa de caminos y grupo fundamental

F : X I Y tal que, x X,

F (x, 0) = f (x)
F (x, 1) = f (x).

La aplicacion F se llama homotopa entre f y f .

Podemos pensar la homotopa como una familia de aplicaciones ft : X Y

que produce una deformacion continua de la aplicacion f a la f mientras t
va de 0 a 1.

Denicion 3. Sea A X y f, f : X Y aplicaciones continuas. Diremos

que f y f son homotopas relativas a A s y solo si existe una homotopa

F : X I Y

entre f y f tal que

F (a, t) = f (a) = f (a), a A, t I.

La relacion de homotopa nos permite denir una relacion entre caminos.

Denicion 4. Se dice que dos caminos f y f : I X son caminos homotopos

cuando existe una homotopa entre ellos relativa al conjunto {0, 1}. Lo escribi-
remos como f c f .

Lema 1. Las relaciones y c son relaciones de equivalencia.

Demostracion.

Reflexividad
Dada una aplicacion f , es trivial que f f . En efecto, la aplicacion
F (x, t) = f (x) x I es la homotopa necesaria. Ademas si f es un
camino, entonces F es una homotopa de caminos.

Simetra
Si f f , veamos que f f .
Sea F una homotopa entre f y f , entonces G(x, t) = F (x, 1 t) es una
homotopa entre f y f . Es obvio que si F es una homotopa de caminos,
entonces G tambien lo es.

Transitividad
Supongamos que f f y que f f . Veamos que f f .
Sea F una homotopa entre f y f y sea F una homotopa entre f y f .
Denimos G : X I Y como sigue:
1.2. Producto de caminos 15

para t 0, 12 ,
 
F (x, 2t)
G(x, t) =
F (x, 2t 1) para t 12 , 1 .
 

La aplicacion G esta bien denida, ya que si t = 12 ,

F (x, 2t) = F (x, 1) = f (x) = F (x, 0) = F (x, 2t 1).

Como G es continua en los subconjuntos cerrados X 0, 21 y X 21 , 1 de

   

X I y F (x, 2 21 ) = F (x, 2 21 1), por el lema de pegado1 , G es continua

en X I y, como consecuencia, G es la homotopa que buscabamos entre
f y f . Si F y F son homotopas de caminos, tambien lo es G.

Si f es un camino, denotaremos su clase de equivalencia de homotopa de

caminos por [f ].

1.2. Producto de caminos

Denicion 5. Si f es un camino en X que va de x0 a x1 y g es otro camino en
X que va de x1 a x2 , se dene el producto de los caminos f y g y lo denotamos
por f g al siguiente camino:

para t 0, 12 ,
 
f (2t)
h(t) = (f g)(t) =
para t 12 , 1 .
g(2t 1)  

Notemos que f (2 21 ) = g(2 21 1) = x1 , y por lo tanto, el lema de pegado

garantiza la continuidad de h y el producto esta bien denido. Notemos igual-
mente que h es un camino en X que va de x0 a x2 . Podemos pensar en h como
un camino en el que la primera mitad es el camino f y la segunda mitad es el
camino g, ambos caminos se recorren al doble de velocidad.
Este producto puede extenderse para las clases de homotopa de caminos de
la siguiente manera: [f ] [g] = [f g].
Para comprobar que la extension esta bien, supongamos que f, f : I X
son caminos que van de a a b tal que f c f y g, g : I X son caminos que
van de b a c tal que g c g .
La pregunta es f g c f g?
1 Lema de pegado: Sea X = AB con A y B cerrados en X. Sean f : A Y y g : B Y

aplicaciones continuas tal que x A B se tiene que f (x) = g(x), entonces podemos definir
h : X Y tal que

f (x) si x A,
h(x) =
g(x) si x B.

y ademas h es continua en X.
16 Captulo 1. Homotopa de caminos y grupo fundamental

Sabemos que existen homotopas de caminos G entre g y g y F entre f y

f denidas de este modo,

G : I I X F : I I X
G(t, 0)  g(t) F (t, 0)  f (t)
G(t, 1)  g (t) F (t, 1)  f (t)

y ademas

G(0, s) = g(0) = g (0) = b F (0, s) = f (0) = f (0) = a

G(1, s) = g(1) = g (1) = c F (1, s) = f (1) = f (1) = b

Entonces podemos denir H : I I X

para t 0, 12 ,
 
F (2t, s)
H(t, s) =
para t 12 , 1 .
G(2t 1, s)  

que es continua (por el lema de pegado). Notemos que

para t 0, 21 ,
 
f (2t)
H(t, 0) =
g(2t 1) para t  1 , 1
2

y ademas
f (2t) para t 0, 21 ,
 
H(t, 1) =
g (2t 1) para t 21 , 1 .
 

Por lo que H(t, 0) = (f g)(t) y H(t, 1) = (f g )(t). Ademas H(0, s) = a y

H(1, s) = c. As, H es una homotopa entre f g y f g.
Por lo tanto f g c f g y el producto de las clases de homotopa de
caminos esta bien denido.

1.3. Grupo Fundamental

Supongamos que elegimos un punto base x0 en el espacio X, y denotamos
por 1 (X, x0 ) al conjunto de las clases de homotopa de lazos basados en x0 . En
este conjunto podemos denir la siguiente operacion

: 1 (X, x0 ) 1 (X, x0 ) 1 (X, x0 )

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

Esta operacion tiene las siguientes propiedades:

I) Tiene elemento neutro, que es el camino constante [ex0 ] que denotaremos

por 1.
1.3. Grupo Fundamental 17

Veamos que [ex0 ] [f ] = [f ] ([f ] [ex0 ] = [f ] se demuestra de forma

analoga). Debemos comprobar que ex0 f c f . La idea de la homotopa
nos la proporciona la siguiente gura:

Denimos F : I I X por

para t 0, 1s
 
x0 2 ,
F (t, s) =  
f 2t1+s  1s 
para t 2 , 1 .
1+s

Notemos que F (t, 0) = (ex0 f )(t) y F (t, 1) = f (t). Es claro que F es una
homotopa de caminos entre (ex0 f )(t) y f (t). Por lo tanto [ex0 ][f ] = [f ].

II) Dado [f ], [f ][f] = 1. Debemos comprobar que f f c ex0 y, como antes,

la idea de la homotopa nos la proporciona la siguiente gura:

El lazo f f esta dado por

para t 0, 12 ,
 
f (2t)
f f (t) =

para t 12 , 1 .
f (2 2t)  
18 Captulo 1. Homotopa de caminos y grupo fundamental

Denimos entonces F : I I X por

para t 0, 1s
 

f (2t) 2 ,

 1s 1+s 
F (t, s) = f (1 t) para t 2 , 2 ,


f (2 2t) para t  1+s , 1 .

2

Notemos que F (t, 0) = f f (t) y F (t, 1) = ex0 (t). Es claro que F es una

homotopa de caminos entre (f f)(t) y ex0 (t). Por lo tanto [f ] [f] = 1.

De manera analoga se prueba que [f] [f ] = 1.
III) Sean tres caminos f, g y h : I X, veamos que (f g) h c f (g h),
y por tanto ([f ] [g]) [h] = [f ] ([g] [h]).
Observemos en primer lugar que

para t 0, 41 ,
 

f (4t)


para t 14 , 21
 
((f g) h)(t) = g(4t 1)


para t 12 , 1 .

h(2t 1)  

y que
para t 0, 21 ,
 
f (2t)



para t 12 , 43
 
(f (g h))(t) = g(4t 2)


para t 34 , 1 .

h(4t 3)  

Veamos que ambos caminos son homotopos; la idea de la homotopa nos

la da la siguiente gura:

Denimos F : I I X por
 
4t
para t 0, s+1
 
f
1+s
4 ,

 s+1 s+2 
F (t, s) = g (4t s 1) para t 4 , 4 ,

 
4ts2
para t s+2
 
h 4 ,1 .

2s
1.4. Isomorsmo inducido por un camino 19

Notemos que F (t, 0) = ((f g) h)(t) y F (t, 1) = (f (g h))(t). Es claro

que F es una homotopa de caminos entre (f g) h y f (g h). Por lo
tanto [f g] [h] = [f ] [g h].

Como consecuencia (1 (X, x0 ), ) tiene estructura de grupo.

Denicion 6. 1 (X, x0 ) se denomina grupo fundamental del espacio X basado

en el punto x0 .

En resumen, el grupo fundamental esta formado por todas las clases de

homotopa de lazos con base en x0 .
Ejemplo
Consideremos (Rn , 0). Si f : I Rn es una lazo basado en 0 y e0 es el
camino constante. Notemos que

F : I I Rn F (t, 0) = f (t)
(t, s)  f (t)(1 s) F (t, 1) = e0 (t) = 0

es una homotopa entre f y e0 . Es decir, todos los lazos son homotopos al camino
constante. Como consecuencia, 1 (Rn , 0) = 0.

1.4. Isomorfismo inducido por un camino

Acabamos de asociar un grupo a cada espacio topologico y cada punto en
el. Si cambiamos de punto los grupos asociados seran distinos?
Para responder a esta pregunta notemos que si es un camino en X de x0
a x1 , podemos denir la siguiente aplicacion:

: 1 (X, x0 ) 1 (X, x1 )
[f ]  [ f ] = [] [f ] [].

Si f es un lazo basado en x0 entonces (f ) es un lazo basado en x1 , esta

bien denida.

Teorema 1. La aplicacion es un isomorfismo de grupos.

Demostracion. Primero veamos que es un homomorsmo:

([f ]) ([g]) = [ f ] [ g ]
= [ f g ]
= [ f g ]
= ([f ] [g]).

Efectivamente es un homomorsmo.
20 Captulo 1. Homotopa de caminos y grupo fundamental

Para ver que es un isomorsmo veremos que si = , es el homomorsmo

inverso de , pero antes notemos que

([h]) = [] [h] [] = [] [h] [],

por lo tanto

(([h])) = ([] [h] []) = [] ([] [h] []) [] = [h]

(([f ])) = ([] [f ] []) = [] ([] [f ] []) [] = [f ].

Luego efectivamente es un isomorsmo.

Corolario 1. Si X es arco-conexo, y x0 y x1 son dos puntos de X, entonces
1 (X, x0 ) es isomorfo a 1 (X, x1 ).
Como consecuencia podemos asociar a cada espacio arco-conexo un grupo,
que podemos denotar por grupo fundamental, 1 (X, x0 ).
Denicion 7. Un espacio X arcoconexo se dice que es simplemente conexo si
1 (X, x0 ) es el grupo trivial.
Corolario 2. En un espacio X simplemente conexo, cualquiera dos caminos
con el mismo punto inicial y final son caminos homotopos.
Demostracion. Sean f y g dos caminos de x0 a x1 . Entonces f g es un lazo en
X basado en x0 . Como X es simplemente conexo, f g c ex0 . Por lo tanto

[(f g) g] = [ex0 g] = [g]

pero

[(f g) g] = [f (g g)] = [f ex1 ] = [f ].

Luego f y g estan en la misma clase de homotopa.

1.5. Homomorfismo entre grupos fundamenta-

les inducido por una aplicacion
Sea
h : (X, x0 ) (Y, y0 )
una aplicacion continua. Dado que si f : I X es un camino basado en x0 ,
h f es un camino basado en y0 , podemos denir la siguiente aplicacion

h : 1 (X, x0 ) 1 (Y, y0 )
[f ]  [h f ].
1.5. Homomorsmo entre grupos fundamentales 21

Teorema 2. h es un homomorfismo de grupos.

Demostracion. Veamos en primer lugar que h esta bien denida. En efecto, si

f y f son caminos homotopos, entonces existe una homotopa de caminos entre
ellos F : I I X. Obviamente h F es una homotopa de caminos entre los
lazos [h f ] y [h f ].
Comprobemos que h es homomorsmo. Recordemos

para t 0, 12 ,
 
f (2t)
(f g)(t) =
g(2t 1) para t  1 , 1 .
2

Al componer con h, tenemos:

para t 0, 21 ,
 
h(f (2t))
h((f g)(t)) =
para t 21 , 1 .
h(g(2t 1))  

Por lo tanto h (f g) = (h f ) (h g) y como consecuencia,

h ([f ] [g]) = h ([f ]) h ([g]).

Por lo tanto h es un homomorsmo.

Denicion 8. La aplicacion h se denomina homomorfismo inducido por h.

Teorema 3. Sea h : (X, x0 ) (Y, y0 ) y k : (Y, y0 ) (Z, z0 ), entonces (k

h) = k h . Si i : (X, x0 ) (X, x0 ) es la aplicacion identidad, entonces i
es el homomorfismo identidad.

Demostracion. Por denicion

(k h) ([f ]) = [(k h) f ] = [k (h f )] = k [h f ] = k [h [f ]] = (k h )([f ]).

De forma similar

i ([f ]) = [i f ] = [f ].

Corolario 3. Si h : (X, x0 ) (Y, y0 ) es un homeomorfismo de X e Y , enton-

ces h es un isomorfismo de 1 (X, x0 ) con 1 (Y, y0 )

Demostracion. Sea h : (Y, y0 ) (X, x0 ) la inversa de h. Entonces

h h = (h h) = i ,
h h = (h h) = j

donde i es la aplicacion identidad de (X, x0 ) y j es la aplicacion identidad de

(Y, y0 ). Como i y j son los homomorsmos identidad de los grupos 1 (X, x0 )
y 1 (Y, y0 ) respectivamente, entonces h es la inversa de h .
22 Captulo 1. Homotopa de caminos y grupo fundamental

Resumen
Hemos denido el concepto de camino, hemos dado una relacion de equiva-
lencia, c , y una operacion entre caminos que nos han permitido asociar a cada
espacio arco-conexo X un grupo y a cada aplicacion continua entre espacios
arco-conexos un homomorsmo de grupos, de tal manera que si X e Y son dos
espacios homeomorfos, los grupos asociados son isomorfos.
Como consecuencia, dados dos espacios X e Y de los que conocemos sus co-
rrespondientes grupos fundamentales, si estos grupos no son isomorfos, podemos
concluir que X e Y no son homeomorfos.
As, el concepto de grupo fundamental puede ayudarnos a resolver el pro-
blema de la clasicacion de espacios.
Claro que ahora se plantea el problema: como se puede calcular el grupo
fundamental de un espacio?
Captulo 2

Espacios recubridores y
grupo fundamental de S 1

2.1. Espacios recubridores

Los espacios recubridores nos serviran como herramienta para calcular gru-
pos fundamentales.
Denicion 9. Sea p : E B una aplicacion continua y suprayectiva. Diremos
que un abierto U de B esta propiamente recubierto por p si la imagen inversa
de U por p, p1 (U ), es una union disjunta de conjuntos abiertos V de E tal
que, para cada , la restriccion de p a V (p|V ) es un homeomorsmo entre V
y U . Llamaremos a la coleccion {V } particion de p1 (U ) en hojas.
Si U es un conjunto abierto que esta propiamente recubierto por p, se suele
dibujar el conjunto p1 (U ) como un monton de creps, cada uno de ellos con
el mismo tamano y la misma forma que U , otando en el aire sobre U . La
aplicacion p los aplasta hacia U .
Denicion 10. Sea p : E B una aplicacion continua y suprayectiva. Si cada
punto b B tiene un entorno U que esta propiamente recubierto por p, entonces
se dice que p es una aplicacion recubridora y que E es un espacio recubridor de
B. El entorno U de b suele llamarse entorno elemental de b y a p1 (b) fibra de b.
Notemos que si p : E B es una aplicacion recubridora, entonces para
cada b B, p1 (b) de E es un subespacio que tiene la topologa discreta. En
efecto, cada hoja V es abierta en E e interseca al conjunto p1 (b) en un punto.
Por lo tanto, este punto es un abierto en la topologa subespacio de p1 (b).

Proposicion 1. Si p : E B es una aplicacion recubridora, p es abierta.

Demostracion. Sea A un abierto de E, p(A) es abierto?
Veamos que b p(A), existe W abierto de B tal que b W p(A). Dado
b, consideremos su entorno elemental Ub (p1 (Ub ) = V ). Como b p(A)

23
24 Espacios recubridores y grupo fundamental de S 1

entonces existe a A tal que p(a) = b (a p1 (b)) y existe un unico V tal

que a V . Ahora a V A que es un abierto en E y V A V . Sea el
homeomorsmo p|V : V Ub , p|V (V A) Ub es un abierto en Ub que a
su vez es abierto en B. Por lo que p(a) p(V A) p(A).

Corolario 4. Si p : E B es una aplicacion recubridora, B tiene la topologa

cociente.

Ejemplos de aplicaciones recubridoras

1. La aplicacion identidad

p : B B
b  b b B

es una aplicacion recubridora.

2. Sea B {1, 2, . . . , n} = {(b, m)| b B y 1 m n}. La aplicacion

p : B {1, 2, . . . , n} B
(b, k)  b b B y k {1, 2, . . . , n}

es una aplicacion recubridora.

3. La aplicacion

p : R S 1
x  (cos 2x, sen 2x)

es una aplicacion recubridora.

4. La aplicacion

p : R R S 1 S 1
(t, s)  ((cos 2t, sen 2t) , (cos 2s, sen 2s))

es una aplicacion recubridora.

5. Sea P2 el plano proyectivo, obtenido como identicacion de puntos antpo-

das de S 2 , es decir [x] = {x, x}, entonces la aplicacion

p : S 2 P2
x  [x]

es una aplicacion recubridora.

6. Si (E, p) y (F, q) son espacios recubridores de B y C respectivamente,

entonces p q : (E F, p q) es un espacio recubridor de B C.
2.2. Grupo fundamental de S 1 25

7. Si (E, p) es un espacio recubridor de B y A B, entonces (p1 (A), p|p1 (A) )

es un espacio recubridor de A.

Por su importancia, vamos a demostrar que la aplicacion del ejemplo 3

p : R S 1 R2
x  (cos 2x, sen 2x)

es una aplicacion recubridora.

Para verlo vamos a utilizar las propiedades de periodicidad del seno y del
coseno. Sea U S 1 el conjunto de puntos que tienen la primera coordenada
positiva. Entonces p1 (U ) son los puntos x R tal que cos(2x) 0, es decir,
la union de los intervalos

1 1
Vn = n , n + con n Z.
4 4

Ahora, restringimos p al intervalo cerrado Vn , la aplicacion p|Vn es inyectiva, ya

que sen(2x) es una funcion estrictamente monotona en ese intervalo. Es mas,
por el teorema del valor intermedio, p lleva de manera suprayectiva Vn a U y
Vn a U . Como Vn es compacto, p|V n es un homeomorsmo de V n con U . En
particular, p|Vn es un homeomorsmo de Vn con U .
Podemos aplicar argumentos similares a la interseccion de S 1 con la mitad
superior e inferior del plano y con la mitad izquierda del plano. Estos cuatro
subconjuntos recubren S 1 , y cada uno de ellos esta propiamente recubierto por
p. Por lo tanto p : R S 1 es una aplicacion recubridora.

2.2. Grupo fundamental de S 1

Vamos a aprovechar las propiedades que tienen las aplicaciones recubridoras
para calcular el grupo fundamental de S 1 .
Denicion 11. Sea p : (E, e0 ) (B, b0 ) una aplicacion recubridora. Si f : X
B es una aplicacion continua, una elevacion de f es una aplicacion continua
f: X E tal que p f = f .

E
f
p

f
X B

La existencia de elevaciones cuando p es una aplicacion recubridora, es una

herramienta muy importante en el estudio de espacios recubridores y del grupo
fundamental.
Vamos a ver que los caminos y las homotopas entre ellos admiten elevaciones.
26 Espacios recubridores y grupo fundamental de S 1

Lema 2. Sea p : (E, e0 ) (B, b0 ) una aplicacion recubridora. Cualquier ca-

mino f : [0, 1] B que empiece en b0 tiene una unica elevacion f a E que
empieza en e0 .

Demostracion. Sabemos que para cada punto b B existe un abierto Ub que

esta propiamente recubierto por p, (p1 (Ub ) = Vb ).
La familia {Ub | b B} es un cubrimiento abierto de B, como f es continua
{f 1 (Ub )| b B} es un cubrimiento abierto de I y como I es compacto, por el
lema del numero de Lebesgue, podemos encontrar una particion de [0, 1], 0 =
s0 , s1 , . . . , sn1 , sn = 1, tal que para cada i existe Ubi tal que f ([si , si+1 ]) Ubi .
Denamos f paso a paso.
Primero denimos f(0) = e0 , entonces denimos f en [0, s1 ] de la uni-
ca manera posible para que se verique p(f(s)) = f (s), es decir, denimos
f(s) = p1 |Vb0 (f (s)), que esta bien denida pues f ([0, s1 ]) Vb0 y p|Vb0 es
biyectiva. Ahora suponemos f(s) esta denida para 0 s si . Recordemos
que el conjunto f ([si , si+1 ]) Ubi . Sea {Vbi } la particion de p1 (Ubi ) en hojas.
Cada Vbi es homeomorfo a Ub , por p. Entonces f(si ) esta en alguno de esos
Vbi , lo denotamos V0 . Denimos

f(s) = (p|V0 )1 (f (s)) s [si , si+1 ].

Como p|V0 : V0 Ub es un homeomorsmo, ya que p es aplicacion recubridora,

entonces f es continua en [si , si+1 ].
De esta manera se dene f en todo [0, 1]. Por el lema de pegado, aseguramos
la continuidad de f. Por la denicion de f es inmediato que p f = f .
La forma de denir f garantiza su unicidad. En efecto, supongamos que

existe otra elevacion de f que empiece en e0 , f, entonces f(0) = e0 = f(0).

Supongamos que f (s) = f(s) s [0, si ]. Sea V0 como lo hemos denido antes,

entonces para s [si , si+1 ], f(s) = (p|V0 )1 (f (s)). Como f es una elevacion

de f , f([si , si+1 ]) p1 (Ub ) = Vb . Las hojas Vb son abiertas y disjuntas.

Como el conjunto f([si , si+1 ]) es conexo, f([si , si+1 ]) Vb . Como f(si ) =

f(si ) V0 = f([si , si+1 ]) V0 . Entonces con s [si , si+1 ], f(s) = y con
1 1
y V0 p (f (s)). Pero solo hay un punto y, y = (p|V0 ) (f (s)). Por lo tanto,

f(s) = f(s) s [si , si+1 ].

Lema 3. Sea p : (E, e0 ) (B, b0 ) una aplicacion recubridora. Sea F : I I

B una aplicacion continua con F (0, 0) = b0 . Existe una unica elevacion de F a
una aplicacion continua
F : I I E
tal que F (0, 0) = e0 .
Si F es una homotopa de caminos, entonces F tambien lo es.
2.2. Grupo fundamental de S 1 27

Demostracion. Dada F , denimos F (0, 0) = e0 . Ahora usaremos el lema ante-

rior para extender F al borde izquierdo 0 I y al borde inferior I 0 de I I.
Extenderemos F para todo I I como sigue: con las mismas notaciones que en
el primer parrafo del lema anterior, observamos que {F 1 (Ub )| b B} es un
cubrimiento abierto de I I, que es compacto, por lo tanto, aplicando de nuevo
el lema de Lebesgue, podemos conseguir dos particiones de I

s 0 < s 1 < . . . < sm ,

t0 < t1 < . . . < tn

de tal forma que si denotemos por Ii = [si1 , si ] y por Jj = [tj1 , tj ]

F ([si1 , si ] [tj1 , tj ]) = F (Ii Jj ) Ub ,

siendo Ub un abierto de B que esta propiamente recubierto por p.

Como antes, puede denirse F paso a paso, empezando por el rectangulo
I1 J1 y siguiendo por los otros rectangulos Ii J1 de la la inferior, despues
con Ii J2 de la siguiente la, y as sucesivamente.
En general, dado i0 y j0 asumimos que F esta denido en el conjunto A que
es la union de 0I, I 0 y todos los tectangulos previos a Ii0 Jj0 . Supongamos
tambien que F es una elevacion continua de F |A .
Vamos a denir F en Ii0 Jj0 . Sabemos que existe un conjunto abierto U B
que esta propiamente recubierto por p y contiene al conjunto F (Ii0 Jj0 ). Sea
{V } la particion de p1 (U ) en hojas en las que cada V es homeomorfo a U
(por p). Tenemos denida F en el conjunto C = A (Ii0 Jj0 ). El conjunto C es
la union del borde izquierdo y del borde inferior del rectangulo Ii0 Jj0 , por lo
tanto C es conexo y como consecuencia F (C) es conexo y F (C) esta contenido
en uno de los V , lo denotamos por V0 .
Sea p|V0 = p0 : V0 U . Como F es una elevacion de F |A , sabemos que
   
p0 F (x) = p F (x) = F (x) x C,

por lo tanto, F (x) = p1

0 (F (x)) x C. Podemos pues extender F deniendo

F (x) = p1
0 (F (x)) x [Ii0 , Jj0 ].

Por el lema de pegado, la extension de la aplicacion sera continua.

De esta manera podemos seguir deniendo F para todo I 2 .
Ahora suponemos que F es una homotopa de caminos. F lleva 0I al punto
b0 B. Como F es una elevacion de F , F (0 I) p1 (b0 ), pero este conjunto
tiene la topologa discreta como subespacio de E. Como 0 I es conexo y F
es continua, F (0 I) es conexo y es un conjunto unipuntual. Del mismo modo
F (1 I) es unipuntual. Por lo tanto F es una homotopa de caminos.
28 Espacios recubridores y grupo fundamental de S 1

Corolario 5 (Teorema de monodroma). Sea p : (E, e0 ) (B, b0 ) una aplica-

cion recubridora. Sean f y g dos caminos en B que van de b0 a b1 . Sean f y g
sus respectivas elevaciones a caminos en E cuyo punto inicial es e0 .
Si f y g son caminos homotopos, entonces f y g acaban en el mismo punto
de E y son caminos homotopos.

Demostracion. Sea F : I I B la homotopa de caminos entre f y g, enton-

ces F (0, 0) = b0 . Sea F : I I E una elevacion de F a E tal que F (0, 0) = e0 .
Por el lema anterior, F es una homotopa de caminos, por lo que F (0I) = {e0 }
y F (1 I) es un conjunto unipuntual que denotaremos por {e1 }. La restriccion
F |I0 de F es un camino en E que empieza en e0 y es una elevacion de F |I0 .
Por la unicidad de la elevacion de caminos tenemos que F (s, 0) = f(s). De ma-
nera similar, F |I1 es un camino de E que es elevacion de F |I1 , que empieza en
e0 porque F (0I) = {e0 }. Por unicidad de la elevacion de caminos tenemos que
F (s, 1) = g(s). Por lo tanto, tanto f como g acaban en e1 , y F es la homotopa
de caminos entre ellos.

Es decir, caminos homotopos se elevan a caminos homotopos.

Como aplicacion de este teorema, vamos a calcular el grupo fundamental
de S 1 .

Teorema 4. El grupo fundamental de la circunferencia es cclico infinito, es

decir 1 (S 1 , b0 ) es isomorfo a (Z, +).

Demostracion. Vamos a construir un isomorsmo entre el grupo 1 (S 1 , b0 ) sien-

do b0 = (1, 0) y el grupo (Z, +).
Sea la aplicacion recubridora

p : R S 1
x  (cos(2x), sen(2x)) .

Si f es un lazo en S 1 basado en b0 , consideramos f la elevacion de f a un camino

en R que empieza en 0. El punto f(1) tiene que ser un punto del conjunto
p1 ((1, 0)) por lo que f(1) sera un numero entero n.
El teorema anterior garantiza que n solo depende de la clase de homotopa
de f . Podemos, por tanto, denir

: 1 (S 1 , b0 ) Z
[f ]  n (= f(1))

Veamos que es una aplicacion biyectiva.

es suprayectiva: sea n Z. Como R es arco-conexo, podemos elegir un

camino f: [0, 1] R de 0 a n. Denimos f = p f. Entonces f es un
lazo en S 1 basado en b0 y f es su elevacion de camino en R empezando en
0. Por denicion, ([f ]) = n.
2.2. Grupo fundamental de S 1 29

es inyectiva: supongamos que ([f ]) = n = ([g]) y vamos a probar que

[f ] = [g]. Sean f y g las elevaciones de caminos en R que empiezan en 0,
de f y g respectivamente. Por hipotesis f y g acaban en n. Como R es
simplemente conexo, f c g. Sea F la homotopa de caminos entre f y g.
La aplicacion F = p F es una homotopa de caminos entre f y g, por lo
tanto f c g = [f ] = [g].
Veamos que es un homomorsmo.
Sean f y g dos lazos en S 1 basados en b0 . Sean f y g sus respectivas
elevaciones de caminos en R que empieza en 0. Sea f(1) = n y g(1) = m.
Denimos un camino h en R que empieza en 0 como

f(2s) para s 0, 21 ,
 
h(s) =
para s 21 , 1 .
n + g(2s 1)  

Notemos que h(0) = 0, h( 12 ) = n y h(1) = n + m.

Notemos tambien que dado que las funciones seno y coseno tienen periodo
2, se verica:

p(n + x) = (cos(2(n + x)), sen(2(n + x)))

= (cos(2n + 2x), sen(2n + 2x))
= (cos(2x), sen(2x))
= p(x).

Entonces
 
p f(2s) = f (2s) para s 0, 21 ,
 
p(h(s)) =
para s 12 , 1 .
p (n + g(2s 1)) = p (g(2s 1)) = g(2s 1)  

Como p h = f g, h es la elevacion de f g que empieza en 0. Ahora, por

denicion, ([f g]) = h(1) = n + m = ([f ]) + ([g]) = ([f g]) =
([f ]) + ([g]).
Por lo tanto es un isomorsmo de grupos, luego 1 (S 1 , b0 ) es isomorfo
a (Z, +).
Gran parte de la demostracion anterior es generica para espacios recubrido-
res. En la demostracion de la suprayectividad se utiliza que R es arco-conexo
y en la de la inyectividad que es simplemente conexo. Para ver que es homo-
morsmo se usa la operacion suma de R. En un espacio recubridor general no
tenemos dicha operacion, pero podemos obtener alguna informacion sobre su
grupo fundamental.
Como consecuencia, se puede demostrar exactamente igual que el teorema
anterior.
30 Espacios recubridores y grupo fundamental de S 1

Teorema 5. Sea p : (E, e0 ) (B, b0 ) una aplicacion recubridora. Si E es

arco-conexo, entonces existe una aplicacion suprayectiva
: 1 (B, b0 ) p1 (b0 )
[f ]  f(1)

siendo f la elevacion de f que empieza en e0 .

Si E es simplemente conexo, entonces es una biyeccion.
Teorema 6. Sea E es arco-conexo y p : (E, e0 ) (B, b0 ) una aplicacion re-
cubridora, entonces todas las fibras tienen el mismo cardinal.
Demostracion. Sean b0 , b1 B. Como B es arcoconexo, podemos elegir un
camino f : I B tal que f (0) = b0 y f (1) = b1 . Por el lema de elevacion de
caminos, existe una elevacion fa de f que comienza en cada punto a de la bra
de b0 y, desde luego, acaba en un punto de la bra de b1 . Denimos
: p1 (b0 ) p1 (b1 )
a  fa (1)
Veamos que es una biyeccion.
es inyectiva: Sean a1 y a2 p1 (b0 ) y a1 = a2 . Entonces (a1 ) = f(1)

y (a2 ) = f(1). Supongamos (a1 ) = (a2 ) = a1 . El camino f tendra
dos elevaciones distintas comenzando en a1 , lo que contradice la unicidad
de elevaciones. Luego (a1 ) = (a2 ).
es suprayectiva: dado un punto a1 p1 (b1 ), consideremos un camino
g que va de b1 a b0 , y su unica elevacion que comienza en a1 , acabara en
a p1 (b0 ). Entonces (a) = a1 .

Denicion 12. Si E es un espacio simplemente conexo y p : E B una

aplicacion recubridora, decimos que E es un espacio recubridor universal de B.

Resumen
En este captulo se ha denido la nocion de espacio recubridor y estudiando
propiedades de elevacion hemos podido calcular 1 (S 1 , a). Ademas, hemos
visto que si E (cubierta) y B (espacio base) son arco-conexos, todas las bras
tienen el mismo cardinal y que si, ademas, E es simplemente conexo existe
una biyeccion entre 1 (B, b0 ) y p1 (b0 ). Por lo tanto, en estas condiciones, el
numero de elementos del grupo fundamental del espacio base lo marca el numero
de elementos de la bra.
Por lo tanto, se nos plantea el problema: en que condiciones para un espacio
podemos garantizar la existencia de una cubierta universal?
Dado un espacio, cuantas cubiertas puede tener?
Captulo 3

Clasificacion de espacios
recubridores

3.1. Alguna nocion previa

Antes de comenzar este captulo, vamos a recordar algunas nociones de teora
de grupos.
Sea G un grupo y G, podemos denir

h : G G
g  g 1 .

Notemos que si H1 es un subgrupo de G, entonces h |H1 (H1 ) = H2 es tambien

un subgrupo de G. Se dice que H1 y H2 son grupos conjugados.
Dado G, la conjugacion es una relacion de equivalencia en la familia de los
subgrupos de G. Cada clase de equivalencia se llama clase de conjugacion.

3.2. Grupo fundamental de un espacio recubri-

dor
Denicion 13. Sean p : (E, e0 ) (B, b0 ) y p : (E , e0 ) (B, b0 ) aplica-
ciones recubridoras. Un homomorfismo de cubiertas es una aplicacion continua
h : (E, e0 ) (E , e0 ) tal que p h = p .

h
E E

p p

31
32 Captulo 3. Clasicacion de espacios recubridores

Si h es un homeomorsmo, las cubiertas se dicen equivalentes.

En este captulo vamos a clasicar los espacios recubridores salvo equivalen-
cia.
Sea p : (E, e0 ) (B, b0 ) una aplicacion recubridora. Obviamente p induce
un homomorsmo entre los correspondientes grupos fundamentales
p : 1 (E, e0 ) 1 (B, b0 )
que es un monomorsmo (es consecuencia inmediata del teorema de mono-
droma). Entonces 1 (E, e0 )
= p (1 (E, e0 )) que es un subgrupo de 1 (B, b0 ).
Si E es arco-conexo y elegimos diferentes puntos de la bra p1 (b0 ), los
subgrupos de 1 (B, b0 ) que se determinan, son, desde luego, isomorfos. Ademas
como subgrupos de 1 (B, b0 ) tienen una importante relacion, que nos la da el
siguiente lema:
Lema 4. Sea p : (E, e0 ) (B, b0 ) una aplicacion recubridora, donde E y B
son arco-conexos. La familia
{p (1 (E, a))| a p1 (b0 )}
es una clase de conjugacion de subgrupos de 1 (B, b0 ), o, dicho de otra mane-
ra, si e0 y e1 p1 (b0 ), entonces p (1 (E, e0 )) y p (1 (E, e1 )) son subgrupos
conjugados.
Ademas, si H es un subgrupo de 1 (B, b0 ) conjugado de p (1 (E, e0 )), existe
e1 p1 (b0 ) tal que H = p (1 (E, e1 ))
Demostracion. La daremos por pasos. Dados e0 y e1 p1 (b0 ) sean
H0 = p (1 (E, e0 )) y H1 = p (1 (E, e1 )).
Paso 1 Sea un camino en E de e0 a e1 y = p el lazo correspondiente
en B basado en b0 . Demostremos que
[] H1 []1 H0 .
Sea [h] H1 = [h] = p [h] para algun lazo h de E basado en e1 .
Sea k = ( h) . Entonces k es un lazo basado en e0 y
p ([k]) = [( h) ].
Por lo tanto, [] [h] []1 H0 .
Paso 2 Ahora veamos que H0 y H1 son subgrupos conjugados. Sean y
las del paso anterior. Entonces es un camino de e1 a e0 y = p .
Aplicamos el Paso 1 dos veces
[] H1 []1 H0 ,
[] H0 []1 H1 .
Por lo tanto H0 = [] H1 []1 .
 3.2. Grupo fundamental de un espacio recubridor 33

Paso 3 Dado e0 p1 (b0 ) y dado un subgrupo H 1 (B, b0 ) conjugado

de H0 , tenemos que encontrar un punto e1 p1 (b0 ) tal que su
correspondiente subgrupo H1 sea igual a H. Tenemos por hipotesis

H0 = [] H []1

siendo un lazo de B basado en b0 . Sea la elevacion del camino

en E empezando en e0 y sea e1 = (1). Como H1 = p (1 (E, e1 )),
aplicando el Paso 2

H0 = [] H1 []1 .

Por lo tanto H = H1 .

Es decir, una cubierta arco-conexa determina una clase de conjugacion de

1 (B, b0 ). Cada clase de conjugacion de subgrupos de 1 (B, b0 ) corresponde a
una cubierta? Supuesto que s, la clase de conjugacion determina la cubierta
unvocamente, salvo isomorsmo? Las respuestas, en buenas condiciones para
B, seran armativas.
Para conseguir esas respuestas necesitamos el siguiente lema:

Lema 5 (Lema de la elevacion). Sea p : (E, e0 ) (B, b0 ) una aplicacion

recubridora y sea f : (Y, y0 ) (B, b0 ) una aplicacion continua. Si Y es arco-
conexo y localmente arco-conexo entonces existe una elevacion f: (Y, y0 )
(E, e0 ) f (1 (Y, y0 )) p (1 (E, e0 )).

E
f
p

f
Y B

Ademas, si tal elevacion existe es unica.

Demostracion.

Supongamos que existe f, entonces

f (1 (Y, y0 )) = p (f (1 (Y, y0 ))) p (1 (E, e0 )).

U nicidad Dado y Y elegimos un camino en Y que va de y0 a y. Elevamos el

camino f de B a un camino en E empezando en e0 . Si existe la
elevacion f de f , entonces f(y) debe ser igual al punto nal de , (1),
entonces f es una elevacion de f que empieza en e0 . Esta elevacion
de caminos es unica.
34 Captulo 3. Clasicacion de espacios recubridores

Dado y Y elegimos un camino en Y que vaya de y0 a y. Elevamos el

camino f a un camino E que empieza en e0 y denimos f(y) = (1).
Veamos que f esta bien denida. Dados dos caminos y en Y de y0 a
y, sus imagenes f y f son caminos en B. Sean y sus respectivas
elevaciones de caminos en E empezando en e0 . Para ver que f esta bien
denida, queremos ver si (1) = (1).
Sea una elevacion de caminos de f en E empezando en (1). Entonces
esta denido y es una elevacion de caminos en E del lazo (f )(f )
en B. La clase de homotopa de (f ) (f ) es f ([ ]), que por
hipotesis pertenece a p (1 (E, e0 )). Por lo tanto hay un lazo E basado
en e0 tal que
[(f ) (f )] = [p ].
Veamos que (1) = e0 . Por el teorema 4 (mirar al nal el numero), si
dos caminos que son homotopos en B son elevados por caminos en E
empezando por el mismo punto, deben acabar en el mismo punto. Como
los caminos p y (f )(f ) son homotopos, sus respectivas elevaciones
y deben acabar en el mismo punto. Entonces ( )(1) = e0 =
(1) = e0 .
Ahora es una elevacion de f tal que (0) = (1) y (1) = e0 . Entonces
es una elevacion de f tal que (0) = e0 y (1) = (1). El camino es
otro ejemplo de elevacion. Por la unicidad de la elevacion de caminos,
= = (1) = (1) = (1).

Acabamos de probar que f esta bien denida y veamos ahora que f es

continua.
Dado un entorno N de f(y), queremos encontrar un entorno W de y tal
que f(W ) N .
Primero elegimos un entorno U de f (y) que esta propiamente recubier-
to por p. Sea V0 la hoja de p1 (U ) tal que f(y) V0 . Sea p0 = p|V0 .
Asumimos que V0 N , si es necesario tomamos entornos mas pequenos.
Ahora elegimos un entorno W de y arco-conexo y que W f 1 (U ). Vea-
mos f(W ) V0 . Para un y1 W podemos elegir un camino W
que vaya de y a y1 . Consideremos ahora el camino f y lo elevamos
al camino = p1
0 f E empezando en f (y). Entonces esta
denido, es una elevacion de f ( ) y empieza en e0 . Por denicion,
f(y1 ) = ( )(1) V0 .

3.3. Clasificacion de los espacios recubridores de

un espacio
Teorema 7. Sea B arco-conexo y localmente arco-conexo. Sean p : (E, e0 )
(B, b0 ) y p : (E , e0 ) (B, b0 ) espacios recubridores arco-conexos de B. En-
3.3. Clasicacion de los espacios recubridores de un espacio 35

tonces p y p son aplicaciones recubridoras equivalentes p (1 (E, e0 )) y

p (1 (E , e0 )) son subgrupos conjugados de 1 (B, b0 ).

Demostracion.

Suponemos que p y p son equivalentes. Sea h : E E un homeomor-

smo tal que p h = p y h(e0 ) = e1 .

h
E E

p p

Como h es homeomorsmo

h (1 (E , e0 )) = 1 (E, e1 )
p (h (1 (E , e0 ))) = p (1 (E , e0 )) = p (1 (E, e1 )).

Por el lema 4 p (1 (E, e1 )) es conjugado de p (1 (E, e0 )). Por lo tanto

p (1 (E , e0 )) y p (1 (E, e0 )) son subgrupos conjugados de 1 (B, b0 ).

Suponemos que p (1 (E , e0 )) y p (1 (E, e0 )) son subgrupos conjugados.

En vista del lema 4 podemos elegir un punto basico diferente en E , para
que los dos subgrupos sean isomorfos. Suponemos que hacemos esto y
sea e0 el nuevo punto basico elegido. Aplicando el lema 5 obtenemos lo
siguiente

p
E B

donde p es una aplicacion recubridora. El espacio E es arco-conexo y

localmente arco-conexo y cada punto tiene un entorno que es localmente
homeomorofo a un abierto de B. Ademas

p (1 (E, e0 )) p (1 (E , e0 )),

de hecho estos dos grupos son iguales. Por el lema anterior, podemos elevar
la aplicacion p : E B por una aplicacion continua h : E E tal que
h(e0 ) = e0 . Por lo que p h = p.
36 Captulo 3. Clasicacion de espacios recubridores

h
p

p
E B

Si aplicamos el mismo argumento pero cambiando los papeles de E y E ,

vemos que p se puede elevar por una aplicacion continua k : E E tal
que k(e0 ) = e0 .

k
p

p
E B

Para ver que h y k son una inversa de la otra, miremos el diagrama

p
E B

Notemos que k h : E E es una elevacion en E de la aplicacion

p : E B tal que (k h)(e0 ) = e0 .

kh p

p
E B

La aplicacion identidad iE : E E es otra elevacion de p.

iE
p

p
E B

Por la unicidad de las elevaciones, k h = iE . De forma similar, tenemos

h k = iE .
3.4. Existencia de espacios recubridores 37

3.4. Existencia de espacios recubridores

Para los espacios arco-conexos y localmente arco-conexos el problema to-
pologico de la clasicacion de espacios recubridores se convierte en el problema
algebraico de encontrar las clases de conjugacion de su grupo fundamental.
Ahora bien, dado un espacio B, existen siempre cubrimientos para el? No
siempre podremos garantizarlo, pero, en buenas condiciones s.

Denicion 14. Un espacio B es semilocalmente simplemente conexo si b B

existe un entorno U de b tal que todo lazo de U con punto basico b es equivalente
en B al camino contante eb . Dicho de otro modo, la aplicacion

1 (U, b) 1 (B, b0 )

inducida por la inclusion, es trivial.

Teorema 8. Sea B arco-conexo, localmente arco-conexo y semilocalmente sim-

plemente conexo. Sea b0 B. Dado un subgrupo H de 1 (B, b0 ), existe un
espacio recubridor arco-conexo p : E B y un punto e0 p1 (b0 ) tal que

p (1 (E, e0 )) = H.

Demostracion.

Paso 1 Construccion de E y de p

Sea el conjunto de todos los caminos en B que empiezan en b0 .

Denimos la relacion de equivalencia en de la siguiente manera:
si y acaban en el mismo punto de B y la clase [ ] H.
Veamos que efectivamente es una relacion de equivalencia.

Reflexividad
Todo camino esta relacionado consigo mismo, ya que es
obvio que (1) = (1). Ademas [ ] = 1 H.
Simetra
Si quiere decir que (1) = (1) y [ ] = 1, entonces
[ ]1 = [ ] = 1 H, luego es claro que .
Transitividad
Si y quiere decir que (1) = (1) = (1),
[ ] H y [ ] H, entonces [ ][ ] = [ ] =
[ ] H. Por lo tanto .

Sea E el conjunto de clases de equivalencia. Si es un camino,

denotamos por # su clase de equivalencia.
38 Captulo 3. Clasicacion de espacios recubridores

Denimos

p : E B
#  (1).

Como B es arco-conexo, entonces p es suprayectiva.

Antes de dotar de topologa a E para conseguir que p sea una apli-
cacion recubridora, observemos que:

(a) Si c , entonces # = # .
La demostracion es trivial ya que si c , entonces [ ] =
id H.
(b) Si # = # , entonces ( )# = ( )# para cualquier camino
contenido en B tal que (0) = (1).
La demostracion tambien es trivial ya que y acaban
en el mismo punto, luego

[( ) ( )] = [( ) ( )] = [ ],

que pertenece a H por hipotesis.

Paso 2 Proporcionemos a E una topologa

Sea , y U un entorno arco-conexo de (1). Denimos

B(U, ) = {( )# | camino en U tal que (0) = (1)}.

Vamos a demostrar que la familia B(U, ) forma una base de entor-

nos para una topologa en E. Notemos que # B(U, ).
Veamos en primer lugar que si # B(U, ) = B(U, ) = B(U, ),
# = ( )# para algun camino U . Un elemento cualquiera
de B(U, ) es de la forma ( )# para algun camino U . Por
(a) y por (b) del paso 1 tenemos

( )# = (( ) )# = ( ( ))# B(U, ).

Entonces, B(U, ) B(U, ). De la misma manera, un elemento

de B(U, ) es de la forma ( )# donde es un camino en U .
Aplicando de nuevo (a) y (b) tenemos

( )# = (( ) ( ))# = ( ( ))# B(U, ).

Como consecuencia B(U, ) B(U, ) y por lo tanto B(U, ) =

B(U, ).

Comprobaremos que los conjuntos B(U, ) forman una base para

una topologa. Si # B(U1 , 1 ) B(U2 , 2 ), notemos que (1)
3.4. Existencia de espacios recubridores 39

U1 U2 , consideremos un entorno V de (1) tal que V U1 U2 .

En estas condiciones

B(V, ) B(U1 , ) B(U2 , ),

por la denicion de estos conjuntos y, como B(U1 , ) = B(U1 , 1 )

y B(U2 , ) = B(U2 , 2 )

B(U1 , ) B(U2 , ) = B(U1 , 1 ) B(U2 , 2 )

por el resultado que acabamos de probar.

Por lo tanto los conjuntos de B(U, ) forma una base de una topo-
loga en E.
Paso 3 La aplicacion p es continua y abierta
p es abierta. La imagen del elemento basico B(U, ) es el conjunto
abierto U B. Sea x U , elegimos un camino U que va de
(1) a x. Entonces ( )# B(U, ) y p(( )# ) = x.
p es continua. Sea # E y un entorno W de p(# ). Elegimos un
entorno arco-conexo U del punto p(# ) = (1) tal que U W .
Entonces B(U, ) es un entorno de # tal que p(B(U, )) W . Por
lo que p es continua en # .
Paso 4 La aplicacion p es una aplicacion recubridora
Dado b1 B elegimos un entorno arco-conexo U de b1 que satis-
face la condicion de que el homomorsmo 1 (U, b1 ) 1 (B, b1 )
inducido por inclusion, es trivial (B es semilocalmente simplemente
conexo). Veamos que U esta propiamente recubierto por p.
Primero, notemos que p1 (U ) = B(U, ) siendo todos los ca-
minos en B de b0 a b1 . Como p lleva cada conjunto B(U, ) a U ,
entonces B(U, ) p1 (U ). Por otra parte, si # p1 (U ), en-
tonces (1) U y podemos elegir un camino U de (1) a b1 .
Sea = camino que va de b0 a b1 . Entonces c , por lo
que # = ( )# B(U, ). Por lo que p1 (U ) B(U, ).

Segundo, veamos que conjuntos distintos B(U, ) son disjuntos.

Para # B(U, 1 ) B(U, 2 ) entonces B(U, 1 ) = B(U, ) =
B(U, 2 ) por el paso 2.

Tercero, veamos que p es una biyeccion entre B(U, ) y U . Seguimos

con que p|B(U,) es un homeomorsmo, es decir, biyectiva continua
y abierta. Sabemos que p lleva B(U, ) a U . Primero veamos la
inyectividad, suponemos que

p(( 1 )# ) = p(( 2 )# ) con 1 y 2 U,

 40 Captulo 3. Clasicacion de espacios recubridores

Entonces 1 (1) = 2 (2). Como el homomorsmo 1 (U, b1 ) = 1 (B, b1 )

inducido por inclusion es trivial, entonces 1 2 es un camino
homotopo en B al lazo contante. Entonces 1 c 2 , por
lo tanto ( 1 )# = ( 2 )# como queramos ver.

Paso 5 El espacio E es arco-conexo y H = p (1 (E, e0 )) con e0 p1 (b0 )

Este ultimo paso completa la demostracion del teorema.

Primero, vamos a calcular la elevacion del camino B. Sea un

camino en B tal que (0) = b0 . Dado t [0, 1], denominamos a

t : I B
t (s)  (ts) s [0, 1]

como la porcion de entre el punto b0 y (t). Ahora denimos

: I E
(t)  (t )# .

Veamos que es elevacion de y empieza en el punto e0 = (eb0 )# ,

que es la clase de equivalencia del camino constante, y acaba en el
punto # . Como

p((t)) = p((t )# ) = t (1) = (t 1),

vemos que p = . La parte dura de la demostracion es ver que

es continua.

Suponemos que esta probado. Para ver que E es arco-conexo, vea-

mos que si # E, entonces es un camino en B que empieza en
b0 y su elevacion es un camino en E que empieza en e0 y acaba
en # . Ahora veamos que p (1 (E, e0 )) = H.

p (1 (E, e0 )) H Sea un elemento [] H. Sea la elevacion de a un camino

en E empezando en e0 , entonces acaba en # . Ahora es
equivalente al camino constante eb0 , porque [ eb0 ] = [] H.
Por lo que # = (eb0 )# , por lo que es un lazo en E basado
en e0 . Como p ([]) = [], tenemos que [] p (1 (E, e0 )).
Por lo tanto H p (1 (E, e0 )).
p (1 (E, e0 )) H Sea un elemento [] 1 (E, e0 ). Sea = p y notemos que
es la unica elevacion de en E empezando en e0 . Por lo que
acaba en # . Como es lazo en E, tenemos que (1) = e0 .
Por lo tanto, # = (eb0 )# , por lo que es equivalente a eb0 y
[] H. Entonces p (1 (E, e0 )) H.
3.4. Existencia de espacios recubridores 41

Ahora completamos la demostracion viendo que es continua. Sea

el parametro t0 y un entorno B(U, t0 ) E del punto (t0 ) =
(t0 )# . Debemos encontrar un > 0 tal que cuando |t1 t0 | <
tengamos (t1 )# B(U, t0 ). Lo vemos a continuacion. Elegimos
lo sucientemente pequeno tal que |t1 t0 | < = (t1 ) U .
Podemos asegurar que si |t1 t0 | < entonces t1 es un camino
homotopo a t0 con U , por lo que (t1 ) = (t1 )# B(U, t0 )
como queramos.
Asumimos que t0 < t1 . Sea la parte del camino de que hay entre
(t0 ) y (t1 ) y la vamos a reparametrizar. Sabemos que (t1 ) c
t0 , es decir,
(s) = ((1 s)t0 + st1 )
por lo que U . Denimos F : I I B como
 
[t0 (1t)+t1 t]2s para s 0, 1+t
 
[1+t] 2 ,
F (s, t) =
(t (1 (2s 1)) + t (2s 1)) para s 1+t , 1 .
 
0 1 2

F es la homotopa de caminos que queramos.

Corolario 6. Sea B arco-conexo y localmente arco-conexo.

(a) Si B tiene un espacio recubridor universal, entonces es unico salvo equiva-

lencia.

(b) Si B es semilocalmente simplemente conexo, entonces B tiene un espacio

recubridor universal.

Demostracion. La parte (a) es una consecuencia inmediata del teorema 7 (mirar

bien cual es). Si p : (E, e0 ) (B, b0 ) es una aplicacion recubridora universal
de B, entonces el grupo p (1 (E, e0 )) es el subgrupo trivial de 1 (B, b0 ).
Para probar (b), aplicamos el teorema 8 para construir una aplicacion recu-
bridora arco-conexa p : (E, e0 ) (B, b0 ) tal que p (1 (E, e0 )) es el subgrupo
trivial de 1 (B, b0 ). Como p es inyectiva, quiere decir que E es simplemente
conexo y como consecuencia es una aplicacion recubridora universal de B.

Resumen
En este captulo, hemos utilizado el concepto de grupo fundamental para
clasicar las cubiertas de un espacio arco-conexo y localmente arco-conexo. En
estas condiciones, las clases de conjugacion de su grupo fundamental determinan
las clases de equivalencia de cubiertas.
Ademas, si B es semilocalmente simplemente conexo, entonces tiene un es-
pacio recubridor universal.
Captulo 4

Aplicaciones de los
resultados previos

En este captulo vamos a comentar algunas aplicaciones de los resultados

que hemos obtenido en los captulos anteriores.

4.1. Calculo de algunos grupos fundamentales

4.1.1. Grupo fundamental del plano punteado
El grupo fundamental del plano punteado es innitamente cclico, es decir
1 (R2 \ {0}, x0 )
= Z.
La idea es ver que dado x0 S 1 , la aplicacion inclusion
j : (S 1 , x0 ) (R2 \ {0}, x0 )
induce un isomorsmo de grupos fundamentales.
Sea la aplicacion continua
r : (R2 \ {0}, x0 ) (S 1 , x0 )
x
x  .
x
Todas las semirectas determinadas por 0 y un punto del crculo, se colapsan en
ese punto. Notar que si x = 1, entonces r(x) = x, es decir, los puntos de la
circunferencia unidad son puntos jos.
Consideremos la aplicacion
r j : (S 1 , x0 ) (R2 \ {0}, x0 ) (S 1 , x0 )
y notemos que es la aplicacion identidad, id = r j. Esta aplicacion induce esta
otra
id = r j : 1 (S 1 , x0 ) 1 (S 1 , x0 ).

43
44 Captulo 4. Aplicaciones de los resultados previos

Por otro lado tenemos la aplicacion

j r : (R2 \ {0}, x0 ) (S 1 , x0 ) (R2 \ {0}, x0 )
que induce
(j r) = j r : 1 (R2 \ {0}, x0 ) 1 (R2 \ {0}, x0 ).
Veamos que (j r) = id . Para ello sea f : I R2 \ {0} un lazo cualquiera, y
vamos a construir una homotopa entre j r f y f . Notemos que j(r(f (t))) =
f (t)
f (t) .
Dicha homotopa es
F : I I R2 \ {0}
f (t)
(t, s)  s + (1 s)f (t).
f (t)
Luego j r f c f . Por tanto la inclusion j induce un isomorsmo de grupos
fundamentales, por lo que 1 (R2 \ {0}, x0 ) = Z.
La idea que hemos utilizado se puede generalizar para un espacio X y un
subespacio de el, siempre que cumplan unas determinadas propiedades.
Denicion 15. Sea un espacio X con un subespacio A. A es un retracto por
deformacion fuerte de X si existe una aplicacion continua H : X I X
tal que
H(x, 0) = x, para x X,
H(x, 1) A, para x X,
H(a, t) = a, para a A y para t I.
La aplicacion H se denomina retraccion.
Es decir, A es un retracto por deformacion fuerte de X si X puede deformarse
gradualmente hasta A sin que ningun punto de A se mueva en todo el proceso.
Si A es un retracto por deformacion fuerte de X y a0 A, la aplicacion
inclusion
j : (A, a0 ) (X, a0 )
induce un isomorsmo de grupos fundamentales.
La demostracion es la generalizacion de la realizada anteriormente en el
calculo del grupo fundamental del plano punteado.

Ejemplo de retraccion
La aplicacion H : (Rn \ {0}) I (Rn \ {0}) denida por
x
H(x, t) = t + (1 t)x
x
es una retraccion de Rn \ {0} en S n1 .
1 (S n1 ).
Por lo que 1 (Rn \ {0}) =
4.1. Calculo de algunos grupos fundamentales 45

4.1.2. Grupo fundamental de S n , n > 1

Una herramienta basica para el calculo de grupos fundamentales es el Teo-
rema de Saifert-Van Kampen. Para la demostracion general (que es difcil) es
preciso proporcionar mas nociones de grupos, como la presentacion de un grupo
por generadores y relaciones. Sin embargo, para calcular el grupo fundamen-
tal de S n basta con la siguiente version reducida de este Teorema, el Teorema
especial de Van Kampen.

Teorema 9 (Teorema especial de Van Kampen). Sea X = U V , donde U y

V son abiertos en X y X = U V es arco-conexo. Sea x0 U V . Si ambas
inclusiones

i : (U, x0 ) (X, x0 ) y j : (V, x0 ) (X, x0 )

inducen un homomorfismo trivial de grupos fundamentales, entonces se tiene

que 1 (X, x0 ) = 0.

Supuesta la demostracion de este teorema que puede encontrarse en [6,

Captulo IV], pero utilizandolo de manera similar a como calcularemos 1 (S 2 , x0 )
en la siguiente seccion, se obtiene que 1 (S n , x0 ) es trivial si n > 1. Como con-
clusion:

Rn \ {0} es simplemente conexo si n > 2.

Rn y R2 no son homeomorfos para n > 2.

4.1.3. Grupo fundamental de algunas superficies

Recordemos que una supercie es un espacio Hausdor o T2 con una base
contable, en la que cada punto perteneciente a algun elemento de la base, tiene
un entorno que es homeomorfo a un subconjunto abierto de R2 . Las super-
cies son muy interesantes en varias ramas de las matematicas, como topologa,
geometra y analisis complejo.
Sabemos ademas que toda supercie es homeomorfa, o bien a S 2 o a la suma
conexa de toros T o a la suma conexa de planos proyectivos P2 .
En esta seccion vamos a calcular los grupos fundamentales de la esfera S 2 ,
el plano proyectivo P2 y el toro T, y veremos, comparando sus grupos funda-
mentales, que estas supercies no son homeomorfas.

Grupo fundamental de S 2
Es consecuencia inmediata del apartado anterior, del teorema especial de
Van Kampen.
Sea X = S 2 y sean U el hemisferio norte hasta el tropico de Capricornio y V
el hemisferio sur hasta el tropico de Cancer. As X = U V , con U y V abiertos
y U V es el sector que va desde el tropico de Cancer al tropico de Capricornio.
46 Captulo 4. Aplicaciones de los resultados previos

Sea x0 un punto de U V . Un lazo basado en x0 que este en U , es homotopo

a un camino constante en X ya que lo podemos colapsar, y lo mismo ocurre si
tuvieramos un lazo en V , por lo que las inclusiones

i : (U, x0 ) (X, x0 ) y j : (V, x0 ) (X, x0 )

inducen un homomorsmo trivial de grupos fundamentales.

Consecuencia
El grupo fundamental de la esfera es trivial, 1 (S 2 , x0 ) = 0.

Grupo fundamental del toro T

Para calcular el grupo fundamental del toro necesitamos un teorema sobre
el grupo fundamental de un espacio producto.
Teorema 10. 1 (X Y, (x0 , y0 )) es isomorfo a 1 (X, x0 ) 1 (Y, y0 ).
Demostracion. Recordemos que dados los grupos (A, ) y (B, ), entonces el pro-
ducto cartesiano A B tiene estructura de grupo con esta operacion

(a, b) (a , b ) = ((a a ), (b b )).

Recordemos tambien que si h : C A y k : C B son homomorsmos de

grupos, entonces la aplicacion

: C A B
c  (h(c), k(c))

es un homomorsmo de grupos.
Ahora sean p : X Y X y q : X Y Y las aplicaciones proyec-
cion que, si utilizamos los puntos base del enunciado del teorema, inducen los
siguientes homomorsmos

p : 1 (X Y, (x0 , y0 )) 1 (X, x0 ),
q : 1 (X Y, (x0 , y0 )) 1 (Y, y0 ).

Denimos ahora el homomorsmo

: 1 (X Y, x0 y0 ) 1 (X, x0 ) 1 (Y, y0 )
[f ]  (p ([f ]), q ([f ])) = ([p f ], [q f ]).

Veamos que efectivamente es un isomorsmo.

es suprayectiva: sea g : I X un lazo basado en x0 y sea h : I Y
un lazo basado en y0 . Denimos

f : I X Y
s  (g(s), h(s)).
4.1. Calculo de algunos grupos fundamentales 47

Entonces f es un lazo en X Y basado en (x0 , y0 ) y

([f ]) = ([p f ], [q f ]) = ([g], [h]),
entonces ([g], [h]) Im y por lo tanto es suprayectiva.
es inyectiva: veamos que ker = {0}. Sea f : I X Y un lazo
basado en (x0 , y0 ) y ([f ]) = 1. Esto quiere decir que p f c ex0 y
q f c ey0 . Sea G y H sus respectivas homotopas de caminos. Entonces
F : I I X Y
(s, t)  (G(s, t), H(s, t))
es una homotopa de caminos entre f y el lazo constante basado en (x0 , y0 ).
Por lo tanto es inyectiva.
Hemos visto que es un isomorsmo.
Consecuencia
El grupo fundamental del toro T = S 1 S 1 es isomorfo al grupo Z Z.

Grupo fundamental del plano proyectivo P2

El calculo del grupo fundamental del plano proyectivo es consecuencia directa
de que el grupo fundamental de S 2 es trivial y de que S 2 es un cubrimiento de
dos hojas del plano proyectivo.
Formalmente P2 es el cociente de S 2 por la siguiente relacion de equivalencia:
x x y x (x). Entonces P2 es el conjunto de clases de equivalencia. Sea
p : (S 2 , x0 ) (P2 , x0 ) una aplicacion que lleva cada punto x a su clase de
equivalencia [x].
La aplicacion p es una aplicacion recubridora. Como S 2 es simplemente co-
nexo, sabemos que existe una correspondencia biyectiva entre 1 (P2 , y) y el
conjunto p1 (y). Como este conjunto tiene 2 elementos, entonces 1 (P2 , y) es
un grupo de orden 2.
Cualquier grupo de orden 2 es isomorfo a Z2 .
Consecuencia
1 (P2 , y) es isomorfo a Z2 .
Aunque ya no hablemos de supercies, podemos generalizar la denicion
de plano proyectivo y denir el n-espacio proyectivo Pn , para cualquier n
R+ . Pn es el espacio que se obtiene de S n identicando cada punto x con su
punto antipodal x. Tambien tenemos que la proyeccion p : S n Pn es una
aplicacion recubridora. Como S n es simplemente conexa para n 2, tenemos
que 1 (Pn , y) es un grupo de dos elementos para n 2.
Consecuencia
1 (Pn , y) es isomorfo a Z2 .
48 Captulo 4. Aplicaciones de los resultados previos

Otros grupos fundamentales

Hasta ahora no hemos encontrado ningun espacio cuyo grupo fundamental
sea no abeliano. As que nos surge la siguiente pregunta, todos los grupos funda-
mentales son abelianos? La respuesta es negativa. Ahora daremos dos ejemplos
que lo demuestran.
El grupo fundamental de la gura del ocho 1 (, x0 ) es no abeliano, es el
grupo al que los algebristas llaman grupo libre en dos generadores.
Consecuencia
El grupo fundamental de la gura del ocho no es abeliano.
Las supercies S 2 , P2 y T son topologicamente distintas.

4.2. Otras aplicaciones

De los resultados que se han demostrado, pueden obtenerse consecuencias
importantes en otras areas de las matematicas. Por ejemplo:
1. Teorema Fundamental del Algebra. Su demostracion puede obtenerse uti-
lizando que 1 (S 1 , b0 ) es isomorfo a Z.
2. Existencia de campos vectoriales tangente a una supercie dada.
3. Problema de los puntos jos en un disco: si f : B 2 B 2 es continua,
existe un punto x B 2 tal que f (x) = x.
4. Teorema de separacion de Jordan: una curva simple y cerrada siempre
separa el plano o S 2 en dos piezas.
Los lemas y corolarios que surgen del estudio del teorema de separacion de Jor-
dan y del teorema especial de Van Kampen, permiten completar la demostracion
del teorema de la curva de Jordan.

Resumen
En este captulo hemos calculado algunos grupos fundamentales. Hemos visto
que 1 (R2 \ {0}, x0 )
= Z, 1 (S n , x0 ) = 0 para n > 1, 1 (Rn \ {0}, x0 ) = 0 para
2
= Z Z y 1 (Pn , x0 )
n > 2, 1 (S , x0 ) = 0, 1 (T, x0 ) = Z2 para n > 1.
Todos estos grupos son abelianos, pero no necesariamente todos los grupos
fundamentales de espacios lo son. Por ejemplo el grupo de la gura del ocho no
lo es.
Los grupos fundamentales y los espacios recubridores sirven tambien pa-
ra demostrar diferentes teoremas como, por ejemplo, el Teorema Fundamental
del Algebra, la existencia de puntos jos en campos vectoriales, el Teorema de
Separacion de Jordan y el Teorema de la curvatura de Jordan.
Conclusiones

A nal del primer semestre, estuve hablando con mi tutor sobre el tema del
Trabajo Fin de Grado. Entre los que me propuso, eleg uno que me gusto desde
el principio, Clasicacion de Espacios Recubridores. Me parecio interesante
ya que era un tema que continuaba los conocimientos que habamos recibido
en las asignaturas de Topologa en el Grado, que me gusto cursarlas y disfrute
desde el primer da con ellas.
Hemos ido realizando un resumen despues de cada captulo, para explicitar
los resultados que se han obtenido. En estos resumenes estan las conclusiones
que ahora resumimos.
En el primer captulo, hemos denido una serie de conceptos para poder
asociar un grupo (que llamamos grupo fundamental) a un espacio y a cada
aplicacion continua entre espacios un homomorsmo de grupos. El grupo fun-
damental nos ha servido de herramienta para distinguir espacios.
En el segundo captulo hemos denido los espacios recubridores que nos han
ayudado a calcular el grupo fundamental de la circunferencia y hemos visto que,
en buenas condiciones de la cubierta y del espacio base, el numero de elementos
del grupo fundamental lo marca el numero de elementos de la bra.
En el tercer captulo se dan respuesta a preguntas como en que condiciones
para un espacio podemos garantizar la existencia de una cubierta universal?
Dado un espacio, cuantas cubiertas puede tener? Las clases de conjugacion
del grupo fundamental de un espacio determinan las clases de equivalencia de
cubiertas.
En el ultimo captulo, hemos calculado grupos fundamentales de algunas
supercies y hemos visto que no siempre son abelianos.
A lo largo de la elaboracion de la memoria me he dado cuenta del gran es-
fuerzo que hay que hacer para sacarla adelante, no solo por la dicultad que
tiene entender las nuevas nociones y las demostraciones de los nuevos teoremas,
sino tambien por los obstaculos que hay que superar para escribir todo riguro-
samente y el esfuerzo adicional que hay que realizar para que el lector lo pueda
entender sin excesiva dicultad.

49
Bibliografa

[1] A. D. Aleksandrov, A. N. Kolmogorov, M. A. Laurentev y otros.

La matematica: su contenido, metodos y significado. Tomo 3, parte 6, Topo-
loga. Alianza Editorial, 1973.

[2] M. A. Armstrong. Basic Topology. Springer, 1997.

[3] L. J. Hernandez y M. T. Rivas. Grupo fundamental, superficies, nudos

y aplicaciones recubridoras. Universidad de La Rioja, 2008.
[4] C. Kosniowski. Topologa Algebraica. Editorial Reverte, 1992.

[5] M. Macho Stadler. Topologa algebraica. Universidad del Pas Vasco,

2013/2014.

[6] W. S. Massey. A Basic Course in Algebraic Topology. Springer Verlag,

1991.
[7] J. R. Munkres. Topology: a first course. Prentic-Hall, 1974.

[8] V. Munoz y J. J. Madrigal. Topologa algebraica. Universidad Complu-

tense de Madrid.

51