Professional Documents
Culture Documents
= 2g
S
n
Z
2
. Ento par-
timos para discutir um tpico muito importante da geometria: os grupos e lgebras
de Lie; e mais uma vez, fazemos muitos clculos explcitos. Terminamos o captulo
2 com uma brevssima reviso de variedades Riemannianas.
Finalmente no captulo 3 caracterizamos os grupos espinoriais, construmos iso-
morsmos em dimenso baixa com grupos de Lie clssicos, para s ento apresen-
tarmos brevemente o conceito de estrutura espinorial, mas sem deixar de apresentar
exemplos interessantes. Terminamos o trabalho retomando o enfoque do captulo
1, e apresentamos uma classicao completa dos espinores tanto do ponto de vista
clssico, quanto do ponto de vista algbrico.
11
2 lgebra
2.1 Conceitos Bsicos
Como suporte conceitual para descrevermos as lgebras de Cliord, vamos resumir
um conhecimento elementar sobre as lgebras associativas
Denio 2.1 Seja K um corpo (na prtica, K = R ou C), uma K-lgebra um espao
vetorial A, munido de um produto m : A A A (que denotaremos por m(x, y) = xy)
que obedece aos seguintes axiomas:
(i): (x)y = (xy), K, x, y A
(ii): x(y) = (xy), K, x, y A
(iii): (x +y)z = xz +yz, x, y, z A
(iv): x(y +z) = xy +xz, x, y, A
(v) : (xy)z = x(yz), x, y, A
As propriedades (i)-(iv) constituem a bilinearidade do produto, enquanto que (v)
representa a associatividade. Tambm dizemos que se:
(vi): Se existe um elemento e tal que ex = xe = x, x A, ento a lgebra possui
uma unidade.
Como uma lgebra A um espao vetorial, podemos tomar uma base e
i
n
i=1
da
mesma, e denir (usando a bilinearidade do produto), as chamadas constantes de
estrutura, cujos valores, obviamente dependem da base escolhida:
e
i
e
j
=
n
k=1
c
k
ij
e
k
Nos exemplos abaixo, denimos lgebras associativas a partir de constantes de es-
trutura.
12
2 lgebra
2.1.1 Exemplos:
(1): O corpo dos nmeros reais R uma R-lgebra sobre si mesmo.
(2): O corpo dos nmeros complexos C uma R-lgebra de dimenso 2. Existem 3
modelos para isso:
O modelo de Hamilton: tomemos o plano real R
2
, sobre o mesmo denimos
(a, b) +(c, d) = (a +c, b +d)
(a, b) = (a, b), R, (a, b) R
2
(a, b)(c, d) = (ac bd, ad +bc)
As duas primeiras condies, denem uma estrutura de espao vetorial sobre
R
2
, enquanto que a ltima condio torna o plano real uma lgebra associativa.
O modelo como um quociente de lgebras:
Seja R[X] a lgebra dos polinmios com coecientes reais. Consideremos o
ideal I = (X
2
+1), ento o quociente
C
R[X]
I
outro modelo para os nmeros complexos.
Consideremos a seguinte funo (uma representao de lgebras, trabalhare-
mos mais este conceito numa outra Seo), sobre o modelo de Hamilton:
L : C End
R
(C)
z L
z
L
z
: C C
L
z
(w) := zw
Tomando a base cannica do R
2
, temos para z = (a, b):
[L
z
]
can
=
_
_
a b
b a
_
_
13
2 lgebra
Desse modo, temos outra realizao para o corpo dos nmeros complexos C:
1 = e
1
= (1, 0)
_
_
1 0
0 1
_
_
i = e
2
= (0, 1)
_
_
0 1
1 0
_
_
0 1
1 0
_
_
2
=
_
_
1 0
0 1
_
_
(3): A lgebra dos quatrnios H uma R-lgebra. Em termos formais, se trata do
espao vetorial R
4
no qual denimos o produto (sobre a base cannica do mesmo):
e
2
i
= e
1
, i = 1, 2, 3, 4
e
1
e
i
= e
i
e
1
= e
i
, i = 1, 2, 3, 4
e
2
e
3
= e
3
e
2
= e
4
e
3
e
4
Umclculo longo (mas simples) mostra que comessas denies, temos uma lgebra
associativa.
Com isso terminamos os exemplos elementares de lgebras associativas. As lgebras
fundamentais, sero tratadas a seguir em Sees separadas:
2.2 lgebra Tensorial
2.2.1 Motivao
A referncia bsica desta Seo so [8] pginas 17-25 e [12] pginas 359-377.
A idia do objeto matemtico chamado de tensor remonta a Fsica do sculo XIX:
pesquisadores na rea da mecnica do contnuo (como Ricci & Levi-Civita, que pos-
teriormente criaramo clculo diferencial absoluto) estavaminteressados na modela-
gem matemtica do stress causado em materiais quando os mesmos sofrem a ao de
foras (tenses, donde o nome tensor). Como na poca o conceito de espao vetorial
numa forma abstrata ainda no existia, um tensor foi denido (apenas um exemplo
bem informal) como sendo um conjunto de nmeros A
ij
que ao sofrer uma mudana
de coordenadas, se transformavam em outro conjunto de nmeros A
kl
obedecendo
a seguinte lei:
14
2 lgebra
A
kl
= T
i
k
T
j
l
A
ij
,
onde os T
j
l
so matrizes (as componentes). Olhando do ponto de vista da matemtica
atual, a denio acima na verdade, no dene nada. As coisas evoluram muito de
l para c: vamos apresentar a denio mais formal disponvel para o objeto tensor.
2.2.2 Espao dos tensores como um quociente
Denio 2.2 Sejam U, V espaos vetoriais sobre um corpo K (K= R, C). Consideremos
T(UV) o espao vetorial livre (com base UV). Alm disso, consideremos os seguintes
tipos de elementos em T(UV):
(u
1
+u
2
, v) (u
1
, v) (u
2
, v)
(v, v
1
+v
2
) (u, v
1
) (u, v
2
)
(u, v) (u, v)
(u, v) (u, v)
E denotemos por S(UV) o subespao de T(UV) gerado por esses elementos. O produto
tensorial de U por V denido como sendo o par (UV, ), onde:
UV :=
T(UV)
S(UV)
: UV UV
(u, v) [(u, v)] = u v
Alguns comentrios sobre a denio formal acima: o que se entende por espao
vetorial livre ?
Uma resposta construtiva a seguinte: dado (u, v) U V, consideremos a funo
(tipo delta de Dirac, concentrada num ponto):
15
2 lgebra
(u,v)
: UV K
(u
1
, v
1
)
_
_
1, (u
1
, v
1
) = (u, v)
0, (u
1
, v
1
) (u, v)
Para qu denimos esta funo ? Queremos construir um espao vetorial onde os
elementos de UV sejam uma base; e ao invs de simplesmente tomarmos combi-
naes lineares formais usando elementos de UV, essas funes concentradas num
ponto servemde base para T(UV) (visto como o espao vetorial das funes quase-
nulas denidas em UV e tomando valores emK). Desse modo, reinterpretamos as
relaes anteriores da seguinte forma:
(u
1
+u
2
,v)
(u
1
,v)
(u
2
,v)
(u
1
,v
1
+v
2
)
(u
1
,v
1
)
(u
1
,v
2
)
(u,v)
(u,v)
(u,v)
(u,v)
O subespao S(UV) gerado por esse subconjunto de funes do tipo delta. O pro-
duto tensorial denido dessa forma, de natureza categrica, na verdade queremos
dizer o seguinte (a propriedade de fatorizao universal do produto tensorial):
Denio 2.3 Sejam U, V, W espaos vetoriais sobre um corpo K e : U V W
uma aplicao bilinear. Dizemos que o par (W, ) possui a propriedade de fatorizao
universal para UVse para todo espao vetorial S e toda aplicao bilinear f : UVS
existir uma nica aplicao linear f : UVS tal que f = f .
O diagrama abaixo comuta:
UV
/
f
W
f
{w
w
w
w
w
w
w
w
w
S
Observao 2.4 O que a idia de universalidade nos diz so duas coisas: primeiro
que a universalidade permite fatorar uma funo bilinear como uma aplicao li-
16
2 lgebra
near composta com o produto tensorial; e segundo que a universalidade serve para
tornar rigoroso o candidato a uma funo tendo como domnio um produto tenso-
rial (cujos elementos so classes de equivalncias). Mas na prtica, usamos a nossa
intuio para propor qual o candidato (a universalidade uma mera ferramenta
de rigor matemtico).
Proposio 2.5 O par (UV, ) possui a propriedade de fatorizao universal para U
V. Se um par (W, ) possui a propriedade de fatorizao universal para U V, ento
(U V, ) e (W, ) so isomorfos no sentido de que existe um isomorsmo linear :
UVW tal que = .
Demonstrao: Seja S um espao vetorial e f : U V S uma aplicao bilinear.
Como U V uma base para T(U V), podemos estender f para uma nica aplica-
o linear f
: T(U V) S. Como f bilinear, f
se anula em S(U V). Portanto,
f
induz uma aplicao linear f : U V S. Por construo temos f = f . A
unicidade da aplicao f segue do fato que (U V) gera U V. Seja um par W,
possuindo a propriedade de fatorizao universal. Pela propriedade de fatorizao uni-
versal do par (U V, )(respectivamente, de (W, ), existe uma nica aplicao linear
: U V W(respectivamente : W U V) tal que = (respectivamente,
= ). Portanto, = e = . Utilizando a unicidade da f na deni-
o da propriedade de fatorizao universal, conclumos que e so as aplicaes
identidade de UV e W respectivamente.
Agora mostramos que num certo sentido (isomorsmo), o produto tensorial de dois
espaos vetoriais, comuta.
Proposio 2.6 Sejam U, V espaos vetoriais sobre um corpo K; existe um nico isomor-
smo entre UV e VU, o qual leva u v em v u, para todos u U e v V.
Demonstrao: Seja f : U V VU a aplicao bilinear dada por f (u, v) = v u.
Pela proposio 2.5, existe uma nica aplicao linear
f
1
: UV VU
u v v u
Analogamente, existe uma nica aplicao linear :
17
2 lgebra
f
2
: VU UV
v u u v
Por inspeo imediata, temos que f
2
f
1
= id
UV
e f
1
f
2
= id
VU
. Donde segue que f
1
o isomorsmo desejado e portanto UV VU .
A prxima proposio mostra que o corpo K funciona como uma unidade no pro-
duto tensorial por um espao vetorial U.
Proposio 2.7 Se tomarmos o corpo K como um espao vetorial unidimensional (sobre
si mesmo), ento existe um nico isomorsmo entre KU e U, o qual leva u em u,
para todos K e u U. Analogamente temos que UK U (por aplicao direta da
proposio 2.6).
Demonstrao: Seja f : K U U a aplicao bilinear dada por f (, u) = u. Pela
proposio 2.5, existe uma nica aplicao linear f
1
: KUU tal que f (u) = u
Agora, consideremos a aplicao:
f
2
: U KU
u 1 u
Mostremos que essas aplicaes so uma a inversa da outra:
f
2
f
1
: KUKU
(f
2
f
1
)(u) = f
2
(f
1
(u)) = f
1
(u) = 1 u = u
f
2
f
1
= id
KU
f
1
f
2
: UU
(f
1
f
2
)(u) = f
1
(f
2
(u)) = f
1
(1 u) = 1.u = u
f
1
f
2
= id
U
18
2 lgebra
Portanto, temos que KU U .
E tambm temos o que podemos chamar de uma associatividade do produto tenso-
rial para espaos vetoriais:
Proposio 2.8 Existe um nico isomorsmo entre (UV) W e U(VW), o qual
leva (u v) w em u (v w) para todos u U, v V, e w W
Demonstrao: Fixemos w W e consideremos a aplicao bilinear
f
w
: UV U(VW)
(u, v) u (v w)
Ento, pela proposio 2.5, existe um nico homomorsmo
f
w
: UV U(VW)
u v u (v w)
Isto mostra que a aplicao:
f : (UV) W U(VW)
(u, v) w u (v w)
Est bem denida e bilinear. Ento, aplicando novamente a proposio 2.5, temos mais
uma aplicao linear (um homomorsmo):
f : (UV) W U(VW)
(u v) w u (v w)
Com isto, construmos um homomorsmo num sentido; passemos agora a construo de
outro homomorsmo no sentido contrrio. Fixemos u U e consideremos a aplicao
bilinear:
19
2 lgebra
g
u
: VW (UV) W
(v, w) (u v) w
Ento, pela proposio 2.5 existe um nico homomorsmo:
g
u
: VW (UV) W
v w (u v) w
Isto mostra que a aplicao:
g : U(VW) (UV) W
u (v, w) (u v) w
Est bem denida e bilinear. Ento, aplicando novamente a proposio 2.5, temos mais
uma aplicao linear (um homomorsmo):
g : U(VW) (UV) W
u (v w) (u v) w
E claramente temos que g = f
1
, portanto temos que, (UV) W U(VW) , e
podemos escrever simplesmente UVW .
: U
1
U
2
U
k
U
(1)
U
(2)
U
(k)
u
1
u
2
u
k
u
(1)
u
(2)
u
(k)
20
2 lgebra
Uma construo padro, a de produto tensorial de aplicaes lineares (tambm
chamada de produto de Kronecker), o que faremos agora:
Proposio 2.10 Sejam aplicaes lineares f
i
: U
i
V
i
(com i = 1, 2). Existe uma nica
aplicao linear f : U
1
U
2
V
1
V
2
tal que f (u
1
u
2
) = f
1
(u
1
) f
2
(u
2
) para todos
u
1
U
1
e u
2
U
2
Demonstrao: Seja a aplicao bilinear:
: U
1
U
2
V
1
V
2
(u
1
, u2) f
1
(u
1
) f
2
(u
2
)
Segue ento da proposio 2.5 que existe uma nica f : U
1
U
2
V
1
V
2
tal que
f (u
1
u
2
) = f
1
(u
1
) f
2
(u
2
).
1
: U
1
U
2
U
1
(u
1
, u
2
) u
1
2
: U
1
U
2
U
2
(u
1
, u
2
) u
2
donde temos as seguintes composies:
1
i
1
: U
1
U
1
(
1
i
1
)(u
1
) =
1
(i
1
(u
1
)) =
1
(u
1
, 0) = u
1
1
i
1
= id
U
1
2
i
2
: U
2
U
2
(
2
i
2
)(u
2
) =
2
(i
2
(u
2
)) =
2
(0, u
2
) = u
2
2
i
2
= id
U
2
Ou seja,
1
i
1
e
2
i
2
so as aplicaes identidade de U
1
e U
2
respectivamente. Alm
disso, temos que:
2
i
1
: U
1
U
2
(
2
i
1
)(u
1
) =
2
(i
1
(u
1
)) =
2
(u
1
, 0) = 0
2
i
1
= 0
1
i
2
: U
2
U
1
(
1
i
2
)(u
2
) =
1
(i
2
(u
2
)) =
1
(0, u
2
) = 0
1
i
2
= 0
Ou seja, as aplicaes
2
i
1
e
1
i
2
so nulas. Agora, consideremos a aplicao:
22
2 lgebra
i
1
id
V
: U
1
V (U
1
U
2
) V
(u
1
, v) i
1
(u
1
) id
V
(v) = (u
1
, 0) v
Tal aplicao claramente bilinear, ento, pela proposio 2.10, existe uma nica apli-
cao linear i
1
: U
1
V (U
1
U
2
) V tal que i
1
= i
1
id
V
. De forma anloga,
temos:
i
2
: U
2
V (U
1
U
2
) V
u
2
v (0, u
2
) v
p
1
: (U
1
U
2
) V U
1
V
(u
1
+u
2
) v (
1
id
V
)((u
1
, u
2
) v) =
1
(u
1
, u
2
) id
V
(v) = u
1
v
p
2
: (U
1
U
2
) V U
2
V
(u
1
+u
2
) v (
2
id
V
)((u
1
, u
2
) v) =
2
(u
1
, u
2
) id
V
(v) = u
2
v
Temos ento (por pura passagem s aplicaes produto) que p
2
i
1
= 0, p
1
i
2
= 0, e que
p
1
i
1
= id
U
1
V
, p
2
i
2
= id
U
2
V
. Finalmente, consideremos as aplicaes:
f : (U
1
U
2
) V U
1
VU
2
V
((u
1
, u
2
), v) u
1
v +u
2
v
A mesma claramente bilinear, ento, pela proposio 2.5 temos que existe uma nica
aplicao linear f : (U
1
U
2
) VU
1
VU
2
V tal que f = f . Para o homomor-
smo inverso, denimos:
g = i
1
i
2
: U
1
VU
2
V(U
1
U
2
) V
Donde segue que (U
1
U
2
) V U
1
VU
2
V
At agora, apresentamos o produto tensorial (e construes correlatas) usando ape-
23
2 lgebra
nas mtodos abstratos. Mas dados espaos vetoriais U e V, e bases
U
e
V
dos
mesmos, como construmos uma base para UV ? Uma base fundamental para
clculos explcitos; o que mostraremos na prxima proposio.
Proposio 2.12 Sejam
U
= u
1
, u
2
, . . . , u
m
e
V
= v
1
, v
2
, . . . , v
n
bases de U e V res-
pectivamente, ento o conjunto =
UV
= u
i
v
j
1 i m, 1 jn uma base para
UV.
Demonstrao: Seja U
i
o subespao unidimensional de U gerado pelo vetor u
i
e V
j
o
subespao unidimensioanal de V gerado por v
j
. Pela proposio 2.11 temos:
UV
i,j
U
i
V
j
Agora, temos que U
i
K, ento (pela proposio 2.7) que:
U
i
V
j
KK K
Isso mostra que dim(
i,j
U
i
V
j
) = nm. Ento, resta mostrar que o conjunto
UV
linearmente independente. Para isso, seja a combinao linear:
i,j
c
ij
u
i
v
j
= 0
Agora, para cada u
i
e v
j
, consideremos a aplicao u
i
v
j
: UVK, dada por:
u
i
v
j
(x y) = u
i
(x)v
j
(y)
formada pelos respectivos vetores duais, ento, camos com:
24
2 lgebra
u
k
v
l
(
i,j
c
ij
u
i
v
j
) =
i,j
c
ij
u
k
v
l
(u
i
v
j
) =
i,j
c
ij
=
k
i
.
u
k
(u
i
) v
l
(v
j
)
.
=
l
j
=
=
i,j
c
ij
k
i
l
j
= c
kl
= 0
Donde segue que o conjunto
UV
linearmente independente, sendo portanto, uma base
para UV.
No que segue, dado um espao vetorial U, denotaremos o seu dual por U
. At este
ponto, apresentamos apenas propriedades estruturais, passemos a apresentao de
algumas identicaes mais nas (isomorsmos mais especcos).
Proposio 2.13 Seja L(U
em V. Ento existe
um nico isomorsmo de UV em L(U
, V) tal que:
g(u v)() = (u)v, u U, v V e U
, V)
(u, v)
_
_
f (u, v) : U
V
(u)v
Ento, pela proposio 2.5, existe uma nica aplicao g : U V L(U
U
= u
1
, u
2
, . . . , u
m
uma base de U e
U
= u
1
, u
2
, . . . , u
n
a respectiva base dual (de U
).
Avaliemos agora, o ncleo da aplicao f : seja x Ker(f ), o mesmo pode ser decomposto
na base
UV
, ento
25
2 lgebra
x =
i,j
c
ij
u
i
v
j
x ker(f ) f (x)() =
i,j
c
ij
f (u
i
v
j
)() =
i,j
c
ij
(u
i
)v
j
= 0, U
Tomando = u
k
, camos com:
0 =
i,j
c
ij
(u
i
)v
j
=
i,j
c
ij
=
k
i
.
u
k
(u
i
) v
j
0 =
Pois
V
base
.
i,j
c
ij
k
i
v
j
=
i,j
c
kj
v
j
c
kj
= 0
Variando o ndice j, temos que c
ij
= 0, 1 i m, 1 j n, ento, pelo teorema do
ncleo-imagem, segue que a aplicao g um isomorsmo e portanto:
UV L(U
, V)
(UV)
tal que:
g( )(u v) = (u)(v)
Demonstrao: Seja a aplicao bilinear f : U
(UV)
dada por:
26
2 lgebra
t(, )(u v) = (u)(v)
Ento, pela proposio 2.5, existe g : U
(U V)
V
= u
i
v
j
1 i m, 1
j n. Ficamos com:
=
i,j
c
ij
u
i
v
j
(u v) =
i,j
c
ij
u
i
v
j
(u v)
ker(g)
i,j
c
ij
u
i
v
j
(u v) =
i,j
c
ij
u
i
(u)v
j
(v) = 0, u U, v V
Escolhendo u = u
k
e v = v
l
temos que:
g()(u
k
, v
l
) =
i,j
c
ij
=
i
k
.
u
i
(u
k
) v
j
(v
l
)
.
=
j
l
=
i,j
c
ij
i
k
j
l
= c
kl
= 0
Donde segue que a aplicao g injetora, ento, pelo teorema do ncleo-imagem, temos
que g um isomorsmo. E portanto:
U
(UV)
, T
1
(V) = V, e por conveno T
0
(V) = K. Objetos perten-
centes a estes espaos possuem representaes em termos de bases, ento, dada uma base
V
= e
1
, e
2
, . . . , e
n
, e a respectiva base dual
V
= e
1
, e
2
, . . . e
n
, temos pela proposio
2.12 que o conjunto = e
i
1
e
i
2
e
i
k
1 i
1
, i
2
. . . i
k
n uma base para T
k
(V).
Ento, dado um tensor T T
k
(V), o mesmo possui uma decomposio nica do tipo:
T =
i
1
,i
2
,...,i
k
T
i
1
i
2
...i
k
e
i
1
e
i
2
e
i
k
E algo anlogo vale quando temos T T
k
(V):
T =
i
1
,i
2
,...,i
k
T
i
1
i
2
...i
k
e
i
1
e
i
2
e
i
k
E ainda podemos ter os chamados tensores mistos, que nada mais so do que objetos
pertencentes ao seguinte tipo de espao:
T
r
s
(V) = T
r
(V) T
s
(V)
E um T T
r
s
(V) em termos das bases que j xamos, tem a seguinte forma:
T =
i
1
,i
2
,...,i
r
j
1
,j
2
,...,j
s
T
i
1
i
2
...i
r
j
1
j
2
...j
s
e
i
1
e
i
r
e
j
1
e
j
s
Uma operao importante, a de contrao de um tensor, mas antes precisamos de
uma denio:
Denio 2.17 Seja V um espao vetorial sobre o corpo K. Denimos a lgebra tenso-
rial associada a V como sendo o espao:
28
2 lgebra
T(V) =
r,s=0
T
r
s
(V)
Observao 2.18 Devemos observar que para evitar questes de convergncia (algo
no escopo da anlise), um elemento da lgebra tensorial composto de um nmero
nito de somandos.
Passemos agora a operao de contrao de tensores
Denio 2.19 Seja V um espao vetorial sobre o corpo K. Dados r, s 1 e 1 i r, 1
j s, consideremos a aplicao linear
C
ij
: T
r
s
(V) T
r1
s1
(V)
C
ij
(v
1
v
2
v
r
u
1
u
2
u
s
)
= u
j
(v
i
)v
1
v
2
v
i1
v
i+1
. . . v
r
u
1
u
2
u
j1
u
j+1
u
s
Chamamos a mesma de contrao do tensor (nas entradas (i, j)).
Em termos de componentes, dado T T
r
s
(V), as componentes de C
ij
(T) so dadas
por:
(C
ij
T)
i
1
i
2
...i
r1
j
1
j
2
...j
s1
=
n
k=1
T
i
1
i
2
...k...i
r1
j
1
j
2
...k...j
s1
Observao 2.20 Enfocamos os tensores at agora, como objetos abstratos obtidos
usando umquociente. Dentro deste contexto, uma pergunta natural: podemos iden-
ticar espaos de tensores com algo mais amigvel ? (um termo melhor seria mais
conhecido). Sim, e se trata do contedo das duas prximas proposies. Nas mes-
mas, mostramos que tensores podem ser identicados com transformaes multili-
neares Uma pergunta inevitvel: se essa identicao existe, porque zemos toda
esta construo abstrata ? Se perde conceitos ao se enfocar deste modo, mas
Proposio 2.21 Seja um espao vetorial V. O conjunto T
k
(V) canonicamente iso-
morfo ao espao vetorial de todas as aplicaes r-lineares L(VV V; K)
29
2 lgebra
Demonstrao: Por generalizao direta da proposio 2.15 temos que T
r
(V) T
r
(V)
.
Agora, consideremos a aplicao:
f :
r
i=1
V
L(VV V; K)
f (v
1
, v
2
, . . . , v
r
)(x
1
, x
2
, . . . , x
r
) = v
1
(x
1
)v
2
(x
2
) . . . v
r
(x
r
)
A mesma r-linear, ento pela proposio 2.5, temos que existe uma nica aplicao
linear tal que:
g :
(T
r
(V))
.
r
i=1
V
L(VV V; K)
g(v
1
v
2
v
r
)(x
1
, x
2
, . . . , x
r
) = v
1
(x
1
)v
2
(x
2
) . . . v
r
(x
r
)
Para mostrarmos que se trata de um isomorsmo, vamos calcular o ncleo da mesma.
Seja
r
i=1
V
i
1
,i
2
,...,i
r
c
i
1
i
2
...i
r
v
i
1
v
i
2
v
i
r
ker(g) (x
1
, x
2
, . . . , x
r
) =
i
1
,i
2
,...,i
r
c
i
1
i
2
...i
r
v
i
1
v
i
r
(x
1
, x
2
, . . . , x
r
) = 0, x
j
V
=
i
1
,i
2
,...,i
r
c
i
1
i
2
...i
r
v
i
1
(x
1
) v
i
2
(x
2
) v
i
r
(x
r
) = 0
Dentro desta generalidade, podemos escolher x
s
= v
j
s
e camos com:
0 =
i
1
,i
2
,...,i
r
c
i
1
i
2
...i
r
v
i
1
(x
j
1
) v
i
2
(x
j
2
) v
i
r
(x
j
r
)
0 =
i
1
,i
2
,...,i
r
c
i
1
i
2
...i
r
i
1
j
1
i
2
j
2
. . .
i
r
j
r
= c
j
1
j
2
...j
r
c
j
1
j
2
...j
r
= 0, 1 j
1
, j
2
, . . . , j
r
r
Donde, pelo teorema do ncleo-imagem, segue que a aplicao g um isomorsmo.
30
2 lgebra
; K)
Demonstrao: Esta proposio segue da 2.21 pelo seguinte motivo: consideremos a
aplicao linear
: V V
x
_
_
(x) : V
K
(x)
Se trata de uma aplicao natural (no depende do uso de bases), sendo um isomorsmo.
Ento, fazendo a substituio VV
i=1
x
i
y
i
E como avant-premire, dizemos que uma mtrica Riemanniana numa variedade M
um exemplo importantssimo de campo tensorial covariante. Novamente, de uma forma
mais concreta:
31
2 lgebra
M = (x, y) R
2
y > 0
g =
dx
2
+dy
2
y
2
Observao 2.25 Se trata de um dos modelos para a geometria no-euclidiana de
Lobachevsky (um dos modelos de Poincar).
Exemplo 2.26 Seja V um espao vetorial sobre um corpo K e V
V K
(, x) (x)
Se trata de um tensor 1-covariante e 1-contravariante; um exemplo de pairing.
Exemplo 2.27 Na teoria da elasticidade, existe o chamado tensor das tenses (provavel-
mente, a fonte de inspirao para a teoria original dos tensores, no sculo XIX).
S =
n
i=1
t
e
i
e
i
Onde t o chamado tensor de trao.
2.3 lgebra Exterior
2.3.1 Motivao
Algo curioso (e trgico) na histria da evoluo da lgebra foi o que hoje se entende
como lgebra exterior: criao de Gramann. Gramann era um linguista (e espe-
cialista em snscrito), mas tal como Galois, sua mente estava alm do seu tempo.
Ele reconheceu a necessidade de se fazer lgebra em dimenso arbitrria e que ao
mesmo tempo, servisse para representar objetos geomtricos. Sua criao dos multi-
vetores fazia isso, mas faltava a Gramann algo fundamental: uma linguagem clara
32
2 lgebra
e precisa (impossvel para a poca). A consequncia foi que Gramann no termi-
nou seu Doutorado, e a lgebra dos multivetores dormiu durante dcadas, at ser
retomada pelo gnio de Elie Cartan j no sculo XX (Cartan era um profundo co-
nhecedor da obra de Gramann e Cliord).
2.3.2 A lgebra exterior a partir da lgebra tensorial
Introduo
Tal como na Seo sobre tensores, poderamos construir a lgebra exterior via um
quociente. Mas vamos adotar um enfoque mais prtico, construindo a lgebra exte-
rior usando a lgebra tensorial (covariante ou contravariante), que nesta Seo, ser
apresentada pela igualdade abaixo:
T(V) =
k=0
T
k
(V)
Nesta Seo, nossa principal referncia ser [5], pginas 27-70 e [9], captulo 7. Va-
mos comear com uma denio:
Denio 2.28 Seja X um conjunto no vazio, denimos o grupo das permutaes dos
elementos de X como sendo o conjunto de bijees do conjunto X:
S(X) = f : X X f uma bijeo
O produto sendo a composio de funes.
Observao 2.29 Quando X = I
n
= 1, 2, . . . , n, denotamos S(X) = S
n
e chamamos
o grupo correspondente de grupo de permutaes de n objetos. A cardinalidade
(a quantidade de elementos) de S
n
igual a S
n
= n!. Denotando um elemento
genrico de S
n
, vamos representar a ao desta funo da seguinte maneira:
_
_
1 2 . . . n
(1) (2) . . . (n)
_
_
Exemplo 2.30 No caso n = 3 temos S
3
= 3! = 6. Os elementos de S
3
so dados por:
33
2 lgebra
_
_
1 2 3
1 2 3
_
_
_
_
1 2 3
2 3 1
_
_
_
_
1 2 3
3 1 2
_
_
_
_
1 2 3
3 2 1
_
_
_
_
1 2 3
2 1 3
_
_
_
_
1 2 3
1 3 2
_
_
Denio 2.31 Dados i, j I
n
, a permutao tal que (i) = j, (j) = i e (k) = k, k
i, j chamada de transposio.
Proposio 2.32 Toda permutao pode ser escrita como um produto nito de trans-
posies.
Demonstrao: Ver [12], captulo 4 - pgina 115 (Cycle Decompositions).
Denio 2.33 Denimos (e denotamos por) o sinal de uma permutao S
n
por
() = (1)
n
, onde n
) um subespao vetorial de T
k
(V
i=0
k
(V
)
34
2 lgebra
possvel munir
k
(V
) T
k
(V
2
k
1
k!
S
k
()
(1)
(2)
(k)
A prxima proposio, mostra qual que a imagem da funo Alternador e propri-
edades:
Proposio 2.36 1) Se T T
k
(V
), ento Alt(T)
k
(V
)
2) Se T
k
(V
), ento, Alt(T) = T
3) Se T
k
(V
S
k
()T(x
(1)
, . . . , x
(j)
, . . . , x
(i)
, . . . , x
(k)
)
=
1
k!
S
k
()T(x
(1)
, . . . , x
(i)
, . . . , x
(j)
, . . . , x
(k)
)
=
1
k!
S
k
(
)T(x
(1)
, . . . , x
(k)
)
= Alt(T)(x
1
, . . . , x
k
)
2) Se T
k
(V
), ento T(x
(1)
, . . . , x
(k)
) = ()T(x
1
, . . . , x
k
). Como toda S
k
um
produto de transposies (i, j), esta equao vale para toda S
n
. Ficamos com:
35
2 lgebra
Alt(T)(x
1
, . . . , x
k
) =
1
k!
S
k
()T(x
(1)
, . . . , x
(k)
)
=
1
k!
S
k
()()T(x
1
, . . . , x
k
) =
1
k!
S
k
T(x
1
, . . . , x
k
)
= T(x
1
, . . . , x
k
)
=1
.
1
k!
S
k
Alt(T) = T
3) Dado T T
k
(V
) e
l
(V
) e
l
(V
3) (
1
+
2
) =
1
+
2
4) c = c = c(), com c R
5) = (1)
kl
6) f
() = f
() f
(), f L(V) (comportamento funtorial por pullback)
Demonstrao:
1)
Dada S
k
temos que Alt(()) = ()Alt(). De fato:
36
2 lgebra
Alt(())(x
1
, . . . , x
k
) =
1
k!
S
k
()(x
(1)
, . . . , x
(k)
)
=
1
k!
S
k
()()(x
(1)
, . . . , x
(k)
)
= ()Alt()(x
1
, . . . , x
k
)
Pois uma bijeo. Ento,
Alt(Alt() )(x
1
, . . . , x
k
, . . . , x
k+l
) = Alt(Alt(x
1
, . . . , x
k
)(x
k+1
, . . . , x
k+l
))
= Alt
_
_
1
k!
S
k
()(x
(1)
, . . . , x
(k)
)(x
k+1
, . . . , x
k+l
)
_
_
= Alt
1
k!
S
k
()(() )(x
1
, . . . , x
k
, . . . , x
k+l
)
=
1
k!
S
k
()Alt(() )(x
1
, . . . , x
k+l
)
=
1
k!
S
k
(
)Alt
( )(x
1
, . . . , x
k+l
)
Onde
S
k+l
. Alm disso,
) e =
. Ficamos com:
1
k!
S
k
(
)(
)Alt( )(x
1
, . . . , x
k+l
)
Alt( )(x
1
, . . . , x
k+l
)
1
k!
S
k
1
Alt( )(x
1
, . . . , x
k+l
)
Portanto, Alt(Alt() ) = Alt( ), ou seja, Alt(Alt() ) = Alt( ) 2)
37
2 lgebra
(
1
+
2
) =
(k +l)!
k!l!
Alt((
1
+
2
) ) =
O Alternador linear
.
(k +l)!
k!l!
Alt(
1
+
2
)
=
(k +l)!
k!l!
(Alt(
1
) +Alt(
2
)) =
(k +l)!
k!l!
Alt(
1
) +Alt(
2
)
1
+
2
) =
1
+
2
0
(x
1
, . . . , x
k+l
) =
Pelo item (1)
.
(x
0
(1)
, . . . , x
0
(k+l)
) =
(
0
)=(1)
kl
.
(
0
)Alt( )
= (1)
kl
6)
f
()(x
1
, . . . , x
k+l
) =
(k +l)!
k!l!
Alt()(x
1
, . . . , x
k+l
)
=
(k +l)!
k!l!
1
(k +l)!
S
k+l
()f
()(x
(1)
, . . . , x
(k+l)
)
=
(k +l)!
k!l!
1
(k +l)!
S
k+l
()(f (x
(1)
), . . . , f (x
(k+l)
))
Por outro lado:
38
2 lgebra
f
() f
()(x
1
, . . . , x
k+l
) =
(k +l)!
k!l!
Alt(f
() f
())(x
1
, . . . , x
k+l
)
=
(k +l)!
k!l!
1
(k +l)!
S
k+l
()f
() f
()(x
(1)
, . . . , x
(k+l)
)
=
(k +l)!
k!l!
1
(k +l)!
S
k+l
()f
()(x
(1)
, . . . , x
(k)
)f
()(x
(1)
, . . . , x
(1)
)
=
(k +l)!
k!l!
1
(k +l)!
S
k+l
()()(f (x
(1)
), . . . , f (x
(k)
))(f (x
(1)
), . . . , f (x
(1)
))
=
(k +l)!
k!l!
1
(k +l)!
S
k+l
()(f (x
(1)
), . . . , f (x
(k+l)
))
f
() = f
() f
()
Agora que j sabemos que (V
). Faremos isso
explicitando uma base, mas antes, mais uma proposio:
Proposio 2.39 (Fonte: [10] pginas 80-81)
1) Se T
k
(V
) e T
k
(V
),
l
(V
) e
m
(V
), ento:
() = ( ) =
(k +l +m)!)
k!l!m!
Alt( )
Demonstrao: 1) Usando a denio do produto exterior, temos:
(k +l)!Alt()(x
1
, . . . , x
k+l
) =
S
k+l
()(x
(1)
, . . . , x
(k)
)(x
(k+1)
, . . . , x
(k+l)
)
39
2 lgebra
Se G S
k+l
consiste de todos os que deixam k +1, . . . , k +l xos, ento:
G
()(x
(1)
, . . . , x
(k)
)(x
(k+1)
, . . . , x
(k+l)
)
=
_
S
k
()(x
(1)
, . . . , x
(k)
)
_
_
(x
k+1
, . . . , x
k+l
) = 0
Suponhamos agora que
0
G. Sejam
G.
0
= .
0
G
x
0
(1)
, . . . , x
0
(k+l)
= w
1
, . . . , w
k+l
Ficamos com:
G.
0
()(x
(1)
, . . . , x
(k)
)(x
(k+1)
, . . . , x
(k+l)
)
=
_
_
(
0
).
G
()(w
(1)
, . . . , w
(k)
)
_
_
(w
(k+1)
, . . . , w
(k+l)
) = 0
Notemos que G G.
0
= , ento = .
0
para algum G e
0
.
1
G, uma con-
tradio. Continuando deste modo, decompomos S
k+l
em subconjuntos disjuntos; a soma
sobre cada subconjunto 0, ento segue que a soma sobre S
k+l
0.
2) Temos que:
Alt(Alt() ) = Alt( ) Alt( ) = 0
Portanto, do item (1) temos:
0 = Alt([Alt( ) ])
= Alt(Alt( ) Alt( )
40
2 lgebra
3) Basta usar a denio de produto exterior:
() =
(k +l +m)!
(k +l)!m!
Alt(() )
=
(k +l +m)!
(k +l)!m!
(k +l)!
k!l!
Alt( )
).
Proposio 2.40 O conjunto de todos os
i
1
i
k
, 1 i
1
< i
2
< < i
k
n
uma base para
k
(V
) =
_
_
n
k
_
_
=
n!
k!(n k)!
Demonstrao: Se
k
(V
) T
k
(V
), podemos escrever:
=
i
1
,i
2
,...,i
k
a
i
1
...i
k
i
1
i
k
Donde, temos:
= Alt(w) =
i
1
,i
2
,...,i
k
a
i
1
...i
k
Alt(
i
1
i
k
)
Como cada Alt(
i
1
i
k
) uma constante vezes um dos
i
1
i
k
, estes elementos
geram
k
(V
Cl(V, q)
T
{v
v
v
v
v
v
v
v
v
A
Para que a denio anterior tenha sentido, preciso realizar concretamente a lge-
bra de Cliord. Isso feito na seguinte proposio:
42
2 lgebra
Proposio 2.45 a) Para todo espao quadrtico (V, q), com q no degenerada, existe
uma lgebra de Cliord (Cl(V, q), ).
b) Se (Cl(V, q),
1
) e (Cl
(V, q),
2
) so lgebras de Cliord para (V, q), ento existe um
isomorsmo f : Cl(V, q) Cl
Cl(V, q)
f
yr
r
r
r
r
r
r
r
r
r
Cl
(V, q)
Demonstrao: Para mostrarmos a existncia da lgebra de Cliord, consideremos a
lgebra tensorial contravariante
T(V) =
k=0
k
V = K(VV) (
k
V) . . .
A seguir, seja o ideal I gerado pelos elementos do conjunto x x q(x)1 x V. Deni-
mos a lgebra de Cliord como sendo o quociente
Cl(V, q) :=
T(V)
I
E a aplicao dada por = i, onde : T(V) Cl(V, q) a projeo cannica,
e i : V T(V) a incluso natural. Por construo,
2
= q(v)1. Alm disso, toda
transformao linear u : V A extensvel para um homomorsmo de lgebras dado
por:
U : T(V) A
U(x
1
x
2
x
k
) = u(x
1
) u(x
2
) u(x
k
)
Agora, se tivermos u(x) = q(x)1, segue que I ker(U), e por isso, a aplicao U passa
ao quociente U : C(q, V) A, sendo o homomorsmo de lgebras que obedece a condio
procurada. Dado um outro homomorsmo U
1
: C(q, V) A satisfazendo ao diagrama
comutativo abaixo:
43
2 lgebra
V
/
u
Cl(V, q)
U
1
{v
v
v
v
v
v
v
v
v
A
Ento u = U
1
= U . Portanto, U e U
1
coincidem em V C(q, V). Por outro
lado, os vetores de V geram a lgebra tensorial T(V) multiplicativamente e portanto,
a lgebra C(q, V) tambm. Finalmente, conclumos que U = U
1
. A unicidade decorre
imediatamente da terceira propriedade que dene uma lgebra de Cliord.
Observao: Devemos notar que tomando uma forma quadrtica nula q = 0 temos
que:
Cl(V, q) = (V)
Aps essa proposio abstrata, mais pertinente apresentar exemplos concretos de
lgebras de Cliord (mesmo com o preo de uma leve heurstica) antes de conti-
nuarmos com a construo da teoria. Sempre que for possvel, vamos apresentar
isomorsmos com lgebras mais familiares.
2.4.2 Exemplos
Observao 2.46 Nesta sequncia de exemplos, a notao Cl
m,n
indica a lgebra de
Cliord associada a uma forma quadrtica q com assinatura (m, n) emR
n+m
.
Ver [5], pginas 115-119.
(i): Seja V = R, e q(x) = x
2
, x V. Ento, temos o isomorsmo de espao vetorial
Cl(V, q) RR R
2
. Alm disso, com a identicao (isomorsmo de Rlgebras):
e
1
= (1, 0) e
2
1
= e
1
e
2
= (0, 1) e
2
2
= e
1
Portanto, Cl(V, q) C.
44
2 lgebra
(ii): Seja V = R, e q(x) = x
2
, x V. Ento, temos o isomorsmo de espao vetorial
Cl(V, q) RR R
2
. Alm disso, com a identicao (isomorsmo de Rlgebras):
e
1
= (1, 0) e
2
1
= e
1
e
2
= (0, 1) e
2
2
= e
1
Portanto, Cl(V, q) D (os chamados nmeros perplexos).
(iii): Seja V = R
2
, e q(x) = x
2
1
x
2
2
. Segue que Cl
0,2
= Cl(V, q) R R
2
R (um
isomorsmo entre espaos vetoriais)
Agora, tomando a base cannica do R
2
, temos as regras de multiplicao:
e
1
= (1, 0) e
2
1
= 1
e
2
= (0, 1) e
2
2
= 1
e
1
e
2
+e
2
e
1
= 0
(e
1
e
2
)
2
= e
1
e
2
e
1
e
2
= e
2
1
e
2
2
= 1
fcil vermos que Cl
0,2
isomorfa lgebra dos quatrnios H. Uma implementao
de isomorsmo dado (usando bases), por:
: Cl
0,2
H
(1) = 1
(e
1
) = i
(e
2
) = j
(e
1
e
2
) = k
onde i, j e k so as unidades quaterninicas:
i
2
= j
2
= k
2
= 1
ij = ji = k
jk = kj = i
ki = ik = j
45
2 lgebra
Portanto:
Cl
0,2
H
(iv): Seja V = R
2
, e q(x) = x
2
1
+x
2
2
. Segue que Cl
2,0
= Cl(V, q) RR
2
R. Tomando
a base cannica do R
2
, temos as regras de multiplicao:
e
1
= (1, 0) e
2
1
= 1
e
2
= (0, 1) e
2
2
= 1
e
1
e
2
+e
2
e
1
= 0
(e
1
e
2
)
2
= e
1
e
2
e
1
e
2
= e
2
1
e
2
2
= 1
Tal como no exemplo anterior, temos um isomorsmo com uma lgebra interes-
sante: Cl
2,0
M
2
(R). De fato, consideremos a aplicao, : Cl
0,2
H, denida na
base como:
(1) =
_
_
1 0
0 1
_
_
, (e
1
) =
_
_
1 0
0 1
_
_
(e
2
) =
_
_
1 0
0 1
_
_
, (e
1
e
2
) =
_
_
1 0
0 1
_
_
imediato vericar que esta funo um isomorsmo de lgebras, portanto:
Cl
2,0
M
2
(R)
Nos exemplos acima, o espao vetorial se decompe numa soma direta por causa
das relaes de anti-comutao xy +yx = 2b(x, y), resultando num lgebra, cujo es-
pao vetorial subjacente, possui dimenso sempre igual a uma potncia de 2. As
proposies a seguir apresentam de forma rigorosa esse fato, mas antes, precisamos
construir duas aplicaes fundamentais em lgebras de Cliord:
Duas operaes naturais na lgebra tensorial T(V) preservam o ideal I usado na
construo da lgebra de Cliord Cl(V, q), e portanto, so operaes que passam
ao quociente, se estendendo lgebra de Cliord Cl(V, q). Vamos explicitar essas
operaes em duas proposies:
46
2 lgebra
Proposio 2.47 Involuo Graduada
A lgebra de Cliord de uma forma quadrtica Cl(V, q) equipada com uma involuo
: Cl(V, q) Cl(V, q) tal que:
(i) um homomorsmo de lgebra e uma involuo, ou seja,
2
= id
(ii) Fazendo
Cl
0
(V, q) = x Cl(V, q) (x) = x
Cl
1
(V, q) = x Cl(V, q) (x) = x
temos a decomposio em soma direta:
Cl(V, q) = Cl
0
(V, q) Cl
1
(V, q)
e as relaes:
Cl
0
(V, q).Cl
0
(V, q) Cl
0
(V, q)
Cl
0
(V, q).Cl
1
(V, q) Cl
1
(V, q)
Cl
1
(V, q).Cl
1
(V, q) Cl
0
(V, q)
Demonstrao: Seja a aplicao linear
u : V Cl(V, q)
x (x)
Como:
u(x) = ((x))
2
= (x)
2
= q(x)1
Existe (pela universalidade da lgebra de Cliord) um homomorsmo : Cl(V, q)
Cl(V, q) tal que
(x) = (x)
para todo x V. Como por construo:
( )(x) = ((x)) = (x) = (x)
47
2 lgebra
temos que
2
= id quando restrita ao conjunto (V) Cl(V, q).
Portanto,
2
= id em Cl(V, q).
Proposio 2.48 Transposio
Em toda lgebra de Cliord Cl(V, q), existe uma aplicao linear t : Cl(V, q) Cl(V, q)
com as seguintes propriedades:
(1) t linear
(2) t
2
= id (t uma involuo)
(3) t(v) = v, v V
(4) t(xy) = t(y)t(x), x, y Cl(V, q)
Demonstrao: Consideremos a transformao linear denida na lgebra tensorial (con-
travariante):
t : T
k
(V) T
k
(V)
x
1
x
k
x
k
x
k1
x
1
A transformao t preserva o ideal I. De fato:
t(x x q(x)1) = t(x x) q(x)t(1) = x x q(x)1
Portanto, a mesma se estende para a lgebra de Cliord Cl(V, q) e possui as propriedades
desejadas.
Observao: conhecida na literatura como reverso, ver [5], pgina 23.
Proposio 2.49 Seja V um espao vetorial sobre um corpo K, a lgebra de Cliord
Cl(V
1
V
2
, q
1
q
2
) isomorfa ao produto tensorial (graduado) Cl(V
1
, q
1
)
Cl(V
2
, q
2
):
Cl(V
1
V
2
, q
1
q
2
) Cl(V
1
, q
1
)
Cl(V
2
, q
2
)
Observao: O produto tensorial Cl(V
1
, q
1
)
Cl(V
2
, q
2
) um produto tensorial Z
2
gra-
duado de lgebras. Sejam A = A
0
A
1
, B = B
0
B
1
lgebras Z
2
graduadas, o produto
48
2 lgebra
tensorial Z
2
graduado, a seguinte lgebra:
(AB)
0
= (A
0
B
0
) (A
1
B
1
)
(AB)
1
= (A
1
B
0
) (A
0
B
1
)
Demonstrao: Consideremos a aplicao linear
u : V
1
V
2
Cl(V, q
1
)
Cl(V, q
2
)
u(x
1
+x
2
) =
1
(x
1
) 1 +1
2
(x
2
)
Devido multiplicao em Cl(V
1
, q
1
)
Cl(V
2
, q
2
), temos:
u
2
(x
1
+x
2
) = (x
1
1 +1 x
2
)
2
= x
2
1
1 +x
1
x
2
x
1
x
2
+1 x
2
2
pois 1 Cl
0
(V
1
, q
1
), x
1
Cl
1
(V
1
, q
1
), e x
2
Cl
1
(V
2
, q
2
). Portanto:
u
2
(x
1
+x
2
) = (x
1
1 +1 x
2
)
2
= x
2
1
1 +1 x
2
2
= (q
1
(x
1
) +q
2
(x
2
))1 1 (2.1)
Pela universalidade da lgebra de Cliord, temos um homomorsmo induzido de lgebras:
U : Cl(V
1
V
2
, q
1
q
2
) Cl(V, q
1
)
Cl(V, q
2
)
que fornece o isomorsmo desejado.
Proposio 2.50 Seja V um espao vetorial de dimenso n sobre um corpo K. Ento o
espao vetorial Cl(V, q) possui dimenso 2
n
,
dim
K
Cl(V, q) = 2
n
Demonstrao: Pelo teorema de Lagrange sobre formas quadrticas (ver [13], pgina 2),
a forma quadrtica em questo, a soma de n formas quadrticas unidimensionais:
q =
n
i=1
q
i
49
2 lgebra
Mas a lgebra de Cliord de uma forma quadrtica unidimensional dada por:
Cl
0
(K, q
i
) = K
Cl
1
(K, q
i
) = Ke
e
2
= q
i
(1)
Donde temos que dim
K
Cl(K, q
i
) = 2 para um forma quadrtica unidimensional. Da
proposio anterior, temos
Cl(V, q) =
n
i=1
Cl(K, q
i
) dim
K
Cl(V, q) = 2
n
Proposio 2.51 Seja (V, q) um espao quadrtico (q(x) = B(x, x), onde B uma forma
bilinear em V) e = e
1
, e
2
, . . . , e
n
uma base de V tal que :
B(e
i
, e
j
), i j
Ento, a lgebra de Cliord Cl(V, q) gerada multiplicativamente pela unidade 1 e pelos
elementos e
i
1
. . . e
i
s
, onde 1 i
1
i
2
. . . i
s
n, com 1 n.
Demonstrao: V Cl(V, q) gera Cl(V, q) multiplicativamente, e os e
1
, e
2
, . . . , e
n
so
uma base do espao vetorial V. Donde os vetores e
1
, e
2
, . . . , e
n
tambm geram a lgebra
Cl(V, q). Alm disso, e
2
i
= q(e
i
)1, e:
(e
i
+e
j
)
2
= q(e
i
+e
j
)1 = q(e
i
) +q(e
j
) = e
2
i
+e
2
j
Desta ltima equao segue que:
e
i
e
j
+e
j
e
i
= 0, i j
Estes 2
n
elementos geram Cl(V, q) linearmente. Finalmente, como dim
K
Cl(V, q) = 2
n
,
esses elementos formam uma base da lgebra de Cliord Cl(V, q).
2.4.3 Periodicidade mdulo 8 das lgebras de Cliord
Na Seo anterior, apresentamos alguns (isomorsmos) exemplos concretos de lge-
bras de Cliord. Uma pergunta natural quando se estuda alguma estrutura mate-
mtica, a de classicar os objetos que so modelos (os exemplos) da estrutura. No
50
2 lgebra
caso das lgebras de Cliord, durante a classicao, foi encontrado um fenmeno
de periodicidade mdulo 8 (o termo car claro no teorema 2.54). Historicamente,
o primeiro a notar este fato foi Elie Cartan, seguido de Raoul Bott (este, j nos anos
60 do sculo passado). esse resultado que vamos apresentar nesta Seo.
Vamos trabalhar com o caso geral de uma forma quadrtica de assinatura (p, q), e a
lgebra de Cliord correspondente, denotaremos por Cl
p,q
. um fato notvel que
essas Cl
p,q
podem ser construdas (na verdade, uma identicao do tipo isomor-
smo) como produtos tensoriais das lgebras:
R
C Cl
0,1
H Cl
0,2
Visando o resultado fundamental (a periodicidade mdulo 8), comecemos com um
lema:
Lema 2.52 Temos os isomorsmos:
I) Cl
0,n+2
Cl
n,0
Cl
0,2
II) Cl
n+2,0
Cl
0,n
Cl
2,0
III) Cl
p+1,q+1
Cl
p,q
Cl
1,1
n, p, q 0.
Demonstrao:
Prova da igualdade (I)
Vamos denotar as formas quadrticas envolvidas por
p,q
. Consideremos
0,n+2
= (x, x),
onde (x, x) o produto escalar usual emR
n+2
, e seja (e
1
, e
2
, . . . , e
n+2
) uma base ortonormal
associada de R
n+2
. Agora, seja (b
1
, b
2
, . . . , b
n
) um conjunto de geradores de Cl
n,0
e (g
1
, g
2
)
um conjunto de geradores para Cl
0,2
. Denamos a seguinte funo:
f : R
n+2
Cl
n,0
Cl
0,2
51
2 lgebra
Dada por:
f (e
i
) =
_
_
b
i
f
1
f
2
, 1 i n
1 f
in
, n +1 i n +2
Para 1 i, j n, temos:
f (e
i
)f (e
j
) +f (e
j
)f (e
i
) =
=2
ij
.
(b
i
b
j
+b
j
b
i
)
=1
.
(g
1
g
2
)
2
= 2
ij
1 1
J para n +1 i, j n +2, temos:
f (e
i
)f (e
j
) +f (e
j
)f (e
i
) = 1 (
=2
ij
.
g
in
g
jn
+g
jn
g
in
) = 2
ij
1
E para 1 i, j n e n +1 k n +2 (pois g
nk
= g
1
ou g
nk
= g
2
), temos:
f (e
i
)f (e
k
) +f (e
k
)f (e
i
) = 2b
i
(g
1
g
2
g
nk
+g
nk
g
1
g
2
) = 0
Donde segue que:
f (x)
2
= x
2
1 1, x R
n+2
Ento, pela propriedade universal para a lgebra de Cliord Cl
0,n+2
, temos a aplicao
f : Cl
0,n+2
Cl
n,0
Cl
0,2
E como f leva geradores em geradores, a mesma sobrejetora. Alm disso:
dim(Cl
0,n+2
) = 2
n+2
= 2
n
.2 = dim(Cl
n,0
) dim(Cl
0,2
) = dim(Cl
n,0
Cl
0,2
)
ou seja, f um isomorsmo.
52
2 lgebra
A prova da igualdade (II) anloga.
A prova da igualdade (III) : consideremos a forma quadrtica
p,q
(x
1
, . . . , x
p+q
) = x
2
1
+ +x
2
p
(x
2
p+1
+ +x
2
p+q
)
e seja = e
1
, e
2
, . . . , e
p+1
, f
1
, . . . , f
q+1
uma base ortogonal para R
p+q+2
, tal que:
p+1,q+1
(e
i
) = 1, i = 1, . . . , p +1
p+1,q+1
(f
j
) = 1, j = 1, . . . , q +1
Tambm tomemos G
p,q
= g
1
, . . . , g
p
, h
1
, . . . , h
q
um conjunto de geradores para Cl
p,q
e
G
1,1
= v
1
, v
2
um conjunto de geradores para Cl
1,1
. Agora, denamos uma aplicao
linear
f : R
p+q+2
Cl
p,q
CL
1,1
f (e
i
) =
_
_
g
i
v
1
v
2
1 i p
1 v
1
, i = p +1
f (f
i
) =
_
_
h
j
v
1
v
2
, 1 j q
1 v
2
, j = q +1
Donde segue que
f (x)
2
=
p+1,q+1
(x)1 1, x R
p+q+2
Novamente, pela universalidade das lgebras de Cliord, temos uma extenso:
f : CL
p+1,q+1
Cl
p,q
Cl
1,1
E como f leva geradores em geradores, sobrejetora. Finalmente, como as dimenses das
lgebras em questo so iguais, segue o isomorsmo armado.
53
2 lgebra
Para utilizarmos este lema, precisamos de um outro resultado:
Proposio 2.53 Temos os seguintes isomorsmos:
M(m, R) M(n, R) M(mn, R) m, n 0
M(n, R)
R
K M(n, K), K= R, C, H, e n 0
C
R
C CC
C
R
H M(2, C)
H
R
H M(4, R
Demonstrao: Ver [14] a partir da pgina 26, proposio 4.2
Finalmente, temos:
Teorema 2.54 Para n 0, temos os seguintes isomorsmos:
Cl
0,n+8
Cl
0,n
Cl
0,8
Cl
n+8,0
Cl
n,0
Cl
8,0
Cl
0,8
= Cl
8,0
= M(16, R)
Demonstrao: Para o primeiro isomorsmo, sabemos do lema 2.52 que :
Cl
0,n+2
Cl
n,0
Cl
0,2
Cl
n+2,0
Cl
0,n
Cl
2,0
Donde temos que:
Cl
0,n+8
Cl
n+6,0
Cl
0,2
Cl
0,n+4
Cl
2,0
Cl
0,2
Cl
0,n
Cl
2,0
Cl
0,2
Cl
2,0
Cl
0,2
Agora, como Cl
0,2
= H e Cl
0,2
= M(2, R), temos pela 2.53 que:
Cl
2,0
Cl
0,2
Cl
2,0
Cl
0,2
HHM(2, R) M(2, R) M(4, R) M(4, R) M(16, R)
O segundo isomorsmo pode ser demonstrado de forma similar. Para mais detalhes, ver
[14], a partir da pgina 27, teorema 4.3.
54
3 Geometria - Topologia Elementar
3.1 Resumo
Como comentamos no captulo 1, qualquer rea da Matemtica possui uma histori-
cidade baseada em exemplos, que so os fenmenos matemticos, a motivao para
a criao de estruturas abstratas. Neste captulo, apresentamos os elementos de ge-
ometria e topologia necessrios para uma melhor compreenso quando discutirmos
a maquinaria que envolve a noo de estruturas espinoriais.
3.2 Topologia
3.2.1 No incio era Gauss e Cia...
O sculo XIX sem dvida marca a poca em que a Matemtica comea a se preocu-
par com questes que no eram puramente algoritmicas, e uma dessas questes era
como estudar um espao geomtrico. Espao geomtrico no sentido de sermos ca-
pazes de fazer uma geometria alm da euclidiana. Hoje pode parecer bvio, mas
mentalmente difcil nos livramos da idia de que (por exemplo) uma superfcie
um subconjunto do R
3
. Essa limitao neurolgica impediu que durante scu-
los, no se conseguisse trabalhar com a superfcie de forma independente do espao
continer (o R
3
). Riemann e Gauss foram os principais responsveis para romper
com a situao: delinearam, mesmo que de forma losca, o conceito de varie-
dade diferencivel. De forma bem intuitiva, Poincar criava as idias para o que
posteriormente seria chamado de topologia: pensava em transformaes (no estilo
de deformaes) contnuas e no que as mesmas preservavam. Mesmo sem ter as fer-
ramentas bsicas, ele chegou ao ponto de formular uma conjectura que levou muito
tempo para ser demonstrada (a conjectura de Poincar sobre variedades tridimensi-
onais, ver [32] ). O que segue, uma apresentao formal sobre as topologias geral
e algbrica.
55
3 Geometria - Topologia Elementar
3.2.2 Topologia Geral
Denio 3.1 Seja X um conjunto no vazio. Um espao topolgico um par (X, ),
onde !(X) (conjunto das partes de X), os chamados abertos da topologia que satis-
fazem aos seguintes axiomas:
(i) e X
(ii) Dada uma famlia de abertos V
I
, temos que
_
I
V
(iii) Dada um conjunto nito de abertos V
1
, V
2
, . . . , V
n
, temos que
_
n
i=1
V
i
Os axiomas (i) e (ii) acima dizem simplesmente que uma topologia fechada por
unio arbitrria e interseco nita de abertos.
Exemplos
Exemplo 3.2 Seja X um conjunto no vazio, tomemos
cao
= , X. Claramente os ele-
mentos de
cao
obedecem aos axiomas de uma topologia e portanto, o par (X,
cao
) um
espao topolgico. Esta a chamada topologia catica.
Exemplo 3.3 Seja X um conjunto no vazio, tomemos
disc
= !(X). O conjunto
disc
escolhido por construo obedece aos axiomas de espao topolgico (!(X) contm qualquer
outra topologia de X). Esta a chamada topologia discreta.
Exemplo 3.4 Seja X = R e consideremos a topologia = , A R onde A se, e
somente se para todo x A existe um intervalo aberto (a, b) tal que x (a, b) A. Vamos
vericar os axiomas de espao topolgico para o conjunto :
(i) Claramente , R .
(ii) Seja A
, ento:
_
De fato, seja x
_
(iii) Dados V
1
, V
2
, ento, dado x V
1
V
2
, temos que x V
1
e x V
2
, logo
existem intervalos abertos (a
1
, b
1
) e (a
2
, b
2
) tais que x (a
1
, b
1
) V
1
e x (a
2
, b
2
) V
2
.
Agora, fazendo a = maxa
1
, a
2
e b = minb
1
, b
2
, segue que:
56
3 Geometria - Topologia Elementar
x (a, b) V
1
V
2
Procedendo de forma indutiva, temos que se V
1
, V
2
, . . . , V
n
ento
_
n
i=1
V
i
Esta a topologia usual na reta real R.
Exemplo 3.5 Seja (X, ) um espao topolgico e Y , Y X, ento:
Y
= AY A
uma topologia sobre Y, a chamada topologia relativa (ou induzida) a Y.
Conjuntos fechados
Podemos dizer que a noo de fechado num espao topolgico, dual a de aberto e
que um espao topolgico pode ser caracterizado em termos de fechados.
Denio 3.6 Seja F (X, ). F dito fechado em X se F
c
.
Exemplos :
Exemplo 3.7 Num espao topolgico (X, ), X e so fechados. De fato X
c
= e
c
= X
Exemplo 3.8 Seja a reta real R com a topologia usual (exemplo 3.4), os intervalos fecha-
dos [a, b] so conjuntos fechados. De fato, pois [a, b]
c
= (, a) (b, )
Teorema 3.9 (Caraterizao de um espao topolgico (X, ) em termos de fechados)
Seja (X, ) espao topolgico e F a famlia de conjuntos fechados, ento:
1) X, F.
2) Sejam F
1
, F
2
, . . . , F
n
conjuntos fechados em X, ento:
n
_
i=1
F
i
57
3 Geometria - Topologia Elementar
um fechado em X.
3) Sejam F
F
Demonstrao: 1) Segue do exemplo 3.7
2) Basta observarmos que:
(
n
_
i=1
F
i
)
c
=
n
_
i=1
F
c
i
3) De forma anloga ao item (2), temos que:
(
_
)
c
=
_
F
c
A.
Para se tornar mais operacional, precisamos de um critrio para indenticarmos
uma base, o prximo teorema trata justamente disso.
Teorema 3.14 Seja B . A famlia B uma base de se e somente se
1) X =
_
BB
B
2) Para todos B
1
, B
2
B, se x B
1
B
2
, ento existe B Btal que:
x B B
1
B
2
59
3 Geometria - Topologia Elementar
Demonstrao: () (Ida)
Se B uma base de , ento X aberto; logo se escreve como unio de abertos bsicos.
Se B
1
, B
2
B, ento B
1
, B
2
so abertos e B
1
B
2
aberto; logo se x B
1
B
2
, existe um
aberto B Btal que x B B
1
B
2
(ver observao 3.13).
() (Volta)
Se B satisfaz 1 e 2, todo aberto na topologia pode ser escrito como unio arbitrria de
elementos de B. Agora, consideremos o conjunto:
= U X U unio arbitrria de elementos de B
Provemos que uma topologia sobre X. imediato que ; e alm disso, X pelo
item (1). Sejam A
, cada A
B
,
, onde B
,
B, ento:
A =
_
_
_
B
,
_
_
=
_
,
B
,
Agora, consideremos A
1
, A
2
, ento A
1
=
e A
2
=
, donde:
A
1
A
2
=
_
_
_
_
_
_
=
_
,
(B
)
Se x A
1
A
2
, existe pelo menos um par de ndices (, ) tal que x B
, pelo item
2 existe B Btal que:
x B B
A
1
A
2
portanto, A
1
A
2
aberto. O caso geral segue por induo
Denio 3.15 Os conjuntos B B tais que x B so chamados de vizinhanas do
ponto x.
Exemplos
Exemplo 3.16 Uma topologia base de si prpria
60
3 Geometria - Topologia Elementar
Exemplo 3.17 Seja (X, ) onde a topologia catica (ver 3.2). A base para B= X.
Exemplo 3.18 Seja (X, ) onde a topologia discreta (ver 3.3). A base para
B= x x X.
Exemplo 3.19 Base para a topologia usual da reta real R
Seja X = R e a, b R tal que a < b, ento:
B= (a, b)
gera a topologia usual de R.
De fato:
Demonstrao: 1) R =
_
a<b
(a, b).
2) Para todo x R, (x 1, x +1) B.
3) Para todo x R tal que (a
1
, b
1
) (a
2
, b
2
), temos:
x (a, b) (a
1
, b
1
) (a
2
, b
2
)
onde a = maxa
1
, a
2
e b = minb
1
, b
2
B =
_
onde A
, B
B. Ficamos com:
AB =
_
_
_
_
_
_
=
_
,
(A
)
Por outro lado, A
e B
uma
interseo nita de elementos de S e AB .
2) imediato que S .
3) Se
; logo,
deve conter as
unies arbitrrias de elementos de B, isto
_
X se y
0
V
se y
0
V
Em ambos os casos, f
1
(V) aberto, logo f contnua.
Exemplo 3.28 Seja X conjunto no vazio e
1
,
2
topologias em X tal que
2
1
. A
funo identidade:
id : (X,
1
) (X,
2
)
contnua. Isso imediato, pois se V
2
, ento id
1
(V) = V
1
.
Exemplo 3.29 Sejam (X,
disc
e (Y, ). Toda funo:
f : X Y
contnua.
Proposio 3.30 Sejam (X,
1
), (Y,
2
) e (Z,
3
) espaos topolgicos.
1) Se f : X Y e g : Y Z so funes contnuas, ento
g f : X Z
contnua
2) Se f : X Y contnua e A X subespao topolgico (ver 3.5), ento:
f
A
: A Y
contnua.
3) Se f : X Y contnua e f (X) Y subespao topolgico, ento:
64
3 Geometria - Topologia Elementar
f : X f (X)
contnua.
Demonstrao:
1) Segue do seguinte fato: (g f )
1
= f
1
g
1
.
2) Temos que f
A
= f i, onde i : A X a incluso, pelo tem (1) , f
A
contnua.
3) f
1
(V f (X)) = f
1
(V) f
1
(f (X)) = f
1
(V).
A noo de continuidade de uma funo tambm pode ser caracterizada usando o
conceito de conjunto fechado; alm disso, a denio de continuidade 3.26 global,
no sentido que se utiliza dos abertos da topologia, no item (4) do prximo teorema,
temos uma caracterizao local de continuidade (isto , em torno de um ponto).
Teorema 3.31 Sejam (X,
1
) e (Y,
2
) espaos topolgicos e f : X Y. As seguintes
condies so equivalentes:
1) f contnua.
2) Para todo F Y fechado, f
1
(F) fechado em X.
3) A imagem inversa por f de qualquer elemento da base (sub-base) de Y aberto em X
4) Para todo x X e para todo W vizinhana de f (x) em Y, existe U vizinhana de x em
X tal que:
f (U) W
5) f (A) f (A), para todo A X.
6) f
1
(B) f
1
(B), para todo B Y.
Demonstrao: 1) 2) De fato, f
1
(Y A) = X f
1
(A), para todo A Y.
1) 3) Seja B uma base da topologia de Y e B B. Como f contnua, f
1
(B)
aberto em X. A prova da recproca segue de que todo aberto V
2
pode ser escrito como:
V =
_
65
3 Geometria - Topologia Elementar
e que:
f
1
(
_
) =
_
f
1
(B
)
1) 4) Como f contnua e W aberto ( vizinhana de f (x)), consideramos o conjunto
U = f
1
(W) que vizinhana de x e:
f (U) W
4) 5) Seja A X e x A; vamos provar que f (x) f (A). Denotemos por U
x
a
vizinhana de x tal que f (U
x
) W, onde W vizinhana de f (x). Se x A, ento
U
x
A , ento:
f (U
x
A) f (U
x
A) f (U
x
) f (A) W f (A)
ento f (x) f (A).
5) 6) Seja A = f
1
(B), ento:
f (A) f (A) = f (f
1
(B)) = Bf (X) B
Logo, A f
1
(B).
6) 2) Seja F Y fechado, ento:
f
1
(F) f
1
(F) = f
1
(F)
Portanto, f
1
(F) = f
1
(F) e f
1
(F) fechado.
Observao 3.32 Do teorema acima, temos que basta usar os abertos bsicos da
topologia para estudar a continuidade de uma funo. E dizemos que uma funo
contnua no ponto x
0
X se a mesma obedece ao item (4) no ponto x
0
.
66
3 Geometria - Topologia Elementar
Homeomorsmos
Os homeomorsmos nada mais so do que os isomorsmos entre espaos topolgi-
cos. De forma mais precisa:
Denio 3.33 (Denio de homeomorsmo)
Sejam (X,
1
) e (Y,
2
) espaos topolgicos. Os mesmos so ditos homeomorfos, e escre-
vemos X Y, se existe uma bijeo : X Y contnua com inversa contnua.
Exemplos
Exemplo 3.34 Seja a retal real R munida da topologia usual (ver 3.4). Ento, todo
intervalo aberto (a, b), com a topologia induzida pela topologia usual de R, homeomorfo
a R. Vamos apresentar duas implementaes desse homeomorsmo:
Implementao I : seja a funo
f : (a, b) (1, 1)
x
2x (b +a)
b a
f contnua, com inversa dada por
f
1
(y) =
(b a)y +(a +b)
2
que tambm contnua. Com isso temos que (a, b) (1, 1). Agora, seja a funo
g : R (1, 1)
x
x
1 +x
que contnua, com inversa
g
1
(y) =
y
1 y
tambm sendo contnua. Portanto, R (1, 1). Por transitividade, temos que R (a, b).
67
3 Geometria - Topologia Elementar
Implementao II : Consideremos a funo:
: (1, 1) R
x tan(
x
2
)
se trata de uma funo contnua e sua inversa contnua dada por:
1
: R (1, 1)
y
2
arctan(y)
e juntamente com a funo f acima, implementa o fato de que R (a, b).
Exemplo 3.35 (A bola aberta unitria B(0; 1) homeomorfa ao R
n
Se trata de uma generalizao do exemplo anterior: consideremos a bola aberta
B(0, 1) = x R
n
x < 1
As funes
f : B(0, 1) R
n
x
x
1 x
g : R
n
B(0, 1)
x
x
1 +x
so contnuas, e uma a inversa da outra. Portanto, temos que B(0, 1) R
n
Exemplo 3.36 Sejam os espaos topolgicos X = R
n+1
0 e Y = S
n
R
+
. Consideremos
as funes
68
3 Geometria - Topologia Elementar
: R
n+1
0 S
n
R
+
x (
x
x
, x)
: S
n
R
+
R
n+1
0
(y, ) y
as quais so contnuas e uma a inversa da outra. Portanto, temos que R
n+1
0 S
n
R
+
.
Este exemplo mais trabalhado na seo sobre variedades Riemannianas, mais precisa-
mente, em 3.136
Exemplo 3.37 Sejam os espaos topolgicos
El(n) = x R
n+1
n+1
i=1
a
2
i
x
2
i
= 1, a
i
0 Um elipside n-dimensional
S
n
= x R
n+1
i=1
x
2
i
= 1 Uma esfera n-dimensional
Armamos que El(n) S
n
. De fato, consideremos as funes:
f : El(n) S
n
x (a
1
x
1
, . . . , a
n
x
n
)
g : S
n
El(n)
y (
x
1
a
1
, . . . ,
x
n
a
n
)
ambas so contnuas e uma a inversa da outra. Portanto, temos que El(n) S
n
.
Topologia Inicial
A noo de topologia inicial (e sua dual, a topologia nal) um tpico importante,
pois fornece um ambiente de unicao para vrios exemplos de topologias usuais.
69
3 Geometria - Topologia Elementar
Infelizmente, pouco divulgada na literatura e nos cursos de topologia geral. Nesta
seo, seguimos de perto a referncia [34], pgina 55.
Denio 3.38 Sejam X um conjunto no vazio e (X
: X X
; a
Topologia Inicial dessa famlia a menor topologia que torna contnua toda f
,
Observao 3.39 A famlia f
1
(V
), e V
= f :
_
f () X
70
3 Geometria - Topologia Elementar
A Topologia Produto a topologia inicial dada pela famlia
.
Exemplo 3.42 (A topologia fraca de um espao normado) Seja (E, ) um espao nor-
mado e consideremos E
.
Exemplo 3.43 (A topologia fraca-estrela do dual de um espao normado) Seja (E, ) um
espao normado e consideremos E
x
: E
C
(x)
ou seja, se trata das avaliaes num ponto x. A topologia dada por essa famlia de funes
e chamada de topologia fraca-*
Exemplo 3.44 (Fundamental na teoria das lgebras de operadores)
Seja H um espao de Hilbert e B(H) o conjunto dos operadores lineares limitados em H.
Consideremos a famlia de funes:
x
: B(H) C
T T(x)
A topologia inicial dada por esta famlia de funes chamada de topologia forte de
operadores (strong operator topology - SOT).
Exemplo 3.45 (Fundamental na teoria das lgebras de operadores)
Seja H um espao de Hilbert e B(H) o conjunto dos operadores lineares limitados em H.
Consideremos a famlia de funes:
x,y
: B(H) C
T (T(x), y)
71
3 Geometria - Topologia Elementar
A topologia inicial dada por esta famlia de funes chamada de topologia fraca de
operadores (weak operator topology - WOT).
Um resultado fundamental dentro do contexto de uma topologia inicial o seguinte
teorema:
Teorema 3.46 Sejam (X
: X X
.
f
: Z X
contnua
(II) Consideremos uma sequncia x
n
em X, temos:
x
n
x (f
(x
n
)
(x)
.
)
Demonstrao: (Vamos demonstrar (I) apenas)
(I) A ida () imediata, pois a composta de funes contnuas contnua (ver 3.30).
No caso da volta (), suponhamos que f
, . Os conjuntos da forma f
(U
),
e U
1
(f
1
(U
)) = (f
)
1
(U
)
ento, as imagens inversas por destes conjuntos abertos so abertos em X devido a
continuidade de f
: X
X
A topologia nal denida por esta famlia, a maior topologia que tornam cont-
nuas as f
.
Exemplos
Exemplo 3.47 Seja X um conjunto no vazio e R uma relao de equivalncia sobre o
mesmo. Denotemos por Y =
X
R
o conjunto quociente. A aplicao cannica:
: X Y =
X
R
x [x]
dene uma topologia nal sobre Y, a chamada topologia quociente. De forma mais
concreta, seja X = S
n
= x R
n+1
(x, x) = 1 (a esfera n-dimensional) e a aplicao
A : S
n
S
n
dada por A(x) = x (aplicao antpoda). Como A
2
= id
S
n, temos que o
conjunto G = id, A Z
2
(isomorfo ao grupo Z
2
). Esse grupo G age em S
n
, e o respectivo
quociente:
RP
n
S
n
Z
2
uma das realizaes do espao projetivo RP
n
. Se trata de uma construo que analisa-
remos com detalhe em 3.79.
Exemplo 3.48 Seja (X
=
_
(x, ) x X
Os elementos da unio disjunta so pares ordenados (x, ), o ndice serve para indicar a
que X
o mesmo pertence e alm disso, se trata de um truque formal que cria uma famlia
disjunta de conjuntos. Tambm temos que X
= (x, ) x X
.
Dito isto, nalmente consideramos a seguinte famlia de funes (injees cannicas):
73
3 Geometria - Topologia Elementar
: X
x (x, )
A topologia nal dada por esta famlia de funes chamada de Topologia Disjunta
Tal como no caso da topologia inicial, existe um resultado fundamental para topo-
logias nais.
Teorema 3.49 Seja X um conjunto no vazio munido de uma topologia nal dada pela
famlia de funes f
: X
: X
Z forem contnuas ( ).
3.3 Geometria
3.3.1 Introduo
Repetindo, temos com os trabalhos de Gauss, Riemann, Poincar e outros, uma re-
voluo: podemos trabalhar num espao geomtrico independente de um continer
linear.
Emtermos modernos, esse espao geomtrico temumnome: variedade diferencivel,
um conceito que foi denido precisamente primeiro por Herman Weyl e depois (de-
nitivamente) por Hassler Whitney. Com estes ltimos, ca claro o papel funda-
mental que as chamadas coordenadas locais desempenham na estrutura de varie-
dade diferencivel. Antes das construes formais, o ponto fundamental: no sa-
bemos fazer clculo diferencial e integral diretamente numa variedade, precisamos
das chamadas cartas locais para transferir um problema para o R
n
, resolver o pro-
blema nesse ambiente linear, e depois mostrar que a soluo obtida no depende da
escolha da carta local.
3.3.2 Variedades Diferenciveis
Vamos adotar um enfoque hierrquico, at podermos denir o que uma variedade
diferencivel e apresentarmos numerosos exemplos. Repetiremos as denies de
74
3 Geometria - Topologia Elementar
alguns conceitos topolgicos apenas para termos um caminho claro.
Nesta parte, a principal fonte so notas de aula ([35]).
Denio 3.50 Uma base de um espao topolgico M uma coleo de abertos de M
tal que todo aberto V M se exprime como:
V =
_
, B
Equivalentemente, para todo x M e para todo aberto V M com x M, existe um
elemento B tal que x B V.
Quando enumervel, dizemos que a base enumervel.
Denio 3.51 Umespao topolgico (M, ) de Hausdor se para todos x, y M, x y,
existem abertos U, V com x U, y V e UV = .
Denio 3.52 Um espao topolgico M dito ser localmente euclidiano de dimenso n
se cada ponto x M admite uma vizinhana aberta V, homeomorfa a um aberto do R
n
.
Exemplo 3.53 O espao vetorial R
n
localmente euclidiano de dimenso n. Como vizi-
nhana aberta (para todo ponto!), podemos tomar V = R
n
, e o homeomorsmo a funo
identidade id : R
n
R
n
.
Exemplo 3.54 A esfera n-dimensional de raio unitrio,
S
n
= x R
n+1
(x, x) =
n+1
i=1
x
2
i
= 1
Para mostrarmos que a esfera S
n
localmente euclidiana, vamos usar a chamada projeo
estereogrca. Primeiro tomamos dois abertos:
V
N
= S
n
0, 0, . . . , 1 = S
n
V
S
= S
n
0, 0, . . . , 1
Claramente temos que S
n
= V
N
_
V
S
. E as funes que implementam os homeomors-
mos, so dadas por:
75
3 Geometria - Topologia Elementar
N
: V
N
R
n
x
n
i=1
x
i
1 x
n+1
e
i
S
: V
S
R
n
x
n
i=1
x
i
1 +x
n+1
e
i
onde os e
i
formam a base cannica do R
n
Observao 3.55 Apresentamos todos os detalhes deste exemplo em 3.67
Denio 3.56 Uma variedade topolgica (ou contnua) de dimenso n, um espao
topolgico M tal que:
(1) M um espao topolgico de Hausdor.
(2) M localmente euclidiana de dimenso n.
(3) M tem base enumervel.
Denio 3.57 Seja : V M R
n
um homeomorsmo denido num aberto V de M.
O par (V, M) chamado de sistema de coordenadas locais
(p) = (x
1
(p), x
2
(p), . . . , x
n
(p))
.
coordenadas locais de p
Observao 3.58 Quando se usa expresso local no contexto de variedades, estamos pen-
sando em (por exemplo) funes que so denidas em apenas um subconjunto prprio do
espao. A idia do domnio da funo ser pequeno, mas no se pode levar a idia ao p
da letra. Por exemplo, em 3.54, temos que V
N
a esfera S
n
a menos de um ponto! (o plo
norte da esfera).
V chamada de vizinhana coordenada.
76
3 Geometria - Topologia Elementar
Denio 3.59 Seja M um espao topolgico euclidiano de dimenso n.
Uma estrutura diferencivel (ou atlas) F de classe C
k
(1 k ) em M uma coleo
de sistemas de coordenadas
F = (V
) I
tal que:
(a) M =
_
I
V
(b)
(V
(V
1
C
k
, I, ento (V, ) F.
Observao 3.60 A condio de maximalidade (c) necessria para garantirmos que
dispomos (pelo menos em termos potenciais) de todos os sistemas de coordenadas dispo-
nveis. Mas como podemos garantir esta exigncia na prtica ? Na verdade, necessrio
apenas cobrir a variedade (com um atlas que vamos chamar de , minimal) e depois, utili-
zar um argumento (no construtivo) para termos a maximilidade. o que a proposio
logo abaixo arma
Teorema 3.61 Seja F
0
= (V
1
C
k
, F
0
), (V
) F
0
. Da condio (b) de 3.59, temos que
so C
k
. Logo, (V
) F.
Agora, veriquemos as condies de 3.59:
(a)
_
VF
V
_
VF
0
V = M. Donde, M =
_
VF
V .
(b) Sejam
, mostremos que
C
k
.
Seja (V
) F
0
tal que p V
, camos com:
77
3 Geometria - Topologia Elementar
C
k
Unicidade de F: Seja
F = (
V, )
1
1
C
k
F
0
.
Mostremos que F =
F.
F
F.
Seja (V, ) F. Ento
1
1
C
k
,
F
0
.
Ento, por denio, (V, ) F.
F F: a prova anloga.
(c) F maximal por construo.
1
C
k
,
F
0
Mas:
= id
1
= C
k
1
= id
1
=
1
C
k
Portanto, basta tomar todos os abertos V R
n
e aplicaes : V R
n
difeomorsmos
de classe C
k
. Ou seja:
F = (V, ) V R
n
e : VR
n
, difeomorsmo de classe C
k
F
0
Exemplo 3.64 Subvariedade aberta: seja (M
n
, F
M
) uma variedade diferencivel de classe
C
k
e seja V M um aberto. Consideremos a coleo:
F
V
= (VU
VU
) (U
F
M
)
Ento, X = (V, F
V
) uma variedade diferencivel de classe C
k
e dimX = n.
Demonstrao: Se trata de uma vericao imediata.
Exemplo 3.65 Como exemplo concreto da construo abstrata apresentada no exemplo
3.64, consideremos o Grupo Geral Linear Real:
GL(n, R) = A M(n, R) det A 0
Agora, seja a seguinte funo (determinante de uma matriz):
det : M(n, R) R
T det T
79
3 Geometria - Topologia Elementar
Como a funo determinante contnua (pois um polinmio nas entradas da matriz),
segue que se tomarmos a imagem inversa de um aberto de R, teremos um aberto em
M(n, R). Dito isto, temos que o seguinte subconjunto de M(n, R):
GL(n, R) = det
1
(R0)
um aberto, e aplicando o resultado do exemplo 3.64, se trata de uma subvariedade
aberta, de dimenso dim = n
2
.
Exemplo 3.66 Consideremos M e N duas variedades diferenciveis com dimenses m e
n respectivamente. Ento, M N uma variedade diferencivel com dimenso m + n.
Temos vrios itens a serem demonstrados:
MN umespao topolgico Hausdor. De fato, consideremos os pontos (p
1
, q
1
), (p
2
, q
2
)
MN. Tomando as projees:
_
1
: MN M
2
: MN M
Que so funes contnuas (na topologia produto, uma topologia inicial). Agora,
fazemos o seguinte:
_
1
(p
1
, q
1
) = p
1
M
1
(p
2
, q
2
) = p
2
M
Como M um espao topolgico Hausdor, existem abertos p
1
V
1
M e p
2
V
2
M, disjuntos (V
1
V
2
). Como
1
uma funo contnua, escolhemos
W
1
=
1
1
(V
1
)
1
1
(V
2
) M N, que um aberto. Via um argumento anlogo,
escolhemos W
2
=
1
2
(U
1
)
1
1
(U
2
) M N, que tambm um aberto. Por
construo, temos que W
1
W
2
= , provando a armao deste item.
M N possuem uma base enumervel de abertos. De fato, consideremos as bases
enumerveis de abertos
M
e
N
de M e N respectivamente. Seja,
MN
=
M
N
uma base enumervel de abertos para MN.
80
3 Geometria - Topologia Elementar
MN possui um atlas maximal. Sejam F
M
e F
N
atlas maximais de M e N respec-
tivamente. Vamos denir F
0
(atlas minimal de M N), para isso, dados os pares
(sistemas de coordenadas)
: V M R
m
: W N R
n
.
Armamos que : VWR
m
R
n
, dado por:
( )(p, q) := (p) (q)
um sistema de coordenadas local para MN. Temos ento, que:
A aplicao contnua. Isso decorre da topologia produto (uma topologia
inicial).
Dadas cartas locais
, a mudana de coordenadas,
(
) (
)
1
C
.
Para ver que a armao verdadeira, basta efetuar o seguinte clculo:
(
) (
)
1
(x, y) = (
)(
1
(x),
1
(y))
(
) (
)
1
(x, y) = (
(
1
(x)),
(
1
(y)))
(
) (
)
1
(x, y) = (
(x),
(y)) .
O conjunto de abertos V
) =
_
I
V
_
J
W
= MN
81
3 Geometria - Topologia Elementar
Ento, o conjunto (atlas minimal) F
0
= F
M
F
N
faz com que MN seja um espao
localmente euclidiano. Finalmente, pelo teorema 3.61, temos que MN possui um
atlas maximal.
Portanto, MN uma variedade diferencivel de dimenso m+n.
Exemplo 3.67 A esfera n-dimensional de raio unitrio, S
n
.
Seja o conjunto S
n
= x R
n+1
(x, x) = 1, onde (x, y) =
n
i=1
x
i
y
i
(o produto escalar
cannico em R
n+1
. Fato: S
n
uma variedade diferencivel de dimenso n. Realmente:
S
n
um espao topolgico Hausdor com base enumervel. Isso decorre do fato da
esfera S
n
ter a topologia herdada de R
n+1
(topologia de subespao, topologia inicial
dada pela incluso j : S
n
R
n+1
).
Vamos construir um atlas minimal para a esfera S
n
utilizando a chamada projeo
estereogrca.
Queremos determinar o ponto X = (X
1
, X
2
, . . . , X
n
, 0). Para isso, seja uma curva
: I R R
n+1
, dada por:
(t) = p
N
+t(x p
N
)
Onde:
x = (x
1
, x
2
, . . . , x
n+1
) S
n
(r)
p
N
= (0, 0, . . . , 0, 1), o plo norte da esfera S
n
(r) .
Seja t I tal que (t) = X. Ficamos com:
82
3 Geometria - Topologia Elementar
(t) = X p
N
+t(x p
N
) = X
(tx
1
, tx
2
, . . . , tx
n
, 1 +t(x
n+1
1)) = (X
1
, X
2
, . . . , X
n
, 0)
_
tx
i
= X
i
, 1 i n X
i
=
x
i
t
1 +t(x
n+1
1) = 0 t =
1
1x
n+1
X
i
=
x
i
1 x
n+1
.
Agora, denimos a aplicao
N
:
=D
N
.
S
n
(r) p
N
R
n
, dada por:
N
(x
1
, x
2
, . . . , x
n+1
) = (
x
1
1 x
n+1
,
x
2
1 x
n+1
, . . . ,
x
n
1 x
n+1
) .
Vemos que
N
uma funo claramente contnua, pois a restrio de uma funo
contnua
N
: R
n+1
p
N
: R
n
.
Onde
N
(x
1
, x
2
, . . . , x
n+1
) = (
x
1
1x
n+1
,
x
2
1x
n+1
, . . . ,
x
n
1x
n+1
). A funo
N
a projeo
estereogrca a partir do plo norte, mas para termos um atlas minimal, precisamos
de mais uma carta local. Vamos repetir o argumento para construir a projeo
estereogrca a partir do do plo sul: p
S
= (0, 0, . . . , 0, 1):
Mais uma vez, seja uma curva : I R R
n+1
, dada por:
(t) = p
S
+t(x p
S
) .
Onde:
x = (x
1
, x
2
, . . . , x
n+1
) S
n
p
S
= (0, 0, . . . , 0, 1), o plo sul da esfera S
n
Seja t I tal que (t) = X. Ficamos com:
83
3 Geometria - Topologia Elementar
(t) = X p
S
+t(x p
S
) = X
(tx
1
, tx
2
, . . . , tx
n
, 1 +t(x
n+1
+1)) = (X
1
, X
2
, . . . , X
n
, 0)
_
tx
i
= X
i
, 1 i n X
i
=
x
i
t
1 +t(x
n+1
+1) = 0 t =
1
1+x
n+1
X
i
=
x
i
1 +x
n+1
.
E assim, denimos a aplicao
S
:
=D
S
.
S
n
p
S
R
n
, dada por:
S
(x
1
, x
2
, . . . , x
n+1
) = (
x
1
1 +x
n+1
,
x
2
1 +x
n+1
, . . . ,
x
n
1 +x
n+1
) .
Com isso temos que F
0
= (D
N
,
N
), (D
S
,
S
), cobre (na verdade, os domnios co-
brem) a esfera S
n
(r). Para mostrar que o mesmo um atlas minimal para a esfera,
precisamos construir as funes inversas destas cartas, e vericar que as mudanas
de coordenadas so diferenciveis. Vamos construir as inversas de
N
e
S
:
1: Construo da inversa
1
N
X
i
=
x
i
1 x
n+1
X
2
i
=
x
2
i
(1 x
n+1
)
2
n
i=1
X
2
i
=
n
i=1
x
2
i
(1 x
n+1
)
2
i=1
X
2
i
=
(1 x
2
n+1
)
(1 x
n+1
)
2
=
1 +x
n+1
1 x
n+1
i=1
X
2
i
x
n+1
n
i=1
X
2
i
= 1 +x
n+1
x
n+1
+x
n+1
n
i=1
X
2
i
=
n
i=1
X
2
i
1
x
n+1
(1 +
n
i=1
X
2
i
) =
n
i=1
X
2
i
1 .
Para compactar a notao, fazemos
n
i=1
= X
2
. Ficamos com:
84
3 Geometria - Topologia Elementar
x
n+1
(1 +X
2
) = X
2
1
x
n+1
=
X
2
1
X
2
+1
.
Alm disso, temos:
1 x
n+1
= 1
X
2
1
X
2
+1
=
X
2
+1 X
2
+1
X
2
+1
=
2
X
2
+1
1 x
n+1
=
2
X
2
+1
, 1 i n
X
i
=
x
i
1 x
n+1
x
i
= X
i
(1 x
n+1
) x
i
=
2X
i
X
2
+1
.
Donde temos que:
_
1
N
: R
n
D
N
1
N
(y) =
2
1 +y
2
_
y,
y
2
1
2
_
.
2: Construo da inversa
1
S
85
3 Geometria - Topologia Elementar
X
i
=
x
i
1 +x
n+1
X
2
i
=
x
2
i
(1 +x
n+1
)
2
n
i=1
X
2
i
=
n
i=1
x
2
i
(1 +x
n+1
)
2
i=1
X
2
i
=
1 x
2
n+1
(1 +x
n+1
)
2
=
1 x
n+1
1 +x
n+1
i=1
X
2
i
+x
n+1
n
i=1
X
2
i
= 1 x
n+1
x
n+1
+x
n+1
n
i=1
X
2
i
=
n
i=1
X
2
i
+1
x
n+1
(1 +
n
i=1
X
2
i
) =
n
i=1
X
2
i
+1 .
Novamente, para compactar a notao, fazemos
n
i=1
= X
2
. Ficamos com:
x
n+1
(1 +X
2
) = X
2
+1
x
n+1
=
X
2
1
X
2
+1
.
Alm disso, temos:
1 +x
n+1
= 1
X
2
1
X
2
+1
=
X
2
+1 X
2
+1
X
2
+1
=
2
X
2
+1
1 +x
n+1
=
2
X
2
+1
, 1 i n
X
i
=
x
i
1 +x
n+1
x
i
= X
i
(1 +x
n+1
) x
i
=
2X
i
X
2
+1
.
Donde temos que:
_
1
S
: R
n
D
S
1
S
(y) =
2
1 +y
2
_
y,
y
2
1
2
_
.
86
3 Geometria - Topologia Elementar
Finalmente, vamos calcular as duas mudanas de coordenadas possveis:
A) A mudana de coordenadas
S
1
N
.
A mudana de coordenadas em questo, a seguinte funo:
SN
=
S
1
N
:
N
(D
N
D
S
)
S
(D
N
D
S
)
(
S
1
N
)(y) =
S
(
2y
1 +y
2
,
y
2
1
y
2
+1
) =
2y
1+y
2
1 +
y
2
1
1+y
2
=
2y
1+y
2
1+y
2
+y
2
1
1+y
2
=
2y
1+y
2
2y
2
1+y
2
=
y
y
2
SN
(y) =
1
y
2
(y
1
, y
2
, . . . , y
n
) .
A qual claramente uma funo diferencivel.
B) A mudana de coordenadas
N
1
S
.
A mudana de coordenadas em questo, a seguinte funo:
NS
=
N
1
S
:
S
(D
N
D
S
)
N
(D
N
D
S
)
(
N
1
S
)(y) =
S
(
2y
1 +y
2
,
y
2
1
y
2
+1
) =
2y
1+y
2
1 +
y
2
1
1+y
2
=
2y
1+y
2
1+y
2
+y
2
1
1+y
2
=
2y
1+y
2
2y
2
1+y
2
=
y
y
2
NS
(y) =
1
y
2
(y
1
, y
2
, . . . , y
n
) .
Portanto, a esfera S
n
uma variedade diferencivel de dimenso n.
Exemplo 3.68 O espao projetivo real, um exemplo importante da teoria das varieda-
des diferenciveis, pois o mesmo no um subconjunto de uma outra variedade diferen-
87
3 Geometria - Topologia Elementar
civel.
Existem 3 modelos equivalentes de espao projetivo, abordaremos dois deles, mas por
enquanto nos restringiremos ao modelo usual, e posteriormente (exemplo 3.79) apresen-
taremos o outro modelo, e mostraremos que existe uma identicao entre os mesmos (o
termo tcnico difeomorsmo).
O espao projetivo como o quociente RP
n
:=
R
n+1
0
R
, onde R a relao de equivalncia
dada por:
xRy R
tal que y = x
Geometricamente temos que o espao projetivo RP
n
o conjunto das retas que passam
pelo centro de R
n+1
. Para provarmos que RP
n
de fato uma variedade diferencivel de
dimenso n, temos um longo caminho a percorrer.
Sigamos em frente:
Em primeiro lugar, como vimos na seo de topologia desta dissertao, dados X espao
topolgico e R uma relao de equivalncia sobre o mesmo, temos uma aplicao cannica
tomando valores no espao quociente
X
R
(a chamada projeo cannica):
: X
X
R
x [x] = y X y Rx
Munimos
X
R
com a topologia quociente, ou seja: a maior topologia que torna contnua a
projeo cannica . Nesta topologia, um subconjunto V
X
R
aberto
1
(V)
X
Agora, para provar que
X
R
uma variedade diferencivel, precisamos de alguns resultados:
Proposio 3.69 Seja R uma relao de equivalncia aberta sobre um espao topolgico
X (isto , : X
X
R
aberta). Se X tem base enumervel, ento
X
R
tambm o tem.
Demonstrao: Seja V
i
i N
, uma base enumervel de abertos de X. Como aberta,
temos que (V
i
) aberto em
X
R
, i N.
Seja W
X
R
um aberto qualquer. Logo
88
3 Geometria - Topologia Elementar
aberto de X
.
1
(W) =
_
iJN
V
i
Donde, W = (
i J
V
i
) =
i J
Aberto de X
.
(V
i
) . A igualdade vlida, pois sobrejetora (
aberta).
Portanto, (V
i
)
i N
uma base enumervel de abertos de
X
R
Proposio 3.70 Seja R uma relao de equivalncia aberta sobre um espao topolgico
X. Ento
X
R
Hausdor R(X) = (x, y) X
2
xRy fechado em X
2
.
Demonstrao: Vamos primeiro fazer a volta:
() Sejam [x], [y]
X
R
com [x] [y], isto , (x, y) X
2
R(X). Como R(X) fechado,
ento X
2
R(X) aberto. Logo existem abertos U e V de X tais que (x, y) UV de
X
R
que contm [x] e [y], respectivamente.
Suponhamos que [z] (U) (V). Disto segue que
z =
1
([z]) UV(z U e z V) .
(z, z) UV, que um aberto de X
2
R(X), donde temos que z no equivalente a
z (absurdo!).
() Mostremos que X
2
R(X) aberto.
Seja (x, y) X
2
R(X) e [x] [y]. Por hiptese, existem vizinhanas abertas U =
[x], V= [y] em
X
R
com UV = .
Como contnua, temos que
1
(U) e
1
(V) so abertos em X. Logo
1
(U)
1
(V) aberto em X
2
, com:
(x, y) W =
1
(U) V .
Na verdade,
1
(U) V X
2
R(X), pois se (z, w)
1
(U) V e zRw, teramos
89
3 Geometria - Topologia Elementar
V= (z) = [z] = [w] = (w) V
De modo que UV (Absurdo!).
, denamos a aplicao (X = R
n+1
0) :
: X X .
Dada por
_
(w) = [w]
(w) = w
1
([w]) = w =
(w)
=
1
(U) um aberto de X, R
, donde:
1
((U))
.
_
R
(U) X ( um aberto) .
Pela proposio 3.69, temos que RP
n
tem base enumervel.
(II) RP
n
um espao topolgico de Hausdor.
De fato, basta mostrar que R(X) = (x, y) X
2
xRy um conjunto fechado. Considere-
mos a funo:
90
3 Geometria - Topologia Elementar
f : X
2
R,
dada por f (x, y) =
i j
(x
i
y
j
x
j
y
i
)
2
. Notemos que R(X) = f
1
(0), que um conjunto
fechado. De fato, se (x, y) R(X), temos que xRy, ou seja, R
ij
(y
i
y
j
y
j
y
i
)
2
=
2
ij
(y
i
y
j
y
j
y
i
)
2
= 0
(x, y) f
1
(0) .
Agora, suponhamos que (x, y) f
1
(0), ou seja: f (x, y) =
ij
(y
i
y
j
y
j
y
i
)
2
= 0. Logo,
x
i
y
j
x
j
y
i
, i, j
Como y X = R
n+1
0, j tal que y
j
= 0. Donde:
x
i
=
x
j
y
j
.
=
y
i
, j xado ,i
Se =
x
j
y
j
0, ento x
i
= y
i
i, ou seja, x = y. Portanto (x, y) R(X).
Se =
x
j
y
j
= 0, ento x
j
= 0. Assim, de 3.-37, temos x
i
y
j
= 0, i, donde x = 0, o que seria
absurdo, pois x R
n+1
0. Pela proposio 3.70, temos que RP
n
Hausdor.
(III) RP
n
localmente euclidiano de dimenso n.
Sejam
U
i
abertos de R
n+1
0 dados por:
U
i
= (x
1
, x
2
, . . . , x
n+1
x
i
0 R
n+1
0 .
Deste modo, os U
i
= (
U
i
) so abertos de RP
n
, pois a aplicao aberta. Agora,
denamos a aplicao:
91
3 Geometria - Topologia Elementar
i
:
U
i
R
n
(x
1
, x
2
, . . . , n
n+1
) (
x
1
x
i
,
x
2
x
i
, . . . ,
x
i
x
i
, . . . ,
x
n+1
x
i
) .
Para podermos apresentar mais exemplos interessantes, precisamos de mais teoria.
3.3.3 Funes Diferenciveis em Variedades
Como j dissemos anteriormente, a idia bsica na teoria das variedades diferen-
civeis, usar as cartas locais (sistemas de coordenadas) para transportar uma ar-
mao entre variedades para um ambiente linear (o R
n
), mostrar que a armao
transportada verdadeira e depois vericar que o resultado no depende da escolha
das cartas. o que veremos agora no caso de funes diferenciveis entre varieda-
des. Existem duas denies de diferenciabilidade para funes entre variedades,
vamos apresentar ambas e mostrar que so equivalentes. Primeiro comeamos com
uma funo denida sobre uma variedade M e tomando valores numespao vetorial
(ver [24], denies 1.6, pgina 8).
Denio 3.71 Seja M uma variedade diferencivel de dimenso n e um aberto V M.
Uma funo f : VR
k
diferencivel (C
) em V se g = f
1
for diferencivel (C
)
onde estiver denida, para toda carta local de M
Observao 3.72 Vemos pela denio acima que a noo de diferenciabilidade de uma
funo denida sobre uma variedade uma noo local.
Primeira denio de diferenciabilidade entre Variedades (ver [23], denio 3.2,
pgina 66)
Denio 3.73 Uma funo contnua F : U M N entre duas variedades diferenci-
veis diferencivel (C
).
92
3 Geometria - Topologia Elementar
Segunda denio de diferenciabilidade entre Variedades (ver [24], denies
1.6, pgina 8)
Denio 3.74 Uma funo contnua F : M N entre duas variedades diferenciveis
diferencivel (C
.
Vamos agora mostrar a equivalncia entre estas duas denies:
Proposio 3.75 As denies de diferenciabilidade 3.73 e 3.74 so equivalentes.
3.73 3.74
Suponhamos que F diferencivel (pela 3.73) e seja g uma funo diferencivel
qualquer (segundo a denio 3.71) num aberto de N a valores em R
k
. Para todo
sistema de coordenadas (U, ) de M e (V, ) de N, temos pela denio 3.73 que
F
1
diferencivel (entre um aberto de R
n
e um aberto de R
n
).
Tambm temos que g
1
diferencivel entre um aberto do R
n
e um aberto do
R
k
. Donde:
(g F)
1
= (g
1
) ( F
1
) diferencivel
Como qualquer, temos pela denio 3.71 que g F diferencivel.
3.74 3.73
Suponhamos que F seja diferencivel. Sejam (U, ) e (V, ) sistemas de coordena-
das para M e N respectivamente (em termos locais, (U, ) ao redor de p e (V, )
ao redor de F(p)).
Pela denio 3.74, temos que F diferencivel (tomamos g = ). J pela
denio 3.71, temos que
=f
.
F
1
diferencivel
93
3 Geometria - Topologia Elementar
Denio 3.76 Sejam M e N variedades diferenciveis, e F : M N uma funo in-
vertvel. A funo F dita ser um difeomorsmo se for diferencivel (C
) com inversa
diferencivel (C
).
Vejamos alguns exemplos de funes diferenciveis e difeomorsmos.
Exemplos
Exemplo 3.77 Dada uma funo f : R
n
R, a mesma diferencivel no sentido das
variedades se e somente for diferencivel no sentido clssico. De forma mais concreta,
consideremos a funo:
f : R
n
R
x (x, x) =
n
i=1
x
2
i
Exemplo 3.78 Seja a esfera n-dimensional S
n
, e a aplicao A : S
n
S
n
, dada por
A(x) = x (a chamada aplicao antpoda). Esta aplicao um difeomorsmo da esfera
na esfera.
O prximo exemplo a nalizao do exemplo 3.68, no mesmo apresentamos uma
outra denio do espao projetivo RP
n
que difeomorfa a que vimos anterior-
mente.
Exemplo 3.79 Seja a esfera n-dimensional S
n
, e a aplicao antpoda A : S
n
S
n
, dada
por A(x) = x. Temos que o conjunto G = A, I (onde I a aplicao identidade), forma
um grupo, e alm disso, G Z
2
. Consideremos agora, a ao de G na esfera S
n
; donde
segue o espao quociente
S
n
Z
2
. Armamos que:
RP
n
S
n
Z
2
uma variedade diferencivel.
De fato: temos vrios itens a serem provados.
Demonstrao:
S
n
Z
2
uma variedade topolgica.
94
3 Geometria - Topologia Elementar
1)
S
n
Z
2
um espao topolgico Hausdor
Para isso, vamos mostrar que a projeo:
: S
n
S
n
Z
2
x [x] = x, x
uma aplicao aberta, pois pela proposio 3.70, temos que
S
n
Z
2
Hausdor se e
somente se R = (x, y) (S
n
)
2
x y um fechado em (S
n
)
2
.
Ento, seja a funo f : S
n
S
n
R, dada por f (x, y) =
ij
(x
i
y
j
x
j
y
i
)
2
. Ob-
servemos que R = f
1
(0) um conjunto fechado. De fato, se (x, y) R, temos que
x y, ou seja, t 1, 1 tal que x = ty. Assim, x
i
= ty
i
, 1 i n + 1; de modo
que:
f (x, y) =
ij
(ty
i
y
j
ty
j
y
i
)
2
= 0
(x, y) f
1
(0) .
Agora, suponha que (x, y) f
1
(0), isto :
f (x, y) =
ij
(x
i
y
j
x
j
y
i
)
2
= 0
Logo, x
i
y
j
x
j
y
i
= 0, i, j .
Como y S
n
, j tal que y
j
0. Consequentemente:
x
i
=
x
j
y
j
x
i
, j xado , i .
Se t =
x
j
y
j
0, ento x
i
= ty
i
, i, ou seja x = ty .
Como x, y S
n
, tomando a norma em ambos os lados da igualdade acima, obtemos:
95
3 Geometria - Topologia Elementar
x = t.y t = |1
donde, (x, y) R.
Se t =
x
j
y
j
= 0, ento x
j
= 0. Assim, por 3.-37, temos que x
i
y
j
= 0, i, donde x = 0,
o que seria absurdo, pois x S
n
. Falta mostrar que : S
n
S
n
Z
2
aberta. De fato,
seja V S
n
aberto; (V) aberto em
S
n
Z
2
1
((V)) for aberto em S
n
.
Mas
1
((V)) = x S
n
(x) (V
1
((V)) = x S
n
(x) VV
Onde V = x S
n
x V (os antpodas de V)
1
((V)) = VV
Como a aplicao antpoda um homeomorsmo, segue que
1
((V)) = VV
um aberto, e portanto, a aplicao : S
n
S
n
Z
2
aberta. Portanto, pela proposio
3.70, segue que
S
n
Z
2
Hausdor.
Observao : Continuidade da aplicao antpoda . A aplicao:
A : S
n
S
n
x x
contnua por ser uma isometria (em R
n+1
), e como A
2
= I A
1
= A e portanto,
a aplicao A um homeomorsmo.
2)
S
n
Z
2
localmente euclidiano de dimenso n. (Fonte: [40], exemplo c, pginas
4-5)
Consideremos as vizinhanas:
U
k
= x
S
n
Z
2
x
k
0, 1 k n +1
e as aplicaes
k
: U
k
D
n
dadas por:
96
3 Geometria - Topologia Elementar
k
(x) =
x
k
x
k
(x
1
, x
2
, . . . , x
k1
, x
k+1
, . . . , x
n+1
)
onde
D
n
= x R
n
(x, x) < 1
Com inversa
1
k
:
D
n
U
k
dada por:
1
k
(y
1
, y
2
, . . . , y
n
) = (y
1
, y
2
, . . . , y
k1
,
_
1 y
2
, y
k+1
, . . . , y
n+1
) .
Para mostrarmos que essas funes so contnuas, vamos considerar diagramas e
resultados de topologia inicial.
A) A funo
k
contnua. Seja o diagrama abaixo:
U
k
k
/
D
n
U
k
U
k
O
U
k
:
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
Onde U
k
= x S
n
x
k
> 0.
Temos que
k
contnua se e somente se
k
U
k
contnua. Como : S
n
S
n
Z
2
contnua, segue que
U
k
contnua, e portanto
k
U
k
contnua.
B) A funo
1
k
contnua.
Considere o diagrama abaixo:
D
n
1
k
/
U
k
S
n
k
(
D
n
)
:
t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
Do diagrama acima, temos que
1
k
=
k
(
D
n
)
k
97
3 Geometria - Topologia Elementar
onde
k
(y
1
, y
2
, . . . , y
n
) = (y
1
, y
2
, . . . , y
k1
,
_
1 y
2
, y
k+1
, . . . , y
n+1
).
Ou seja,
1
k
a composta de duas funes contnuas, sendo portanto, contnua.
Resta mostrar que
k
e
1
k
so de fato, inversas uma da outra:
C) A composio
k
1
k
:
k
1
k
(y
1
, y
2
, . . . , y
n
) = ((y
1
, y
2
, . . . , y
k1
,
_
1 y
2
, y
k+1
, . . . , y
n+1
))
=
k
(y
1
, y
2
, . . . , y
k1
, y
k+1
, . . . , y
n+1
)
onde
k
=
1y
2
1y
2
= 1. Portanto,
k
1
k
= id
D
n
.
D) A composio
1
k
k
:
1
k
k
((x
1
, x
2
, . . . , x
n
)) =
1
k
(
k
=y
.
(x
1
, x
2
, . . . , x
k1
, x
k+1
, . . . , x
n+1
))
Onde
k
=
x
k
x
k
2
k
= 1
k
= |1.
1
k
k
((x
1
, x
2
, . . . , x
n
)) =
1
k
(
k
x
1
,
k
x
1
, . . . ,
k
x
k1
,
k
x
k+1
, . . . ,
k
x
n+1
)
= (
k
x
1
,
k
x
1
, . . . ,
k
x
k1
,
_
1
k
y
2
,
k
x
k+1
, . . . ,
k
x
n+1
)
Vamos analisar o termo
_
1
k
y
2
mais de perto:
_
1
k
y
2
=
_
1 y
2
=
_
x
2
k
= x
k
Ficamos com:
98
3 Geometria - Topologia Elementar
1
k
k
((x
1
, x
2
, . . . , x
n+1
)) =
= (
k
x
1
,
k
x
1
, . . . ,
k
x
k1
, x
k
,
k
x
k+1
, . . . ,
k
x
n+1
)
=
k
(x
1
, x
1
, . . . , x
k1
,
k
x
k
.
=
x
k
x
k
x
k
=x
k
, x
k+1
, . . . , x
n+1
)
= (x
1
, x
1
, . . . , x
k1
, x
k
, x
k+1
, . . . , x
n+1
) .
Portanto,
1
k
k
= id
U
k
.
S
2
Z
2
localmente euclidiano de dimenso n.
3)
S
n
Z
2
tem base enumervel.
A armao segue da proposio 3.69, ou seja: como S
n
possui base enumervel,
ento
S
n
Z
2
tambm possui.
S
n
Z
2
possui uma estrutura diferencivel.
De fato, consideremos o atlas minimal:
F
0
= (U
k
,
k
1 k n +1
Temos ento que:
a)
_
n+1
k=1
U
k
=
S
n
Z
2
. De fato:
U
k
= (U
k
(U
k
))
n+1
_
k=1
U
k
=
n+1
_
k=1
(U
k
(U
k
))
=
_
_
n+1
_
k=1
(U
k
(U
k
))
_
_
= (S
n
) =
S
n
Z
2
99
3 Geometria - Topologia Elementar
Portanto, temos
S
n
Z
2
=
n+1
_
k=1
U
k
.
b)
k
1
l
:
l
(U
l
U
k
)
k
(U
l
U
k
uma aplicao de classe C
k
entre abertos
do R
n
. De fato, pois:
k
1
l
(y
1
, y
2
, . . . , y
n
) =
k
((y
1
, y
2
, . . . , y
l1
,
_
1 y
2
, y
l+1
, . . . , y
n+1
))
=
k
(y
1
, y
2
, . . . , y
k1
, y
k+1
, . . . , y
l1
,
_
1 y
k
2
, y
l+1
, . . . , y
n
)
Onde
k
=
y
k
y
k
S
n
Z
2
uma variedade diferencivel de classe C
k
Finalmente temos:
4)
S
n
Z
2
RP
n
(so variedades difeomorfas).
Consideremos as aplicaes:
f :
S
n
Z
2
RP
n
x [x]
Temos que f est bem denida, pois se y x, ento y = |x, donde segue que y levado
na mesma classe que x em RP
n
.
g : RP
n
S
n
Z
2
[x]
_
x
x
,
x
x
_
= x
A aplicao g est bem denida, pois se tomarmos y x, ento R
tal que y = x,
donde:
100
3 Geometria - Topologia Elementar
g(x) = y =
_
y
y
,
y
y
_
=
_
x
x
,
x
x
_
=
_
_
=|1
.
x
x
,
=|1
.
x
x
_
_
=
_
x
x
,
x
x
_
Alm disso, temos que:
g = f
1
. De fato:
(f g)([x]) = f
_
x
x
_
=
_
x
x
_
= [x]
(g f )(x) = g([x]) =
x
x
= x (pois x S
n
)
As funes f e g so contnuas. No caso da funo f , seja o diagrama:
S
n
2
/
f
1
S
n
Z
2
f
,~}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
}
RP
n
Do diagrama acima, temos que f contnua se e somente se f
1
contnua (uma
propriedade de topologia nal). Agora, a funo
f
1
: S
n
RP
n
x [x]
Satisfaz ao seguinte diagrama comutativo:
101
3 Geometria - Topologia Elementar
S
n
i
f
1
/
RP
n
R
n+1
0
2
5
l
l
l
l
l
l
l
l
l
l
l
l
l
l
Realmente, temos o seguinte:
(
2
i)(x) =
2
(x) = [x]
(f
1
)(x) = f (x) = [x]
Ou seja, f
1
=
2
i (comutatividade do diagrama), que a composio de duas
funes contnuas, ento f
1
contnua e portanto, f contnua.
J para a funo g, seja mais um diagrama:
R
n+1
0
2
/
g
2
RP
n
g
|x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
S
n
Z
2
Do diagrama acima, temos que a funo g contnua se e somente se g
2
contnua. E a funo:
g
2
: R
n+1
0
S
n
Z
2
x
_
x
x
,
x
x
_
Satisfaz ao diagrama comutativo:
R
n+1
0
h
g
2
/
S
n
Z
2
S
n
1
6
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
Onde
102
3 Geometria - Topologia Elementar
h : R
n+1
0 S
n
x
x
x
.
Mais uma vez, temos o seguinte:
(
1
h)(x) =
1
_
x
x
_
=
_
x
x
,
x
x
_
(g
2
)(x) = g([x]) =
_
x
x
_
=
_
x
x
,
x
x
_
.
Como
1
e h so contnuas, segue que
1
h contnua, donde g
2
contnua, e
portanto, g contnua.
Para nalizar, vamos mostrar a diferenciabilidade das aplicaes f e g.
(i) Diferenciabilidade de f : seja o diagrama abaixo
S
n
Z
2
f
/
RP
n
D
n
l
f
1
k
/
R
n
Do mesmo, temos que:
(
l
f
1
k
)(y
1
, y
2
, . . . , y
n
) = (
l
f )((y
1
, y
2
, . . . , y
k1
,
_
1 y
2
, y
k+1
, . . . , y
n
))
=
l
([(y
1
, y
2
, . . . , y
k1
,
_
1 y
2
, y
k+1
, . . . , y
n
)])
=
1
y
l
(y
1
, y
2
, . . . , y
l1
, y
l+1
, . . . , y
k1
,
_
1 y
2
, y
k+1
, . . . , y
n
) .
Que claramente uma funo de ordem C
k
.
(ii) Diferenciabilidade de g: seja o diagrama abaixo
103
3 Geometria - Topologia Elementar
RP
n
g
/
S
n
Z
2
R
n
k
g
1
l
/
D
n
Novamente, temos que:
(
k
g
1
l
)(x
1
, x
2
, . . . , x
n
) = (
k
g)([(x
1
, x
2
, . . . , x
l1
, 1, x
l
, . . . , x
l
)])
=
k
((x
1
, x
2
, . . . , x
l1
, 1, x
l
, . . . , x
l
))
=
k
((x
1
, x
2
, . . . , x
k1
, x
k+1
, . . . , x
l1
, 1, x
l
, . . . , x
l
))
Onde
k
=
x
k
x
k
(t
0
)(f ) =
d
dt
t=t
0
(f )(t) .
104
3 Geometria - Topologia Elementar
Curvas Coordenadas em Variedades
Exemplo 3.82 Seja (U, ) um sistema de coordenadas (carta local) em M em uma vizi-
nhana de p M. Seja x
i
: (, ) M a curva dada por:
x
i
(t) :
Posio i
.
1
(0, 0, . . . , t, 0, . . . , 0)
Onde (p) = (0, 0, . . . , 0).
O vetor tangente a curva x
i
em p ser denotado por
_
x
i
_
p
_
x
i
_
p
: C
(V
p
) R
f
_
x
i
_
p
[f ]
Onde C
(V
p
) = classes de equivalncia de funes diferenciveis em V
p
.
Observao 3.83 As classes de equivalncia no caso, so no sentido de identicar-
mos duas funes f e g, diferenciveis em M e que coincidam no aberto V
p
. Outro
nome tcnico no caso o de germe de funo.
_
x
i
_
p
(f ) =
d
dt
t=0
(f x
i
)(t) =
d
dt
t=0
f
1
(0, 0, . . . , t, 0, 0)
=
x
i
(f
1
)(0) =
x
i
(f
1
)(p)) .
Vamos denotar
_
x
i
_
p
(f ) =
f
x
i
(p) =
Derivada direcional
no R
n
.
f
e
i
(p) . Trabalhando em termos de coordenadas
locais, vamos caracterizar o vetor tangente
(0)(f ) =
d
dt
t=0
(f (t)) =
d
dt
t=0
((f
1
) ( ))(t)
=
d
dt
t=0
(f
1
)(x
1
(t), x
2
(t), . . . , x
n
(t)) =
n
i=1
(f
1
)
x
i
((p)).x
i
(0)
=
n
i=1
x
i
(0)
_
x
i
_
p
(f )
(0) =
n
i=1
x
i
(0)
_
x
i
_
p
.
Ou seja, o vetor tangente
(0), w =
(0), w =
(0); e (U, )
um sistema de coordenadas local em M ao redor de p. Localmente, temos:
( )(t) = (x
1
(t), x
2
(t), . . . , x
n
(t))
( )(t) = (y
1
(t), y
2
(t), . . . , y
n
(t))
Agora, denamos a curva : (, ) M, dada por
(t) =
1
((p) +t(( )
(0) +( )
(0)))
( )(t) = (z
1
(t), z
2
(t), . . . , z
n
(t))
Donde, (0) = p. Ficamos com:
106
3 Geometria - Topologia Elementar
(v +w)(f ) =
(0)(f ) =
d
dt
t=0
(f )(t)
=
d
dt
t=0
f
1
((p) +t(( )
(0) +( )
(0)))
=
n
i=1
z
i
(f
1
)((p))
_
_
=x
i
(0)
.
( )
(0) +
=y
i
(0)
.
( )
(0)
_
_
=
(0)(f ) +
(0))
( )(t) = (z
1
(t), z
2
(t), . . . , z
n
(t))
Donde, (0) = p. Ficamos com:
(v)(f ) =
(0)(f ) =
d
dt
t=0
(f )(t)
=
n
i=1
z
i
(f
1
)((p))
_
=x
i
.
( )
(0)
_
_
=
(0)(f ) = v(f ) .
Portanto, (v)(f ) = v(f ) .
(0) =
n
i=1
x
i
_
x
i
_
p
T
p
M = span
_
_
_
x
i
_
p
, 1 i n
_
_
.
Ou seja, o conjunto
_
_
x
i
_
p
, 1 i n
_
gera T
p
M.
2) O conjunto
_
_
x
i
_
p
, 1 i n
_
linearmente independente (ento, junto com (1) ,
temos que o mesmo uma base para T
p
M).
3) Acaracterizao de T
p
M no depende do sistemas de coordenadas, isto , se (U, x
1
, x
2
, . . . , x
n
)
e (V, y
1
, y
2
, . . . , y
n
) so sistemas de coordenadas, ento:
T
p
M = span
_
_
_
x
i
_
p
, 1 i n
_
_
= span
_
_
_
y
i
_
p
, 1 i n
_
_
4) Dado v T
p
M. Temos que
v(f ) =
n
i=1
x
i
_
x
i
_
p
(f )
v =
(0)
p = (0)
( )(t) = (x
1
(t), x
2
(t), . . . , x
n
(t)) .
108
3 Geometria - Topologia Elementar
v(f ) depende apenas de v =
(0) em w =
(0) =
m
i=1
x
i
(0)
_
x
i
_
p
Segue que F
1
: (UV) R
m
R
n
. Alm disso, temos:
109
3 Geometria - Topologia Elementar
(0) =
m
i=1
x
i
(0)
x
i
(f
1
)((p))
(t) = (y
1
(t), y
2
(t), . . . , y
n
(t))
= (
=
.
F )(t) = ( F
1
) ( )(t)
= ( F
1
)(x
1
(t), x
2
(t), . . . , x
m
(t))
y
j
(t) = y
j
(x
1
(t), x
2
(t), . . . , x
m
(t)), 1 j n .
(0)(g) =
n
j=1
y
j
(0)
_
y
j
_
F(p)
(g)
=
n
j=1
_
_
m
i=1
=w
j
.
y
j
x
i
x
i
(0)
_
_
_
y
j
_
F(p)
(g)
=
n
j=1
w
j
_
y
j
_
F(p)
(g) .
Observao 3.88 Desta construo segue que a aplicao diferencial linear e no de-
penda da escolha da curva
Observao 3.89 Uma forma mais algbrica (e mais operacional) de se denir vetor tan-
gente, como uma derivao sobre a lgebra das funes C
(M) da variedade.
Temos que:
dF
p
(g) = v(g F)(p)
v(g F)(g) =
m
i=1
v
i
x
i
(g F) =
m
i=1
v
i
(g F)
x
i
=
m
i=1
v
i
_
_
n
j=1
(g F)
y
j
y
j
x
i
_
_
=
n
j=1
=w
j
.
_
_
m
i=1
v
i
y
j
x
i
_
y
j
(g F) .
110
3 Geometria - Topologia Elementar
Na verdade, o objeto fundamental o campo vetorial sobre a variedade; e para apre-
sentarmos o mesmo, precisamos construir o chamado Fibrado Tangente.
3.3.6 O Fibrado Tangente
Quando estudamos o clculo diferencial no R
2
, nos defrontamos com a noo de
campo vetorial, se trata de uma funo X : V R
2
R
2
. Ou seja, a cada ponto
p V associamos um vetor do R
2
, e a funo na verdade, deveria ser do tipo X(p) =
(p, f (p)) isso faz sentido pois no ponto p, o espao vetorial (o chamado plano tan-
gente) associado, se confunde com o prprio plano. Mas quando trabalhamos com
uma variedade abstrata M, o vetor associado no ponto p pertence ao espao tangente
T
p
M (o qual varia de ponto a ponto), ento preciso levar isso em conta. A sada
tcnica consiste em construir uma nova variedade (o brado tangente), que una to-
dos esses espaos tangentes; mas no se trata de uma unio usual como veremos. No
nal, o campo vetorial ser o que comumente chamado de uma seo do brado
TM.
Denio 3.90 Sejam M uma variedade diferencivel de dimenso n, o brado vetorial
tangente TM o conjunto
TM = (p, v) p M e v T
p
M =
pM
T
p
M
Munido de uma projeo natural:
: TM M
(p, v) p
A primeira vista, podemos ter a (falsa) impresso de que TM = M R
n
, mas isso
no verdade em geral (quando isso acontece, dizemos que o brado tangente
trivial). Uma exceo o caso TG, onde G um grupo de Lie: as chamadas transla-
es a esquerda L
g
, globalizam campos vetoriais (uma base no caso), trivializando o
brado. Queremos fornecer uma estrutura de variedade diferencivel para TM, ou
seja: que seja um espao topolgico Hausdor, com base enumervel de abertos, e
construirmos um atlas maximal.
A topologia de TM. U M aberto se e somente se
1
(U) aberto de TM.
111
3 Geometria - Topologia Elementar
Dada (U, ), carta local de M ((U, ) F
M
), temos que o conjunto
U aberto
de TM. Seja
:
U TM (U) R
n
R
2n
(p, v) ((p), d
p
(v))
onde : U M R
n
e d
p
: T
p
M T
(p)
R
n
R
n
com d
p
(v). Em coordena-
das locais, temos:
(p) = (x
1
, x
2
, . . . , x
n
)
v =
n
i=1
a
i
_
x
i
_
p
d
p
(v) = d
p
_
_
n
i=1
a
i
_
x
i
_
p
_
_
=
n
i=1
a
i
d
p
_
x
i
_
=
n
i=1
a
i
e
i
d
p
(v) = (a
1
, a
2
, . . . , a
n
)
(p, v) = (x
1
, x
2
, . . . , x
n
, a
1
, a
2
, . . . , a
n
) .
A funo e invertvel. De fato:
1
(x
1
, x
2
, . . . , x
n
, a
1
, a
2
, . . . , a
n
) = (q, w)
1
(x
1
, x
2
, . . . , x
n
, a
1
, a
2
, . . . , a
n
) = (q, w)
(x
1
, x
2
, . . . , x
n
, a
1
, a
2
, . . . , a
n
) = ((q), d
q
(w)) .
Donde temos o sistema:
_
_
q =
1
(x
1
, x
2
, . . . , x
n
)
d
q
(w) = (a
1
, a
2
, . . . , a
n
)
w =
n
i=1
a
i
_
x
i
_
p
.
112
3 Geometria - Topologia Elementar
Portanto:
1
(x
1
, x
2
, . . . , x
n
, a
1
, a
2
, . . . , a
n
) = (
1
(x
1
, x
2
, . . . , x
n
),
n
i=1
a
i
_
x
i
_
p
)
= (
1
(x), d
1
(q)
(a
1
, a
2
, . . . , a
n
))
U aberto
em TM
.
(
U) =
pU
_
(p) d
p
(T
p
M)
_
=
(U)
um aberto
.
(U) R
n
.
Assim, uma aplicao aberta, e portanto, contnua. Como
1
tambm
contnua, temos que um homeomorsmo. Alm disso, como a topologia
de R
2n
tem base enumervel de abertos e Hausdor, estas propriedades so
herdadas pela topologia de TM. Portanto, temos que TM tem base enume-
rvel , Hasdor
1
e localmente euclidiana de dimenso 2n, ou seja, uma
variedade topolgica.
Construo de um atlas maximal para TM.
Vamos mostrar que o conjunto das (
U, ) e (
V,
) dois sistemas de coordenadas de TM tais que
W =
U
V
Vamos analisar a classe de diferenciabilidade de
1
: (W)
(W).
Observao 3.91 No que segue x = (x
1
, x
2
, . . . , x
n
) e a = (a
1
, a
2
, . . . , a
n
)
1
Um espao topolgico (X, ) dito ser Hausdor se dados dois pontos p e q, existem abertos
V
p
e V
q
, que contem p e q respectivamente e que so disjuntos.
113
3 Geometria - Topologia Elementar
(
1
)(x, a) =
_
1
(x),
n
i=1
a
i
_
x
i
_
p
_
_
=
_
_
1
(x), d
p
_
_
n
i=1
a
i
_
x
i
_
p
_
_
_
_
=
_
_
1
(x),
n
i=1
a
i
d
p
_
x
i
_
p
_
_
=
_
_
1
(x),
n
i=1
a
i
_
_
n
j=1
y
j
x
i
_
y
j
_
p
_
_
_
_
=
_
_
C
k
.
1
(x),
n
j=1
_
_
n
i=1
a
i
y
j
x
i
_
_
_
y
j
_
p
.
de classeC
k
_
_
Portanto, TM variedade diferencivel de classe C
k
. Aps essa breve digres-
so sobre o brado tangente de uma variedade, passemos ao estudo de campos
de vetores.
3.3.7 Campos de Vetores
Denio 3.92 Dada uma variedade diferencivel M, um campo (local) de vetores X
uma aplicao
X : U M TM
p X(p) = (p, v), (v T
p
M)
U um aberto de M
Tal que X = id
U
. Ou seja, o diagrama abaixo comuta:
114
3 Geometria - Topologia Elementar
U
X
/
id
U
TM
}z
z
z
z
z
z
z
z
U
Denio 3.93 Dizemos que um campo X diferencivel (C
) se diferencivel como
aplicao entre variedades.
Exemplos
Exemplo 3.94 No caso em que M = R
n
, temos que TM R
n
R
n
, e assim, podemos
identicar um campo vetorial X com uma funo diferencivel X : U R
n
. Exemplos
mais concretos:
X(x, y) = (x
2
+y
2
, xy)
X(x, y, z) = (xyz
3
, x +y +z, x
2
+y +z
3
)
Exemplo 3.95 Seja M = S
n
. Como construmos um vetor tangente a um ponto p S
n
?
Sabemos que:
S
n
= x R
n+1
(x, x) = 1
Ento, tomamos uma curva com as seguintes especicaes:
: (, ) S
n
(0) = p
(0) = v .
Donde temos que:
((t), (t)) = 1, (, )
115
3 Geometria - Topologia Elementar
Derivando esta ltima equao, camos com:
d
dt
t=0
((t), (t)) = 0 ((
(t)))
t=0
= (
(t), (t))
t=0
= 0 (
(0), (0)) = 0
(v, p) = 0
T
p
S
n
= v R
n+1
(v, p) = 0
Ou seja, um vetor v T
p
S
n
se for ortogonal ao ponto p. Como um exemplo mais concreto,
vamos tomar a esfera bidimensional S
2
e p = (1, 0, 0), temos ento que:
(v, p) = 0 (v, (1, 0, 0)) = 0 a
1
(p) = 0
Donde temos como vetores tangentes possveis :
v
1
(p) = (0, 1, 1)
v
2
(p) = (0, 1, 1)
E no caso de um ponto genrico p = (x
1
, x
2
, x
3
) S
2
, podemos tomar:
X(x
1
, x
2
, x
3
) = (0, x
3
, x
2
)
Se trata de um campo vetorial sobre a esfera S
2
.
Um outro modo de caracterizar campos vetoriais, como uma derivao sobre
a lgebra das funes da variedade C
(V
p
), onde:
X(f )(p) = X(p)(f )
f C
(V
p
), ento:
116
3 Geometria - Topologia Elementar
X(p)(f ) =
n
i=1
a
i
(p)
_
x
i
_
p
(f )
=
n
i=1
a
i
(p)
x
i
(f
1
)((p))
=
n
i=1
a
i
(
1
(x
1
, . . . , x
n
))
x
i
(f
1
)(x
1
, . . . , x
n
)
=
n
i=1
a
i
(x
1
, . . . , x
n
)
f
x
i
(x
1
, . . . , x
n
) .
Colchete de Lie
Denio 3.96 Sejam X, Y campos vetoriais C
(V
p
) R
f [X, Y](p)(f ) = X(p)Y(f ) Y(p)X(f ) .
Proposio 3.97 Valem as seguintes propriedades para o colchete de Lie de dois campos
X, Y suaves(C
em M.
2) Se f , g C
(M), temos
[f X, gY] = f g[X, Y] +f X(g)Y gY(f )X .
3) Valem duas propriedades:
[X, Y] = [Y, X]
[aX +bY, Z] = a[X, Z] +b[Y, Z], a, b R .
4) [[X, Y], Z] +[[Y, Z], X] +[[Z, X], Y] = 0 (A identidade de Jacobi).
117
3 Geometria - Topologia Elementar
Demonstrao: Se trata apenas de um clculo relativamente longo. Ver [35], pgina 24
ou [24], proposio 1.45, pgina 36.
Um resultado importante, que usaremos bastante (principalmente em exemplos de
grupos de Lie) o teorema da subvariedade regular 3.104; mas antes, precisamos de
alguns conceitos adicionais.
3.3.8 Subvariedades
Em qualquer estrutura matemtica, temos a noo de subestrutura, que essencial-
mente, um subconjunto da estrutura que herda suas propriedades, assim temos:
subespao vetorial, subespao topolgico, sublgebra, etc. No caso de variedades di-
ferenciveis, se trata de mais um exemplo: temos a noo de subvariedade, que ser
um subconjunto de uma variedade, que tambm uma variedade diferencivel .
Nesta seo da dissertao, vamos abordar o conceito de subvariedade regular, que
um subconjunto da variedade, mas munido da topologia induzida, e cujo atlas
construdo usando o atlas da variedade ambiente. Na verdade, existem outros tipos
de subvariedades, para maiores detalhes, indicamos para o leitor, a referncia [26],
captulo 8, pgina 173.
Denio 3.98 Um subconjunto S de uma variedade M de dimenso m uma sub-
variedade regular de dimenso k se para todo ponto p S, existe uma carta local
(U, ) = (U, x
1
, x
2
, . . . , x
m
) de p no atlas maximal de M tal que US denida pelo anula-
mento de mk funes coordenadas. Renumerando as coordenadas, podemos tomar estas
mk funes coordenadas como sendo x
k+1
, . . . , x
m
.
Observao 3.99 Chamaremos tal carta (U, ) em M de uma carta adaptada relativa
a S. Sobre US, temos que = (x
1
, ...x
k
, 0, 0, . . . , 0)
Seja
S
: US R
k
a restrio das primeiras k componentes de para US, ou seja,
S
= (x
1
, x
2
, . . . , x
k
). Donde temos que (US,
S
) uma carta para S na topologia de
subespao. Com isso, denimos:
Denio 3.100 Se S uma subvariedade regular de dimenso k de uma variedade M
de dimenso m, ento mk dita ser a codimenso de S em M.
118
3 Geometria - Topologia Elementar
Exemplos
Exemplo 3.101 Seja M uma variedade diferencivel de dimenso M e U M um aberto,
ento U uma subvariedade regular de dimenso m. Dentro desta situao, temos que
se M = M(n, R), ento GL(n, R) uma subvariedade regular. Para mais detalhes, ver o
exemplo 3.110 na seo de grupos de Lie.
Exemplo 3.102 Seja S = (1, 1) um intervalo da reta real R. Vamos caracterizar S como
uma subvariedade regular de R
2
; para isso, tomemos a carta identidade id : R
2
R
2
,
e para a carta adaptada, escolhemos US, onde U = (1, 1)
2
= (1, 1) (1, 1). Desse
modo, US justamente o conjunto de pontos onde a coordenada y se anula.
Exemplo 3.103 Seja M = S
n
= x R
n+1
(x, x) =
n+1
i=1
= 1, a esfera ndimensional
de raio unitrio. Podemos caracterizar S
n
como subvariedade regular de R
n+1
lanando
mo do teorema 3.104: seja a aplicao
f : R
n+1
R
x (x, x)
Desse modo, temos que S
n
= f
1
(1). Para usarmos o teorema da subvariedade regular,
precisamos mostrar que a diferencial df (x) sobrejetora, para todo x S
n
. A diferencial
df (x) dada por:
df (x)(h) = lim
t0
f (x +th) f (x)
t
= lim
t0
(x +th, x +th) (x, x)
t
= lim
t0
(x, x) +2t(x, h) +t
2
(h, h) (x, x)
t
= lim
t0
(2(x, h) +t(h, h))
df (x)(h) = 2(x, h) .
Agora, para vericar que df (x) sobrejetora, basta calcular o ncleo da mesma:
Ker(df (x)) = h R
n+1
df (x)(h) = 0
119
3 Geometria - Topologia Elementar
Finalmente, podemos enunciar o teorema da subvariedade regular, cuja demonstra-
o pode ser encontrada em [25]( Teorema 9.3 - pgina 105 ).
Teorema 3.104 Sejam M e N variedades diferenciveis, com dimenses m e n respecti-
vamente e F : M N uma aplicao C
.
(B) A inverso i : GG uma aplicao C
.
Nos exemplos que seguem, iremos utilizar o seguinte teorema de Cartan:
Teorema 3.106 Seja G grupo de Lie e H G, um subgrupo que fechado. Ento, H
um grupo de Lie.
Demonstrao: Ver [39], teorema 2.3, pginas 115-116
120
3 Geometria - Topologia Elementar
Observao 3.107 De modo informal, dizemos que um teorema como esse de Car-
tan um canho, no sentido de que vericando apenas uma propriedade, se con-
clu muita coisa. No caso, basta testarmos que um subgrupo abstrato H um fe-
chado num grupo de Lie G para o teorema nos garantir que H um grupo de Lie
( subvariedade de G, e obedece as condies de compatibilidade). Na verdade,
mesmo usando este teorema nos exemplos abaixo, calculamos explicitamente v-
rias diferenciais de aplicaes para invocarmos o teorema da subvariedade regular
3.104; apesar de em termos de rigor, ser desnecessrio, o clculo das diferenciais
serve como um treino explcito do clculo de variedades, e evita que percamos o
contato com o lado concreto da Matemtica.
Observao 3.108 Seguimos uma apresentao no-linear, pois acreditamos que
exemplos numerosos devem ser apresentados o mais rapidamente possvel; mesmo
pagando o preo de usarmos resultados sosticados sem uma demonstrao (-
cando a posteriori demonstrar).
Exemplos
Exemplo 3.109 O grupo G = (R
n
, +) um grupo de Lie de dimenso n. A topologia a
usual do R, e as operaes de adio e inverso (tomar o inverso aditivo) so claramente
diferenciveis.
Exemplo 3.110 O grupo G = (GL(n, R), ) um grupo de Lie de dimenso n
2
.
Consideremos a aplicao determinante:
det : M(n, R) R
T det T
A funo det claramente contnua (pois um polinmio nas entradas da matriz), ento,
o grupo GL(n, R) pode ser caracterizado da seguinte forma:
GL(n, R) = det
1
(R0)
Como X = R0 um aberto e a funo det contnua, segue que GL(n, R) um aberto
de M(n, R) R
n
2
, ento basta restringir a estrutura diferencivel cannica de M(n, R) ao
121
3 Geometria - Topologia Elementar
mesmo
M = GL(n, R)
T
0
= (M, id
GL(n,R
dimM = n
2
Como sub-exemplo, consideremos o caso n = 1:
GL(1, R) = M(1, R) det 0
R
= R0
A multiplicao em questo o produto matricial usual, a qual diferencivel, pois dados
A, B GL(n, R), temos:
(AB)
ij
=
n
k=1
A
ik
B
kj
ou seja, as entradas da matriz resultante, so polinnios nas entradas de A e B. E a
operao de inverso, dada por:
A
1
=
adj(A)
det A
a inversa A
1
a adjunta clssica de A (AdjA, a matriz dos cofatores), dividido pelo
determinante de A: as entradas da inversa so funes racionais e portanto, se trata de
uma funo diferencivel.
Exemplo 3.111 O grupo G = SL(n, R) = T GL(n, R) det T = 1 um grupo de Lie
de dimenso n
2
1.
Demonstrao:
Consideremos a aplicao
122
3 Geometria - Topologia Elementar
det : GL(n, R) R
X det X
A estratgia a ser adotada aqui aplicarmos o teorema da subvariedade regular 3.104.
Para isso, vamos calcular (usando de uma certa heurstica) a diferencial
d det(X)(A)
d det(X)(A) = lim
t0
det(X +tA) det X
t
= lim
t0
det(X(I +tX
1
A)) det X
t
= lim
t0
det(X) det(I +tX
1
A) det X
t
= det X lim
t0
det(I +tX
1
A) I
t
.
Agora, temos que:
T = X
1
A
f (t) = det(I +tX
1
A) =
_
sp(T)
(1 +t)
= 1 +tTrT +O(t
2
) .
Com isso, camos com:
d det(X)(A) = det X lim
t0
1 +tTrT +O(t
2
) 1
t
= det X lim
t0
_
TrT +
O(t
2
)
t
_
= det XTrT
d det(X)(A) = det XTr(X
1
A) .
Como X SL(n, R) temos que d det(X)(A) = Tr(X
1
A). Agora, o ncleo de d det(X)
dado por:
Ker(d det(X)) = A M(n, R Tr(X
1
A) = 0 0, pois X 0 .
123
3 Geometria - Topologia Elementar
Ou seja, o funcional d det(X) no-nulo e ento, a aplicao d det(X) sobrejetora, X
SL(n, R). Portanto, pelo teorema da subvariedade regular 3.104, segue que SL(n, R)
uma subvariedade mergulhada de GL(n, R) com dimenso:
dimSL(n, R) = dimGL(n, R) 1 = n
2
1
dimSL(n, R) = n
2
1 .
Quanto as condies de compatibilidade (a operao de multiplicao e inverso): mos-
tramos que SL(n, R) = det
1
(1) um fechado em GL(n, R) (ver o teorema 3.31, item 2).
Finalmente, pelo teorema de Cartan 3.106, temos que SL(n, R) um grupo de Lie.
_
I
pp
0
pq
0
qp
I
qq
_
_
= M M
2
= I = I
nn
.
Consideremos o grupo:
_
_
O(p, q) = T GL(n, R) B(T(x), T(y)) = B(x, y), x, y R
n
T O(p, q) T
MT = M
M
t
= M
T
= T
Temos alguns itens a serem demonstrados:
G = O(p, q) um grupo. De fato:
Demonstrao:
1) Como det M 0, segue que a aplicao B no-degenerada, ento, dado
T O(p, q), vamos avaliar o ncleo de T:
124
3 Geometria - Topologia Elementar
KerT = x R
n
T(x) = 0
0 = B(T(x), T(x)) = B(x, x) x = 0 pois B no degenerada
T GL(n, R) .
2) Se T, R O(p, q), ento TR O(p, q). De fato:
TO(p,q)
.
B(TR(x), TR(y)) = B(R(x), R(y))
.
RO(p,q)
= B(x, y)
TR O(p, q)
3) Se T O(p, q) ento T
1
O(p, q). De fato:
B(x, y) =
TO(p,q)
.
B(TT
1
(x), TT
1
(y)) = B(T
1
(x), T
1
(y))
T
1
O(p, q)
MT
Onde S(n, R) = T M(n, R) T
= T
t
= T, o conjunto das matrizes simtricas.
A funo est bem denida, pois:
125
3 Geometria - Topologia Elementar
X = T
MT X
= (T
MT)
=
M
=M
.
T
= T
MT = X
X
= X
Temos ento que O(p, q) =
1
(M) . Vamos aplicar novamente o teorema da apli-
cao regular: calculemos a diferencial
(T):
(T)(A) = lim
h0
(T +hA) (T)
h
= lim
h0
(T +hA)
M(T +hA) T
MT
h
= lim
h0
(T
+hA
)M(T +hA) T
MT
h
= lim
h0
T
MT +hT
MA+hA
MT +h
2
A
AT
MT
h
= lim
h0
h(T
MA+A
MT) +h
2
A
MA
h
(T)(A) = T
MA+A
MT .
Essa
(T) uma aplicao linear sobrejetora, para vermos isto; seja B S(n, R) e
tomemos A =
1
2
TMB. Ficamos com:
(T)(A) = T
MA+A
MT =
1
2
=M
.
T
MT MB+
1
2
B
.
=BM
=M
.
T
MT
=
1
2
=I
.
M
2
B+
1
2
B M
2
.
=I
=
1
2
B+
1
2
B = B
(T)(A) = B .
Ou seja: a aplicao
n(n +1)
2
=
n(n 1)
2
dimO(p, q) =
n(n 1)
2
.
G um grupo de Lie (as condies de compatibilidade so satisfeitas). De fato:
mostramos que O(p, q) =
1
(M) um fechado em GL(n, R) (ver o teorema 3.31,
item 2). Finalmente, pelo teorema de Cartan 3.106, temos que G = O(p, q) um
grupo de Lie.
i=1
x
i
y
i
Pergunta: qual o grupo das simetrias de (R
n
, (, )) ? Ou seja: qual o grupo das trans-
formaes que preservam a mtrica associada
127
3 Geometria - Topologia Elementar
d(x, y) = x y =
_
(x y, x y) = x y
f : R
n
R
n
d(f (x), f (y)) = d(x, y) .
Vamos mostrar que se trata de um grupo de Lie, mais exatamente, o grupo:
G = O(n) R
n
Como variedade, temos que G = O(n) R
n
e o produto dado por:
(A, u)(B, v) = (AB, A(v) +u)
Demonstrao: A demonstrao construtiva: seja uma funo f : R
n
R
n
que pre-
serva a distncia; a seguir, considere a funo:
T : R
n
R
n
T(x) := f (x) f (0)
Temos que a funo T possui as seguintes propriedades:
T uma isometria.
De fato:
d(T(x), T(y)) = T(x) T(y) = f (x) f (0) (f (y) f (0))
= f (x) f (y)
.
f isometria
= x y = d(x, y)
(T(x), T(x)) = (x, x)
De fato:
128
3 Geometria - Topologia Elementar
Fazendo y=0, pois T(0)=0
.
T(x) T(y) = x y T(x) = x
T(x)
2
= x
2
(T(x), T(x)) = (x, x)
(T(x), T(y)) = (x, y): ou seja, a aplicao T preserva o produto interno.
Vamos desenvolver a igualdade (T(x+y), T(x+y)) = (x+y, x+y). Primeiro, (T(x+
y), T(x +y)):
(T(x +y), T(x +y)) = (T(x), T(x)) +(T(y), T(y)) +2(T(x), T(y)) (I)
Agora, (x +y, x +y):
(x +y, x +y) = (x, x) +(y, y) +2(x, y) (II)
Igualando (I) e (II), camos com:
=(x,x)
.
(T(x), T(x))+
=(y,y)
.
(T(y), T(y))+2(T(x), T(y)) = (x, x) +(y, y) +2(x, y)
(T(x), T(y)) = (x, y)
Finalmente, a propriedade crucial:
A aplicao T linear.
Para provar essa armao, basta vericar que
T(cx) cT(x) = 0
T(x +y) T(x) T(y) = 0
De fato:
129
3 Geometria - Topologia Elementar
T(cx) cT(x)
2
=
=(cx,cx)
.
(T(cx), T(cx)) 2(T(cx), cT(x)) +(cT(x), cT(x))
= (cx, cx) 2c
=(cx,x)
.
(T(cx), T(x))+c
2
=(x,x)
.
(T(x), T(x))
= c
2
(x, x) 2c
2
(x, x) +c
2
(x, x) = 0
T(cx) = cT(x)
T(x +y) T(x) T(y)
2
=
=(x+y,x+y)
.
(T(x +y), T(x +y))2
=(x+y,x)
.
(T(x +y), T(x))
2
=(x+y,y)
.
(T(x +y), T(y))+2
=(x,y)
.
(T(x), T(y))
+
=(x,x)
.
(T(x), T(x))+
=(y,y)
.
(T(y), T(y))
= (x +y, x +y) 2(x +y, x +y)
+
(x+y,x+y)
.
2(x, y) +(x, x) +(y, y)
= (x +y, x +y) 2(x +y, x +y) +(x +y, x +y) = 0
T(x +y) = T(x) +T(y)
Resumindo: podemos identicar um elemento (T, v) G = O(n) R
n
com uma aplicao
T
v
: R
n
R
n
, dada por
T
v
(x) = T(x) +v
Ou seja: uma transformao ortogonal seguida de uma translao.
k=1
z
k
w
k
k=p+1
z
k
w
k
Tal como no caso do grupo O(p, q), temos uma matriz associada:
M =
_
_
I
pp
0
pq
0
qp
I
qq
_
_
M
= M
M
2
= I
Agora, seja o conjunto G = U(p, q) = T GL(n, C) (T(z), T(w)) = (z, w), z, w C
n
MX
Onde H(n, C) = T M(n, C) T
= T t
ji
= t
ij
t
ji
=t
ij
.
dim
R
H(n, C) = 2n
2
n
2
= n
2
Voltando: temos que U(p, q) =
1
(M). Agora, vamos calcular a diferencial d(X)(A):
d(X)(A) =
A
(X) = lim
t0
(X +tA) (X)
t
= lim
t0
(X +tA)
M(X +tA) X
MX
t
= lim
t0
X
MX +tX
MA+tA
MX +t
2
AMAX
MX
t
= lim
t0
t(X
MA+A
MX) +t
2
AMA
t
= lim
t0
X
MA+A
MX +tAMA
d(X)(A) = X
MA+A
MX
Falta mostrar que a derivada d(X)(A) = X
MA+A
(X)(A) = X
MA+A
MX =
1
2
=M
.
X
MXMB+
1
2
B
.
=BM
=M
.
X
MX
=
1
2
=I
.
M
2
B+
1
2
B M
2
.
=I
=
1
2
B+
1
2
B = B
(X)(A) = B
Ou seja: a aplicao
T = I
T,
i
2
(det T det T
))
Devemos notar que det T
(T +tH),
i
2
(det(T +tH) det(T +tH)
)) (X)
t
Vamos tratar os limites isoladamente:
134
3 Geometria - Topologia Elementar
lim
t0
T
T +tT
H +tH
T +t
2
H
H T
T
t
= lim
t0
t(T
H +H
T +tH
H)
t
= T
H +H
T
J no caso do segundo limite, usaremos um resultado que j construmos (ver 3.-71)
d det(T)(H) = det(T)Tr(T
1
H)
donde, camos com:
lim
t0
i
2
_
det(T +tH) det(T +tH)
det T +det T
t
_
= lim
t0
i
2
_
det(T +tH) det T
t
_
+lim
t0
i
2
_
det(T +tH)
det T
t
_
=
i
2
det(T)Tr(T
1
H) +
i
2
det(T)Tr(T
1
H)
=
i
2
_
det(T)Tr(T
1
H) det(T)Tr(T
1
H)
_
= |(det(T)Tr(T
1
H))
Juntando tudo, camos com:
d(T)(H) = (T
H +H
T, |(det(T)Tr(T
1
H))
Mostremos que esta aplicao sobrejetora, para todo T SU(n). Seja
(B, ) H(n, C) R
consideremos H =
TB
2
+i
T
n
, camos com:
135
3 Geometria - Topologia Elementar
d(T)(H) = (T
H +H
T, |(det(T)Tr(T
1
H))
= (T
(
TB
2
+i
T
n
) +(
TB
2
+i
T
n
)
T,
det T =1
.
|
_
det(T)Tr(T
1
(
TB
2
+i
T
n
)
_
)
= (
T
TB
2
+i
T
T
n
+(
B
2
i
T
n
)T, |(Tr(
B
2
+i
I
n
))
= (
T
T =I
.
T
TB
2
+i
T
T
n
+
B
T
2
i
T
T
n
, |(Tr(
B
2
+i
I
n
))
= (
B
=B
.
B
2
+i
I
n
+
B
2
i
I
n
,
Tr(I) =n
.
|(Tr
_
B
2
_
+i
n
Tr(I)))
= (B, )
Portanto, a diferencial d(T), sobrejetora para todo T SU(n) e portanto, pelo te-
orema da subvariedade regular 3.104, temos que SU(n) uma variedade diferencivel
com dimenso
dimSU(n) = dimGL(n, C) dim(H(n, C) R)
= 2n
2
(n
2
+1) = n
2
1
dimSU(n) = n
2
1
Como casos especiais importantes deste exemplo, temos:
G = U(1).
Observao 3.117 Na verdade, deveria ser G = SU(1) = I, I Z
2
; mas se
trata de algo muito trivial. Analisar o grupo U(1) que de onde SU(1) provem
mais interessante.
Olhemos com um certo detalhe:
136
3 Geometria - Topologia Elementar
U(1) = T GL(1, C T
T = I
= C = 1 = C = 1
= C
2
= 1 = C = 1
= (x, y) R
2
R
2
x
2
+y
2
= 1
U(1) S
1
O grupo U(1) pode ser identicado (um isomorsmo) com outro grupo. Seja a
seguinte aplicao:
L : C End(C)
z L
z
: C C
L
z
(w) = zw
Tomando a base cannica de C R
2
e fazendo a identicao z = (a, b) = a + ib,
obtemos:
L
z
(1, 0) = z(1, 0) = (a, b)(1, 0) = (a, b)
L
z
(0, 1) = z(0, 1) = (a, b)(0, 1) = (b, a)
L
z
=
_
_
a b
b a
_
_
Finalmente, tomando a restrio L
S
1 : S
1
End(C), vem que:
z S
1
z = (cost, sint)
L
z
=
_
_
cost sint
sint cost
_
_
SO(2)
Donde U(1) S
1
SO(2) .
137
3 Geometria - Topologia Elementar
G = SU(2) = T GL(2, C) T
_
a b
c d
_
_
T
=
_
_
a c
b d
_
_
= T
1
T
1
=
_
_
d b
c a
_
_
Ficamos com:
a = d
c = b
T =
_
_
a b
b a
_
_
det(T) = a
2
+ b
2
= 1
Ainda temos que SU(2) S
3
(como variedades difeomorfas). De fato, consideremos
as funes:
f : S
3
SU(2)
(x
1
, x
2
, x
3
, x
3
)
_
_
x
1
+ix
2
x
3
+ix
4
(x
3
ix
4
) x
1
ix
2
_
_
f
1
: SU(2) S
3
_
_
a b
b a
_
_
(a, b)
Observao : Na matemtica (como veremos mais adiante), o grupo SU(2)
(isomorfo) o grupo Spin(3) (um grupo espinorial) e na Fsica, se trata do grupo
de calibre da QCD (Cromodinmica Quntica), a teoria de campo das interaes
fortes (que mantm coesos os ncleos atmicos).
138
3 Geometria - Topologia Elementar
G = SU(1, 1) = T GL(n, C) T
MT = M, det T = 1, onde M =
_
_
1 0
0 1
_
_
. Nova-
mente, vamos caracterizar um elemento genrico de SU(1, 1).
T
MT = M T
M = MT
1
SU(1, 1) = T =
_
_
a b
c d
_
_
T
=
_
_
a c
b d
_
_
T
1
=
_
_
d b
c a
_
_
Com essas propriedades de um elemento T SU(1, 1), camos com:
T
M =
_
_
a c
b d
_
_
_
_
1 0
0 1
_
_
=
_
_
a c
b d
_
_
MT
1
=
_
_
1 0
0 1
_
_
_
_
d b
c a
_
_
=
_
_
d b
c a
_
_
Donde temos que:
d = a
c = b
Um elemento genrico T SU(1, 1) dado por:
T =
_
_
a b
b a
_
_
Geometricamente (como conjunto de pontos), temos:
det T = 1 a
2
b
2
= 1 se trata de um hiperbolide
139
3 Geometria - Topologia Elementar
Observao 3.118 O grupo SU(1, 1) surge no caso da anlise harmnica do
disco de Poincar D
2
= (x, y) R
2
x
2
+y
2
< 1. Se trata de um dos modelos da
geometria hiperblica, uma variedade Riemanniana bidimensional, munida
da seguinte mtrica g =
dx
2
+dy
2
(1x
2
y
2
)
2
. O grupo SU(1, 1) age transitivamente sobre
o disco D
2
, constituindo um espao homogneo: D
2
SU(1,1)
U(1)
. Para o leitor
interessado, indicamos as referncia [37] (Exemplo 3.2, pginas 10-13) e [38]
(pginas 29-72).
Exemplo 3.119 O grupo simplctico G = Sp(2n, R). Consideremos o espao vetorial real
R
2n
, munido da forma bilinear anti-simtrica que na base cannica de R
2n
possui a
seguinte representao matricial:
[] = J =
_
_
0
nn
I
nn
I
nn
0
nn
_
_
J
2
= I
J
t
= J
Agora, seja o seguinte conjunto de transformaes lineares:
Sp(2n, R) = T GL(2n, R) (T(x), T(y) = (x, y), x, y R
2n
JX
Onde A(2n, R) = T M(2n, R) T
t
= T. E alm disso, temos que:
Sp(2n, R) =
1
(J)
Agora, vamos calcular a derivada desta aplicao:
d(X)(A) =
A
(X) = lim
t0
(X +tA) (X)
t
= lim
t0
(X +tA)
t
J(X +tA) X
t
JX
t
= lim
t0
(X
t
+tA
t
)J(X +tA) X
t
JX
t
= lim
t0
X
t
JX +tX
t
JA+tA
t
JX +t
2
A
t
JAX
t
JX
t
= lim
t0
t(X
t
JA+A
t
JX) +t
2
A
t
JA
t
= X
t
JA+A
t
JX
d(X)(A) = X
t
JA+A
t
JX
Mostremos que a d(X) sobrejetora, X Sp(2n, R). Dado B A(2n, R), tome-
mos A =
XJB
2
. Ficamos com:
141
3 Geometria - Topologia Elementar
A =
XJB
2
A
t
= A =
B
t
J
t
X
t
2
= A =
(B)(J)X
t
2
=
BJX
t
2
X
t
JA+A
t
JX =
=J
.
X
t
JX JB
2
BJ
=J
.
X
t
JX
2
X
t
JA+A
t
JX =
J
2
=I
.
J
2
B
2
BJ
2
2
=
B
2
+
B
2
= B
d(X)(A) = B
Portanto, Sp(2n, R) uma variedade diferencivel. Com dimenso:
dim
R
Sp(2n, R) = dim
R
GL(2n, R) dim
R
A(2n, R) = 4n
2
n(2n 1) = 2n
2
+n
dim
R
Sp(2n, R) = 2n
2
+n
G = Sp(2n, R) grupo de Lie. Como Sp(2n, R) =
1
(J) (um fechado), o resultado
segue pelo teorema do subgrupo de Cartan 3.106.
Um caso particular, interessante e em dimenso baixa o grupo Sp(2, R); vamos efe-
tuar os clculos necessrios para identicarmos este grupo com outro mais familiar (um
isomorsmo).
Seja T Sp(2, R), que na base cannica do R
2
dado pela seguinte matriz:
T =
_
_
a b
c d
_
_
T
t
JT = J
_
_
a c
b d
_
_
_
_
0 1
1 0
_
_
_
_
a b
c d
_
_
=
_
_
0 1
1 0
_
_
_
_
c a
d b
_
_
_
_
a b
c d
_
_
=
_
_
0 1
1 0
_
_
142
3 Geometria - Topologia Elementar
Finalmente, temos que:
_
_
0
=det T
.
ad bc
(ad bc)
.
=det T
0
_
_
=
_
_
0 1
1 0
_
_
det T = ad bc = 1
Ou seja: Sp(2, R) = SL(2, R), que o grupo das transformaes lineares no plano que
preservam rea (um subgrupo na verdade, o mais geral o SL
(G). Agora,
X(f )(x) = X
x
(f ) = dL
x
(X(e))(f ) = X(e)(f L
x
)
Donde segue que s precisamos provar que a funo x X(e)(f L
x
) pertence a C
(G).
Faremos isto mostrando que esta funo se escreve como uma composio de aplicaes
C
. Denotemos por m : G
2
G a multiplicao do grupo e consideremos as incluses:
146
3 Geometria - Topologia Elementar
i
e
: G G
x (x, e)
i
g
: G G
x (g, x)
Seja Y um campo C
em GG
e [(0, Y)(f m)] i
e
uma funo C
em G.
(IV) Segue da proposio 1.55, pgina 41 de [24].
Exemplos
Abordando a denio da diferencial de uma aplicao diferencivel entre varie-
dades utilizando curvas, isso nos permite construir rapidamente muitas lgebras
de Lie, mais precisamente, as lgebras de Lie de subgrupos do grupo linear geral
GL(n, K), K = R, C. Nestes casos especcos, basta tomar uma curva : I R G
com as condies:
_
_
(0) = I
(0) = X g
E aplicar as mesmas. Nos exemplos, car tudo mais claro (nos exemplos, K= R, C).
Exemplo 3.129 Seja o grupo de Lie GL(n, K) = T M(n, K) det T 0. A lgebra de
Lie do mesmo, nada mais do que o conjunto das matrizes g = M(n, K).
147
3 Geometria - Topologia Elementar
Exemplo 3.130 Consideremos o grupo de Lie G = SL(n, K) = T GL(n, K) det T = 1;
o procedimento para determinar a respectiva lgebra de Lie g o seguinte: vamos derivar
na identidade o homomorsmo de grupos de Lie
= det : GL(n, K) R
T det T
Obtendo:
d(I) : g R
Vejamos:
d(I)(H) = lim
t0
(I +tH) (I)
t
= lim
t0
det(I +tH) det(I)
t
= lim
t0
det(I +tH) 1
t
= lim
t0
sp(H)
(1 +t) 1
t
= lim
t0
1 +tTr(H) +O(t
2
) 1
t
= lim
t0
tTr(H) +O(t
2
)
t
d(I)(H) = Tr(H)
Agora, usando a curva :
_
_
(0) = I
(0) = X g
temos que:
(det )(t) = 1, t I
Derivando a funo acima em t = 0, camos com:
148
3 Geometria - Topologia Elementar
Regra da cadeia
.
(det )
(t)
t=0
= 0
(0)=I
(0)=X
.
d((0))
(0) = 0
d(I) =Tr
.
d(I)(X) = 0
Tr(X) = 0
Portanto, a lgebra de Lie do grupo SL(n, K) dada por:
sl(n, K) = X M(n, K) Tr(X) = 0
Ou seja: o conjunto das matrizes de trao nulo.
Exemplo 3.131 Como vimos na seo sobre grupos de Lie 3.112, o grupo O(p, q) o
conjunto das transformaes lineares que preservam a forma bilinear cuja matriz na base
cannica do R
p+q
dada por:
[B] =
_
_
I
pp
0
pq
0
qp
I
qq
_
_
= M M
2
= I = I
nn
O clculo da lgebra de Lie assoaciada, o(p, q) muito simples. Novamente, consideremos
uma curva com as seguintes especicaes:
(0) = I
(0) = X o(p, q)
E como vimos, se T O(p, q), ento T satisfaz a relao T
MT = M . Desse modo, a
curva beta que toma valores m O(p, q), tambm satisfaz a essa condio, ou seja:
(t)
M(t) = M
Derivando a igualdade acima para e fazendo t = 0, obtemos:
149
3 Geometria - Topologia Elementar
((t)
M(t))
t=0
=
dM
dt
= 0 (
(t)
M(t) +(t)
(t))
t=0
= 0
(0) =I
(0) =X
.
(0)
M(0) +(0)
(0) = 0 X
M +MX = 0
Quando p = n e q = 0, temos que M = I e neste caso, o grupo O(p, q) o grupo ortogonal
usual com lgebra de Lie dada por:
o(n) = X M(n, R) X
= X
Ou seja: a lgebra de Lie o conjunto da matrizes anti-simtricas.
Exemplo 3.132 Vamos calcular a lgebra de Lie de mais um grupo clssico: o grupo
U(p, q). Usando um procedimento formalmente idntico ao anterior, chegamos ao resul-
tado:
u(p, q) = X M(n, C) X
M = MX
Com a diferena de que neste caso X
= X
t
(a conjugada hermitiana). E quando p = n e
q = 0, temos que M = I, temos o grupo unitrio usual, cuja lgebra de Lie dada por:
u(n) = X M(n, C) X
= X
Ou seja: a lgebra de Lie o conjunto da matrizes anti-hermitianas.
3.3.11 Variedades Riemannianas
Introduo
O problema sobre a independncia ou no do 5 postulado de Euclides (o axioma
das paralelas) era algo que se arrastava h sculos, mesmo gnios como Euler e Le-
gendre fracassaram tentando provar o mesmo. At que matemticos como Jnos
Bolyai (em 1832) e principalmente Nikolai Lobachevsky, utilizando-se de mtodos
150
3 Geometria - Topologia Elementar
sintticos, conseguiu mostrar que era possvel construir de forma consistente uma
geometria no-euclidiana. Apesar disso, por Nikolai ter usado mtodos sintticos,
faltava ainda um ambiente natural (o que chamamos hoje de variedade diferenci-
vel) munido da estrutura adequada (uma mtrica riemanniana) para servir como
modelo, realizao de geometrias no-euclidianas. Isso foi feito basicamente por
duas pessoas: Gauss, que no artigo Disquisitiones generales circa supercies curvas
lana as bases da teoria geral de superfcies e Riemann que para atender um capri-
cho de Gauss, criou em questo de semanas, as idias fundamentais do que hoje
chamamos de Geometria Riemanniana (
2
). O que segue, um singelo resumo da
teoria das variedades riemannianas.
Mtricas Riemannianas
Analisando o trabalho de Gauss, Riemann percebeu que a primeira forma funda-
mental de uma superfcie S R
3
, deveria ser encarada como um elemento bsico
em espaos gerais (variedades riemannianas). A mtrica riemanniana nada mais
(em termos informais, intuitivos) que a distncia euclidiana entortada, defor-
mada para variedades em geral. A partir da mtrica, denimos o chamado tensor
de curvatura de Riemann, e demais objetos geomtricos relacionados, um deles a
chamada curvatura escalar, que no caso constante (positivo, nulo e negativo), clas-
sica as geometrias no-euclidianas. Para comear, de forma mais precisa:
Denio 3.133 Seja M uma variedade diferencivel, uma mtrica riemanniana g
uma funo g : M TM
TM
T
p
M
, p M, e alm disso,
obedece aos seguintes axiomas
1) g
p
(u, v) = g
p
(v, u), u, v T
p
M (simetria da mtrica riemanniana)
2) g
p
(u +v, w) = g
p
(u, w) +g
p
(v, w), u, v, w T
p
M e R (linearidade na primeira
entrada)
3) g
p
(u, u) 0 e (g
p
(u, u) = 0 u = 0
4) Se X, Y X(U) (so campos diferenciveis) em U aberto de M, a funo:
2
Reza a lenda que durante o Habilitationsschrift (uma espcie de super doutorado) de Riemann,
Gauss quebrou a tradio do exame e escolheu justamente o ltimo tpico de uma lista: Geome-
tria Diferecial. Riemann esperava que a escolha fosse o primeiro item da lista (teoria das variveis
complexas), e foi literalmente obrigado a criar uma nova rea da Matemtica para poder passar
num exame...
151
3 Geometria - Topologia Elementar
: U R
p g
p
(X(p), Y(p))
diferencivel. Se trata da diferenciabilidade da mtrica.
Observao 3.134 Uma mtrica riemanniana um campo de produtos internos, ou
seja, um campo tensorial covariante de segunda ordem, que quando calculado num
ponto, um produto escalar. Desta forma, em coordenadas locais, uma mtrica
riemanniana g tem a seguinte forma:
g =
n
i,j=1
g
ij
dx
i
dx
j
dx
i
dx
j
=
1
2
(dx
i
dx
j
+dx
j
dx
i
)
g
ij
= g(
x
i
,
x
j
) = g
ji
g
ij
C
(M)
Vamos apresentar alguns resultados tericos da teoria das variedades riemannianas,
mas antes, segue uma lista de exemplos:
Exemplos
Exemplo 3.135 Seja M = R
n
, consideremos a mtrica Riemanniana dada pelo produto
escalar cannico. Denotaremos a mesma sempre por g
can
.
g
can
=
n
i,j=1
dx
2
i
Exemplo 3.136 Exemplo concreto de pullback de mtrica Riemanniana
Seja a variedade diferencivel M = R
n+1
0, a mesma difeomorfa a N = S
n
R
+
. De
fato, consideremos as aplicaes:
152
3 Geometria - Topologia Elementar
: S
n
R
+
R
n+1
0
(x, ) x
: R
n+1
0 S
n
R
+
x (
x
x
, x)
As aplicaes acima so inversas uma da outra. Vamos vericar esta armao:
( )(x, ) = ((x, ))
= (x) =
>0
.
(
x
x
, x) =
x=1
.
(
.
x
x
, x)
= (x, )
= id
S
n
R
+
( )(x) = ((x)) = (
x
x
, x) = x
x
x
= x
= id
R
n+1
0
Observao 3.137 A aplicao uma generalizao da decomposio polar dos
nmeros complexos C
= R
2
0
Mas o que vem a ser um pullback de mtrica Riemanniana ? Como o prprio nome (em
ingls) sugere, se trata de puxar uma mtrica de uma variedade para outra variedade.
De modo mais preciso: sejam variedades diferenciveis M e (N, g), e uma aplicao :
M (N, g). O pullback da mtrica g(em N) para M a mtrica Riemanniana dada por:
: M (N, g)
h =
_
(0) = p M
(0) = v
_
_
(0) = p M
(0) = w
Donde, camos com:
d(v) = ( )
(0) =
d
dt
( )(t)
t=0
No caso, dada a mtrica cannica g
can
em R
n+1
0, vamos primeiramente calcular o
pullback da mesma para S
n
R
+
desse modo usando curvas.
_
_
(0) = (x, ) M
(0) = (v, c)
_
_
(0) = (x, ) M
(0) = (w, d)
d(v, c) =
d
dt
( )(t)
t=0
=
d
dt
((t)x(t))
t=0
=
_
(t)x(t) +(t) x(t)
_
t=0
=
(0)x(0) +(0) x(0) = cx +v
d(v) = cx +v
De forma anloga, temos:
d(w, d) = dx +w
Desse modo, temos que:
h((v, c), (w, d)) = g
can
(d(v, c), d(w, d)) = g
can
(cx +v, dx +w)
= cdg
can
(x, x) +
2
g
can
(v, w) +cg
can
(x, w) +dg
can
(v, x)
154
3 Geometria - Topologia Elementar
Mas, como x S
n
temos que g
can
(x, x) = 1; alm disso, pelo exemplo 3.95 temos que
g
can
(x, w) = g
can
(v, x) = 0. Portanto:
h((v, c), (w, d)) = cd +
2
g
can
(v, w)
Por outro lado, como a expresso (numa carta local) da mtrica h ? Vamos calcular,
consideremos mais uma vez a aplicao : S
n
R
+
R
n+1
0, ento
(x, ) = (x
1
, . . . , x
n+1
) = (y
1
, . . . , y
n+1
)
Nessas coordenadas, a mtrica g
can
dada por g
can
=
n+1
i=1
dy
2
i
. Desse modo, basta calcu-
lar as diferenciais dy
i
, elevar ao quadrado e somar:
y
i
= x
i
dy
i
= dx
i
+x
i
d
dy
2
i
=
2
dx
2
i
+x
2
i
d
2
+2x
i
dx
i
d
n+1
i=1
dy
2
i
=
n+1
i=1
x
2
i
=1
.
2
n+1
i=1
dx
2
i
+(
n+1
i=1
x
2
i
)d
2
+2d
n+1
i=1
x
i
dx
i
=
2
n+1
i=1
dx
2
i
+d
2
+2d
n+1
i=1
x
i
dx
i
Como
n+1
i=1
x
2
i
= 1, temos que:
d(
n+1
i=1
x
2
i
) = d(1) = 0
n+1
i=1
x
i
dx
i
= 0
Donde, camos com:
h =
n+1
i=1
dy
2
i
=
2
n+1
i=1
dx
2
i
+d
2
Essa a frmula geral da mtrica pullback deste caso; alm disso, a mesma um exemplo
155
3 Geometria - Topologia Elementar
de produto warped de mtricas Riemannianas (ver o exemplo 3.140). Se tomarmos
n = 1, temos o cilindro M = S
1
R
+
, e nesse caso, obtemos:
= r = d
2
= dr
2
_
_
x
1
= cos dx
1
= sind dx
2
1
= sin
2
d
2
x
2
= sin dx
2
= cosd dx
2
2
= cos
2
d
2
dx
2
1
+dx
2
2
= sin
2
d
2
+cos
2
d
2
= (sin
2
+cos
2
)d
2
= d
2
h = dr
2
+r
2
d
2
Exemplo 3.138 A mtrica induzida na esfera S
n
. Novamente, temos um pullback:
i : S
n
(R
n+1
, g
can
)
x x
Ou seja, enfocamos a esfera n-dimensional como sendo uma subvariedade mergulhada
de R
n+1
. Para o caso n = 2, vamos calcular explicitamente esta mtrica induzida em
coordenadas esfricas. Consideremos a mudana de coordenadas usual de esfricas para
cartesianas.
x
1
= sincos
x
2
= sinsin
x
3
= cos
Calculando as diferenciais das expresses acima e elevando ao quadrado (produto sim-
trico), obtemos:
156
3 Geometria - Topologia Elementar
dx
1
= coscosd sinsind
dx
2
1
= cos
2
cos
2
d
2
+sin
2
sin
2
d
2
2sincossincosdd
dx
2
= cossin +sincos
dx
2
2
= cos
2
sin
2
d
2
+sin
2
cos
2
d
2
+2sincossincosdd
dx
3
= sind
dx
2
3
= sin
2
d
2
Pela denio de pullback, temos:
h = i
g
can
= g
can
S
2 = (dx
2
1
+dx
2
2
+dx
2
3
)
S
2
= cos
2
cos
2
d
2
+cos
2
sin
2
d
2
+sin
2
sin
2
d
2
+ sin
2
cos
2
d
2
+sin
2
d
2
= cos
2
=1
.
(cos
2
+sin
2
) d
2
+sin
2
=1
.
(cos
2
+sin
2
) d
2
+sin
2
d
2
= cos
2
d
2
+sin
2
d
2
+sin
2
d
2
=
=1
.
(cos
2
+sin
2
) d
2
+sin
2
d
2
= d
2
+sin
2
d
2
h = d
2
+sin
2
d
2
Exemplo 3.139 Mtricas produto.
Sejam (M
1
, g
1
) e (M
2
, g
2
) variedades Riemannianas. Armamos que (M
1
M
2
, h) uma
variedade Riemanniana, onde
h = g
1
g
2
h(u, v) = g
1
(u
1
, v
1
) +g
2
(u
2
, v
2
)
_
_
u = (u
1
, u
2
)
v = (v
1
, v
2
)
157
3 Geometria - Topologia Elementar
Em termos formais, precisamos vericar os axiomas de mtrica Riemanniana.
1) h(u, v) = h(v, u), u, v T
p
M
1
T
q
M
2
(simetria da mtrica riemanniana)
h(u, v) = g
1
(u
1
, v
1
) +g
2
(u
2
, v
2
) = g
1
(v
1
, u
1
) +g
2
(v
2
, u
2
) = h(v, u)
h(u, v) = h(v, u)
2) h(u +v, w) = h(u, w) +h(v, w), u, v, w T
p
M e R
h(u +v, w) = g
1
(u
1
+v
1
, w
1
) +g
2
(u
2
+v
2
, w
2
)
= g
1
(u
1
, w
1
) +g
1
(v
1
, w
1
) +g
2
(u
2
, w
2
) +g
2
(v
2
, w
2
)
= g
1
(u
1
, w
1
) +g
2
(u
2
, w
2
) +g
1
(v
1
, w
1
) +g
2
(v
2
, w
2
)
= (g
1
(u
1
, w
1
) +g
2
(u
2
, w
2
)) +g
1
(v
1
, w
1
) +g
2
(v
2
, w
2
)
= h(u, w) +h(v, w)
h(u +v, w) = h(u, w) +h(v, w)
3) g
p
(u, u) 0 e (g
p
(u, u) = 0 u = 0
h(u, u) =
g
i
(u
i
,u
i
)0
g
i
(u
i
,u
i
)=0u
i
=0
.
g
1
(u
1
, u
1
) +g
2
(u
2
, u
2
) 0
h(u, u) = 0 u = 0
4) Se X, Y X(U) (so campos diferenciveis) em U aberto de M, a funo:
: U R
(p, q) g
(p,q)
(X(p, q), Y(p, q))
diferencivel. De fato:
g
(p,q)
(X(p, q), Y(p, q)) = g
1
(p)(X
1
(p), Y
1
(p)) +g
2
(q)(X
2
(q), Y
2
(q))
158
3 Geometria - Topologia Elementar
Como as funes q g
i
(q)(X
i
(q), Y
1
(q)) so diferenciveis, segue o que a mtrica pro-
duto obedece a condio de diferenciabilidade
Como exemplos concretos deste tipo de mtrica, apresentamos:
O cilidro S
1
R
+
como superfcie parametrizada do R
3
. Consideremos a carta local:
: (0, 2) R
+
R
3
(, z) (cos, sin, z)
Calculando os vetores tangentes e as componentes da mtrica induzida, obtemos:
_
= (sin, cos, 0)
z
=
z
= (0, 0, 1)
g =
_
_
g
g
z
g
z
g
zz
_
_
=
_
_
1 0
0 1
_
_
g = d
2
+dz
2
O toro n-dimensional T
n
. Sabemos que T
n
=
n vezes
.
S
1
S
1
, e em cada fator, temos a
mtrica Riemanniana g
i
= d
2
i
, donde temos que a mtrica produto em T
n
dada
por:
g =
n
i=1
d
2
i
Exemplo 3.140 Sejam (M
1
, g
1
) e (M
2
, g
2
) variedades Riemannianas e uma funo posi-
tiva : M
2
R. A funo:
h = g
1
+g
2
, O produto warped de mtricas Riemannianas
159
3 Geometria - Topologia Elementar
uma mtrica Riemanniana.
Novamente, apenas uma questo de vericar axiomas. Como exemplo, temos o clculo
realizado em 3.136.
h(u, v) = h(v, u), u, v T
p
M
1
T
q
M
2
h
(p,q)
(u, v) = (q)g
1
(p)(u
1
, v
1
) +g
2
(q)(u
2
, v
2
)
= (q)g
1
(p)(v
1
, u
1
) +g
2
(q)(v
2
, u
2
) = h
(p,q)
(v, u)
h(u, v) = h(v, u)
h
(p,q)
(u +v, w) = h
(p,q)
(u, w) +h
(p,q)
(v, w)
h
(p,q)
(u +v, w) = (q)g
1
(p)(u
1
+v
1
, w
1
) +g
2
(q)(u
2
+v
2
, w
2
)
= (q)g
1
(p)(u
1
, w
1
) +(q)g
1
(p)(v
1
, w
1
) +
+ g
2
(q)(u
2
, w
2
) +g
2
(q)(v
2
, w
2
)
=
=h
(p,q)
(u,w)
.
(q)g
1
(p)(u
1
, w
1
) +g
2
(q)(u
2
, w
2
) +
+
h
(p,q)
(v,w)
.
(q)g
1
(p)(v
1
, w
1
) +g
2
(q)(v
2
, w
2
)
h
(p,q)
(u +v, w) = h
(p,q)
(u, w) +h
(p,q)
(v, w)
h
(p,q)
(u, u) 0 e (g
(p,q)
(u, u) = 0 u = 0
h
(p,q)
(u, u) =
g
1
(p)(u
1
,u
1
) 0
g
1
(p)(u
1
,u
1
)=0u
1
=0
.
(q)g
1
(p)(u
1
, u
1
) +
g
2
(q)(u
2
,u
2
) 0
g
2
(q)(u
2
,u
2
)=0u
2
=0
.
g
2
(q)(u
2
, u
2
)
Se X, Y X(U) (so campos diferenciveis) em U aberto de M, a funo:
160
3 Geometria - Topologia Elementar
: U R
p h
(p,q)
(X((p, q)), Y((p, q)))
diferencivel.
h
(p,q)
(X((p, q)), Y((p, q))) =
diferencivel
.
g
1
(p)(X
1
(p), Y
1
(p)) +
diferencivel
.
g
2
(q)(X
2
(q), Y
2
(q))
Exemplo 3.141 (Modelos para a geometria hiperblica)
Na introduo desta seo, comentamos sobre o nascimento das geometrias no-euclidianas,
e um dos problemas a serem resolvidos depois do trabalho de Lobachevsky, era o de cons-
truir um modelo bidimensional concreto para tal tipo de geometria. Poincar construiu
tais modelos. Um deles o seguinte: consideremos a variedade diferencivel bidimensio-
nal:
H
2
= (x, y) R
2
y > 0
ou seja, se trata do semi-plano real superior. Na mesma, seja a mtrica Riemanniana:
g =
dx
2
+dy
2
y
2
Partio da Unidade - Existncia de mtricas Riemannianas
Na seo anterior, construmos explicitamente mtricas Riemannianas em casos es-
peccos. Uma pergunta natural se dada uma variedade diferencivel M, existe
sempre uma mtrica Riemanniana g sobre a mesma ? Surpreendentemente, a res-
posta armativa. Basicamente, como sempre temos uma mtrica Riemanniana
cannica em R
n
(ver o exemplo 3.135), usamos as cartas do atlas F de M para fazer
pullbacks locais, obtendo mtricas g
I
de subconjuntos de uma variedade M localmente nita se para
cada p M existe uma vizinhana W
p
tal que W
p
A
tais que:
1) f
i
(p) 0, p M.
2) suppf
i
i
uma coleo localmente nita.
3)
i
f
i
(p) = 1, p M.
Denio 3.145 Uma partio da unidade f
i
i
subordinada a uma cobertura U
de
M se para cada i, existe tal que suppf U
.
Proposio 3.146 (Existncia da partio da unidade) Seja M uma variedade diferen-
civel e U
A
uma cobertura aberta de M. Ento existe uma partio da unidade f
i
i
subordinada a cobertura U
i
, subordinada a
cobertura U
. Para cada i, f
i
: M R C
, e as condi-
es na denio 3.144 (partio da unidade) so vericadas.
Em cada U
: U
R
n
seja uma isometria (local) sobre
(U
, u, v T
p
U
(u, v)
= (d
(p)(u), d
(p)(v))
(p)
onde (, ) denota a mtrica Riemanniana cannica em R
n
(veja o exemplo 3.135)
Em qualquer p M, u, v T
p
M, denimos:
g
p
(u, v) =
i
f
i
(p)(u, v)
p
que uma mtrica Riemanniana globalmente denida em M.
(t) ( ou
(t))
163
3 Geometria - Topologia Elementar
ou vetor tangente.
O comprimento de arco da curva dado por:
l
b
a
() =
_
b
a
(t) dt
(t) =
_
g(
(t),
(t))
Denio 3.149 (Reparametrizao de uma curva)
Dada uma curva diferencivel por partes : [a, b] M, uma reparametrizao da
mesma um difeomorsmo : [c, d] [a, b] tal que (s) = t.
Proposio 3.150 Dada uma curva : [a, b] M, o comprimento l
b
a
() no depende da
parametrizao adotada.
Demonstrao: Basta usar a regra da cadeia:
l
d
c
() =
_
d
c
(s) ds =
_
d
c
(p) .
(phi(s)) ds
Fazendo a mudana de varivel t = (s), camos com:
t = (s) dt =
(p) ds
l
d
c
() =
_
d
c
((s)) .
=dt
.
(p) ds =
_
b
a
(t) dt = l
d
c
()
ou seja, o comprimento da curva no depende da parametrizao escolhida.
Exemplos
Exemplo 3.151 (Curva no espao euclidiano)
Seja M = R
n
com a mtrica Riemanniana usual, dada uma curva diferencivel
: [a, b] R
n
, o comprimento da mesma dado por:
164
3 Geometria - Topologia Elementar
(t) = (x
1
(t), . . . , x
n
(t))
(t) = ( x
1
(t), . . . , x
n
(t))
l
b
a
() =
_
b
a
(t) dt =
_
b
a
_
x
1
(t) + + x
n
(t) dt
Como um sub-exemplo mais concreto, seja a curva : [0, 1] R
2
dada por (t) = (t,
t
2
2
).
Aplicando a frmula acima, obtemos:
(t) = (1, t) g(
(t),
(t)) = 1 +t
2
l
1
0
() =
_
1
0
_
g(
(t),
(t)) dt =
_
1
0
1 +t
2
dt
Exemplo 3.152 (Curva no espao hiperblico)
Consideremos o modelo para a geometria hiperblica apresentado no exemplo 3.141. Seja
a curva diferencivel:
: [, 1] H
2
t (t, t)
O vetor velocidade dado por
(t),
(t)) =
_
dx
2
+dy
2
y
2
_
(t)
(
(t),
(t))
=
dx
2
(
(t),
(t)) +dy
2
(
(t),
(t))
t
2
=
2
t
2
Ficamos com:
l
1
=
_
1
(t) dt =
2
_
1
dt
t
=
2nt
1
2n
165
3 Geometria - Topologia Elementar
Um resultado curioso, quando 0:
lim
0
l
1
=
Observao 3.153 Visualmente, a forma da curva escolhida, um segmento de reta
clssico (reta euclidiana), mas no limite acima, quando tende a zero, o compri-
mento ca arbitrariamente grande. O que parece desaar a nossa intuio, mas o
que est em jogo no caso, o fato da mtrica escolhida no ser a euclidiana, e no li-
mite calculado, vamos para o innito dessa variedade (a fronteira correspondente
a y = 0).
Finalmente, apresentamos o seguinte teorema (fonte: [35], pgina 46 ) :
Teorema 3.154 Seja M uma variedade diferencivel conexa, a funo
d : MM R
d(p, q) = inf l
b
a
() : [a, b] M
onde curva diferencivel por partes com (a) = p e (b) = q
uma mtrica sobre M, ou seja:
i) d(x, y) = d(y, x), x, y M
ii) d(x, y) 0 e d(x, y) = 0 x = y
iii) d(x, y) +d(y, z), x, y, z M.
Demonstrao: (apenas a 2 parte do item (ii)) Vamos tomar como fato a 1 parte do
item (i) . Sejam p, q M, com p q; mostremos que d(p, q) > 0. Tomemos (U, ) sistema
de coordenadas local ao redor do ponto p M, com (p) (basta tomar uma carta (V, )
que contenha o ponto , e redenir (x) = (x) (p)) e q U.
Para cada x U, seja d
(x) =
_
n
i=1
x
i
(x)
2
= (x). Tomemos > 0 tal que B =
B(0, ) (U). Logo,
A =
1
(B) compacto em U( em M)
Seja K TU UR
m
dado por
166
3 Geometria - Topologia Elementar
K = (x, X(x) x A e d
x
(X(x)) = 1 .
Temos que K compacto em TU, pois se a carta induzida dada por
: TU (U) R
m
v (v) = (((v)), d
(v)
(v))
ento K =
1
(BS
m
(1)). De fato:
xA
.
(x, X(x)) K (X(x)) = (((X(x))), d
(X(x))
(X(x))) = (
B
.
(x) ,
S
m
(1)
.
d
x
(X(x))) .
Seja G : TU R dada por:
G(x, X(x)) = X(x) =
_
g(X, X)(x) =
_
m
i,j=1
g
ij
(x)dx
i
(X)dx
j
(X)
onde
X =
m
i=1
a
i
x
i
=
m
i=1
a
i
X
i
dx
j
(X) = a
j
g
ij
= g(X
i
, X
j
) = g(
x
i
,
x
j
)
G sempre positiva em K e contnua em TU. Como K compacto, ento G atinge um
mximo R > 0 em K e um mnimo r > 0. Ou seja,
0 < r G(x, X(x)) R, (x, X(x)) K
Agora, temos duas armaes:
167
3 Geometria - Topologia Elementar
Fato 1: x A, X(x) T
x
M, temos rd
x
(X(x)) X(x) Rd
x
(X(x)).
Realmente, se X(x) = 0 ento a desigualdade imediata. Se X(x) 0, consideremos
Y(x) =
X(x)
d
x
(X(x))
. Logo,
d
x
(Y(x) =
d
x
_
X(x)
d
x
(X(x))
_
=
1
d
x
(X(x))
.d
x
(X(x)) = 1
Portanto, (x, Y(x)) K e alm disso, temos:
rd
x
(X(x)) G(x, X(x))d
x
(X(x))
.
Y(x) d
x
(X(x))
=
X(x)
d
x
(X(x))
.d
x
(X(x))
=X(x)
Rd
x
(X(x))
Fato 2: : [a, b] A, diferencivel por partes, temos
rl
b
a
( ) l
b
a
() Rl
b
a
( )
Realmente:
l
b
a
() =
Segue do Fato 1
.
_
b
a
(t) dt
_
b
a
rd
(t)
((t) dt
= r
_
b
a
( )
(t) dt = rl
b
a
( )
Analogamente, temos que l
b
a
() Rl
b
a
( )
Ento, se : [a, b] A uma curva unindo (a) = p e (b) = y A, e assim, uma
curva em B unindo 0 a (y), ento:
l
b
a
() rl
b
a
( ) r(y) = rd
(y)
168
3 Geometria - Topologia Elementar
Logo, y A, d(p, y) rd
(y). Em particular, se y A,
(y)=p
.
(y) B e
d(p, y) rd
(y) = r
Assim, se : [a, b] M uma curva unindo p a q, existe z = (c) A tal que:
l
b
a
() =
_
b
a
(t) =
r
.
_
c
a
(t) dt +
0
.
_
b
c
(t) dt r
d(p, q) r > 0
Observao 3.155 O teorema 3.154 prov uma estrutura de espao mtrico para
Variedades Riemannianas conexas. Alm disto, a topologia do espao mtrico
(M, d) a mesma que a da variedade diferencivel M (os espaos so homeomor-
fos).
169
4 Geometria Espinorial
4.1 Introduo
Este captulo a alma da tese: aqui apresentamos as condies para que campos es-
pinoriais (pinoriais) sejam denidos numa variedade diferencivel M. Vamos come-
ar caracterizando (parte de) os grupos espinoriais. Evitamos apresentar os mesmos
anteriormente porque so grupos de natureza tanto algbrica quanto geomtrica, e
para serem melhor apreciados, s conveniente apresentar os mesmos agora.
4.2 Grupos de Cliord
Antes de comearmos, por uma questo de simplicidade, trataremos apenas do caso
em que V = R
n
, munido da forma quadrtica q(x) = x = (x, x) (o produto
escalar usual). Seguimos de perto [17] (pginas 1-30) e [14] (pginas 7-29).
Denio 4.1 Seja (V, q) um espao quadrtico, com Cl(V, q) a lgebra de Cliord de-
corrente. Denimos a conjugao de Cliord, como sendo a funo:
t = t : Cl(V, q) Cl(V, q)
x = t (x)
Onde t a transposio 2.48 e a involuo graduada 2.47. Fixada uma base
= e
1
, e
2
, . . . , e
n
de V, temos que a conjugao de Cliord toma a seguinte forma na base
associada:
e
i
= e
i
e
i
1
e
i
2
. . . e
i
k
= (1)
k
e
i
k
e
i
k1
. . . e
i
1
, 1 i
1
< i
2
< < i
k
n
1 = 1
170
4 Geometria Espinorial
Denio 4.2 A aplicao:
N : Cl(V, q) Cl(V, q)
x xx
chamada de norma de um elemento x Cl(V, q). Na prxima proposio, A = Cl(V, q)
e U(A) o grupo das unidades da lgebra A.
No caso em que x V, temos que N(x) = q(x)1.
Agora vamos denir o grupo de Cliord (q):
Proposio 4.3 Seja (V, q) um espao quadrtico e A = Cl(V, q) a lgebra de Cliord
associada. O grupo de Cliord o conjunto:
(q) = x U(A) (x)vx
1
V, v V
Demonstrao: (i):
x, y (q) (xy)v(xy)
1
= (x)
=wV
.
(y)vy
1
x
1
=
V
.
(x)wy
1
xy (q)
(ii):
1 A(1)v1
1
= 1.v.1 = v V, v V
1 (q)
(iii):
x (q) (x)vx
1
V, v V
(x)vx
1
= w (x)v = wx v = (x)
1
wx = (x
1
)wx
v = (x
1
)wx V
171
4 Geometria Espinorial
como v arbitrrio, segue que x
1
(q).
Portanto, (q) U(A) um grupo.
Uma proposio que ser til mais adiante (precisamente, a proposio 4.8) a
seguinte:
Proposio 4.4 As aplicaes e t induzem um automorsmo e um anti-automorsmo
do grupo de Cliord (q)
Demonstrao: Ver [17] pginas 15 e 16 e as denies 2.48, 2.47
Da proposio 4.3, temos naturalmente que:
Denio 4.5 Seja (V, q) um espao quadrtico e Cl(V, q) a lgebra de Cliord associ-
ada. Ento, a aplicao:
: (q) GL(V)
x
x
: V V
dada por
x
(v) = (x)vx
1
e chamada de representao adjunta contorcida.
Essa denio, usada pela primeira vez em [20], importante porque, quando v V
e q(v) 0, a aplicao
v
uma reexo R
v
em relao a um hiperplano ortogonal a
v. o que veremos na prxima proposio:
Proposio 4.6 Seja (V, q) um espao quadrtico e Cl(V, q) a lgebra de Cliord asso-
ciada. Para todo elemento x (q), se q(v) 0, ento a aplicao
x
: V V dada
por:
v (x)vx
1
, v V
a reexo em relao ao hiperplano ortogonal ao vetor x.
Demonstrao: A denio usual para uma reexo R
x
em relao a um plano , orto-
gonal a um vetor x, dada por:
R
x
(u) = u 2
B(u, x)
q(x)
x
Onde B(x, y) a forma bilinear da qual a forma quadrtica q provm.
172
4 Geometria Espinorial
Agora, sabemos que:
x
2
= q(x)1
ux +xu = 2B(u, x)1
Temos:
R
x
(u) = u 2
B(u, x)
q(x)
x
= u 2B(u, x)(
1
q(x)
x)
= u 2B(u, x)x
1
= u (2B(u, x)1)x
1
= u (ux +xu)x
1
= xux
1
= (x)ux
1
pois (x) = x, x V
O nosso objetivo nal nesta Seo, denir grupos (Pin e Spin) tais que a aplicao
seja sobrejetora, e cujo ncleo, seja isomorfo a Z
2
. O primeiro passo nesse sentido,
a proposio:
Proposio 4.7 O ncleo da aplicao : (q) GL(V) R
1, o grupo multiplicativo
dos escalares no-nulos da unidade 1 Cl(V, q). (Aqui, tomamos um espao vetorial V
sobre o corpo dos nmeros reais R)
Demonstrao: Se (x) = id, ento:
(x)v = vx, v V
Como Cl(V, q) = Cl(V, q)
0
Cl(V, q)
1
, podemos decompor x = x
0
+x
1
, comx
i
Cl(V, q)
i
.
Desse modo, a equao acima toma a forma:
x
0
v = vx
0
x
1
v = vx
1
, v V
Agora, usando a proposio 2.51, podemos escrever x
0
como uma combinao linear de
173
4 Geometria Espinorial
monmios na base cannica = e
1
, e
2
, . . . , e
n
, donde:
x
0
= a
0
+e
1
b
1
, com a
0
Cl(V, q)
0
, b
1
Cl(V, q)
1
onde a
0
, b
1
no contm um somando com um fator e
1
. Desta relao tambm temos que:
e
1
a
0
+e
2
1
= a
0
e
1
+e
1
b
1
e
1
Como a base = e
1
, e
2
, . . . , e
n
q-ortogonal, segue que:
e
j
e
k
= e
k
e
j
, j k
E como cada monmio a
0
de grau par e no contm nenhum fator e
1
, obtemos:
a
0
e
1
= e
1
a
0
De forma anloga, como b
1
de grau mpar e no contm nenhum fator e
1
, tambm segue:
e
1
b
1
= e
2
1
b
1
Ento, camos com:
e
1
a
0
+e
2
b
1
= a
0
e
1
+e
1
b
1
e
1
= e
1
a
0
e
2
1
e
2
1
b
1
e portanto, e
2
1
b
1
= 0. Contudo, e
2
1
= 1, e portanto, b
1
= 0. Disto segue que x
0
no contm
nenhum monmio com um fator e
1
. Repetindo o mesmo argumento para os elementos
restantes da base , provamos que x
0
R1.
Usando um argumento semelhante, com x
1
= a
1
+e
1
b
0
e v = e
1
mostra que b
0
= 0, donde
conclumos que x
1
R. Mas sabemos que R1 Cl(V, q) e portanto x
1
= 0. Portanto,
x = x
0
(R1) (q) = R
1.
Demonstrao: A idia mostrar que N(x) est contido no ncleo de (a representao
adjunta contorcida). Se x (q), ento:
(x)vx
1
V, v V
Aplicando a transposio t na equao acima, obtemos:
t((x)vx
1
) = t(x
1
)t(v)t((x)) =
V
.
(x)vx
1
Ento, temos:
v = t(x)(x)v(t((x))x)
1
= (xx)v(xx)
1
Donde segue que xx Ker(). Finalmente, da proposio 4.4, temos que x (q), e
portanto, xx = xx Ker().
No prximo resultado, restringimos o domnio da funo norma N(x).
Proposio 4.9 A restrio da norma N para (q) um homomorsmo N : (q) R
1,
e N((x)), x (q).
Demonstrao: Temos que:
N(xy) = xyxy = xyyx = xN(y)x
=
N(x)R
.
xxN(y) = N(x)N(y)
Ficamos com:
N((x)) = (x)(x) = (xx) = (N(x) = N(x)
175
4 Geometria Espinorial
Tambm temos que:
Proposio 4.10 A representao contorcida restrita a (q) toma valores em O(n)
Demonstrao: Seja x (q) e v V, com v 0. Temos:
N((x)(v)) = N((x)vx
1
) = N((x)N(v)N(x
1
)) =
= N(x)N(v)N(x)
1
= N(v) N((x)(v)) = N(v)
Como v R
n
, segue que N(v) = q(v)1.
Portanto, (x) preserva norma, ou seja, (x) O(n).
4.3 Denio dos grupos Pin e Spin
Observao 4.11 No que segue, a forma quadrtica especca, e tomamos q =
(x, x), o produto escalar usual em mathbbR
n
Denio 4.12 Denimos o grupo Pin(q) como sendo o ncleo do homomorsmo
N : (q) R
1 N(t) = 1 = 1, 1 Z
2
Para o caso de Spin(n). precisamos mostrar que a restrio
Spin(n)
leva (q) em SO(n).
Mostremos isso por absurdo: suponhamos que exista T O(n) tal que (x) = T, onde
x (q) Cl(V, q)
0
. Porm, pelo teorema de Cartan-Dieudonn, T pode ser escrita como
o produto de no mximo n reexes:
T = (v
1
v
2
. . . v
2k+1
)
Como (v
1
v
2
. . . v
2k+1
) = (x), temos que x
1
v
1
v
2
. . . v
2k+1
Ker() e pela proposio 4.7
devemos ter:
x
1
v
1
v
2
. . . v
2k+1
= c1
Para algum c R
, e ento
v
1
v
2
. . . v
2k+1
= cx
Mas x possui grau par, enquanto que v
1
v
2
. . . v
2k+1
possui grau mpar (absurdo!). Por-
tanto:
177
4 Geometria Espinorial
Spin(n)
((q)) = SO(n)
(ii): Spin(3)
A lgebra de Cliord Cl(0, 3) gerada por oito elementos:
1, e
1
, e
2
, e
3
, e
1
e
2
, e
2
e
3
, e
3
e
1
, e
1
e
2
e
3
que satisfazem as seguintes relaes:
e
2
i
= 1
e
i
e
j
= e
j
e
i
, 1 i, j 3, i j
O grupo Spin(3) consiste de todos os produtos:
2k
_
i=1
(a
i
e
1
+b
i
e
2
+c
i
e
3
)
tal que a
2
i
+ b
2
i
+ c
2
i
= 1. Devido as relaes acima (que denem as constantes de
estrutura da lgebra) temos que um elemento de Spin(3) pode ser escrito como:
X = a1 +be
2
e
3
+ce
3
e
1
+de
1
e
2
onde x satisfaz as condies que xvx
1
R
3
v R
3
, e N(x) = 1. Como:
180
4 Geometria Espinorial
x = a1 be
2
e
3
ce
3
e
1
de
1
e
2
obtemos:
N(x) = a
2
+b
2
+c
2
+d
2
Com as condies x Cl
0
0,3
e N(x) = 1, temos que xvx
1
R
3
, v R
3
. Para provar
esta armao, observemos que N(x) = 1 implica que x
1
= |x, e que v = v, v
R
3
, e portanto:
xvx
1
= xvx
1
E como x Cl
0
0,3
e v Cl
1
0,3
, segue que xvx
1
Cl
1
0,3
. Donde, podemos escrever:
xvx
1
= u +e
1
e
2
e
3
com u R
3
e R
Mas
e
1
e
2
e
3
= e
3
e
2
e
1
= e
1
e
2
e
3
e portanto:
xvx
1
= u +e
1
e
2
e
3
= xvx
1
= u e
1
e
2
e
3
disso segue que = 0. Portanto, xvx
1
R
3
como armamos. Ento, o grupo Spin(3)
consiste dos elementos
x = a1 +be
2
e
3
+ce
3
e
1
+de
1
e
2
tais que a
2
+b
2
+c
2
+d
2
= 1
Agora, atravs da bijeo
181
4 Geometria Espinorial
: SU(2) Spin(3)
i e
2
e
3
j e
3
e
1
k e
1
e
2
temos um isomorsmo entre o grupo SU(2) (identicado com os quatrnios unit-
rios, a esfera S
3
) e o grupo Spin(3).
Se x = a1 +be
2
e
3
+ce
3
e
1
+de
1
e
2
Spin(3), observemos que:
x
1
= x = a1 be
2
e
3
ce
3
e
1
de
1
e
2
Agora, devido as identicaes denidas acima, segue que:
(e
1
e
2
e
3
)
2
= 1
(e
1
e
2
e
3
)i = i(e
1
e
2
e
3
) = e
1
(e
1
e
2
e
3
)j = j(e
1
e
2
e
3
) = e
2
(e
1
e
2
e
3
)k = k(e
1
e
2
e
3
) = e
3
(e
1
e
2
e
3
)e
1
= i
(e
1
e
2
e
3
)e
2
= j
(e
1
e
2
e
3
)e
3
= k
Ento, se x = a1 + bi + cj + dk Spin(3) (estamos identicando com um quatrnio,
via a funo denida acima), para todo v = v
1
e
1
+v
2
e
2
+v
3
e
3
, temos:
(x)vx
1
= x(v
1
e
1
+v
2
e
2
+v
3
e
3
)x
1
= x(e
1
e
2
e
3
)
2
(v
1
e
1
+v
2
e
2
+v
3
e
3
)x
1
= (e
1
e
2
e
3
)x(e
1
e
2
e
3
)(v
1
e
1
+v
2
e
2
+v
3
e
3
)x
1
= (e
1
e
2
e
3
)x(v
1
i +v
2
j +v
3
k)x
1
.
Este ltimo resultado mostra que a rotao
x
SO(3) induzida por x Spin(3) pode
ser vista como a rotao induzida pelo quatrnio a1+bi +cj +dk sobre os quatrnios
182
4 Geometria Espinorial
puros, usando as aplicaes:
v (e
1
e
2
e
3
)v
x (e
1
e
2
e
3
)x
para passar do vetor v = v
1
e
1
+v
2
e
2
+v
3
e
3
para o quatrnio puro q = v
1
i +v
2
j +v
3
k e
vice-versa.
(iii): Spin(4)
O grupo Spin(4) consiste de todos os produtos
2k
_
i=1
(a
i
e
1
+b
i
e
2
+c
i
e
3
+d
i
e
4
)
tal que a
2
i
+b
2
i
+c
2
i
+d
2
i
= 1. Usando as relaes
e
2
i
= 1
e
i
e
j
= e
j
e
i
, 1 i, j 4, i j
segue que todo elemento de Spin(4) pode ser escrito como
x = a
1
1 +a
2
e
i
e
2
+a
3
e
2
e
3
+a
4
e
3
e
1
+a
5
e
4
e
3
+a
6
e
4
e
1
+a
7
e
4
e
2
+a
8
e
1
e
2
e
3
e
4
onde x satisfaz a condio que xvx
1
R
4
, v R
4
, e N(x) = 1. Agora, consideremos
o seguinte:
i
1
= e
1
e
2
j
1
= e
2
e
3
k
1
= e
3
e
1
i
2
= e
4
e
3
j
2
= e
4
e
1
k
2
= e
4
e
2
I = e
1
e
2
e
3
e
4
183
4 Geometria Espinorial
Desse conjunto de denies, segue que:
i
1
j
1
= k
1
j
1
k
1
= i
1
k
1
i
1
= j
1
i
2
1
= 1, j
2
1
= 1, k
2
1
= 1
i
1
I = Ii
1
= i
2
j
1
I = IJ
1
= J
2
k
1
I = Ik
1
= k
2
I
2
= 1, I = I
Ento, todo x Spin(4) pode ser escrito como:
x = u +Iv, com
u = a
1
1 +b
1
i
1
+c
1
j
1
+d
1
k
1
v = a
2
1 +b
2
i
2
+c
2
j
2
+d
2
k
2
sujeito as restries de acima.
Usando essas constantes de estrutura, camos com:
(u
1
1 +Iv
1
)(u
2
1 +Iv
2
) = u
1
u
2
+v
1
v
2
+I(u
1
v
2
+v
1
u
2
)
Donde, segue que:
N(u1 +Iv) = (u +Iv)(u +Iv) = uu +vv +I(uv +vu)
e ento, quando N(u +Iv) = 1, temos que:
uu +vv = 1
uv +vu = 0
184
4 Geometria Espinorial
Como no caso n = 3, temos que as condies x Cl
0
0,4
e N(x) = 1, implicam que
xvx
1
R
4
, v R
4
. Alm disso, temos que xvx
1
Cl
1
0,4
pode ser escrito como:
xvx
1
= u +
i,j,k
ijk
e
i
e
j
e
k
, para algum u R
4
, com 1 i, j, k 4
de forma anloga, obtemos que
ijk
= 0. Ento, o grupo Spin(4) consiste de todos os
elementos do tipo u +Iv tais que:
uu +vv = 1
uv +vu = 0
com u e v da forma a1+bi +cj +dk. Finalmente, vamos estabelecer um isomorsmo
entre Spin(4) e SU(2) SU(2). Consideremos a aplicao:
: Spin(4) SU(2) SU(2)
(x +Iy) = (x +y, x y)
Precisamos mostrar que a funo est bem denida e que se trata de uma bijeo
que preserva a estrutura de grupo.
De fato:
N(x +y) = (x +y)(x +y) =
=1
.
xx +yy +
=0
.
xy +yx = 1
Analogamente, temos N(x y) = 1.
Por um lado, temos:
((x
1
+y
1
I)(x
2
+y
2
I)) = ((x
1
x
2
+y
1
y
2
) +(x
1
y
2
+y
1
x
2
)I)
= (x
1
x
2
+y
1
y
2
+x
1
y
2
+y
1
x
2
, x
1
x
2
+y
1
y
2
x
1
y
2
y
1
x
2
)
Enquanto que:
185
4 Geometria Espinorial
(x
1
+y
1
I)(x
2
+y
2
I)) = (x
1
+y
1
, x
1
y
1
)(x
2
+y
2
, x
2
y
2
) = ((x
1
+y
1
)(x
2
+y
2
), (x
1
y
1
)(x
2
y
2
))
= (x
1
x
2
+y
1
y
2
+x
1
y
2
+y
1
x
2
, x
1
x
2
+y
1
y
2
x
1
y
2
y
1
x
2
)
Mostremos agora que se trata de uma funo injetora:
ker = x +yI (x +yI) = (I
2
, I
2
)
= x +yI (x +y, x y) = (I
2
, I
2
)
ker = 1
Aqui, implicitamente estamos usando que SU(2) S
3
(um difeomorsmo). E como
a funo claramente sobrejetora, segue que temos um isomorsmo de grupos.
4.5 Estruturas Espinoriais
Nos captulos anteriores deste trabalho, ns apresentamos brevemente as estruturas
algbricas bsicas subjacentes para podermos denir o objeto geomtrico alvo: cam-
pos (pinoriais) espinoriais. Ao contrrio dos campos clssicos (sees de um brado
vetorial ou principal), existem obstrues para se denir de forma consistente um
campo espinorial (pinorial) sobre uma variedade M. O primeiro conceito que va-
mos discutir o de estrutura espinorial(para maiores detalhes, ver [13] a partir da
pgina 35) e para detalhes em geral sobre brados, ver [15], captulos 5 e 7.
Denio 4.15 Seja M uma variedade diferencivel riemanniana e (Q, , M, SO(n)) um
brado principal sobre M. Uma estrutura espinorial um par (, P), onde P um
Spin(n)-brado principal sobre M e : P Q um recobrimento duplo tal que o dia-
grama abaixo comuta:
P Spin(n)
R
Spin
-
P
X
-
QSO(n)
?
R
SO(n)
-
Q
-
186
4 Geometria Espinorial
4.5.1 Exemplos de estruturas espinoriais
Em geral, ao denirmos um brado (seja o mesmo principal ou vetorial) no ime-
diata a caracterizao do espao total do mesmo. Nos exemplos desta Seo, vamos
apresentar casos particulares, que permitem tal identicao. Nossas referncias
principais so [23], [27], [28], e [29].
Exemplo 1: Seja S
n
= x R
n+1
(x, x) = 1, n 2 a esfera n-dimensional usual.
fato (ver [23] pgina 164, e [27] pgina 90) que o grupo SO(n +1) age transitiva-
mente na esfera S
n
, portanto, a mesma um espao homogneo.
Ou seja, S
n
SO(n+1)
SO(n)
, para ver isso, primeiro, para determinar o grupo de isotro-
pia G
p
, xamos um ponto da esfera, por exemplo, tomemos p = e
1
= (1, 0, 0, . . . , 0),
segue ento que G
p
= g SO(n + 1) g.p = p SO(n), no caso, estamos usando a
identicao:
A SO(n)
_
_
1 0
0 A
_
_
SO(n +1)
A seguir, a aplicao:
: SO(n +1) S
n
(A) = A(e
1
)
Dene uma brao sobre a esfera S
n
, com bra F SO(n).
Para vermos que esta armao verdadeira, consideremos o aberto V S
n
, for-
mado pelos vetores unitrios x = (x
1
, . . . , x
n+1
) tais que x
1
> 0; ento, segue que a
matriz [x, e
2
, . . . , e
n+1
], cujas colunas so esses n +1 vetores, possui determinante po-
sitivo. Aplicando o algoritmo de ortonormalizao de Gram-Schmidt aos vetores
coluna dessa matriz, obtemos uma matriz ortogonal, que indicaremos com s(x), a
qual depende continuamente do vetor x. Ou seja, temos ento uma funo cont-
nua:
s : V SO(n +1)
Como x um vetor unitrio, o algoritmo de Gram-Schmidt no o altera, de modo
187
4 Geometria Espinorial
que a primeira coluna da matriz s(x) x. Donde, temos que
s : v
1
(V)
uma Seo local de S
n
, ou seja, s = id
V
. Com essa Seo local s, denimos a
trivializao local:
V
: V SO(n)
1
(V)
V
(x, A) = s(x)A
Na denio da trivializao local
V
, estamos usando a identicao da matriz A
SO(n) com sua cpia em SO(n+1). Nessa denio, temos um produto de matrizes,
onde as primeiras colunas de s(x) e A so respectivamente x e e
1
, e a primeira coluna
de s(x)A x. Ou seja:
(
V
(x, A)) = x
Portanto,
V
uma trivializao local, cujo homeomorsmo inverso dado por
V
:
1
(V) V SO(n)
V
(A) = (x, s(x)
1
A), onde x = (A)
A construo apresentada, fornece uma trivializao local para V, vizinhana de e
1
em S
n
. Mas e para cobrir a esfera toda ? Tomamos para cada y S
n
, uma transfor-
mao linear T SO(n + 1) tal que T(e
1
) = y. Assim, W = T(V) uma vizinhana
aberta de y. Finalmente, denimos a trivializao local:
W
: W SO(n)
1
(W)
W
(w, A) = (T s T
1
)(w)A
Temos ento uma brao : SO(n + 1) S
n
. Agora compondo esta brao com
a representao concontorcida em SO(n + 1) ( o recobrimento duplo de brados)
obtemos:
188
4 Geometria Espinorial
Spin(n +1)
SO(n +1)
S
n
,
e compondo estas aplicaes, obtemos uma brao
Spin(n)
= : Spin(n +1)
S
n
.
Finalmente, como
1
(S
n
) = 0 para n 2, esta a nica estrutura espinorial sobre a
esfera S
n
.
Exemplo 2: Seja S
1
= x R
2
(x, x) = 1 a circunferncia unitria no plano real.
Como
S
1 Z, segue que H
1
(S
1
, Z
2
) = hom(
1
S
1
, Z
2
) = 2, e portanto, S
1
admite
duas estruturas espinoriais no equivalentes.
As mesmas so dadas por:
A) A estrutura espinorial trivial:
S
1
Z
2
1
S
1
id
S
1
S
1
B) A estrutura espinorial contorcida:
S
1
f
S
1
id
S
1
S
1
Onde f (z) = z
2
.
Exemplo 3: Seja T
n
=
nvezes
.
S
1
S
1
S
1
o toro n-dimensional. Como T
n
um grupo
de Lie, segue que T(T
n
) T
n
R
n
e P
SO(n)
(T(T
n
)) T
n
SO(n). Como
1
(T
n
) Z
n
,
temos que T
n
possui 2
n
estruturas espinoriais equivalentes (ver [29], exemplo 2,
pgina 22).
Passemos agora a uma apresentao sobre pinores e orientabilidade, nossa fonte
nesta seo [6], seo 2.
189
4 Geometria Espinorial
4.6 Estruturas Pinoriais
4.6.1 Denies bsicas
Ao contrrio do grupo SO(n), o grupo O(n) possui dois recobrimentos duplos Pin
|
,
obtidos das lgebras de Cliord com assinaturas (das formas quadrticas) positiva
e negativa respectivamente. Sejam p
|
: Pin
|
O(n) os recobrimentos associa-
dos, com kernel 1, 1 Z
2
. Fixando a base cannica e
1
, . . . , e
n
do R
n
e deno-
tando por j
1
a reexo em relao ao hiperplano e
1
, temos que O(n) = (SO(n), j
1
), e
(p
|
)
1
(1, j
1
) = |1, |e
1
.
Denio 4.16 Seja : E M um brado vetorial de posto n e
O
: P
O
E M o brado
de referenciais com grupo estrutural O(n). Uma estrutura pinorial pin
|
sobre E um
brado principal
Pin
| : P
Pin
|E M com grupo estrutural Pin
|
, e o recobrimento duplo
: P
Pin
|E P
O
E tal que o diagrama abaixo comuta:
Denio 4.17 Duas estruturas pinoriais (
Pin
|,
|
) e (
Pin
|
,
|
) so equivalentes se
existe um isomorsmo de brados : P
Pin
|E P
Pin
|
E tal que
= .
Tal como no caso das estruturas espinoriais, existem obstrues para a existncia de
uma estrutura pinorial.
E admite uma estrutura Pin
+
se e somente se w
2
(E) = 0.
E admite uma estrutura Pin
se e somente se w
2
(E) +w
1
(E) w
1
(E) = 0.
Onde w
1
(E), w
2
(E) so as primeira e segunda classes de Stiefel-Whitney res-
pectivamente.
Alm disso, uma estrutura pinorial sobre uma variedade uma estrutura espinorial
no seu brado tangente. Pullbacks de estruturas geomtricas algo usual, no caso
190
4 Geometria Espinorial
dos pinores, o mesmo toma a seguinte forma: seja M uma variedade diferencivel
de dimenso 2n, dada uma pin
|
estrutura (estrutura pinorial) : P
Pin
|M P
O
M e
uma isometria : M M, dene-se uma pin
|
estrutura
atravs do diagrama
abaixo:
o qual comuta, ou seja
= d
1
. Devemos ressaltar que o espao total do
brado principal P
Pin
|M o mesmo para e
, ou seja, se existe um
levantamento
d tal que o diagrama abaixo comuta:
4.6.2 Recobrimento duplo de uma variedade no-orientvel
bem conhecido que toda variedade no orientvel X possui um recobrimento du-
plo orientvel
X com uma involuo que preserva orientao tal que X ~
X
. Se
consideramos a projeo cannica :
X X, natural estudarmos a aplicao in-
duzida (entre grupos de homologia)
: H
1
(
X, Z
2
) H
1
(X, Z
2
) e consequentemente
191
4 Geometria Espinorial
: H
1
(X, Z
2
) H
1
(
X, Z
2
). Os resultados a seguir resumem os fatos importantes
sobre recobrimento duplo de variedades no-orientveis:
Lema 4.18 Seja G um grupo e H um subgrupo tal que [G : H] = 2. Ento a aplicao
natural AbH AbG possui imagem com ndice 2 (onde AbG o abelianizado do grupo
G).
Demonstrao: Ver [6], pgina 5.
Lema 4.19 Para a projeo cannica :
X X e os brados tangentes p : TX X e
p : T
X TX, existe um isomorsmo cannico de brados:
: T
X
~
TX
v (d(v), p(v))
De forma anloga para o brado dos referenciais ortogonais, em relao mtrica g em X
e seu pull-back
g em
X, existe um isomorsmo cannico:
: P
O
X
~
P
O
X
x (d(x), p(x))
Demonstrao: Ver [6], pgina 6.
4.6.3 Pinores no recobrimento duplo
Vamos comparar pinores sobre uma varivel no-orientvel X com pinores no seu
recobrimento duplo
X os quais so invariantes. O lema abaixo fornece uma con-
dio de existncia de estruturas espinoriais a partir de estruturas pinoriais.
Lema 4.20 Se X admite uma Pin
+
-estrutura, ou uma Pin
-estrutura, ento
X spin.
Demonstrao: Ver [6], pgina 7.
Suponhamos que uma pin
|
estrutura sobre
X invariante; ento temos dois
possveis levantamentos para d :
d e
d . Aps uma longa sequncia de argu-
mentos de alta tecnicalidade, os autores de [6] concluem que existe uma incluso
192
4 Geometria Espinorial
das Pin
|
estruturas em X nas Pin
|
estruturas em
X com
d
2
= 1 (ver [6], pginas
8 e 9).
Para nalizar esse brevssimo resumo dos resultados apresentados em [6](pgina
14), temos que todas superfcies no-orientveis podem ser obtidas via soma conexa
de toros, planos projetivos reais e garrafas de Klein.
Uma pergunta que falta responder: quem so os espinores ? Ou seja: temos uma
classicao dos mesmos (pelo menos) dentro do contexto de uma variedade linear
(o R
n
) ? o que faremos na prxima Seo, retomando o que foi feito no nal do
captulo 1. Seguimos de perto [5], pginas 185-190.
4.7 Espinores Algbricos
Denio Um elemento de um ideal esquerda minimal de uma lgebra de Clif-
ford ((V, g) dito um espinor algbrico se ((V, g) for uma lgebra simples e um
semiespinor algbrico se ((V, g) for semissimples.
Posta essa denio, podemos agora identicar os espinores algbricos segundo a
classicao das lgebras de Cliord. Para uma lgebra de Cliord simples temos
(
p,q
~ /(N, K) e um ideal esquerda minimal de (
p,q
isomorfo a K
N
. Usamos
esse isomorsmo para classicar os espinores algbricos. No caso de uma lgebra
de Cliord semissimples temos (
p,q
~ /(N, K) ~ /(N, K) e um ideal minimal
esquerda de (
p,q
isomorfo a K
N
. Semiespinores algbricos so classicados de
acordo com esse isomorsmo, ou seja, como elementos de K
N
. Nesse caso a soma de
semiespinores algbricos chamada um espinor algbrico embora para esse caso
o ideal no seja minimal. Para uma lgebra de Cliord semissimples um espinor
algbrico classicado como K
N
K
N
.
Olhando agora para a tabela de classicao das lgebras de Cliord podemos clas-
sicar os espinores algbricos.
p q = 0, 2 mod 8 Nesse caso temos (
p,q
~ /(2
[n/2]
, R). Um espinor algbrico
um elemento de um ideal esquerda minimal isomorfo a R
2
[n/2]
.
p q = 4, 6 mod 8 Aqui temos (
p,q
~ /(2
[n/2]1
, H). O espao de espinores alg-
bricos isomorfo a H
2
[n/2]1
.
193
4 Geometria Espinorial
p q = 3, 7 mod 8 Nesse caso (
p,q
~ /(2
[n/2]
, C). Portanto o espao dos espinores
algbricos isomorfo a C
2
[n/2]
. A possibilidade p q = 3, 7 mod 8 s acontece se a
dimenso do espao quadrtico for n = p + q mpar. Nesse caso um pseudo-escalar
(n-vetor) comuta com todos os elementos de (
p,q
e satisfaz
2
= 1. Portanto
dene uma estrutura complexa.
p q = 5 mod 8 Aqui a lgebra de Cliord (
p,q
semissimples. Temos (
p,q
~
/(2
[n/2]1
, H) /(2
[n/2]1
, H). Esta uma situao onde segundo nossa denio
temos semiespinores algbricos. O espao dos semiespinores algbricos isomorfo
a H
2
[n/2]1
. J o espao dos espinores algbricos isomorfo a H
2
[n/2]1
H
2
[n/2]1
. Para p
q = 5 mod 8 umn-vetor comuta comtodos os elementos de (
p,q
e tal que
2
= 1.
Nesse caso podemos escrever (
p,q
=
+
(
p,q
(
p,q
com
|
(
p,q
~ /(2
[n/2]1
, H).
p q = 1 mod 8 Aqui a lgebra de Cliord (
p,q
semissimples. Temos (
p,q
~
/(2
[n/2]
, R) /(2
[n/2]
, R). O espao dos semiespinores algbrico isomorfo a R
2
[n/2]
.
O espao dos espinores algbricos isomorfo a R
2
[n/2]
R
2
[n/2]
. Para p q = 1 mod 8
um n-vetor comuta com todos os elementos de (
p,q
e tal que
2
= 1. Nesse caso
tambm podemos escrever (
p,q
=
+
(
p,q
(
p,q
com
|
(
p,q
~ /(2
[n/2]
, R).
Podemos resumir essas informaes na seguinte tabela:
p q
mod8
0 1 2 3
S
A
p,q
R
2
[n/2]
R
2
[n/2]
R
2
[n/2]
R
2
[n/2]
C
2
[n/2]
p q
mod8
4 5 6 7
S
A
p,q
H
2
[n/2]1
H
2
[n/2]1
H
2
[n/2]1
H
2
[n/2]1
C
2
[n/2]
Classicao dos Espinores Algbricos - Caso Real
(p +q = n e [n/2] denota a parte inteira de n/2)
Para o caso das lgebras de Cliord complexas a situao muito mais simples. Para
dimV = n par temos a lgebra de Cliord complexa (
C
(2k) ~ /(2
k
, C), de modo
que o espao dos espinores algbricos isomorfo a C
2
k
. Para dimV = n mpar a
lgebra de Cliord complexa (
C
(2k +1) ~ /(2
k
, C) /(2
k
, C). O espao dos semi-
espinores algbricos portanto isomorfo a C
2
k
e o espao dos espinores algbricos
nesse caso isomorfo a C
2
k
C
2
k
.
194
4 Geometria Espinorial
n = 2k C
2
k
n = 2k +1 C
2
k
C
2
k
Espinores Algbricos - Caso Complexo
Exemplo 4.21 Os exemplos mais importantes em Fsica envolvem as dimenses 3 e 4.
Para o espao quadrtico R
3,0
temos a lgebra de Cliord (
3,0
~ /(2, C). O espao dos
espinores algbricos de (
3,0
isomorfo a C
2
. Para o espao quadrtico R
0,3
temos (
0,3
~
HH. Temos ento os semiespinores algbricos como elementos de um espao isomorfo a
H. Para o espao quadrtico R
1,3
temos (
1,3
~ /(2, H) e portanto o espao dos espinores
algbricos H
2
. J para R
3,1
temos (
3,1
~ /(4, R) e o espao dos espinores algbricos
R
4
. Para as lgebras de Cliord complexas temos para (
C
(3) ~ /(2, C) /(2, C)
e o espao dos semiespinores algbricos C
2
. J para (
C
(4) ~ /(4, C) e o espao dos
espinores algbricos C
4
.
4.8 Espinores Clssicos
Denio Seja R
p,q
um espao quadrtico, (
p,q
a lgebra de Cliord desse espao e
Spin
+
(p, q) o grupo Spin reduzido associado (
p,q
(para a denio deste grupo, ver
[5], pgina 163). Um elemento do espao de representao irredutvel de Spin
+
(p, q)
dito um espinor clssico.
Lembrando a denio de Spin
+
(p, q) = a
+
p,q
N(a) = 1, onde o conjunto dos
elementos do grupo de Cliord-Lipschitz que so pares, uma representao irredu-
tvel de Spin
+
(p, q) descende de maneira bvia de uma representao irredutvel da
sublgebra par (
+
p,q
. Por outro lado, quando discutimos a classicao das lge-
bras de Cliord, estabelecemos um importante resultado, que foi (
+
p,q
~ (
q,p1
~
(
p,q1
~ (
+
q,p
. Uma representao irredutvel de (
+
p,q
~ (
+
q,p
obtida portanto a
partir de uma representao irredutvel de (
q,p1
~ (
p,q1
, que j sabemos quais
so. Em outras palavras, um espinor clssico em um espao quadrtico R
p,q
ou R
q,p
um espinor (ou semiespinor) algbrico em um espao quadrtico R
q,p1
ou R
p,q1
.
Para facilitar a nossa anlise, vamos usar esses isomorsmos para montar uma ta-
bela com a classicao das lgebras de Cliord pares.
195
4 Geometria Espinorial
p q
mod8
0 1 2 3
(
+
p,q
/(2
[]
, R)
/(2
[]
, R)
/(2
[]
, R) /(2
[]
, C) /(2
[]1
, H)
p q
mod8
4 5 6 7
(
+
p,q
/(2
[]1
, H)
/(2
[]1
, H)
/(2
[]1
, H) /(2
[]
, C) /(2
[]
, R)
Classicao das sublgebras Pares Reais
(p +q = n e [] denota a parte inteira de = (n 1)/2)
Posto isso, podemos classicar os espinores clssicos.
p q = 1, 7 mod 8 Para p q = 1, 7 mod 8 temos (
+
p,q
~ (
p,q1
= (
p
,q
com p
= p q +1 = 0, 2 mod 8, ou seja, (
+
p,q
~ /(2
[(n1)/2]
, R), onde n = p +q. Portanto
um espinor clssico nesse caso um elemento de R
2
[(n1)/2]
.
p q = 2, 6 mod 8 . Nesse caso p
= 4, 6 mod 8 e portanto (
+
p,q
~ /(2
[(n1)/2]1
, H).
Um espinor clssico um elemento de H
2
[(n1)/2]1
.
p q = 4 mod 8 . Temos p
(
+
p,q
e denominar os
elementos do espao de representao de
+
(
+
p,q
de espinores clssicos positivos e
os elementos do espao de representao de
(
+
p,q
de espinores clssicos negativos.
Um espinor clssico positivo ou negativo nesse caso um elemento de H
2
[(n1)/2]1
.
p q = 0 mod 8 . Para esse caso p
(
+
p,q
e denominar os elementos do espao de representao de
+
(
+
p,q
de espinores clssicos positivos e os elementos do espao de representao
de
(
+
p,q
de espinores clssicos negativos. Um espinor clssico positivo ou negativo
nesse caso um elemento de R
2
[(n1)/2]
.
Vamos mais uma vez resumir essas informaes na forma de uma tabela:
p q
mod8
0 1 2 3
S
C
p,q
R
2
[(n1)/2]
R
2
[(n1)/2]
R
2
[(n1)/2]
C
2
[(n1)/2]
H
2
[(n1)/2]1
p q
mod8
4 5 6 7
S
C
p,q
H
2
[(n1)/2]1
H
2
[(n1)/2]1
H
2
[(n1)/2]1
C
2
[(n1)/2]
R
2
[(n1)/2]
Classicao dos Espinores Clssicos - Caso Real
(p +q = n e [n/2] denota a parte inteira de n/2)
Para o caso das lgebras de Cliord complexas a situao novamente mais sim-
ples. Evidentemente (
+
C
(n) ~ (
C
(n 1). Portanto se dimV = n for par temos
(
+
C
(2k) = (
C
(2k1) ~ /(2
k1
, C)/(2
k1
, C). Temos duas representaes irredut-
veis no-equivalentes, e os espinores clssicos positivos ou negativos so elementos
de C
2
k1
e J se dimV = n for mpar temos (
+
C
(2k + 1) ~ (
C
(2k) ~ /(2
k
, C). Os
espinores clssicos portanto so elementos de C
2
k
.
n = 2k C
2
k1
C
2
k1
n = 2k +1 C
2
k
Espinores Clssicos - Caso Complexo
197
Concluses e Perspectivas
Oobjetivo deste trabalho foi o de compreender minimamente a teoria dos espinores.
Como o espinor jaz naturalmente numa lgebra de Cliord, primeiro foi necessrio
construir a mesma, e para isso, abordamos uma sequncia de estruturas algbricas:
dado um espao vetorial V, construmos uma lgebra tensorial (a contravariante);
feito isso, munimos o espao vetorial de uma forma quadrtica no degenerada q
e denimos a lgebra de Cliord Cl(V, q) como sendo o quociente da lgebra ten-
sorial pelo ideal I = (x x q(x)1). Tendo a lgebra de Cliord, consideramos o
chamado grupo de Cliord (q) e utilizando este grupo, denimos os grupos espi-
noriais Spin(n) (nos restringimos durante todas as demonstraes, no caso de uma
forma quadrtica positiva denida). Calculamos explicitamente isomorsmos dos
grupos espinoriais no caso de dimenses baixas, algo que no fcil de se encontrar
na literatura, que fortemente focada em teoremas de existncia apenas. Logo a
seguir, apresentamos o conceito de estrutura espinorial, pois para se construir cam-
pos espinoriais, uma variedade M precisa admitir tal tipo de estrutura. Novamente,
apresentamos exemplos concretos, e isso importante, porque tal como no caso dos
isomorsmos de grupos spin, a pesquisa durante dcadas foi focada em teoremas
de existncia. E para nalizar, retomando o ponto de vista puramente algbrico
presente no captulo 1, resumimos a classicao dos espinores, nas formulaes
clssica e algbrica. Apesar de tudo que abordamos com riqueza de detalhes, ainda
faltou uma discusso ampla de brados principais e vetoriais, focando na constru-
o de todos os objetos geomtricos de natureza espinorial: os brados espinoriais,
munidos de conexes espinoriais (que so levantamentos da conexo Riemanniana)
e com certeza, o operador diferencial mais importante da teoria, o operador de Di-
rac; o qual envolve na sua denio o produto de Cliord. Trataremos de umgrande
nmero de casos concretos, visando renar (e ampliar) o presente texto num livro
com ttulo Estruturas espinoriais e espinores via exemplos; o qual auxiliar os no-
vatos na rea, pois traar claramente o caminho das pedras num assunto to fasci-
nante (e complexo) como a teoria das lgebras de Cliord, espinores e a geometria
diferencial relacionada.
198
Referncias Bibliogrficas
[1] Cliord, W. K. - On the Space-Theory of Matter - Proceedings of the Cam-
bridge philosophical society, 1876, 2, 157-158 http://www.archive.org/
details/proceedingscamb06socigoog
[2] Wheeler, J.A. - Curved empty space as the building material of the physical
world: an assessment - in Ernest Nagel (1962) Logic, Methodology, and Phi-
losophy of Science, Stanford University Press
[3] Lanczos, C. - Space through the Ages: The evolution of geometrical ideas from
Pythagoras to Hilbert and Einstein - page 222 - Academic Press - 1970
[4] Dirac, P. A. M. - The Quantum Theory of the Electron - Proceddings of the
Royal Society of London. Series A, Containing Papers of a Mathematical and
Physical Character 117 (778): 610-624
[5] Rocha, R.; Junior, J.V. - lgebras de Cliord e Espinores - Livraria da Fsica,
2012
[6] Bonora, L.; Runo, F. - Revisiting Spinors, Pinors and Orientability - , Bolle-
tino U.M.I (9) , IV (2012)
[7] Petti, L. - Cliord Algebras and Spinors - 2nd Ed., Cambridge University Press,
1997
[8] Kobayashi,S. & Nomizu, K. - Foundations of Dierential Geometry - Vol I, John
Wiley - 1996
[9] Spivak, M. - A Comprehensive Introduction to Dierential Geometry, 3rd. Edi-
tion, Publish or Perish, 1999
[10] Spivak, M. - Calculus on Manifolds, Addison Wesley - 1965
[11] Taubes, C.; An Introduction to Bundles, Connections and Curvature, Oxford
University Press, 2011
199
Referncias Bibliogrcas
[12] Dummit,D.S.; Foote,R.M. - Abstract Algebra, John Wiley - 2004
[13] Friedrich, T., Dirac Operators in Riemannian Geometry, American Mathema-
tical Society, 2000
[14] Lawson, B., Michelson, M.L., Spin Geometry, Princeton University Press,
1989
[15] Gadea, P.M.; Masqu,J.M. - Analysis and Algebra on Dierentiable Manifolds,
Springer Verlag, 2009
[16] Ahluwalia-Khalilova,D.A. and Grumiller, D., Spin half fermions with mass
dimension one: Theory, phenomenology, and dark matter, JCAP 0507 (2005)
012 [hep-th/0412080].
[17] Gallier, J., Cliord Algebras, Cliord Groups, and a Generalization of the Qua-
ternions: The Pin and Spin Groups, Departament of Computer and Informa-
tion Science - University of Pennsylvania 2011 - http://www.cis.upenn.
edu/~cis610/clifford.pdf
[18] Gallier, J., Geometric Methods and Applications, 2nd Ed, Springer, 2011
[19] Harvey, R., Spinors and Calibrations, Academic Press, 1990.
[20] Atiyah, M.,Bott,R.,Shapiro, M. - Cliord Modules, Topology 3, 3-38
[21] Atiyah, M.,Singer, I. - The Index of Elliptic Operators I, The Annals of Mathe-
matics, Vol. 87, No 3 - 87 (3): 484-530
[22] Rodriguez, Mikel; Shah, M. - Action MACH: A Spatio-Temporal Maximum
Average Correlation Height Filter for Action Classication". Computer Vision
and Pattern Recognition (CVPR) 2008
[23] Boothby,W.M. An Introduction to Dierentiable Manifolds and Riemannian Ge-
ometry, Academic Presss - 1975
[24] Warner, F. Foundations of Dierentiable Manifolds and Lie Groups, Springer
Verlag - 1983
[25] Tu,L.W.; An Introduction to Manifolds, 3rd Edition - Springer Verlag - 2011
[26] Lee,J.M.; Introduction to Smooth Manifolds, Springer Verlag - 2006
200
Referncias Bibliogrcas
[27] Lima, E.L. Grupo Fundamental e Espaos de Recobrimento IMPA, Projeto Eu-
clides, 1993
[28] Dabrowski, L.; Trautman, A. Spinor structures on spheres and projective spaces
JMP, 27, 2022 - 1986 Link: http://link.aip.org/link/doi/10.1063/1.527021
[29] Ginoux, N. The Dirac Spectrum Springer Verlag, 2009
[30] Grinstein,B.; Rohm,R., Dirac and Majorana Spinors on Non-Orientable Rie-
mann Surfaces, CMP. 111, 667-675, 1987
[31] Kalogeropoulos, N., Majorana spinors on unoriented surfaces JMP, 41,5,3113-
3124,2000
[BHall] Hall, B., C.; Lie Groups, Lie Algebras and Representation Springer, 2004.
[32] Morgan J.; Ricci Flow and the Poincar Conjecture, 2007
http://arxiv.org/abs/math/0607607
[33] Vilches M.; Topologia Geral,2011
www.ime.uerj.br/~calculo/LivroVI/topologia.pdf
[34] Willard, S.; General Topology,
Addison-Wesley, 1970
[35] Fabiano M.; Curso de Geometria Riemanniana, UFABC, 2011
http://dl.dropbox.com/u/794597/Notas_de_Aula_Geometria_
Riemanniana_Marcio_UFABC.pdf
[36] Bluman,G.W.;Anco,C.A; Symmetry and Integration Methods for Dierential
Equations , Springer Verlag - 2002
[37] Yang, J.; Harmonic Analysus on Homogeneous Spaces,
[38] Helgason, S.; Groups and Geometric Analysis. Academic Press - 1984
[39] Helgason, S.; Dierential Geometry, Lie Groups and Symmetric Spaces Acade-
mic Press - 1978
[40] Brcker, Th.; Jnich, K.; Introduction to Dierential Topology , Cambride Uni-
versity Press - 1982
201