Escuela de Verano en

Topologı́a y Geometrı́a

INSTITUTO DE MATEMÁTICAS, UNAM

UNIDAD CUERNAVACA
(9-13 Julio 2001)

Grupo Fundamental y Espacios Cubrientes

José Luis Cisneros Molina

Índice general

1. Grupo Fundamental 3
1.1. Caminos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Homotopı́a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Homotopı́a relativa . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Equivalencia Homotópica . . . . . . . . . . . . . . . . . . . . . . 5
1.5. Equivalencia de caminos . . . . . . . . . . . . . . . . . . . . . . . 6
1.6. Grupo Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.7. Homomorfismo inducido por una aplicación continua . . . . . . . 10
1.8. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.9. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2. Espacios Cubrientes 15
2.1. Teoremas de Levantamiento . . . . . . . . . . . . . . . . . . . . . 15
2.2. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3. El Grupo Fundamental de la Circunferencia . . . . . . . . . . . . 18

3. Grupo Fundamental y Espacios Cubrientes 20

3.1. Acción de π1 (X, x) en la fibra . . . . . . . . . . . . . . . . . . . . 20
3.2. Clasificación de Espacios Cubrientes . . . . . . . . . . . . . . . . 21

1
Introducción

Las presentes notas cubren el contenido del minicurso “Grupo Fundamental

y Espacios Cubrientes” impartido en la “Escuela de Verano en Topologı́a y
Geometrı́a” que se llevó a cabo del 9 al 13 de Julio de 2001 en la Unidad
Cuernavaca del Instituto de Matemáticas de la UNAM y estan basadas en [1].
El curso consistió en tres clases, las cuales corresponden a cada uno de los
capı́tulos de las notas. El objetivo del primer capı́tulo es definir el grupo funda-
mental de un espacio topológico, para ello se dan todas las definiciones necesarias
como lo son: caminos, homotopı́as y homotopı́as relativas. En el segundo capı́tu-
lo se definen los espacios cubrientes, se dan los teoremas de levantamiento y éstos
se aplican para calcular el grupo fundamental de la circunferencia. Finalmente,
en el tercer capı́tulo se relacionan más estrechamente el grupo fundamental y
los espacios cubrientes. En primer lugar se define la acción del grupo funda-
mental sobre la fibra de un cubriente y posteriormente se da la clasificación de
los cubrientes en términos de las clases de conjugación de subgrupos del grupo
fundamental del espacio base.
Como requisitos se suponen únicamente los conocimientos de cursos básicos
de Topologı́a y Álgebra (Teorı́a de Grupos) de licenciatura. También se usan
algunos conceptos y resultados básicos de acciones de grupos en conjuntos. Dicho
material se supone conocido y no se incluye en las notas por que paralelamente,
en la “Escuela de Verano en Topologı́a y Geometrı́a” se impartió un curso sobre
Acciones de Grupos.
Espero que estas notas sirvan como una pequeña introducción al mundo de
la Topologı́a Algebraica. Al final se da una pequeña bibliografı́a donde se pueden
estudiar más a fondo estos temas y tópicos relacionados, por ejemplo para resul-
tados de Topologı́a básica se puede consultar [2] y para profundizar más sobre
el Grupo Fundamental, Espacios Cubrientes y otros tópicos de Topologı́a Alge-
braica se recomiendan [4] y [3]. Agradezco a José Antonio Arciniega Nevárez el
haber leido con cuidado la versión original y haber corregido multiples errores
que habı́a en ella. Cualquier comentario o sugerencia para mejorar estas notas
será bienvenido (jlcm@[Link]).

José Luis Cisneros Molina

2 de agosto de 2005

2
Capı́tulo 1

Grupo Fundamental

