TEMA 11: GRUPO FUNDAMENTAL

1. Homotopı́a
Intuitivamente, podemos decir que dos espacios topológicos son homotópi-
cos si se pueden deformar continuamente el uno en el otro. Denotaremos I =
[0, 1] y recordemos que un arco en X es una aplicación continua σ : I → X.
Definición 1.1. Diremos que dos aplicaciones continuas f, g : X → Y son
homotópicas si existe una aplicación continua llamada homotopı́a
F :X ×I →Y
tal que para todo x ∈ X, F (x, 0) = f (x) y F (x, 1) = g(x).
Notación: Cuando f, g son homotópicas, lo denotaremos como f ∼ g. Si F
es una homotopı́a entre f y g, escribiremos F : f ∼ g.
Podemos interpretar una homotopı́a F : f ∼ g de dos maneras diferentes,
dependiendo de que fijemos una u otra variable:
a) Un “arco de aplicaciones” de f a g. Estas aplicaciones, que denotamos
por Ft : X → Y , vienen dadas por Ft (x) = F (x, t).
b) Una “familia continua” de arcos. Para cada x ∈ X hay un arco que une
los puntos f (x) y g(x). Dicho arco lo denotaremos por Fx : [0, 1] → Y
y viene dado por Fx (t) = F (x, t).

Ejemplo 1.2. Si X = {∗} es un único punto, entonces una homotopı́a entre

aplicaciones f, g : {∗} → Y es un arco que va de f (∗) a g(∗). Recı́procamente,
todo arco que va de f (∗) a g(∗) define una homotopı́a entre f, g.
Ejemplo 1.3. Las aplicaciones f, g : S 1 → R2 , dadas por f (x, y) = (x, y) y
g(x, y) = (3x, 3y) son homotópicas. La homotopı́a viene dada por Ft (x, y) =
(1 + 2t)(x, y).

1
2 TEMA 11: GRUPO FUNDAMENTAL

Ejemplo 1.4. En general, si K ⊂ Rn es un subespacio convexo, dos apli-

