Una introducción a la Homotopia

Joan Sebastian Ramirez Sanchez, Juan David Cetre Barros,

Bryan Rengifo Gonzalez

October 29, 2024

preliminares
1. Categorias y funtores
2. Superficies topologicas
3. Algunas nociones de Group
Categorias y funtores
Def una categoria C, conformada por
1. una clase de objetos, X,Y,Z ∈ Obj(C)
2. sea (X , Y ) ent le corresponde el conjunto de morfismos
homC (X , Y )
3. Aplicaciones. ◦ : homc (X , Y ) x homc (Y , Z ) → homc (X , Z )
3.1 Asociatividad
3.2 Identidad
Categorias y funtores
Def una categoria C, conformada por
1. una clase de objetos, X,Y,Z ∈ Obj(C)
2. sea (X , Y ) ent le corresponde el conjunto de morfismos
homC (X , Y )
3. Aplicaciones. ◦ : homc (X , Y ) x homc (Y , Z ) → homc (X , Z )
3.1 Asociatividad
3.2 Identidad

Def si f ∈ homc (X , Y ) y existe g ∈ homc (Y , X ) tq g ◦ f = 1x y

f ◦ g = 1y , decimos que f es una equivalencia en C y g = f −1
Categorias y funtores
Def una categoria C, conformada por
1. una clase de objetos, X,Y,Z ∈ Obj(C)
2. sea (X , Y ) ent le corresponde el conjunto de morfismos
homC (X , Y )
3. Aplicaciones. ◦ : homc (X , Y ) x homc (Y , Z ) → homc (X , Z )
3.1 Asociatividad
3.2 Identidad

Def si f ∈ homc (X , Y ) y existe g ∈ homc (Y , X ) tq g ◦ f = 1x y

f ◦ g = 1y , decimos que f es una equivalencia en C y g = f −1
Def un funtor T de C1 a C2 denotado T : C1 → C2 se define por
1. T asocia a cada objeto X de C1 un objeto T(X) de C2
2. T asocia un morfismo f ∈ homC1 (X , Y ) a un morfismo T (f )
∈ homC2 (T (X ), T (Y )), ademas
2.1 T (1X ) = 1T (X )
 2.2 si f ∈ homC1 (X , Y ), g ∈ homC1 (Y , Z ) ent
T (g ◦ f ) = T (g ) ◦ T (f )

Obs Un funtor es covariante si preserva su direccion, decimos que

es contravariante si hace lo opuesto

Ej: funtor olvido, funtor identidad

Categorias y funtores
Propo si T : C1 → C2 funtor y f una equivalencia en C1 ent T(f)
es una equivalencia en C2 tq (T (f ))−1 = T (f −1 )
Categorias y funtores
Propo si T : C1 → C2 funtor y f una equivalencia en C1 ent T(f)
es una equivalencia en C2 tq (T (f ))−1 = T (f −1 )
Def S y T funtores (covariantes) de C1 a C2 una trans.nat. Φ de S
en T denotada Φ : S → T asocia a cada objeto X en C1 un
morfismo ΦX : S(X ) → T (X ) en C2
Categorias y funtores
Propo si T : C1 → C2 funtor y f una equivalencia en C1 ent T(f)
es una equivalencia en C2 tq (T (f ))−1 = T (f −1 )
Def S y T funtores (covariantes) de C1 a C2 una trans.nat. Φ de S
en T denotada Φ : S → T asocia a cada objeto X en C1 un
morfismo ΦX : S(X ) → T (X ) en C2

¿De que sirve?

Superficies topologicas
homeomorfismo X,Y esp.top. X ∼
= Y sii existe f : X → Y tq
1. es biyectiva
2. es continua
3. f −1 es continua
Ej La letra ”C” e ”I”. Un toro y una taza
C = {(x, y ) ∈ R2 : x 2 + y 2 = 1, x ≤ 0}
I = {(0, y ) ∈ R2 : −1 ≤ y ≤ 1}
p
ϕ:C →I ϕ(x, y ) = (0, y ) ϕ−1 (0, y ) = (− 1 − y 2 , y )
Superficies topologicas
Def Una superficie topologica S es un espacio topologico
1. Bidimensional
2. Hausdorff
3. conexo
4. 2do numerable
5. localmente homeomorfo a R2 o {(x, y ) ∈ R2 : y ≥ 0}
Algunas nociones de Group
Objetos (G,◦) grupo, es un conjunto G definido junto con una
operacion binaria ” ◦ ” y satisface ∀ a,b,c ∈ G
1. (a ◦ b) ◦ c = a ◦ (b ◦ c)
2. ∃e ∈ G : a ◦ e = e ◦ a = a
3. ∃a−1 ∈ G : a ◦ a−1 = a−1 ◦ a = e
Morfismos (G , ◦),(H, ⊙) grupos, una aplicacion Φ : G → H es un
homomorfismo si ∀a, b ∈ G Φ(a ◦ b) = Φ(a) ⊙ Φ(b)
Si el homomorfismo es biyectivo decimos que es un isomorfismo,
en tal caso G ∼
= H son isomorfos.
Ej (R+ , ∗) ∼
= (R, +) bajo aplicacion exponencial f (x) = e x
Homotopı́a de aplicaciones
Definición. Sean X , Y espacios topológicos y A ⊂ X . Si
f , g : X → Y son aplicaciones continuas, tales que f |A = g |A , se
dice que f y g son Homótopas relativamente a A, Si existe una
aplicación continua, H : X × [0, 1] → Y , tal que