1.1. Caminos
Denotaremos por I al intervalo [0, 1]. Sea X un espacio topológico y sean
a, b ∈ X. Un camino o trayectoria de a a b en X es una aplicación continua
α : I → X tal que α(0) = a y α(1) = b.
1.1 Nota. El camino α es la aplicación y no la imagen α(I). En general pen-
saremos al parámetro t como el tiempo, con lo que α(t) será la posición en X
en el instante t.
1.2 Ejemplo. El ejemplo más sencillo de camino es el camino constante
a : I → X definido por a (t) = a para todo t ∈ I.
El siguiente lema nos da dos métodos para obtener nuevos caminos a partir
de caminos dados. En el primero, dado un camino α, nos proporciona un nuevo
camino ᾱ, que esencialmente recorre a α en sentido contrario. En el segundo,
dados dos caminos tales que el punto final del primero coincide con el punto
inicial del segundo, nos da un nuevo camino que consiste en unir los caminos
dados.
1.3 Lema. Sean α y β caminos en X. Entonces
1. La aplicación ᾱ definida por ᾱ(t) = α(1 − t), es también un camino en X.
2. Si α(1) = β(0), es decir, el punto final de α coincide con el punto inicial
de β, la aplicación (α ∗ β) : I → X definida por
(
α(2t) si 0 ≤ t ≤ 1/2,
(α ∗ β)(t) =
β(2t − 1) si 1/2 ≤ t ≤ 1

La demostración del lema anterior se sigue del siguiente resultado básico de

topologı́a, conocido como el Lema del Pegado, el cual usaremos constantemente
más adelante.

3
1.4 Lema. Sean X y Y espacios topológicos y supongamos que X = A ∪ B,
donde A y B son ambos subconjuntos cerrados de X. Si f : A → Y y g : B → Y
son aplicaciones continuas tales que f (x) = g(x) para toda x ∈ A ∩ B, entonces
la aplicación h : X → Y definida por
(
f (x) si x ∈ A,
h(x) =
g(x) si x ∈ B.

es continua.

La demostración se deja como ejercicio.

1.2. Homotopı́a
Sean X y Y espacios topológicos. Se dice que dos aplicaciones continuas de
X a Y , f0 , f1 : X → Y son homotópicas si existe una aplicación continua

F : X × I → Y,

tal que

F (x, 0) = f0 (x)
F (x, 1) = f1 (x).

La aplicación F se llama una homotopı́a entre f0 y f1 y la denotaremos por

f0 ' f1 o F : f0 ' f1 .
Para cada t ∈ I definimos ft : X → Y por

ft (x) = F (x, t),

la cual es una aplicación continua. De esta forma, podemos pensar al parámetro

t como al tiempo. Entonces, al tiempo t = 0 tenemos la aplicación f0 y cuando
t varı́a, la aplicación ft varı́a continuamente de tal forma que al tiempo t = 1
obtenemos la aplicación f1 . Por esta razón se dice que una homotopı́a es una
deformación continua de una aplicación.
Una aplicación f : X → Y que es homotópica a la aplicación constante se
dice que es nulhomotópica y la homotopı́a entre ambas se dice que es una
nulhomotopı́a.

1.3. Homotopı́a relativa

Dos aplicaciones f0 , f1 : X → Y son homotópicas relativamente a un
subconjunto A de X si y sólo si existe una homotopı́a

F: X ×I →Y

4
entre f0 y f1 tal que

F (a, t) = f0 (a) = f1 (a), ∀a ∈ A, ∀t ∈ I,

es decir, para todo a ∈ A, F (a, t) no depende de t ∈ I. Denotaremos esto por

f0 ' f1 (rel A) o f0 'rel A f1 .

1.5 Nota. Si A = ∅ entonces una homotopı́a relativa a A no es otra cosa que

una homotopı́a.
1.6 Lema. La relación 'rel A definida en el conjunto de aplicaciones continuas
de X a Y es una relación de equivalencia.

Demostración. Ejercicio.

1.4. Equivalencia Homotópica

Podemos utilizar el concepto de aplicaciones homotópicas para definir una
relación de equivalencia entre espacios topológicos que es más débil que la
relación de equivalencia dada por homeomorfismos.
Se dice que dos espacios X y Y son del mismo tipo de homotopı́a si
existen aplicaciones continuas f : X → Y y g : Y → X tales que

gf ' 1 : X → X,
f g ' 1 : Y → Y.

Las aplicaciones f y g son llamadas equivalencias homotópicas. Diremos

también que X y Y son homotópicamente equivalentes. Intuitivamente,
dos espacios son homotópicamente equivalentes si uno puede ser deformado en
el otro contrayendo o encogiendo.
1.7 Ejemplo. La esfera de dimensión n − 1, S n−1 = { x ∈ Rn | kxk = 1 } y el
espacio Rn \ {0} son homotópicamente equivalentes.
Sea f : S n−1 → Rn \ {0} la inclusión y g : Rn \ {0} → S n−1 dada por g(x) =
x n−1
kxk . Tenemos que g ◦ f = 1 : S → S n−1 y F : Rn \ {0} × I → Rn \ {0} dada
x
por F (x, t) = t(kxk−1)+1 es una homotopı́a entre la identidad de Rn \ {0} y f ◦ g.

Se dice que un espacio X es contraı́ble si es homotópicamente equivalente

a un punto. Intuitivamente un espacio es contraı́ble si puede deformarse en
sı́ mismo a un punto.

1.8 Ejemplo. Ejemplos de espacios contraı́bles son los siguientes:

El espacio Euclideano Rn .
El n-disco cerrado Dn = { x ∈ Rn | kxk ≤ 1 }.
En n-disco abierto E n = { x ∈ Rn | kxk < 1 }.

5
 Todo subconjunto convexo de Rn .
1.9 Ejemplo. Otro ejemplo de espacios homotópicamente equivalentes son el
cilindro C y la circunferencia S 1 :
C = { (x, y, z) ∈ R3 | x2 + y 2 = 1, −1 ≤ z ≤ 1 },
S 1 = { (x, y, z) ∈ R3 | x2 + y 2 = 1, z = 0 }.
Sea i : S 1 → C la inclusión y r : C → S 1 dada por r(x, y, z) = (x, y, 0). Obvia-
mente ri = 1 : S 1 → S 1 , mientras que la aplicación F : C × I → C definida por
F ((x, y, z), t) = (x, y, tz) es una homotopı́a entre ir y 1 : C → C.
Los Ejemplos 1.7 y 1.9 nos llevan a la siguientes definiciones.
Un subconjunto de un espacio X se llama un retracto de X si existe una
aplicación continua r : X → A tal que ri = 1 : A → A (o equivalentemente si
r|A = 1), donde i : A → X es la inclusión. La aplicación r se llama retracción.
Un subconjunto A de X es un retracto por deformación de X si existe
una retracción r : X → A tal que ir ' 1 : X → X, donde i : A → X es la
inclusión.
Un subconjunto A de X es un retracto por deformación fuerte de X si
existe una retracción r : X → A tal que ir 'rel A 1 : X → X. La diferencia con
la definición anterior es que en este caso, todos los elementos de A quedan fijos
bajo la homotopı́a.
Nótese que las retracciones en los retractos por deformación, ya sean fuertes
o no, son equivalencias homotópicas.
Los Ejemplos 1.7 y 1.9 son retractos por deformación fuertes.

1.5. Equivalencia de caminos

Se dice que dos caminos α y β en X son equivalentes si α y β son ho-
motópicos relativamente a {0, 1}. En este caso escribiremos α ∼ β.
Por lo tanto, los caminos α, β : I → X son equivalentes si existe una función
continua
F: I ×I →X
tal que
F (t, 0) = α(t), F (t, 1) = β(t), para t ∈ I
F (0, s) = α(0) = β(0), F (1, s) = α(1) = β(1), para s ∈ I

Por el Lema 1.6 tenemos que ∼ es una relación de equivalencia.

Denotemos por [α] la clase de equivalencia del camino α. Definimos ahora
un producto de clases de equivalencia de caminos por
[α][β] = [α ∗ β].
El siguiente lema muestra que el producto de clases de equivalencia está bien
definido.

6
1.10 Lema. Si α0 ∼ α1 , β0 ∼ β1 , tales que α0 (1) = β0 (0) y α1 (1) = β1 (0),
entonces α0 ∗ β0 ∼ α1 ∗ β1 .
Demostración. Ejercicio.
La proposición siguiente nos muestra las principales propiedades de este
producto.
1.11 Proposición. Sean α, β y γ caminos en X. Entonces
(a) El producto de sus clases de equivalencia es asociativo, es decir



[α][β] [γ] = [α] [β][γ] ,

siempre y cuando este producto tenga sentido, es decir, si α(1) = β(0) y

β(1) = γ(0).
(b) Si x ∈ X, la clase de equivalencia del camino constante x definido en el
Ejemplo 1.2 se comporta como un elemento identidad (por la izquierda o
por la derecha), esto es,

[a ][α] = [α] = [α][b ],

si α es un camino de a a b en X.
(c) La clase del camino ᾱ definido en el Lema 1.3 actúa como inverso de la
clase de equivalencia de α, es decir

[α][ᾱ] = [a ] [ᾱ][α] = [b ],

para todo camino α de a a b en X.

Demostración. Solamente demostraremos (a), los otros incisos se dejan como
ejercicios.
Usando la fórmula del Lema 1.3 para el producto de caminos tenemos

α(4t)
 0 ≤ t ≤ 41
((α ∗ β) ∗ γ)(t) = β(4t − 1) 41 ≤ t ≤ 12 (1.1)
1

γ(2t − 1) 2 ≤ t ≤ 1


α(2t)
 0 ≤ t ≤ 21
(α ∗ (β ∗ γ))(t) = β(4t − 2) 21 ≤ t ≤ 34 (1.2)
3

γ(4t − 3) 4 ≤ t ≤ 1


Queremos encontrar una homotopı́a entre (1.1) y (1.2), para ello nos auxiliamos
del siguiente diagrama:

7
ya que para s = 0 se aplica α cuando t ∈ [0, 14 ], α β γ
β cuando t ∈ [ 41 , 12 ],  
s
t ∈ [ 21 , 1],
 
γ cuando s  
y para s = 1 se aplica α cuando t ∈ [0, 12 ],6 
 


β cuando t ∈ [ 21 , 34 ],  
α β γ
γ cuando t ∈ [ 43 , 1]. -t
En el diagrama la recta que une al punto ( 14 , 0) con el punto ( 12 , 1) es la recta
t = s+1 1 3 s+2
4 y la que une el punto ( 2 , 0) con ( 4 , 1) es la recta t = 4 por lo que
para un valor arbitrario de s:
α cuando t ∈ [0, s+1
4 ],
se aplica β cuando t ∈ [ s+1 s+2
4 , 4 ],
γ cuando t ∈ [ s+2
4 , 1].

Para encontrar la homotopı́a, tenemos que encontrar homeomorfismos lineales

que manden a los intervalos [0, s+1 s+1 s+2 s+2
4 ], [ 4 , 4 ] y [ 4 , 1] al [0, 1] y componerlos
con α, β y γ respectivamente, ası́
s+1 4t
r1 : [0, ] → [0, 1] r1 = (1.3)
4 s+1
s+1 s+2
r2 : [ , ] → [0, 1] r2 = 4t − s − 1 (1.4)
4 4
s+2 4(t − 1)
r3 : [ , 1] → [0, 1] r3 = 1 − , (1.5)
4 s−2
ası́ tenemos 
4t
α( s+1 )
 0 ≤ t ≤ s+1
4
F (t, s) = β(4t − s − 1) s+1
4 ≤ t ≤ s+24
γ(1 − 4(t−1) s+2

) ≤ t ≤ 1.

s−2 4

Como

α(4t)
 0 ≤ t ≤ 41
F (t, 0) = β(4t − 1) 41 ≤ t ≤ 21
γ(2t − 1) 12 ≤ t ≤ 1



α(2t)
 0 ≤ t ≤ 12
F (t, 1) = β(4t − 2) 21 ≤ t ≤ 43
γ(4t − 3) 34 ≤ t ≤ 1



F (0, s) = α(0)
F (1, s) = γ(1),

por lo tanto ((α ∗ β) ∗ γ)(t) ∼ (α ∗ (β ∗ γ))(t). Entonces el producto de clases de

equivalencia es asociativo.

8
1.12 Nota. Con el producto definido y las propiedades que hemos demostra-
do, el conjunto de clases de equivalencia de caminos en X tiene estructura de
grupoide.

1.6. Grupo Fundamental

Hemos visto que el conjunto de clases equivalencia de caminos de X satisface
prácticamente los axiomas de grupo. Pero tenemos dos problemas que impiden
que sea un grupo:
La multiplicación no siempre está definida para cualesquiera dos clases.

La identidad no es única.
Para evitar estos problemas usamos el concepto de camino cerrado.
Se dice que un camino α es cerrado o que es un lazo si α(0) = α(1). Si
α(0) = α(1) = x decimos que α es un camino cerrado con punto base x.
Si tomamos un punto x ∈ X y consideramos ahora el conjunto de clases de
equivalencia de caminos cerrados con punto base x podemos ver que el producto
de dos de esos caminos esta siempre definido y tiene una única identidad, el
camino constante x .
Denotemos por π1 (X, x) al conjunto de clases de equivalencia de caminos
cerrados con punto base x ∈ X. Por las propiedades demostradas anteriormente
tenemos el siguiente teorema.
1.13 Teorema. El conjunto π1 (X, x) es un grupo bajo el producto de clases de
equivalencia de lazos con punto base x ∈ X.
A π1 (X, x) se le llama el grupo fundamental de X con punto base x.
También se le conoce como grupo de Poincaré.
Veamos ahora como depende π1 (X, x) del punto base x.
1.14 Ejemplo. Sea X la unión disjunta de un anillo y un disco en el plano como
se muestra en la figura. Tenemos que π1 (X, x1 ) = {1} mientras que π1 (X, x0 )
es cı́clico infinito como veremos más adelante.
'$ '$
mr r
x0 x1
&% &%

Sin embargo, tenemos el siguiente teorema que relaciona los grupos funda-
mentales con distinto punto base.
1.15 Teorema. Sean x, y ∈ X. Si existe un camino en X de x a y, entonces
los grupos π1 (X, x) y π1 (X, y) son isomorfos.

9
Demostración. Sea γ un camino de x a y. Si α es un camino cerrado con punto
base x, entonces (γ̄ ∗ α) ∗ γ es un camino cerrado con punto base y. Definamos
Uγ : π1 (X, x) → π1 (X, y)
Uγ ([α]) = [γ̄ ∗ α ∗ γ].
Esta función es un homomorfismo de grupos, ya que
Uγ ([α][β]) = Uγ ([α ∗ β])
= [γ̄ ∗ α ∗ β ∗ γ]
= [γ̄ ∗ α ∗ γ ∗ γ̄ ∗ β ∗ γ]
= [γ̄ ∗ α ∗ γ][γ̄ ∗ β ∗ γ]
= Uγ ([α])Uγ ([β]).
Usando el camino γ̄ de y a x podemos definir
Uγ̄ : π1 (X, y) → π1 (X, x)
Uγ̄ ([α]) = [γ ∗ α ∗ γ̄].
Es fácil ver que Uγ y Uγ̄ son inversos y por lo tanto biyectivas, lo que nos da un
isomorfismo.
1.16 Corolario. Si X es un espacio arco-conexo, π1 (X, x) y π1 (X, y) son gru-
pos isomorfos para todo par de puntos x, y ∈ X.
Debido a este corolario es tentador eliminar la x de π1 (X, x) cuando X es
arco-conexo. Hay que tener cuidado con ello por que no existe un isomorfismo
canónico entre π1 (X, x) y π1 (X, y), puesto que caminos diferentes de x a y
pueden inducir diferentes isomorfismos.

1.7. Homomorfismo inducido por una aplicación

continua
Sea φ : X → Y una aplicación continua. Entonces tenemos los siguientes
hechos:
(i) Si α y β son caminos en X, entonces φα y φβ son caminos en Y .
(ii) Si α ∼ β, entonces φα ∼ φβ.
(iii) Si α es un lazo en X con punto base x ∈ X, φα es un lazo en Y con punto
base φ(x).
Ası́ pues, si [α] ∈ π1 (X, x), [φα] es un elemento bien definido de π1 (Y, φ(x)).
Definimos por lo tanto
φ∗ : π1 (X, x) → π1 (Y, φ(x))
φ∗ ([α]) = [φα].

10
1.17 Lema. La aplicación φ∗ es un homomorfismo de grupos.
Demostración.

φ∗ ([α][β]) = φ∗ ([α ∗ β]) = [φ(α ∗ β)] = [φα ∗ φβ] = [φα][φβ] = φ∗ ([α])φ∗ ([β]).

El homomorfismo φ∗ : π1 (X, x) → π1 (Y, φ(x)) definido por φ∗ ([α]) = [φα],

donde φ : X → Y es una aplicación continua, se llama el homomorfismo in-
ducido por φ.
1.18 Teorema. Los homomorfismos inducidos satisfacen las siguientes propiedades:
(a) Supongamos que φ : X → Y y ψ : Y → Z son aplicaciones continuas,
entonces
(ψφ)∗ = ψ∗ φ∗ .

(b) Si 1 : X → X es la identidad, entonces 1∗ es el homomorfismo identidad

en π1 (X, x).
Demostración. Sea [α] ∈ π1 (X, x), entonces,
(a) (ψφ)∗ ([α]) = [(ψφ)α] = [ψ(φα)] = ψ∗ ([φα]) = ψ∗ φ∗ ([α]).
(b) 1∗ ([α]) = [1α] = [α].

1.19 Corolario. Si φ : X → Y es un homeomorfismo, entonces el homomor-

fismo inducido φ∗ : π1 (X, x) → π1 (Y, φ(x)) es un isomorfismo.
El significado del teorema anterior es que el grupo fundamental es un funtor
de la categorı́a de espacios topológicos con punto base y aplicaciónes continuas
que preservan el punto base, a la categorı́a de grupos y homomorfismos de
grupos.
Las caracterı́sticas de que sea un funtor son las siguientes:
1. Para cada espacio topológico (con algún punto base), obtenemos un grupo,
(el grupo fundamental).
2. Para cada aplicación continua, entre espacios topológicos obtenemos un
homomorfismo entre los grupos correspondientes (el homomorfismo in-
ducido).
3. La composición de dos aplicaciones continuas induce la composición de los
homomorfismos inducidos.
4. La identidad, induce el homomorfismo identidad.
5. Todo homeomorfismo induce un isomorfismo.

11
 El siguiente Teorema es resultado directo de las definiciones de homotopı́a
relativa y del homomorfismo inducido.
1.20 Teorema. Sean φ0 , φ1 : X → Y aplicaciones continuas que son homotópi-
cas relativas al subconjunto {x}. Entonces

φ0 ∗ = φ1 ∗ : π1 (X, x) → π1 (Y, φ0 (x)).

Las propiedades de funtor del grupo fundamental nos permiten encontrar

relaciones entre los grupos fundamentales de espacios que están relacionados
por aplicaciones especiales como por ejemplo las retracciones.
Sea A un retracto de X con retracción r : X → A. Si i : A → X es la
inclusión, entonces tenemos que ri = 1 : A → A. Tomando los homomorfismos
inducidos de r e i tenemos que r∗ i∗ es el homomorfismo identidad del grupo
fundamental de A. Entonces podemos concluir que el i∗ es un monomorfismo,
es decir, es inyectivo y r∗ es un epimorfismo, es decir, suprayectivo.
Además, si A es un retracto por deformación fuerte de X, tenemos que
ir 'rel A 1 : X → X. En particular, la homotopı́a es relativa al punto base y
por el Teorema 1.20 ir tiene el mismo homomorfismo inducido, que la identidad
en X, que es precisamente el homomorfismo identidad en el grupo fundamental
de X. Por lo tanto tenemos en este caso que r∗ es un monomorfismo y que i∗
es epimorfismo, por lo tanto ambos son isomorfismos. En resumen, tenemos el
siguiente teorema.
1.21 Teorema. Sea A un retracto por deformación fuerte de X con retracción
r : X → A. Entonces r induce un isomorfismo

r∗ : π1 (X, x0 ) → π1 (A, x0 ).

De hecho tenemos un resultado mas fuerte, espacios arco-conexos homotópi-

camente equivalentes tienen grupos fundamentales isomorfos.
1.22 Teorema. Si X y Y son espacios arco-conexos y φ : X → Y es una equiv-
alencia homotópica, entonces φ∗ : π1 (X, x0 ) → π1 (Y, φ(x0 )) es un isomorfismo.
Demostración. Sea y0 = φ(x0 ). El único problema para probar este resultado es
que no podemos suponer que el inverso homotópico manda a y0 a x0 , y no pode-
mos suponer que las homotopı́as preserven los puntos base. Sea ψ : Y → X el
inverso homotópico de φ y sea x1 = ψ(y0 ). Entonces tenemos los homomorfismos
φ∗ ψ∗
π1 (X, x0 ) −→ π1 (Y, y0 ) −−→ π1 (X, x1 ),

cuya composición es (ψ ◦ φ)∗ . Por hipótesis ψ ◦ φ ' 1. Durante la homotopı́a,

las imágenes del punto x0 recorren algún camino, digamos γ, de x1 a x0 . Com-
poniendo por la derecha con un lazo α obtenemos que ψ◦φ◦α ' α, donde el pun-
to base del lazo a lo largo de la homotopı́a recorre el camino γ. Si consideramos
[α] ∈ π1 (X, x0 ), tenemos que (ψ ◦ φ)∗ ([α]) = Uγ ([α]) para toda [α] ∈ π1 (X, x0 ),
donde Uγ es el isomorfismo del Teorema 1.15. Por lo tanto, (ψ ◦ φ)∗ es un

12
isomorfismo y se sigue que φ∗ es un monomorfismo y ψ∗ es un epimorfismo.
Aplicando la misma discusión pero empezando con ψ muestra que ψ∗ es tam-
bién un monomorfismo y por ende un isomorfismo. Entonces φ∗ = ψ∗−1 ◦ (ψ ◦ φ)∗
es un isomorfismo.
1.23 Corolario. Todo espacio contraı́ble tiene grupo fundamental trivial.
Un espacio topológico se dice que es simplemente conexo si es arco-conexo
y si π1 (X, x) = {1} para algún (y por lo tanto, para todo) x ∈ X.
1.24 Proposición. Un espacio X es simplemente conexo si y sólo si existe una
única clase de homotopı́a de caminos que conectan cualesquiera dos puntos.
Demostración. Supongamos que π1 (X) = {1}. Si α y β son dos caminos de x0
a x1 , entonces α ∼ α ∗ β̄ ∗ β ∼ β vı́a nulhomotopı́as de los lazos β̄ ∗ β y α ∗ β̄,
usando la suposición de que π1 (X) = {1} en el segundo caso.
Recı́procamente, si hay únicamente una clase de homotopı́a de caminos que
conectan al punto base x0 con el mismo, es decir, de caminos cerrados basados
en x0 , entonces π1 (X) = {1}.

1.8. Ejemplos
El Corolario 1.23 nos da ejemplos de grupos fundamentales, a saber:
π1 (Rn ) = {1}.
π1 (Dn ) = {1}.
π1 (E n ) = {1}.
Veamos ahora algunos ejemplos de grupos fundamentales no triviales:
1. El grupo fundamental en general no es abeliano, como lo muestra el sigu-
iente ejemplo conocido como el “antifaz”.
' $

 

6 s
@ R

α β
& %

Si fuera abeliano, tendrı́amos que αβα−1 β −1 = 1, pero intuitivamente se

puede ver que dicho lazo no es trivial ya que rodea a ambos agujeros.
2. Para S 1 , intuitivamente podemos ver que π1 (S 1 ) = Z, donde a cada clase
de lazos en S 1 está caracterizada por el número de vueltas que le da a la
circunferencia. Más adelante demostraremos formalmente que π1 (S 1 ) = Z
una vez que estudiemos a los espacios cubrientes.

13
 3. En el caso del toro S 1 × S 1 , tenemos que π1 (S 1 × S 1 ) = Z ⊕ Z.
Este último ejemplo es consecuencia de un resultado más general sobre el
grupo fundamental de un espacio producto.
1.25 Teorema. Sean X y Y dos espacios arco-conexos. Entonces tenemos que
π1 (X × Y ) es isomorfo a π1 (X) ⊕ π1 (Y ). Si p : X × Y → X y q : X × Y → Y
son las proyecciones, el isomorfismo está dado por:

φ : π1 (X × Y ) → π1 (X) ⊕ π1 (Y )
φ([α]) = (p∗ ([α]), q∗ ([α])).

Una demostración se puede encontrar en [3, Teo. 15.17].

1.9. Aplicaciones
En esta sección veremos algunas aplicaciones del grupo fundamental suponien-
do que ya sabemos que π1 (S 1 ) = Z.
En primer lugar, tenemos que la circunferencia S 1 no es contraı́ble por el
contrarecı́proco del Corolario 1.23.
1.26 Proposición. No existe ninguna aplicación continua f : D2 → S 1 tal que
f |S 1 sea la identidad.
Demostración. Sea i : S 1 → D2 la inclusión. Supongamos que f : D2 → S 1 es
una aplicación tal que f ◦ i = 1 : S 1 → S 1 . Entonces (f ◦ i)∗ : π1 (S 1 ) → π1 (S 1 )
es la identidad. Sin embargo, (f ◦ i)∗ = f∗ ◦ i∗ , por lo que tenemos el siguiente
diagrama:

Z = π1 (S 1 )
1 / π1 (S 1 ) = Z
PPP n7
PPP
PPP nnnnn
PPP nnn
i∗
' nnn f∗
π1 (D2 ) = {1}

Esto es una contradicción ya que 1 : Z → Z no factoriza como en el diagrama.

1.27 Teorema (Teorema de punto fijo de Brower). Sea f : D2 → D2 una

aplicación continua. Entonces f tiene un punto fijo, es decir, existe x0 ∈ D2 tal
que f (x0 ) = x0 .
Demostración. Supongamos que para toda x ∈ D2 , tenemos que f (x) 6= x.
Definimos una aplicación h : D2 → S 1 como sigue. Tomemos el rayo que une a
f (x) con x. Dicha linea intersecta a S 1 en un único punto y. Entonces hacemos
h(x) = y. Tenemos que h es continua. Si x ∈ S 1 entonces h(x) = x, lo cual
contradice la Proposición 1.26.

14
Capı́tulo 2

Espacios Cubrientes

Sean X y Y espacios arco-conexos y localmente arco-conexos. Diremos que Y

es un espacio cubriente de X si existe una aplicación continua y suprayectiva
p : Y → X tal que para cada punto x ∈ X existe una vecindad abierta U de x
tal que satisface las siguientes propiedades:
(i) p−1 (U ) = j Vj , con Vj abiertos en Y para toda j.
F

(ii) p|Vj : Vj → U es un homeomorfismo para toda j.

A la vecindad U se le llama vecindad regular, a las vecindades Vj se les llama
las hojas y diremos que p es una aplicación cubriente.
2.1 Ejemplo. La aplicación R → S 1 dada por t 7→ e2πit es una aplicación
cubriente con un número infinito de hojas.
2.2 Ejemplo. La aplicación S 1 → S 1 dada por z 7→ z n para un entero positivo
fijo n, es una aplicación cubriente con n hojas.
2.3 Ejemplo. La aplicación canónica S 2 → P2 , donde P2 es el plano proyectivo
real, es una aplicación cubriente con dos hojas.

2.4 Ejemplo. Considera la relación de equivalencia en el plano R2 que está gen-

erada por las equivalencias (x, y) ∼ (x, y+1) y (x, y) ∼ (x+1, −y). La aplicación
canónica R2 → R2 / ∼ es un cubriente con un número infinito de hojas. El es-
pacio cociente es la botella de Klein.

2.1. Teoremas de Levantamiento

Una de las propiedades principales de los espacios cubrientes es que podemos
levantar caminos de X a Y en el siguiente sentido.
Sea p : Y → X una aplicación cubriente. Si f : Z → X es una aplicación
continua de algún espacio Z, un levantamiento de f es una aplicación continua

15
f˜: Z → Y tal que p ◦ f˜ = f .
>Y
f˜
p

Z
f
/X

En el caso de los caminos tenemos que Z = I.

Antes de demostrar la propiedad de levantamiento de caminos de las aplica-
ciones cubrientes necesitamos recordar el siguiente resultado de topologı́a, cuya
demostración está en [2, Lem. 3.7.2]:
2.5 Lema (Lema de Lebesgue). Sea X un espacio métrico compacto y sea
{Uj } una cubierta abierta de X. Entonces existe δ > 0, llamado “Número de
Lebesgue” de la cubierta, tal que para todo subconjunto A de X cuyo diámetro
es menor que δ, entonces A ⊂ Uj para alguna j.
2.6 Teorema (Propiedad de Levantamiento de Caminos). Sea p : Y →
X una aplicación cubriente y supongamos que p(y0 ) = x0 . Entonces cualquier
camino α : I → X que comienza en x0 tiene un levantamiento único a un camino
α̃ en Y que comienza en y0 .
Demostración. Por el Lema de Lebesgue, existe un número natural n tal que
α([ ni , i+1
n ]) está contenido totalmente en una vecindad regular. Por el homeomor-
fismo local sobre las vecindades regulares podemos levantar a α por inducción
en i: En cada paso de la inducción, el levantamiento en el extremo izquierdo
del intervalo [ ni , i+1
n ] fue definido en el paso anterior, indicando de forma única
sobre cual hoja debemos levantar α([ ni , i+1 n ]) usando el homeomorfismo sobre la
vecindad regular.
2.7 Proposición. Si p : Y → X es una aplicación cubriente, entonces los con-
juntos p−1 (x) para toda x ∈ X tienen la misma cardinalidad.
Demostración. Sean x0 , x1 ∈ X. Escojamos un camino α de x0 a x1 . Usando
este camino, definimos una función de p−1 (x0 ) a p−1 (x1 ). Dado y0 ∈ p−1 (x0 ),
levantemos a α a un camino α̃ en Y que comienza en y0 . Sea y1 el punto final
de α̃, entonces y0 7→ y1 es la función deseada. Haciendo lo mismo con el camino
ᾱ obtenemos una función de p−1 (x1 ) a p−1 (x0 ) la cual es fácil ver que es inversa
de la anterior y por lo tanto nos dan una biyección entre ambos conjuntos.
El conjunto p−1 (x) es llamado la fibra sobre x ∈ X y a su cardinalidad se
le llama el número de hojas del cubriente.
Otra propiedad muy útil de las aplicaciones cubrientes es que podemos lev-
antar homotopı́as. Para ver esto, necesitamos el siguiente lema técnico.
2.8 Lema. Sea Z un espacio arbitrario y sea {Uj } una cubierta abierta de
Z × I. Entonces para todo punto z ∈ Z, existe una vecindad Nz de z en Z y un
entero positivo n tal que Nz × [ ni , i+1
n ] ⊂ Uj para alguna j, para cada 0 ≤ i ≤ n.

16
Demostración. Podemos cubrir a {z} × I por un refinamiento de {Uj } de la
forma N1 × W1 , N2 × W2 ,. . . , Nk × Wk , por la compacidad de I y la definición
de la topologı́a producto. El Lema de Lebesgue implica que existe n >T0 tal que
cada [ ni , i+1
n ] está contenido en uno de los Wi . Tómese dicha n y Nz = Ni .
2.9 Teorema (Propiedad de Levantamiento de Homotopı́as). Sea p : Y →
X una aplicación cubriente. Sea Z un espacio arbitrario y sea f : Z → X una
aplicación continua que tiene un levantamiento f˜: Z → Y . Entonces toda ho-
motopı́a F : Z × I → X con F (z, 0) = f (z) para toda z ∈ Z puede ser levantada
a una homotopı́a F̃ : Z × I → Y con F̃ (z, 0) = f˜(z) para toda z ∈ Z. Además, si
F es una homotopı́a relativa a algún subconjunto Z 0 de Z, entonces F̃ también
lo es.
Demostración. Por el Lema 2.8 para cada z ∈ Z existe una vecindad abierta
Nz y un entero positivo n tal que F (Nz × [ ni , i+1
n ]) está totalmente contenida en
una vecindad regular. Usando los homeomorfismos entre las hojas y la vecindad
regular y el mismo argumento inductivo que en el Teorema 2.6, podemos levantar
F sobre Nz × I a una aplicación F̃ : Nz × I → Y tal que F̃ (z, 0) = f˜(z) para
toda z ∈ Nz .
Los levantamientos sobre Nz ×I y Nz0 ×I concuerdan sobre (Nz ∩Nz0 )×I, y
por lo tanto podemos pegarlos para obtener el levantamiento F̃ sobre Z ×I. Para
ver esto, sea z1 ∈ (Nz ∩ Nz0 ). Entonces tenemos dos levantamientos de F |z1 ×I
que concuerdan en el punto (z1 , 0). Pero por la unicidad del levantamiento de
caminos (F |y1 ×I es un camino sobre X) estos dos levantamientos coinciden.
La última afirmación se sigue de la construcción de F̃ .
El siguiente teorema es una generalización de los teoremas de levantamiento,
el cual enunciaremos sin demostración.
2.10 Teorema (Teorema General de Levantamiento). Sea p : Y → X
una aplicación cubriente y supongamos que p(y0 ) = x0 . Sea f : Z → X una
aplicación continua con f (z0 ) = x0 . Supongamos también que Z es arco-conexo
y localmente arco-conexo. La aplicación f puede ser levantada a una aplicación
f˜: Z → Y tal que f˜(z0 ) = y0 si y sólo si

f∗ (π1 (Z, z0 )) ⊂ p∗ (π1 (Y, y0 )).

Además, si dicho levantamiento existe, es único.

Para la demostración, consúltese [3, Teo. 21.2].

2.2. Aplicaciones
La siguiente aplicación del Teorema 2.9 nos da la primera relación entre los
espacios cubrientes y el grupo fundamental, de hecho, nos permitirá calcular
el grupo fundamental del cı́rculo, cumpliendo con nuestra promesa de la clase
anterior.

17
2.11 Teorema. Sea p : Y → X una aplicación cubriente y supongamos que
p(y0 ) = x0 . Sean α y β dos caminos en X de x0 a x1 ; sean α̃ y β̃ sus respectivos
levantamientos a caminos en Y que empiezan en y0 . Si α y β son equivalentes
(homotópicos relativamente a {0, 1}), entonces α̃ y β̃ son equivalentes. En par-
ticular, α̃ y β̃ terminan en el mismo punto.
Demostración. Sea F : I × I → X la homotopı́a relativa entre α y β. Entonces
F (0, 0) = x0 . Sea F̃ : I × I → Y el levantamiento de F a Y tal que F̃ (0, 0) = y0
y tenemos que F̃ (0 × I) = {y0 } y F̃ (1 × I) es un conjunto con un sólo punto
{y1 }.
La restricción F̃ |I×0 de F̃ al lado inferior de I × I es un camino en Y
que comienza en y0 y que es un levantamiento de F |I×0 . Por la unicidad de los
levantamientos de caminos debemos tener que F̃ (s, 0) = α̃(s). De forma análoga
F̃ |I×1 es un camino en Y que es levantamiento de F |I×1 que comienza en y0 .
Por lo tanto F̃ (z, 1) = β̃(s). Por lo tanto α̃ y β̃ terminan en el mismo punto y
son equivalentes.
2.12 Corolario. Sea p : Y → X una aplicación cubriente y supongamos que
p(y0 ) = x0 . Entonces p∗ : π1 (Y, y0 ) → π1 (X, x0 ) es inyectivo.
Demostración. Aplicar el Teorema 2.11 a lazos en X.
2.13 Corolario. Sea X un espacio de Hausdorff, arco-conexo y localmente arco-
conexo. Si X tiene un espacio cubriente no trivial entonces π1 (X, x0 ) 6= {1}.
Demostración. Tomemos dos puntos y0 , y1 ∈ p−1 (x0 ) y sea α̃ un camino entre
ellos. Entonces p ◦ α es un lazo en X basado en x0 que no levanta a un lazo en
Y basado en y0 . Por el Corolario 2.12, se sigue que [p ◦ f ] ∈ π1 (X, x0 ) no está en
la imagen de p∗ y por lo tanto es un elemento no trivial.
Como consecuencia del Corolario 2.13 y por los Ejemplos 2.1, 2.2, 2.3 y
2.4 ahora sabemos que varios espacios tienen grupo fundamental no trivial: la
circunferencia, el plano proyectivo y la botella de Klein.

2.3. El Grupo Fundamental de la Circunferencia

Finalmente en la presente sección, calcularemos formalmente el grupo fun-
damental de la circunferencia.
2.14 Teorema. El grupo fundamental del cı́rculo es cı́clico infinito.
Demostración. Sea x0 = (1, 0) el punto base de S 1 . Construiremos un isomor-
fismo del grupo π1 (S 1 , x0 ) con el grupo (Z, +) de los enteros.
Consideremos la aplicación cubriente del Ejemplo 2.1 dado por

p(x) = (cos 2πx, sin 2πx).

Si α es un lazo en S 1 basado en x0 , sea α̃ el levantamiento de α a un camino

en R que comienza en 0. El punto α̃(1) debe ser un punto del conjunto p−1 (x0 ),

18
es decir, α̃(1) debe ser algún entero n. El Teorema 2.11 nos dice que este entero
depende únicamente de la clase de homotopı́a [α] de α. Por lo tanto, podemos
definir
φ : π1 (S 1 , x0 ) → Z,
tomando como φ([α]) dicho entero n al cual llamaremos el grado de α. Afir-
mamos que φ es un isomorfismo de grupos.
La aplicación φ es suprayectiva. Sea n un punto de p−1 (x0 ). Como R
es arco-conexo, podemos escoger un camino α̃ : I → R de 0 a n. Definimos
α = p ◦ α̃. Entonces α es un lazo en S 1 basado en x0 y α̃ es su levantamiento a
un camino en R que comienza en 0. Por definición tenemos que φ([α]) = n.
La aplicación φ es inyectiva. Supongamos que φ([α]) = n = φ([β]).
Debemos probar que [α] = [β]. Sean α̃ y β̃ los levantamientos de α y β, respec-
tivamente, a caminos en R que comienzan en 0; ambos, α̃ y β̃, por hipótesis,
terminan en n. Como R es simplemente conexo, por la Proposición 1.24 los
caminos α̃ y β̃ son equivalentes. Sea F̃ la homotopı́a relativa a {0, 1} entre ellos.
La aplicación F = p ◦ F̃ es una homotopı́a relativa {0, 1} entre α y β.
La aplicación φ es un homomorfismo. Sean α y β dos caminos en S 1
basados en x0 . Sean α̃ y β̃ los levantamientos de α y β, respectivamente, a
caminos en R que comienzan en 0. Sea α̃(1) = n y β̃(1) = m. Definimos un
camino γ̃ en R por las ecuaciones
(
α̃(2s) para s ∈ [0, 1/2],
γ̃ =
n + β̃(2s − 1) para s ∈ [1/2, 1].

Entonces γ̃ es un camino en R que comienza en 0. Afirmamos que γ̃ es el

levantamiento de α ∗ β. En primer lugar notemos que para toda x, tenemos que
p(n + x) = p(x), por que las funciones sin y cos tienen periodo 2π. Entonces
(
p(f˜(2s)) = f (2s) para s ∈ [0, 1/2],
p(γ̃) =
p(n + g̃(2s − 1)) = p(g̃(2s − 1)) = g(2s − 1) para s ∈ [1/2, 1].

Por lo tanto p ◦ γ̃ = α ∗ β y γ̃ es el levantamiento de α ∗ β que comienza en 0.

Por definición, φ([α ∗ β]) es γ̃(1) = n + m. Entonces

φ([α ∗ β]) = φ([α]) + φ([β]).

19
Capı́tulo 3

Grupo Fundamental y
Espacios Cubrientes

3.1. Acción de π1 (X, x) en la fibra

Sea p : Y → X una aplicación cubriente. En esta sección definiremos una
acción del grupo π1 (X, x0 ) en la fibra p−1 (x0 ) sobre x0 .
Sea α un lazo en X basado en x0 . Su levantamiento α̃y0 a Y con punto inicial
y0 no necesariamente es un lazo, pero su punto final α̃y0 (1) será algún punto y1
en la fibra p−1 (x0 ) sobre x0 . Como el punto final sólo depende de la clase de
homotopı́a de α podemos definir una acción (derecha) de π1 (X, x0 ) en p−1 (x0 )
por
y · [α] = α̃y (1)
para toda y ∈ p−1 (x0 ), [α] ∈ π1 (X, x0 ). Se deja como ejercicio verificar que
satisface las propiedades de una acción.
Dado un punto y0 ∈ p−1 (x0 ), el estabilizador o subgrupo de isotropı́a
Sy0 de y0 es el subgrupo p∗ (π1 (Y, y0 )), ya que α deja fijo a y0 si α levanta en Y
a un lazo basado en y0 , y esto sucede si y sólo si α es la imagen bajo p∗ de un
lazo en Y basado en y0 .
Si Y es arco-conexo, π1 (X, x0 ) actúa transitivamente, ya que un camino
α̃ de y0 a y1 puede ser visto como el levantamiento del lazo α = p ◦ α̃. Por lo
tanto, los diferentes subgrupos p∗ (π1 (Y, y)) al correr y a lo largo de p−1 (x0 ) son
todos conjugados, ya que si y0 · [α] = y1 , entonces Sy0 = [α]Sy1 [α]−1 . Entonces
tenemos la siguiente proposición.
3.1 Proposición. Sea p : Y → X una aplicación cubriente, donde Y y X
son arco-conexos. Sea x0 ∈ X. Al variar y sobre los puntos de p−1 (x0 ), los
grupos p∗ (π1 (Y, y)) varı́an precisamente sobre la clase de conjugación del grupo
p∗ (π1 (Y, y0 )).
Demostración. En la discusión anterior vimos que si y ∈ p−1 (x0 ) entonces los
grupos p∗ (π1 (Y, y)) y p∗ (π1 (Y, y0 )) son conjugados.

20
 Ahora sea H un subgrupo de π1 (X, x0 ) conjugado a p∗ (π1 (Y, y0 )). Queremos
encontrar un punto y ∈ p∗ (π1 (Y, y0 )) tal que p∗ (π1 (Y, y)) sea igual a H. Por
hipótesis p∗ (π1 (Y, y0 )) = [α]H[α]−1 para algún lazo α en X basado en x0 . Sea
α̃ el levantamiento de α en Y con punto inicial y0 y sea y1 = α̃(1). Entonces por
la discusión anterior tenemos que p∗ (π1 (Y, y0 )) = [α]p∗ (π1 (Y, y1 ))[α]−1 y por lo
tanto p∗ (π1 (Y, y1 )) = H.

3.2. Clasificación de Espacios Cubrientes

Definamos una relación de equivalencia entre los espacios cubrientes.
Dos espacios cubrientes p : Y → X y p0 : Y 0 → X son equivalentes si existe
un homeomorfismo h : Y 0 → Y tal que p◦h = p0 , es decir, si el siguiente diagrama
conmuta
Y0A
h /Y
AA ~~
AA ~~
A ~~ p
p0 AA ~~~
X
A h se le llama transformación cubriente. Si Y = Y 0 entonces, el conjunto
de transformaciones cubrientes forma un grupo bajo composición y se le llama
grupo de automorfismos cubrientes.
El siguiente teorema nos da una caracterización de cuando dos cubrientes
son equivalentes.
3.2 Teorema. Sea X conexo y localmente arco-conexo. Sea p : Y → X y
p0 : Y 0 → X espacios cubrientes arco-conexos de X. Sea p(y0 ) = p0 (y00 ) = x0 .
Entonces p y p0 son cubrientes equivalentes si y sólo si

p∗ (π1 (Y, y0 )) y p0∗ (π1 (Y 0 , y00 ))

son subgrupos conjugados de π1 (X, x0 ).

Demostración. (⇒) Supongamos que p y p0 son equivalentes. Sea h : Y 0 → Y la
transformación cubriente tal que p ◦ h = p0 . Sea h(y00 ) = y1 . Entonces como h
es homeomorfismo
h∗ (π1 (Y 0 , y00 )) = π1 (Y, y1 ).
Aplicando p∗ en ambos lados

p0∗ (π1 (Y 0 , y00 )) = p∗ h∗ (π1 (Y 0 , y00 )) = p∗ (π1 (Y, y1 )).

Por la Proposición 3.1 este subgrupo es conjugado a p∗ (π1 (Y, y0 )).

(⇐) Supongamos que los subgrupos son conjugados. En vista de la Proposi-
ción 3.1, podemos escoger un punto distinto en Y 0 para obtener la situación
donde los dos grupos son iguales. Supongamos que hemos hecho esto y que y00

21
es el nuevo punto base. Consideremos

Y0
p0

Y
p
/X

El espacio Y es arco-conexo y localmente arco-conexo ya que es localmente

homeomorfo a X. Además

p∗ (π1 (Y, y0 )) ⊂ p0∗ (π1 (Y 0 , y00 )),

de hecho, son iguales. Por el Teorema General de Levantamiento podemos lev-

antar p : Y → X a h : Y → Y 0 tal que h(y0 ) = y00 . Entonces p0 ◦ h = p.
Cambiando las papeles de Y y Y 0 , vemos que p0 : Y 0 → X puede ser levantado
a k : Y 0 → Y con k(y00 ) = y0 .
Para ver que h y k son inversos consideremos

Y
p

Y
p
/X

k ◦ h : Y → Y es un levantamiento de p : Y → X tal que (k ◦ h)(y0 ) = y0 y

la identidad también lo es. Como los levantamientos son únicos entonces son
iguales. Lo mismo sucede para la otra composición.
El siguiente teorema junto con el anterior nos dice que hay una relación 1
a 1 entre las clases de equivalencia de cubrientes y las clases de conjugación de
subgrupos de π1 (X, x0 ). Para una demostración véase [3, Cor. 22.2].
3.3 Teorema. Sea Y arco-conexo, localmente arco-conexo y semi-localmente
simplemente conexo. Sea x0 ∈ X. Dado un subgrupo H de π1 (X, x0 ) existe un
cubriente arco-conexo p : Y → X y un punto y0 ∈ p−1 (x0 ) tal que

p∗ (π1 (Y, y0 )) = H.

El siguiente teorema nos relaciona a la fibra de un cubriente con la imagen

de la proyección del grupo fundamental del cubriente en el grupo fundamental
de la base. Este teorema nos da como corolario una relación entre el número
de hojas de un cubriente y el ı́ndice del grupo fundamental del cubriente visto
como subgrupo del grupo fundamental de la base.
3.4 Teorema. Sea p : Y → X es un espacio cubriente con p(y0 ) = x0 . Entonces
hay una correspondencia uno a uno entre el conjunto

p∗ (π1 (Y, y0 ))\π1 (X, x0 ),

de clases laterales derechas del subgrupo p∗ (π1 (Y, y0 )) de π1 (X, x0 ) y la fibra

p−1 (x0 ).

22
Demostración. Recordemos que el grupo π1 (X, x0 ) actúa transitivamente en la
fibra p−1 (x0 ) y que el estabilizador de y0 es el grupo p∗ (π1 (Y, y0 )). El teorema
se sigue un resultado clásico de acciones de grupos que dice que si un grupo
actúa transitivamente en un conjunto, existe una biyección entre el conjunto y
el conjunto de clases laterales del estabilizador de un punto en el conjunto.
3.5 Corolario. El número de hojas de un espacio cubriente es igual al ı́ndice
del subgrupo p∗ (π1 (Y, y0 )) en π1 (X, x0 ).
Tenemos el caso especial cuando el espacio cubriente es simplemente conexo.
3.6 Corolario. Si p : Y → X es un cubriente con Y simplemente conexo,
entonces el número de hojas es igual al orden de π1 (X, x0 ).
Definición. Si p : Y → X es un cubriente con Y simplemente conexo, se llama
cubriente universal.
3.7 Ejemplo. La proyección S n → Pn es el cubriente universal y es un doble
cubriente, entonces π1 (Pn ) ∼
= Z2 .
Finalmente, terminamos enunciando un teorema que relaciona al grupo de
automorfismos cubrientes del cubriente universal con el grupo fundamental de
la base. Para una demostración de este resultado véase [3, Teo. 21.9, Cor, 21.10].
3.8 Teorema. Sea un espacio cubriente p : Y → X con grupo de automorfis-
mos cubrientes G. Si Y es simplemente conexo y localmente arco-conexo, G es
canónicamente isomorfo a π1 (X, x0 ).

23
Bibliografı́a

[1] Carlos Robles Corbalá. Grupo Fundamental y Espacios Cubrientes. Notas

Manuscritas.
[2] James R. Munkres. Topology: a first course. Prentic-Hall, 1975.
[3] C. Kosniowski. Topologı́a Algebraica. Editorial Reverté, 1989.
[4] S. William Massey. Algebraic Topology: an introduction. Springer Verlag,
1967.

24