Você está na página 1de 19

CADERNO DE F

ISICA DA UEFS 04 (01 e 02):

177-195, 2006

APLICAC
OES
DE METODOS
DE TOPOLOGIA E GEOMETRIA
` FISICA
DIFERENCIAL A

Sebasti
ao Alves Dias
Centro Brasileiro de Pesquisas Fsica - CBPF
Apresentamos alguns metodos matematicos de amplo alcance na fsica atual. A partir de
uma apresentacao elementar dos espacos quocientes, descrevemos a tecnica do grupo de
homotopia. Mencionamos, ao final, as aplicacoes da teoria de variedades diferenciaveis a`
Fsica.

I.

INTRODUC
AO

A Fsica e uma ciencia descritiva. Por isto, queremos dizer que n


ao e pretens
ao do fsico
encontrar a raz
ao u
ltima da existencia do mundo e de seus objetos, mas procurar entender,
nos termos mais elementares possveis (ou seja, com um mnimo de conceitos primitivos e postulados), a forma como o mundo se organiza e evolui no tempo. Dito isto, e verdadeiramente
surpreendente que a Matem
atica tenha se tornado um instrumento t
ao fundamental para a
descric
ao da natureza. As leis fsicas, historicamente, conseguiram a sua express
ao mais fiel
atraves dos recursos matem
aticos e, em muitas situac
oes, ate mesmo contriburam para o desenvolvimento de novos conceitos na Matem
atica. Tal interac
ao remonta aos povos da Antiguidade
e continua viva e forte ate os dias atuais.
No incio do seculo XX, com a criac
ao da Relatividade Geral, os desenvolvimentos teoricos
na Fsica de Partculas Elementares e o avanco da Fsica da Materia Condensada, novos ramos
da Matem
atica, que tinham encontrado pouca aplicac
ao a` Fsica ate ent
ao, entraram no cen
ario.
Objetos estudados com tecnicas de Geometria Diferencial, como as variedades riemannianas e os
espacos fibrados tornaram-se extremamente relevantes para a descric
ao da Gravitac
ao. Metodos
como os grupos de homologia, co-homologia e homotopia encontraram suas aplicac
oes ao estudo
de fen
omenos previstos pela Fsica de Altas Energias e pela Fsica da Materia Condensada.

Este trabalho e oriundo da palestra apresentada pelo autor na IX Semana de Fsica da UEFS ocorrida no
perodo de 18 a 22 de setembro de 2006.

177

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Por outro lado, a Teoria das Cordas propiciou o desenvolvimento de novas tecnicas na area
de Topologia Algebrica e as chamadas Teorias Topol
ogicas de Campos foram fundamentais na
resoluc
ao de problemas antigos num ramo da Matem
atica chamado de Teoria dos N
os.
Este semin
ario visa apresentar, de maneira sucinta, algumas tecnicas matem
aticas que tem
encontrado aplicac
oes modernas na Fsica, em todas as suas areas. Vamos nos concentrar nos
espacos quocientes (com maior detalhe), devido ao fato destes espacos serem o ponto de partida
para uma ampla variedade de metodos matem
aticos. A partir da, apresentaremos o conceito
de homotopia e de grupo fundamental, e apenas mencionaremos a definic
ao das variedades
diferenci
aveis e seu papel nas modernas teorias das interac
oes fundamentais. A maior parte
dos assuntos que abordaremos aqui poder
a ser estudada em muito maior detalhe na bibliografia
citada ao final destas notas [13], onde tambem poder
ao ser encontradas muitas referencias a
mais, inclusive aos trabalhos originais.

II.

LEIS DE COMPOSIC
AO,
HOMOMORFISMOS E GRUPOS

Comecamos imaginando um conjunto X no qual esteja definida uma operac


ao (que chamaremos de lei de composica
o) que associa, a cada dois elementos de X, digamos a e b, um terceiro
elemento que chamaremos de a b. Como exemplo, podemos tomar o conjunto de todas as
matrizes n n reais, com a seguinte lei de composic
ao:
a b = ab ba = [a, b] ,
onde ab refere-se ao produto de matrizes usual. Observe que a lei de composic
ao acima n
ao e
necessariamente comutativa (a b = b a) nem associativa ((a b) c = a (b c)).
Considere dois conjuntos, X e Y , onde sejam definidas leis de composic
ao. Vamos denotar
a operac
ao em X pelo smbolo e a operac
ao em Y por . Assim, estamos supondo que, se a
e b pertencem a X, a b tambem pertence, e se u e v pertencem a Y , u v Y . Um mapa
f : X Y e chamado de homomorfismo se
f (a b) = f (a) f (b) .
Podemos ver que a estrutura algebrica do espaco X e preservada em Y , ou seja, o que acontece
em X entre a e b acontece em Y entre f (a) e f (b). Se, alem disso, o mapa f for bijetivo
(sobrejetivo e injetivo), o homomorfismo em quest
ao e chamado de isomorfismo, os espacos X
e Y s
ao ditos isomorfos e este fato e denotado por X
=Y.
178

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

Um tipo particular de conjunto dotado de lei de composic


ao ser
a muito importante para
os nossos prop
ositos. Um grupo G e um conjunto dotado de uma lei de composic
ao (que
indicaremos por ) que associa a cada dois elementos um terceiro (pode ser um dos dois)
pertencente ao mesmo conjunto (dizemos que o conjunto e fechado pela lei de composicao em
quest
ao), de modo que os requisitos abaixo sejam satisfeitos:
1. Existe um elemento, que chamaremos de e, tal que, se g G, g e = e g = g;
2. Para todo g G, existe um elemento g1 , tal que g g1 = g1 g = e;
3. A associac
ao de tres elementos satisfaz (g1 g2 ) g3 = g1 (g2 g3 ).
No que segue, adotaremos uma notac
ao simplificada para a lei de composicao de um
grupo: denotaremos g1 g2 simplesmente por g1 g2 , quando n
ao houver possibilidade de
confus
ao com outros tipos de leis de composic
ao.
Um subgrupo de um grupo G e um subconjunto de elementos de G, fechado pela mesma
lei de composic
ao do grupo, contendo a identidade e e satisfazendo a`s demais propriedades
mencionadas acima. H
a dois subgrupos especiais que aparecem imediatamente, quando consideramos um homomorfismo f : G1 G2 (G1 e G2 sendo grupos): o n
ucleo e a imagem. O
n
ucleo (que denotaremos por ker f ) e o conjunto de elementos de G1 tais que, se g ker f G1 ,
f (g) = e, onde e e a identidade em G2 . A imagem (que indicaremos por Im f ) e o conjunto
composto por todos os elementos de G2 tais que, se g Im f , g = f (g), para ao menos um
g G1 . Vamos mostrar que o n
ucleo e a imagem s
ao subgrupos (de G1 e G2 , respectivamente):
tomemos dois elementos de ker f , g1 e g2 ; aplicando f ao seu produto,
f (g1 g2 ) = f (g1 ) f (g2 ) = ee = e.
Isso mostra que g1 g2 ker f . Tomemos, agora, g ker f e e a identidade em G1 . Podemos
escrever
e = f (g) = f (eg) = f (e) f (g)
= f (e) e = f (e) ,