▶ H(x, 0) = f (x), para cada x ∈ X

▶ H(x, 1) = g (x), para cada x ∈ X

▶ H(x, t) = f (x) = g (x), para cada x ∈ A y t ∈ [0, 1]

Ejemplito: Dadas las funciones continuas f (x) = x y g (x) = x 2 ,

continua H : R × [0, 1] → R dada por H(x, t) = x 2 (1 − t) + xt
Cuando decimos que dos funciones son homótopas relativamente a
un subconjunto A ⊂ X significa que la homotopı́a H además
satisface:
▶ H(a, t) = f (a) = g (a) para todo a ∈ X y t ∈ [0, 1].
Observación: Podemos decir que la homotopı́a es una relación de
equivalencia
Reflexiva:
Simetrı́a:

Transitividad:
Definicion. Una aplicación continua f : X → Y es una
equivalencia de homotopı́a si existe otra aplicación continua
g : Y → X tal que g ◦ f ≃ 1X y f ◦ g ≃ 1Y . En tal caso, se dice
que X tiene el mismo tipo de homotopı́a que Y , y se escribe
X ≃ Y . Intuitivamente, es posible deformar X en Y
Ejemplo: El disco menos el origen D 2 \{(0, 0)} es
homotopicamente equivalente al borde del disco, esto es la
circunferencia de radio uno, S 1 , Para ello necesitamos dos
aplicaciones entre estos espacios, La primera es sencilla.
i(x, y ) = (x, y )
La segunda es un poco más complicada, Dado un punto del disco
menos el origen, consideremos el radio que pasa por dicho punto,
entonces definir r (p) como el punto en el borde del radio que pasa
por p como p = (x, y )
p x y
r (p) = = (p ,p )
∥p∥ 2
x +y 2 x + y2
2

es fácil comprobar que r (p) es un vector de modulo 1, por tanto

un punto de la circunferencia de radio 1.
veamos la equivalencia homotopica. Observe que:

r ◦ i = 1S 1

y dado que que la relación de homotopia, es una relación de

equivalencia, dos aplicaciones idénticas son también homotopas.
Para probar que: r ◦ i ≃ 1D 2 \(0,0) tenemos que dar una homotopia
explı́citamente, Construir una aplicación H del cilindro menos el
origen al disco sin el origen
p
H(p, t) = (1 − t)p + t
∥p∥

Ası́,

H(p, 0) = p = 1, D 2 \{(0, 0)}

p
H(p, 1) = = i ◦ r (p)
∥p∥

Ası́ esta es una homotopia entre la identidad y i ◦ r (p), esto se

puede generalizar a todo el plano
Definicion. Una aplicación continua f : X → Y es nulhomotopa, si
existe una aplicación constante c : X → Y , tal que f ≃ c.
Definicion . Un espacio topológico X se dice contráctil , si la
aplicación identidad, 1X es nulhomotopa. La función H : 1X ≃ c
que define la homotopıa se llama una contracción.
Ejemplo: Los conjuntos convexos en Rn son contráctiles.
Definición: Se dice que dos caminos τ, σ : [0, 1] −→ X , tales que
τ (0) = σ(0) y τ (1) = σ(1), son homotopos si τ ≃ σ(rel{0, 1}),
explı́citamente, existe una H : [0, 1] × [0, 1] −→ X , tal que:
1. H(t, 0) = σ(t) y H(t, 1) = τ (t) para todo t ∈ [0, 1]
2. H(0, s) = σ(0) y H(1, s) = σ(1) para todo s ∈ [0, 1]
Además por uno de los teoremas anteriores ∼ es una relación de
equivalencia en C ([0, 1], X ); denotamos por [σ] a la clase de
homotopia del camino σ.
Definición: Dados dos caminos τ, σ : [0, 1] −→ X , tales que
τ (1) = σ(0), su producto es el camino:

