Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
Aplica
co
es de M
etodos de ...
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
Sebasti
ao Alves Dias
177-195, 2006
III.
RELAC
OES
DE EQUIVALENCIA
E CONJUNTOS QUOCIENTES
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
Aplica
co
es de M
etodos de ...
181
Sebasti
ao Alves Dias
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
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
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 ...
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
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
Aplica
co
es de M
etodos de ...
IV.
HOMOTOPIA
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.
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.
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):
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,
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 ...
(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
191
Sebasti
ao Alves Dias
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
(2t) ,
1 (t) =
(2 (1 t)) ,
Aplica
co
es de M
etodos de ...
0 t 1/2
1/2 t 1
(2t (1 s)) ,
0 t 1/2
F (s, t) =
(2 (1 t) (1 s)) , 1/2 t 1
[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.
194
CADERNO DE F
ISICA DA UEFS 04, (01 e 02):
177-195, 2006
Aplica
co
es de M
etodos de ...
VI.
AGRADECIMENTOS
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