o que mostra que e ker f . Analogamente, se g ker f , e = f gg1 = f (g) f g1 =

f g1 , o que mostra que g1 ker f . A associatividade em ker f decorre da associatividade
em G1 . Assim, vemos que ker f e um subgrupo de G1 .
179

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

Sebasti
ao Alves Dias

177-195, 2006

Mostraremos agora que Im f e um subgrupo de G2 : sejam g1 e g2 Im f . Ent


ao, g1 = f (g1 )
e g2 = f (g2 ), para pelo menos dois g1 e g2 G1 . O produto de g1 e g2 pode, ent
ao, ser escrito
como
g1 g2 = f (g1 ) f (g2 ) = f (g1 g2 ) = f (g) ,
com g = g1 g2 . Assim, se g1 e g2 Im f , g1 g2 Im f . A identidade pertence a Im f , pois
f (e) = f (ee) = f (e) f (e) .
Multiplicando por (f (e))1 dos dois lados (lembre-se que G2 e um grupo!),
f (e) = e,
o que diz que e Im f (e, alem disso, que e, pelo menos, a imagem da identidade de G1 ). Se g
pertence a Im f , e g = f (g),


f gg1 = e = f (g) f g1

= gf g1

= f g1 g.

Isso diz que f g1 = g1 (a inversa e u
nica, para cada elemento do grupo, tente mostrar!).
A associatividade e novamente decorrente da propriedade similar em G2 , o que estabelece que
Im f e um subgrupo de G2 .
Alem disso, ker f e um subgrupo normal de G1 (um subgrupo H de um grupo G e dito
normal se, para cada h H, ghg1 H, para todo g G). Para ver isso, tomemos um
h ker f e um g arbitr
ario em G1 . Vemos que,



f ghg1 = f (g) f (h) f g1 = f (g) ef g1


= f (g) f g1 = f gg1
= f (e) = e.
Portanto, ghg1 ker f para todo g G.

III.

RELAC
OES
DE EQUIVALENCIA
E CONJUNTOS QUOCIENTES

Precisaremos, para explorar a relac


ao entre os homomorfismos e os espacos conectados por
eles, do conceito de relaca
o de equivalencia: chamamos de relaca
o R num conjunto X, um
180

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

subconjunto de X X X 2 . Se um ponto (a, b) de X 2 est


