Professional Documents
Culture Documents
Geometria Riemanniana
Rodney Josu
e Biezuner
Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)
27 de abril de 2015
Sum
ario
0 Introdu
c
ao
0.1 Variedades Riemannianas . . . . . . . . . . . . . . . .
0.2 Vetores Tangentes . . . . . . . . . . . . . . . . . . . .
0.2.1 Derivadas Direcionais de Curvas Diferenciaveis
0.2.2 Derivac
oes . . . . . . . . . . . . . . . . . . . . .
0.2.3 O Espaco Tangente . . . . . . . . . . . . . . . .
0.2.4 Diferencial de uma Aplicacao Diferenciavel . .
0.3 Coordenadas . . . . . . . . . . . . . . . . . . . . . . .
0.3.1 Diferencial em Coordenadas . . . . . . . . . . .
0.4 Fibrado Tangente . . . . . . . . . . . . . . . . . . . . .
0.5 Fibrados Vetoriais . . . . . . . . . . . . . . . . . . . .
0.6 Campos Vetoriais . . . . . . . . . . . . . . . . . . . . .
0.7 Colchetes de Lie . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
4
6
6
7
8
8
9
10
11
12
1 Tensores
1.1 Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Mudanca de Coordenadas . . . . . . . . . . . . . . . . . . .
1.2.1 Mudanca de Coordenadas em Espacos Vetoriais . . .
1.2.2 Mudanca de Coordenadas no Espaco Tangente Tp M
1.3 Covetores Tangentes . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Covetores . . . . . . . . . . . . . . . . . . . . . . . .
1.3.2 O Espaco Bidual . . . . . . . . . . . . . . . . . . . .
1.3.3 Covetores Tangentes em Variedades . . . . . . . . .
1.4 Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.1 Definic
ao . . . . . . . . . . . . . . . . . . . . . . . .
1.4.2 Produto Tensorial . . . . . . . . . . . . . . . . . . .
1.4.3 Mudanca de Base . . . . . . . . . . . . . . . . . . . .
1.4.4 Traco de Tensores . . . . . . . . . . . . . . . . . . .
1.5 Fibrados Tensoriais . . . . . . . . . . . . . . . . . . . . . . .
1.6 Campos Tensoriais . . . . . . . . . . . . . . . . . . . . . . .
1.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
18
18
20
20
21
22
22
24
24
26
26
27
28
30
32
33
33
2 M
etricas Riemannianas
2.1 Definic
ao e Exemplos . . . . . . . . . . . . . . . . . . . . .
2.2 Comprimentos e Volumes . . . . . . . . . . . . . . . . . .
2.2.1 Comprimentos de Curvas Parametrizadas . . . . .
2.2.2 Volumes em Variedades Riemannianas Orientaveis
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
42
42
43
44
48
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Conex
oes Riemannianas
49
3.1 Conexoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 Conexoes Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4 Geod
esicas
4.1 Definic
ao . . . . . . . . . . . . . . . . . . . . . .
4.2 Exemplos de Geodesicas . . . . . . . . . . . . . .
4.3 Fluxo Geodesico . . . . . . . . . . . . . . . . . .
4.4 A Aplicac
ao Exponencial . . . . . . . . . . . . .
4.5 Propriedades Minimizantes das Geodesicas . . . .
4.6 Vizinhancas Convexas . . . . . . . . . . . . . . .
4.7 Func
ao Distancia . . . . . . . . . . . . . . . . . .
4.8 Variedades Completas e Teorema de Hopf-Rinow
4.9 Exerccios . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
61
62
66
68
69
76
77
78
80
5 Curvatura
5.1 Mais sobre Tensores . . . . . . . . . . . . . . .
5.2 O Tensor Curvatura . . . . . . . . . . . . . . .
5.2.1 O Endorfismo Curvatura . . . . . . . .
5.2.2 Operac
ao de Subir ou Descer um Indice
5.2.3 O Tensor Curvatura . . . . . . . . . . .
5.3 Curvatura de Ricci e Curvatura Escalar . . . .
5.4 Curvatura Seccional . . . . . . . . . . . . . . .
5.5 Variedades de Curvatura Seccional Constante .
5.6 Derivada Covariante de Campos Tensoriais . .
5.7 Exerccios . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
82
82
87
90
99
102
106
108
119
6 Campos de Jacobi
6.1 A Equac
ao de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Calculo de Campos de Jacobi . . . . . . . . . . . . . . . . . . . .
6.3 Velocidade de Afastamento das Geodesicas e Curvatura Seccional
6.4 Pontos Conjugados . . . . . . . . . . . . . . . . . . . . . . . . . .
6.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
120
120
125
128
131
132
7 Imers
oes Isom
etricas e Subvariedades Riemannianas
7.1 A Segunda Forma Fundamental . . . . . . . . . . . . .
7.2 Equac
oes Fundamentais de uma Imersao Isometrica .
7.3 Hiperfcies . . . . . . . . . . . . . . . . . . . . . . . . .
7.4 Imersoes Totalmente Geodesicas . . . . . . . . . . . .
7.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
133
134
135
137
139
140
8 F
ormulas de Varia
c
ao
8.1 Formula da Primeira Variac
ao . . . . . . . . . . . . . . . . . . .
8.2 Formula da Segunda Variac
ao . . . . . . . . . . . . . . . . . . . .
8.3 Geodesicas nao minimizam apos passarem por pontos conjugados
8.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
141
142
147
149
150
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Captulo 0
Introduc
ao
0.1
Variedades Riemannianas
0.1 Defini
c
ao. Seja M um espaco topologico de Hausdor com base enumeravel. Um atlas de dimensao
n para M e uma famlia
= { : U M }A
de aplicac
oes contnuas tais que : U (U ) e um homeomorfismo de um aberto U Rn
sobre um aberto (U ) de M para cada A, satisfazendo as seguintes condicoes:
(i) Os abertos (U ) cobrem M , isto e,
(U ) = M.
e uma aplicac
ao diferenciavel de classe C . Se f for diferenciavel em todo ponto p M , diremos
simplesmente que F e uma aplica
c
ao diferenci
avel.
Dizemos que uma aplicac
ao diferenciavel F : M N e um difeomorfismo se F e bijetiva e F 1
tambem e diferenciavel.
0.3 Exemplo. Uma curva diferenci
avel em uma variedade diferenciavel M e uma aplicacao diferenciavel
: I M onde I R e um intervalo aberto.
0.2
Vetores Tangentes
0.2.1
xi (t0 ) i f (p) ,
(f ) (t0 ) = df ( (t0 )) (t0 ) =
i f (p) xi (t0 ) =
i=1
i=1
o que significa que a derivada direcional na direcao de v pode ser vista como um operador linear sobre funcoes
diferenciaveis que depende apenas do vetor v.
0.4 Defini
c
ao. Seja : I M uma curva diferenciavel com (t0 ) = p. Seja
Dp (M ) = {f : M R : f e diferenciavel em p}
o espaco vetorial das func
oes reais em M diferenciaveis em p. O vetor tangente `a curva em p e a
funcao (t0 ) : Dp (M ) R definida por
(t0 ) f = (f ) (t0 ) .
0.5 Proposi
c
ao. O vetor tangente (t0 ) : Dp (M ) R e um funcional linear e o conjunto dos vetores
tangentes a um ponto p M formam um espaco vetorial real n-dimensional.
(
)
(
)
onde denotamos 1 (t) = (x1 (t) , . . . , xn (t)) em coordenadas locais. Segue desta expressao para
(t0 ) f em coordenadas locais e das propriedades de linearidade da diferenciacao em Rn que (t0 ) :
Dp (M ) R e um funcional linear.
Para mostrar que o conjunto dos vetores tangentes a um ponto formam um espaco vetorial, precisamos
mostrar que combinac
oes lineares de vetores tangentes sao vetores tangentes (embora combinacoes lineares
de funcionais lineares sejam sempre funcionais lineares, nada garante em princpio que um tal funcional
linear e um vetor tangente). Melhor ainda, mostraremos que todo vetor tangente e a combinacao linear de
n vetores tangentes 1 (t0 ) , . . . , n (t0 ) que portanto geram todo o espaco vetorial dos vetores tangentes e
que, alem disso, qualquer combinac
ao linear dos vetores tangentes 1 (t0 ) , . . . , n (t0 ) e um vetor tangente;
em outras palavras, 1 (t0 ) , . . . , n (t0 ) formarao uma base para este espaco vetorial. De fato, reescrevendo
a expressao local para (t0 ) f na forma
n
(t0 ) f =
xi (t0 ) i (f ) (x) ,
i=1
t0
(f ) (x + tei ) (f ) (x)
= (f i ) (t0 ) = i (t0 ) f,
t
v=
i i (t0 ) ,
i=1
))
i ei
i=1
0.6 Proposi
c
ao. (Regra do Produto) O vetor tangente vp : Dp R satisfaz a propriedade
vp (f g) = vp (f ) g (p) + f (p) vp (g) .
Prova: Seja : I M uma curva diferenciavel com (t0 ) = p. Entao
0.2.2
Derivaco
es
0.7 Defini
c
ao. Seja M uma variedade diferenciavel. Um funcional linear vp : C (M ) R e uma
deriva
c
ao em p se ele satisfaz a regra do produto
vp (f g) = vp (f ) g (p) + f (p) vp (g) .
vp e chamado um vetor tangente a M em p.
Note que nesta definic
ao o conjunto dos vetores tangentes a um ponto p M forma naturalmente um espaco
vetorial real, mas a dimensao deste espaco nao e imediatamente obvia. Para provar isso, veja a Proposicao
0.16.
0.8 Proposi
c
ao. Qualquer vetor tangente vp : C (M ) R satisfaz as seguintes propriedades:
(i) Se f e uma funca
o constante, ent
ao .
(ii) Se f (p) = g (p) = 0, ent
ao vp (f g) = 0.
Prova: Ambas as propriedades seguem imediatamente da regra do produto. (i) Como vp e linear, basta
provar para a func
ao constante f 1. Pela regra do produto,
vp (f ) = vp (f ) f (p) + f (p) vp (f ) = 2vp (f ) ,
logo vp (f ) = 0. (ii) Pela regra do produto, temos
vp (f g) = vp (f ) g (p) + f (p) vp (g) = vp (f ) 0 + 0vp (g) = 0 + 0 = 0.
0.2.3
O Espaco Tangente
0.10 Defini
c
ao. Seja M uma variedade diferenciavel. O espaco vetorial n-dimensional dos vetores tangentes
a um ponto p M e chamado o espa
co tangente a M em p e denotado Tp M .
0.11 Defini
c
ao. Seja M uma variedade diferenciavel e : U M uma parametrizacao de uma vizinhanca
de um ponto p M . A base obtida na demonstracao da Proposicao 0.5 sera chamada a base do espaco
tangente Tp M associada `a parametrizacao e denotada por
1 (p) , . . . , n (p)
ou por
(p) , . . . , n (p)
1
x
x
quando for necessario explicitar as coordenadas da parametrizacao.
Frequentemente, denotaremos um vetor tangente em p por vp .
0.2.4
Para definir a diferencial (derivada) de uma aplicacao diferenciavel, usaremos a definicao de vetores tangentes
como derivacoes:
0.12 Defini
c
ao. Sejam M e N variedades diferenciaveis e F : M N uma aplicacao diferenciavel em
p M . A diferencial de F em p e aplicacao linear
dFp : Tp M TF (p) N
definida por
dFp (vp ) (f ) = vp (f F )
para todo f C
(N ).
0.16 Proposi
c
ao. Se M e uma variedade diferenci
avel de dimens
ao n, ent
ao Tp M e um espaco vetorial
de dimens
ao n para todo p M .
Prova: Seja : U V uma parametrizacao de uma vizinhanca V = (U ) M de p = (x). Como
e um difeomorfismo, segue que dx : Rn Tp V e um isomorfismo. Como Tp V e Tp M sao isomorfos pelo
lema, segue o resultado.
0.3
0.3.1
Coordenadas
Diferencial em Coordenadas
,...,
x1 p
xn p
formam uma base para Tp M que e a base coordenada ou simplesmente a base associada `
a parametrizac
ao .
Observe que se f C (M ), ent
ao
(f )
(x) .
(f ) = dx (ei ) (f ) = ei (f ) =
i
x p
xi
Assim, podemos definir
f
(f )
(p) =
(x) .
(f ) =
xi
xi p
xi
dFx (ei ) (f ) = ei (f F ) =
ou seja,
dFx (ei ) =
F j
j=1
xi
(x) fj .
F 1
F 1
.
.
.
x1
xm
.
..
J = ..
. =: [dFx ]Bm ,Bn .
F n
F n
.
.
.
x1
xm
v i ei , ent
ao
i=1
dFx (v) =
v dFx (ei ) =
i=1
isto e,
[m
n
j=1
i=1
i F
xi
(x) fj ,
F 1
F 1
1
.
.
.
v
x1
m
x
.
.
.
.. .. = J [v]Bm .
[dFx (v)]Bn = ..
F n
F n v m
...
x1
xm
m
n
No caso geral, se F : M N e uma aplicacao diferenciavel, sejam : U Rm (U ) , : V
n
R (V ) parametrizac
oes de vizinhancas de p = (x) em M e de F (p) = (y) em N , respectivamente,
de modo que
Fe = 1 F : U Rm Rn .
Escrevendo
temos
(
dFp
F = Fe
)
n
n
[
]
ej
Fej
F
ex (ei ) = dy
=
(x)
f
(x) dy (fj )
=
dF
[d
(e
)]
=
d
d
F
j
p
x
i
y
xi p
xi
xi
j=1
j=1
(
)
n
Fej
=
(x)
.
xi
y j F (p)
j=1
Portanto, se
{
}
Bp =
,...,
.
x1 p
xm p
}
{
,...,
,
BF (p) =
y 1 F (p)
y n F (p)
sao as bases coordenadas de Tp M e TF (p) N , respectivamente,
dFp em relac
ao a estas bases e
Fe1
...
x1
..
[dFp ]Bp ,BF (p) = .
Fe n
...
x1
0.4
xm
Fibrado Tangente
0.17 Defini
c
ao. Seja M uma variedade diferenciavel de dimensao n com um atlas = { : U M }A
de classe C k . O fibrado tangente de M e a variedade diferenciavel de dimensao 2n e classe C k1
T M = {(p, v) : p M e v Tp M }
10
com um atlas
= { : U Rn M }A
definido por
(
(x, v1 , . . . , vn ) =
(x) ,
)
vi i (x) .
i=1
Na definicao acima, o proprio atlas define a topologia necessaria em T M de acordo com as Proposicoes
0.10-0.11 a seguir.
0.18 Proposi
c
ao. Seja X um conjunto e = { : U X}A uma famlia de aplicac
oes injetivas de
abertos U Rn em X tais que
(i) Os abertos (U ) cobrem X, isto e,
(U ) = X.
s
ao diferenci
aveis de classe C k .
Ent
ao existe uma u
nica topologia em X relativa `
a qual e um atlas de classe C k para X.
0.19 Proposi
c
ao. A topologia definida em X na proposic
ao anterior e de Hausdor se e somente se
(iii) Para cada par de ndices , A tais que V = (U ) (U ) = , n
ao existe nenhuma
sequencia {xi }iN 1
(V
)
tal
que
xi x U 1
(V )
e
(xi ) y U 1
(V ) .
0.5
Fibrados Vetoriais
0.20 Defini
c
ao. Um fibrado vetorial de dimensao k sobre uma variedade diferenciavel M e uma variedade
diferenci
avel E juntamente com uma aplicacao sobrejetiva diferenciavel : E M tal que
(i) cada fibra Ep = 1 (p) de E sobre p e um espaco vetorial de dimensao k;
(ii) para cada p M existe uma vizinhanca U de p e um difeomorfismo : 1 (U ) U Rk ,
chamado uma trivializa
c
ao local de E, tal que o diagrama seguinte e comutativo:
1 (U )
U Rk
11
(1 : U Rk U e a projec
ao na primeira variavel) e tal que |Ep : Ep {p}Rk e um isomorfismo
de espacos vetoriais.
A variedade E e chamada o espa
co total do fibrado, M a base do fibrado e a sua projecao.
Frequentemente identificamos o espaco total com o fibrado e dizemos simplesmente que E e o fibrado vetorial
sobre M . Fibrados tangentes sao exemplos de fibrados vetoriais.
0.21 Defini
c
ao. Seja E um fibrado vetorial de dimensao k sobre M . Uma se
c
ao de E e uma aplicacao
s : M E tal que s = Id|M .
Em outras palavras, s : M E e uma secao se e somente se s (p) Ep para todo p M .
0.6
Campos Vetoriais
Considere : T M M a projec
ao canonica do fibrado tangente de M sobre M , isto e, (p, v) = p para
todo v Tp M .
0.22 Defini
c
ao 1. Seja M uma variedade diferenciavel. Um campo vetorial diferenci
avel em M e uma
aplicacao diferenciavel X : M T M tal que se X = idM .
Podemos pensar em campos vetoriais como aplicacoes que associam a cada ponto p M um vetor tangente
X (p) Tp M ; frequentemente,{denotaremos o vetor
tangente X (p) simplesmente por Xp . Em termos
}
de coordenadas locais, se B =
,...,
e a base do espaco tangente Tp M associada `a uma
x1
xm
p
(M ).
12
0.24 Nota
c
ao. Seja M uma variedade diferenciavel. O espaco vetorial dos campos vetoriais diferenciaveis
em M e denotado por X (M ).
0.25 Teorema. Seja X X (M ) um campo diferenci
avel. Dado p M , existe uma vizinhanca V de p em
M , > 0 e uma aplicac
ao diferenci
avel
: (, ) V M
tais que q (t) = (t, q) e a u
nica curva diferenci
avel em M que satisfaz
{
d
(t, q) = X ( (t, q))
dt
(0, q) = q.
para todos t (, ) , q V,
Prova:
e chamado o fluxo local do campo vetorial X. Para t fixado, denotaremos t (q) = (t, q).
0.7
Colchetes de Lie
Embora a Definic
ao 2 de campos vetoriais permite tambem em princpio definir a composta de campos
vetoriais e, ja que Xf e interpretada como a derivada de f na direcao de X, gostaramos de interpretar
naturalmente a expressao
X (Y f )
como a derivada segunda de f primeiro na direcao de Y e em seguida na direcao de X, em geral esta composta
nao e um campo vetorial porque nao satisfaz a regra do produto:
(X Y ) (f g) = X [Y (f g)] = X [(Y f ) g + f (Y g)] = X [(Y f ) g] + X [f (Y g)]
= [X (Y f )] g + (Y f ) (Xg) + (Xf ) (Y g) + f [X (Y g)]
= [(X Y ) f ] g + f [(X Y ) g] + (Xf ) (Y g) + (Y f ) (Xg) ;
em coordenadas locais (veja Proposic
ao 0.28 a seguir), a composta realmente envolve derivadas parciais de
segunda ordem, as quais nao sao vetores tangentes por nao satisfazerem a regra do produto. Para definir
calculo diferencial de ordem superior, e necessario o conceito de derivada covariante, que veremos no Captulo
3.
Por outro lado, a operac
ao
X Y Y X
define um campo vetorial.
0.26 Defini
c
ao. Sejam X, Y X (M ). O colchete de Lie de X e Y e o campo vetorial
[X, Y ] = XY Y X.
Esta expressao deve ser entendida no sentido de
[X, Y ] = X Y Y X,
ou seja,
[X, Y ]p f = Xp (Y f ) Yp (Xf ) .
13
14
Xi
i=1
ent
ao
[X, Y ] =
e
xi
n (
i,j=1
i Y
Y =
Yi
i=1
xi
j
i X
xi
,
xi
,
xj
ou, em notac
ao mais sucinta,
[X, Y ] =
Em particular,
( ( j)
( ))
X Y Y Xj
.
xj
j=1
, j
i
x x
]
=0
para todos i, j.
Prova: Temos
)
(
)
(
)
n
n
n
f
f
f ( i )
i f
i
X (Y f ) = X
Y
=
X
Y
=
+
X Y
Y
X
i
i
i
i
x
x
x
x
i=1
i=1
i=1
i=1
n
n
n
n
2
i
f
f
Y
=
Yi
Xj j i +
Xj j
i
x
x
x
x
i=1
j=1
i=1
j=1
=
XjY i
i,j=1
n
i
2f
j Y f
+
X
xj xi i,j=1
xj xi
e, por simetria,
Y (Xf ) =
i,j=1
Como
Y jXi
n
n
n
i
2
i
2f
j X f
j i f
j X f
+
Y
=
X
Y
+
Y
.
xj xi i,j=1
xj xi
xi xj i,j=1
xj xi
i,j=1
2f
2f
=
,
xi xj
xj xi
15
xi
16
Prova: Sem perda de generalidade, podemos assumir atraves de uma parametrizacao adequada que M =
U Rn , p = 0 e
Ei (0) = ei
para i = 1, . . . , k, onde {e1 , . . . , en } e a base canonica de Rn . Seja it o fluxo gerado pelo campo Ei . Defina
(
)
(
)
x1 , . . . , xn = 1x1 2x2 . . . kxk 0, . . . 0, xk+1 , . . . , xn
(
( (
(
)) ))
= 1x1 2x2 . . . kxk 0, . . . 0, xk+1 , . . . , xn . . . .
[Note que no caso especial em que k = n, a aplicacao e
(
)
(x) = x1 , . . . , xn = 1x1 . . . nxn (0)
(
)
= 1x1 2x2 (. . . (nxn (0)) . . .) .
(
)
Em outras palavras, para calcular x1 , . . . , xn , percorremos sucessivamente as trajetorias dos campos
En , . . . , E1 a partir da origem durante os intervalos de tempo xn , . . . , x1 : primeiro, saindo da origem, percorremos a trajetoria do campo En durante o intervalo de tempo xn , chegando em um certo ponto nxn (0);
partindo deste ponto percorremos a trajetoria do campo En1 durante o intervalo de tempo xn1 , chen
gando
ponto) xn1
e chegar no ponto
n1 (xn (0)); continuamos desta forma sucessivamente at
( 2em um certo
1
n
x1 x2 (. . . (xn (0)) . . .) que definimos como sendo o ponto (x).]
Afirmamos que d0 = I. De fato, dada f C (M ), se i = 1, . . . , k
(f )
(0)
xi
(
)
16i6k
(f ) 0, . . . 0, h , 0, . . . , 0 f ( (0))
= lim
h0
h
k+1
k
f 10 . . . k1
. . . k0 (0) f (0)
0
h 0
= lim
h0
h
( k
)
f h (0) f (0)
= lim
h0
h
= Ei (0) (f )
= ei (f ) ,
d0 (ei ) (f ) =
d0 (ei ) (f ) =
17
portanto
d0 (ei ) = ei
( 1
)
para i = 1, . . . , n. Segue que (x) = x , . . . , xn e um difeomorfismo local e portanto uma parametrizacao
para uma vizinhanca de p = 0.
Observe que podemos calcular explicitamente dx (e1 ) para todo x e nao somente na origem, obtendo
(f )
(x)
x1
)
(
(f ) x1 + h, x2 . . . , xn f ( (x))
= lim
h0
h
(
)
f 1x1 +h 2x2 . . . kxk 0, . . . 0, xk+1 , . . . , xn f ( (x))
= lim
h0
h
(
(
))
f 1x1 +h 2x2 (. . . (nxn (0)) . . .) f (0)
= lim
h0
h
= E1 (x) (f ) ,
dx (e1 ) (f ) =
ou seja,
E1 (x) = dx (e1 ) =
x1 x
Captulo 1
Tensores
1.1
Introduc
ao
Considere o conceito
de )vetor em Rn , por exemplo o vetor velocidade de uma curva descrita no sistema de
( 1
coordenadas x , . . . , xn por
(
)
x (t) = x1 (t) , . . . , xn (t) .
)
dx1
dxn
,...,
.
dt
dt
(
)
Em um outro sistema de coordenadas y 1 , . . . , y n a curva e descrita por:
(
)
y (t) = y 1 (t) , . . . , y n (t) ,
Temos
dx
=
dt
de modo que seu vetor velocidade neste sistema de coordenadas e dado por
( 1
)
dy
dy n
dy
=
,...,
.
dt
dt
dt
A regra da cadeia nos da como o vetor velocidade muda de um sistema de coordenadas para o outro:
dy i dxj
dy i
=
dt
dxj dt
j=1
n
(1.1)
para i = 1, . . . , n.
Considere agora o conceito
do )gradiente de uma funcao, usualmente identificado com um vetor. No
(
sistema de coordenadas x1 , . . . , xn , o gradiente e definido por
)
(
f
f
(x) , . . . , n (x)
x f (x) =
x1
x
( 1
)
enquanto que no sistema de coordenadas y , . . . , y n , o gradiente e dado por
(
)
f
f
y f (x) =
(x)
,
.
.
.
,
(x)
y 1
y n
Novamente, a regra da cadeia nos da como o gradiente muda de um sistema de coordenadas para o outro:
dxj f
f
=
y i
dy i xj
j=1
n
18
(1.2)
19
para i = 1, . . . , n.
Comparando as expressoes (1.1) e (1.2), vemos que elas sao diferentes, na verdade inversas. Isso fica
ainda mais claro se considerarmos o Jacobiano da mudanca de coordenadas y = y (x),
[ i]
dy
J=
(1.3)
dxj
ou seja,
J =
Temos
enquanto que
y 1
x1
..
.
y n
x1
...
...
y 1
xn
..
.
y n
xn
dx
dy
=J
dt
dt
(1.4)
(
)T
y f = J 1 x f,
(1.5)
J 1 =
dxi
=
j
dy
x1
y 1
..
.
xn
y 1
...
...
x1
y n
..
.
xn
y n
1.2
20
Mudanca de Coordenadas
1.2.1
Dado um espaco vetorial real de dimensao finita V munido de uma base B, denotaremos por [v]B o vetor
coluna cujos elementos sao as coordenadas do vetor v em relacao `a base B. Ou seja, se B = {e1 , . . . , en } e
v=
v i ei ,
i=1
v1
[v]B = ... .
vn
entao
(
)
Tambem abusaremos esta notac
ao `as vezes, escrevendo [v]B = v 1 , . . . , v n .
1.1 Defini
c
ao. Seja V um espaco vetorial real e sejam B1 = {e1 , . . . , en } , B2 = {f1 , . . . , fn } duas bases
para V . A matriz de mudan
ca de coordenadas da base B1 para a base B2 e a matriz A tal que
[v]B2 = A [v]B1 .
Quando necessario, ela sera denotada por AB1 B2 .
1.2 Proposi
c
ao. Sejam B1 = {e1 , . . . , en } , B2 = {f1 , . . . , fn } duas bases para um espaco vetorial real V .
Se A = (aij ) e a matriz de mudanca de coordenadas da base B1 para a base B2 , ent
ao os elementos
desta matriz s
ao definidos por
n
ei =
aji fj
j=1
Ou seja, as colunas de A s
ao as coordenadas dos vetores da base B1 em relac
ao `
a base B2 .
Prova: De fato, se
ei =
aji fj ,
j=1
entao
v=
v ei =
i=1
ou seja,
v
i
i=1
[v]B2
a11
..
= .
an1
aji fj =
j=1
( n
n
j=1
a1n
..
.
. . . ann
)
aji v
fj ,
i=1
v1
.. = A [v] .
B1
.
vn
...
Portanto, enquanto que a lei de transformacao dos vetores da base B2 para a base B1 e
ei =
aji fj ,
j=1
isto e,
ei =
(
j=1
AT
)
ij
fj ,
(1.8)
21
a lei de transformac
ao das coordenadas de vetores na base B2 para a base B1 e contr
aria: se [v]B1 =
(v1 , . . . , vn ) e [v]B2 = (w1 , . . . , wn ), ent
ao
[v]B1 = A1 [v]B2 ,
ou seja,
vi =
A1
)
ij
wj .
(1.9)
j=1
Esta observac
ao motiva a seguinte definic
ao:
1.3 Defini
c
ao. Seja V um espaco vetorial real. Os elementos de V sao chamados vetores contravariantes.
1.2.2
Se( : U
) (U ) e ( : V ) (V ) sao duas parametrizacoes de vizinhancas de p = (x) =
x1 , . . . , xn = (y) = y 1 , . . . , y n em M , entao abusando a notacao frequentemente escrevemos
( 1
) ( (
)
(
))
)
(
)(
(x) = 1 x1 , . . . , xn = y 1 x1 , . . . , xn , . . . , y n x1 , . . . , xn ,
(
)j
isto e, denotamos as func
ao coordenadas 1 (x) por y j (x).
avel n-dimensional e : U (U ) , : V (V )
1.4 Proposi
c
ao. Seja M uma variedade diferenci
duas parametrizac
oes de vizinhancas de p = (x) = (y) em M . Sejam
{
{
}
}
Bx =
,...,
e By =
,...,
x1 p
xn p
y 1 p
y n p
as bases coordenadas de Tp M induzidas pelas parametrizac
oes e , respectivamente. Denote
(
)j
1
y j
(x)
:=
(x)
xi
xi
Ent
ao a matriz de mudanca de coordenadas da base Bx para a base By e definida por
n
y j
=
.
xi p j=1 xi y j p
Prova: Por definic
ao e pela regra da cadeia,
(1.10)
( 1
)j
(
)j
n
n
[
(
)
]
1
1
(x) fj =
dy (fj )
= dx (ei ) = dy d x (ei ) = dy
xi
xi
xi
p
j=1
y j
.
xi y j p
j=1
j=1
Portanto, se um vetor v Tp M se escreve em coordenadas em relacao `as bases Bx e By nas formas
n
v=
vi
,
xi p
i=1
n
v=
wj
,
y j p
j=1
22
1.3
y i j
v .
xj
j=1
(1.11)
Covetores Tangentes
Enquanto que o conceito de vetores tangentes em variedades permite uma interpretacao livre de coordenadas
de derivadas de curvas, diferenciais de func
oes reais em variedades (ou seja, o analogo do gradiente em Rn ) sao
interpretadas de maneira mais natural como covetores tangentes (compare a Proposicao 1.8 com a discussao
na introducao deste captulo).
1.3.1
Covetores
1.5 Defini
c
ao. Seja V um espaco vetorial real de dimensao finita. Um covetor em V e qualquer funcional
linear : V R. O espaco vetorial dos covetores de V , com as definicoes naturais de soma de
covetores e multiplicac
ao de covetores por escalares reais e chamado o espa
co dual de V e denotado
por V .
Portanto, covetores em V s
ao simplesmente funcionais lineares em V .
1.6 Defini
ao. }Seja B = {e1 , . . . , en } uma base para o espaco vetorial V . Definimos a base dual B =
{ 1 c
e , . . . , en de V por
ei (ej ) = ij , i, j = 1, . . . , n.
(1.12)
Um covetor arbitrario V expressa-se em coordenadas com relacao `a base dual B na forma
=
i ei .
i=1
Observe que se
v=
v i ei ,
i=1
entao
ei (v) = v i .
(1.13)
1.7 Defini
c
ao. Seja V, W espacos vetoriais. Dada uma aplicacao linear A : V W , definimos a aplica
c
ao
linear dual ou transposta A : W V de A por
(A ) v = (Av)
para todo W e para todo v V .
1.8 Proposi
c
ao.} Sejam {B1 = {e1 , . }. . , en } , B2 = {f1 , . . . , fn } duas bases para o espaco vetorial V e B1 =
{ 1
e , . . . , en , B2 = f 1 , . . . , f n as respectivas bases duais para V . Se A e a matriz de mudanca de
(
)T
coordenadas da base B1 para a base B2 , ent
ao A1 e a matriz de mudanca de coordenadas da base
dual B1 para a base dual B2 . Em outras palavras,
ei =
(
j=1
A1
)
ij
fj.
(1.14)
23
ei =
aji fj
j=1
(ou seja, a i-esima coluna da matriz A tem como entradas as coordenadas do vetor ei da base B1 em relacao
aos vetores da base B2 ); assim, se
(
)
[v]B1 = v 1 , . . . , v n ,
)
(
[v]B2 = w1 , . . . , wn ,
sao as coordenadas de um vetor v V em relacao `as bases B1 e B2 , respectivamente, temos (usando a
convencao de escrever as coordenadas de vetores como matrizes colunas)
[v]B2 = A [v]B1 .
Analogamente, a matriz B = (bij ) de mudanca de coordenadas da base B1 para a base B2 no espaco vetorial
dual V e definida por
n
ek =
blk f l ,
l=1
Da,
n
ik = ek (ei ) =
=
j=1
n
aji
(
aji ek (fj ) =
j=1
n
l=1
j=1
aji
j=1
blk lj =
AT
blk f l (fj )
l=1
aji bjk
b ,
ij jk
j=1
( )1 ( 1 )T
ou seja, AT B = I, donde B = AT
= A
.
Portanto, assim como a lei de transformacao dos vetores da base B2 para a base B1 e
ei =
aji fj ,
(1.15)
j=1
isto e,
ei =
AT
)
ij
fj ,
j=1
a lei de transformac
ao das coordenadas de vetores na base B2 para a base B1 e a mesma: se []B =
1
(1 , . . . , n ) e []B2 = (e
1 , . . . ,
en ), ent
ao (porque (B)
= AT )
[]B = AT []B ,
1
24
ou seja,
i =
aji
ej .
(1.16)
j=1
Ou seja, covetores variam (se transformam) da mesma forma como variam (se transformam) os vetores da
base do espaco vetorial. Esta observac
ao motiva a seguinte definicao:
1.9 Defini
c
ao. Seja V um espaco vetorial real. Os elementos de V sao chamados vetores covariantes.
1.3.2
O Espaco Bidual
1.10 Defini
c
ao. Seja V um espaco vetorial real de dimensao finita. O espaco dual (V ) do espaco dual
de V e chamado o espa
co bidual de V e denotado V .
Uma importante identificac
ao natural (isto e, um isomorfismo definido independentemente de bases)
existe entre um espaco vetorial e seu espaco bidual:
1.11 Proposi
c
ao. A aplicac
ao : V V definida por
(v) () = (v)
e um isomorfismo natural entre V e V .
Prova. Como dim V = dim V , para verificar que e um isomorfismo basta mostrar que ele e injetivo, isto
e, que seu n
ucleo e o subespaco nulo. Seja{ e1 V um
} vetor nao nulo qualquer. Estenda este vetor a uma
base B = {e1 , . . . , en } para V . Seja B = e1 , . . . , en a correspondente base dual de V . Entao (e1 ) = 0
porque
( )
(e1 ) e1 = e1 (e1 ) = 1.
Em vista desta identificac
ao, um vetor v V pode ser visto como um funcional linear em V cuja acao em
( )
ei ej = ij
e se
=
(1.18)
i ei ,
i=1
entao
ei () = i .
1.3.3
(1.19)
1.12 Defini
c
ao. Seja M uma variedade suave. Para cada p M definimos o espa
co cotangente Tp M a
M em p por
Tp M = (Tp M ) .
Elementos de Tp M s
ao chamados covetores tangentes a M em p.
Assim, o espaco cotangente a M em p e o dual do espaco tangente a M em p.
25
1.13 Defini
c
ao. Seja M uma variedade diferenciavel e : U (U ) uma parametrizacao de uma
vizinhanca de um ponto p M . A base coordenada
{
}
Bp =
,...,
x1 p
xn p
do espaco tangente Tp M associada `a parametrizacao da origem a uma base dual coordenada para
o espaco cotangente Tp M associada `a parametrizacao que denotaremos por
{
}
Bp = dx1 p , . . . , dxn |p .
(1.20)
Portanto, qualquer covetor Tp M pode ser escrito de maneira u
nica como
=
i dxi p ,
(1.21)
i=1
onde
i =
)
.
xi p
(1.22)
Vamos investigar agora como as coordenadas de um covetor tangente se transformam quando ha uma mudanca de bases coordenadas, de uma parametrizacao para outra.
avel n-dimensional e : U (U ) , : V (V )
1.14 Proposi
c
ao. Seja M uma variedade diferenci
duas parametrizac
oes de vizinhancas de p = (x) = (y) em M . Sejam
{
{
}
}
Bx =
e By =
,...,
,...,
x1 p
xn p
y 1 p
y n p
as bases coordenadas de Tp M induzidas pelas parametrizac
oes e , respectivamente. Denote por
{
}
{
}
e By = dy 1 p , . . . , dy n |p
Bx = dx1 p , . . . , dxn |p
as respectivas bases duais. Ent
ao a matriz de mudanca de coordenadas da base Bx para a base By e
definida por
n
xi
dxi p =
dy j p .
(1.23)
j
y
j=1
Prova: Pela Proposic
ao 1.4, a mudanca de coordenadas da base Bx para a base By e definida por
n
y j
=
.
xi p j=1 xi y j p
O resultado segue ent
ao da Proposic
ao 1.8.
Obtemos tambem da discussao que se segue `a Proposicao 1.8 que se
(
)
[]Bx = x1 , . . . , xn ,
(
)
[]B = y1 , . . . , yn ,
y
entao
xi =
y j
j=1
xi
yj .
Podemos agora entender a terminologia antiga em que vetores tangentes eram chamados vetores contrava importante ressaltar que
riantes, enquanto que covetores tangentes eram chamados vetores covariantes. E
esta terminologia nada tem a ver com functores covariantes e contravariantes da teoria de categorias.
1.4
Tensores
1.4.1
Definic
ao
26
1.15 Defini
c
ao. Seja V um espaco vetorial real de dimensao finita e V seu espaco dual.
Um k-tensor covariante em V (ou tensor covariante de ordem k) e uma funcao real k-linear
T : V . . . V R.
|
{z
}
k vezes
Um l-tensor contravariante em V (ou tensor contravariante de ordem l) e uma funcao real l-linear
T : V . . . V R.
|
{z
}
l vezes
Um tensor do tipo (k, l) e um tensor k-covariante e l-contravariante, isto e, uma funcao real multilinear
T : V . . . V V . . . V R.
|
{z
} |
{z
}
k vezes
l vezes
O espaco vetorial real dos k-tensores covariantes sobre V sera denotado por T k (V ); o espaco vetorial
dos l-tensores contravariantes sobre V sera denotado por Tl (V ) e o espaco vetorial dos (k, l) tensores
sobre V ser
a denotado por Tlk (V ).
1.16 Exemplos. Um 1-tensor covariante e simplesmente um covetor. Formas bilineares, entre elas o produto
interno, sao 2-tensores covariantes. Determinantes sao n-tensores covariantes em Rn .
Algumas identificac
oes naturais (isto e, independente de especificacao de bases):
0-tensores sao n
umeros reais:
T 0 (V ) = R;
T 1 (V ) = V
27
(
)
l
1.18 Proposi
c
ao. Considere o espaco vetorial L V k (V ) ; V das aplicac
oes multilineares
T : V . . . V V . . . V V.
|
{z
} |
{z
}
k vezes
l vezes
Ent
ao existe um isomorfismo natural
(
)
l
k
Tl+1
(V )
= L V k (V ) ; V .
Prova. Este pode ser definido por
(
)
( (
))
(T ) v1 , . . . , vk , 1 , . . . , l , l+1 = l+1 T v1 , . . . , vk , 1 , . . . , l .
1.4.2
Produto Tensorial
1.19 Defini
c
ao. Sejam T e S tensores de tipos (k, l) e (p, q), respectivamente. Seu produto tensorial e o
tensor T S do tipo (k + p, l + q) definido por
(
)
(
) (
)
(T S) v1 , . . . , vk+p , 1 , . . . , l+q = T v1 , . . . , vk , 1 , . . . , l S vk+1 , . . . , vk+p , l+1 , . . . , l+q .
1.20 Exemplo. Sejam 1 , 2 dois covetores (1-tensores covariantes). Entao
1 2 (v1 , v2 ) = 1 (v1 ) 2 (v2 )
e um 2-tensor covariante (uma forma bilinear).
Usando produtores tensoriais, podemos obter uma base para o espaco tensorial Tlk (V ):
{
}
1.21 Proposi
c
ao. Se {e1 , . . . , en } e uma base para o espaco vetorial V e e1 , . . . , en e a correspondente
base dual para V , ent
ao
{
}
Blk = ei1 . . . eik ej1 . . . ejl 16i1 ,...,ik 6n
(1.24)
16j1 ,...,jl 6n
e uma base para o espaco tensorial Tlk (V ). Alem disso, qualquer tensor T Tlk (V ) se escreve na
forma
n
...jl i1
T =
Tij11...i
e . . . eik ej1 . . . ejl ,
(1.25)
k
i1 ,...,ik =1
j1 ,...,jl =1
onde
(
)
...jl
= T ei1 , . . . , e ik , e j 1 , . . . , e j l .
Tij11...i
k
(1.26)
ir =1
vrir eir
e s =
js =1
jss ejs
28
n
n
n
n
jl l ejl
v1i1 ei1 , . . . ,
vkik eik ,
j11 ej1 , . . . ,
=T
ik =1
i1 =1
i1 ,...,ik =1
j1 ,...,jl =1
n
i1 ,...,ik =1
j1 ,...,jl =1
n
i1 ,...,ik =1
j1 ,...,jl =1
n
j1 =1
jl =1
(
)
v1i1 . . . vkik j11 . . . jl l T ei1 , . . . , eik , ej1 , . . . , ejl
...jl i1
Tij11...i
v . . . vkik j11 . . . jl l
k 1
( )
( )
...jl i1
Tij11...i
e (v1 ) . . . eik (vk ) ej1 1 . . . ejl l
k
)
(
...jl i1
Tij11...i
e . . . eik ej1 . . . ejl v1 , . . . vk , 1 , . . . , l .
k
i1 ,...,ik =1
j1 ,...,jl =1
Para mostrar que Blk e linearmente independente, suponha que exista uma combinacao linear nula
n
T =
...jl i1
Tij11...i
e . . . eik ej1 . . . ejl = 0.
k
i1 ,...,ik =1
j1 ,...,jl =1
Como
ei1 . . . eik ej1 . . . ejl (er1 , . . . , erk , es1 , . . . , esl )
= ei1 (er1 ) . . . eik (erk ) ej1 (es1 ) . . . ejl (esl )
= ri11 . . . rikk js11 . . . jsll ,
segue que
...sl
0 = T (er1 , . . . , erk , es1 , . . . , esl ) = Trs11...r
k
...j
...j
j1 ...jl
l+1
l+q
l+1
l+q
Ti11...iklik+1
...ik+p = Fi1 ...ik Gik+1 ...ik+p .
1.4.3
(1.27)
Mudanca de Base
1.22 Proposi
ao. Sejam
B1 {
= {e1 , . . . , }
en } , B2 = {f1 , . . . , fn } duas bases para o espaco vetorial V e
{ c
}
B1 = e1 , . . . , en , B2 = f 1 , . . . , f n as respectivas bases duais para V . Sejam A = (aij ) a matriz
29
(
)T
de mudanca de coordenadas da base B1 para a base B2 , e B = A1
a matriz de mudanca de
coordenadas da base dual B1 para a base dual B2 , isto e,
ei =
aji fj
ek =
j=1
blk f l .
l=1
Sejam
n
T =
...jl i1
Eij11...i
e . . . eik ej1 . . . ejl
k
i1 ,...,ik =1
j1 ,...,jl =1
n
...jl i1
Fij11...i
f . . . f ik fj1 . . . fjl
k
i1 ,...,ik =1
j1 ,...,jl =1
as express
oes em coordenadas para um tensor T Tlk (V ) em relac
ao a estas bases. Ent
ao
...jl
Eij11...i
k
...sl
ar1 i1 . . . ark ik bs1 j1 . . . bsl jl Frs11...r
.
k
(1.28)
r1 ,...,rk =1
s1 ,...,sl =1
Prova. Segue da u
ltima proposic
ao e por multilinearidade que
...jl
Tij11...i
(k
)
= T ei1 , . . . , eik , ej1 , . . . , ejl
( n
)
n
n
n
s1
sl
=T
a r1 i1 f r1 , . . . ,
ark ik frk ,
bs1 j1 f , . . . ,
bsl jl f
r1 =1
r1 ,...,rk =1
s1 ,...,sl =1
n
rk =1
s1 =1
sl =1
...sl
ar1 i1 . . . ark ik bs1 j1 . . . bsl jl Frs11...r
.
k
r1 ,...,rk =1
s1 ,...,sl =1
co tensorial
1.23 Defini
c
ao. Seja M uma variedade diferenciavel. Para cada p M definimos o espa
tangente Tlk (Tp M ) a M em p. Seja : U (U ) uma parametrizacao de uma vizinhanca de um
ponto p M . A base coordenada
{
}
Bp =
,...,
x1 p
xn p
do espaco tangente Tp M associada `a parametrizacao e sua respectiva base dual
{
}
Bp = dx1 p , . . . , dxn |p
dao origem `a base coordenada associada `a parametrizacao para o espaco tensorial tangente
Tlk (Tp M )
{
}
( k)
...
(1.29)
Bl p = dxi1 p . . . dxik p
xj1 p
xjl p 16i1 ,...,ik 6n
16j1 ,...,jl 6n
30
1.24 Corol
ario. Seja M uma variedade diferenci
avel n-dimensional e : U (U ) , : V (V )
duas parametrizac
oes de vizinhancas de p = (x) = (y) em M . Sejam
{
{
}
}
Bx =
,...,
e By =
,...,
x1 p
xn p
y 1 p
y n p
as bases coordenadas de Tp M induzidas pelas parametrizac
oes e , respectivamente e
{
}
{
}
Bx = dx1 p , . . . , dxn |p
e By = dy 1 p , . . . , dy n |p
as respectivas bases duais. Sejam
Tp =
i1 ,...,ik =1
j1 ,...,jl =1
n
...jl
Eij11...i
k
(p)
dxi1 p
...
dxik p
...
xj1 p
xjl p
...jl
Fij11...i
(p) dy i1 p . . . dy ik p
k
i1 ,...,ik =1
j1 ,...,jl =1
.
.
.
y j1 p
y jl p
as express
oes em coordenadas para um tensor Tp Tlk (Tp M ) em relac
ao a estas bases. Ent
ao
...jl
Eij11...i
(p) =
k
y rk xj1
xjl s1 ...sl
y r1
.
.
.
.
.
.
F
(p) .
xi1
xik y s1
y sl r1 ...rk
=1
(1.30)
r1 ,...,rk
s1 ,...,sl =1
1.4.4
Traco de Tensores
aii .
i=1
A partir disso pode-se definir o traco de um operador linear sobre um espaco vetorial real de dimensao finita
como sendo o traco de qualquer uma de suas representacoes matriciais com respeito a uma base fixada;
prova-se entao que o traco independe da base escolhida, ou seja, que o traco e uma nocao independente de
coordenadas. Usando o isomorfismo natural entre o espaco vetorial End (V ) dos operadores lineares sobre V
e T11 (V ), podemos definir o traco para operadores lineares independemente de coordenadas. Antes, observe
que da Proposic
ao 1.21 segue que os produtos tensoriais da forma v, V , v V , geram T11 (V ); em
outras palavras, todo (1, 1)-tensor e uma combinacao linear de tais produtos tensoriais.
1.25 Defini
c
ao. O tra
co de (1, 1)-tensores e o funcional linear tr : T11 (V ) R definido por
tr ( v) = (v)
em produtos tensoriais e estendido linearmente a todo T11 (V ).
Se : End (V ) T11 (V ) e o endomorfimo natural, entao o tra
co de um operador linear A End (V )
e definido por
tr A = tr ( (A)) .
31
1.26 Proposi
c
ao. Se T T11 (V ) se escreve em coordenadas na forma
T =
Tij ei ej ,
i,j=1
ent
ao
tr T =
Tii .
(1.31)
aii .
(1.32)
i=1
Se A End (V ) e Aei =
aki ek , ent
ao
k=1
tr A =
i=1
n
n
n
(
)
Tij tr ei ej =
Tij ei (ej ) =
Tij ij =
Tii .
i,j=1
i,j=1
Da, como
tr A =
i,j=1
i=1
[ (A)]i ,
i=1
e, pela Proposic
ao 1.17,
j
[ (A)]i
)
= (A) ei , ej = ej (Aei ) = ej
)
aki ek
k=1
k=1
aki ej (ek ) =
aki jk
k=1
= aji ,
segue a segunda express
ao.
O conceito de traco pode ser generalizado para tensores de qualquer tipo, produzindo uma operacao que
diminui a ordem total do tensor em 2, 1 para a parte covariante e 1 para a parte contravariante. Antes
observe que, dado um tensor T do tipo (k, l) e ndices p, q, cada (k 1, l 1)-upla fixada
(
)
l1
v1 , . . . , vp1 , vp+1 , . . . , vk , 1 , . . . , q1 , q+1 , . . . , l V k1 (V )
define um tensor S T11 (V ), que depende da (k 1, l 1)-upla escolhida, atraves da expressao
(
)
S (v, ) = T v1 , . . . , vp1 , v, vp+1 , . . . , vk , 1 , . . . , q1 , , q+1 , . . . , l .
Em outras palavras, fixados v1 , . . . , vp1 , vp+1 , . . . , vk , 1 , . . . , q1 , q+1 , . . . , l ,
(
)
T v1 , . . . , vp1 , , vp+1 , . . . , vk , 1 , . . . , q1 , , q+1 , . . . , l
e um (1, 1)-tensor.
1.27 Defini
c
ao. Dado um tensor T do tipo (k, l) e ndices p, q, o tra
co de T com respeito aos ndices p, q
(ndice covariante p e ndice contravariante q) e o tensor tr T do tipo (k 1, l 1) definido por
(
)
(tr T ) v1 , . . . , vp1 , vp , . . . , vk , 1 , . . . , q1 , q , . . . , l
(
)
= tr T v1 , . . . , vp1 , , vp , . . . , vk , 1 , . . . , q1 , , q , . . . , l .
Se for necessario explicitar os ndices em relacao aos quais foi tomado o traco, denotaremos trpq T .
32
1.28 Proposi
c
ao. Se T Tlk (V ) se escreve em coordenadas na forma
n
T =
...jl i1
Tij11...i
e . . . eik ej1 . . . ejl .
k
i1 ,...,ik =1
j1 ,...,jl =1
ent
ao as coordenadas de
n
tr T =
j ...j
l1
(tr T )i11...ik1
ei1 . . . eik1 ej1 . . . ejl1
i1 ,...,ik1 =1
j1 ,...,jl1 =1
s
ao dadas por
j ...j
l1
(tr T )i11...ik1
=
j ...j
ij ...j
q1 q
k1
Ti11...ip1
iip ...il1 .
(1.33)
i=1
(
)
Prova: Por definic
ao, se S e o tensor T ei1 , . . . , eip1 , , eip , . . . , eik1 , ej1 , . . . , ejq1 , , ejq , . . . , ejl1 , entao
(
)
j ...jl1
(tr T )i11...ik1
= (tr T ) ei1 , . . . , eip1 , eip , . . . , eik1 , ej1 , . . . , ejq1 , ejq , . . . , ejl1
= tr S
n
=
Sii
i=1
(
)
T ei1 , . . . , eip1 , ei , eip , . . . , eik1 , ej1 , . . . , ejq1 , ei , ejq , . . . , ejl1
i=1
j ...j
ij ...j
q1 q
l1
Ti11...ip1
iip ...ik1 .
i=1
1.5
Fibrados Tensoriais
1.29 Defini
c
ao. Seja M uma variedade diferenciavel de dimensao n com um atlas = { : U M }A .
O fibrado (k, l)-tensorial de M e a variedade diferenciavel de dimensao n + nk+l
{
}
Tlk M = (p, T ) : p M e T Tlk (Tp M )
{
}
k+l
= : U Rn
Tlk T M
com um atlas
definido por
(
...jl
x, Tij11...i
k
=
(x) ,
)
i1 ,...,ik =1,...,n
j1 ,...,jl =1...,n
n
i1 ,...,ik =1
j1 ,...,jl =1
...jl
Tij11...i
k
.
dxi1 p . . . dxik p
.
.
.
j
x 1 p
xjl p
33
Note que
T 0 M = C (M ) ,
T1 M = T M,
T 1 M = T M,
T0k M = T k M,
Tl0 M = Tl M.
Fibrados tensoriais sao fibrados vetoriais (veja o Exerccio 1.3).
1.6
Campos Tensoriais
1.30 Defini
c
ao. Um campo tensorial e uma secao do fibrado tensorial. Um campo tensorial diferenci
avel e uma sec
ao diferenciavel do fibrado tensorial.
O espaco vetorial dos campos (k, l)-tensoriais e denotado por Tlk M .
Note que
T 0 M = C (M ) ,
T1 M = X (M ) ,
T0k M = T k M,
Tl0 M = Tl M.
e T 1 M e o espaco vetorial dos campos covetoriais.
1.31 Proposi
c
ao. Seja T : M Tlk M um campo tensorial. Para cada parametrizac
ao : U V uma
vizinhanca V de M , denote a base coordenada associada para o espaco tensorial Tlk (Tp M ) por
{
}
( k)
i1
ik
Bl p = dx p . . . dx p
...
xj1 p
xjl p 16i1 ,...,ik 6n
16j1 ,...,jl 6n
para todo p V , de modo que nesta base coordenada o campo tensorial T se escreve na forma
n
j1 ...jl
i1
ik
Tp =
Ti1 ...ik (p) dx p . . . dx p
...
.
(1.34)
xj1 p
xjl p
i ,...,i =1
1
j1 ,...,jl =1
Ent
ao T e um campo tensorial diferenci
avel se e somente se para toda parametrizac
ao as func
oes
...jl
:
V
R
s
a
o
diferenci
a
veis
para
todos
os
ndices
i
,
.
.
.
,
i
,
j
,
.
.
.
,
j
=
1
.
.
.
,
n.
Tij11...i
1
k
1
l
k
1.7
Exerccios
1.1 Defina o fibrado cotangente e mostre que ele e um fibrado vetorial. Defina o conceito de campos covetoriais.
1.2 Mostre que o fibrado tensorial definido pela Definicao 1.26 e de fato uma variedade diferenciavel.
1.3 Mostre que um fibrado tensorial e um fibrado vetorial.
1.4 Demonstre a Proposic
ao 1.28.
34
Captulo 2
M
etricas Riemannianas
2.1
Definic
ao e Exemplos
2.1 Defini
c
ao. Seja M uma variedade diferenciavel de dimensao n. Uma m
etrica riemanniana em M e
um campo 2-tensorial covariante diferenciavel g com as seguintes propriedades:
(i) g e simetrico, isto e, gp (v, w) = gp (w, v) para todos v, w Tp M ;
(ii) g e positivo definido, isto e, gp (v, v) = 0 para todo v Tp M .
Uma variedade diferenciavel M com uma metrica riemanniana g dada e chamada uma variedade
riemanniana.
Em outras palavras, uma metrica riemanniana em M e uma aplicacao que associa a cada ponto p M um
produto interno (isto e, uma forma bilinear simetrica, positiva definida)
gp = , p
no espaco tangente Tp M que varia diferenciavelmente{ com p no sentido }
de que se : U V e uma
parametrizacao de uma vizinhanca V de M e Bp =
,...,
e a base coordenada de Tp M
x1 p
xn p
associada a esta parametrizac
ao, para cada p V , entao as funcoes gij : V R
gij (p) =
,
(2.1)
xi p xj p
p
gij (p) dxi p dxj p ,
(2.2)
i,j=1
e as funcoes componentes gij do tensor metrica g sao diferenciaveis para toda parametrizacao se e somente
se g e diferenciavel.
Omitindo o smbolo do ponto de atuac
ao p, como frequentemente faremos, escrevemos simplesmente
,
(2.3)
gij =
xi xj
e notamos que a simetria do tensor metrica implica que
gij = gji .
35
(2.4)
36
(2.5)
g=
i,j=1
(2.7)
i,j=1
ja que
g=
i,j=1
n
1
(gij + gji ) dxi dxj
2
i,j=1
n
1
1
gij dxi dxj +
gji dxi dxj
2 i,j=1
2 i,j=1
n
n
1
1
gij dxi dxj +
gij dxj dxi
2 i,j=1
2 i,j=1
n
i,j=1
n
gij
(permutando os ndices i, j)
)
1( i
dx dxj + dxj dxi
2
i,j=1
Estritamente falando, uma variedade riemanniana e um par (M, g), onde M e uma variedade diferenciavel
e g a metrica riemanniana, ja que uma mesma variedade diferenciavel pode admitir diferencas metricas
riemannianas, como veremos no decorrer deste texto. Contudo, quando nao houver perigo de confusao, nos
vamos nos referir `a variedade riemanniana simplesmente por M .
2.2 Exemplo. (Metrica Euclidiana) Rn com a metrica euclidiana gij = ei , ej = ij .
2.3 Proposi
c
ao. Toda variedade riemanniana possui uma metrica riemanniana.
Prova: Seja { : U V } um atlas para M e {f } uma particao da unidade de M subordinada `a
cobertura {V } .
Em cada V podemos definir uma metrica riemanniana, aquela induzida pela parametriza
cao: dado
{
}
p M e vetores v, w Tp M , eles se escrevem em coordenadas com relacao `a base Bp =
,...,
x1 p
xn p
associada `a parametrizac
ao por
n
n
v=
vi
e w=
wi
xi p
xi p
i=1
i=1
37
v, wp =
vi wi .
i=1
v, wp =
f (p) v, wp .
i=1
2.4 Exemplo. (Metrica Produto) Se (M1 , g1 ) e (M2 , g2 ) sao duas variedades riemannianas, entao definimos
a m
etrica produto g = g1 g2 na variedade produto M1 M2 por
g(p1 ,p2 ) ((v1 , w1 ) , (v2 , w2 )) = (g1 )p1 (v1 , v2 ) + (g2 )p2 (w1 , w2 )
(2.8)
(2.10)
38
Desta forma, a imersao F se torna uma imersao isometrica. Um difeomorfismo F entre duas variedades
riemannianas (M, g) e (N, h) e uma isometria se
g = F h.
facil ver que isometria e uma relac
E
ao de equivalencia na classe das variedades riemannianas. Geometria
riemanniana e principalmente o estudo das propriedades que sao invariantes por isometrias.
2.8 Exemplo. (Superfcies n-dimensionais em RN ) Seja M Rn+k uma variedade diferenciavel de dimensao n, isto e, uma superfcie n-dimensional. A aplicacao inclusao i : M Rn+k e uma imersao,
logo, assumindo a metrica euclidiana em Rn+k , induz em M uma metrica riemanniana. Neste caso,
a inclusao passa a ser uma imersao isometrica. Da, como a diferencial dip da inclusao e a inclusao
natural de Tp M em Rn+k , segue que
v, wp = v, wRn+k
(2.11)
onde , Rn+k e o produto interno canonico de Rn+k . Uma demonstracao alternativa de que toda
variedade diferenciavel possui uma metrica segue entao do Teorema da Imersao de Whitney: a metrica
induzida pela metrica euclidiana em Rn . Diferentes parametrizacoes podem ser usadas para superfcies
n-dimensionais, cada uma dando origem a componentes gij (para a mesma metrica) mais ou menos
simples.
a) (Gr
aficos de Func
oes) Se U Rn e um aberto e f : U R e uma funcao, entao o gr
afico de f
{
}
graf (f ) = (x, f (x)) : x Rn+1
e uma variedade diferenciavel com a topologia induzida de Rn+1 de dimensao n. Uma parametrizacao
global para o grafico de f e por : Rn graf(f ) definida por
(
) (
(
))
x1 , . . . , xn = x1 , . . . , xn , f x1 , . . . , xn .
Como
k
=
xj
ou seja,
k
(x) =
xj
kj
f
xj
se k = n + 1,
se k = n + 1,
f
0, . . . , 0, 1, 0, . . . 0, j (x)
j
x
segue que
gij (x) =
f f
=
= ij + i j .
(x) , j (x)
(x) , j (x)
i
xi
x
x
x
x
x
(x,f (x))
Rn+1
(2.12)
39
onde (t) = ( (t) , (t)) e uma parametrizacao local para a curva C. Da,
donde
g11 (t, ) =
g12 (t, ) =
g22 (t, ) =
(t, ) ,
(t, )
t
t
(t, ) ,
(t, )
t
(t, ) ,
(t, )
Portanto
G (t, ) =
(t,)
=
(t,)
(t,)
,
t t
,
t
,
[ (t)] + [ (t)]
0
2
= [ (t)] + [ (t)] ,
2
R3
= 0,
R3
= [ (t)] .
R3
0
2
[ (t)]
]
.
2.9 Exemplo. (Esfera) A metrica euclidiana induz uma metrica na esfera de raio r
{
}
( )2
(
)2
2
Snr = x Rn+1 : x = x1 + . . . + xn+1 = r2
que chamaremos a metrica can
onica de Snr . Denotaremos a esfera unitaria por Sn , simplesmente.
Vamos ver os coeficientes gij para diferentes parametrizacoes da esfera.
a) Como grafico de func
ao.
(
)
O hemisferio superior da esfera e o grafico da funcao f : Br Rn R dada por f x1 , . . . , xn =
2
2
r2 (x1 ) . . . (xn ) . Como
f
xi
(x) =
2,
i
x
r2 x
segue que
gij (x) = ij +
xi xj
(2.13)
r2 x
Similarmente para o hemisferio inferior. Estas parametrizacoes nao cobrem o equador da esfera.
b) Como superfcie de revoluc
ao.
A parametrizac
ao da esfera de raio r como superfcie de revolucao e
(x, y, z) (, ) = (r sen cos , r sen sen , r cos ).
Segue que
[
G (, ) =
r2
0
0
r2 sen2
]
.
Esta parametrizac
ao cobre toda a esfera e e uma imersao isometrica.
40
c) Atraves da projec
ao estereografica.
Na projec
ao estereografica a partir do( polo norte N) = (0, . . . , 0, r), a reta a partir de N que intercepta
o plano xn+1 = 0 em um ponto x
e = x1 , . . . , xn , 0 , intercepta a esfera em um ponto (x). Portanto
a parametrizac
ao da projec
ao estereografica a partir do polo norte : Rn Snr e definida por
(
)
(x) = N + t (e
x N ) = tx1 , . . . , txn , (1 t) r
onde t > 0 e tal que (x) = r. Ou seja, t e tal que
2
t2 x + (1 t) r2 = r2 ,
donde
t=
Portanto,
(
)
x1 , . . . , x n =
2r2
2.
r2 + x
2r2 x1
2,...,
r2 + x
2r2 xn
2,r 2
r
r2 + x
4r2 xj xk
2r2 kj
)2
2
2
r2 + x
r2 + x
k
(x) =
4r3 xj
xj
(
)2
r2 + x2
Da
x r2
+ x
(2.14)
se k = n + 1,
se k = n + 1.
Segue que as componentes do tensor metrica nas coordenadas dadas pela parametrizacao sao
n+1
n+1
k
l
gij (x) =
(x) , j (x)
=
(x) ek ,
(x) el
xi
x
xi
xj
(x)
n+1
k=1
n+1
n+1
l=1
n+1
ek , el Rn+1 =
kl =
xi xj
xi xj
xi xj
k,l=1
k=1
k,l=1
n
2r2 ki
4r2 xi xk 2r2 kj
4r2 xj xk
16r6 xi xj
=
2
)2 2
)2 + (
)4
2 (
2 (
2
2
2
r + x
r + x
k=1
r2 + x
r2 + x
r2 + x
(
)
( k )2
n
4
j k
i k
4 i j
4
8r ki x x + kj x x
16r x x x
16r6 xi xj
4r ki kj
=
+ (
(
)2
(
)3
)4 + (
)4
2
2
2
2
k=1
r2 + x
r2 + x
r2 + x
r2 + x
=(
=(
=(
4r4 ij
2
r2 + x
4r4 ij
r2 + x
4r4 ij
r2 + x
)2 (
)2 (
)2 .
16r4 xi xj x
16r6 xi xj
)3 + (
)4 + (
)4
2
2
2
r2 + x
r2 + x
r2 + x
16r4 xi xj
16r4 xi xj
2
r2 + x
)3 + (
16r4 xi xj
2
r2 + x
)3
41
4r4
r2
+ x
)2 ij .
(2.15)
4r4
(
)2
r2 + x2
G (x) =
..
.
4r4
(
)2
2
r2 + x
4r4
= (
)2 I.
r2 + x
A projec
ao estereografica e um mergulho. Usando a projecao estereografica a partir do polo sul obtemos
duas parametrizac
oes que cobrem toda a esfera.
2.10 Exemplo. (Espaco Hiperb
olico) Considere o semiespaco superior de Rn
{(
)
}
Hn = x1 , . . . , xn Rn : xn > 0 .
Com a topologia induzida como aberto de Rn , Hn e uma superfcie diferenciavel de dimensao n. Se
definirmos diretamente em Hn a metrica
(
)
ij
gij x1 , . . . , xn =
2,
(xn )
(2.16)
1
(xn )2
..
G=
I.
=
.
(xn )2
1
(xn )
2.11 Exemplo. (Toros) O toro mergulhado em R3 e uma superfcie de revolucao gerada pelo crculo.
Tomando o crculo com centro em (R, 0) e raio r < R com parametrizacao (t) = (R + r cos t, r sen t)
obtemos a parametrizac
ao para o toro bidimensional como superfcie de revolucao
(t, ) = ((R + r cos t) cos , (R + r cos t) sen , r sen t)
cuja respectiva metrica e dada por
[
G (t, ) =
r2
0
0
2
(R + r cos t)
]
.
Outra metrica induzida de RN importante para o toro, nao localmente isometrica `a metrica dada
acima (como veremos depois) e a m
etrica plana do toro: considerando o toro como a superfcie
42
sen j
cos j
()
=
j
0
se k = 2j 1,
se k = 2j,
se k = 2j 1, 2j.
ou seja,
=
j
Da
gij () =
)
0, . . . , 0, sen j , cos j , 0, . . . 0
2j
2j1
() , j ()
i
()
= ij ,
() , j ()
i
R2n
(2.17)
que sao os mesmos componentes da metrica euclideana. Portanto, o toro plano e localmente isometrico
ao plano Rn . Observe que considerando T2 como uma superfcie de R3 ou como uma superfcie de R4
define duas metricas completamente diferentes para a mesma superfcie.
2.2
Comprimentos e Volumes
2.2.1
Em variedades riemannianas podemos definir e calcular o comprimento de curvas parametrizadas. Uma curva
parametrizada em uma variedade diferenciavel M e simplesmente uma aplicacao diferenciavel : I M ,
onde I R e um intervalo real; curvas parametrizadas podem possuir autointersecoes e ate mesmo c
uspides
ou quinas. Um segmento de uma curva parametrizada e uma restricao de a um intervalo fechado
[a, b] I. Se M e uma variedade riemanniana, a norma ou comprimento de um vetor v Tp M e a norma
induzida pelo produto interno:
vp = v, vp .
(2.18)
2.12 Defini
c
ao. Seja M uma variedade riemanniana e : I M uma curva parametrizada. O comprimento do segmento de definido no intervalo [a, b] I e definido por
b
() =
(t)(t) dt.
(2.19)
a
2.13 Exemplo. Considere a curva parametrizada (t) = (0, t) no semiespaco positivo R2+ ; temos (t) =
(0, 1) = e2 . Se R2+ e considerado uma subvariedade riemanniana do plano euclideano, entao
b
b
() =
e2 (0,t) dt =
dt = b a.
a
Se
R2+
2.2.2
43
A metrica riemanniana tambem permite definir uma nocao de volume em variedades orientadas que permite
integrar func
oes, nao apenas formas diferenciais. Seja M uma variedade riemanniana orientada. Dado
p M , seja Bp = {e1 , . . . , en } uma base ortonormal positiva para Tp M . Seja : U (U ) uma
parametrizacao positiva (isto e, na mesma orientacao de M ; para detalhes, veja por exemplo [Carmo], p.
18) de uma vizinhanca (U ) de p em M e escreva os vetores da base coordenada de Tp M associada `a
parametrizacao em coordenadas em relacao `a base ortonormal positiva Bp na seguinte forma:
n
=
aki ek
xi p
k=1
para i = 1, . . . , n. Ent
ao
n
n
n
,
=
gij (p) =
a
e
,
a
e
=
a
a
e
,
e
=
kl aki alj
ki
k
lj
l
ki
lj
k
l
p
xi p xj p
k=1
l=1
k,l=1
k,l=1
aki akj .
k=1
det G = (det A) .
Denotando por vol [v1 , . . . , vn ] o volume do paraleleppedo formado pelos vetores v1 , . . . , vn , sabemos que
[
]
vol
det G (p) ,
,
.
.
.
,
=
det
(a
)
vol
[e
,
.
.
.
,
e
]
=
det
A
=
ij
1
n
x1
xn
p
=
Jji
.
(2.20)
xi p j=1
y j p
com Jji = y j /xi . Denote
hij (p) =
,
y i p y j p
e
H = (hij ) .
Segue que
[
[
]
]
,...,
= det J vol
,...,
x1 p
xn p
y 1 p
y n p
(2.21)
44
2.14 Defini
c
ao. Seja M n uma variedade riemanniana e M um conjunto aberto, conexo e com fecho
compacto, tal que esta contida em uma vizinhanca coordenada (U ) de uma parametrizacao :
U (U ) e a fronteira de 1 () tem medida nula em Rn . O volume de e definido por
vol =
det G dx1 . . . dxn .
(2.22)
1 ()
Se M e um compacto, tome qualquer cobertura finita {Vi }i=1,...,n de por vizinhancas parametrizadas de M e considere uma particao da unidade {i }i=1,...,n subordinada a esta cobertura; se
i : Ui Vi , i = 1, . . . , n, sao parametrizacoes destas vizinhancas, definimos
vol =
i=1
1
i ()
(2.23)
Se f : M R e uma func
ao contnua com suporte compacto , definimos
f dVg =
M
i=1
1
i ()
(
)
f 1
det G dx1 . . . dxn .
i (x)
(2.24)
Segue da formula de mudanca de vari
aveis para integrais m
ultiplas e de (2.21) que o volume esta bem definido,
isto e, nao depende da parametrizac
ao. Na linguagem de formas, o elemento de volume riemanniano
2.3
O grupo de isometrias de uma variedade Riemanniana e um grupo de Lie, como pode ser visto em .
2.15 Defini
c
ao. Um grupo de Lie G e uma variedade diferenciavel que possui uma estrutura algebrica
de grupo tal que a aplicac
ao
G G G
(g, h) 7 gh1
e diferenciavel.
2.16 Proposi
c
ao. Seja G um grupo que e uma variedade diferenci
avel. Ent
ao G e um grupo de Lie se e
somente se as aplicac
oes
G G
g 7 g 1
e
G G G
(g, h) 7 gh
s
ao diferenci
aveis.
45
Prova: Suponha que G e um grupo de Lie. Entao a primeira aplicacao e diferenciavel porque e a composta
das aplicacoes diferenciaveis
G G G G
x 7
(e, g)
7 eg 1 = g 1
(lembre-se que a inclusao na variedade produto sempre e uma aplicacao diferenciavel). A segunda e diferenciavel porque e a composta das aplicac
oes diferenciaveis
G G G G
(
)
(g, h)
7
g, h1
G
(
)1
7 g h1
= gh
(f) GL(Rn ) (o grupo linear geral das matrizes reais invertveis nn, subvariedade de Rn ), multiplicacao
matricial.
2.18 Proposi
c
ao. Seja G um grupo de Lie. Dado g G, ent
ao as aplicac
oes translac
ao `
a esquerda por g
Lg : G
g
G
7 gh
(2.26)
Rx : G
h
G
7 yg
(2.27)
e translac
ao `
a direita por g
s
ao difeomorfismos.
Observando que
(Lg )
(Rg )
temos pela regra da cadeia
1
1
= Lg1 ,
= Rg1 ,
[
]1 ( 1 )
(dLg )h
= dLg L
gh
e similarmente
(
)
= dLg1 gh
[
)
]1 (
(dRg )h
= dRg1 gh .
(2.28)
(2.29)
2.19 Defini
c
ao. Uma
algebra de Lie (sobre R) e um espaco vetorial G munido de uma aplicacao bilinear,
chamada o colchete de Lie,
[, ] : V V R
46
que satisfaz
(i) (anticomutatividade)
[X, Y ] = [Y, X] ;
(2.30)
(2.31)
para todos X, Y, Z G.
2.20 Exemplo. Seja M uma variedade diferenciavel. O espaco vetorial X (M ), equipado com o colchete de
Lie definido na Definic
ao 0.25 e uma algebra de Lie.
2.21 Exemplo. O espaco vetorial das matrizes reais n n com a operacao colchete definida por
[A, B] = AB BA
(2.32)
(2.34)
para todo h G. Em particular, um campo invariante `a esquerda fica completamente determinado pelo seu
valor em algum ponto qualquer de G. Por exemplo, se conhecemos o valor de Xe entao, tomando h = e,
segue que
Xg = (dLg )e Xe .
(2.35)
O proximo resultado garante a existencia de um n
umero infinito de campos invariantes `a esquerda em um
grupo de Lie.
2.24 Proposi
c
ao. Seja G um grupo de Lie. Todo vetor tangente Xe no espaco tangente Te G possui uma
extens
ao a um campo invariante `
a esquerda X X (G).
47
v, wh = (dLg )h v, (dLg )h w Lg h
(2.37)
para todos g, h G e para todos v, w Te G. Analogamente, definimos uma metrica invariante `
a
direita.
Uma metrica que e ao mesmo tempo invariante `a esquerda e `a direita e chamada uma m
etrica biinvariante.
Em outras palavras, em uma metrica invariante `a esquerda, toda translacao `a esquerda Lg e uma isometria,
enquanto que em uma metrica invariante `a direita, toda translacao `a direita Rg e uma isometria. Em uma
metrica bi-invariante todas as translac
oes sao isometrias. A existencia de metricas bi-invariantes para grupos
de Lie compactos e estabelecida no Exerccio 7 de [Carmo]. A existencia de metrica invariantes `a esquerda
ou `a direita em qualquer grupo de Lie e estabelecida atraves da seguinte definicao.
48
2.28 Proposi
c
ao. Seja G um grupo de Lie. Suponha que , e algum produto interno em Te G. Ent
ao a
metrica em G definida por
(
)
(
)
v, wg = dLg1 g v, dLg1 g w
(2.38)
e
(dLg )h v, (dLg )h w L
gh
(
=
=
)
dL(Lg h)1
(dLg )h w
)
(
)
dLh1 g1 gh (dLg )h v, dLh1 g1 gh (dLg )h w
Lg h
)
Lg h
= (dLh1 )h v, (dLh1 )h we
= v, wh
lembrando que Lh1 g1 Lg = Lh1 g1 g = Lh1 . Analogamente prova-se a invariancia `a direita da segunda
metrica.
Ha uma relac
ao entre o produto interno e o colchete de Lie em G = Te G que caracteriza as metricas
bi-invariantes de G que enunciaremos sem prova.
algebra de Lie G. A metrica invariante `
a esquerda definida
2.29 Teorema. Seja G um grupo de Lie com
na proposic
ao anterior e bi-invariante se e somente se o produto escalar , em G = Te G usado para
definir a metrica satisfaz
[V, X] , W = V, [W, X]
para todos V, W, X G.
2.4
Exerccios
Captulo 3
Conex
oes Riemannianas
possvel definir geodesicas e estudar suas propriedades sem falar de curvatura. Na verdade e ate possvel
E
falar em geodesicas sem falar de metrica. Geodesicas sao generalizacoes das retas da geometria euclideana.
Embora seja possvel definir geodesicas como curvas que minimizam distancias, pelo menos localmente (e
neste caso a noc
ao de geodesica estaria tambem fundamentalmente ligada `a nocao de metrica) esta propriedade e tecnicamente difcil de trabalhar como definicao. Ao inves, escolheremos uma propriedade diferente
das retas para generalizar: retas sao caracterizadas como curvas com aceleracao nula. Esta propriedade nao
faz nenhuma referencia `a metrica e pode ser utilizada mesmo em variedades diferenciaveis que nao tenham
uma estrutura riemanniana. Para usar esta propriedade, precisaremos primeiro definir o conceito de derivadas de campos tangentes `a curvas. Como em geral nao existe um espaco ambiente Rn onde a variedade esta
mergulhada, nao e imediatamente obvio como defini-lo. Se : I M e uma curva diferenciavel em uma
variedade M n
ao podemos simplesmente definir
(t0 ) = lim
tt0
(t) (t0 )
t t0
porque (t) T(t) M e (t0 ) T(t0 ) M vivem em diferentes espacos vetoriais, logo sua diferenca nao
faz sentido. A definic
ao do conceito de conex
ao atende esta necessidade de definir uma nocao de derivacao
intrnseca para campos vetoriais. O nome conex
ao se refere exatamente `a ideia de conectar localmente os
espacos tangentes de uma variedade.
3.1
Conex
oes
Consideremos o conjunto X (M ) dos campos vetoriais diferenciaveis em uma variedade diferenciavel M como
um modulo sobre o anel C (M ) das funcoes suaves definidas em M .
3.1 Defini
c
ao. Seja M uma variedade diferenciavel de dimensao n. Uma conex
ao em M e uma aplicacao
: X (M ) X (M ) X (M ) ,
denotada por (X, Y ) 7 X Y que satisfaz as seguintes propriedades:
(i) f X+gY Z = f X Z + gY Z,
(ii) X (Y + Z) = X Y + X Z,
(iii) X (f Y ) = f X Y + (Xf ) Y.
para todos os campos X, Y, Z X (M ) e para todas as funcoes f, g C (M ).
Dizemos que X Y e a derivada covariante do campo Y na direcao de X.
49
50
O smbolo X Y deve ser interpretado como a derivada direcional do campo Y na direcao X. O resultado a
seguir reforca esta noc
ao:
3.2 Proposi
c
ao. Seja uma conex
ao em uma variedade diferenci
avel M . Ent
ao (X Y )p depende apenas
do valor de X em p e do valor de Y ao longo de uma curva tangente a Xp .
Prova: Sejam
X=
X i i , Y =
i=1
Y j j ,
j=1
X Y i j +
i
i,j=1
( )
X Y j j .
(3.1)
j=1
n
n
n
n
(
)
( )
X Y = X
Y j j =
X Y j j =
Y j X j +
X Y j j
j=1
j=1
Y j ni=1 X i i j +
j=1
n
j=1
j=1
( )
X Y j j
j=1
X i Y j i j +
i,j=1
Em particular,
(X Y )p =
( )
X Y j j .
j=1
X i (p) Y j (p) (i j )p +
i,j=1
[ ( j )]
Xp Y
(p) j |p .
j=1
( )
Os coeficientes X 1 (p) , . . . , X n (p) dependem apenas do valor de X em p; os coeficientes Xp Y 1 , . . . , Xp (Y n ),
por definicao de vetor tangente, dependem apenas dos valores de Y ao longo de uma curva passando por p
cujo vetor tangente em p e Xp .
Da expressao (3.1), escrevendo os campos vetoriais i j em termos dos campos base k na forma
i j =
kij k ,
(3.2)
k=1
n
n
( k)
X Y +
X Y =
X i Y j kij k .
k=1
(3.3)
i,j=1
3.3 Defini
c
ao. As func
oes suaves kij definidas pela expressao (3.3) sao chamadas os smbolos de Christoel associados `a parametrizac
ao particular utilizada.
Observe que em princpio precisamos obter n3 smbolos de Christoel para determinar uma conexao. No
caso de conexoes riemannianas, a simetria diminui o n
umero de smbolos diferentes.
avel possui uma conex
ao.
3.4 Proposi
c
ao. Toda variedade diferenci
51
Prova: Se V e uma vizinhanca coordenada de M , dadas n3 funcoes arbitrarias kij C (V ), a formula (3.3)
define uma conexao em V , vista como subvariedade de M . Se {V } e uma cobertura de M por vizinhancas
coordenadas, cada uma com uma conexao , entao podemos definir uma conexao global em M , usando
uma particao da unidade { } subordinada a esta cobertura, por
X Y =
X Y.
As propriedades de uma conexao sao facilmente verificadas; apenas a regra do produto merece atencao
especial, ja que combinac
oes lineares de conexoes nao sao conexoes em geral, exatamente por deixarem de
satisfazer a regra do produto. Mas combinacoes lineares convexas de conexoes s
ao conexoes e no nosso caso
temos
[(Xf ) Y + f
X Y (f Y ) =
X (f Y ) =
XY ]
= (Xf ) Y
+ f
XY
= (Xf ) Y + f X Y.
3.5 Exemplo. (Conex
ao Euclideana) Identificando espacos tangentes em Rn com o proprio Rn , vetores
tangentes com vetores em Rn e campos vetoriais em Rn com aplicacoes suaves Rn Rn , nos definimos
a conex
ao euclideana : X (Rn ) X (Rn ) X (Rn ) por
(X Y )p = dYp (Xp ) ,
(3.4)
i Y
dYp (Xp ) =
ej ,
X
xi
j=1
i=1
ou seja,
X Y =
( n
n
j=1
i=1
i Y
xi
.
xj
(3.5)
j=1
i=1
i=1
i Y
xi
Xi
n
n
(f Y ) i f Y j
=
X
xi
xj xi
i=1
j=1
(f ) .
xj
Em notac
ao mais sucinta, a expressao em coordenadas da conexao euclideana que obtemos a partir de
(3.5) e
n
( )
X Y =
X Yj
.
(3.6)
xj
j=1
facil verificar que a conexao euclideana satisfaz todas as condicoes da Definicao 3.1:
E
[
]
(f X+gY Z)p = dZp (f X + gY )p = dZp (f (p) Xp + g (p) Yp )
= f (p) dZp (Xp ) + g (p) dZp (Yp )
= f (p) (X Z)p + g (p) (Y Z)p ,
52
V (t) =
V j (t) j (t)
j=1
a expressao local do campo V , abusando a notacao escrevendo t ao inves de (t). Pelas primeiras duas
propriedades do enunciado, temos
n
n
DV
dV j
Dj
(t) =
(t) j (t) +
Vj
(t) .
dt
dt
dt
j=1
j=1
d i
dt
n
)
d i
(t)
=
(t) i j (t) .
j
(t)i
dt
i=1
53
DV
Portanto, temos que localmente o campo
se escreve na forma
dt
n
n
k
i
dV
d
DV
(t) =
(t) +
(t) kij (t) V j (t) k (t) ,
dt
dt
dt
i,j=1
(3.7)
k=1
DV
e unicamente determinado.
dt
DV
Para determinar a existencia de
, dada uma parametrizacao : U M de uma vizinhanca de
dt
DV
em M , defina o campo
em (U ) pela expressao (3.7); e imediato verificar que um campo definido desta
dt
forma satisfaz todas as propriedades do enunciado. Alem disso, se : W M e uma outra parametrizacao
DV
de uma vizinhanca de em M e um campo
e definido por (3.7), entao em (U ) (W ) as expressoes
dt
DV
produzem o mesmo valor a menos de uma mudanca de coordenadas, logo
esta bem definido.
dt
DV
3.7 Defini
c
ao. O campo diferenciavel
e chamado a derivada covariante de V ao longo da curva .
dt
o que mostra que o campo
3.8 Defini
c
ao. Seja M uma variedade diferenciavel com uma conexao . Um campo vetorial diferenciavel
V ao longo de uma curva diferenciavel : I M e chamado um campo paralelo ao longo de se
DV
0.
dt
Um campo vetorial X X (M ) e chamado um campo paralelo se ele e paralelo ao longo de qualquer
curva.
facil ver que um campo vetorial X X (M ) e paralelo se e somente se
E
Y X = 0
para todo campo Y X (M ).
3.9 Proposi
c
ao. Seja M uma variedade diferenci
avel com uma conex
ao . Seja : I M uma curva
diferenci
avel e V0 um vetor tangente em (t0 ), t0 I. Ent
ao existe um u
nico campo paralelo V
definido ao longo de tal que V (t0 ) = V0 .
DV
Prova: Usando a expressao (3.7) obtida na Proposicao 3.6, o campo derivada covariante
em coordenadas
dt
locais se escreve na forma
n
n
k
i
DV
dV
d
(t) =
(t) +
(t) kij (t) V j (t) k (t) ,
(3.8)
dt
dt
dt
i,j=1
k=1
DV
Logo, a existencia local do campo V (t) satisfazendo
= 0 para todo t e V (t0 ) = V0 corresponde a uma
dt
solucao do sistema linear de n equac
oes diferenciais
d i
dv1 (t) +
(t) 1ij (t) vj (t) = 0
dt
dt
i,j=1
..
.
i
d
dvn
(t) +
(t) nij (t) vj (t) = 0
dt
dt
i,j=1
54
3.2
Conex
oes Riemannianas
Como metricas riemannianas e conexoes definem cada uma uma estrutura geometrica particular, o caso mais
relevante de variedade riemanniana dotada de uma conexao e quando a estrutura geometrica definida por
elas coincide. Para isso a conexao deve satisfaz duas condicoes. A primeira delas e a chamada compatibilidade
da conex
ao com a metrica, que pode ser definida de qualquer um dos tres modos equivalentes a seguir.
3.11 Proposi
c
ao. Seja M uma variedade riemanniana com uma conex
ao . Ent
ao as seguintes afirmac
oes
s
ao equivalentes:
(i) Para todos os campos paralelos V e W ao longo de qualquer curva diferenci
avel em M vale
V, W constante.
(3.9)
d
DV
DW
V, W =
, W + V,
.
(3.10)
dt
dt
dt
(iii) Para todos os campos X, Y, Z X (M ) vale
X Y, Z = X Y, Z + Y, X Z .
(3.11)
V =
V i (t) Ei (t) e W =
W j (t) Ej (t)
i=1
j=1
55
e W j (t) = W, Ej .
n
n
n
DV
dV i
DEi
dV i
(t) =
(t) Ei (t) +
V i (t)
(t) =
(t) Ei (t) ,
dt
dt
dt
dt
i=1
i=1
i=1
e, similarmente,
dW j
DW
(t) =
(t) Ej (t) .
dt
dt
j=1
n
Da,
DV
,W
dt
n
n
n
DW
dV i
dW j
j
i
+ V,
=
Ei ,
Ej
W Ej +
V Ei ,
dt
dt
dt
i=1
j=1
i=1
j=1
n
n
dV i j
dW j
W Ei , Ej +
Ei , Ej
Vi
dt
dt
i,j=1
i,j=1
)
n (
j
dV i j
i dW
=
W +V
ij
dt
dt
i,j=1
)
n
n (
dW i
d i i
dV i i
V W
W +Vi
=
=
dt
dt
dt i=1
i=1
d
V, W .
dt
(ii) (iii) Seja p M e : I M uma curva diferenciavel com (t0 ) = p e (t0 ) = Xp . Entao, por
definicao de vetor tangente,
d
DZ
DY
Xp Y, Z =
Y ( (t)) , Z ( (t))
(t0 ) , Z (t0 ) + Y (t0 ) ,
(t0 )
=
dt
dt
dt
t=t0
= ( Y ) ( (t0 )) , Z (t0 ) + Y (t0 ) , ( Z) ( (t0 ))
= (X Y ) (p) , Z (p) + Y (p) , (X Z) (p) .
(iii) (ii) Se Y, Z sao campos paralelos ao longo de uma curva diferenciavel em M , entao
d
Y ( (t)) , Z ( (t)) = Xp Y, Z
dt
= (X Y ) (p) , Z (p) + Y (p) , (X Z) (p)
= ( Y ) ( (t0 )) , Z (t0 ) + Y (t0 ) , ( Z) ( (t0 ))
DZ
DY
(t0 ) , Z (t0 ) + Y (t0 ) ,
(t0 )
=
dt
dt
=0
para qualquer campo X X (M ), logo Y, Z e constante ao longo de .
A condicao V, W constante justifica o nome campos paralelos.
56
3.12 Defini
c
ao. Seja M uma variedade Riemanniana com uma conexao . Dizemos que a conexao e
compatvel com a m
etrica, quando ela satisfaz qualquer uma das condicoes da proposicao anterior.
A segunda condic
ao para que a estrutura geometrica definida pela conexao seja a mesma definida pela
metrica e a seguinte:
3.13 Defini
c
ao. Seja M uma variedade diferenciavel com uma conexao . O tensor de tor
c
ao da conexao
e a aplicac
ao
: X (M ) X (M ) X (M )
definida por
(X, Y ) = X Y Y X [X, Y ] .
Dizemos que a conexao e sim
etrica se 0, isto e, se para todos os campos X, Y X (M ) vale
X Y Y X = [X, Y ] .
(3.12)
Apesar da conexao nao ser um tensor, sua torcao e de fato um (2, 1)-tensor, conforme a discussao no incio
do Captulo 5. Em coordenadas, como
n
n
( k)
X Y +
X Y =
X i Y j kij k ,
k=1
Y X =
i,j=1
Y X
)
k
[X, Y ] =
Y i X j kij k ,
i,j=1
k=1
n
( ( k)
( ))
X Y Y X k k ,
k=1
k=1
X iY j Y iX
)
j
kij k ,
(3.13)
i,j=1
(3.14)
)
kij kji k
k=1
e [i , j ] = 0, segue o resultado.
Em particular, para conexoes riemannianas o n
umero de smbolos de Christoel potencialmente diferentes
cai para
n2 (n + 1)
.
2
57
d
d
d
V ( (t)) , W ( (t)) =
V ( (t)) , W ( (t)) + V ( (t)) , W ( (t))
dt
dt
dt
DW
DV
( (t)) , W ( (t)) + V ( (t)) ,
( (t)) .
=
dt
dt
e ela e simetrica porque, conforme (3.5),
( n
)
( n
)
n
n
[
]
j
X j f
f
Y
(X Y )p (Y X)p (f ) =
Xi i
Yi
x
x
xi xj
j
j=1
j=1
i=1
i=1
)
n
n (
Y j
X j f
=
Xi i Y i
x
xi xj
j=1 i=1
= [X, Y ]p .
58
( )
( )
X Yj
Y Xj
xj j=1
xj
j=1
(
j=1
( )
( ))
X Y j Y Xj
xj
= [X, Y ] .
A matriz G = (gij ) e uma matriz positiva definida, logo admite uma inversa, que denotaremos por
( )
G1 = g ij .
(3.16)
3.19 Lema. Seja M uma variedade riemanniana com uma conex
ao . Ent
ao
i j , k =
m
ij gmk .
(3.17)
m=1
m
ij m .
m=1
ao riemanniana . Ent
ao
3.20 Lema. Seja M uma variedade riemanniana com uma conex
i j , k =
1
(i gjk + j gik k gij ) .
2
(3.18)
i j , k =
ja que [m , l ] = 0.
3.21 Proposi
c
ao. Seja M uma variedade riemanniana com uma conex
ao riemanniana . Ent
ao
kij =
Prova: Pelos lemas temos
n
1
(i gjm + j gim m gij ) g mk .
2 m=1
lij glm =
1
(i gjm + j gim m gij ) .
2
lij glm =
n
1
(i gjm + j gim m gij ) g mk .
2 m=1
l=1
Logo
m=1
g mk
l=1
(3.19)
59
km
gml lij
l=1 m=1
kl lij = kij .
l=1
ao riemanniana de Rn ent
ao
3.22 Corol
ario. Se e a conex
kij = 0
Consequentemente,
X Y =
(3.20)
( )
X Y k k
(3.21)
k=1
e
i j = 0.
(3.22)
3.23 Corol
ario. Seja M uma variedade riemanniana com uma conex
ao riemanniana . Ent
ao
k gij =
gip pjk +
p=1
e
k g ij =
gpj pik
g ip jpk
p=1
g pj ipk .
p=1
n
1
=
(j gkm + k gjm m gjk ) g mp ,
2 m=1
n
1
(i gkm + k gim m gik ) g mp .
2 m=1
pik =
Logo,
n
gip pjk =
p=1
Analogamente,
n
n
1
(j gkm + k gjm m gjk )
g mp gip
2 m=1
p=1
n
1
(j gkm + k gjm m gjk ) im
2 m=1
1
(j gki + k gji i gjk ) .
2
p=1
gpj pik =
1
(i gkj + k gij j gik ) .
2
p=1
(3.23)
p=1
glp g pj = lj ,
(3.24)
60
obtendo
glp k g pj =
p=1
(k glp ) g pj .
p=1
Como
n
g il
glp k g pj =
p=1
l=1
n
n
g il glp k g pj
p=1 l=1
pi k g pj
p=1
= k g ij ,
segue da primeira identidade que
k g ij =
l=1
=
=
g il
p=1
n
n
g il g pj
p=1 l=1
n
n
n
n
g pj
g il glm m
pk
gmp m
lk
m=1
n
n
n
il
pj
Exerccios
n
n
l=1
g il jlk .
g gmp m
lk
l=1 m=1
n
l=1 m=1
i
g pj m
m
pk
p=1
3.3
glm m
pk +
l=1
g pj ipk
g il g pj k glp
p=1 l=1
n
p=1 m=1
n
n
n
m=1
p=1 m=1
(k glp ) g pj =
j p
g il m
lk
p=1
Captulo 4
Geod
esicas
De agora em diante, sempre que nos referirmos a uma variedade riemanniana, estaremos supondo que ela
esta munida da sua conexao riemanniana.
4.1
Definic
ao
4.1 Defini
c
ao. Seja M uma variedade riemanniana. Dizemos que uma curva diferenciavel : I M e
uma geod
esica se
D
(t) = 0
dt
para todo t I.
`
Em outras palavras, uma geodesica e uma curva cujo campo velocidade e paralelo ao longo da curva. As
vezes, por abuso de linguagem, a imagem (I) de uma geodesica tambem e chamada geodesica.
Note que o conceito de geodesica pode ser definido para qualquer variedade diferenciavel dotada de uma
conexao. O resultado seguinte, no entanto, depende da compatibilidade da metrica com a conexao, ou seja,
requer uma conexao riemanniana.
4.2 Proposi
c
ao. Se : I M e uma geodesica, ent
ao
(t) constante.
(4.1)
Prova: Pois, como a conexao e compatvel com a metrica e o campo velocidade e paralelo ao longo de
(t) = (t) , (t) constante.
2
4.3 Defini
c
ao. Uma geodesica : I M e normalizada se
(t) 1.
Toda geodesica que nao e um ponto (ou seja, (t) = 0) pode ser normalizada atraves de uma parametrizaca
o por comprimento de arco: se : I M , t I, e uma parametrizacao qualquer para uma
geodesica, ela pode ser reparametrizada para se tornar uma geodesica normalizada escolhendo-se um ponto
t0 I e definindo o parametro comprimento de arco
t
s (t) =
(t) dt.
(4.2)
t0
61
62
|s
1
1
= (t)
= 1.
(t)|
(t)
4.4 Teorema. (Teorema de Existencia e Unicidade de Geodesicas) Seja M uma variedade riemanniana.
Ent
ao para todos p M e v Tp M , e para cada t0 R, existe um intervalo aberto I R contendo
t0 e uma u
nica geodesica : I M tal que (t0 ) = p e (t0 ) = v.
)
(
Prova: Seja V uma vizinhanca coordenada de p, com x1 , . . . , xn suas coordenadas. Pela expressao em
coordenadas locais da derivada
covariante de
(
) um campo ao longo de uma curva obtida no captulo anterior,
uma curva (t) = x (t) = x1 (t) , . . . , xn (t) e uma geodesica se e somente se as suas componentes satisfazem
o sistema de equac
oes diferenciais ordinarias de segunda ordem nao linear (chamado a equac
ao geodesica)
n
d2 xk
dxj
dxi
(t)
+
(t)
(t) = 0,
kij (x (t))
2
dt
dt
dt
i,j=1
k = 1, . . . , n.
(4.3)
Este sistema de segunda ordem pode ser transformado num sistema de primeira ordem introduzindo as n
equacoes de primeira ordem
dxk
v k (t) =
(t) , k = 1, . . . , n,
dt
de modo que estas equac
oes juntamente com
n
dv k
dxi
dxj
(t) +
kij (x (t))
(t)
(t) = 0,
dt
dt
dt
i,j=1
k = 1, . . . , n,
formam um sistema de primeira ordem equivalente ao primeiro. O resultado segue entao do teorema de
existencia e unicidade para soluc
oes de sistemas de equacoes diferenciais ordinarias de primeira ordem.
Note que este teorema permanece valido para geodesicas definidas em variedades diferenciaveis dotadas de
uma conexao nao necessariamente riemanniana.
4.2
Exemplos de Geod
esicas
Vamos calcular as geodesicas para algumas variedades riemannianas. Lembramos que os smbolos de Christoel da conexao riemanniana sao dados por
kij =
n
1
(i gjm + j gim m gij ) g mk .
2 m=1
k = 1, . . . , n.
As soluc
oes para esta equac
ao diferencial sao
x (t) = tv + x0
onde v, x0 Rn s
ao vetores fixados. Em outras palavras, as geodesicas de Rn sao retas.
63
4.6 Exemplo. (Geodesicas de S2r ) Enxergando a esfera S2r de centro na origem e raio r como uma superfcie
de revoluc
ao com parametrizac
ao
(x, y, z) (, ) = (r sen cos , r sen sen , r cos ),
segue do Exemplo 2.9 que
[
r2
0
G (, ) =
0 r2 sen2
1
0
r2
1
G (, ) =
1
0
r2 sen2
Logo,
= 111 =
]
,
]
1[
(1 g11 + 1 g11 1 g11 ) g 11 + (1 g12 + 1 g12 2 g11 ) g 21 = 0,
2
]
1[
(1 g11 + 1 g11 1 g11 ) g 12 + (1 g12 + 1 g12 2 g11 ) g 22 = 0,
2
]
1[
= 121 = =
(1 g21 + 2 g11 1 g12 ) g 11 + (1 g22 + 2 g12 2 g12 ) g 21 = 0
2
= 211 =
112 =
]
1[
(1 g21 + 2 g11 1 g12 ) g 12 + (1 g22 + 2 g12 2 g12 ) g 22
2
)
1( 2
1
cos
=
2r sen cos 2
=
,
2
2
r sen
sen
212 = = 221 = =
=
1
(1 g22 ) g 22
2
]
1[
(2 g21 + 2 g21 1 g22 ) g 11 + (2 g22 + 2 g22 2 g22 ) g 21
2
) 1
1
1(
= (1 g22 ) g 11 =
2r2 sen cos 2 = sen cos ,
2
2
r
122 = =
222 = =
Apenas os smbolos 212
ou seja,
]
1[
(2 g21 + 2 g21 1 g22 ) g 12 + (2 g22 + 2 g22 2 g22 ) g 22 = 0.
2
= 221 e 122 sao nao nulos. Portanto a equacao geodesica para a esfera e
2 1
2
2
d x + 122 dx dx = 0,
2
dt
dt 1 dt 2
2 2
d x + 22 dx dx = 0,
12
dt2
dt dt
( )2
d
d2
sen
cos
= 0,
dt2
dt
d2
cos d d
+2
= 0.
dt2
sen dt dt
64
e uma soluc
ao para este sistema. Observe agora que rotacoes sao isometrias da esfera: rotacoes do
espaco euclideano R3 sao transformacoes ortogonais e portanto isometrias de R3 ; como a restricao de
uma rotac
ao de R3 `
a esfera e uma rotacao da esfera e esta tem a metrica induzida de R3 , ela e uma
isometria da esfera. Uma vez que geodesicas sao preservadas por isometrias (Exerccio 4.1), conclumos
que os grandes crculos da esfera (isto e, crculos cujos centros sao o centro da esfera, que podem
tambem ser obtidos intersectando a esfera com planos passando pela origem) sao suas geodesicas, ja
que dado um ponto p da esfera e um vetor tangente v `a esfera neste ponto existe um grande crculo
passando por p com a direc
ao de v.
4.7 Exemplo. (Geodesicas de Sn ) Um argumento envolvendo isometrias pode ser usado para obter diretamente que as geodesicas de Sn Rn+1 sao os grandes crculos, sem passar pela equacao geodesica.
(
)
Primeiramente, provamos que a geodesica (t) = x1 (t) , . . . , xn (t) , xn+1 (t) que passa pelo polo
norte (0) = en+1 com velocidade (0) = e1 e o meridiano x2 = . . . = xn = 0. De fato, suponha
por absurdo que xi (t0 ) = 0 para algum t0 e para algum ndice 2 6 i 6 n. Considere a isometria
: Sn Sn definida por
(
) (
)
x1 , . . . , xi1 , xi , xi+1 , . . . , xn+1 = x1 , . . . , xi1 , xi , xi+1 , . . . , xn+1
( e a restric
ao da transformac
ao ortogonal correspondente de Rn+1 , logo e uma simetria da esfera,
como observado no final do exemplo anterior). Como isometrias preservam geodesicas e
( (0)) = (en+1 ) = en+1 ,
( (0)) = (e1 ) = e1 ,
segue que leva em . Mas ( (t0 )) = (t0 ), uma contradicao.
Como rotac
oes da esfera que deixam o eixo xn+1 fixado transformam este meridiano em qualquer outro
meridiano passando pelo polo norte, abrangendo todas as direcoes tangentes possveis, obtemos que
as geodesicas passando pelo polo norte sao os meridianos. Como qualquer grande crculo da esfera
pode ser transformado em um meridiano passando pelo polo norte atraves de uma rotacao da esfera,
conclumos o resultado.
4.8 Exemplo. (Geodesicas de H2 ) Como vimos no Exemplo 2.10, temos
1
0
2
G (x, y) = y
1 ,
0
y2
[ 2
]
y
0
1
G (x, y) =
.
0 y2
Portanto,
111 =
]
1[
(1 g11 + 1 g11 1 g11 ) g 12 + (1 g12 + 1 g12 2 g11 ) g 22
2
( )
1 2
1
1
22
y2 = ,
= (2 g11 ) g =
2
2 y3
y
]
1[
= 121 =
(1 g21 + 2 g11 1 g12 ) g 11 + (1 g22 + 2 g12 2 g12 ) g 21
2
(
)
1
2
1
1
11
3 y2 = ,
= (2 g11 ) g =
2
2
y
y
211 =
112
]
1[
(1 g11 + 1 g11 1 g11 ) g 11 + (1 g12 + 1 g12 2 g11 ) g 21 = 0,
2
65
]
1[
(1 g21 + 2 g11 1 g12 ) g 12 + (1 g22 + 2 g12 2 g12 ) g 22 = 0
2
]
1[
=
(2 g21 + 2 g21 1 g22 ) g 11 + (2 g22 + 2 g22 2 g22 ) g 21 = 0
2
212 = 221 =
122
]
1[
(2 g21 + 2 g21 1 g22 ) g 12 + (2 g22 + 2 g22 2 g22 ) g 22
2
(
)
1
2
1
1
22
3 y2 = .
= (2 g22 ) g =
2
2
y
y
222 =
A equac
ao geodesica para o plano hiperbolico e
x x y = 0,
y
1
1
y + (x )2 (y )2 = 0,
y
y
Para resolver este sistema, consideraremos dois casos.
(i) Caso x = 0.
Neste caso, x (t) x0 , enquanto que y (t) satisfaz a equacao
y
1 2
(y ) = 0
y
que e equivalente a
ou seja,
y
y
)
= 0,
y = ky
(
)
para alguma constante c > 0. Portanto, neste caso as geodesicas sao (t) = x0 , y0 ekt , as semi-retas
superiores do plano hiperbolico.
(i) Caso x = 0.
Neste caso podemos calcular
( )
2
x yy + x (y ) x yy
yy
=
2
x
(x )
x yy + x (x ) x (y ) x yy + 2x (y ) x (x )
2
x yy + (x ) (y )
2
(x )
x 0 y 0 (x )
= x .
(x )
y [x y 2x y ] (x )
(x )
3
66
)
yy
=0
+
x
x
ou seja,
yy
+x=a
x
para alguma constante a R. A solucao implcita desta equacao, equivalente a
xx + yy = ax
pode ser obtida integrando-se em relacao a t:
y2
x2
+
= ax + b,
2
2
ou
2
(x a) + y 2 = R2
onde R > 0. Portanto, neste caso as geodesica sao semicrculos superiores centrados em pontos (a, 0)
do eixo x.
4.3
Fluxo Geod
esico
O resultado obtido pode ser melhorado, no sentido de que em uma vizinhanca de qualquer ponto da variedade
podemos garantir que os intervalos de definicao das geodesicas passando por pontos na vizinhanca, independente da velocidade inicial, possuem um comprimento comum mnimo. Isto segue do seguinte resultado para
o fluxo induzido por um campo vetorial:
4.9 Teorema. (Fluxo de um Campo Vetorial) Sejam N uma variedade riemanniana e V uma vizinhanca
de P N . Seja X X (V ). Ent
ao existem um aberto V0 V contendo P , > 0 e uma aplicac
ao
diferenci
avel
: (, ) V0 V
tais que q (t) = (t, q) : (, ) V e a u
nica trajet
oria de X tal que (0, q) = q para todo q V0 .
Os resultados acima nos permitem definir:
4.10 Defini
c
ao. O campo g
eod
esico no fibrado tangente T M e o u
nico campo cujas trajetorias sao da
forma t 7 ( (t) , (t)) onde e uma geodesica em M .
Seu fluxo e chamado o fluxo geod
esico de T M .
4.11 Corol
ario. Seja M uma variedade riemanniana. Ent
ao, para cada p M existem uma vizinhanca V
de (p, 0) em T M tal que (V) = U e uma vizinhanca coordenada de p em M , > 0 e uma aplicac
ao
diferenci
avel
: (, ) V T U
tais que
(q,v) (t) = (t, q, v) : (, ) T U
e a u
nica trajet
oria do campo geodesico que satisfaz a condic
ao inicial (0, q, v) = (q, v) para todo
(q, v) V.
Prova: Basta aplicar o Teorema 4.9 ao campo geodesico, elemento de X (T M ), e ao ponto P = (p, 0) T M .
Uma reinterpretac
ao do resultado acima que vai ser mais u
til e facil de usar na sequencia:
67
4.12 Proposi
c
ao. Seja M uma variedade riemanniana. Ent
ao, para cada p M existem uma vizinhanca
V de p em M , , > 0 e uma aplicac
ao diferenci
avel
: (, ) V M
onde
V = {(q, v) : q V e v Tq M, v < }
tais que
(q,v) (t) = (t, q, v) : (, ) M
e a u
nica geodesica de M que satisfaz as condic
oes iniciais (0) = q, (0) = v para todo q V e para
todo v Tq M tal que v < .
Este resultado afirma que se v < , a geodesica (t, q, v) existe no intervalo (, ). Podemos de fato
aumentar a velocidade da geodesica, mas ao preco de diminuir o seu intervalo de definicao (e vice-versa).
Para isso basta reparametrizar a geodesica:
4.13 Proposi
c
ao. Se a geodesica
(t, q, v)
est
a definida no intervalo (, ), ent
ao a geodesica
(t, q, cv)
(
est
a definida no intervalo
)
,
. Alem disso,
c c
(t, q, cv) = (ct, q, v) .
(
Prova: Seja :
,
c c
(4.4)
)
M a curva definida por
(t) = (ct, q, v) ,
de modo que (0) = (0, q, v) = q e (0) = c (0, q, v) = cv. Temos, estendendo o campo (t) a uma
vizinhanca de (t) em M ,
D
D
(t) = (t) (t) = c (ct,q,v) (c (ct, q, v)) = c2 (ct,q,v) ( (ct, q, v)) = c2 (ct, q, v) = 0.
dt
dt
Logo, por unicidade, (t) = (t, q, cv).
4.14 Corol
ario. Seja M uma variedade riemanniana. Ent
ao, para cada p M existem uma vizinhanca V
de p em M , > 0 e uma aplicac
ao diferenci
avel
: (2, 2) V M
onde
V = {(q, v) : q V e v Tq M, v < }
tais que
(q,v) (t) = (t, q, v) : (2, 2) M
e a u
nica geodesica de M que satisfaz as condic
oes iniciais (0) = q, (0) = v para todo q V e para
todo v Tq M tal que v < .
4.4
68
A Aplicac
ao Exponencial
4.15 Defini
c
ao. Se v Tp M e tal que existe uma geodesica : [0, 1] M satisfazendo (0) = p e
(0) = v, definimos a exponencial de v ou a exponencial de (p, v) por
expp (v) = exp (p, v) = (1) .
Assim,
(
)
v
exp (p, v) = (1, p, v) = ||v|| , p,
||v||
e geometricamente expp (v) e o ponto de M obtido percorrendo a partir de p a geodesica com velocidade
inicial v durante um intervalo de tempo unitario ou, equivalentemente, percorrendo a geodesica que parte de p
com velocidade unitaria igual a v/ ||v|| um comprimento igual a v. Em particular, se : (2, 2) V M
e a aplicacao diferenciavel dada pelo Corolario 4.14, a aplicacao exponencial exp esta definida em todo V e
para todo q V a aplicac
ao exponencial
expq : B (0) Tq M M
esta definida em uma bola B (0) Tq M .
4.16 Proposi
c
ao. Dado p M , existe > 0 tal que expp e um difeomorfismo de B (0) sobre um aberto
de M .
Prova: Temos
d
d
d
d expp 0 v =
expp (tv)
(1, p, tv)
(t, p, v)
=
=
= v,
dt
dt
dt
t=0
t=0
t=0
(
)
o que mostra que d expp 0 : Tp M Tp M e a aplicacao identidade, onde identificamos o espaco tangente
a Tp M na origem com o proprio Tp M , isto e, T0 (Tp M ) = Tp M . Pelo teorema da funcao inversa, expp e um
difeomorfismo local em uma vizinhanca de 0.
(
4.17 Defini
c
ao. Se expp e um difeomorfismo de uma vizinhanca U da origem em Tp M sobre uma vizinhanca
V de p em M , dizemos que V e uma vizinhan
ca normal de p.
Nestas condic
oes, se B (0) e tal que B (0) V , entao nos chamamos
B (p) := expp (B (0))
(4.5)
a bola geod
esica de centro em p e raio .
Em uma vizinhanca normal, podemos definir um sistema de coordenadas com propriedades especiais.
4.18 Defini
c
ao. Seja V = expp (U ) uma vizinhanca normal de p em M . Seja {E1 , . . . , En } uma base
n
: E 1 (U ) V definida por
(
)
(x) = expp E (x) = expp
)
i
x Ei
i=1
69
Devido `as propriedades especiais de coordenadas normais enumeradas na proposicao a seguir, elas constituem
uma ferramenta vital em geometria riemanniana.
4.19 Proposi
c
ao. Seja V uma vizinhanca normal de p e x1 , . . . , xn coordenadas normais em p. Nestas
coordenadas temos que
gij (p) = ij ,
gij
(p) = 0
xk
e
kij (p) = 0
Tp M , a geodesica v partindo
para todos os ndices i, j, k. Alem disso, para cada v =
v
xi p
i=1
de p com velocidade inicial v e representada em coordenadas normais por um segmento radial, isto e,
(
)
v (t) = expp tv 1 , . . . , tv n
n
gij
p
=
g
gip pjk .
pj ik
xk
p=1
p=1
Logo
n
n
gij
p
(p)
=
g
(p)
(p)
Por causa deste resultado, as geodesicas dentro de uma vizinhanca normal que partem de p sao chamadas
geod
esicas radiais.
4.5
Para estudar as propriedades minimizantes das geodesicas, precisamos de algum conceitos geometricos e dois
resultados preliminares.
4.20 Defini
c
ao. Uma curva diferenci
avel por partes em M e uma aplicacao contnua c : [a, b] M
tal que existe uma partic
ao do intervalo [a, b]
a = t0 < t1 < . . . < tN 1 < tN = b
tal que as restric
oes c|[ti, ti+1 ] s
ao curvas diferenciaveis para i = 0, . . . , N 1.
Cada ponto c (ti ) e chamado um v
ertice da curva c.
O
angulo da curva no vertice c (ti ) e definido como sendo o angulo entre os vetores
lim c (t)
tt
i
lim c (t)
tt+
i
70
4.21 Defini
c
ao. Seja A R2 um conjunto conexo tal que A e uma curva diferenciavel por partes tal que
os angulos da curva nos vertices sao diferentes de . Uma superfcie parametrizada em M e uma
aplicacao diferenciavel F : A M .
Lembre-se que dizer que F e diferenciavel e equivalente a dizer que existe um aberto U R2 contendo A
e uma extensao diferenciavel Fe : U M , isto e, Fe|A = F . A condicao sobre os angulos dos vertices
de A (que evita a formac
ao de cunhas estreitas) garante que a diferencial de F nao depende da extensao
considerada.
Seja F : A R2 M uma superfcie parametrizada e denote por (t, s) as coordenadas cartesianas em
2
R . Fixado s0 , considere o conjunto Is0 R definido por Is0 = {t R : (t, s0 ) A}; apesar de A ser conexo
por definicao, Is0 nao e necessariamente um intervalo em R. De qualquer modo, restringindo a nossa atencao
a cada uma das componentes conexas de Is0 , as aplicacoes Fs0 (t) = F (t, s0 ) sao curvas diferenciaveis em M
e
F
(t, s0 ) = dF(t,s0 )
(4.6)
t
u
F
e um campo de vetores diferenciavel ao longo desta curva. Variando s0 , isso eventualmente define
(t, s)
t
para todo (t, s) A. Analogamente, definimos
F
(4.7)
F
e
(t, s) esta tambem definido para todo (t, s) A. De forma natural podemos definir as derivadas
s
covariantes destes campos vetoriais ao longo dessas curvas:
4.22 Defini
c
ao. Definimos as derivadas covariantes de um campo vetorial V ao longo de uma superfcie
parametrizada F : A M
DV
DV
e
dt
ds
como sendo as derivadas covariantes da restricao do campo vetorial V ao longo das curvas F (t, s0 ) e
F (t0 , s), respectivamente.
Assim, as derivadas covariantes estao definidas para todo (t, s) A.
4.23 Lema. (Lema de Simetria) Seja F : A R2 M uma superfcie parametrizada. Ent
ao
D F
D F
=
.
ds t
dt s
Prova: Escrevendo F em coordenadas de uma parametrizacao na forma
(
)
F (t, s) = x1 (t, s) , . . . , xn (t, s) ,
segue da regra da cadeia que
xi
F
=
,
t
t xi
i=1
n
xi
F
=
.
s
s xi
i=1
n
71
n
n
2 xi
xi xj
i +
i j
st
s t
i=1
i,j=1
n
n
2 xi
xj xi
i +
j i
ts
t s
i=1
i,j=1
( n
)
D xi
=
i
dt i=1 s
D F
.
dt s
No que se segue, identificaremos o espaco tangente a Tp M no vetor v com o proprio Tp M , isto e,
Tv (Tp M ) = Tp M .
4.24 Lema. (Lema de Gauss) Seja M uma variedade riemanniana, p M e v Tp M tal que expp (v) est
a
definido. Ent
ao
(
)
(
)
d expp v v, d expp v w = v, w
para todo w Tp M .
Prova: Se w e paralelo a v, isto e, se w = v para algum escalar = 0, entao o resultado e facil: como
(
)
d
d
d
d expp v v =
expp ((t + 1) v)
(1, p, (t + 1) v)
(t + 1, p, v)
=
=
= (p,v)
(1) ,
dt
dt
dt
t=0
t=0
t=0
segue que
(
(
)
(
)
)
(
)
d expp v v, d expp v w = d expp v v, d expp v v
2
=
(p,v)
(1)
2
=
(p,v)
(0)
= v, v ,
pois a norma do vetor tangente `a uma geodesica e constante. Decompondo o vetor w em componentes na
direcao de v e ortogonal a v, podemos portanto assumir que w e ortogonal a v.
Como w v, em particular v, w = 0 e para terminar a demonstracao do lema temos que provar que
(
)
(
)
d expp v v, d expp v w = 0.
Para algum > 0, considere a curva v : (, ) Tp M com v (0) = v, v (0) = w e v (s) constante
= w, ou seja, a parametrizac
ao com velocidade escalar constante de um pequeno arco do crculo centrado
na origem de Tp M e raio v de de tal forma que o ponto medio do arco esteja localizado em v, comecando
em v e com velocidade inicial w. Definimos a superfcie parametrizada F : [0, 1] (, ) M
F (t, s) = expp (tv (s)) .
72
Em particular, as curvas Fs (t) = F (t, s) para cada s fixado sao geodesicas, mais especificamente a geodesica
(1, p, tv (s)) = (t, p, v (s)) que passa por p com velocidade v (s). Como
)
[
]
(
dF (t, s) = d expp t(s) v (s) tv (s) ,
segue que
(
)
F
(1, 0) = dF (1, 0) e1 = d expp v v,
t
(
)
F
(1, 0) = dF (1, 0) e2 = d expp v w,
s
de modo que
(
)
(
)
F
F
(1, 0) ,
(1, 0) .
d expp v v, d expp v w =
t
s
p
p
Pela compatibilidade da conexao riemanniana com a metrica, temos para todo (t, s),
F F
D F F
F D F
F D F
,
=
,
+
,
=
,
,
t t s
dt t s
t dt s
t dt s
pois
D F
=0
dt t
F
seu campo velocidade. Pelo Lema de Simetria,
t
F D F
F D F
1 F F
,
=
,
=
,
=0
t dt s
t ds t
2 s t t
porque
F F
,
t t
= v (s) constante.
F
F
(t, s) ,
(t, s)
t
s
e independente de t. Em particular,
F
F
F
F
(t, s) ,
(t, s) =
(1, 0) ,
(1, 0)
t
s
t
s
para todo t. Como
[ (
]
)
F
(t, 0) = lim d expp tv tw = 0,
t0 s
t0
lim
F
F
e
t
e limitado, segue o resultado. [Observe que nao podemos calcular s (0, 0) porque essencialmente
estamos trabalhando com coordenadas polares, logo F nao e diferenciavel na origem.]
O significado geometrico do lema de Gauss e que as geodesicas radiais que partem de p sao ortogonais
`a fronteira de qualquer bola geodesica B (p) (a qual e uma subvariedade de codimensao 1 em M ). Tal
hiperfcie sera denotada S (p) e chamada a esfera geod
esica. Veremos agora que localmente as geodesicas
minimizam o comprimento de arco.
73
4.25 Defini
c
ao. Se : I M e uma geodesica e [a, b] I, a restricao |[a,b] e chamada o segmento de
geod
esica ligando (a) a (b).
Denote o comprimento de uma curva c em M ligando os pontos p e q por (c). Dizemos que o segmento
de geodesica : [a, b] M e minimizante se () 6 (c) para toda curva c ligando (a) a (b).
4.26 Proposi
c
ao. (Geodesicas minimizam distancias localmente) Sejam M uma variedade riemanniana,
p M e B (p) uma bola normal centrada em p. Seja : [0, 1] B um segmento de geodesica com
(0) = p.
Se c : [0, 1] M e qualquer curva diferenci
avel por partes ligando (0) a (1), ent
ao
() 6 (c)
e se () = (c) necessariamente c ([0, 1]) = ([0, 1]).
Prova: Suponha em primeiro lugar que c ([0, 1]) B (p). Como expp e um difeomorfismo em B (p), podemos
escrever c (t) de forma u
nica em coordenadas polares na forma
c (t) = expp (r (t) v (t))
(4.8)
para t (0, 1], onde v e uma curva diferenciavel por partes em Tp M com v (t) = 1 para todo t e
r : (0, 1] R e uma func
ao diferenciavel por partes; de fato, basta considerar (t) = exp1
p (c (t)) e definir
v (t) =
(t)
(t)
e r (t) = (t) .
[Se c retorna ao ponto p, de modo que (t1 ) = 0 para algum t1 > 0, redefinimos c eliminando todo o
segmento c ([0, t1 ]), e mostraremos que a curva resultante ainda assim possui comprimento maior que a
geodesica.] Observe que, para t0 fixado, expp (rv (t0 )) e simplesmente a geodesica radial partindo de p com
velocidade v (t0 )). Defina
F (r, t) = expp (rv (t)) .
(4.9)
Pela regra da cadeia temos, exceto possivelmente para um n
umero finito de pontos,
c (t) =
F
F
r (t) +
.
r
t
Como
(
)
F
= d expp c(t) v (t) ,
r
(
)
F
= d expp c(t) (rv (t)) ,
t
segue do lema de Gauss que
F F
,
r t
pois
F
2 (
)
(
)
2
r
= d expp c(t) v (t) , d expp c(t) v (t) = v (t) , v (t) = (t) = 1.
(4.10)
(4.11)
74
Logo,
2
2
F
2
2
|r (t)|2 +
F
= |r (t)|2 +
F
> |r (t)|2 .
c (t) =
r
t
t
Da,
(c) >
c (t) dt >
|r (t)| dt >
r (t) dt = r (1) r () = () r () .
v (t) = 0
e portanto v constante. Como r (t) > 0, c e entao uma reparametrizacao monotona de , donde c ([0, 1]) =
([0, 1]).
Se c ([0, 1]) B (p) = B (p), consideramos o primeiro instante t1 (0, 1] tal que c (t1 ) B (p). Entao,
(
)
(c) > c|[0,t1 ] > > () .
O resultado vale apenas localmente: um segmento de geodesica suficientemente grande pode nao ser minimizante. Por exemplo, as geodesicas de uma esfera (crculos maximais) que partem de um ponto p deixam
de ser minimizantes depois que passam pelo antpoda de p.
Vale a recproca da Proposic
ao 4.26 e ela e ate mais forte. Antes uma definicao e um resultado preliminar.
4.27 Defini
c
ao. Seja M uma variedade riemanniana.
Se V e uma vizinhanca em M que e uma vizinhanca normal para todos os seus pontos, dizemos que V
e uma vizinhan
ca totalmente normal.
Dizemos que uma vizinhanca V em M e uma vizinhan
ca uniformemente normal se existe > 0
tal que para todo q V a bola geodesica B (q) = expq (B (0)) contem V .
Observe que em uma vizinhanca uniformemente normal, dois pontos quaisquer da vizinhanca sao ligados por
uma geodesica radial. Toda vizinhanca uniformemente normal e em particular totalmente normal.
4.28 Lema. Seja M uma variedade riemanniana. Para cada p M existe uma vizinhanca W de p que e
uma vizinhanca uniformemente normal.
Prova: Sejam > 0, V e V como na Proposicao 4.8. Defina F : V M M por
(
)
F (q, v) = q, expq v .
Temos F (p, 0) = (p, p) e
[
dF (p, 0) =
I
0
(
)
pois d expp 0 = I. Portanto, F e um difeomorfismo local em uma vizinhanca de (p, 0), logo existe uma
vizinhanca V V de (p, 0) em T M tal que F aplica V difeomorficamente sobre uma vizinhanca W de
(p, p) em M M . Escolha V da forma
V = {(q, v) : q V e v B (0) Tq M }
75
onde V e uma vizinhanca de p em M para algum > 0. Escolha a vizinhanca W de p em M de tal forma
que W W W . Ent
ao, para todo q W e B (0) Tq M temos
F ({q} B (0)) {q} W
o que implica, pela definic
ao de F ,
B (q) = expq (B (0)) W.
4.29 Corol
ario. (Curvas que minimizam distancias sao geodesicas) Seja M uma variedade riemanniana.
Se c : [a, b] M e uma curva diferenci
avel por partes com par
ametro proporcional ao comprimento
de arco que tem comprimento menor ou igual a qualquer outra curva diferenci
avel por partes ligando
c (a) a c (b), ent
ao c e uma geodesica.
Em particular, c e diferenci
avel.
Prova: Sejam t [a, b] e V uma vizinhanca uniformemente normal de c (t). Seja I = [a , b ] [a, b] um
intervalo fechado tal que c (I) V . Ent
ao a restricao c|I e uma curva diferenciavel por partes ligando dois
pontos de uma bola normal. Pela Proposicao 4.26, (c|I ) e igual ao comprimento da geodesica radial ligando
c (a ) a c (b ) (caso contr
ario obteramos outra curva diferenciavel por partes com comprimento menor que c
ligando c (a) a c (b), contrariando a hipotese). Segue da mesma proposicao que a imagem de c|I e a imagem
desta geodesica. Como c|I est
a parametrizada por um parametro proporcional ao comprimento de arco,
segue que c|I e ela propria uma geodesica.
Observe que este resultado e global, nao apenas local: dados dois pontos quaisquer de uma variedade
riemanniana, se existir uma curva ligando eles que minimiza distancias, entao ela e uma geodesica. Por outro
lado, dados dois pontos arbitrarios em uma variedade riemanniana pode nao existir nenhuma geodesica que
os ligue: considere Rn com a bola centrada em zero e raio 1 removida; para > 0 suficientemente pequeno,
nao existe nenhuma geodesica que une os pontos
(1 , 0, . . . , 0)
(1 + , 0, . . . , 0) ,
() =
a
(t)(t) dt =
1
dt = log b log a.
t
Se c : [a, b] H2 , c (t) = (x (t) , y (t)) , e qualquer curva diferenciavel por partes com c (a) = (a) =
(0, a) e c (b) = (b) = (0, b), ent
ao
b
b [x (t)]2 + [y (t)]2
b [y (t)]2
b
y (t)
(c) =
c (t)c(t) dt =
dt >
dt =>
dt = () .
y
(t)
y
(t)
a
a
a
a y (t)
Observe que, diferentemente da esfera, variedade compacta, esta geodesica de H2 tem comprimento
infinito, como as retas do plano R2 .
76
az + b
, ad bc = 1,
cz + d
4.6
Vizinhancas Convexas
Em uma vizinhanca uniformemente normal, como a considerada no Lema 4.28, dados dois pontos q1 , q2 W
existe uma u
nica geodesica minimizante de comprimento menor que 2 ligando q1 a q2 . Por outro lado, nada
garante que esta geodesica esteja contida em W (as duas geodesicas radiais, uma partindo de q1 e outra
partindo de q2 podem se ligar atraves de um ponto p fora de W B (q1 ) B (q2 ).
4.31 Defini
c
ao. Seja M uma variedade riemanniana. Dizemos que uma vizinhanca V em M e uma vizinhan
ca convexa se para todos os pontos p, q V existe uma u
nica geodesica minimizante ligando p
a q cuja imagem esta inteiramente contida em V .
O raio de uma bola geodesica pode ser escolhido de tal forma que ela se torne convexa.
4.32 Lema. Seja M uma variedade riemanniana. Para todo p M existe R > 0 tal que qualquer geodesica
de M que e tangente `
a esfera geodesica Sr (p) de raio r < R em q M est
a fora da bola geodesica
Br (p) numa vizinhanca de q.
Prova: Seja V uma vizinhanca totalmente normal de p. Restringindo convenientemente o intervalo de
definicao, podemos assumir que todas as geodesicas de V tem velocidade 1. Podemos portanto nos restringir
ao fibrado tangente unitario
T1 V = {(q, v) T M : q V , v Tq M e v = 1} .
Seja : (, ) T1 V M a aplicac
ao diferenciavel tal que (t, q, v) e a geodesica que no instante t = 0
passa por q com velocidade v, v = 1. Definimos
u (t, q, v) = exp1
p ( (t, q, v))
e F : (, ) T1 V R por
F (t, q, v) = u (t, q, v) ,
ou seja, F mede o quadrado da distancia a q de um ponto que se desloca sobre a geodesica . Temos
F
u
= 2 u,
,
t
t
2
u
2F
2u
= 2 u, 2 + 2
t
.
2
t
t
Seja agora r > 0 tal que Br (p) = expp Br (0) V e uma geodesica tangente `a esfera geodesica no ponto
q = (0, q, v). Pelo lema de Gauss,
u
(0, q, v) = 0
u (0, q, v) ,
t
77
ja que (t, q, v) e uma geodesica radial passando que parte de q (veja a afirmacao em seguida `a demonstracao
do lema de Gauss). Em particular,
F
(0, q, v) = 0.
t
Se mostrarmos que para r suficientemente pequeno o ponto crtico (0, q, v) de F e um mnimo estrito, de
modo que os pontos de estao a uma distancia de p maior que r, a demonstracao estara concluda.
Para provar isso, basta observar que para q = p temos u (t, p, v) = tv e portanto
2F
2
(0, p, v) = 2 v = 2,
t2
logo existe uma vizinhanca W V de p tal que
2F
(0, q, v) > 0
t2
para todo q W . Escolha R > 0 tal que Br (p) = expp BR (0) W . Entao, se r < R, F tem um mnimo
estrito em (0, q, v).
4.33 Proposi
c
ao. Seja M uma variedade riemanniana. Para todo p M existe > 0 tal que a bola
geodesica B (p) e convexa.
Prova: Seja R > 0 como no lema. Escolha W e < 0 como no Lema 4.27 com < R/2. Tome < tal
que B (p) W . Afirmamos que B (p) e convexa.
De fato, sejam q1 , q2 B (p) e a u
nica geodesica minimizante de comprimento menor que 2 < 2 < R
ligando q1 a q2 ; em particular, est
a contida na bola BR (p). Suponha por absurdo que o interior de nao
esta contido em B (p). Ent
ao existe um ponto q no interior de onde a distancia maxima r < R de p a
e atingida. Logo e tangente `a esfera geodesica Sr (p) em q, mas os pontos de numa vizinhanca de q
estarao no fecho de Br (p), contradizendo o lema.
4.7
Fun
c
ao Dist
ancia
4.34 Defini
c
ao. Seja M uma variedade riemanniana conexa. Dados p, q M , a dist
ancia entre p e q e
definida por
dist (p, q) = inf { (c) : c e uma curva diferenciavel por partes ligando p e q} .
4.35 Proposi
c
ao. Se existe uma geodesica ligando p e q, ent
ao dist (p, q) = ().
Prova: Segue do Corolario 4.29.
ao dist
ancia definida acima, M e um
4.36 Proposi
c
ao. Seja M uma variedade riemanniana. Com a func
espaco metrico.
Alem disso, a topologia de M como espaco metrico coincide com a topologia inicial de M como variedade diferenci
avel.
Prova: De fato, a func
ao distancia satisfaz as tres propriedades da funcao distancia de um espaco metrico:
(i) Simetria:
dist (p, q) = dist (q, p) .
(ii) Desigualdade triangular:
dist (p, q) 6 dist (p, r) + dist (r, q) .
78
(iii) Positividade:
dist (p, q) > 0
e
dist (p, q) = 0 se e somente se p = q.
Todas as propriedades seguem imediatamente da definicao (a desigualdade triangular segue da definicao de
nfimo) exceto a afirmac
ao que dist (p, q) = 0 implica p = q. Suponha o contrario e considere uma bola
normal B (p) que nao contem q. Como dist (p, q) = 0, existe uma curva c ligando p a q com comprimento
menor que , contradizendo a Proposic
ao 4.23.
Segue da definic
ao que se existir uma geodesica minimizante ligando p e q (o que nem sempre acontece
globalmente, mas sempre acontece localmente) segue que
dist (p, q) = () .
Em particular, dado p M , se > 0 e suficientemente pequeno, a bola geodesica B (p) de raio coincide
com a bola metrica de centro em p e raio definida pela funcao distancia:
B (p; ) = {q M : dist (p, q) < } .
Logo, bolas geodesicas contem bolas metricas e vice-versa, portanto as topologias sao as mesmas.
De agora em diante, variedades riemannianas serao vistas tambem como espacos metricos com a nocao de
distancia definida acima.
4.8
4.37 Defini
c
ao. Seja M uma variedade riemanniana. Dizemos que M e geodesicamente completa se
para todo p M as geodesicas radiais (t) partindo de p estao definidas para todo t R.
Equivalentemente, M e geodesicamente completa se para todo p M a aplicacao exponencial esta definida
em todo Tp M (Exerccio 4.4).
Lembramos que um espaco metrico e completo se toda sequencia de Cauchy e convergente.
4.38 Lema. Se expp est
a definida em todo Tp M , ent
ao qualquer ponto q M pode ser ligado a p por um
segmento geodesico tal que
() = dist (p, q) .
Prova: Seja r = dist (p, q). Tome uma bola geodesica fechada B (p). Se q B (p), entao existe uma
geodesica radial minimizante ligando p a q e nao ha nada a provar. Se q
/ B (p), lembrando que a funcao
distancia e contnua e conjuntos fechados limitados sao compactos em espacos metricos, seja x0 S (p) =
B (p) onde a func
ao
f (x) = dist (x, q)
atinge um mnimo em S (p). Seja (s) = expp (sV ) a geodesica radial unitaria ligando p a x0 . Por hipotese,
esta definida para todo t R. Para provar o lema, basta mostrar que
(r) = q.
Para provar isso, considere o conjunto nao vazio (pois 0 A)
A = {s [0, r] : dist ( (s) , q) = r s} .
A e fechado pela continuidade da func
ao distancia e de . Se provarmos que para todo s0 A vale s0 + A
para todo > 0 suficientemente pequeno, isso implicara que sup A = r; como A e fechado, r A, o que
implica dist ( (r) , q) = r r = 0, equivalente a (r) = q.
79
Seja entao s0 A e considere uma bola geodesica fechada B ( (s0 )). Temos
r s0 = dist ( (s0 ) , q) = +
min
yB ((s0 ))
80
4.9
Exerccios
Captulo 5
Curvatura
5.1
Observe que o espaco vetorial real X (M ) = T1 M = T10 M dos campos diferenciaveis de uma variedade
diferenciavel M tambem pode ser considerado como um modulo sobre o anel C (M ). Pensando desta
forma, estamos considerando a estrutura linear de X (M ) quando tomamos as funcoes reais diferenciaveis
em M como escalares. Da mesma forma o espaco vetorial real T 1 M = T10 M dos campos covetoriais e um
modulo sobre C (M ).
Um campo tensorial T Tlk M ent
ao induz naturalmente uma aplicacao multilinear sobre C (M )
definindo
T : T 1 M . . . T 1 M T1 M . . . T1 M C (M )
(5.1)
(
)
T (X1 , . . . , Xk , 1 , . . . , l ) (p) = Tp X1 |p , . . . , Xk |p , 1 |p , . . . , l |p .
(5.2)
De fato, a func
ao T (X1 , . . . , Xk , 1 , . . . , l ) C (M ) e diferenciavel (Exerccio 1.5) e claramente multilinear. Alem disso, pode-se provar que toda aplicacao multilinear (5.1) sobre C (M ) e induzida por um
campo tensorial em Tlk M (Exerccio 5.1). Em particular, observe que se a base coordenada associada para
o espaco tensorial Tlk (Tp M ) e
{
}
( k)
i1
ik
Bl p = dx p . . . dx p
...
xj1 p
xjl p 16i1 ,...,ik 6n
16j1 ,...,jl 6n
para todo p V , de modo que nesta base coordenada o campo tensorial T se escreve na forma
n
j1 ,...,jl
i1
ik
Tp =
Ti1 ,...,ik (p) dx p . . . dx p
,
...
xj1 p
xjl p
i ,...,i =1
1
j1 ,...,jl =1
ir
X r |p =
X (p)
, r = 1, . . . , k,
xir p
i =1
r
s |p =
js (p) dxjs p , s = 1, . . . , l,
js =1
81
82
temos
T (X1 , . . . , Xk , 1 , . . . , l ) (p) =
,...,jl
X i1 . . . X ik j1 . . . jl Tij11,...,i
(p) .
k
(5.3)
i1 ,...,ik =1
j1 ,...,jl =1
5.2
O Tensor Curvatura
Sera que todas as variedades riemannianas sao localmente isometricas? Uma maneira de responder isso
negativamente e atraves da noc
ao de curvatura, que mede o quanto uma variedade riemanniana deixa de ser
euclideana. Precisamente para responder a pergunta se variedades riemannianas sao localmente isometricas
ao espaco euclideano foi que Riemann introduziu a nocao de curvatura.
5.2.1
O Endorfismo Curvatura
j
j
=
X (Y Z)
Y (X Z)
j
x
xj
j=1
j=1
=
[ ( )]
[ ( )]
X Y Zj
Y X Zj
j
x
xj
j=1
j=1
(
j=1
[ ( )]
[ ( )])
X Y Zj Y X Zj
xj
( )
(XY Y X) Z j
xj
j=1
= [X,Y ] Z.
Esta relacao e valida para qualquer variedade riemanniana localmente isometrica a Rn (Exerccio 5.2).
5.1 Defini
c
ao. Seja M uma variedade riemanniana. O endorfismo curvatura de M e o campo tensorial
de ordem (3, 1)
R : X (M ) X (M ) X (M ) X (M )
definido por
R (X, Y ) Z = Y X Z X Y Z + [X,Y ] Z.
(5.4)
O fato de termos identificado R com um tensor do tipo (3, 1) segue da Proposicao 1.18 e pelo fato de R ser
multilinear sobre C (M ), conforme e demonstrado na proposicao a seguir.
5.2 Proposi
c
ao. R e multilinear sobre C (M ).
83
Prova: Temos
R (X, Y1 + Y2 ) Z = Y1 +Y2 X Z X Y1 +Y2 Z + [X,Y1 +Y2 ] Z
= Y1 X Z + Y2 X Z X Y1 Z X Y2 Z
+ [X,Y1 ] Z + [X,Y2 ] Z
= R (X, Y1 ) Z + R (X, Y2 ) Z
e
R (X, f Y ) Z = f Y X Z X f Y Z + [X,f Y ] Z
= f Y X Z X (f Y Z) + f [X,Y ]+(Xf )Y Z
= f Y X Z f X Y Z (Xf ) Y Z + f [X,Y ] Z + (Xf ) Y Z
(
)
= f Y X Z X Y Z + [X,Y ] Z
= f R (X, Y ) Z.
A linearidade em relac
ao `a primeira vari
avel e imediatamente estabelecida uma vez que se observa que
R (X, Y ) Z = R (Y, X) Z.
De fato,
R (Y, X) Z = X Y Z Y X Z + [Y,X] Z
= Y X Z + X Y Z + [X,Y ] Z
= Y X Z + X Y Z [X,Y ] Z
= R (X, Y ) Z.
Para estabelecer a linearidade em relac
ao `a terceira variavel, temos
R (X, Y ) (Z1 + Z2 ) = Y X (Z1 + Z2 ) X Y (Z1 + Z2 ) + [X,Y ] (Z1 + Z2 )
= Y X Z1 X Y Z1 + [X,Y ] Z1
+ Y X Z2 X Y Z2 + [X,Y ] Z2
= R (X, Y ) Z1 + R (X, Y ) Z2
e
R (Y, X) (f Z) = Y X (f Z) X Y (f Z) + [X,Y ] (f Z)
= Y (f X Z) + Y ((Xf ) Z) X (f Y Z) X ((Y f ) Z)
+ f [X,Y ] Z + [X, Y ] Z
= f Y X Z + (Y f ) X Z + (Xf ) Y Z + Y (Xf ) Z
f X Y Z (Xf ) Y Z (Y f ) X (Z) X (Y f ) Z
+ f [X,Y ] Z + [X, Y ] Z
= f Y X Z + f X Y Z + [Y (Xf ) X (Y f )] Z + f [X,Y ] Z + [X, Y ] Z
= f Y X Z + f X Y Z + f [X,Y ] Z + [Y, X] Z + [X, Y ] Z
(
)
= f Y X Z X Y Z + [X,Y ] Z
= f R (Y, X) Z.
(5.5)
84
5.3 Proposi
c
ao. Seja M uma variedade riemanniana. Temos
(
)
R (i , j ) k = j i i j k .
(5.6)
ljk
( m l
) lik
l
ik jm m
.
jk im
xj
xi
m=1
(5.7)
R (X, Y ) Z =
l
Rijk
X iY j Z k
i,j,k,l=1
de modo que
R (i , j ) k =
l
Rijk
l=1
i j =
,
xl
.
xl
(5.8)
(5.9)
m
ij m ,
m=1
segue que
R (i , j ) k
(
)
= j (i k ) i j k
( n
)
( n
)
m
m
= j
ik m i
jk m
m=1
m=1
n
j (m
ik m )
m=1
n
(
)
i m
jk m
m=1
m
ik
=
m
ik j m +
j m
x
m=1
m=1
m=1
n
m=1
n
m
jk i m
m
ik
m
jk
l=1
n
m
jk
i m
x
m=1
ljm l +
lim l
m=1
l=1
[ n
n
l
=
m
ik jm
l=1 m=1
ik
l=1
n
l=1
xj
ljk
l
xi
l
m
jk im
m=1
]
ljk
lik
l .
+
xj
xi
5.4 Proposi
c
ao. Em Rn ,
R = 0.
(5.10)
85
(5.11)
Prova: Na introduc
ao a esta sec
ao vimos que R 0 para Rn (de fato, foi o que nos levou a definir R em
primeiro lugar; este resultado e trazido aqui apenas para referencia e enfase). Como [i , j ] = 0, segue que
i j Z = j i Z
para todo campo vetorial Z X (Rn ).
Assim, a curvatura mede tambem o quanto a derivada covariante deixa de comutar.
5.5 Teorema. Uma variedade Riemanniana M n e localmente isometrica a Rn se e somente se R = 0.
Prova: Vamos mostrar que se R = 0 entao M e localmente isometrica ao espaco euclideano, ja que a
recproca e obvia (a curvatura e um invariante{isometrico local;}Exerccio 5.2).
{
}
Dado p M , escolha uma base ortonormal E1 |p , . . . , En |p para Tp M . Sejam x1 , . . . , xn um sistema
de coordenadas para uma vizinhanca de p tal que i |p = Ei |p para todo i (por exemplo, uma vizinhanca
normal). Diminuindo a vizinhanca se necessario, podemos assumir que o domnio da parametrizacao e um
pequeno cubo
{
}
C = x Rn : xi < , i = 1, . . . , n .
Para cada i faca um transporte paralelo do vetor Ei |p ao longo de todas as imagens parametrizadas dos
eixos do cubo, cobrindo todos os pontos da vizinhanca parametrizada pelo cubo: por exemplo, comece transportando paralelamente o vetor Ei |p ao longo da imagem parametrizada do eixo x1 ; entao, a partir de cada
ponto da imagem parametrizada do eixo x1 , transporte paralelamente ao longo da imagem parametrizada
do segmento paralelo ao eixo x2 ; ent
ao, sucessivamente, transporte paralelamente ao longo das imagens
parametrizadas dos segmentos paralelos aos eixos x3 , . . . , xn . Deste modo, obtemos n campos vetoriais ortonormais E1 , . . . , En definidos na vizinhanca parametrizada pelo cubo C . Alem disso, estes campos vetoriais
sao suaves pela aplicac
ao sucessiva do teorema da dependencia suave das solucoes de EDOs nas condicoes
iniciais (os campos paralelos Ei sao as solucoes da EDO DEi /dt = 0).
Afirmamos que os campos E1 , . . . , En sao paralelos em C . Para provar isso, basta provar que
i Ej = 0
(
)
para todos i, j. Fixe j. Por construc
ao, 1 Ej (= 0 ao longo
do eixo x1 , 2 Ej = 0 no plano x1 , x2
)
e, em geral, k Ej = 0 no plano k-dimensional x1 , . . . , xk , isto e, na fatia k-dimensional do cubo M k
correspondente a xk+1 = . . . = xn = 0. Provaremos por inducao que
1 Ej = . . . = k Ej = 0
(5.12)
em M k para todo k; em particular, para k = n, obtemos a afirmacao. Ja vimos que o caso k = 1 e valido.
Assuma a validade de (5.12) para algum k. Em M k+1 temos k+1 Ej = 0 por construcao e
1 Ej = . . . = k Ej = 0
em M k por hipotese de induc
ao. Resta apenas mostrar que i Ej = 0 para i = 1, . . . , k no resto da fatia
(k + 1)-dimensional xk+2 = . . . = xn = 0. Para isso, como ja temos i Ej = 0 na fatia k-dimensional
xk+1 = xk+2 = . . . = xn = 0, por paralelismo basta provar que
k+1 (i Ej ) = 0.
Mas, como R = 0, temos
(
)
k+1 (i Ej ) i k+1 Ej + [i ,k+1 ] Ej = 0
86
Ei =
.
y i
Nestas coordenadas,
gij =
,
y i y j
= Ei , Ej = ij ,
logo a parametrizac
ao das coordenadas y i define uma isometria entre esta vizinhanca parametrizada de p e
n
R .
Para a demonstrac
ao original deste resultado por Riemann, comentada e em notacao moderna, veja [Spivak],
Vol. II, pp. 179-204. Observe que a demonstracao acima mostra que se pudermos encontrar campos
E1 , . . . , En linearmente independentes e paralelos na variedade M , entao ela e localmente isometrica a Rn .
Consequentemente, tais campos em geral nao existem. Isso significa que o transporte paralelo de vetores ao
longo de curvas com extremidades coincidentes em geral da resultados diferentes (como exemplo, considere
o transporte paralelo de um vetor na esfera do polo norte ao polo sul, ao longo de dois meridianos fazendo
um angulo reto). Este fenomeno tambem pode ser descrito dizendo-se que o transporte paralelo de um vetor
ao longo de uma geodesica fechada geralmente leva ele em um vetor diferente.
5.6 Proposi
c
ao. (Simetrias do Tensor Endomorfismo Curvatura) O tensor endomorfismo curvatura satisfaz
as seguintes propriedades:
(a) R (X, Y ) Z = R (Y, X) Z.
(b) (identidade de Bianchi ) R (X, Y ) Z + R (Y, Z) X + R (Z, X) Y = 0.
Em termos dos componentes do tensor endomorfismo curvatura, estas identidades s
ao respectivamente
equivalentes a
l
l
(a) Rijk
= Rjik
.
l
l
l
(b) Rijk
+ Rjki
+ Rkij
= 0.
Consequentemente,
l
Riik
= 0.
87
Prova: A primeira propriedade segue diretamente da definicao, como ja vimos. A segunda propriedade
segue da simetria da conexao, aplicada duas vezes, e da identidade de Jacobi para o colchete de Lie:
R (X, Y ) Z + R (Y, Z) X + R (Z, X) Y
= Y X Z X Y Z + [X,Y ] Z
+ Z Y X Y Z X + [Y,Z] X
+ X Z Y Z X Y + [Z,X] Y
= Y (X Z Z X) + Z (Y X X Y ) + X (Z Y Y Z)
+ [X,Y ] Z + [Y,Z] X + [Z,X] Y
= Y [X, Z] + Z [Y, X] + X [Z, Y ] + [X,Y ] Z + [Y,Z] X + [Z,X] Y
(
) (
) (
)
= Y [X, Z] [X,Z] Y + Z [Y, X] [Y,X] Z + X [Z, Y ] [Z,Y ] X
= [Y, [X, Z]] + [Z, [Y, X]] + [X, [Z, Y ]]
= [Y, [X, Z]] + [X, [Z, Y ]] + [Z, [Y, X]]
= 0,
Au
ltima propriedade e consequencia de (a).
5.2.2
Operac
ao de Subir ou Descer um Indice
Uma propriedade importante da metrica riemanniana e que ela permite converter vetores em covetores e
vice-versa. De fato, ela permite definir um isomorfismo entre os espacos T1 M de campos vetoriais de M
e T 1 M de campos covetoriais de M , chamado o isomorfismo musical. A escolha deste nome se refere aos
smbolos escolhidos para denotar o isomorfismo e seu inverso, conforme veremos na definicao a seguir.
5.7 Defini
c
ao. Seja M uma variedade riemanniana. Definimos o isomorfismo bemol
: T1 M
X
T 1 M
7
X
(5.13)
T1 M
7
g , Y = , Y = (Y )
para todo Y .
Em coordenadas,
X (Y ) = g
i=1
i,j=1
Xi
(
)
n
j
i j
,
Y
=
X
Y
g
,
xi j=1
xj
xi xj
i,j=1
n
gij X i Y j =
i,j=1
gij X i dxj (Y ) ,
(5.14)
88
ou seja,
X =
gij X i dxj .
(5.15)
i=1
Xj dxj ,
(5.16)
gij X i .
(5.17)
j=1
segue que
Xj =
i=1
Diz-se que o covetor X e obtido a partir do vetor X descendo um ndice. Por este motivo esta operacao e
denotada pelo smbolo bemol, porque em partituras musicais o smbolo bemol e usado para abaixar a altura
da nota musical que lhe segue. Ja no caso do isomorfismo inverso, escrevendo em coordenadas o vetor na
forma
n
=
i i ,
(5.18)
x
i=1
segue que
(
g
k=1
k k , j
x x
donde
j =
(
=
xj
)
,
gkj k .
k=1
ij
i=1
ij
k=1
gjk =
( n
n
k=1
)
ij
g gjk
k =
i=1
segue que
i =
ik k = i ,
k=1
g ij j .
(5.19)
j=1
Diz-se que o vetor e obtido a partir do covetor subindo um ndice. Por este motivo esta operacao
e denotada pelo smbolo sustenido, porque em partituras musicais o smbolo sustenido e usado para subir a
altura da nota musical que lhe segue.
O vetor gradiente e definido a partir da operacao de subir um ndice:
5.8 Defini
c
ao. Seja M uma variedade riemanniana. Dada uma funcao f C (M ), definimos o campo
gradiente de f por
grad f = df .
Em outras palavras, o vetor gradiente e definido por
grad f, Y = df (Y )
para todo Y .
89
Em coordenadas, como
f i
dx ,
i
x
i=1
df =
temos
grad f =
g ij
i,j=1
f
.
xi xj
(5.20)
(
)
(
)
(
)
T X1 , . . . , Xp1 , Xp+1 , . . . , Xk , 1 , . . . , l , l+1 = T X1 , . . . , Xp1 , l+1 , Xp+1 , . . . , Xk , 1 , . . . , l .
Note que ao aplicar a operacao de subir ou descer um ndice de um tensor teremos que explicitar qual ndice
estamos subindo ou descendo. Em geral isto e feito em palavras, sem o uso de um smbolo especial. Em
coordenadas, descendo o u
ltimo ndice, as componentes do tensor resultante sao dadas por
(
)
j ...j
j1
jl1
Ti11...ikl1
=
T
,
.
.
.
,
,
,
dx
,
.
.
.
,
dx
ik+1
xi1
xik xik+1
(
(
) )
j1
jl1
=T
, . . . , i , ik+1 , dx , . . . , dx
,
xi1
x k x
xik+1
(
)
n
j1
jl1
p
=T
, . . . , i , ik+1 , dx , . . . , dx
,
gik+1 p dx
xi1
x k x
p=1
)
(
n
j1
jl1
p
,
.
.
.
,
,
,
dx
,
.
.
.
,
dx
,
dx
=
gik+1 p T
xi1
xik xik+1
p=1
=
j ...j
gik+1 p Ti11...ikl1 ,
p=1
Ti11...ikl1
ik+1 =
p=1
j ...j
gik+1 p Ti11...ikl1 .
(5.21)
90
Subindo o u
ltimo ndice, as componentes do tensor resultante sao dadas por
(
)
j1 ...jl jl+1
j1
jl
jl+1
Ti1 ...ik1 = T
, . . . , ik1 , dx , . . . , dx , dx
xi1
x
(
)
( j )
j1
jl
l+1
=T
, . . . , ik1 , dx
, dx , . . . , dx
xi1
x
(
)
n
jl+1 q
1
l
=T
, . . . , ik1 ,
g
, dx , . . . , dx
xi1
x
xq
p=1
(
)
n
1
l
=
g jl+1 q T
,
,
.
.
.
,
,
dx
,
.
.
.
,
dx
xi1
xik1 xq
p=1
=
...jl
g jl+1 q Tij11...i
,
k1 q
q=1
l l+1
Ti11...ik1
=
...jl
g jl+1 q Tij11...i
.
k1 q
(5.22)
q=1
Outra aplicac
ao importante do isomorfismo musical e estender a operacao de tomar o traco de tensores.
Enquanto que o traco de tensores elimina um ndice covariante e um ndice contravariante, o traco em relacao
`a metrica definido a seguir elimina dois ndices covariantes.
5.10 Defini
c
ao. Seja M uma variedade riemanniana. Se T Tlk M , entao o tra
co de T em rela
c
ao `
a
m
etrica g e o tensor trg T Tlk2 M = C (M ) definida por
( )
trg T = tr T .
Em coordenadas, o traco de T em relac
ao `a metrica g em relacao aos dois u
ltimos ndices, subindo o u
ltimo
ndice antes de tomar o traco, e dado por
j ...jl
(trg T )i11...ik2
)j1 ...jl i
T i1 ...i i
k2
i=1
...jl
g ij Tij11...i
.
k2 ij
i=1
Por exemplo, se T T 2 M e um tensor simetrico, de forma que nao importa qual ndice escolhemos subir,
entao trg T T 0 M = C (M ) e a func
ao definida por
trg T =
(
i=1
5.2.3
)i
i
g ij Tij .
i,j=1
O Tensor Curvatura
5.11 Defini
c
ao. Seja M uma variedade riemanniana. O tensor curvatura de M e o campo tensorial
covariante de ordem 4
R : X (M ) X (M ) X (M ) X (M ) C (M )
definido por
R (X, Y, Z, W ) = R (X, Y ) Z, W .
91
Em outras palavras, o tensor curvatura e obtido atraves de descer o ndice do tensor endomorfismo curvatura.
Usaremos a mesma letra R para denotar os dois tensores; ficara claro dentro do contexto a qual tensor estamos
nos referindo. Enquanto que o tensor endomorfismo curvatura e dado localmente por
l
R = Rijk
dxi dxj dxk l ,
(5.23)
(5.24)
ao
5.12 Proposi
c
ao. As componentes do tensor curvatura s
Rijkl =
m
gml Rijk
.
(5.25)
g ml Rijkm .
(5.26)
m=1
Em particular,
l
Rijk
=
m=1
Prova: Pois o tensor curvatura e obtido atraves do tensor endomorfismo curvatura pela operacao de descer
o seu u
nico ndice contravariante, enquanto que o tensor endomorfismo curvatura e obtido atraves do tensor
curvatura pela operac
ao inversa, isto e, subir o seu u
ltimo ndice. Tambem podemos provar diretamente: a
primeira identidade segue de
Rijkl = R (i , j , k , l ) = R (i , j ) k , l
n
m
=
Rijk m , l
m=1
=
=
m=1
n
m
Rijk
m , l
m
gml Rijk
,
m=1
m=1
g ml Rijkm =
g ml
m=1
p=1
p
gpm Rijk
=
n
n
p=1 m=1
p
gpm g ml Rijk
=
p
l
pl Rijk
= Rijk
.
p=1
Potencialmente, o tensor curvatura tem n4 componentes. A presenca de simetrias reduz bastante o
n
umero de componentes nao nulas e de componentes independentes:
5.13 Proposi
c
ao. (Simetrias do Tensor Curvatura) O tensor curvatura satisfaz as seguintes propriedades:
(a) R (X, Y, Z, W ) = R (Y, X, Z, W ) .
(b) R (X, Y, Z, W ) = R (X, Y, W, Z) .
(c) R (X, Y, Z, W ) = R (Z, W, X, Y ) .
(d) (identidade de Bianchi ) R (X, Y, Z, W ) + R (Y, Z, X, W ) + R (Z, X, Y, W ) = 0.
Em termos dos componentes do tensor curvatura, estas identidades s
ao respectivamente equivalentes a
92
(5.27)
A identidade (5.27) segue da compatibilidade da conexao riemanniana com a metrica. De fato, temos
R (X, Y, Z, Z) = R (X, Y ) Z, Z
= Y X Z, Z X Y Z, Z + [X,Y ] Z, Z .
1
[X,Y ] Z, Z = [X, Y ] Z.Z .
2
Logo, novamente pela compatibilidade da metrica,
1
[X, Y ] Z.Z
2
1
1
1
= Y (X Z, Z) X (Y Z, Z) + [X, Y ] Z.Z
2
2
2
1
= [(Y X XY ) Z, Z + [X, Y ] Z.Z]
2
1
= [[Y, X] Z, Z + [X, Y ] Z.Z]
2
= 0.
R (X, Y, Z, Z) = Y X Z, Z X Y Z, Z +
(d) A identidade de Bianchi para o tensor curvatura segue da identidade de Bianchi para o tensor endomorfismo curvatura.
(c) Segue da identidade de Bianchi aplicadas `as quatro permutacoes cclicas dos quatro vetores:
R (X, Y, Z, W ) + R (Y, Z, X, W ) + R (Z, X, Y, W ) = 0,
R (Y, Z, W, X) + R (Z, W, Y, X) + R (W, Y, Z, X) = 0,
R (Z, W, X, Y ) + R (W, X, Z, Y ) + R (X, Z, W, Y ) = 0,
R (W, X, Y, Z) + R (X, Y, W, Z) + R (Y, W, X, Z) = 0.
93
Somamos estas 4 identidades. Aplicando (a) cancelamos todos os termos das primeiras duas colunas ((1, 1)
cancela com (4, 2), (2, 1) cancela com (1, 2), (3, 1) cancela com (2, 2) e (4, 1) cancela com (3, 2)). Quanto aos
termos da u
ltima coluna, segue de (a) e (b) que
R (Z, X, Y, W ) = R (X, Z, W, Y ) ,
R (W, Y, Z, X) = R (Y, W, X, Z) ,
logo a soma das 4 identidades e
2R (Z, X, Y, W ) + 2R (W, Y, Z, X) = 0.
Da,
R (Z, X, Y, W ) = R (W, Y, Z, X) = R (Y, W, Z, X) .
5.14 Corol
ario. Vale
R (X, X, Z, W ) = R (X, Y, Z, Z) = 0.
Em termos dos componentes do tensor curvatura,
Riikl = Rijkk = 0.
(5.28)
Alem disso, qualquer soma de tres componentes do tensor curvatura obtidos atraves da permutac
ao
cclica de tres ndices e igual a zero.
Prova: A validade das duas primeiras identidades foram vistas na demonstracao da proposicao; de qualquer
modo, Riikl = 0 segue da propriedade (a) e Rijkk = 0 segue da propriedade (b). A prova da u
ltima afirmacao
e deixada como exerccio (Exerccio 5.3).
5.15 Corol
ario. Se M e uma variedade riemanniana de dimens
ao 2, ent
ao das 24 = 16 componentes do
tensor curvatura, existem 12 componentes nulas e apenas uma componente independente.
Prova: Pelo corolario temos
R1111 = R1112 = R1121 = R1122 = 0,
R2211 = R2212 = R2221 = R2222 = 0,
R1211 = R2111 = 0,
R1222 = R2122 = 0.
possvel escolher uma
As componentes potencialmente nao nulas sao apenas R1212 , R1221 , R2112 , R2121 . E
dentre estas quatro e escrever as tres outras em funcao dela usando as relacoes de simetria. Por exemplo,
escolhendo R1212 , temos
R1221 = R1212 ,
R2112 = R1212 ,
R2121 = R2112 = R1212 .
Observe que a simetria da identidade de Bianchi nao desempenha nenhum papel, porque no caso n = 2,
como tambem no caso n = 3, ela e consequencia de (a)-(c). De fato, como no maximo 3 ndices sao diferentes
nestes casos, pelo menos um dos coeficientes na soma cclica (d) sera da forma Rijkk e portanto nulo, logo
ela se reduzira a uma ou duas das propriedades (a)-(c). Basta ver isso no caso k = l:
Rijkk + Rjkik + Rkijk = 0
94
e equivalente a (Rijkk = 0)
Rjkik + Rkijk = 0
ou seja,
Rjkik = Rkijk ,
que corresponde a aplicar (c) e depois (a).
As propriedades de simetria do endomorfismo curvatura reduzem um pouco o n
umero de componentes a
calcular, mas nao tanto quanto o tensor curvatura, ja que nao tem tantas simetrias. Pela Proposicao 5.6
temos imediatamente 8 componentes nulas
1
2
1
2
R111
= R111
= R112
= R112
= 0,
1
2
1
2
R221
= R221
= R222
= R222
= 0,
5.16 Exemplo. (Curvatura da Esfera) Considerando a esfera como uma superfcie de revolucao com parametrizac
ao
(x, y, z) (, ) = (r sen cos , r sen sen , r cos ),
vimos no Exemplo 4.6 que
g11 = r2 ,
g12 = g21 = 0,
g22 = r2 sen2 ,
e
111 = 211 = 112 = 121 = 222 = 0,
cos
212 = 221 =
,
sen
122 = sen cos .
Primeiro calcularemos as componentes do tensor endomorfismo curvatura. Como observado antes,
1
1
2
2
basta calcular as 4 componentes independentes R121
, R212
, R121
, R212
. Para isso usamos a formula
l
Rijk
=
(
m=1
) lik
ljk
l
m l
m
ik jm jk im +
xj
xi
) (
) lik
ljk
= 1ik lj1 1jk li1 + 2ik lj2 2jk li2 +
.
xj
xi
Fazendo k = i, segue que
(
) (
) lii
lji
l
.
Riji
= 1ii lj1 1ji li1 + 2ii lj2 2ji li2 +
xj
xi
95
(
) (
) 1ii
1ji
1
Riji
= 1ii 1j1 1ji 1i1 + 2ii 1j2 2ji 1i2 +
j
x
xi
1
ii
= 2ji 1i2 +
.
xj
Da,
1
R121
= 221 112 +
111
=0
e
1
R212
= 212 122 +
122
cos
( sen cos )
( sen cos ) +
sen
2
2
2
= cos cos + sen
=
= sen2 .
2
2
. Para i = j temos
e R212
No caso l = 2, temos que calcular R121
(
) (
) 2ii
2ji
l
Riji
= 1ii 2j1 1ji 2i1 + 2ii 2j2 2ji 2i2 +
xj
xi
2
ji
= 1ii 2j1 2ji 2i2
.
xi
Da,
221
(
)
cos cos
cos
=0
sen2
sen2
=1
2
= 111 221 221 212
R121
e
2
R212
= 122 211 212 222
212
= 0.
Portanto,
1
1
R212
= R122
= sen2 ,
2
2
R121
= R211
= 1,
m=1
m
1
2
gml Rijk
= g1l Rijk
+ g2l Rijk
96
segue que
1
2
R1212 = g12 R121
+ g22 R121
= r2 sen2 .
g11 = g22 =
g12 = g21
e
lji
lii
.
xj
xi
No caso l = 1, para i = j,
1
Riji
= 1ii 1j1 1ji 1i1 + 2ii 1j2 2ji 1i2 +
1ji
1ii
xj
xi
1ji
.
xi
Da
1
R121
= 121 111 + 211 122
121
=0
x
e
112
y
1
1
1
1
= 2 + 2 + 2 = 2.
y
y
y
y
1
R212
= 112 121 + 222 112
No caso l = 2, para i = j,
2ji
2ii
xj
xi
2
ii
.
= 1ii 2j1 1ji 2i1 + 2ii 2j2 2ji 2i2 +
xj
1
Riji
= 1ii 2j1 1ji 2i1 + 2ii 2j2 2ji 2i2 +
97
Da,
2
R121
= 111 221 121 211 + 211 222 221 212 +
=0+
=
211
y
1
1
1
2 +0 2
y2
y
y
1
y2
e
2
= 122 211 112 221 + 222 212 212 222 +
R212
222
= 0.
x
Portanto,
1
1
2
2
R122
= R212
= R121
= R211
=
1
y2
1
,
y4
1
,
y4
1
= R1212 = 4 ,
y
1
= R1212 = 4 .
y
R1221 = R1212 =
R2112
R2121
5.18 Corol
ario. Se M e uma variedade riemanniana de dimens
ao n, ent
ao das n4 componentes do tensor
curvatura, existem
(
)
n2 n2 1
(5.29)
12
componentes independentes.
Prova: Pela Proposic
ao 5.13 (c), temos
Rijkl = Rklij .
Portanto, denotando
p = ij, q = kl,
podemos considerar R como uma matriz simetrica
Rpq = Rqp ,
cada ndice p, q compreendendo uma matriz antisimetrica, pois pela Proposicao 5.13 (a), (b), temos
Rjikl = Rijkl ,
Rijlk = Rijkl .
98
34
R1224
R1324
R1424
R2324
R2424
R3424
R1234
R1334
R1434
R2334
R2434
R3434
99
( )
No caso geral, a identidade de Bianchi elimina n4 componentes independentes, ja que este e o n
umero
de modos que podemos escolher 4 ndices diferentes dentre n ndices e a identidade de Bianchi elimina um
destes (no caso n = 5, a identidade de Bianchi eliminara R1234 , R1345 , R1245 , R1235 , R2345 como componentes
independentes). Portanto, o n
umero total final de componentes independentes e
( )
n4 2n3 + 3n2 2n
n
n4 2n3 + 3n2 2n
n!
8
4
8
(n 4)!4!
n4 2n3 + 3n2 2n n (n 1) (n 2) (n 3)
=
8
24
(
)
3n4 6n3 + 9n2 6n n4 6n3 + 11n2 6n
=
24
2n4 2n2
=
(242
)
2
n n 1
=
.
12
Assim, existem 6 componentes independentes para o tensor curvatura de variedades de dimensao 3 dentre
34 = 81 componentes, e 20 componentes independentes para o tensor curvatura de variedades de dimensao
4 dentre 44 = 256 componentes, como as que sao estudadas em relatividade geral.
5.3
Porque 4-tensores sao tao complexos, como vimos na secao anterior, e frequentemente u
til construir tensores
mais simples que resumem alguma informacao contida no tensor curvatura. Obviamente, ao simplificar o
tensor curvatura, estamos perdendo informacao, os tensores mais simples contem menos informacao que o
tensor original. O mais importante dentre estes tensores e o tensor de Ricci.
5.19 Defini
c
ao. Seja M uma variedade riemanniana. O tensor curvatura de Ricci de M , denotado Ric,
e o campo tensorial covariante de ordem 2 definido como o traco do tensor endomorfismo curvatura em
relacao ao seu ndice contravariante e segundo ndice covariante ou, equivalentemente, como o traco
em relac
ao `
a metrica do tensor curvatura no seu segundo e u
ltimo ndices. Portanto, os componentes
da curvatura de Ricci sao dados por
Rij =
k
Rikj
=
k=1
g km Rikjm .
(5.30)
k,m=1
5.20 Proposi
c
ao. A curvatura de Ricci e um campo tensorial simetrico, isto e,
Rij = Rji .
Prova: Temos
Rij =
k,m=1
g km Rikjm =
k,m=1
g km Rjmik =
(5.31)
n
k,m=1
O segundo tensor e a curvatura escalar, que e uma funcao real.
g mk Rjmik = Rji .
100
5.21 Defini
c
ao. Seja M uma variedade riemanniana. A curvatura escalar de M , denotada S, e a funcao
real S : M R definida como o traco em relacao `a metrica do tensor de Ricci:
S = trg Ric =
g ij Rij .
(5.32)
i,j=1
5.22 Exemplo. (Curvatura de Ricci e Curvatura Escalar da Esfera) Para variedades riemannianas de dimensao 2 a curvatura de Ricci e
Rij =
k
1
2
Rikj
= Ri1j
+ Ri2j
.
k=1
i,j=1
1
sen2
2
+
= 2.
2
2
2
r
r sen
r
Ou seja, a curvatura escalar da esfera tende a 0 (curvatura escalar do plano euclideano) quando r .
5.23 Exemplo. (Curvatura de Ricci e Curvatura Escalar do Plano Hiperb
olico) Referindo aos calculos
efetuados no Exemplo 5.17, segue que
1
,
y2
2
1
= 0,
= R21 = R112
+ R122
1
1
2
= R212
+ R222
= 2.
y
1
2
R11 = R111
+ R121
=
R12
R22
101
5.24 Defini
c
ao. Uma variedade riemanniana M e chamada uma variedade de Einstein se existe uma
funcao f : M R tal que
Ric = f g.
(5.33)
Neste caso, dizemos tambem que g e uma m
etrica de Einstein.
Pela proposic
ao anterior, variedades de curvatura seccional constante sao variedades de Einstein. Observe
que como
S = trg Ric = f trg g = nf,
pois
trg g =
g jk gjk = n,
j,k=1
k=1
(AB)kk =
n
n
akj bjk =
k=1 j=1
ajk bjk ,
k,j=1
segue que
f=
S
.
n
S
g.
n
(5.34)
O nome variedades de Einstein vem do seguinte fato. Na teoria da Relatividade Geral, a equacao de
Einstein e
1
Ric Sg + g = T,
2
onde T e um 2-tensor simetrico (o tensor de tens
ao-energia) que descreve a densidade, momento e tensao
da materia e energia presentes em cada ponto do espaco-tempo e e a constante cosmol
ogica. No vacuo,
T = 0 e a equac
ao de Einstein se torna
1
Ric Sg + g = 0
2
(e assim, a constante cosmologica mede a densidade de energia do vacuo). Tomando o traco desta equacao
com respeito `a metrica, como trg Ric = S e trg g = n = 4 para o espaco-tempo 4-dimensional, segue que
S 2S + 4 = 0
ou seja,
S = 4
(curvatura escalar do vacuo). Segue que a equacao de Einstein para o vacuo e
Ric = g,
ou seja, a metrica do vacuo e uma metrica de Einstein no sentido da Definicao 5.31. Vale a pena observar
que Einstein considerou como o seu maior erro a introducao da constante cosmologica na sua equacao da
relatividade geral. Ele a introduziu para poder produzir um universo estatico; quando Hubble observou a
expansao do universo atraves do afastamento m
utuo das galaxias, Einstein removeu a constante cosmologica
da sua equac
ao (o que equivale efetivamente a considerar = 0). Quando no final da decada de 90 foi
observada a acelerac
ao da expansao do universo, ela foi reintroduzida, com valor positivo a ser determinado
atraves de experimentos (correntemente, o valor e bem proximo de zero).
102
S (g) =
S dV
M
5.4
Curvatura Seccional
5.25 Defini
c
ao. Dado um espaco vetorial real V com produto interno , e vetores v, w V linearmente
independentes, a
area do paralelogramo determinado por v, w e
2
2
2
(5.35)
|v w| = v w v, w .
5.26 Proposi
c
ao. v, w V s
ao linearmente independentes se e somente se
|v w| = 0.
2
2
2
4
2
|v w| = v v v, v = v v, v = 0.
Reciprocamente, se |v w| = 0 implica que vale a igualdade na desigualdade de Cauchy-Shwarz:
v, w = v w .
Assuma w = 0, caso contr
ario v e w sao automaticamente linearmente dependentes e nao ha nada que precise
ser provado. Considere o vetor
v, w
z=v
2 w.
w
Temos
z = z, z =
= v, v
v,
v, w
2
v, w
2
w
2
= v
2
v, w
w
2
v, w
w, v
v, w
2
v, w
w
2
w, v
2
= v v v + v
= 0.
v=
v, w w
logo
v, w
2
w.
v, w
2
w,
v, w
2
103
5.27 Defini
c
ao. Seja M uma variedade riemanniana e um plano de Tp M . A curvatura seccional de
M associada a e definida por
K (X, Y ) =
R (X, Y, X, Y )
R (X, Y, X, Y )
=
2
2
2.
|X Y |
X Y X, Y
(5.36)
onde X, Y Tp M s
ao quaisquer vetores que formam uma base para .
A curvatura seccional esta bem definida, isto e, independe da base escolhida para o plano . De fato, sejam
{X, Y } e {Z, W } duas bases para , de modo que existe uma matriz invertvel A = (aij )22 tal que
X = a11 Z + a21 W,
Y = a12 Z + a22 W.
Temos, usando as simetrias do tensor curvatura (em primeiro lugar, o fato que R (Z, Z, , ) = R (W, W, , ) =
R (, , Z, Z) = R (, , W, W ) = 0),
R (X, Y, X, Y ) = R (a11 Z + a21 W, a12 Z + a22 W, a11 Z + a21 W, a12 Z + a22 W )
= R (a11 Z, a22 W, a11 Z, a22 W )
+ R (a11 Z, a22 W, a21 W, a12 Z)
+ R (a21 W, a12 Z, a21 W, a12 Z)
+ R (a21 W, a12 Z, a11 Z, a22 W )
= a211 a212 R (Z, W, Z, W ) + a11 a21 a12 a22 R (Z, W, W, Z)
+ a221 a222 R (W, Z, W, Z) + a11 a21 a12 a22 R (W, Z, Z, W )
(
)
= a211 a222 2a11 a12 a21 a22 + a212 a221 R (Z, W, Z, W )
2
= (det A) R (Z, W, Z, W ) ,
e
|X Y |
2
= X Y X, Y
2
2
2
= (det A) |Z W | .
Logo,
R (X, Y, X, Y )
R (Z, W, Z, W )
=
.
|X Y |
|Z W |
O conhecimento da curvatura seccional para todos os planos determina o tensor curvatura:
104
5.28 Proposi
c
ao. Se R1 e R2 s
ao dois tensores covariantes de ordem 4 em um espaco vetorial V que
satisfazem as propriedades de simetria listadas na Proposic
ao 5.12 tais que
K1 (X, Y ) = K2 (X, Y )
para todos vetores linearmente independentes X, Y V , ent
ao
R1 = R2 .
Prova: Por hipotese, para quaisquer vetores X, Y V ,
R1 (X, Y, X, Y ) = R2 (X, Y, X, Y )
(5.37)
(pois se X, Y s
ao linearmente dependentes, um e m
ultiplo escalar do outro e a identidade e trivial, ja que
cada lado e igual a zero). Da,
R1 (X + Z, Y, X + Z, Y ) = R2 (X + Z, Y, X + Z, Y ) .
(5.38)
Como
R1 (X + Z, Y, X + Z, Y ) = R1 (X, Y, X, Y ) + R1 (X, Y, Z, Y )
+ R1 (Z, Y, X, Y ) + R1 (Z, Y, Z, Y )
= R1 (X, Y, X, Y ) + 2R1 (X, Y, Z, Y ) + R1 (Z, Y, Z, Y )
e analogamente para R2 (X + Z, Y, X + Z, Y ), conclumos que
R1 (X, Y, Z, Y ) = R2 (X, Y, Z, Y ) .
(5.39)
R1 (X, Y + W, Z, Y + W ) = R2 (X, Y + W, Z, Y + W ) .
(5.40)
Como
R1 (X, Y + W, Z, Y + W ) = R1 (X, Y, Z, Y ) + R1 (X, Y, Z, W )
+ R1 (X, W, Z, Y ) + R1 (X, W, Z, W )
e analogamente para R2 (X, Y + W, Z, Y + W ), segue que
R1 (X, Y, Z, W ) + R1 (X, W, Z, Y ) = R2 (X, Y, Z, W ) + R2 (X, W, Z, Y ) .
(5.41)
R = R1 R2 .
(5.42)
Defina agora
Entao R e um 4-tensor covariante que satisfaz as mesmas propriedades que R1 , R2 satisfazem. A identidade
(5.41) implica que
R (X, Y, Z, W ) R (X, W, Z, Y ) = 0;
como R (X, W, Z, Y ) = R (Z, Y, X, W ) = R (Y, Z, X, W ), segue que
R (X, Y, Z, W ) + R (Y, Z, X, W ) = 0.
Pela identidade de Bianchi,
R (Z, X, Y, W ) = R (X, Y, Z, W ) + R (Y, Z, X, W )
105
g mk R1k1m =
R (X, Ek , X, Ek ) =
k=2
R (X, Ek , X, Ek )
|X Ek |
k=2
ou seja,
Ric (X, X) =
R (X, Ek , X, Ek )
k=1
k,m=1
k,m=1
mk R (X, Ek , X, Em ) =
K (X, Ek ) .
(5.43)
k=2
1
2
2
X + Y
K (X + Y, Ek ) X Y
K (X Y, Fk ) ,
=
4
Ric (X, Y ) =
k=2
k=2
i,j=1
g ij Rij =
ij Rij =
i,j=1
ou seja,
S=
Rii =
i=1
Ric (Ei , Ei ) ,
i=1
K (Ei , Ej ) .
(5.44)
i=j
Em outras palavras, a curvatura escalar e a soma de todas as curvaturas seccionais de planos gerados por
pares de vetores de uma base ortonormal.
5.29 Exemplo. (Curvatura Seccional de Variedades de Dimens
ao 2) No caso de variedades riemannianas
de dimensao 2 existe apenas um plano em Tp M : o proprio. Para estas variedades, a curvatura seccional
pode ser considerada uma func
ao K : M R. Alem disso, se {E1 , E2 } e uma base ortonormal para
Tp M , segue da discussao anterior que
K (p) = K (E1 , E2 ) = S (p) ,
ou seja, para variedades riemannianas de dimens
ao 2 a curvatura seccional e a curvatura escalar.
5.5
106
Variedades riemannianas que possuem curvatura seccional constante desempenham papel fundamental em
Geometria Riemanniana. Algumas das mais importantes (os espacos modelo) serao estudadas em maior
detalhe mais tarde, mas veremos alguns resultados gerais agora.
5.30 Proposi
c
ao. Seja M uma variedade riemanniana com curvatura seccional constante K0 R. Ent
ao
as curvaturas de M s
ao dadas pelas f
ormulas
R (X, Y ) Z = K0 [X, Z Y Y, Z X] .
(5.45)
R (X, Y, Z, W ) = K0 [X, Z Y, W X, W Y, Z] .
(5.46)
Ric = (n 1) K0 g.
(5.47)
S = n (n 1) K0 .
(5.48)
(5.49)
e (X, Y, X, Y )
R
2
X Y X, Y
K0 [X, X Y, Y X, Y X, Y ]
2
X Y X, Y
= K0 ,
(5.50)
107
(5.45) e equivalente a (5.46): claramente (5.46) segue de (5.45) pela definicao da curvatura a partir do
endomorfismo curvatura; reciprocamente, se (5.46) vale, entao
R (X, Y ) Z, W = R (X, Y, Z, W ) = K0 [X, Z Y, W X, W Y, Z] ,
para todo vetor W e como tambem
K0 [X, Z Y Y, Z X] , W = K0 [X, Z Y, W X, W Y, Z]
para todo vetor W , segue que
R (X, Y ) Z = K0 [X, Z Y Y, Z X] .
Se X, Y s
ao vetores nao nulos, como vimos na discussao no final da secao anterior, temos
[
]
n
n
1
2
2
Ric (X, Y ) =
X + Y
K (X + Y, Ek ) X Y
K (X Y, Fk )
4
k=2
k=2
]
1[
2
2
=
X + Y (n 1) K0 X Y (n 1) K0
4
]
1[
2
2
= (n 1) K0 X + Y X Y
4
= (n 1) K0 X, Y ;
se um dos vetores e nulo, o resultado vale trivialmente. Alem disso,
(
)
S=
K (Ei , Ej ) = n2 n K0 = n (n 1) K0 .
i=j
5.31 Corol
ario. Seja M uma variedade riemanniana. Para cada ponto p M escolha uma base ortonormal
{E1 , E2 , . . . , En } de Tp M e defina
Rijkl = R (Ei , Ej , Ek , El ) .
Ent
ao M possui curvatura seccional constante K0 se e somente se
Rijij = Rijji = K0 para todo i = j e
Rijkl = 0 nos outros casos,
para todo p M .
Prova: Pela proposic
ao, M possui curvatura seccional constante K0 se e somente se
R (X, Y, Z, W ) = K0 [X, Z Y, W X, W Y, Z] .
Como um tensor e determinado pelos seu valores em uma base, esta equacao e valida se e somente se
R (Ei , Ej , Ek , El ) = K0 [Ei , Ek Ej , El Ei , El Ej , Ek ]
= K0 (ik jl il jk )
se i = k e j = l e i = j
1
1
se i = l e j = k e i = j .
=
0
caso contrario.
Vemos que em uma variedade riemanniana de curvatura seccional constante o tensor curvatura pode ser
expresso diretamente em func
ao de metrica.
5.6
108
Por definicao, uma conexao em uma variedade diferenciavel M e uma maneira de calcular derivadas covariantes de campos vetoriais. Esta conexao permite tambem definir derivadas covariantes para todos os campos
tensoriais de M .
5.32 Lema. Seja M uma variedade diferenci
avel dotada de uma conex
ao . Ent
ao existe uma u
nica
conex
ao
: X (M ) Tlk M Tlk M
em cada fibrado tensorial Tlk M tal que
(i) Em T1 M = X (M ), coincide com a conex
ao dada.
(ii) Em T0 M = C (M ),
X f = Xf.
(
)
T X1 , . . . , X Xi , . . . , Xk , 1 , . . . , l
i=1
(
)
T X1 , . . . , Xk , 1 , . . . , X j , . . . , l
j=1
n
n
n
X i j jik dxk .
X =
Xi i
x
i,j=1
i=1
(5.51)
k=1
Em particular,
i dxj =
k=1
jik dxk .
(5.52)
109
Prova: De fato,
(X ) (Y ) = X [ (Y )] (X Y )
[ ( n
)]
n
n
(
)
X Y k +
= X
Y k k
X i Y j kij k
k=1
[
=X
]
Y k (k )
k=1
[
=X
i,j=1
k=1
X Y
)
k
Y k k
k=1
X i Y j kij (k )
i,j=1
k=1
n
( k)
X Y +
X i Y j kij k
i,j=1
k=1
n
n
n
[ ( k)
]
( )
=
X Y k + Y k X (k )
X Y k k +
X i Y j k kij
k=1
n
i,k=1
n
k=1
Y kXi
Y kXi
i,k=1
xi
k
xi
i,j,k=1
n
i,j,k=1
X i Y j k kij
X i Y k j jik
i,j,k=1
=
Xi i
X i j jik Y k
x
i=1
i,j=1
k=1
n
n
n
=
Xi i
X i j jik dxk (Y ) .
x
i=1
i,j=1
n
k=1
5.34 Defini
c
ao. Seja M uma variedade diferenciavel dotada de uma conexao . Dado um campo (k, l)tensorial T Tlk M , a derivada covariante total de T e o campo (k + 1, l)-tensorial
T : T 1 M . . . T 1 M T1 M . . . T1 M C (M )
definido por
(
)
(
)
T Y1 , . . . , Yk , X, 1 , . . . , l = X T Y1 , . . . , Yk , 1 , . . . , l .
(5.53)
O nome derivada covariante pode ser agora compreendido: a derivada covariante total de um tensor aumenta
em um a sua ordem covariante.
5.35 Exemplo. (Hessiana e Laplaciano) Se f C (M ), entao a derivada covariante total f de f e
simplesmente o covetor (1-forma) df , isto e, a diferencial de f . De fato, ambos os tensores tem o
mesmo efeito sobre campos vetoriais:
df (X) = Xf = X f = (f ) (X) .
O 2-tensor
2 f = (f )
110
(5.54)
f = trg 2 f.
(5.55)
T =
...jl
Tij11...i
dxi1 . . . dxik
k
i1 ,...,ik =1
j1 ,...,jl =1
...
xj1
xjl
T =
...jl
m Tij11...i
dxi1 . . . dxik dxm
k
i1 ,...,ik =1 m=1
j1 ,...,jl =1
e
T =
...jl
Tij11...i
dxi1 . . . dxik dxm
k ;m
i1 ,...,ik =1 m=1
j1 ,...,jl =1
... j
xj1
x l
... j
xj1
x l
(5.56)
(5.57)
Isto e, cada componente do campo (k + 1, l)-tensorial derivada covariante total e denotado por
...jl
...jl
m Tij11...i
= Tij11...i
.
k
k ;m
Por exemplo, se
X=
i=1
entao
X =
i,j=1
j X i dxj
Xi
(5.58)
,
xi
=
X;ji dxj
.
i
xi
x
i,j=1
(5.59)
111
5.38 Proposi
c
ao. Seja M uma variedade diferenci
avel dotada de uma conex
ao . Ent
ao as componentes
da derivada covariante total em um sistema de coordenadas s
ao dadas por
...jl
...jl
m Tij11...i
= Tij11...i
=
k
k ;m
...jl
l
n
k
n
Tij11...i
j1 ...js =p...jl js
...jl
k
+
T
Tij11...i
p .
pm
i1 ...ik
r =p...ik ir m
xm
s=1 p=1
r=1 p=1
...jl
Tij11...i
k
(p) .
xm
j1
jl
= T
,
.
.
.
,
,
,
dx
,
.
.
.
,
dx
xi1
xik xm
)
(
)(
j1
jl
= m T
, . . . , i , dx , . . . , dx
x
xi1
x k
(
)
j1
jl
=
T
, . . . , i , dx , . . . , dx
xm
xi1
x k
)
(
k
j1
jl
, . . . , m ir , . . . , i , dx , . . . , dx
T
x
xi1
x
x k
r=1
(
)
l
j1
js
jl
T
, . . . , i , dx , . . . , m dx , . . . , dx
x
xi1
x k
s=1
)
(
...jl
k
Tij11...i
j1
jl
k
=
,
.
.
.
,
,
.
.
.
,
,
dx
,
.
.
.
,
dx
T
xm xir
xm
xi1
xik
r=1
)
(
l
j1
js
jl
,
.
.
.
,
,
dx
,
.
.
.
,
,
.
.
.
,
dx
T
dx
xm
xi1
xik
s=1
)
(
...jl
k
n
Tij11...i
p
j1
jl
k
=
,...,
T
mir p , . . . , i , dx , . . . , dx
xm
xi1
x
x k
r=1
p=1
(
)
l
n
j1
js
p
jl
, . . . , i , dx , . . . ,
T
mp dx , . . . , dx
xi1
x k
s=1
p=1
...jl
k
n
l
n
Tij11...i
p
...js =p...jl js
j1 ...jl
k
pm .
+
Tij11...i
T
i1 ...ir =p...ik ir m
k
xm
s=1 p=1
r=1 p=1
j X i = X;ji =
(5.60)
112
p pij ;
xj p=1
n
j i = i;j =
para um campo 2-tensorial covariante:
k Tij = Tij;k =
n
n
Tij
p
Tip pjk ;
pj ik
xk
p=1
p=1
n
n
n
n
l
Rijk
p
p
p
l
l
l
l
+
R
Rijp
pkm ;
pm
pjk
ipk
im
jm
ijk
xm
p=1
p=1
p=1
p=1
n
n
n
n
Rijkl
p
p
p
Rijkp plm .
pjkl im
ipkl jm
ijpl km
xm
p=1
p=1
p=1
p=1
ao
5.39 Proposi
c
ao. (Regra do Produto) Seja M uma variedade riemanniana. Ent
(
) (
)
(
)
jl+1 ...jl+q
jl+1 ...jl+q
...jl jl+1 ...jl+q
...jl
j1 ...jl
m Fij11...i
Gik+1 ...ik+p = m Fij11...i
Gik+1
...ik+p + Fi1 ...ik m Gik+1 ...ik+p .
k
k
Prova: Seja T = F G, de modo que
j ...j j
...j
...j
j1 ...jl
l+1
l+q
l+1
l+q
Ti11...iklik+1
...ik+p = Fi1 ...ik Gik+1 ...ik+p .
= i r ,
xir
...j
l+1
l+q
m Ti11...iklik+1
...ik+p
(
)
= T i1 , . . . , ik , ik+1 , . . . , ik+p , m , dxj1 , . . . , dxjl , dxjl+1 , . . . , dxjl+q
(
)
= m T i1 , . . . , ik , ik+1 , . . . , ik+p , dxj1 , . . . , dxjl , dxjl+1 , . . . , dxjl+q
(
)
r=1
l+q
s=1
)
(
T i1 , . . . , ik , ik+1 , . . . , ik+p , dxj1 , . . . , im dxjs , . . . , dxjl , dxjl+1 , . . . , dxjl+q
113
) (
)
(
r=1
k+p
)
(
) (
F i1 , . . . , ik , dxj1 , . . . , dxjl G ik+1 , . . . , im ir , . . . , ik+p , dxjl+1 , . . . , dxjl+q
r=k+1
(
) (
)
F i1 , . . . , ik , dxj1 , . . . , im dxjs , . . . , dxjl G ik+1 , . . . , ik+p , dxjl+1 , . . . , dxjl+q
s=1
l+q
) (
)
(
F i1 , . . . , ik , dxj1 , . . . , dxjl G ik+1 , . . . , ik+p , dxjl+1 , . . . , im dxjs , . . . , dxjl+q
s=q+1
j
...j
l+1
l+q
...jl
Gik+1
Fij11...i
...ik+p
jl+1 ...jl+q
j1 ...jl
k
=
G
+
F
ik+1 ...ik+p
i1 ...ik
xm
xm
k
(
) jl+1 ...jl+q
r=1
k+p
(
)
...jl
Fij11...i
G ik+1 , . . . , im ir , . . . , ik+p , dxjl+1 , . . . , dxjl+q
k
r=k+1
(
) jl+1 ...jl+q
F i1 , . . . , ik , dxj1 , . . . , im dxjs , . . . , dxjl Gik+1
...ik+p
s=1
k+p
(
)
...jl
Fij11...i
G ik+1 , . . . , ik+p , dxjl+1 , . . . , im dxjs , . . . , dxjl+q
k
r=k+1
...jl
k
(
)
Fij11...i
k
F i1 , . . . , im ir , . . . , ik , dxj1 , . . . , dxjl
m
x
r=1
]
l
(
)
jl+1 ...jl+q
s=1
...jl
Fij11...i
k
k+p
...j
l+1
l+q
Gik+1
...ik+p
xm
k+p
(
)
G ik+1 , . . . , im ir , . . . , ik+p , dxjl+1 , . . . , dxjl+q
r=k+1
r=k+1
)
(
)
(
jl+1 ...jl+q
jl+1 ...jl+q
j1 ...jl
...jl
G
+
F
G
= m Fij11...i
m
ik+1 ...ik+p .
i1 ...ik
ik+1 ...ik+p
k
Este resultado justifica a notac
ao m .
5.40 Lema. Seja M uma variedade riemanniana. Ent
ao
k gij = gij;k = 0
e
ij
k g ij = g;k
=0
114
Prova: Embora ja tenhamos demonstrado a primeira afirmacao no Exemplo 5.35, forneceremos outra demonstracao que a derivada covariante total do tensor metrica g e o tensor identicamente nulo usando a
formula para as componentes da derivada covariante. De fato, como vimos na demonstracao da Proposicao
4.15,
n
n
k gij =
gip pjk +
gpj pik .
p=1
p=1
Logo,
k gij = gij;k = k gij
gip pjk
p=1
gpj pik = 0.
p=1
j
k ij = i;k
= k ij +
ip jpk
p=1
ii jik
jj jik
pj
pj pik
p=1
= 0.
Portanto,
(
k
)
gip g
= k ij = 0.
p=1
pj
k
gip g
=
g pj k gip +
gip k g pj =
gip k g pj
p=1
p=1
p=1
p=1
gip k g pj = 0.
p=1
li
pj
g
gip k g
= 0,
p=1
i=1
segue que
0=
n
n
g li gip k g pj =
p=1 i=1
lp k g pj = k g lj .
p=1
Em vista dos resultados acima, a derivada covariante se comporta bem com a operacao de subir ou descer
um ndice:
ao
5.41 Proposi
c
ao. Seja M uma variedade riemanniana. Ent
( n
)
n
j ...j
p
j1 ...jl1 p
j1 ...jl1
=
gik+1 p m Ti11...ikl1 ,
gik+1 p Ti1 ...ik
m Ti1 ...ik ik+1 = m
(
e
j ...jl jl+1
m Ti11...ik1
= m
p=1
(5.61)
p=1
p=1
)
g
jl+1 p
...jl
Tij11...i
k1 p
p=1
...jl
g jl+1 p m Tij11...i
.
k1 p
(5.62)
115
(
)
j
g ik m T kj ,
m Ti = m
gik T kj =
(
m Tij = m
k=1
n
k=1
)
g kj Tik
k=1
g kj (m Tik ) .
k=1
f i
f =
dx .
i
x
i=1
comum denotar
E
fi =
de modo que
2 f =
f
,
xi
n
j fi dxi dxj =
i,j=1
Temos
(5.63)
i,j=1
fi
f
2f
p
kij k .
f
=
p
ij
xj p=1
xi xj
x
n
j fi = fi;j =
(5.64)
k=1
Ou seja,
f=
2
i,j=1
2f
f
kij k
i
j
x x
x
n
fij =
f=
2
dxi dxj .
(5.65)
k=1
de modo que
(
fij
i,j=1
2f
,
xi xj
n
(5.66)
)
fk kij
dxi dxj .
(5.67)
k=1
i,j=1
g ij
(
)
g ij 2 f ij
i,j=1
n
xi xj
k=1
g ij kij
f
.
xk
5.43 Proposi
c
ao. (Identidade de Bianchi Diferencial) Seja M uma variedade riemanniana. A derivada
covariante total do tensor curvatura satisfaz a seguinte propriedade:
R (X, Y, Z, V, W ) + R (X, Y, V, W, Z) + R (X, Y, W, Z, V ) = 0.
(5.68)
Em termos de componentes,
Rijkl;m + Rijlm;k + Rijmk;l = m Rijkl + k Rijlm + l Rijmk = 0.
(5.69)
116
Prova: Em primeiro lugar, devido `a propriedade de simetria 5.12 (c) do tensor curvatura, a identidade do
enunciado e equivalente `a identidade
R (Z, V, X, Y, W ) + R (V, W, X, Y, Z) + R (W, Z, X, Y, V ) = 0.
(5.70)
A vantagem desta identidade e que o campo na quarta posicao e o mesmo (isto e, Y ) em todos os termos.
Por multilinearidade, basta provar que
R (i , j , k , l , m ) + R (j , m , k , l , i ) + R (m , i , k , l , j ) = 0
para todos os campos vetoriais i , j , k , l , m . Para facilitar os calculos consideravelmente, consideramos
coordenadas normais em p. Por definic
ao e compatibilidade da metrica,
R (i , j , k , l , m ) = m R (i , j , k , l )
= m R (i , j , k ) , l
= m R (i , j , k ) , l
= m R (i , j , k ) , l + R (i , j , k ) , m l .
Em coordenadas normais em p,
m l (p) =
qlm (p) q = 0
q=1
e
R (i , j , k ) = j i k i j k + [i ,j ] k
= j i k i j k
porque [i , j ] = 0. Logo, em p,
R (i , j , k , l , m ) = m R (i , j , k ) , l
= m j i k m i j k , l .
Da, em p,
R (i , j , k , l , m ) + R (j , m , k , l , i ) + R (m , i , k , l , j )
= m j i k m i j k + i m j k i j m k
+j i m k j m i k , l
= m j i k j m i k + i m j k m i j k
+j i m k i j m k , l
(
)
= R (j , m , i k ) + R m , i , j k + R (i , j , m k ) , l
ja que i k = j k = m k = 0 em p.
5.44 Defini
c
ao. Dado um campo 2-tensorial covariante T , a diverg
encia de T e o traco com respeito `a
metrica de T .
div T = trg T.
Em coordenadas,
(div T )i =
j,k=1
g jk k Tij .
117
A divergencia pode ser definida de maneira analoga para tensores de qualquer tipo.
5.45 Proposi
c
ao. Seja M uma variedade riemanniana. Ent
ao
S = 2 div Ric .
Prova: Por definic
ao,
(div Ric)i =
(5.71)
g jk k Rij .
j,k=1
j,l=1
n
n
n
m
g jl Rijkl + k
g jl Rijlm +
g jl l Rijmk = 0.
j,l=1
j,l=1
j,l=1
Como
Rpq =
g rs Rprqs ,
r,s=1
Rijlm = Rijml ,
Rijmk = Rmkij ,
o primeiro termo desta soma e
m Rik ,
enquanto que o segundo termo e
k Rim .
Logo a identidade (5.72) e equivalente a
m Rik = k Rim
j,l=1
g jl l Rijmk .
(5.72)
118
Da,
n
g ik m Rik =
i,k=1
g ik k Rim
i,k=1
g ik
i,k=1
= (div Ric)m
g jl l
j,l=1
= (div Ric)m +
g jl l
j,l=1
= (div Ric)m +
g jl l Rijmk
j,l=1
n
g ik Rijmk
i,k=1
n
g ik Rjimk
i,k=1
g jl l Rjm
j,l=1
m S = m
g ik Rik =
i,k=1
i,k=1
5.46 Proposi
c
ao. Se M n e uma variedade de Einstein conexa e n > 3, ent
ao M tem curvatura escalar
constante.
Prova: Temos
Ric =
S
g,
n
Rij =
S
gij
n
donde
e, portanto,
k Rij =
Logo,
(div Ric)i =
g ij k Rij =
j,k=1
Segue da proposic
ao anterior que
1
gij k S.
n
n
n
1
1
1 kj
g gij k S =
ik k S = k S.
n
n
n
j,k=1
S
S
=
.
2
n
S = 0
k=1
5.7
119
Exerccios
Captulo 6
Campos de Jacobi
Neste captulo estudaremos como a curvatura afeta as geodesicas. Em um ponto p, as geodesicas radiais
partem deste ponto e se irradiam. Veremos que em uma regiao de curvatura positiva as geodesicas convergem,
enquanto que em uma regiao de curvatura negativa as geodesicas se espalham. Este fato tem consequencias
topologicas. Para obte-las, e necessario medir quantitativamente o efeito da curvatura no fluxo geodesico.
6.1
A Equac
ao de Jacobi
(6.1)
(6.2)
Denotaremos
F
(t, 0) .
(6.3)
s
Este campo satisfaz uma equaca
o diferencial, chamada a equac
ao de Jacobi, conforme veremos a seguir.
J (t) =
=R
,
V.
dt ds
ds dt
s t
120
121
V i (t, s) i .
i=1
Entao
DV
D
=
ds
ds
donde
( n
)
i
V i
i=1
V i
i=1
i +
Vi
i=1
D
i ,
ds
n
n
n
n
2V i
V i D
V i D
DD
D DV
=
i +
i +
i +
Vi
i .
dt ds
st
s dt
t ds
dt ds
i=1
i=1
i=1
i=1
Trocando t por s,
n
n
n
n
2V i
V i D
V i D
DD
D DV
=
i +
i +
i +
Vi
i .
ds dt
st
t ds
s dt
ds dt
i=1
i=1
i=1
i=1
Logo,
D DV
D DV
=
Vi
dt ds
ds dt
i=1
n
Escrevendo
DD
DD
dt ds ds dt
)
i .
(
)
F (t, s) = x1 (t, s) , . . . , xn (t, s) ,
de modo que
xj
F
=
j ,
t
t
j=1
n
xk
F
=
k ,
s
s
n
k=1
temos
xk
D
i = xk i =
k i .
k
s
ds
s
n
k=1
Da,
DD
D
i =
dt ds
dt
=
=
=
xk
k=1
2 xk
k=1
n
k=1
n
k=1
st
2 k
)
k i
k i +
x
i +
st k
xk D
(k i )
s dt
k=1
n
k=1
xk
xj (k i )
j
t
s
2 xk
xk xj
k i +
j k i .
st
s t
k,j=1
(6.4)
122
DD
2 xk
xk xj
i =
k i +
j k i
ds dt
ts
t s
k=1
n
k=1
2 k
x
i +
st k
k,j=1
n
k,j=1
xj xk
k j i .
t s
Portanto,
n
n
)
D DV
xk xj (
D DV
=
Vi
j k i k j i
dt ds
ds dt
t
s
i=1
n
j,k=1
n
xk xj
R (k , j ) i
t s
i=1
j,k=1
n
n
n
k
j
x
x
=
k ,
j i
V iR
s
t
i=1
j=1
=
Vi
=R
(
=R
k=1
F F
,
s t
F F
,
s t
)
n
)
V i i
i=1
V.
6.2 Teorema. (Equac
ao de Jacobi) Temos
D2 J
+ R ( (t) , J (t)) (t) = 0.
dt2
(6.5)
D F
= 0.
dt t
Segue do lema anterior e do lema de simetria do Captulo 4 que
(
)
(
)
(
)
D D F
F F F
D D F
=
R
,
0=
ds dt t
dt ds t
s t
t
(
)
(
)
D D F
F F F
=
+R
,
dt dt s
t s
t
(
)
2
D F
F F F
= 2
+R
,
.
dt s
t s
t
6.3 Defini
c
ao. Seja : I M uma geodesica. Qualquer campo vetorial ao longo de que satisfaz a
equacao de Jacobi e chamado um campo de Jacobi ao longo de .
123
J i Ei ,
i=1
temos
d2 J i
D2 J
(t) =
Ei ,
2
dt
dt2
i=1
n
d j
j=1
dt
Ej ,
J k Ek
k=1
d l
l=1
dt
El
d j d l k
J R (Ej , Ek ) El
dt dt
j,k,l=1
n
i
Rjkl
j,k,l=1
d j d l k
J Ei ,
dt dt
d2 J i
i d d
+
Rjkl
Jk = 0
2
dt
dt dt
j,k,l=1
para i = 1, . . . , n. Como o sistema e linear, a existencia e unicidade de solucoes esta garantida em todo o
intervalo I, dadas condic
oes iniciais.
6.5 Exemplo. Existem sempre dois campos de Jacobi triviais ao longo de uma geodesica :
J0 (t) = (t)
(6.6)
DJ0
(0) = 0
dt
J1 (t) = t (t)
DJ1
(0) = (0) .
dt
(6.7)
124
=
=
= 0,
+
t
=
2
dt
dt dt
dt
dt
dt
R ( , J1 ) = R ( , t ) = tR ( , ) = 0.
De fato, J0 e a derivada covariante da superfcie parametrizada F (t, s) = (t + s), enquanto que J1 e
a derivada covariante da superfcie parametrizada F (t, s) = (tes ). Como eles sao apenas reparametrizacoes das geodesicas , eles nao podem dizer mais nada do que a propria .
Devido ao visto no exemplo anterior, consideraremos apenas campos de Jacobi ao longo de normais a .
Nos referiremos a tais campos como campos de Jacobi normais, enquanto que campos de Jacobi ao longo de
paralelos a ser
ao chamados simplesmente campos de Jacobi tangenciais.
6.6 Lema. Seja : I M uma geodesica e t0 I. Ent
ao um campo de Jacobi ao longo de e normal a
se e somente se
DJ
J (t0 ) ,
(t0 ) (t0 ) .
dt
Alem disso, qualquer campo de Jacobi ortogonal a em dois pontos e um campo normal.
Prova: Pela compatibilidade da metrica,
(
)
d2
d
DJ
D
J,
=
,
+
J,
dt2
dt
dt
dt
d DJ
D J
DJ D
=
, =
,
+
,
dt dt
dt2
dt dt
2
D J
=
,
dt2
= R ( , J) ,
= R ( , J, , )
= 0,
DJ
(t0 ) , (t0 ) ,
f (t0 ) =
dt
DJ
segue que f 0 se e somente se J (t0 ) ,
(t0 ) (t0 ). Da mesma forma, se J se anula em dois pontos,
dt
entao f e a func
ao linear nula.
Consequentemente, o subespaco dos campos de Jacobi tangenciais tem dimensao 2, enquanto que o subespaco
dos campos de Jacobi normais tem dimensao 2n 2. Todo campo de Jacobi pode ser decomposto de maneira
u
nica como a soma de um campo de Jacobi tangencial e um campo de Jacobi normal.
6.2
125
C
alculo de Campos de Jacobi
(
)
F
(t, 0) = d expp tv tw
s
e um campo de Jacobi J ao longo da geodesica radial : [0, 1] M dada por (t) = expp (tv) que
satisfaz
J (0) = 0,
DJ
(0) = w.
dt
facil ver que
Prova: Vimos no incio do captulo que J e um campo de Jacobi. E
J (0) = 0.
Para mostrar que
DJ
(0) = w,
dt
calculamos
] D[ (
]
)
)
DJ
D[ (
(t) =
d expp tv tw =
td expp tv w
dt
dt
dt
]
(
)
)
D[ (
= d expp tv w + t
d expp tv w .
dt
Logo,
(
)
DJ
(0) = d expp 0 w = w.
dt
Em coordenadas normais, e facil calcular campos de Jacobi:
(
)
6.8 Lema. Sejam p M , x1 , . . . , xn coordenadas normais centradas em p e : I M uma geodesica
radial partindo de p. Ent
ao, para cada vetor V Tp M , o campo de Jacobi ao longo de tal que
J (0) = 0,
DJ
(0) = V,
dt
e dado por
J (t) = tV i
.
xi
126
n
n
k
i
dJ
d
DJ
(0) =
(0) +
(0) kij (0) J j (0) k (0)
dt
dt
dt
x
i,j=1
k=1
=
=
dJ k
k=1
n
k=1
dt
Vk
(0)
(0)
xk
(0)
xk
= V.
Pelo teorema de existencia e unicidade, basta provar que J e um campo de Jacobi. Se W = (0), como
e uma geodesica radial, ela e dada por
(t) = exp (tW ) ;
em coordenadas, podemos escrever simplesmente (t) = tW . Defina a superfcie parametrizada
F (t, s) = exp (t (W + sV )) ;
em coordenadas, podemos escrever simplesmente F (t, s) = t (W + sV ). Observe que v (s) = W +sV satisfaz
v (0) = W e v (0) = V . Segue do lema anterior que
F
(t, 0)
s
e um campo de Jacobi. Mas,
F
(t, 0) = tV i i ,
s
x
o que termina a demonstrac
ao.
Para metricas com curvatura seccional constante, temos uma formula explcita para campos de Jacobi de
um tipo diferente, expressando um campo de Jacobi como o m
ultiplo escalar de um campo vetorial paralelo.
6.9 Lema. Seja M uma variedade riemanniana com curvatura seccional constante K e : I M uma
geodesica unit
aria. Os campos de Jacobi normais ao longo de que se anulam em t = 0 s
ao dados
por
J (t) = (t) E (t) ,
onde E e um campo paralelo normal ao longo de e
t
se K = 0,
t
1
R sen
se K = 2 > 0,
(t) =
R
R
1
t
R senh
se K = 2 < 0.
R
R
Prova: Como M tem curvatura seccional constante K, seu endomorfismo curvatura e dado por
R (X, Y ) Z = K [X, Z Y Y, Z X] ,
conforme vimos no captulo anterior. Logo, como = 1, se J e um campo de Jacobi normal temos que
R ( , J) = K [ , J , J ] = KJ.
127
Portanto, a equac
ao de Jacobi para um campo normal de Jacobi ao longo de uma geodesica unitaria em uma
variedade com curvatura seccional constante K e
D2 J
+ KJ = 0.
dt2
Escolhendo um campo vetorial paralelo normal E (t) ao longo de e substituindo J (t) = (t) E (t) na
equacao de Jacobi podemos obter uma solucao para esta equacao para quaisquer condicoes iniciais; pelo
teorema de existencia e unicidade ela e a u
nica solucao para a equacao. De fato, temos
)
(
)
(
D D (E)
D d
DE
D2 (E)
D d
=
=
E
+
E
=
dt2
dt dt
dt dt
dt
dt dt
2
d
d DE
= 2E+
dt
dt dt
d2
= 2 E,
dt
logo, substituindo J (t) = (t) E (t) na equacao de Jacobi produz
( 2
)
d
+
K
E=0
dt2
e a equacao linear de segunda ordem
d2
+ K = 0
dt2
tem as solucoes dadas no enunciado para as condicoes iniciais (0) = 0 e (0) = 1.
Combinando as formulas destes dois lemas, obtemos nossa primeira aplicacao dos campos de Jacobi: uma
formula explcita para metricas de curvatura constante em coordenadas normais:
6.10 Proposi
ao. Seja )(M, g) uma variedade riemanniana com curvatura seccional constante K. Sejam
(c
p M , x1 , . . . , xn coordenadas normais centradas em p e r a func
ao dist
ancia radial. Denote por
g a norma de um vetor tangente na metrica g e por e a norma euclidiana de um vetor tangente
nestas coordenadas. Para cada q nesta vizinhanca normal de p e para cada V Tq M escreva
V = V + V ,
onde V e tangente `
a esfera
g pode ser escrita
V g =
se K = 0,
se K =
1
> 0,
R2
se K =
1
< 0.
R2
128
Falta apenas calcular
V
g .
Considere a geodesica radial unitaria de p a q. Pelo Lema 6.8, o campo
J (t) =
t ( )i
V
r
xi
e um campo de Jacobi J (t) que se anula em p e tal que J (r) = V . Em particular, J e normal a em p e
q e portanto J e normal ao longo de . Logo, J possui a representacao dada no lema anterior. Segue que
2
2
V
= J (r)2 = | (r)|2 E (r)2 = | (r)|2 E (0)2 = | (r)|2
DJ (0)
,
dt
g
ja que (0) = 1. Mas
DJ
1 ( )i
(0) =
V
.
dt
r
xi p
e = exppe : B (0) B (e
p) .
f
Como as metricas na bola B (0) Rn , onde identificamos Rn com ambos os espacos tangentes Tp M e TpeM
sao identicas pela proposic
ao anterior, segue que
e e uma isometria.
6.3
t0
r (t)
= 0,
tk
( )
r (t) = o tk .
6.12 Lema. Sejam p M e : I M a geodesica radial partindo de p com velocidade inicial (0) = V .
Seja W Tp M com W = 1 e considere o campo de Jacobi J tal que
J (0) = 0,
DJ
(0) = W.
dt
Ent
ao
( )
1
2
J (t) = t2 R (V, W, V, W ) + o t4 .
3
129
( )
1
J (t) = t K (V, W ) t3 + o t3 .
6
e, em geral,
Dk J
(t) .
dtk
Para provar o resultado, aplicaremos a formula de Taylor `a funcao real f : I R definida por
J (k) (t) =
e
2
f (0) = J (0) = 0,
f (0) = 2 J (0) , J (0) = 0,
f (0) = 2 J (0) + 2 J (0) , J (0) = 2 J (0) = 2.
2
Como
f (t) = 2 J (t) , J (t) + 2 J (t) , J (t) + 2 J (t) , J (t) + 2 J (t) , J (t)
= 6 J (t) , J (t) + 2 J (t) , J (t)
e
segue que
f (4) (t) = 6 J (t) , J (t) + 6 J (t) , J (t) + 2 J (t) , J (t) + 2 J (t) , J (4) (t)
2
= 6 J (t) + 8 J (t) , J (t) + 2 J (t) , J (4) (t) ,
de modo que
130
Mas
Afirmamos que
D
J (t)
(0) , W =
,W
dt
t=0
=
R ( (t) , J (t)) (t)
,W .
dt
t=0
, W = R (V, W, V, W ) .
R ( (t) , J (t)) (t)
dt
t=0
De fato, como
R ( (t) , J (t)) (t) , J (t) = R ( (t) , J (t) , (t) , J (t))
= R ( (t) , J (t) , (t) , J (t))
= R ( (t) , J (t)) (t) , J (t) ,
segue que
d
d
R ( (t) , J (t)) (t) , J (t) =
R ( (t) , J (t)) (t) , J (t) ,
dt
dt
donde
D
R ( (t) , J (t)) (t) , J (t) + R ( (t) , J (t)) (t) , J (t)
dt
D
=
R ( (t) , J (t)) (t) , J (t) + R ( (t) , J (t)) (t) , J (t) .
dt
R ( (t) , J (t)) (t)
, W = R (V, W ) V, W = R (V, W, V, W ) .
dt
t=0
Consequentemente,
f (4) (0) = 8R (V, W, V, W ) .
Segue portanto da formula de Taylor que
( )
1
f (t) = t2 R (V, W, V, W ) + o t4 .
3
Quando, V = W = 1, temos R (V, W, V, W ) = K (V, W ) e portanto
( )
1
f (t) = t2 K (V, W ) + o t4 .
3
Para provar a u
ltima expressao do enunciado, seja
g (t) = J (t) =
f (t).
131
Da
g (0) = 0,
f (0) = 2 [g (0)] + 2g (0) g (0) = 2 = 2 [g (0)] + 0
= g (0) = 1,
2
= g (0) = K (V, W ) .
Segue da formula de Taylor que
( )
1
g (t) = t K (V, W ) t3 + o t3 .
6
Este resultado produz a relac
ao entre a aproximacao ou espalhamento das geodesica em um ponto de acordo
com a curvatura seccional neste ponto. De fato, considere
F (t, s) = expp (tv (s)) ,
onde v (s) e uma curva de Tp M com v (0) = v, v (0) = w e v (s) = w = 1. Considere os raios partindo
da origem, eles se afastam do raio tv com velocidade absoluta
tv (s)
= tv (0) = t w = t.
s
(t,s)=(0,s)
Agora considere as geodesicas radiais Fs (t) partindo de p. Como
(
)
F
J (t) = d expp tv tw =
(t, 0)
s
e um campo de Jacobi que satisfaz
J (0) = 0,
DJ
(0) = w,
dt
ele satisfaz as hip
oteses do enunciado do lema e portanto
F
( )
= t 1 K (V, W ) t3 + o t3 .
(t,
0)
s
6
Isso significa que as geodesicas radiais Fs (t) se afastam da geodesica radial F0 (t) = expp (tv) com velocidade
que difere de t por uma termo de terceira ordem cujo sinal e o oposto do sinal da curvatura seccional da
variedade em p associada ao plano gerado por v e w. Isso significa que se Kp () > 0 as geodesicas se
afastam menos que os raios do espaco tangente Tp M , enquanto que se Kp () < 0 as geodesicas se afastam
mais que os raios do espaco tangente Tp M .
6.4
Pontos Conjugados
Agora vamos estudar as singularidades da aplicacao exponencial atraves dos campos de Jacobi. A existencia
de uma tal relac
ao e sugerida pelo Lema 6.7 e pode ser vista de maneira concreta na esfera SnR . Todas as
132
geodesicas que saem de um ponto p se encontram no seu ponto antipodal p, que esta a uma distancia R
de p ao longo de qualquer uma destas geodesicas. A aplicacao exponencial e um difeomorfismo sobre a bola
geodesica BR (0) Tp M mas deixa de ser um difeomorfismo na fronteira da bola. E pelo Lema 6.9, os
campos de Jacobi normais ao longo destas geodesicas que se anulam em p tem o seu proximo zero exatamente
em p. Por outro lado, o Lema 6.8 mostra que em uma vizinhanca normal (ou seja uma vizinhanca que e a
imagem de um conjunto onde expp e um difeomorfismo) nenhum campo de Jacobi que se anula em p pode se
anular em qualquer ponto da vizinhanca. Assim deve se esperar existir uma relacao entre as singularidades
da aplicacao exponencial e os zeros de um campo de Jacobi.
6.13 Defini
c
ao. Seja : I M uma geodesica. Dizemos que o ponto q = (t0 ) e conjugado a p = (0)
ao longo de se existe um campo de Jacobi J ao longo de nao identicamente nulo que se anula em
p e q, isto e, tal que
J (0) = J (t0 ) = 0.
A multiplicidade do ponto conjugado q e a dimensao do subespaco dos campos de Jacobi que se
anulam em p e q.
Pelo teorema de existencia e unicidade, a dimensao do espaco dos campos de Jacobi que se anulam em p e
n; como o campo de Jacobi J (t) = t (t) so se anula em p, a multiplicidade de um ponto conjugado e no
maximo n 1. Este n
umero e atingido na esfera pelo Lema 6.9, ja que para pontos antipodais existe um
campo de Jacobi que anula neles para cada campo paralelo normal.
ao expp e um difeomorfismo local em uma
6.14 Proposi
c
ao. Sejam p M , v Tp M e q = expp (v). Ent
vizinhanca de v se e somente se q n
ao e conjugado a p ao longo da geodesica (t) = expp (tv).
(
)
Alem disso, a multiplicidade de q e igual a dim ker d expp v .
Prova: Como vimos no Lema 6.7, todo campo de Jacobi ao longo de tal que J (0) = 0 e da forma
(
)
J (t) = d expp tv tw.
para algum vetor w Tp M e J (0) = w. Portanto, q e conjugado a p se e somente se
(
)
J (1) = d expp v w = 0,
isto e, se e somente se w e ponto crtico de expp . Como os campos de Jacobi J1 , . . . , Jk sao linearmente
independentes que se anulam em p se e somente se
J1 (0) = w1 , . . . , Jk (0) = wk
sao linearmente independentes em Tp M , isso conclui a demonstracao.
6.5
Exerccios
Captulo 7
Imers
oes Isom
etricas e Subvariedades
Riemannianas
(
)
Seja M , g uma variedade riemanniana de dimensao m = n + k. Se M e uma variedade diferenciavel com
dimensao n, existe uma imersao
: M M
e M(e dotada
da metrica induzida por esta imersao, entao dizemos que e uma imersao isometrica de (M, g)
)
em M , g . Se M e compacta, uma imersao injetiva e um mergulho (isto e, M e difeomorfa `a sua imagem
em M ). Caso contr
ario, se M n
ao for compacta mesmo uma imersao injetiva de M em M pode produzir
uma imagem que n
ao e uma subvariedade topologica de M .
(
)
7.1 Defini
c
ao. Seja M , g uma variedade riemanniana de dimensao m = n + k. Se M e uma variedade
diferenci
avel com dimensao n e existe um mergulho
: M M
entao (M, g) onde g e a metrica induzida por esta imersao e chamada uma subvariedade riemanniana
de M .
Nash [Nash] provou em 1956 que toda variedade riemanniana M n e uma subvariedade riemanniana de RN .
O resultado foi bastante simplificado e melhorado por G
unther [Gunther] em 1989. Ele mostrou que a menor
dimensao N satisfaz:
{
}
n (n + 5) n2 + 3n + 10
N 6 max
,
.
2
2
Nao se sabe se esta e a menor dimensao possvel. Para uma demonstracao destes resultados veja [HH], pp.
1-31.
Em ambos os casos em que e um mergulho ou apenas uma imersao injetiva (uma imersao isometrica),
dizemos que M e a variedade ambiente de M . Para imersoes isometricas, cada ponto de M possui uma
vizinhanca V cuja imagem V = (V ) sob a imersao isometrica e uma subvariedade riemanniana de M (ja
que toda imersao e localmente um mergulho). Para simplificar a notacao, identificaremos V com V , pontos
p V com p = (p) e os vetores v Tp M com os vetores dp (v) Tp M . A conexao, derivadas covariantes
e curvaturas de M serao denotadas da forma usual, enquanto que os correspondentes conceitos referentes a
M serao denotados com uma barra em cima.
(
)
7.2 Defini
c
ao. Sejam (M, g) uma variedade riemanniana e M , g sua variedade ambiente. Para cada
p M o produto interno em Tp M decompoe este espaco na soma direta
Tp M = Tp M Tp M
133
134
(7.1)
onde X, Y s
ao quaisquer extens
oes locais de X, Y a M , define a conex
ao riemanniana associada `
a
metrica induzida de M .
Prova: Exerccio 7.1.
7.1
(
)
X Y
= X Y X Y N (M ) .
(
)
7.4 Defini
c
ao. Sejam (M, g) uma variedade riemanniana e M , g sua variedade ambiente. A segunda
forma fundamental de M e a aplicacao
II : X (M ) X (M ) N (M )
definida por
)
(
II (X, Y ) = X Y
,
(7.2)
onde X, Y s
ao quaisquer extens
oes locais de X, Y a M .
Observe que a segunda forma fundamental e uma medida da diferenca entre a conexao riemanniana intrnseca
de M e a conexao riemanniana ambiente de M .
7.5 Proposi
c
ao. A segunda forma fundamental est
a bem definida e e uma aplicac
ao bilinear simetrica sobre
C (M ).
e e outra extensao de
Prova: De fato, a segunda forma fundamental nao depende das extensoes X, Y : se X
X a M , entao
(
X Y
(
) (
) (
)
Xe Y
= X Y X Y Xe Y X Y
= X Y Xe Y
= XXe Y
135
(
)
e = 0 em M ; usando o provado, se Ye e outra extensao de Y a M ,
e XXe Y
= 0 para p M , pois X X
p
entao
) (
)
(
) (
) (
X Y
X Ye
= X Y X Y X Ye X Y
= X Y X Ye
(
)
=
Y Ye
X
=0
pois Y Ye = 0 ao longo de uma curva tangente a Xp que podemos escolher inteiramente contida em M .
Para provar a bilinearidade de II, usando a linearidade da conexao, temos
) (
)
(
II (X + Z, Y ) = X+Z Y
= X+Z Y
= X+Z Y X+Z Y = X Y + Z Y X Y Z Y
= X Y X Y + Z Y Z Y
= II (X, Y ) + II (Z, Y ) ,
)
(
= f X Y f X Y = f X Y f X Y
II (f X, Y ) = f X Y
= f II (X, Y ) ,
e
(
)
II (X, f Y ) = X f Y
= X f Y X f Y
(
)
= f X Y + Xf Y f X Y (Xf ) Y
= f X Y f X Y
= f II (X, Y ) ,
pois f = f , Xf = Xf e Y = Y em M .
A simetria de II segue da simetria da conexao riemanniana. Temos
(
) (
)
II (X, Y ) II (Y, X) = X Y
Y X
(
) (
)
= X Y X Y Y X Y X
(
)
= X Y Y X (X Y Y X)
[
]
= X, Y [X, Y ] .
[
]
Como X, Y = [X, Y ] em M , segue que
II (X, Y ) = II (Y, X) .
Como a segunda forma fundamental e bilinear sobre C (M ), exprimindo II em um sistema de coordenadas
vemos que o valor de II (X, Y ) depende apenas de Xp e Yp .
7.2
Equac
oes Fundamentais de uma Imers
ao Isom
etrica
Embora a segunda forma fundamental seja definida em termos de derivadas covariantes de campos vetoriais
tangentes a M , ela tambem pode ser usada para calcular derivadas covariantes de campos vetoriais normais
a M:
136
7.6 Proposi
c
ao. (Equac
ao de Weingarten) Sejam X, Y X (M ) e N N (M ). Ent
ao, em M vale
X N , Y = N, II (X, Y ) ,
(7.3)
onde X, Y , N s
ao quaisquer extens
oes locais de X, Y, N a M .
X N , Y = 0.
Mas, em M ,
X N , Y = X N , Y + N , X Y
= X N , Y + N , II (X, Y ) + X Y
= X N , Y + N , II (X, Y ) + N , X Y
= X N , Y + N , II (X, Y ) ,
pois X Y e tangente a M .
A segunda forma fundamental desempenha um papel importante na descricao da diferenca entre os
tensores curvatura de M e M :
ao de Gauss) Para todos X, Y, Z, W Tp M vale
7.7 Proposi
c
ao. (Equac
R (X, Y, Z, W ) = R (X, Y, Z, W ) + II (X, W ) , II (Y, Z) II (X, Z) , II (Y, W ) .
(7.4)
= Y X Z X Y Z + [X,Y ] Z, W
+ [X,Y ] Z + II ([X, Y ] , Z) , W
= Y X Z, W + Y II (X, Z) , W X Y Z, W X II (Y, Z) , W
+ [X,Y ] Z, W ,
ja que a segunda forma fundamental II ([X, Y ] , Z) e normal a M enquanto que W e tangente a M . Pela
equacao de Weingarten,
Y X Z, W = Y X Z, W ,
X Y Z, W = X Y Z, W .
137
Portanto,
R (X, Y, Z, W ) = Y X Z, W X Y Z, W + [X,Y ] Z, W
II (X, Z) , II (Y, W ) + II (Y, Z) , II (X, W )
= R (X, Y, Z, W ) + II (X, W ) , II (Y, Z) II (X, Z) , II (Y, W ) .
7.8 Corol
ario. Se p M e X, Y Tp M s
ao vetores ortonormais, vale
2
(7.5)
7.3
Hiperfcies
7.9 Defini
c
ao. Seja p M e N Tp M . A forma bilinear simetrica
HN : Tp M Tp M R
definida por
HN (X, Y ) = II (X, Y ) , N
(7.6)
(7.7)
)
(
SN (X) = X N ,
(7.8)
onde X, N s
ao quaisquer extens
oes locais de X, N a M com N normal a M .
Prova: Segue imediatamente da equac
ao de Weingarten.
O caso particular em que a codimensao de M e 1 merece atencao especial.
7.11 Defini
c
ao. Se a codimensao da imersao isometrica : M M e 1, dizemos que M e uma hiperfcie.
138
(7.9)
i X i Y i .
i=1
Prova: Como
H (Ei , Ei ) = S (Ei ) , Ei = i Ei , Ei = i Ei , Ei = i ,
H (Ei , Ej ) = S (Ei ) , Ej = i Ei , Ej = i Ei , Ej = 0,
e como
H (X, Y ) = II (X, Y ) , N = II (X, Y ) N, N = II (X, Y ) N, N
= II (X, Y ) ,
segue do Corolario 7.8 que
K (Ei , Ej ) = K (Ei , Ej ) II (Ei , Ei ) , II (Ej , Ej )
= K (Ei , Ej ) II (Ei , Ei ) II (Ej , Ej ) N, N
= K (Ei , Ej ) i j .
A expressao para a segunda forma fundamental de M segue imediatamente por bilinearidade e ortonormalidade.
7.13 Defini
c
ao. Se M e uma hiperfcie, definimos a curvatura de Gauss de M por
= det S = 1 . . . n
e a curvatura m
edia de M por
h=
1
1 + . . . + n
tr S =
.
n
n
139
7.4
Imers
oes Totalmente Geod
esicas
7.15 Defini
c
ao. Se M e uma variedade riemanniana e : I M e uma curva diferenciavel unitaria,
definimos a curvatura de em (s) por
D
(s)
(s) =
.
dt
Se M = Rn , esta definic
ao coincide com o conceito classico de curvatura. Note que e uma geodesica se e
somente se a curvatura de e identicamente nula.
Se : M M e uma imersao isometrica injetiva, entao uma curva : I M possui duas curvaturas
e ; em particular, geodesicas de M nao sao necessariamente geodesicas de M . A relacao entre as curvaturas
e dada pela segunda forma fundamental.
(
)
7.16 Lema. (F
ormula de Gauss ao longo de uma curva) Sejam (M, g) uma variedade riemanniana e M , g
sua variedade ambiente. Se : I M e uma curva diferenci
avel, para qualquer campo vetorial V
tangente a vale
DV
DV
=
+ II ( , V ) .
dt
dt
No caso especial em que V = , obtemos a seguinte f
ormula para a acelerac
ao de uma curva em M :
D
D
=
+ II ( , ) .
dt
dt
Em particular, se tem velocidade unit
aria,
(s) = (s) + II ( , ) .
Prova: Seja {E1 , . . . , En } um referencial ortonormal ao longo de . Escrevendo
V (t) =
i=1
V i (t) Ei (t) ,
140
segue que
n
n
DV
dV i
DEi
=
(t) Ei (t) +
V i (t)
(t)
dt
dt
dt
i=1
i=1
dV i
i=1
dV i
i=1
dt
dt
dV i
i=1
dt
(t) Ei (t) +
V i (t) Ei (t)
i=1
(t) Ei (t) +
V i (t) Ei (t) +
i=1
(t) Ei (t) +
i=1
V i (t) II ( , Ei )
i=1
V i (t)
DEi
(t) + II ( , V )
dt
DV
=
+ II ( , V ) .
dt
Assim, obtemos a seguinte interpretac
ao geometrica para a segunda forma fundamental: para cada vetor
V Tp M , II (V, V ) e a acelerac
ao com relacao `a metrica de M em p da geodesica radial em M partindo de
p; se V e unitario, II (V, V ) e a curvatura com relacao `a metrica de M em p da geodesica radial em M
partindo de p.
7.17 Defini
c
ao. Dizemos que uma imersao isometrica : M M e totalmente geod
esica se toda
geodesica de M e uma geodesica de M .
7.18 Proposi
c
ao. : M M e totalmente geodesica se e somente se a segunda forma fundamental de
M e identicamente nula.
Prova: Como as geodesicas sao caracterizadas como sendo curvas de curvatura nula, segue do lema anterior
que uma geodesica radial : I M partindo de p M com velocidade V = (0) e tambem uma
geodesica de M , se e somente se II (V, V ) = 0. Como para cada V Tp M existe uma tal geodesica em
M , segue que : M M e totalmente geodesica se e somente se II (V, V ) = 0 para todo vetor unitario
V Tp M . Mas para uma forma bilinear simetrica, isto implica que II 0 em Tp M , pois
II (V, W ) =
1
(II (V + W, V + W ) II (V W, V W )) .
4
7.5
Exerccios
1
D
1
D
(t)
(t)
,
(t)
.
(t) =
2
3
dt
(t) dt
(t)
7.3 Exerccios do Captulo 6 de [Carmo].
Captulo 8
F
ormulas de Varia
c
ao
Como geodesica minimizam distancias, elas podem ser caracterizadas como mnimos do funcional comprimento no espaco das curvas diferenciaveis, ou seja, solucoes de um problema variacional. Ao inves de lidar
com espacos de func
oes, no entanto, nos nos restringiremos a considerar variacoes de curvas, o que simplificara
bastante a maquinaria necessaria.
8.1 Defini
c
ao. Seja : [a, b] M uma curva diferenciavel por partes. Uma varia
c
ao de e uma
aplicacao
F : (, ) [a, b] M
tal que
(i) F (0, t) = (t) ;
(ii) existe uma partic
ao de [a, b] por pontos
a = t0 < t1 < . . . < tk < tk+1 = b
tal que F |(,)[ti ,ti+1 ] e diferenciavel para i = 0, . . . , k.
Para cada s fixado, a curva Fs (t) = F (s, t) : [a, b] M e chamada uma curva principal da
varia
c
ao. Dizemos que uma variac
ao tem extremidades fixas ou e uma varia
c
ao pr
opria se as
curvas da variac
ao possuem o mesmo ponto inicial e final, isto e, Fs (a) = (a) e Fs (b) = (b) para
todo s. Para cada t fixado, a curva Ft (s) = F (s, t) : (, ) M e chamada uma curva transversal
da varia
c
ao.
Um campo vetorial ao longo de F e uma aplicacao V : (, ) [a, b] T M tal que V (s, t)
TF (s,t) M para cada (s, t) e V |(,)[ti ,ti+1 ] e diferenciavel para i = 0, . . . , k. Se F e uma variacao de
, entao o campo de varia
c
ao de F e o campo vetorial ao longo de
V (t) =
F
(0, t) .
s
Um campo de variac
ao e pr
oprio se V (a) = V (b) = 0; claramente, o campo de variacao de uma
variacao propria e proprio.
Observe que se a curva e diferenciavel por partes e deixa de ser diferenciavel nos pontos t1 , . . . , tk , entao
por definicao as curvas principais da variacao Fs (t) : [a, b] M tambem sao em geral apenas diferenciaveis
por partes para cada s e podem deixar de ser diferenciaveis nos pontos t1 , . . . , tk . Ao contrario, as curvas
transversais da variac
ao Ft (s) : (, ) M sao diferenciaveis (suaves) em todo ponto para todo t,
inclusive para t = t1 , . . . , tk , de modo que o campo de variacao de F esta definido tambem nestes pontos.
141
142
8.2 Proposi
c
ao. Dado um campo vetorial diferenci
avel por partes V (t) ao longo de uma curva diferenci
avel
por partes : [a, b] M , existe uma variac
ao F de tal que V e o campo variacional de F .
Alem disso, se V e pr
oprio, ent
ao podemos escolher tambem F pr
opria.
Prova: Basta definir
F (s, t) = exp(t) (sV (t)) .
Como ([a, b]) e compacto, podemos cobri-lo por um n
umero finito de vizinhancas uniformemente normais,
assegurando que exp(t) esta definida para todo W T(t) M tal que W < para algum > 0; logo, existe
> 0 tal que exp(t) (sV (t)) esta definida para todo |s| < . Alem disso, temos
F (0, t) = exp(t) (0) = (t)
(
)
F
(0, t) =
exp(t) (sV (t))
= d exp(t) V (t) = V (t) .
s
s
0
s=0
8.1
F
ormula da Primeira Varia
c
ao
Para comparar o comprimento de com os comprimentos das curvas vizinhas de uma variacao de introduziremos o funcional comprimento de arco:
8.3 Defini
c
ao. Sejam : [a, b] M uma curva diferenciavel por partes e F : (, ) [a, b] M uma
variacao de . Definimos o funcional comprimento de arco de F
L : (, ) R
por
L (s) =
a
F
t (s, t)
dt.
Denotamos tambem
L () = L (0) =
(t) dt.
Do ponto de vista computacional, e mais conveniente em geral usar o funcional energia:
8.4 Defini
c
ao. Sejam : [a, b] M uma curva diferenciavel por partes e F : (, ) [a, b] M uma
variacao de . Definimos o funcional energia de F
E : (, ) R
por
E (s) =
a
2
F
t (s, t)
dt.
143
Denotamos tambem
E () = E (0) =
(t) dt.
2
8.5 Proposi
c
ao. Se : [a, b] M e uma curva diferenci
avel por partes, ent
ao
2
[L ()] 6 (b a) E () .
Prova: Basta tomar f = 1 e g = (t) na desigualdade de Schwarz:
(
)2
f g dt
g 2 dt.
f dt
a
8.6 Lema. Sejam p, q M e : [a, b] M uma geodesica minimizante ligando p a q. Ent
ao, para toda
curva diferenci
avel por partes : [a, b] M ligando p a q, vale
E () 6 E () ,
com a igualdade E () = E () valendo se e somente se e uma geodesica minimizante e portanto ela
e diferencavel. Em particular,
dE
(0) = 0.
ds
Prova: Temos
2
(b a) E () 6 [L ()] 6 [L ()] 6 (b a) E () ,
donde segue o resultado. Tambem desta desigualdade segue que se E () = E () entao L () = L ()
tambem, o que implica que e uma geodesica, como vimos no Captulo 4. A recproca e obvia.
Denotaremos
( )
t+
0 = lim (t) ,
tt+
0
( )
t
0 = lim (t) .
tt0
b
a
D
V (t) ,
(t) dt
dt
( )
( )
V (ti ) , t+
t
.
i
i
i=1
E (s) =
a
k ti+1
F
F
F
F
(s, t) ,
(s, t) dt =
(s, t) ,
(s, t) dt.
t
t
t
t
i=0 ti
144
d F F
,
dt
ds t t
ti
k ti+1
D F F
,
=2
dt
ds t t
i=0 ti
k ti+1
D F F
=2
,
dt
dt s t
i=0 ti
k ti+1
k ti+1
d F F
F D F
,
,
=2
dt 2
dt
dt s t
s dt t
i=0 ti
i=0 ti
t=t
k ti+1
k
F D F
F F i+1
,
2
,
=2
dt.
s t t=ti
s dt t
i=0 ti
i=0
dE
(s) =
ds
i=0
k
ti+1
Da,
t=ti+1
k ti+1
F
D F
F
F
(0, t) ,
(0, t)
(0, t) ,
(0, t) dt
s
t
s
dt t
t=ti
i=0 ti
k
k ti+1
D
t
=
V (t) , (t)|ti+1
V
(t)
,
(t)
dt
i
dt
i=0
i=0 ti
b
k
D
t
=
V (t) , (t)|ti+1
V
(t)
,
(t)
dt.
i
dt
a
i=0
1 dE
(0) =
2 ds
i=0
k
Como
k
V (t) , (t)|ti+1
i
t
i=0
( )
= V (t1 ) , t
V (a) , (a)
1
(
)
( )
( )
(
)
+ V (t2 ) , t
V (t1 ) , t+
+ . . . + V (tk ) , t
V (tk1 ) , t+
2
1
k
k1
( )
+ V (b) , (b) V (tk ) , t+
k
= V (b) , (b) V (a) , (a)
( )
( )
V (ti ) , t+
t
,
i
i
i=1
145
logo
dE
(0) = 2 V (b) , (b) V (a) , (a) = 0
ds
porque V (a) = V (b) = 0 ja que V e propria.
dE
Reciprocamente, suponha que
(0) = 0 para toda variacao propria de . Seja f : [a, b] R uma
ds
funcao diferenciavel por partes satisfazendo
f (ti ) = 0,
f (t) > 0 se t = ti ,
para i = 0, . . . , k + 1. Defina
D
(t)
dt
e construa uma variaca
o propria F de tal que V e o campo variacional proprio de F (Proposicao 8.2).
Entao
b
b
D
2
D
1 dE
D
f (t)
f (t)
0=
(0) =
(t) ,
(t) dt =
(t)
dt,
2 ds
dt
dt
dt
V (t) = f (t)
de modo que
D
=0
dt
se t = t1 , . . . , tk ,
se t =
t1 , . . . , t k ,
D
= 0 nos
dt
k
k
( )
( )
( )
( )
2
1 dE
,
(0) =
V (ti ) , t+
t
=
g (ti )
t+
t
i
i
i
i
2 ds
i=1
i=1
( )
( )
t+
= t
= (ti ) ,
i
i
D
(ti ) = 0 para todo i. Consequenou seja, e uma curva diferenciavel, pelo menos de classe C 1 . Logo
dt
temente, satisfaz a equac
ao geodesica. Por unicidade de solucoes, e de classe C e e portanto uma
geodesica.
Assim, geodesica sao caracterizadas como pontos crticos da funcao energia de variacoes proprias, logo sao
solucoes de um problema variacional.
Podemos tambem caracterizar as geodesicas como pontos crticos da funcao comprimento de arco, o que
e mais natural. Apenas alguns detalhes tecnicos adicionais sao necessarios, tais como considerar curvas com
velocidade unitaria por partes (e nos referimos `a observacao apos a demonstracao da Proposicao 8.2. A
formula da primeira variac
ao do comprimento de arco a seguir pode ser usada para produzir uma demonstracao alternativa de que curvas que minimizam o comprimento sao geodesicas e mostrar que geodesicas sao
pontos crticos do funcional comprimento de arco (veja [Lee 2], Teorema 6.6 e Corolario 6.7).
146
8.9 Teorema. (Formula da Primeira Variacao do Comprimento de Arco) Sejam : [a, b] M uma curva
unit
aria diferenci
avel por partes, F : (, ) [a, b] M uma variac
ao regular de e V (t) o campo
variacional de F . Ent
ao
b
dL
D
V (t) ,
(0) = V (b) , (b) V (a) , (a)
(t) dt
ds
dt
a
( )
( )
V (ti ) , t+
t
.
i
i
i=1
Prova: Temos
L (s) =
a
F
F
(s, t) ,
(s, t)
t
t
1/2
dt =
i=0
ti+1
ti
1/2
F
F
dt.
(s, t) ,
(s, t)
t
t
1/2
d F F
,
dt
ds t t
ti
1/2
k ti+1
D F F
1 F F
=
,
2
,
dt
2 t t
ds t t
i=0 ti
k ti+1
F
1 D F F
=
,
dt
t
dt s t
i=0 ti
k ti+1
k ti+1
F
1 d F F
F
1 F D F
=
,
dt
t
dt s , t dt
t
s dt t
i=0 ti
i=0 ti
k
k ti+1
F
1 F F t=ti+1
F
1 F D F
=
,
,
dt.
t
t
s t t=ti
s dt t
i=0
i=0 ti
dL
(s) =
ds
i=0
k
Da, como
ti+1
F
= (t) = 1,
(0,
t)
t
1
t=ti+1
k
F
dL
F
F
(0) =
(0,
t)
(0,
t)
,
(0,
t)
ds
t
s
t
t=ti
i=0
k
1
t
i+1
F
F
D F
(0,
t)
(0,
t)
,
(0,
t)
dt
t
s
dt t
i=0 ti
k
k ti+1
D
ti+1
V (t) ,
=
V (t) , (t)|ti
(t) dt
dt
i=0
i=0 ti
b
k
D
ti+1
=
V (t) , (t)|ti
V (t) ,
(t) dt.
dt
a
i=0
8.2
147
F
ormula da Segunda Varia
c
ao
Como uma geodesica e um ponto de mnimo para o funcional energia ou funcional comprimento de arco, sua
derivada primeira e zero, como vimos na secao anterior. Em particular, qualquer informacao sobre a energia
de curvas vizinhas e dada pela derivada segunda. Esta informacao sera usada na proxima secao para obter
o comportamento das geodesicas quando elas passam por um ponto conjugado.
8.10 Teorema. (Formula da Segunda Variacao da Energia) Sejam : [a, b] M uma geodesica, F :
(, ) [a, b] M uma variac
ao pr
opria de e V (t) o campo variacional de F . Ent
ao
k
b
1 d2 E
DV ( + ) DV ( )
D2 V
t
t
> 0.
(0) =
(t) + R ( (t) , V (t)) (t) dt
V (ti ) ,
V (t) ,
2 ds2
dt2
dt i
dt i
a
i=1
Prova: Na demonstrac
ao da formula da primeira variacao vimos que
t=ti+1
k ti+1
k
1 dE
F
D F
F
F
(s) =
(s, t) ,
(s, t)
(s, t) ,
(s, t) dt.
2 ds
s
t
s
dt t
t=ti
i=0 ti
i=0
Logo,
t=t
k
k
1 dE
d F F i+1 ti+1 d F D F
(s) =
,
,
dt
2 ds
ds s t t=ti
ds s dt t
i=0
i=0 ti
t=t
t=t
k
k
D F F i+1 F D F i+1
=
,
,
+
ds s t t=ti
s ds t t=ti
i=0
i=0
k ti+1
k ti+1
F D D F
D F D F
,
dt
,
dt.
ds s dt t
s ds dt t
i=0 ti
i=0 ti
O primeiro termo e nulo:
t=ti+1
k
D F
F
(0, t) ,
(0, t)
= 0.
ds s
t
t=ti
i=0
D F
e suave, logo
ds s
D F
(0, ti )
ds s
esta definida e todos os termos da soma se anulam. Usando o Lema de Simetria temos que o segundo termo
em s = 0 e
t=ti+1
t=ti+1
k
k
F
D F
D F
(0, t) ,
(0, t)
(0, t)
=
V (t) ,
s
ds t
dt s
i=0
t=ti
i=0
t=ti
t=ti+1
DV
(t)
=
V (t) ,
dt
t=ti
i=0
DV ( + ) DV ( )
,
t
t
=
V (ti ) ,
dt i
dt i
i=1
k
148
pois a variacao e propria logo seu campo de variacao tambem e proprio e V (a) = V (b) = 0. O terceiro
termo tambem e nulo em s = 0, porque e uma geodesica:
D F
D F
D F
D
(0, t) ,
(0, t) =
(0, t) , (t) = 0
ds s
dt t
ds s
dt
Para o quarto termo, usando o Lema 6.1 e o Lema da Simetria obtemos
(
)
D D F
D D F
F F F
=
+R
,
ds dt t
dt ds t
t s
t
(
)
D D F
F F F
=
+R
,
.
dt dt s
t s
t
Em s = 0 temos que o quarto termo e, portanto,
D D F
F
(0, t) ,
(0, t) dt
s
ds dt t
i=0 ti
(
)
k ti+1
k ti+1
F
D2 F
F
F
F
F
=
(0, t) , 2
(0, t) dt +
(0, t) , R
(0, t) ,
(0, t)
(0, t) dt
s
dt s
s
t
s
t
i=0 ti
i=0 ti
k ti+1
k ti+1
D2 V
=
V (t) ,
(t)
dt
+
V (t) , R ( (t) , V (t)) (t) dt
2
dt
i=0 ti
i=0 ti
b
2
D V
=
(t) + R ( (t) , V (t)) (t) dt,
V (t) ,
dt2
a
ti+1
e segue o resultado.
Como 0 e um ponto de mnimo para a funcao energia E (s), segue que
d2 E
(0) > 0.
ds2
8.11 Defini
c
ao. Sejam : [a, b] M uma curva diferenciavel. Definimos o forma ndice de como
sendo a forma bilinear simetrica
]
b [
DV
DW
I (V, W ) =
(t) ,
(t) R ( (t) , V (t) , (t) , V (t)) dt
dt
dt
a
onde V, W sao quaisquer campos diferenciaveis por partes ao longo de .
8.12 Corol
ario. Sejam : [a, b] M uma geodesica, F : (, ) [a, b] M uma variac
ao pr
opria de
e V (t) o campo variacional de F . Ent
ao
I (V, V ) =
1 d2 E
(0) .
2 ds2
b
k
D2 V
DV ( + ) DV ( )
V,
dt
R
(
,
V,
,
V
)
dt
V
(t
)
,
.
t
t
i
dt2
dt i
dt i
a
i=1
149
Como
d
dt
DV
DV DV
D2 V
V,
=
+ V,
,
dt
dt dt
dt2
d
dt
DV
V,
dt
t=t
k
DV ( + ) DV ( ) i+1
t
t
,
dt =
V (ti ) ,
dt i
dt i
t=ti
i=0
segue o resultado.
8.3
Geod
esicas n
ao minimizam ap
os passarem por pontos conjugados
8.13 Teorema. Se e um segmento geodesico ligando os pontos p e q que tem um ponto interior conjugado
a p, ent
ao existe um campo vetorial normal X ao longo de tal que
I (X, X) < 0
Em particular, n
ao e minimizante.
Prova: Seja : [0, b] M uma parametrizacao de por comprimento de arco e (a) um ponto conjugado
a (0) = p para algum 0 < a < b. Isso significa que existe um campo de Jacobi normal J ao longo de |[0,a]
tal que J (0) = J (a) = 0. Defina um campo vetorial V ao longo de |[0,b] por
{
J (t)
se 0 6 t 6 a,
V (t) =
0
se a 6 t 6 b.
Este e um campo diferenciavel por partes proprio ao longo de , logo e o campo variacional proprio de
alguma variacao propria de .
Seja W (t) um campo diferenciavel (suave) ao longo de tal que
W (a) =
Note que, como
temos
DV ( + ) DV ( )
a
a .
dt
dt
DV ( + )
a = 0,
dt
DV ( )
a = 0,
dt
150
I (V, V ) =
0
D2 V
DV ( + ) DV ( )
V,
+ R ( , V, ) dt V (a) ,
a
a
dt2
dt
dt
= 0.
Analogamente, como
d
dt
DV
,W
dt
D2 V
,W
dt2
DV DW
,
dt
dt
temos
]
DV DW
,
I (V, W ) =
R ( (t) , V (t) , (t) , V (t)) dt
dt
dt
0
[
]
b
b
D2 V
d DV
=
+ R ( , V, ) , W
dt +
, W dt
dt2
dt
0 dt
0
DV ( + ) DV ( )
a
a , W (a)
=
dt
dt
= W (a) .
Portanto,
2
8.4
Exerccios
Refer
encias Bibliogr
aficas
[Berger]
[Borceux]
[Carmo]
Manfredo Perdig
ao do CARMO, Geometria Riemanniana, 2a. Edicao, 1988.
[CLN]
Bennett CHOW, Peng LU e Lei NI, Hamiltons Ricci Flow, Graduate Studies in Mathematics 77, AMS, 2006.
[Dodson-Poston]
[Fleisch]
[Gunther]
Matthias GUNTHER,
Zum Einbettungssatz von J. Nash [On the embedding theorem
of J. Nash], Mathematische Nachrichten 144: 165187, (1989).
[HH]
Qing HAN e Jia-Xing HONG, Isometric Embedding of Riemannian Manifolds in Euclidean Spaces, American Mathematical Society, 2006.
[Jost]
J
urgen JOST, Riemannian Geometry and Geometric Analysis, 2nd Edition, Springer,
1998.
[Kobayashi]
[Lee 1]
[Lee 2]
[MTW]
[Moore]
[Nash]
John NASH, The imbedding problem for Riemannian manifolds, Annals of Mathematics, 63: 2063, 1956.
[Spivak]
[Warner]
Frank W. WARNER, Foundations of Dierentiable Manifolds and Lie Groups, Graduate Texts in Mathematics 94, Springer, 1983.
151