caciones f, g : X → K son siempre homotópicas mediante la homotopı́a
F : X × I → K dada por
F (x, t) = (1 − t)f (x) + tg(x).
Proposición 1.5. Dados dos espacios topológicos X, Y , la homotopı́a es
una relación de equivalencia en el conjunto de las aplicaciones continuas
C(X, Y ).
Demostración. Reflexiva: Dada f ∈ C(X, Y ) entonces F : f ∼ f , donde F
es la homotopı́a constante F (x, t) = f (x), ∀(x, t) ∈ X × I.
Simétrica: Supongamos que f, g ∈ C(X, Y ) y que tenemos una homotopı́a
F : f ∼ g. Entonces consideremos la homotopı́a G : g ∼ f dada por G(x, t) =
F (x, 1 − t), ∀(x, t) ∈ X × I.
Transitiva: Supongamos que f, g, h ∈ C(X, Y ) y que tenemos homotopı́as
F : f ∼ g y G : g ∼ h, entonces construimos H : f ∼ h de la siguiente
forma: (
F (x, 2t), si t ∈ [0, 12 ],
H(x, t) =
G(x, 2t − 1), si t ∈ [ 12 , 1].


Notación: Denotaremos la clase de homotopı́a de una aplicación f ∈ C(X, Y )

como
[f ] = {g ∈ C(X, Y ) : f ∼ g}.
Al conjunto cociente lo denotamos por
C(X, Y )
[X, Y ] = .
∼
Si X = {∗} es un único punto, entonces existe una aplicación biyectiva entre
[{∗}, Y ] y el conjunto de las componentes arcoconexas de Y . Además, Y es
arcoconexo si y solo si [{∗}, Y ] se reduce a una única clase.
Proposición 1.6. Si f1 , f2 : X → Y y g1 , g2 : Y → Z son aplicaciones
continuas tales que f1 ∼ f2 y g1 ∼ g2 , entonces g1 ◦ f1 ∼ g2 ◦ f2 .
Demostración. Tomamos las homotopı́as F : f1 ∼ f2 y G : g1 ∼ g2 , y a
partir de ellas definimos una homotopı́a H : g1 ◦ f1 ∼ g2 ◦ f2 de la siguiente
forma:
H(x, t) = G(F (x, t), t), ∀(x, t) ∈ X × I.

 TEMA 11: GRUPO FUNDAMENTAL 3

Definición 1.7. Definimos la composición de clases da homotopı́a de apli-

caciones como
[g] ◦ [f ] = [g ◦ f ],
donde f : X → Y y g : Y → Z son aplicaciones continuas. Por la proposición
anterior, esta definición no depende de los representantes escogidos.
Definición 1.8. Una aplicación continua f : X → Y es una equivalencia de
homotopı́a si existe una aplicación continua g : Y → X tal que g ◦ f ∼ idX
y f ◦ g ∼ idY .
Equivalentmente, podemos decir que f : X → Y es una equivalencia de
homotopı́a si existe alguna aplicación continua g : Y → X, tal que
[g] ◦ [f ] = [id X ], [f ] ◦ [g] = [id Y ].
Definición 1.9. Diremos que dos espacios topológicos X e Y tienen el
mismo tipo de homotopı́a si existe una equivalencia de homotopı́a entre
ellos. Lo denotamos por X ' Y.
Ejemplo 1.10. Ejemplos de espacios con el mismo tipo de homotopı́a :
Si X y Y son espacios homeomorfos, entonces tienen el mismo tipo
de homotopı́a.
[0, 1] y {0} tienen el mismo tipo de homotopı́a. En efecto, tomamos
la aplicación constante f : [0, 1] → {0} y sea g : {0} → [0, 1] la
inclusión. Entonces se cumple que f ◦ g = id y g ◦ f ∼ id (observemos
que [0, 1] ⊂ R es convexo y por el ejemplo 1.4 sabemos que las dos
aplicaciones g ◦ f, id : [0, 1] → [0, 1] son siempre homotópicas).
Definición 1.11. Diremos que un espacio X contráctil si tiene el tipo de
homotopı́a de un punto.
Se sigue de manera immediata de esta definición que un espacio X es
contráctil si y solo si la aplicación constante ct : X → {∗} es una equivalencia
de homotopı́a .
Proposición 1.12. Un espacio X es contráctil si y solo si existe un punto
x0 ∈ X tal que las aplicaciones idX , ctx0 : X → X son homotópicas.
Demostración. Supongamos que X es contráctil, por definición, la aplicación
constante ct∗ : X → {∗} es una equivalencia de homotopı́a . Por lo tanto,
existe g : {∗} → X continua tal que g ◦ ct∗ ∼ idX y ct∗ ◦ g ∼ id{∗} . Si
denotamos x0 = g(∗) ∈ X, entonces g ◦ ct∗ = ctx0 : X → X y por lo tanto,
ctx0 ∼ idX .
Recı́procamente, supongamos que existe x0 ∈ X tal que ctx0 ∼ idX .
Denotemos por g : {∗} → X la aplicación continua dada por g(∗) = x0 . Se
verifica entonces que g ◦ ct∗ = ctx0 y por lo tanto, g ◦ ct∗ ∼ idX . La otra
homotopı́a ct∗ ◦ g ∼ id{∗} es la homotopı́a constante. Tenemos pues que ct∗
es una equivalencia de homotopı́a y X es contráctil. 

Consecuencias inmediatas:
Todo espacio contráctil es arcoconexo.
Si X ⊂ Rn es estrellado entonces es contráctil.
4 TEMA 11: GRUPO FUNDAMENTAL

Tenemos la cadena siguiente da implicaciones estrictas:

convexo =⇒ estrellado =⇒ contráctil =⇒ arcoconexo =⇒ conexo

(Un ejemplo de espacio arcoconexo y no contráctil lo veremos más ade-
lante utilizando el grupo fundamental).

2. El grupo fundamental
El grupo fundamental es el primer invariante algebraico que se asoció
a un espacio topológico. Fue introducido por el matemático francés Henri
Poincaré en el año 1895. Se usa para detectar “agujeros” en el espacio que
pueden ser “rodeados” por un lazo de una manera “esencial”. El concepto
básico es la homotopı́a de arcos que mantiene los extremos fijos. Ilustraremos
con un dibujo como la homotopı́a de arcos puede detectar los agujeros.

Un arco σ tiene punto inicial σ(0) y punto final σ(1). Tambien diremos
que σ va de σ(0) a σ(1).
El conjunto de los arcos en X de x0 a x1 se denota por
P X(x0 , x1 ) = {σ : I → X continua | σ(0) = x0 , σ(1) = x1 }.
Nota: Denotaremos los arcos con las últimas letras del alfabeto griego:
σ, τ, ρ, . . .
Un lazo en X es un arco cerrado. El conjunto de lazos de X en x0 se
denota por
Ω(X; x0 ) = P X(x0 , x0 ) = {α : I → X continua | α(0) = α(1) = x0 }.
Nota: Denotaremos los lazos con las primeras letras del alfabeto griego:
α, β, γ, . . .
Recordemos que si σ, τ : I → X son dos arcos que unen respectivamente
x con y y y con z, entonces la unión, composición o producto de los mismos
es el arco, que denotamos por στ : I → X, que une x con z y está definido
por (
σ(2s) si s ∈ [0, 1/2]
στ (s) =
τ (2s − 1) si s ∈ [1/2, 1].
Podemos interpretar el producto de arcos como una aplicación:
P X(x0 , x1 ) × P X(x1 , x2 ) → P X(x0 , x2 ).
En el caso de los lazos, este producto nos proporciona una ley de compo-
sición interna:
Ω(X; x0 ) × Ω(X; x0 ) → Ω(X; x0 ).
 TEMA 11: GRUPO FUNDAMENTAL 5

Nota: El producto de lazos NO proporciona una estructura de grupo sobre

Ω(X; x0 ). Por ejemplo, no es asociativo, ya que en general, α(βγ) es distin-
to de (αβ)γ. Usaremos la homotopı́a de lazos a fin de construir un grupo
asociado a los mismos.
Definición 2.1. Dos arcos σ, τ ∈ P X(x0 , x1 ) son homotópicos relativamente
a {0, 1} si existe una aplicación continua F : I × I → X tal que
(Homotopia) F es una homotopı́a entre σ y τ . Esto es, F0 = σ y
F1 = τ.
(Relativa) Además, para todo t ∈ I se cumple Ft (0) = x0 y Ft (1) =
x1 .
Escribiremos F : σ ∼ τ rel {0, 1} y diremos que F es una homotopı́a
rel{0, 1} de σ a τ . Un esquema seria el de la fig. 1.

Figura 1

La homotopı́a rel {0, 1} es una relación de equivalencia en P X(x0 , x1 ).

Cumple propiedades semejantes a la relación de homotopı́a sobre C(X, Y ).
Definición 2.2. Definimos el grupo fundamental de X en el punto base x0
como
Ω(X; x0 )
π1 (X, x0 ) = .
∼ rel {0, 1}
La ley de composición interna en π1 (X, x0 ) es la inducida por el producto
de lazos, es decir,
[α][β] = [αβ], ∀[α], [β] ∈ π1 (X, x0 ).
El producto de clases de homotopı́a rel{0, 1} de lazos está bien definido
como consecuencia de la propiedad siguiente para los arcos.
Proposición 2.3. Sean σ, σ 0 , τ, τ 0 : I → X arcos tales que σ ∼ σ 0 rel{0, 1},
τ ∼ τ 0 rel{0, 1} y σ(1) = τ (0). Entonces,
στ ∼ σ 0 τ 0 rel{0, 1}.
Demostración. Supongamos que F : σ ∼ σ 0 rel{0, 1} y G : τ ∼ τ 0 rel{0, 1}.
Definimos H : I × I → X como
(
F (2s, t) si s ∈ [0, 1/2]
H(s, t) =
G(2s − 1, t) si s ∈ [1/2, 1].
Si s = 1/2 tenemos que para todo t ∈ I,
F (2s, t) = F (1, t) = σ(1) = τ (0) = G(0, t) = G(2s − 1, t),
6 TEMA 11: GRUPO FUNDAMENTAL

Tenemos pues que H está bien definida y es continua. Además H0 = στ y

H1 = σ 0 τ 0 y por otra parte, Ht (0) = Ft (0) = σ(0) y Ht (1) = Gt (1) = τ (1).
Por lo tanto, H : στ ∼ σ 0 τ 0 rel{0, 1}. 

Para ver que π1 (X, x0 ) tiene estructura de grupo debemos probar que la
ley de composición anterior cumple:
Asociatividad.
Existencia de elemento neutro.
Existencia de inverso para cada elemento de π1 (X, x0 ).
Nota: Recordemos que ninguna de estas propiedades se cumple en Ω(X, x0 ).
Asociatividad
Debemos probar que dados arcos componibles σ, τ, ρ se cumple:
(στ )ρ ∼ σ(τ ρ) rel{0, 1}.
Hemos de pasar del arco de la izquierda al de la derecha de forma continua
y dejando fijos los extremos (fig. 2).

Figura 2

En el instante t ∈ [0, 1] tendremos la situación de la fig. 3.

Figura 3

La manera más fácil es hacerlo linealmente, poniendo

1 1 t+1
xt = (1 − t) +t =
4 2 4
1 3 t+2
yt = (1 − t) +t = .
2 4 4
Esto podemos representarlo gráficamente por la fig. 4:

Figura 4
 TEMA 11: GRUPO FUNDAMENTAL 7

Finalmente, definimos la homotopı́a F como:

F : I × I −→ X
4s
σ( t+1 )
 si 0 ≤ s ≤ t+1
4
(s, t) 7→ t+1 t+2
τ (4s − t − 1) si 4 ≤ s ≤ 4
 4s−t−2
 t+2
ρ( 2−t ) si 4 ≤ s ≤ 1

Elemento neutro
Vamos a probar que para todo [α] ∈ π1 (X, x0 ) se cumple
[α] = [α][ctx0 ] = [ctx0 ][α],
donde ctx0 es el lazo constante en x0 . Esto es, [ctx0 ] es el elemento neutro
de π1 (X, x0 ). Denotaremos el elemento neutro por 1 ya que π1 (X, x0 ) no es
abeliano en general. Tenemos pues, 1 = [ctx0 ].
Para ver que [α] = [α][ctx0 ], probaremos que todo arco σ cumple
σ ∼ σctσ(1) rel{0, 1}.
Debemos pasar del arco de la izquierda al de la derecha de forma continua
y dejando fijos los extremos (fig. 5).

Figura 5
En el instante t ∈ [0, 1] tendremos la situación de la fig. 6.

Figura 6
Como antes, la manera más sencilla es hacerlo linealmente:
1 2−t
xt = (1 − t) + t = .
2 2
Esto se puede representar gráficamente por la fig. 7.

Figura 7
Definimos la homotopı́a F como:
F : I × I −→ X(
2s
σ( 2−t ) si 0 ≤ s ≤ 2−t
2
(s, t) 7→ 2−t
σ(1) si 2 ≤ s ≤ 1
8 TEMA 11: GRUPO FUNDAMENTAL

Elemento inverso
Recordemos que, asociado a cada arco σ, hemos definido el “ arco inverso”
σ −1 dado por σ −1 (s) = σ(1 − s).
Veremos que realmente es el inverso con relación a la ley de composición
interna que hemos definido. Esto es, dado [α] ∈ π1 (X, x0 ) se cumple:
1 = [ctx0 ] = [α][α−1 ] = [α−1 ][α].
Para probar esto veremos que todo arco σ cumple
ctσ(0) ∼ σσ −1 rel{0, 1}.
Debemos pasar de manera continua y deijando fijos los extremos, del arco
de la izquierda al de la derecha (fig. 8).

Figura 8

Una manera serı́a en cada instante t, recorrer σ hasta σ(t), quedarnos

quietos y volver por σ −1 . En la fig. 9 queda ilustrado el comportamiento de
este camino para t ∈ [0, 1].

Figura 9

Como antes, determinaremos xt y yt linealmente. Esto es,

t 1 2−t
xt = , yt = (1 − t) + t = .
2 2 2
Esto queda representado gráficamente en la fig. 10.

Figura 10

Definimos la homotopı́a F como:

F : I × I −→ X
σ(2s)
 si 0 ≤ s ≤ 2t
(s, t) 7→ t 2−t
σ(t) si 2 ≤s≤ 2
 −1
 2−t
σ (2s − 1) si 2 ≤s≤1

Esto concluye la demostración de que π1 (X, x0 ) es un grupo. Observamos

que, en general, NO es abeliano.
 TEMA 11: GRUPO FUNDAMENTAL 9

Homomorfismo asociado.
El “grupo fundamental” no solo asocia un grupo a cada espacio topológico,
sino que a cada aplicación continua li hace corresponder un homomorfismo
de grupos de forma “natural”.
Definición 2.4. Dada f : X → Y , el homomorfismo inducido
f∗ : π1 (X, x0 ) → π1 (Y, f (x0 ))
se define para todo [α] ∈ π1 (X, x0 ) como
f∗ [α] = [f ◦ α].
Proposición 2.5. La aplicación f∗ está bien definida y es un homomorfismo
de grupos.
Demostración. Veremos en primer lugar que está bien definida. Es obvio que
dado [α] ∈ π1 (X, x0 ), donde α ∈ Ω(X, x0 ), entonces f ◦ α ∈ Ω(Y, f (x0 )) y
por lo tanto, [f ◦ α] ∈ π1 (Y, f (x0 )).
Supongamos ahora que [α] = [β], amb α, β ∈ Ω(X, x0 ). Entonces existe
F : α ∼ β rel{0, 1}, es decir, F : I × I → X es una aplicación continua que
verifica F0 = α, F1 = β, Ft (0) = Ft (1) = x0 , ∀t ∈ I.
Definimos f ◦ F : I × I → Y continua que verifica f ◦ F0 = f ◦ α,
f ◦ F1 = f ◦ β, f ◦ Ft (0) = f ◦ Ft (1) = f (x0 ), ∀t ∈ I. Por tanto, f ◦ F :
f ◦ α ∼ f ◦ β rel {0, 1} y obtenemos [f ◦ α] = [f ◦ β].
Por último, probamos que es un homomorfismo de grupos. Observemos
que si α, β ∈ Ω(X, x0 ), entonces f ◦ (αβ) = (f ◦ α)(f ◦ β). En efecto, si
s ∈ [0, 21 ], f ◦ (αβ)(s) = f (α(2s)) = (f ◦ α)(f ◦ β)(s) y si s ∈ [ 12 , 1], f ◦
(αβ)(s) = f (β(2s − 1)) = (f ◦ α)(f ◦ β)(s). Entonces,

f∗ ([α][β]) = f∗ ([αβ]) = [f ◦ (αβ)] = [(f ◦ α)(f ◦ β)]

= [f ◦ α][f ◦ β] = f∗ ([α])f∗ ([β]).

Proposición 2.6. (Naturalidad) Sean f : X → Y y g : Y → Z aplicaciones
continuas y x0 ∈ X. Entonces se cumple:
(g ◦ f )∗ = g∗ ◦ f∗ ,
(idX )∗ = idπ1 (X,x0 ) .
Demostración. Para todo [α] ∈ π1 (X, x0 ), tenemos que
(g ◦ f )∗ ([α]) = [((g ◦ f ) ◦ α] = [g ◦ (f ◦ α)] = g∗ ([f ◦ α]) = g∗ (f∗ ([α])),
(idX )∗ ([α]) = [idX ◦ α] = [α].

Corolario 2.7. Si f : X → Y es un homeomorfismo y x0 ∈ X, entonces f∗
es un isomorfismo.
Demostración. Por la proposición anterior:
f∗ ◦ (f −1 )∗ = (f ◦ f −1 )∗ = (idY )∗ = idπ1 (Y,f (x0 )) ,
(f −1 )∗ ◦ f∗ = (f −1 ◦ f )∗ = (idX )∗ = idπ1 (X,x0 ) ,
por lo tanto, f∗ es isomorfismo. 
10 TEMA 11: GRUPO FUNDAMENTAL

Veremos ahora dos propiedades importantes. La primera es que si X es

arcoconexo, entonces el grupo fundamental no depende del punto base.
Teorema 2.8. Si X es arcoconexo, entonces dados x0 , x1 ∈ X, los grupos
π1 (X, x0 ) y π1 (X, x1 ) son isomorfos.
Demostración. Com X es arcoconexo, existe σ : I → X un arco de x0 a x1 .
Definimos la aplicación σ# : π1 (X, x0 ) → π1 (X, x1 ) como
σ# ([α]) = [σασ],
donde σ es el arco inverso de σ. L’aplicación está bien definida por las
propiedades 2.3 y la asociatividad. Es un homomorfismo de grupos:
σ# ([α][β]) = σ# ([αβ]) = [σαβσ] = [σασσβσ] = [σασ][σβσ] = σ# ([α])σ# ([β]).
Pur último, es un isomorfismo, ya que su inversa es el homomorfismo
σ # : π1 (X, x1 ) → π1 (X, x0 ). 
La segunda propiedad es que el grupo fundamental es un invariante del
tipo de homotopı́a de un espacio topológico.
Lema 2.9. Sean σ, σ 0 : I → X arcos en X y F una homotopı́a entre ellos.
Denotemos por τ, τ 0 : I → X los arcos τ (t) = F (0, t) y τ 0 (t) = F (1, t), para
todo t ∈ I. entonces ,
τ −1 στ 0 ∼ σ 0 .
Demostración. El resultado se obtiene combinando F con las dos homo-
topı́as G, H definidas a continuación, tal como se muestra en la siguiente
figura:

σ 0 (0) σ0 σ 0 (1)
@
G F @ H
@
σ 0 (0) @ σ 0 (1)
σ 0 (0) τ (t) 0
τ (t) @ σ 0 (1)
@
@
@
τ −1 σ τ0

Figura 11. 3 Homotopias

a) La homotopı́a G se realiza entre τ −1 y la aplicación constante en el

punto σ 0 (0):
(
σ 0 (0) si 0 ≤ s ≤ t,
G(s, t) =
τ (1 + t − s) si t ≤ s ≤ 1.

b) La homotopı́a F va de τ 0 a la aplicación constante en el punto σ 0 (1):

(
τ 0 (t + s) si 0 ≤ s ≤ 1 − t,
H(s, t) =
σ 0 (1) si 1 − t ≤ s ≤ 1.
 TEMA 11: GRUPO FUNDAMENTAL 11

Combinándolas con F , obtenemos:

τ −1 στ 0 ∼ ctσ0 (0) σ 0 ctσ0 (1) ∼ σ 0 .


Estamos ahora en condiciones de obtener una relación entre los homomor-

fismos asociados a dos aplicaciones homotòpicas. Solamente se diferencian
en la translación mediante un arco.
Proposición 2.10. Sea F : f ∼ g : X → Y , y x0 ∈ X. Denotemos por
σ = Fx0 el arco entre f (x0 ) y g(x0 ) definido por σ(t) = F (x0 , t). Entonces ,
σ# f∗ = g∗ .
Demostración. Para todo [α] ∈ π1 (X, x0 ) se tiene que F 0 = F (α × id) es
una homotoı́a entre f α y gα. Además, para todo t ∈ I se cumple que
F 0 (0, t) = F (α(0), t) = σ(t) y F 0 (1, t) = F (α(1), t) = σ(t). Entonces, por el
lema anterior, tenemos [σ −1 (f α)σ] = [gα]. 
Corolario 2.11. Si f : X → Y es una equivalencia de homotopı́a, enton-
ces para todo x0 ∈ X se cumple que f∗ : π1 (X, x0 ) → π1 (Y, f (x0 )) es un
isomorfismo.
Demostración. Sea g : Y → X la inversa homotòpica de f , F : idX ∼ gf y
G : idY ∼ f g. Denotemos por σ el arco definido como σ(t) = F (x0 , t) y por
τ el arco definido como τ (t) = G(f (x0 ), t).
La propiedad anterior nos proporciona el siguiente diagrama commutati-
vo:

π1 (X, x0 )
h
σ#
f∗
 g∗
π1 (Y, f (x0 )) / π1 (X, gf (x0 ))
h
f∗
τ#

π1 (Y, f gf (x0 ))
−1
Como g∗ f∗ = σ# es un isomorfismo, tenemos que f∗ es inyectiva y g∗ es
sobreyectiva. Podemos repetir el mismo razonamiento con f∗ g∗ , obteniendo
que g∗ es inyectiva y f∗ es sobreyectiva, lo que nos conduce al resultado.
ATENCION! La g∗ es la misma en los dos casos, pero la f∗ no. Ası́, g∗ es
−1
isomorfismo, y por tanto, f∗ también lo es, ya que f ∗ = σ# ◦ g∗. 

Corolario 2.12. Si X es un espacio contráctil, entonces para todo punto

x0 ∈ X se cumple π1 (X, x0 ) = 1 .
Ejemplo 2.13. Rn , [0, 1], y en general, cualquier subconjunto convexo
K ⊂ Rn son espacios contráctiles y por lo tanto, su grupo fundamental
es π1 (K, x0 ) = 1.
Definición 2.14. Diremos que un espacio topológico X es simplemente
conexo si es arcoconexo y ∀x0 ∈ X, π1 (X, x0 ) = 1.
12 TEMA 11: GRUPO FUNDAMENTAL

De esta manera estamos añadiendo un nuevo eslabón a la cadena:

convexo =⇒ estrellado =⇒ contráctil =⇒ simplemente conexo
=⇒ arcoconexo =⇒ conexo
Veremos también ejemplos que justifican que estas implicaciones son es-
trictss.

3. El grupo fundamental de la circunferencia

El concepto de homotopı́a de lazos en S 1 parece indicar, de una manera
intuitiva, que el número de vueltas es invariante por homotopia. También
parece que si dos lazos sobre la circunferencia dan el mismo número de
vueltas deben ser homotópicos. Por lo tanto, el número de vueltas parece
clasificar las clases de homotopı́a de lazos en S 1 . A fin de formalizar esto,
necesitamos un “cuenta-vueltas”. Lo definiremos a partir de la aplicación
φ : (R, +) → (S 1 , ·)
s 7→ (cos 2πs, sin 2πs)
Esta φ sitúa a R como un muelle infinito sobre S 1 . Para contar las vueltas,
“elevamos” arcos de S 1 a R a través de φ y miramos el punto final (fig. 12).

Figura 12

La circunferencia estándar se puede ver de dos maneras

S 1 = {(x, y) ∈ R2 | x2 + y 2 = 1} = {z ∈ C | |z| = 1}.
Queremos calcular
Ω(S 1 , 1)
π1 (S 1 , 1) =
∼ rel{0, 1}
La aplicación definida por
φ : (R, +) → (S 1 , ·)
s 7→ (cos 2πs, sin 2πs) = e2πys
es un homomorfismo de grupos entre (R, +) y (S 1 , ·). Su núcleo es Z.
Queremos “elevar arcos” para obtener un “cuenta-vueltas”.
Definición 3.1. Sea f : X → S 1 una aplicación continua, diremos que una
aplicación continua, f˜ : X → R, es una elevación de f si φ ◦ f˜ = f.
Veamos la existencia y unicidad de elevaciones. Si X es conexo, basta que
las dos elevaciones coincidan en un punto para que sean iguales.
 TEMA 11: GRUPO FUNDAMENTAL 13

Teorema 3.2 (Unicidad de las elevaciones). Sea X un espacio topológico

conexo, x0 ∈ X y f˜, f˜0 : X → R dos elevaciones de f tales que f˜(x0 ) =
f˜0 (x0 ), entonces f˜ = f˜0 .
Demostración. La aplicación f˜− f˜0 : X → R es continua y como φ◦(f˜− f˜0 ) =
ct1 , se tiene que (f˜−f˜0 )(X) ⊂ ker φ = Z. Si X es conexo, (f˜−f˜0 )(X) también
lo es y como Z es discreto, entonces ha de ser un punto, esto es, f˜ − f˜0 = c
es constante. Pero en x0 tenemos que f˜(x0 ) = f˜0 (x0 ), por lo tanto, c = 0 y
f˜ = f˜0 . 
Definición 3.3. Sea X un espacio topológico conexo, x0 ∈ X y f : X → S 1
una aplicación continua. Denotemos por f˜t0 : X → R la elevación de f tal
que f (x0 ) = t0 (en caso de que exista).
La restricción de φ:
→ S 1 \ {−1}
1 1

φ|] 1 , 1 [ : 2, 2
2 2

es un homomorfismo. Denotemos su inversa por

ψ : S 1 \ {1} → 12 , 12 ,
 

que viene dada por

arg(z)
ψ(z) = ,
2π
donde arg(z) es el argumento (es decir, el ángulo de z con el eje real) entre
] − π, π[.
Teorema 3.4 (Elevación de arcos). Dado un arco σ : [0, 1] → S 1 que
comienza en 1, hay una única elevación que comienza en 0, σ̃0 : [0, 1] → R.
Demostración. La unicidad es consecuencia de la propiedad anterior. Vea-
mos la existencia.
Como [0, 1] es un espacio métrico compacto y σ es continua, entonces
es uniformemente continua. Existe  > 0 tal que si |s − s0 | <  entonces
σ(s)
kσ(s) − σ(s0 )k < 1. En particular, σ(s) 6= −σ(s0 ) y σ(s 0 ) 6= −1 y podemos
σ(s)
tomar ψ( σ(s 0 ) ).

Sea n ∈ N tal que 1/n < . Para todo s ∈ [0, 1], s/n <  y podemos definir
σ̃0 : I → R como
!
!
!
σ(s) σ n−1
n s σ n1 s
σ̃0 (s) = ψ
+ψ
+ ··· + ψ .
σ n−1
n s σ n−2
n s
σ (0)
Esta aplicación está bien definida y es continua. Además, es una elevación
de σ:
!!
!!
!!
σ(s) σ n−1
n s σ n1 s
φ(σ̃0 (s)) = φ ψ φ ψ ...φ ψ
σ n−1 σ n−2



n s n s
σ (0)
σ(s) σ n−1 σ n1 s



n s

= . . . = σ(s).
σ n−1 n−2


n s σ n s
σ (0)
Por último, tenemos que σ̃0 (0) = ψ(1) + · · · + ψ(1) = 0. 
14 TEMA 11: GRUPO FUNDAMENTAL

Propiedades de las elevaciones de arcos. Las elevaciones de arcos cum-

plen:
La elevación de σ en otro punto, m ∈ Z es σ̃m = σ̃0 + m.
(ct
f1 )0 = ct0 .
(f
σ τ )0 = σ̃0 τ̃σ̃0 (1) .
Teorema 3.5 (Existencia de elevaciones de homotopı́as). Sean σ y τ arcos
en S 1 que empiezan en 1 y F : σ ∼ τ rel {0, 1}, entonces existe una única
homotopı́a F̃0 que es elevación de F y F̃0 (0, 0) = 0:
F̃0 : σ̃0 ∼ τ̃0 rel {0, 1}.
Demostración. La unicidad de la elevación es consecuencia de 3.2. La exis-
tencia de la elevación F̃0 se demuestra con un argumento análogo al del
teorema 3.4. Solo faltarı́a probar que F̃0 : σ̃0 ∼ τ̃0 rel {0, 1}.
Ahora bien, como φ ◦ F̃0 (s, t) = F̃ (s, t) tenemos que φ ◦ (F̃0 )t = Ft y que
(F̃0 )t (0) = 0, por lo tanto (F̃0 )t es la elevación del arco Ft , esto es,
(F̃0 )t = (F
g t )0 .

En particular, tenemos que (F̃0 )0 = σ̃0 , (F̃0 )1 = τ̃0 y también (F̃0 )t (0) = 0
y (F̃0 )t (1) = σ̃0 (1). 
Una consecuencia inmediata de este teorema es:
Corolario 3.6. El punto final de la elevación del arco σ solo depende de la
clase de homotopı́a relativa a {0, 1} de σ.
Definición 3.7. Definimos la aplicación:
λ : π1 (S 1 , 1) → Z
.
[α] 7→ α̃0 (1) .
Esta aplicación está bien definida, ya que:
α̃0 existe,
α̃0 (1) ∈ Ker φ = Z y
λ[α] no depende del representante de [α].
Teorema 3.8. λ es un isomorfismo de grupos.
Demostración. Es homomorfismo:
λ([α][β]) = λ([αβ]) = αβ
f (1),
0

pero por las propiedades de las elevaciones de arcos sabemos que αβ

f =
0
α̃0 β̃α0 (1) y que β̃α0 (1) = β̃0 + α̃0 (1). Entonces,

αβ
f (1) = β̃0 (1) + α̃0 (1) = λ([α]) + λ([β]).
0

Es sobreyectiva: dado n ∈ Z, definimos αn : I → S 1 com αn (s) = e2πins =

φ(ns). Entonces (α
g n )0 (s) = ns y por lo tanto,

λ([αn ]) = (α
g n )0 (1) = n.

Es inyectiva: supongamos que λ([α]) = α̃0 (1) = 0. Tenemos que α̃0 (0) =
α̃0 (1) = 0 y por lo tanto, α̃0 es un lazo en R. Como R es contráctil, tenemos
 TEMA 11: GRUPO FUNDAMENTAL 15

que F : α̃0 ∼ ct0 rel {0, 1} en R. Pero componiendo con φ, en S 1 tenemos

que
φ ◦ F : α ∼ ct1 rel {0, 1},
lo que implica [α] = 1. 
Corolario 3.9. S 1 no es contráctil y tampoco lo es ningún espacio con el
mismo tipo de homotopı́a queS 1 (cilindro, cinta de Möbius, etc.).
Del teorema se deduce que todo lazo en S 1 es homotópico exactamente a
uno de los lazos αn (s) = e2πyns = (cos 2πns, sin 2πns), por lo tanto,
π1 (S 1 , 1) = {[αn ] | n ∈ Z}.
Por abuso de lenguaje, escribiremos π1 (S 1 ) = Z.
Como Z está generado por 1 (o por −1), también π1 (S 1 , 1) estará generado
bien por [α1 ] o bien por su simétrica [α−1 ], según nos interese. Además,
[αn ] = [α1 ]n .
Terminaremos esta sección con el grupo fundamental del producto y en
particular, del toro.
Teorema 3.10. la aplicación inducida por las proyecciones p1 : X ×Y → X
y p2 : X × Y → Y :
(p1∗ , p2∗ ) : π1 (X × Y, (x0 , y0 )) → π1 (X, x0 ) × π1 (Y, y0 ),
es un isomorfismo.
Demostración. Es homomorfismo de grupos ya que p1∗ y p2∗ lo son.
Veamos que es sobreyectiva: dado ([α1 ], [α2 ]) ∈ π1 (X, x0 ) × π1 (Y, y0 ) de-
finimos α = (α1 , α2 ). Entonces (p1∗ , p2∗ )([α]) = ([α1 ], [α2 ]).
Solo nos falta ver la inyectivitat. Sea [α] ∈ π1 (X × Y, (x0 , y0 )) tal que
existen homotopı́as F1 : p1 α ∼ ctx0 y F2 : p2 α ∼ cty0 . Entonces F =
(F1 , F2 ) : α ∼ ct(x0 ,y0 ) y [α] = 1.

Corolario 3.11. π1 (T ) ∼
= π1 (S 1 ) × π1 (S 1 ) ∼
= Z × Z.
Se sigue que el toro no es contráctil ni tiene el tipo de homotopı́a de la
circumferencia.

4. Las esferas de dimensión superior

En esta sección veremos que si n ≥ 2, entonces S n es simplemente conexo,
es decir, π1 (S n ) = 1.
Lema 4.1. Sea {Aλ }λ∈Λ un recubrimiento abierto de X tal que x0 ∈ Aλ ,
para todo λ ∈ Λ y Aλ ∩ Aµ es arcoconexo, para todo λ, µ ∈ Λ. Entonces,
cualquier elemento [α] ∈ π1 (X, x0 ) se puede expresar como un producto
[α] = [α1 ] . . . [αm ],
de manera que la imagen de cada lazo αi está contenida en uno de los
abiertosAλi , i = 1, . . . , m.
16 TEMA 11: GRUPO FUNDAMENTAL

Demostración. Ddado el lazo α : I → X basado en x0 , afirmamos en primer

lugar que existe una partición 0 = s0 < s1 < · · · < sm = 1 de I de manera
que para cada i = 1, . . . , m existe λi ∈ Λ tal que α([si−1 , si ]) ⊂ Aλi .
En efecto, dado s ∈ I, existe λs ∈ Λ tal que α(s) ∈ Aλs y como Aλs es
abierto y α es continua, existe un entorno Vs de s en I tal que α(Vs ) ⊂ Aλs .
Tomamos ahora un  > 0 tal que ]s − , s + [∩I ⊂ Vs y definimos Ws =
]s − 0 , s + 0 [∩I, donde 0 < 0 < .
La familia {Ws }s∈I es un recubrimiento abierto de I y como I es com-
pacto, existe un subrecubrimiento finito del mismo. Los extremos superiores
de los intervalos Ws que forman el subrecubrimiento finito son los puntos
s1 < · · · < sm = 1 que junto con s0 = 0 forman la partición buscada.
Entonces, para cada i = 1, . . . , m tenemos que α([si−1 , si ]) ⊂ Aλi . De-
notemos por σi el arco de X obtenido como la restricción de α a [si−1 , si ].
Entonces tenemos que α es el producto σ1 . . . σm donde cada σi es un arco
contenido en un Aλi .
Ahora bien, como cada Aλi ∩ Aλi+1 es arcoconexo, podemos encontrar
un arco τi en Aλi ∩ Aλi+1 que vaya de x0 al punto α(si ) ∈ Aλi ∩ Aλi+1 .
Consideremos el lazo
(σ1 τ 1 ) · (τ1 σ2 τ 2 ) · · · (τm−1 σm ),
que es homotópico a α rel {0, 1}. Además, cada arco entre paréntesis es de
hecho un lazo basado en x0 contenido en Aλi . 
Proposición 4.2. π1 (S n ) = 1, para todo n ≥ 2.
Demostración. Sean P1 = (0, . . . , 0, 1) y P2 = (0, . . . , 0, −1) los dos polos de
la esfera S n . Sea ϕi : Ai → Rn la projección estereográfica asociada al polo
Pi , i = 1, 2 , donde Ai = S n \ {Pi } y
1
ϕ1 (x1 , . . . , xn+1 ) = (x1 , . . . , xn ),
1 − xn+1
1
ϕ2 (x1 , . . . , xn+1 ) = (x1 , . . . , xn ).
1 + xn+1
Las dos aplicaciones ϕ1 y ϕ2 son homeomorfismos. De hecho, sus inversas
son:
2
ϕ−1
1 (u1 , . . . , un ) = (u1 , . . . , un , 1 − kuk2 ),
1 + kuk2
2
ϕ−1
2 (u1 , . . . , un ) = (u1 , . . . , un , −1 + kuk2 ),
1 + kuk2
on kuk2 = u21 + · · · + u2n .
Además, A1 y A2 son abiertos en S n y verifican que A1 ∪ A2 = S n y
A1 ∩ A2 = S n \ {P1 , P2 } es arcoconexo, ya que es homeomorfo a Rn \ {0} a
través de ϕ1 ó ϕ2 .
Fijemos como punto base un punto cualquiera x0 de A1 ∩ A2 . Por el
lema anterior, cualquier elemento [α] ∈ π1 (S n ) se puede expresar como un
producto
[α] = [α1 ] . . . [αm ],
 TEMA 11: GRUPO FUNDAMENTAL 17

de manera que la imagen de cada lazo αi está contenida en uno de los abiertos
A1 ó A2 . Pero π1 (A1 ) = π1 (A2 ) = 1, ya que los dos son homeomorfos a Rn .
Por tanto, [αi ] = 1 para todo i = 1, . . . , m y [α] = 1. 

Corolario 4.3. R2 no es homeomorfo a Rn , para n 6= 2.

Demostración. Supongamos que f : R2 → Rn es un homeomorfismo, enton-
ces R2 \ {0} es homeomorfo a Rn \ {f (0)}.
El caso n = 1 no es posible, ya que R2 \ {0} es conexo y R \ {f (0)} es
disconexo.
Para el caso n ≥ 3, probaremos que π1 (R2 \ {0}) = Z, mientras que
π1 (Rn \ {f (0)}) = 1.
En efecto, para un valor cualquiera de n y para todo x0 ∈ Rn , tenemos
que la aplicación ϕ : Rn \ {x0 } → S n−1 × R dada por
 
x − x0
ϕ(x) = , kx − x0 k ,
kx − x0 k
es un homeomorfismo. De hecho, su inversa es la aplicación
ϕ−1 (u, t) = tu + x0 .
∼ π1 (S n−1 ) × π1 (R) ∼
por tanto, tenemos que π1 (Rn \ {x0 }) = = π1 (S n−1 ), el
cual es isomorfo a Z cuando n = 2 y es trivial cuando n ≥ 3.