a em R, dizemos que a se relaciona
com b pela relac
ao R, ou ainda aRb. Um exemplo de relac
ao e o subconjunto de R2
R = {(a, b) |a e b R e a < b} .
A relacao entre a e b e denotada, nesse caso, como a < b. Uma relac
ao e dita de equivalencia
se satisfaz a`s seguintes propriedades
1. (a, a) sempre pertence a R, para todo a X;
2. Se (a, b) R, (b, a) R;
3. Se (a, b) R e (b, c) R, ent
ao (a, c) R.
Uma relac
ao de equivalencia (observe que o exemplo citado n
ao satisfaz os requisitos acima)
e usualmente denotada pelo smbolo . Assim, se (a, b) pertence a` relac
ao, escrevemos a b
simples
e lemos a e equivalente a b. Como exemplo, tomemos o conjunto X = {a, b, c}. E
ver que R = {(a, a) , (b, b) , (c, c) , (a, b) , (b, a)} e uma relac
ao de equivalencia sobre X.
A existencia de uma relac
ao de equivalencia num conjunto X faz com que ele se particione
naturalmente em subconjuntos onde, em cada um, todos os elementos s
ao equivalentes uns aos
outros. Estes subconjuntos s
ao chamados de classes de equivalencia. A classe de equivalencia
de um elemento a e denotada por [a]. O elemento a usado para denotar a classe de equivalencia
[a] (poderia ser qualquer elemento equivalente a a) e chamado de representativo da classe. No
exemplo dado acima temos duas classes de equivalencia, [a] e [c]. Mostramos muito facilmente
que:
1. As classes de equivalencia sao disjuntas ou coincidem (se duas classes tem intersec
ao
n
ao nula, n
ao pode haver elemento de uma que n
ao pertenca tambem a` outra): de fato,
suponha que a [a1 ] e a [a2 ] e que b [a1 ] e b
/ [a2 ]. Ent
ao a a1 , o que implica
em a1 a. Como a a2 , pela terceira propriedade, a1 a2 e, ent
ao, [a1 ] = [a2 ]. Logo,
b [a2 ], o que contraria a hip
otese;
2. Todo elemento de X est
a em uma e apenas uma classe de equivalencia: como, para todo
a X, a a, vemos que a [a]. Se ele pertencer a outra classe, ela coincidira com [a],
pelo que foi mostrado no tem anterior.

181

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

O conjunto formado por todas as classes de equivalencia e chamado conjunto quociente de


X pela relaca
o R (ou espaco quociente, ou grupo quociente, dependendo da estrutura que ele
acomodar) e e denotado como X/ .
Teremos bastante interesse num tipo especfico de relac
ao de equivalencia, imposto sobre
conjuntos que possuam a estrutura de grupo. Dado um subgrupo H G, podemos estabelecer
a seguinte relacao de equivalencia em G: diremos que g1 g2 se g1 = g2 h, onde h H
(mostre voce mesmo que esta e uma relacao de equivalencia!). A classe de equivalencia de g
e usualmente denotada por [g] gH, e e chamada de classe lateral a
` esquerda (em ingles,
left coset). O conjunto quociente do grupo G por esta relac
ao de equivalencia e chamado
G/ G/H. Um metodo sistem
atico para montar as classes de equivalencia de G/H consiste
preciso, contudo, checar
em fixar um elemento g e multiplic
a-lo por todos os elementos de H. E
se as outras classes de equivalencia encontradas assim n
ao s
ao redundantes.
Em geral G/H n
ao possui estrutura de grupo, exceto na circunst
ancia em que H e um
subgrupo normal. Pode-se mostrar isto, a partir de uma proposta de lei de composic
ao no
conjunto quociente da seguinte forma
(g1 H) (g2 H) := (g1 g2 ) H.
Com a lei de composic
ao acima, e f
acil mostrar que G/H e um grupo. Contudo, quando
tratamos com classes de equivalencia, devemos mostrar que a lei de composic
ao e v
alida independente do representativo, para obter consistencia em nossas afirmac
oes. Tomemos g1 como
representativo de g1 H e g2 representando g2 H. Ser
a que (
g1 H) (
g2 H) = (g1 g2 ) H? Para isto,
devemos mostrar que (g1 g2 ) H = (
g1 g2 ) H, ou seja, devemos encontrar um h H tal que
g1 g2 = g1 g2 h.
Mas, g1 = g1 h1 e g2 = g2 h2 , com h1 e h2 H. Assim,
g1 g2 = g1 h1 g2 h2
= g1 h1 g2 h2 g21 g2 .
Como o subgrupo H e normal, g2 h2 g21 = h3 H. Prosseguindo na mesma linha,
g1 h1 h3 g2 = g1 h4 g2
= g1 g2 g21 h4 g2
= g1 g2 h5 ,

182

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

onde usamos que H e um subgrupo para que h4 = h1 h3 H e o fato de H ser normal para
definir h5 = g21 h4 g2 H. Mostramos, assim, que
g1 g2 = g1 g2 h5 ,
com h5 = g21 h1 g2 h2 , que era o que queramos provar. Observe a import
ancia crucial do fato
de H ser subgrupo normal, na demonstrac
ao acima. Caso H n
ao fosse normal, a definic
ao de
produto de classes de equivalencia seria dependente do representativo e, portanto, n
ao faria
sentido.
Observe ainda que sempre h
a uma classe de equivalencia [h], formada pelos elementos de
H. Quando H e normal, esta classe desempenha o papel de identidade no grupo quociente.
Com isto, estamos prontos para mostrar o teorema fundamental do homomorfismo, que diz
ao,
o seguinte: considere dois grupos G1 e G2 e um homomorfismo f : G1 G2 . Ent
G1 / ker f
= Im f
Para mostrar o teorema, vamos definir um mapeamento : G1 / ker f Im f como
([g]) = f (g). Como todo mapeamento envolvendo classes de equivalencia, primeiro devemos nos certificar de que ele seja bem definido, ou seja, independente do representativo. De
fato, os elementos de uma classe [g] diferem entre si por produtos com elementos h ker f ,
g0 = gh.
Assim

 0 

g = f g0 = f (gh)
= f (g) f (h) = f (g) e
= f (g) = ([g]) .

Vamos mostrar que e um isomorfismo. Para isto, verificamos primeiro que ele e um homomorfismo,
([g1 ] [g2 ]) = ([g1 g2 ]) = f (g1 ) f (g2 )
= ([g1 ]) ([g2 ]) ,
onde, lembramos, pudemos usar a lei de composic
ao bem definida no espaco quociente pelo
fato de ker f ser um subgrupo normal de G1 . Devemos mostrar que e injetivo e sobrejetivo
183

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

agora. Suponha que [g1 ] = [g2 ]. Ent


ao f (g1 ) = f (g2 ) e

(f (g1 ))1 f (g2 ) = f g11 f (g2 )

= f g11 g2 = e.
Isso mostra que g11 g2 = h ker f , o que significa que g2 = g1 h, ou seja, [g1 ] = [g2 ]. Logo,
e injetivo. Considere agora qualquer elemento g de Im f . Por definic
ao, g = f (g), g G1 , e
assim, g = ([g]). Portanto, e sobrejetivo e est
a provado o teorema.

A.

Exemplos

Vamos dar alguns exemplos, que pretendem ilustrar tanto o conceito de espaco quociente
quanto a aplicacao do teorema fundamental do homomorfismo.
1. Em todo grupo G encontramos dois subgrupos naturais: aquele composto apenas pelo
elemento identidade ({e}) e o pr
oprio G. Ambos s
ao subgrupos normais (mostre!).
Consideremos H = {e}. As classes de equivalencia neste caso tem apenas um elemento
cada: [g] = {g}. Assim, G/H
= G. Tomando agora H = G, observamos que qualquer g
e equivalente a qualquer g0 :
g = g0 h,
1
h = g0
g H = G.
Assim, se todos os elementos de G s
ao equivalentes, h
a apenas uma classe de equivalencia
[g] = [e]. Assim, G/G
= {e}.
2. O conjunto dos inteiros, Z, pode ser considerado um grupo pela operac
ao de adic
ao
usual: a identidade e o n
umero 0, o elemento inverso de um elemento n e o elemento n
e a associatividade e conseq
uencia natural da mesma propriedade para a adic
ao. Como
nm = mn (n + m = m + n), ele e um exemplo do que chamamos de grupo abeliano,
claro que todo
que se define pela comutabilidade de quaisquer dos seus elementos. E
subgrupo de um grupo abeliano e imediatamente normal (pois ghg1 = gg1 h = h H
por hip
otese). O conjunto 2Z e definido como o subconjunto de Z consistindo dos m
ultiplos de 2. Ele e um subgrupo (normal) de Z. Vamos calcular Z/2Z. A relac
ao de
equivalencia proposta e tal que n e n0 s
ao equivalentes se
n = n0 + 2k.
184

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

Os elementos de Z podem ser divididos em dois tipos: elementos do tipo n = 2j e do tipo


n = 2j + 1. Cada elemento do primeiro tipo e equivalente a todos do mesmo tipo pois,
se n = 2j e m = 2k, n m = 2 (j k) = 2l. Analogamente, se n = 2j + 1 e m = 2k + 1,
n m. Contudo, e imediato ver que n = 2j n
ao e equivalente a nenhum m = 2k + 1,
pela relac
ao de equivalencia proposta. Temos, assim, duas classes de equivalencia, que
podem ser denotadas pelos representativos [0] e [1]. Como antes, a lei de composic
ao
natural no espaco quociente ser
a
[a] + [b] = [a + b] .
Podemos estabelecer explicitamente todas as composic
oes possveis, dado o n
umero finito
de elementos do grupo quociente:
[0] + [0] = [0 + 0] = [0] ,
[1] + [0] = [1 + 0] = [1] ,
[1] + [1] = [1 + 1] = [2] = [0] .
Esta lei de composic
ao e caracterstica do chamado grupo cclico de ordem 2, ou Z2 . A
identidade e a classe [0] (que e a pr
opria inversa) e a inversa da classe [1] tambem e ela
mesma. Assim, conclumos que
Z
= Z2 .
2Z
claro que Z Z
3. Vamos denotar por Z Z o conjunto dos pares {(i, j) |i, j Z}1 . E
tambem e um grupo e que existe um subgrupo normal constitudo pelos pares do tipo
{(0, i) |i Z}
a-lo por H. Pretendemos calcular o espaco quociente
= Z. Vamos denot
ZZ
.
H
Observamos que a relac
ao de equivalencia e a seguinte: dois elementos (a1 , b1 ) e (a2 , b2 )
sao equivalentes se
(a1 , b1 ) = (a2 , b2 ) + (0, i) ,
1

A notac
ao parece ser um pouco abusiva, pois Z n
ao e um espaco vetorial; o conjunto em quest
ao e, estritamente,
Z2 = Z Z. Contudo, esta u
ltima notac
ao n
ao leva em conta o fato de que cada componente do par ordenado
herda a operac
ao de soma do seu Z correspondente
(i, j) + (k, l) = (i + k, j + l) ,
com o que os pares ordenados exibem o mesmo comportamento de vetores que pertencem a uma soma direta
de espacos vetoriais. Assim, a notac
ao Z Z parece ser a mais adequada, por evidenciar esta propriedade.

185

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

Sebasti
ao Alves Dias

177-195, 2006

para algum i Z. Os elementos equivalentes s


ao, ent
ao, do tipo
(a, b1 ) (a, b2 ) , para todo bi Z.
Claramente, (a, b1 ) n
ao e equivalente a (a0 , b1 ) ou a (a0 , b2 ), se a 6= a0 . As classes de
equivalencia podem ser descritas, ent
ao, como:
[a] = {(a, b) |a Z e fixo e b Z e qualquer} .
imediato ver que a seguinte lei de composic
E
ao pode ser imposta de forma n
ao ambgua
(independente do representativo)
  
  
[a] + a0 = a + a0 = a0 + [a] .
Tambem e imediato ver que as classes de equivalencia estao em correspondencia biunvoca
com os inteiros. Isto, mais o fato de a lei de composic
ao imitar a lei de composic
ao de
Z, faz com que concluamos que
ZZ
= Z.
H
Observe que, se houvessemos escolhido um outro subgrupo de ZZ, igualmente isomorfo
a Z, n
ao necessariamente teramos obtido o mesmo resultado. Considere o subgrupo
H0 = {(0, 2i) |i Z} = 2Z. Ele e claramente isomorfo a Z. A relac
ao de equivalencia
(a1 , b1 ) (a2 , b2 ) se (a1 , b1 ) = (a2 , b2 ) + (0, 2i) ,
implica na existencia de dois tipos de classes de equivalencia:
[(a, 0)] = {(a, 2i) |a Z e fixo e i Z e qualquer} ,
[(a, 1)] = {(a, 2i + 1) |a Z e fixo e i Z e qualquer} .
A lei de composic
ao e
[(a, 0)] + [(b, 0)] = [(a + b, 0)] ,
[(a, 0)] + [(b, 1)] = [(a, 1)] + [(b, 0)] = [(a + b, 1)] ,
[(a, 1)] + [(b, 1)] = [(a + b, 0)] ,
o que nos d
a a estrutura abaixo para o espaco quociente
ZZ
= Z Z2 .
H0
186

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

4. Os tres exemplos acima s


ao conseq
uencias triviais do teorema fundamental do homomorfismo. No primeiro exemplo, consideramos primeiramente o homomorfismo f : G G,
f (g) = g (ker f = {e}, Im f = G) e, ent
ao, o outro homomorfismo f : G G, f (g) = e
(ker f = G, Im f = {e}). Para o segundo, o homomorfismo em quest
ao e f : Z Z2
dado por f (n) = 0, se n = 2j e f (n) = 1 se n = 2j + 1, para algum j Z. O n
ucleo
e ker f = 2Z e a imagem e Z2 . No terceiro caso, primeiramente tomamos o homomorfismo f : Z Z Z, dado por f (i, j) = i. Obviamente, ker f = {(0, j) |j Z}
=He
Im f = Z. Para obter os resultados correspondentes a H0 , o homomorfismo em quest
ao
e f : Z Z Z Z2 , dado por

(i, 0) , se j for par,


f (i, j) =
(i, 1) , se j for mpar.
O n
ucleo de f e H0 e a imagem e Z Z2 , o que mostra o resultado anterior.

IV.

HOMOTOPIA

A existencia de buracos num espaco e uma propriedade topologicamente invariante, ou


seja, que n
ao muda quando consideramos espacos que podem ser deformados continuamente
no espaco em quest
ao. Diversos meios de buscar invariantes topol
ogicos partem da mesma
ideia fundamental, que e a deteccao desses buracos. Podemos citar os grupos de homologia
e de homotopia como algumas das tecnicas mais conhecidas para isso. Nas pr
oximas duas
subsec
oes, vamos estudar os grupos de homotopia. Eles visam classificar mapeamentos de
algum espaco fixo (em geral as esferas S n ) em espacos arbitr
arios, de acordo com a propriedade
deles serem continuamente deform
aveis uns nos outros ou n
ao. Essa deformabilidade vai
depender fortemente das propriedades topol
ogicas do espaco alvo (ou seja, aquele no qual
chega o mapeamento) e tem, portanto, potencial para nos fornecer caracterizac
oes desse espaco.
Vamos iniciar definindo o conceito de espaco conexo: ser
a um espaco topol
ogico X que n
ao
possa ser escrito como
X = X1 X2 ,
com X1 e X2 sendo abertos em X, X1 X2 = . Um caminho em X (n
ao necessariamente
um espaco conexo) conectando x0 e x1 X, e um mapeamento contnuo : [0, 1] X, tal
que (0) = x0 e (1) = x1 . Um espaco topol
ogico X e dito conexo por arcos, ou conexo
187

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

por caminhos, se dados dois pontos quaisquer do espaco, sempre existir um caminho unindo
os dois pontos. Todo espaco conexo por arcos e conexo, mas n
ao necessariamente um espaco
conexo e conexo por arcos (veja exemplo no livro de Nash e Sen, citado na bibliografia). Um
laco e um caminho para o qual coincidem os pontos inicial e final (que ser
a chamado de ponto
de base).
possvel propor o conceito de produto de caminhos (ou lacos). Dados dois caminhos e
E
, nos quais (1) = (0), definimos o caminho produto dos dois como

(2t)
0 t 1/2,
(t) =
(2t 1)
1/2 t 1.

A definic
ao acima satisfaz a` condic
ao de que seja um mapeamento contnuo entre [0, 1]
e X, sendo, assim, tambem ele um caminho. Intuitivamente, imaginando que temos o mesmo
tempo (1 segundo) para percorrer os dois caminhos, temos que percorre-los no dobro da
velocidade cada um. A subtrac
ao de 1 em (2t 1) assegura que o caminho comece
a ser percorrido desde o seu incio, (0). O caminho resultante e tal que seu ponto de origem
e (0) e seu ponto de destino e (1). O produto de lacos e definido de modo an
alogo, a partir
da exigencia de que seus pontos de base coincidam, (0) = (1) = (0) = (1).
Poderamos perguntar se n
ao seria possvel dar uma estrutura de grupo para o conjunto
dos lacos (para os caminhos seria mais complexo, devido aos seus pontos iniciais e finais n
ao
coincidirem). O laco (ou caminho) inverso a (t) pode ser definido com 1 (t) = (1 t) (e
(t) percorrido no sentido inverso). O laco constante e c (t) = x0 , 0 t 1. Entretanto,
embora o laco 1 (t) 6= c (t), ele pode ser continuamente deformado em c (t), como ilustra a
figura 1. Isto sugere que a estrutura de grupo possa ser buscada n
ao entre os lacos propriamente
ditos, mas entre as classes de equivalencia de lacos relacionados por deformac
oes contnuas.
Para implementar essa ideia, vamos definir o conceito de homotopia: dados dois lacos e
em x0 eles s
ao ditos homot
opicos (e tal fato e indicado por ) se existe um mapeamento
contnuo F : I I X, onde I = [0, 1], tal que
F (0, t) = (t) ,
F (1, t) = (t) ,
F (s, 0) = F (s, 1) = x0 ,

0 s 1.

Mostraremos, agora, que a relac


ao entre dois lacos e que se d
a quando e homot
opico a
(ou seja, existe uma homotopia conectando e ) e uma relac
ao de equivalencia. F (s, t) = (t)
188

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

Fig. 1: Deformacao contnua da curva 1 (t) na curva c (t): numa primeira etapa, ela e deformada
em 1 (t); em seguida, em 1 (t), onde as duas curvas unem x0 e x1 . Esta u
ltima curva e
homotopica a (t), a qual, por sua vez e homotopica ao laco constante. Supomos que a 1 (t)
curcunda um buraco (indicado na figura), para demonstrar a generalidade do argumento.

e uma homotopia entre e . Se F (s, t) e uma homotopia entre e , G (s, t) = F (1 s, t)


e uma homotopia entre e . Finalmente, seja F (s, t) uma homotopia entre e e G (s, t)
uma homotopia entre e . A homotopia entre e e facilmente construda como

F (2s, t) ,
0 s 1/2,
H (s, t) =
G (2s 1, t) ,
1/2 s 1.
Vamos verificar que H (s, t) e, de fato, uma homotopia entre e : H (0, t) = F (0, t) = (t);

189

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

H (1, t) = G (1, t) = (t). Alem disso,

F (2s, 0) = x0 ,
H (s, 0) =
G (2s 1, 0) = x ,
0

177-195, 2006

0 s 1/2,
1/2 s 1.
0 s 1,

= x0 ,
com um c
alculo similar sendo feito para H (s, 1).

Naturalmente, o pr
oximo passo ser
a impor um produto no espaco quociente, gerado pela
relac
ao de homotopia. A proposta mais obvia, baseada nas nossas considerac
oes anteriores, e
[] [] = [ ] .
Contudo, antes de verificar se, com esta lei de composic
ao, o espaco quociente se torna um
grupo, devemos garantir a independencia em relac
ao ao representativo, como mencionamos na
primeira aula. Se tomarmos outros lacos representando as classes, 0 e 0 , a independencia do
representativo estaria garantida se



0 0 = [ ] .

Devemos, ent
ao, mostrar que 0 0 e homot
opico a . Suponha que A (s, t) seja uma
homotopia entre e 0 , e B (s, t), uma homotopia entre e 0 . Veremos que

F (s, 2t) ,
0 t 1/2,
C (s, t) =
G (s, 2t 1) ,
1/2 t 1,

e uma homotopia entre e 0 0 . De fato,

A (0, t) ,
C (0, t) =
B (0, 2t 1) ,

(t) ,
=
(2t 1) ,

0 t 1/2,
1/2 t 1,
0 t 1/2,
1/2 t 1,

= (t) .
Alem disso,
C (1, t) =

A (1, t) ,

B (1, 2t 1) ,

0 (t) ,
0 (2t 1) ,

= 0 0 (t) ,

190

0 t 1/2,
1/2 t 1,
0 t 1/2,
1/2 t 1,

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

e, C (s, 0) = A (s, 0) = x0 e C (s, 1) = B (s, 1) = x0 . Da, [0 0 ] = [ ], e o produto


de classes de equivalencia est
a bem definido. Este produto induz uma estrutura de grupo no
espaco quociente. Para ver isso, vamos verificar que as propriedades usuais que caracterizam
um grupo est
ao satisfeitas. A candidata natural para identidade e a classe de equivalencia do
laco constante. Para isso ocorrer, temos que mostrar que
[ c] = [c ] = [] .
A homotopia entre c e e

(2t/ (1 + s)) ,
F (s, t) =
x ,
0
enquanto a homotopia entre c e e

x0 ,
F (s, t) =
((2t 1 + s) / (1 + s)) ,

0 t (1 + s) /2

(1 + s) /2 t 1

0 t (1 s) /2

(1 s) /2 t 1

Assim, vemos que [c] faz o papel de identidade no candidato a grupo. A homotopia

(2t (1 s)) ,
0 t 1/2
F (s, t) =
(2 (1 t) (1 s)) , 1/2 t 1


interpola entre 1 e c. Da, 1 = [c], e pode-se mostrar, analogamente, que
 1



= [c], o que seleciona o elemento inverso como sendo []1 = 1 . A associatividade
segue do fato de que

F (s, t) =

(4t/ (1 + s)) ,

0 t (1 + s) /4

(4t s 1) ,

((4t s 2) / (2 t)) ,

(1 + s) /4 t (2 + s) /4
(2 + s) /4 t 1

e uma homotopia entre ( ) e ( ). Com isso, est


a mostrado que o espaco das
classes de equivalencia por homotopia e um grupo, que recebe o nome de grupo fundamental
(ou primeiro grupo de homotopia) de X no ponto x0 , e e indicado por 1 (X, x0 ).
Tal como foi exposto, pareceria, numa primeira vista, que o grupo fundamental teria que
ser calculado em cada ponto do espaco X. Isso n
ao e verdade. Tomemos um laco que tenha
x0 como ponto base, um outro laco que seja baseado em x1 e um caminho saindo de x0 e
chegando em x1 . Usando e 1 , observamos que o laco 1 est
a baseado em x1 , assim

191

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Fig. 2: Correspondencia entre lacos baseados em x0 e em x1 . O caminho sai de x0 e chega em x1 .

como 1 e um laco baseado em x0 . Assim, se o espaco e conectado por arcos, a cada


laco em x0 pode ser associado um laco em x1 e vice versa (figura 2).
Com isto, podemos propor o seguinte mapeamento entre 1 (X, x0 ) e 1 (X, x1 ): se [] e um
elemento de 1 (X, x0 ),


([]) = 1 .
Da mesma forma, se e um laco em x1 , pertencente a` classe [] 1 (X, x1 ), existe outro
mapeamento entre 1 (X, x1 ) e 1 (X, x0 ):


1 ([]) = 1 .
Vamos mostrar que ambos s
ao homomorfismos e que um e o inverso do outro, o que mostra
que e, na verdade, um isomorfismo entre 1 (X, x0 ) e 1 (X, x1 ). Para isso, precisamos de
um resultado auxiliar: vamos ver que o laco 1 em x0 e homot
opico ao loop constante.
192

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Este laco e escrito explicitamente como

(2t) ,
1 (t) =
(2 (1 t)) ,

Aplica
co
es de M
etodos de ...

0 t 1/2

1/2 t 1

A seguinte homotopia interpola entre 1 e c:

(2t (1 s)) ,
0 t 1/2
F (s, t) =
(2 (1 t) (1 s)) , 1/2 t 1

Podemos, agora, ver facilmente que

[1 2 ] = [1 ] [2 ]
= [1 ] [c] [2 ]


= [1 ] 1 [2 ]


= 1 1 2
(imagine que, por exemplo, 1 circunde um buraco e 2 circunde outro; 1 n
ao circunda
buraco nenhum, pois, por definic
ao, vai e volta sobre si mesmo continuamente, o que faz
com que possa ser continuamente contrado a um ponto, n
ao contribuindo para a classe de
equivalencia). Assim,


([1 2 ]) = 1 1 2


= 1 1 1 2

 

= 1 1 1 2
= ([1 ]) ([2 ]) .
De modo similar, vemos que 1 tambem e um homomorfismo, mas de 1 (X, x1 ) em 1 (X, x0 ).
Vemos, ent
ao que



1 [] = 1


= 1 1
= [] ,
e


1 ( []) = 1 1


= 1 1
= [] .

193

Sebasti
ao Alves Dias

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Ent
ao, e 1 s
ao mapeamentos que satisfazem 1 = id1 (X,x0 ) e 1 = id1 (X,x1 ) .
Ent
ao, 1 e a inversa de , e os dois mapeamentos s
ao isomorfismos. Mostramos ent
ao que,
se X e conexo por arcos, 1 (X, x0 )
= 1 (X, x1 ), para quaisquer x0 e x1 X. Neste caso,
podemos omitir a indicac
ao do ponto x0 na notac
ao do grupo fundamental, para escrever
simplesmente 1 (X).
Pode-se mostrar que o grupo fundamental e um invariante topol
ogico (ou seja, uma quantidade que n
ao se altera para espacos conectados por homeomorfismos). Neste fato reside a sua
maior import
ancia: ele pode ser usado como criterio para distinguir globalmente entre espacos
topol
ogicos.

V.

UMA NOTA BREVE SOBRE VARIEDADES DIFERENCIAVEIS

As tecnicas estudadas ate agora, nestas notas, encontram grande aplicac


ao na abordagem
de espacos chamados de variedades diferenci
aveis. Uma variedade diferenci
avel e um espaco
que localmente (ou seja, apenas numa parte) se parece com Rn e onde, portanto, podemos
fazer c
alculo diferencial e integral. Estas partes podem ser costuradas matematicamente
(atraves de identificac
oes feitas com func
oes de transic
ao) de modo a formar um espaco com
caractersticas topol
ogicas mais complexas do que as de cada um de seus pedacos isolados. Por
exemplo, imagine os gomos individuais de uma bola de futebol. Cada um deles e um pedaco
de couro plano e, portanto, tem as mesmas propriedades topol
ogicas de um pedaco de R2 . Em
particular, pode se imaginar uma deformacao contnua destes pedacos num ponto. No entanto,
ap
os termos terminado de costurar todos uns nos outros, de modo a formar a bola, n
ao e mais
possvel deform
a-los conjuntamente em um ponto.
Em espacos como as variedades diferenci
aveis n
ao e imediato definir campos vetoriais (como
fazemos a todo momento em Rn ) e integrar. A estrategia para fazer isto e definir vetores e
formas diferenciais (que vir
ao a ser os an
alogos dos elementos de integrac
ao) a partir das
imagens em Rn de curvas sobre a variedade. Como em Rn temos definic
oes s
olidas para
diferenciac
ao e integrac
ao, estas definic
oes induzem localmente suas similares para as variedades. Mesmo assim, novos conceitos devem ser criados, como o conceito de transporte paralelo
de um vetor e conex
ao, que possam permitir comparar vetores e formas diferenciais em pontos
distintos da variedade.
As variedades diferenci
aveis tornaram-se profundamente importantes para a Fsica no incio

194

CADERNO DE F
ISICA DA UEFS 04, (01 e 02):

177-195, 2006

Aplica
co
es de M
etodos de ...

do seculo XX, quando Einstein desenvolveu a Teoria da Relatividade Geral. A conseq


uencia
b
asica desta teoria e o fato de que a distribuic
ao de materia numa regi
ao do espaco modificava as suas propriedades geometricas e topol
ogicas. A mais elementar delas e a de que
n
ao se pode mais, necessariamente, medir as dist
ancias da forma como sempre se mediu, nos
espacos Euclideanos (como o R3 ). Novas maneiras, generalizadas, de medir dist
ancias devem
ser consideradas, o que nos conduz a espacos Riemannianos. Estes espacos tem a estrutura de
variedades diferenci
aveis e nos levam a considerar as suas propriedades em detalhe. Atualmente
as variedades desempenham papel fundamental na descric
ao te
orica de todas as interac
oes fundamentais, sem contar suas aplicac
oes em outros ramos da Fsica.

VI.

AGRADECIMENTOS

Gostaria de expressar os mais profundos agradecimentos aos meus amigos, professores da


UEFS, Ant
onio Vieira de Andrade Neto, Franz Peter Alves Farias, Germano Pinto Guedes e
Milton Souza Ribeiro, pelo convite para falar sobre metodos matem
aticos e suas aplicac
oes a`
Fsica, pela acolhida e pelo ambiente extremamente estimulante propiciado por eles, durante a
IX semana de Fsica da UEFS. E tambem ao meu amigo, professor da UFRJ, Carlos Farina de
Souza, igualmente convidado para o evento, que me estimulou imensamente na redac
ao destas
notas e de quem assisti aulas brilhantes sobre o papel do vetor de Runge-Lenz nos problemas
de forcas centrais, durante a mesma semana de Fsica. A todos voces, muito obrigado!

[1] M. Nakahara, Geometry, Topology and Physics, IOP, 1990, Bristol.


[2] C. Nash e S. Sen, Topology and Geometry for Physicists, Academic Press, 1983, Londres.
[3] E. Lages Lima, Elementos de Topologia Geral, Ao Livro Tecnico, 1970, Rio de Janeiro.

SOBRE O AUTOR Sebastiao Alves Dias - Doutor em Fsica pelo CBPF, e Pesquisador Adjunto B II do Centro
Brasileiro de Pesquisas Fsicas.
e-mail: tiao@cbpf.br

195