30.

O grupo fundamental
30.1. Denicao. Seja X um espaco topologico, e seja x
0
X.
(a) Diremos que f : [0, 1] X e um laco com base em x
0
se f e contnua e
f(0) = f(1) = x
0
. Denotaremos por (X, x
0
) o conjunto de todos os lacos em
X com base em x
0
.
(b) Diremos que f, g (X, x
0
) sao homotopicos se f g[{0, 1}]. Neste
caso escreveremos f
x
0
g. Denotaremos por
1
(X, x
0
) o conjunto das classes
de equivalencia em (X, x
0
) sob a relacao
x
0
.
30.2. Teorema. O conjunto
1
(X, x
0
), com a operacao
[f] [g] = [f g],
e um grupo, chamado de grupo fundamental de X, com base em x
0
.
Demonstracao. Se f
1

x
0
f
2
e g
1

x
0
g
2
, segue do Exerccio 29.E que
f
1
g
1

x
0
f
2
g
2
.
Logo a operacao esta bem denida.
Para provar que a opera cao e associativa basta provar que
(1) (f g) h
x
0
f (g h)
para todo f, g, h (X, x
0
). Pelo Exerccio 28.J, por um lado temos que
[(f g) h](s) = f(4s) (0 4s 1),
[(f g) h](s) = g(4s 1) (1 4s 2),
[(f g) h](s) = h(2s 1) (2 4s 4).
E por outro lado
[f (g h)](s) = f(2s) (0 4s 2),
[f (g h)](s) = g(4s 2) (2 4s 3),
[f (g h)](s) = h(4s 3) (3 4s 4).
Denamos
H(s, t) = f(
4s
1 + t
) (0 4s 1 + t),
H(s, t) = g(4s 1 t) (1 + t 4s 2 + t),
H(s, t) = h(
4s 2 t
2 t
) (2 + t 4s 4).
Nao e difcil vericar que H e contnua e que
H(s, 0) = [(f g) h](s) (0 s 1),
99
H(s, 1) = [f (g h)](s) (0 s 1),
H(0, t) = [(f g) h](0) = [f (g h)](0) (0 t 1),
H(1, t) = [(f g) h](1) = [f (g h)](1) (0 t 1).
Isto prova (1).
Seja e(s) = x
0
para todo s [0, 1]. Para provar que [e] e o elemento
identidade de
1
(X, x
0
), basta provar que
(2) f e
x
0
f
e
(3) e f
x
0
f
para todo f (X, x
0
). Notemos que
(f e)(s) = f(2s) (0 2s 1),
(f e)(s) = x
0
(1 2s 2).
Denamos
H(s, t) = f(
2s
1 + t
) (0 2s 1 + t),
H(s, t) = x
0
(1 + t 2s 2).
Nao e difcil vericar que H e contnua e que
H(s, 0) = (f e)(s) (0 s 1),
H(s, 1) = f(s) (0 s 1),
H(0, t) = (f e)(0) = f(0) (0 t 1),
H(1, t) = (f e)(1) = f(1) (0 t 1).
Isto prova (2). A demonstracao de (3) e analoga.
Dado f (X, x
0
), seja f
1
(X, x
0
) denido por f
1
(s) = f(1s) para
todo s [0, 1]. Para provar que [f
1
] e o inverso de [f] basta provar que
(4) f f
1

x
0
e
e
(5) f
1
f
x
0
e
Notemos que
(f f
1
)(s) = f(2s) (0 2s 1),
(f f
1
)(s) = f(2 2s) (1 2s 2).
Denamos
100
H(s, t) = f(2s) (0 2s t),
H(s, t) = f(t) (t 2s 2 t),
H(s, t) = f(2 2s) (2 t 2s 2).
Nao e difcil vericar que H e contnua e que
H(s, 0) = f(0) = x
0
= e(s) (0 s 1),
H(s, 1) = f f
1
(s) (0 s 1),
H(0, t) = f(0) = x
0
= e(0) = (f f
1
)(0) (0 t 1),
H(1, t) = f(0) = x
0
= e(1) = (f f
1
)(1) (0 t 1).
Isto prova que e
x
0
f f
1
, e portanto (4). A demonstracao de (5) e analoga.
30.3. Proposicao. Seja : [0, 1] X um caminho em X entre x
0
e x
1
.
Entao a funcao

: [f]
1
(X, x
0
) [
1
f ]
1
(X, x
1
)
e um isomorsmo de grupos.
Demonstracao. Usando o Exerccio 29.E segue que, se f
1

x
0
f
2
, entao

1
f
1

x
1

1
f
2
.
Isto prova que

esta bem denida.

E facil ver que

e um homomorsmo de
grupos, e que (
1
)

e seu inverso. Deixamos a demonstracao detalhada como

exerccio.
30.4. Corolario. Se X e conexo por caminhos, entao todos os grupos

1
(X, x
0
), com x
0
X, sao isomorfos entre si.
30.5. Denicao. Um espaco topologico X e dito simplesmente conexo se
X e conexo por caminhos e o grupo
1
(X, x
0
) e trivial para algum, e portanto,
para todo x
0
X.
30.6. Exemplo. Cada subconjunto convexo de R
n
e simplesmente co-
nexo.
Com efeito basta provar que f
x
0
g para todo f, g (X, x
0
). Seja
H : [0, 1] [0, 1] X denida por
H(s, t) = (1 t)f(s) + tg(s).
Entao
H(s, 0) = f(s) (0 s 1),
H(s, 1) = g(s) (0 s 1),
101
H(0, t) = x
0
(0 t 1),
H(1, t) = x
0
(0 t 1).
Isto prova que f
x
0
g.
Exerccios
30.A. Sejam X e Y espacos topologicos, e seja : (X, x
0
) (Y, y
0
) uma
funcao contnua. Prove que a funcao

: [f]
1
(X, x
0
) [ f]
1
(Y, y
0
)
e um homomorsmo de grupos.
30.B. Se e a identidade em X, prove que

e a identidade em
1
(X, x
0
).
30.C. Sejam X, Y e Z espacos topologicos, e sejam : (X, x
0
) (Y, y
0
) e
: (Y, y
0
) (Z, z
0
) funcoes contnuas. Prove que
( )

.
30.D. Se : (X, x
0
) (Y, y
0
) e um homeomorsmo, prove que a funcao

:
1
(X, x
0
)
1
(Y, y
0
)
e um isomorsmo de grupos.
30.E. Sejam X e Y espacos topologicos, e sejam , : (X, x
0
) (Y, y
0
)
funcoes contnuas tais que [{x
0
}]. Prove que f
y
0
f para todo
f (X, x
0
), ou seja

.
30.F. Se (X, x
0
) e (Y, y
0
) sao homotopicamente equivalentes, prove que os
grupos
1
(X, x
0
) e
1
(Y, y
0
) sao isomorfos.
30.G. Sejam X e Y espacos topologicos, e sejam x
0
X e y
0
Y . Prove
que o grupo
1
(X Y, (x
0
, y
0
)) e isomorfo ao grupo
1
(X, x
0
)
1
(Y, y
0
).
102