®
σ(2t), 0 ≤ t ≤ 12
(τ ∗ σ)(t) = 1
τ (2t − 1), 2 ≤t ≤1
Lema 1: Sean σ0 ,σ1 ,τ0 y τ1 caminos en X tales que σ0 ≃ σ1 y
τ0 ≃ τ1 , entonces σ0 ∗ τ0 ≃ σ1 ∗ τ1 :
Por las homotopias de las hipotesis, existen funciones continuas M
de σ0 en τ0 , y K de σ1 en τ1 ; ahora definamos H : [0, 1]2 −→ X :
®
K (2t, s), 0 ≤ t ≤ 12
H(t, s) = 1
M(2t − 1, s), 2 ≤t ≤1

Solamente resta verificar que H cumple la condicion 1 y 2,

teniendo en cuenta las propiedades de las aplicaciones K , M y el
producto entre caminos. Hecho esto concluimos que
σ0 ∗ τ0 ≃ σ1 ∗ τ1 , es decir, es posible definir el producto entre clases
de equivalencia de manera compatible con el producto de caminos:

[σ] · [τ ] = [τ ∗ σ]
Lema 2: Sea σ, τ, γ caminos de [0, 1] a X , tales que σ(1) = τ (0) y
γ(0) = τ (1), entonces γ ∗ (τ ∗ σ) ≃ (γ ∗ τ ) ∗ σ:
Desarrollando ambos productos por separados tenemos que:

σ(4t),
 0 ≤ t ≤ 14
(γ ∗ (τ ∗ σ))(t) = τ (4t − 1), 14 ≤ t ≤ 12

γ(2t − 1) 12 ≤ t ≤ 1



σ(2t),
 0 ≤ t ≤ 12
((γ ∗ τ ) ∗ σ)(t) = τ (4t − 2), 1 3
 2 ≤t ≤ 4
3
γ(4t − 3) 4 ≤t ≤1


La función continua está definida por:


1
σ(4t − 2ts),
 0 ≤ t ≤ 4−2s
H(t, s) = τ (4t − s − 1), 1 2+s
 4−2s ≤ t ≤ 4
γ((2t − 1) + s(2t − 2)) 2+s
4 ≤t ≤1

Colorario i: El producto de clases de caminos es asociativo.
Sean σ(1) = τ (0) y τ (1) = γ(0):

[σ] · ([τ ] · [γ]) = [σ] · [γ ∗ τ ] = [(γ ∗ τ ) ∗ σ]

Por lema 2, [(γ ∗ τ ) ∗ σ] = [γ ∗ (τ ∗ σ)]:

[γ ∗ (τ ∗ σ)] = [τ ∗ σ] · [γ] = ([σ] · [τ ]) · [γ]

Lema 3: Sea εx : [0, 1] −→ X , definido por εx (t) = x, y

σ : [0, 1] −→ X , con σ(0) = x y σ(1) = y , entonces:

σ ∗ εx ≃ σ ≃ εy ∗ σ

Desarrollando el producto entre caminos:

®
x 0 ≤ t ≤ 12
(σ ∗ εx )(t) =
σ(2t − 1), 12 ≤ t ≤ 1
Las funciones continuas están definidas por:

®
x(1 − s) + σ(t)s 0 ≤ t ≤ 12
H(t, s) =
σ(2t − ts + s − 1), 12 ≤ t ≤ 1

Para εy la aplicación es análoga.

Colorario ii: Sea σ : [0, 1] −→ X , tal que σ(0) = x y σ(1) = y , εx
actúa como el neutro por derecha y εy actúa como el neutro por
izquierda; por el lema anterior, [σ ∗ εx ] = [σ] = [εy ∗ σ], es decir:

[εx ] · [σ] = [σ ∗ εx ] = [σ] = [εy ∗ σ] = [σ] · [εy ]

Definición: Sea σ : [0, 1] −→ X , definimos el camino inverso σ

como:

σ = σ(1 − t)
Lema 4: Sean σ, τ : [0, 1] −→ X , tales que, σ(0) = τ (0),
σ(1) = τ (1), si σ ≃ τ , entonces, σ ≃ τ .
Como σ ≃ τ , entonces existe una función continua
K : [0, 1]2 −→ X que cumple 1 y 2; de acuerdo a esta definimos:

H(t, s) = K (1 − t, s)

Lema 5: Si σ es un camino tal que σ(0) = x y σ(1) = y , entonces

σ ∗ σ ≃ εx y σ ∗ σ ≃ εy .
La función continua está definida por:

®
σ(2t)(1 − s) + sx 0 ≤ t ≤ 12
H(t, s) = 1
σ(2 − 2t)(1 − s) + sx 2 ≤t ≤1

Por lo tanto σ ∗ σ ≃ εx , y el otro caso es análogo.

Colorario iii: Sea σ : [0, 1] −→ X , con σ(0) = x, σ(1) = y ,
entonces σ actúa como inverso por derecha e izquierda. Por el
lema anterior:
[σ] · [σ] = [σ ∗ σ] = [εx ]
[σ] · [σ] = [σ ∗ σ] = [εy ]

Definición: Un camino σ : [0, 1] −→ X , se dice lazo o cerrado, si

σ(0) = σ(1), además si, σ(0) = σ(1) = x, σ es un lazo basado en
x. Si consideramos a Ω(X , x) como la familia de todos los lazos
basados en x, definimos el grupo fundamental de X en x como:

π1 (X , x) = Ω(X , x)/ ≃

Note que por los lemas anteriores π1 (X , x) es efectivamente un

grupo, pues es un conjunto con una operación asociativa, con
neutro e inverso.
Ejercicio: Sea X conexo por camino, entonces para todo x, y ∈ X :

π1 (X , x) ≃ π1 (X , y )

Pues la función f : π1 (X , x) −→ π1 (X , y ), definida por:

f ([σ]) = [p ∗ σ ∗ p]

Es un isomorfismo de grupo.
Ejemplito: π1 (R2 ) ≃ 0
Note que como R2 es conexo por caminos, es decir, da igual el
punto en el que nos basemos los lazos; sea σ un lazo basado en 0 y
ε0 el camino constante 0, consideremos f (t, s) = s ∗ σ(t); es fácil
verificar que, f cumple 1) y 2), por lo tanto σ ≃ ε0 , es decir:

π1 (R2 ) = [ε0 ]

Algunos grupos fundamentales:

1. π1 (Tn ) ≃ Zn
2. π1 (D1 ) ≃ 0
3. π1 (S1 S1 ) ≃ Z ∗ Z
W

4. π1 (S2 ) ≃ 0
5. π1 (RP2 ) ≃ Z2
Datazo: Sea G un grupo, existe un espacio topológico X tal que
π1 (X , x0 ) = G
Ejemplazo: π1 (S1 , x0 ) ≃ Z, consideremos el siguiente esquema:

Definamos ∇ : Z −→ π1 (S1 , x0 ), como ∇(n) = [ωn ], probemos que

es un homeomorfismo de grupo:

∇(n) · ∇(m) = [ωn ] · [ωm ] = [ωn+m ] = ∇(n + m)

Probemos que es ∇ es biyectiva:
Sobreyectividad: Sea [f ] ∈ π1 (S1 , x0 ), note que f es un lazo
totalmente arbitrario que se mueve en π1 (S1 , x0 ), ası́ que pensemos
en lo que llamaremos ”un levantamiento” de f :

Donde sencillamente f˜ es la representación del camino f en la

espiral.
Note que f˜ es un camino en la espiral que empieza en 0 y termina
en algún punto n, ası́ que ahora consideremos el ω˜n , como el
levantamiento del un camino que pertenezca a [ωn ], y probemos
que f˜ ≃ ωn .
Es facil ver que H : [0, 1]2 −→ R, definida por

H(s, t) = f˜(t)(1 − s) + s · ω̃n (t)

Define una homotopia entre f˜ y ω̃n (t), es decir:

f˜ ≃ ω̃n −→ f ≃ ωn −→ [f ] = [ωn ] = ∇(n)

Por lo tanto, ∇ es un sobreyectiva.

Inyectividad: Sea ∇(n) = ∇(m) −→ [ωn ] = [ωm ] −→ ωn ≃ ωm ,
consideremos el levantamiento de cada representante, denotados
por ω̃n y ω̃m , por un argumento similar utilizado anteriormente se
deduce que:
ω˜n ≃ ω˜m −→ n = m

Ası́, ∇ resulta ser un isomorfismo.

Referencias:
1. Aaron Landesman, Notes on the fundamental group, Harvard
2. Marta Macho Stadler, Topologia algebraica, Vasco–Euskal
Herriko Unibertsitatea