Professional Documents
Culture Documents
Tema 11
Tema 11
JUAN J. NUÑO-BALLESTEROS
1. Homotopia
Intuitivament, dos espais topològics són homotòpics si poden deformar
contı́nuament un espai en l’altre. Denotem I = [0, 1] i recordem que un arc
en X és una aplicació contı́nua σ : I → X.
Definició 1.1. Direm que dues aplicacions contı́nues f, g : X → Y són
homotòpiques si existeix una aplicació contı́nua anomenada homotopia F :
X × I → Y tal que per a tot x ∈ X, F (x, 0) = f (x) i F (x, 1) = g(x).
Notació: Si f, g són homotòpiques, ho denotem per f ∼ g. Si F és una
homotopia entre f, g, ho denotem per F : f ∼ g.
Una homotopia F : f ∼ g la podem veure de dues maneres diferents,
segons si fixem una variable o l’altra:
(1) Un “arc” d’aplicacions de f a g. Les aplicacions són Ft : X → Y
donades per Ft (x) = F (x, t).
(2) Una famı́lia “contı́nua” d’arcs. Per a cada x ∈ X hi ha un arc que
uneix f (x) i g(x): Fx : [0, 1] → Y donat per Fx (t) = F (x, t).
Exemple 1.2. Si X = {∗} és un únic punt, aleshores una homotopia entre
aplicacions f, g : {∗} → Y és un arc de f (∗) a g(∗) i recı́procament, tot arc
de f (∗) a g(∗) definex una homotopia entre f, g.
Exemple 1.3. Les aplicacions f, g : S 1 → R2 donades per f (x, y) = (x, y) i
g(x, y) = (3x, 3y) són homotòpiques. La homotopia ve donada per Ft (x, y) =
(1 + 2t)(x, y).
Conseqüències directes:
• Tot espai contràctil és connex per arcs.
• Si X ⊂ Rn és estrellat aleshores és contràctil.
(Les demostracions les veurem en pràctiques).
2. El grup fonamental
El grup fonamental és el primer invariant algebraic que es va associar a
un espai topològic. Va ser introduı̈t pel matemàtic francés Henri Poincaré
l’any 1895. S’usa per a detectar “forats” de l’espai que poden ser “rodejats”
per un llaç d’una manera “essencial”. El concepte bàsic és l’homotopia
d’arcs mantenint fixos els extrems. Veiem intuitivament en un dibuix com
l’homotopia d’arcs detecta forats.
Un arc σ té punt inicial σ(0) i punt final σ(1). També direm que σ va de
σ(0) a σ(1).
El conjunt d’arcs en X de x0 a x1 es denota per
P X(x0 , x1 ) = {σ : I → X contı́nua | σ(0) = x0 , σ(1) = x1 }.
Nota: Denotem els arcs amb les últimes lletres gregues: σ, τ, ρ, . . .
Un llaç en X és un arc tancat. El conjunt de llaços de X en x0 es denota
per
Ω(X; x0 ) = P X(x0 , x0 ) = {α : I → X contı́nua | α(0) = α(1) = x0 }.
Nota: Denotem els llaços amb les primeres lletres gregues: α, β, γ, . . .
Recordem que si σ, τ : I → X són dos arcs que uneixen x amb y i y
amb z, respectivament, aleshores la unió, composició o producte és l’arc que
denotem per στ : I → X que uneix x amb z i està definit per
(
σ(2s) si s ∈ [0, 1/2]
στ (s) =
τ (2s − 1) si s ∈ [1/2, 1].
El producte d’arcs el podem expresar com una aplicació:
P X(x0 , x1 ) × P X(x1 , x2 ) → P X(x0 , x2 ).
Aquest producte, en el case de llaços dóna una llei de composició interna:
Ω(X; x0 ) × Ω(X; x0 ) → Ω(X; x0 ).
Nota: El producte de llaços NO dóna una estructura de grup en Ω(X; x0 ).
Per exemple, no és associativa ja que en general, α(βγ) és distint de (αβ)γ.
Definició 2.1. Dos arcs σ, τ ∈ P X(x0 , x1 ) són homotòpics relatiu a {0, 1}
si existeix una aplicació contı́nua F : I × I → X tal que
• (Homotopia) F és una homotopia entre σ i τ . O siga, F0 = σ i
F1 = τ.
• (Relativa) A més a més, per a tot t ∈ I es compleix Ft (0) = x0 i
Ft (1) = x1 .
TEMA 11: GRUP FONAMENTAL 5
Figura 1
Figura 2
Figura 3
Figura 4
Element neutre
Anem a provar que per a tot [α] ∈ π1 (X, x0 ) es compleix
[α] = [α][ctx0 ] = [ctx0 ][α],
on ctx0 és el llaç constant en x0 . O siga, que [ctx0 ] és l’element neutre de
π1 (X, x0 ). Denotarem l’element neutre per 1 ya que π1 (X, x0 ) no és abelià
en general. Aixı́, 1 = [ctx0 ].
TEMA 11: GRUP FONAMENTAL 7
Figura 5
Figura 6
Figura 7
Element invers
Recordem que, associado a cada arc σ, hem definit “l’ arc invers” σ −1
donat per σ −1 (s) = σ(1 − s).
Veiem que realment és l’invers. O siga, que donat [α] ∈ π1 (X, x0 ) es
compleix:
1 = [ctx0 ] = [α][α−1 ] = [α−1 ][α].
Per provar això veurem que tot arc σ compleix
ctσ(0) ∼ σσ −1 rel{0, 1}.
Hem de passar contı́nuament, i deixant fixos els extrems, de l’arc de l’es-
querra al de la dreta (fig. 8).
8 JUAN J. NUÑO-BALLESTEROS
Figura 8
Figura 9
Figura 10
Demostració. Veiem primer que està ben definida. És obvi que si donat
[α] ∈ π1 (X, x0 ), amb α ∈ Ω(X, x0 ), aleshores f ◦ α ∈ Ω(Y, f (x0 )) i per tant,
[f ◦ α] ∈ π1 (X, x0 ).
Suposem ara que [α] = [β], amb α, β ∈ Ω(X, x0 ). Aleshores existeix
F : α ∼ β rel{0, 1}, és a dir, F : I × I → X és una aplicació contı́nua que
verifica F0 = α, F1 = β, Ft (0) = Ft (1) = x0 , ∀t ∈ I.
Definim f ◦F : I ×I → Y contı́nua que verifica f ◦F0 = f ◦α, f ◦F1 = f ◦β,
f ◦ Ft (0) = f ◦ Ft (1) = f (x0 ), ∀t ∈ I. Per tant, f ◦ F : f ◦ α ∼ f ◦ β rel {0, 1}
i aixı́, [f ◦ α] = [f ◦ β].
Per última, provem que és homomorfisme de grups. Observem que si
α, β ∈ Ω(X, x0 ), aleshores f ◦ (αβ) = (f ◦ α)(f ◦ β). En efecte, si s ∈ [0, 12 ],
f ◦ (αβ)(s) = f (α(2s)) = (f ◦ α)(f ◦ β)(s) i si s ∈ [ 12 , 1], f ◦ (αβ)(s) =
f (β(2s − 1)) = (f ◦ α)(f ◦ β)(s). Aixı́ doncs,
f ∗ ([α][β]) = f ∗ ([αβ]) = [f ◦ (αβ)] = [(f ◦ α)(f ◦ β)]
= [f ◦ α][f ◦ β] = f ∗ ([α])f ∗ ([β]).
Proposició 2.6. (Naturalitat) Siguen f : X → Y i g : Y → Z aplicacions
contı́nues i x0 ∈ X. Aleshores es compleix:
• (g ◦ f )∗ = g∗ ◦ f∗ ,
• (idX )∗ = idπ1 (X,x0 ) .
Demostració. Per a tot [α] ∈ π1 (X, x0 ), tenim que
(g ◦ f )∗ ([α]) = [((g ◦ f ) ◦ α] = [g ◦ (f ◦ α)] = g ∗ ([f ◦ α]) = g ∗ (f ∗ ([α])),
(idX )∗ ([α]) = [idX ◦ α] = [α].
Corol·lari 2.7. Si f : X → Y és un homeomorfisme i x0 ∈ X, aleshores f∗
és un isomorfisme.
Demostració. Per la proposició anterior:
f ∗ ◦ (f −1 )∗ = (f ◦ f −1 )∗ = (idY )∗ = idπ1 (Y,f (x0 )) ,
(f −1 )∗ ◦ f ∗ = (f −1 ◦ f )∗ = (idX )∗ = idπ1 (X,x0 ) ,
per tant, f ∗ és isomorfisme.
Anem a veure ara dos propietats importants. La primera és que si X és
connex per arcs, aleshores el grup fonamental no depen del punt base.
Teorema 2.8. Si X és connex per arcs, aleshores per a tots x0 , x1 ∈ X, els
grups π1 (X, x0 ) i π1 (X, x1 ) són isomorfs.
Demostració. Com X és connex per arcs, existeix σ : I → X un arc de x0 a
x1 . Definim l’aplicació σ# : π1 (X, x0 ) → π1 (X, x1 ) com
σ# ([α]) = [σασ],
on σ és l’arc invers de σ. L’aplicació està ben definida per les propietats 2.3
i l’associativitat. És un homomorfisme de groups:
σ# ([α][β]) = σ# ([αβ]) = [σαβσ] = [σασσβσ] = [σασ][σβσ] = σ# ([α])σ# ([β]).
10 JUAN J. NUÑO-BALLESTEROS
σ 0 (0) σ0 σ 0 (1)
@
G F @ H
@
σ 0 (0) @ σ 0 (1)
σ 0 (0) τ (t) 0
τ (t) @ σ 0 (1)
@
@
@
τ −1 σ τ0
Figura 11
Siga n ∈ N tal que 1/n < . Per a tot s ∈ [0, 1], s/n < i podem definir
σ̃0 : I → R com
! ! !
σ(s) σ n−1
n s σ n
1
s
σ̃0 (s) = ψ +ψ + ··· + ψ .
σ n−1
n s σ n−2
n s σ (0)
Aquesta aplicació està ben definida i és contı́nua. A més a més, és elevació
de σ:
!! !! !!
σ(s) σ n−1
n s σ n
1
s
φ(σ̃0 (s)) = φ ψ φ ψ ...φ ψ
σ n−1 n−2
n s σ n s σ (0)
n−1 1
σ(s) σ n s σ ns
= n−1
n−2
... = σ(s).
σ n s σ n s σ (0)
Per últim, tenim que σ̃0 (0) = ψ(1) + · · · + ψ(1) = 0.
Propietats de les elevacions d’arcs. Les elevacions d’arcs compleixen:
• L’elevació de σ en altre punt, m ∈ Z és σ̃m = σ̃0 + m.
• (ct
f1 )0 = ct0 .
• (f
σ τ )0 = σ̃0 τ̃σ̃0 (1) .
Teorema 3.5 (Existència d’elevacions d’homotopies). Siguen σ i τ arcs en
S 1 que comencen en 1 i F : σ ∼ τ rel {0, 1}, aleshores existeix una única
homotopia F̃0 que és elevació de F i F̃0 (0, 0) = 0:
F̃0 : σ̃0 ∼ τ̃0 rel {0, 1}.
Demostració. La unicitat de l’elevació és coneqüència de 3.2. L’existència
de l’elevació F̃0 es demostra amb un argument anàleg al del teorema 3.4.
Només quedaria veure que F̃0 : σ̃0 ∼ τ̃0 rel {0, 1}.
Ara bé, com φ◦ F̃0 (s, t) = F̃ (s, t) tenim que φ◦(F̃0 )t = Ft i que (F̃0 )t (0) =
0, per tant (F̃0 )t és l’elevació de l’arc Ft , és a dir,
(F̃0 )t = (F
g t )0 .
En particular, tenim que (F̃0 )0 = σ̃0 , (F̃0 )1 = τ̃0 i tambè (F̃0 )t (0) = 0 i
(F̃0 )t (1) = σ̃0 (1).
Una conseqüència immediata d’aquest teorema és:
Corol·lari 3.6. El punt final de l’elevació de l’arc σ depend només de la
classe d’homotopia relativa a {0, 1} de σ.
Definició 3.7. Definim l’aplicació:
λ : π1 (S 1 , 1) → Z
.
[α] 7→ α̃0 (1) .
Aquesta aplicació està ben definida, ja que:
14 JUAN J. NUÑO-BALLESTEROS
• α̃0 existeix,
• α̃0 (1) ∈ Ker φ = Z i
• λ[α] no depen del representant de [α].
Teorema 3.8. λ és un isomorfisme de grups.
Demostració. És homomorfisme:
λ([α][β]) = λ([αβ]) = αβ
f (1),
0
λ([αn ]) = (α
g n )0 (1) = n.
És injectiva: suposem que λ([α]) = α̃0 (1) = 0. Tenim que α̃0 (0) =
α̃0 (1) = 0 i per tant, α̃0 és un llaç en R. Com R és contràctil, tenim que
F : α̃0 ∼ ct0 rel {0, 1} en R. Pero composant amb φ, en S 1 tenim que
φ ◦ F : α ∼ ct1 rel {0, 1},
la qual cosa implica [α] = 1.
Corol·lari 3.9. S 1 no és contràctil, ni ho és cap espai amb el mateix tipus
d’homotopia de la S 1 (cilindre, cinta de Möbius, etc.).
Del teorema es dedueix que tot llaç en S 1 és homotòpic a un i solament
un dels llaços αn (s) = e2πins = (cos 2πns, sin 2πns), per tant,
π1 (S 1 , 1) = {[αn ] | n ∈ Z}.
Per abús de llenguatge, escrivim π1 (S 1 ) = Z.
Com Z està generat pel 1 (o pel −1), també π1 (S 1 , 1) està generat bé per
[α1 ] o bé per la seua simètrica [α−1 ], segons ens interesse. A més a més,
[αn ] = [α1 ]n .
Terminem aquesta secció amb el grup fonamental del producte i en par-
ticular, del tor.
Teorema 3.10. L’aplicació induı̈da per les projeccions p1 : X × Y → X i
p2 : X × Y → Y :
(p1∗ , p2∗ ) : π1 (X × Y, (x0 , y0 )) → π1 (X, x0 ) × π1 (Y, y0 ),
és un isomorfisme.
Demostració. És homomorfisme de grups ja que p1∗ i p2∗ ho són.
Veiem que és sobrejectiva: donat ([α1 ], [α2 ]) ∈ π1 (X, x0 ) × π1 (Y, y0 ) defi-
nim α = (α1 , α2 ). Aleshores (p1∗ , p2∗ )([α]) = ([α1 ], [α2 ]).
Només queda veure la injectivitat. Siga [α] ∈ π1 (X × Y, (x0 , y0 )) tal
que existeixen homotopies F1 : p1 α ∼ ctx0 y F2 : p2 α ∼ cty0 . Aleshores
F = (F1 , F2 ) : α ∼ ct(x0 ,y0 ) i aixı́, [α] = 1.
Corol·lari 3.11. π1 (T ) ∼ = π1 (S 1 ) × π1 (S 1 ) ∼
= Z × Z.
TEMA 11: GRUP FONAMENTAL 15
Lema 4.1. Siga {Aλ }λ∈Λ un recobriment obert de X tal que x0 ∈ Aλ , per
a tot λ ∈ Λ i Aλ ∩ Aµ és connex per arcs, per a tots λ, µ ∈ Λ. Aleshores,
qualsevol element [α] ∈ π1 (X, x0 ) es pot expresar com un producte
el qual és homotopic a α rel {0, 1}. A més, cada arc entre parèntesi és de
fet un llaç basat en x0 in contingut en Aλi .
1
ϕ1 (x1 , . . . , xn+1 ) = (x1 , . . . , xn ),
1 − xn+1
1
ϕ2 (x1 , . . . , xn+1 ) = (x1 , . . . , xn ).
1 + xn+1
16 JUAN J. NUÑO-BALLESTEROS