Você está na página 1de 27

Geometria Riemanniana

Manfredo Perdigo do Carmo

Solues dos Exerccios

4 de novembro de 2017
Sumrio

0 Variedades Diferenciveis 2

1 Mtricas Riemannianas 3

2 Conexes Afins; Conexo Riemanniana 13

3 Geodsicas; Vizinhanas Convexas 24

1
Captulo 0

Variedades Diferenciveis

2
Captulo 1

Mtricas Riemannianas

Exerccio 1. Prove que a aplicao antpoda A : S n S n dada por A(p) = p


uma isometria de S n . Use este fato para introduzir uma mtrica Riemanniana no
espao projetivo real P n (R) tal que a projeo natural : S n P n (R) seja uma
isometria local.

Soluo: Como S n Rn+1 , podemos fazer uso da estrutura de Rn+1 de forma que,
se p S n e u, v Tp S n , a mtrica Riemanniana em S n dada por hu, vip := hu, vi,
sendo h , i o produto interno cannico de Rn .
J sabemos do Captulo 0 que A : S n S n um difeomorfismo com A1 = A.
Calculemos dAp : Tp S n Tp S n . Seja v Tp S n e seja : (, ) S n uma curva
diferencivel tal que (0) = p e 0 (0) = v. Por definio, temos

dAp (v) = (A )0 (0) = 0 (0) = v.

Assim,

hu, vip = hu, vi = hu, vi = hdAp (u), dAp (v)ip = hdAp (u), dAp (v)iA(p) .

Isso mostra que A : S n S n uma isometria.


Podemos considerar P n (R) como sendo a variedade quociente S n /G, onde G
o grupo dado por {1S n , A}. Dessa forma, a projeo natural : S n P n (R)
dada por (p) = {p, p} e um difeomorfismo local. Queremos definir uma mtrica
Riemanniana em P n (R). Seja q P n (R) e U S n aberto tal que |U : U (U )
seja difeomorfismo com q (U ). Para vetores u, v Tq P n (R), defina
D E
hu, viq : = d(|U )1 1
q (u), d(|U )q (v)
(|U )1 (q)
D E
= d(|U )1 1
q (u), d(|U )q (v) .
Rn+1

Afirmamos que essa definio no depende do aberto U . De fato, seja V S n


um outro aberto tal que |V : V (V ) um difeomorfismo e q (V ). Se
(|V )1 (q) = (|U )1 (q), ento U V 6= e |U = |V = |U V sobre U V e
no temos nada a demonstrar. Se (|V )1 (q) 6= (|U )1 (q), ento necessariamente,

3
(|V )1 (q) = A (|U )1 (q) e V A(U ) 6= . Teremos
D E D E
d(|V )1 1
q (u), d(|V )q (v) = d(|U )1 1
q (u), d(|U )q (v)
(|V )1 (q) (|U )1 (q)
D E
= d(|U )1 1
q (u), d(|U )q (v)
(|U )1 (q)
D E
= d(|U )1 1
q (u), d(|U )q (v) .
(|U )1 (q)

Isso mostra que hu, viq est bem definido. Podemos tomar como atlas sobre P n (R)
a coleo {(U , x )} tal que U Rn um aberto e x da forma x = |y(U ) y ,
para alguma carta y : U S n e |y(U ) : y(U ) (y(U )) um difeomorfismo.

Assim, se (U, x) uma tal carta e x i
(q), i = 1, . . . , n so os elementos da base de
n 1
Tq P (R) relativa a x e p = x (q), ento
* +

(q), (q) = hdxp (ei ), dxp (ej )iq = hd(|U y)p (ei ), d(|U y)(ej )iq
xi xj q
D E
= d(|U )y(p) dyp (ei ), d(|U )y(p) dyp (ej )
q
D E
:= d(|U )1
q (d(|U )y(p) dyp (ei )), d(|U )1
q (d(|U )y(p) dyp (ej ))
(|U )1 (q)
D E
1 1
= (d(|U )y(p) ) (d(|U )y(p) dyp (ei )), (d(|U )y(p) ) (d(|U )y(p) dyp (ej ))
y(p)
= hdyp (ei ), dyp (ej )iy(p) = hdyp (ei ), dyp (ej )iRn+1 ,

que uma funo diferencivel em p. Portanto, h , iq define de fato uma mtrica


Riemanniana em P n (R).
Da forma como foi definida, imediato que : S n P n (R) uma isometria
local. 
Exerccio 2. Introduza uma mtrica Riemanniana no toro T n exigindo que a
projeo natural : Rn T n dada por
(x1 , . . . , xn ) = (eix1 , . . . , eixn ), (x1 , . . . , xn ) Rn ,
seja uma isometria local. Mostre que com esta mtrica T n isomtrico ao toro plano.

Soluo: : Rn T n um difeomorfismo local, pois |I1 In difeomorfismo,


sendo cada Ii da forma (xi , xi + ) R. Denote p = (x1 , . . . , xn ). Assim,
sendo Up = I1 In Rn temos que d( |U )p : U T n invertvel. Para
u, v T(p) T n , defina
D E
hu, vi(p) := (d( |Up )p )1 u, (d( |Up )p )1 v ,
p

sendo h, ip = h, iRn . Precisamos mostrar que tal produto interno est bem definido.
Seja q = (y1 , . . . , yn ) tal que (q) = (p). Segue que eixj = eiyj , j = 1, . . . , n xj =
yj + 2kj , para certos kj Z, j = 1, . . . , n. Denote por T : Rn Rn a translao
dada por T (x) = x + k, com k = (2k1 , . . . , 2kn ). Temos T (Uq ) = Up e, para todo
(a1 , . . . , an ) Uq ,

|Up T (a1 , . . . , an ) = |Up (a1 + 2k1 , . . . , an + 2kn ) = (ei(a1 +2k1 ) , . . . , ei(an +2kn ) )
= (eia1 , . . . , eian ) = |Uq (a1 , . . . , an ).

4
Portanto, |Up T = |Uq d( |Up )T (q) dTq = d( |Uq )q d( |Up )p 1Rn =
d( |Uq )q d( |Uq ) = d( |Up ). Isso garante que o produto interno em (p) = (q)
est bem definido.
Mostremos agora que tal produto interno diferencivel. Para isso, basta mos-
trar que ele diferencivel com respeito a uma parametrizao especfica (como
as mudanas cartas so difeomorfismos, isso implicar que o produto interno di-
ferencivel em qualquer parametrizao). Mas (Up , |Up ) uma parametrizao!
n o
Sendo x 1 (q), . . . , xn (q) a base de Tq T n , q Up , com respeito parametrizao
(Up , |Up ), temos
* +
D E
gij (q) = (q), (q) = d( |Up )q ei , d( |Up )q ej
xi xj (q)
(q)
D E
:= (d( |Up )q )1 (d( |Up )q ei ), (d( |Up )q )1 (d( |Up )q ej ) = hei , ej i = ij ,

que constante e, portanto, diferencivel.


Isso faz de T n uma variedade Riemanniana. Da forma como foi definido, temos
D E D E
d( |Up )p u, d( |Up )p v := (d( |Up )p )1 (d( |Up )p u), (d( |Up )p )1 (d( |Up )p v)
(p)
= hu, vi , u, v Rn

e : Rn T n uma isometria local.


Considere o toro plano dado por T n = Rn /2Zn , onde 2Zn o grupo das
translaes T~k : Rn Rn da forma T~k (~x) = ~x + ~k, com ~k {(2k1 , . . . , 2kn )
Rn | (k1 , . . . , kn ) Zn }1 . Observe que cada translao T~k fica unicamente deter-
minada pelo vetor ~k e de forma que os grupos 2Zn e {~k Rn | T~k 2Zn } so
isomorfos e consideramos os dois como sendo o mesmo objeto. Observemos que T n
possui uma mtrica Riemanniana natural. Sabemos que a estrutura diferencivel de
T n tal que a projeo : Rn T n um difeomorfismo local. Mais que isso, para
todo (a1 , . . . , an ) Rn , se Ii = (ai , ai + ) R (intervalo aberto de comprimento
2 em torno de ai ), ento |I1 In : I1 In (I1 In ) T n um
difeomorfismo (portanto, uma carta).
Seja p = [(a1 , . . . , an )] T n e u, v Tp M . Seja Up = (a1 , a1 + )
(an , an + ) Rn de forma que |U : Up (Up ) uma carta em torno de p.
Defina
D E
hu, vip := d( |1 1
Up )p (u), d( |Up )p (v) .
Rn

Precisaramos mostrar que tal produto interno est bem-definido e que, de fato,
define uma mtrica Riemanniana em T n . No entanto, a demonstrao deste fato
semelhante ao que fizemos acima para a mtrica Riemanniana em T n .
Defina
f: Tn Tn
.
[(x1 , . . . , xn )] 7 (e , . . . , eixn )
ix 1

Afirmao 1.1. f uma isometria.


1
O toro usual Rn /Zn no isomtrico a T n = S 1 S 1 !

5
Primeiro, precisamos mostrar que f est bem definida. Se [(x1 , . . . , xn )] =
[(y1 , . . . , yn )] T n , ento existe ~k = (2k1 , . . . , 2kn ) 2Zn tal que (x1 , . . . , xn ) =
(y1 , . . . , yn ) + (2k1 , . . . , 2kn ) xj = yj + 2kj , j = 1, . . . , n. Segue que

eixj = ei(yj +2kj ) = eiyj ei2kj = eiyj , j = 1, . . . , n,

e isso garante que f est bem-definida. De forma semelhante,

g: Tn Tn
(eix1 , . . . , eixn ) 7 [(x1 , . . . , xn )]

est bem-definida, g f = 1T n e f g = 1T n . Portanto, f bijetora.


Seja V = {(x1 , . . . , xn ) Rn | aj < xj < aj + }. V Rn tal que
f (p) (V ) e |V : V (V ) T n um difeomorfismo. Observe que f ((Up )) =
|V (V ). Assim, a expresso de f em coordenadas, com (x1 , . . . , xn ) Up , dada
por

|1 1
V f |Up (x1 , . . . , xn ) = |V f ([(x1 , . . . , xn )])

= |1
V (e
ix1
, . . . , eixn )
= (x1 , . . . , xn )
= 1Up (x1 , . . . , xn ),

que diferencivel. Isso mostra que f : T n T n diferencivel. De forma seme-


lhante, mostra-se que g : T n T n diferencivel e, portanto, f um difeomorfismo.
A conta acima tambm mostra que f = . Assim, se p = (q) (q Rn ) e
w Rn , teremos

dq (w) = d(f )q (w) = df(q) dq (w) = dfp dq (w).

Assim, como e so difeomorfismos locais, podemos escrever dfp = dq


(dq )1 , pelo menos em uma vizinhana de q. Logo, se u, v Tp T n , temos

hdfp (u), dfp (v)if (p) = hdfp (u), dfp (v)if ((q)) = hdfp (u), dfp (v)i(q)
D E
= dq (dq )1 (u), dq (dq )1 (v)
(q)
D E
1 1 1
:= (dq ) (dq (dq ) (u)), (dq ) (dq (dq )1 (v))
Rn
D E
= (dq )1 (u), (dq )1 (v)
Rn
D E
1 1
= d( )p (u), d( )p
Rn
:= hu, vip ,

e isso prova que f uma isometria. 


Exerccio 3. Obtenha uma imerso isomtrica do toro plano T n em R2n .

Soluo: Pelo Exerccio anterior, do ponto de vista da categoria de variedades


Riemannianas, o toro plano e T n = S 1 S 1 tratam-se do mesmo objeto. Defina

f : T n = S 1 S 1 R2n
ix ix .
(e , . . . , e )
1 n 7 (cos x1 , sen x1 , . . . , cos xn , sen xn )

6
fcil ver que tal aplicao est bem-definida e diferencivel.
Seja p = (eia1 , . . . , eian ) T n e Up = {(x1 , . . . , xn ) Rn | aj < xj <
aj + }. |Up : Up (Up ) T n um difeomorfismo (uma carta em torno de
p). Calculemos dfp : Tp T n R2n . Seja u = 0 (0) Tp T n . Se : I T n com
(t) = (ei1 (t) , . . . , ein (t) ), ento

d
dfp (u) := (f )0 (0) = (f )(t)
dt t=0

d
= (cos 1 (t), sen 1 (t) . . . , cos n (t), sen n (t))
dt t=0
= (10 (0) sen 1 (0), 10 (0) cos 1 (0), . . . , n0 (0) sen n (0), n0 (0) cos n (0)).

Portanto, se v = 0 (0) Tp T n , (t) = (ei1 (t) , . . . , ein (t) ) tal que dfp (u) =
dfp (v), ento, para todo j = 1, . . . , n,
(
j0 (0) sen j (0) = 0j (0) sen j (0),
j0 (0) cos j (0) = 0j (0) cos j (0).

Como (0) = p = (0), isso implica que j0 (0) = 0j (0) e j0 (0) = 0j (0), para
todo j = 1, . . . , n e, portanto, u = v. Isso prova que dfp injetora, para todo p M
ou seja, f uma imerso.
Considere Up = {(x1 , . . . , xn ) Rn | ai < xi < ai + } e a carta em
torno de p dada por X := |Up : Up (Up ). Para cada q Up , denote por
n o

a base coordenada de T(q) T n . Para no carregar a notao,
x1 (q), . . . , xn (q)
escreveremos simplesmente ao invs de |Up , ficando implcito que estamos traba-
lhando apenas em Up . Para todo q = (x1 , . . . , xn ) Up , temos
* +

df(q) (q), df(q) (q)
xi xj f (q)

d d
 
= df(q) (q + tei ), df(q) ((q + tej )
dt t=0 dt t=0 n
  R
d d
= (f (q + tei )), (f (q + tej ))
dt dt t=0
 t=0
d d

= (f )(x1 , . . . , xi + t, . . . , xn ), (f )(x1 , . . . , xj + t, . . . , xn )
dt dt t=0
 t=0
d
= (cos x1 , sen x1 , . . . , cos(xi + t), sen(xi + t), . . . , cos xn , sen xn ),
dt t=0

d

(cos x 1 , sen x 1 , . . . , cos(x j + t), sen(x j + t), . . . , cos x n , sen x n )
dt t=0
= h(0, 0, . . . , sen xi , cos xi , . . . , 0, 0), (0, 0, . . . , sen xj , cos xj , . . . , 0, 0)i
* +

= ij = (q), (q) .
xi xj (q)

Isso implica que, para vetores quaisquer u, v T(q) T n ,


D E
df(q) (u), df(q) (v) = hu, vi(q) ,
f (q)

e, portanto, f uma imerso isomtrica. 

7
Exerccio 4. Uma funo g : R R dada por g(t) = yt + x, t, x, y R, y > 0,
chamada funo afim prpria.
O conjunto de todas essas funes com alei usual de composio um grupo de
Lie G. Como variedade diferencivel, G simplesmente o semi-plano superior isto
{(x, y) R2 ; y > 0} com a estrutura diferencivel usual. Prove que:
(a) A mtrica Riemanniana de G invariante esquerda, que no elemento neutro
e = (0, 1) coincide com a mtrica euclidiana (g11 = g22 = 1, g12 = 0) dada
por g11 = g22 = y12 , g12 = 0, (esta mtrica da geometria no-euclidiana de
Lobatchevski).

(b) Pondo (x, y) = z = x + iy, i = 1, a transformao z 7 z 0 = az+b cz+d ,
a, b, c, d R, ad bc = 1 uma isometria de G.
Sugesto: Observe que a primeira forma fundamental pode ser escrita:
dx2 + dy 2 4 dz dz
ds2 = 2
= .
y (z z)2

Soluo:
(a) Suponha que G esteja munido de uma mtrica Riemanniana invariante
esquerda. Como dito no enunciado, estamos identificando cada g G dada
por g(t) = yt + x, y > 0, t, x R com o ponto (x, y) do semiplano superior de
R2 . Assim, para cada g0 (x0 , y0 ) G, temos que a translao esquerda
Lg0 : G G dada por

Lg0 (g)(t) = g0 g(t) = g0 (g(t)) = g0 (yt + x) = y0 (yt + x) + x0 = (y0 y)t + y0 x + x0 ,

para todo g (x, y) G. Escrito de outra forma, temos

L(x0 ,y0 ) (x, y) = (y0 x + x0 , y0 y),

para todo (x0 , y0 ), (x, y) no semiplano superior. Assim, utilizando a estrutura


diferencivel do semiplano superior, temos


x L(x0 ,y0 ),1 (x, y) L
y (x0 ,y0 ),1
(x, y)
d(L(x0 ,y0 ) )(x,y) =



L (x, y) L(x0 ,y0 ),2 (x, y)
x (x0 ,y0 ),2 y
" #
y 0
= 0 .
0 y0

Isso mostra que d(L(x0 ,y0 ) )(x,y) u = y0 u, para todo (x, y) G e u T(x,y) G R2 .
Estamos supondo que G possui uma mtrica invariante esquerda, ou seja,
D E
hu, vi(x,y) = d(L(x0 ,y0 ) )(x,y) u, d(L(x0 ,y0 ) )(x,y) v ,
L(x0 ,y0 ) (x,y)

para todo (x0 , y0 ), (x, y) G, u, v R2 . Tomando (x, y) = e = (0, 1) nesta


equao e supondo que hu, vie = hu, vi (produto interno usual de R2 ), obtemos

hu, vi = hu, vi(0,1) = hy0 u, y0 viL(x (0,1) = y02 hu, vi(x0 ,y0 ) ,
0 ,y0 )

8
donde conclumos que

hu, vi
hu, vi(x,y) = , (x, y) G.
y2

hei ,ej i ij
De fato, os gij dessa mtrica so gij (x, y) = hei , ej i(x,y) = y2
= y2
, como
pede o enunciado do exerccio.

Observao 1.2. Supomos inicialmente que G possua uma mtrica Rieman-


niana invariante esquerda e chegamos a uma expresso explcita para ela.
Observe que tal expresso define de fato uma mtrica Riemanniana em G.

(b) Mostremos primeiramente que : G G dada por (z) = az+b cz+d , ad bc = 1,


a, b, c, d R est bem definida. De fato, seja z = (x, y) G. Temos

az + b (az + b)(cz + d)
   
Im(z) = Im = Im
cz + d |cz + d|2
1 1
= 2
Im((az + b)(cz + d)) = Im(ac|z|2 + adz + bcz + bd)
|cz + d| |cz + d|2
1 1
= 2
Im(adz + bcz) = (adIm(z) + bcIm(z))
|cz + d| |cz + d|2
1 Im(z)
= (adIm(z) bcIm(z)) = > 0,
|cz + d|2 |cz + d|2

pois z G Im(z) > 0. Portanto, : G G est bem definida.


Mostremos que uma isometria. Sejam z = (x, y) G, u, v R2 quaisquer.
Usando o fato de que dz (u) = 0 (z) u, em que 0 : G C a derivada
complexa2 de e 0 (z) u o produto complexo de 0 (z) e u, temos
1
0
(z) u, 0 (z) v

hd()z (u), d()z (v)i(z) =
(Im(z))2
|cz + d|4 a(cz + d) (az + b)c a(cz + d) (az + b)c
 
= u, v
(Imz)2 (cz + d)2 (cz + d)2
|cz + d|4 ad bc ad bc
 
= 2 2
u, v
(Imz) (cz + d) (cz + d)2
|cz + d|2 1 1
 
= u, v
(Imz)2 (cz + d)2 (cz + d)2
4
() |cz + d| 1
= hu, vi
(Imz) |cz + d|4
2

1
= hu, vi = hu, viz
(Imz)2

o que mostra que uma isometria.


Em () estamos usando que o produto interno h, i usual em R2 satisfaz
h u, vi = ||2 hu, vi, C, u, v R2 C, sendo o produto complexo.
2
Observe que holomorfa pois o quociente de funes holomorfas.

9
Provemos este fato. Sejam = (x, y), u = (u1 , u2 ) e v = (v1 , v2 ) C R2 .
Temos

h u, vi = h(x, y)(u1 , u2 ), (x, y)(v1 , v2 )i


= h(xu1 yu2 , xu2 + yu1 ), (xv1 yv2 , xv2 + yv1 )i
= (xu1 yu2 )(xv1 yv2 ) + (xu2 + yu1 )(xv2 + yv1 )
= x2 u1 v1 xyu1 v2 xyu2 v1 + y 2 u2 v2 + x2 u2 v2 + xyu2 v1 + xyu1 v2 + y 2 u1 v1
= (x2 + y 2 )(u1 v1 + u2 v2 ) = ||2 hu, vi .

Isso encerra o exerccio.

Exerccio 5. Prove que as isometrias de S n Rn+1 com a mtrica induzida so as


restries a S n das transformaes lineares ortogonais de Rn+1 .

Soluo: Considere a funo arccos : [1, 1] [0, ].

Lema 1.3. Se : S n S n R a distncia induzida pela mtrica Riemanniana


em S n , ento (p, q) = arccos(hp, qi), p, q S n Rn .

Demonstrao. Sejam p, q S n . Se p = q, ento (p, q) = 0 = arccos 1 =


arccos hp, qi.
Caso 1. Se p = q:
Seja : [a, b] S n um caminho diferencivel por partes ligando p a q. Complete
{p} a uma base (ordenada) ortonormal B = {p, v1 , . . . , vn } de Rn+1 . Escreva, nesta
base, (t) = (x0 (t), x1 (t), . . . , xn (t)). Como (a) = p e (b) = q = p, temos
x0 (a) = 1 e x0 (b) = 1. Como x0 : [a, b] R contnua, existe [a, b] tal que
x0 () = 0. Se v10 = (), ento

p, v10 = h(1, 0, . . . , 0), (0, x1 (), . . . , xn ())i = 0.



Assim, a menos de trocar v1 por v10 , podemos supor que sai de p e passa por v1
antes de chegar em q. Defina : [0, ] S n , (t) = (cos t, sen t, 0, . . . , 0). Temos
Z Z
`0 () = |0 (t)| dt = 1 dt = t|0 = .
0 0

Seja U+ = {(x0 , x1 , . . . , xn ) S n | 0 < x1 }. Como v1 U+ e () = v1 , temos


que ([a, b]) U+ 6= . Seja (a0 , b0 ) [a, b], com a0 = inf{t [a, b] | ([t, ]) U+ }
e b0 = sup{t [a, b] | ([, t]) U+ }. Como : [a, b] S n contnua e U+
aberto em S n , possvel provar que a0 < < b0 e que (a0 ), (b0 ) / U+ e
lim0 x1 (t) = 0 = lim0 x1 (t). Observe que ((a0 , b0 )) U+ . Considere o sistema de
ta tb
coordenadas X : U+ Dn , sendo Dn = {(x0 , x2 , . . . , xn ) Rn | x20 + + x2n < 1} e

X(x0 , x1 , x2 . . . , xn ) = (x0 , x2 , . . . , xn ) .

No consegui terminar. Ver ideia da demonstrao aqui.

10
Proposio 1.4. Se f : M N uma isometria entre variedades Riemannianas e
: M M R, : N N R so as respectivas distncias induzidas em cada
variedade, ento (f (p), f (q)) = (p, q), para todo p, q M .
Demonstrao. Sejam p, q M quaisquer. Seja : [a, b] M um caminho diferen-
civel por partes ligando p a q. Como o comprimento de soma dos comprimentos
de cada segmento diferencivel de , suporemos que a prpria diferencivel.
Usando que f isometria, obtemos
Z b Z bD E

0
`ba () = (t), 0 (t) (t) dt = df(t) 0 (t), df(t) 0 (t)

dt
a a f (t)
Z b

0 0 b
= (f ) (t), (f ) (t) f (t) dt = `a (f ).
a
Portanto, se um caminho diferencivel ligando p a q, ento existe um caminho
diferencivel f ligando f (p) a f (q) tal que `() = `(f ). Usando o mesmo
argumento para a funo inversa f 1 : N M , temos que os conjuntos {`()
R | : [a, b] M, (a) = p, (b) = q, a < b} e {`() R | : [a0 , b0 ] N, (a0 ) =
f (p), (b0 ) = f (q), a0 < b0 } so iguais e, portanto, seus nfimos so iguais. Portanto,
(f (p), f (q)) = (p, q).

Lema 1.5. Se f : S n S n uma isometria e {e1 , . . . , en+1 } S n base cannica


de Rn+1 , ento {f (e1 ), . . . , f (en+1 )} uma base ortonormal de Rn+1 .
Demonstrao. De fato, se : S n S n R a distncia induzida pela mtrica
Riemanniana em S n , ento usando o Lema 1.3 e a Proposio 1.4, temos
arccos ij = arccos hei , ej i = (ei , ej ) = (f (ei ), f (ej )) = arccos hf (ei ), f (ej )i
e, como arccos : [1, 1] [0, ] bijetora, isso implica que hf (ei ), f (ej )i = ij , para
todo i, j = 1, . . . , n + 1.

Finalmente podemos provar o enunciado do exerccio:


Proposio 1.6. Se f : S n S n , ento a transformao linear ortogonal T :
Rn+1 Rn+1 definida por T (ej ) = f (ej ), j = 1, . . . , n + 1 tal que T |S n = f .
Demonstrao. Pelo Lema 1.5, T de fato uma transformao linear ortogonal, pois
leva base ortonormal em base ortonormal. Resta mostrar apenas que T |S n = f . Seja
(x1 , . . . , xn+1 ) S n . Para cada j = 1, . . . , n + 1, temos
arccos hf (ej ), f (x1 , . . . , xn+1 )i = (f (ej ), f (x1 , . . . , xn+1 )) = (ej , (x1 , . . . , xn+1 ))
= arccos hej , (x1 , . . . , xn+1 )i = arccos xj
hf (ej ), f (x1 , . . . , xn+1 )i = xj .
Como T ortonormal, temos que T (x1 , . . . , xn+1 ) S n . Assim, podemos escrever
*n+1 +
X
(T (x1 , . . . , xn+1 ), f (x1 , . . . , xn+1 )) = arccos xj f (ej ), f (x1 , . . . , xn+1 )
j=1
n+1
X
= arccos xj hf (ej ), f (x1 , . . . , xn+1 )i
j=1
X
= arccos x2j = arccos 1 = 0.
j=1

11
Como : S n S n R uma funo distncia, isso implica que T (x1 , . . . , xn+1 ) =
f (x1 , . . . , xx+1 ). Portanto, T |S n = f .

Isto encerra o exerccio. 

Exerccio 6. Mostre que a relao M localmente isomtrica a N no simtrica.

Soluo: Seja M = {(x, y, 0) R3 | x, y R} e N = M S, sendo S = {(x, y, z)


R3 | |(x, y, z) (0, 0, 2)| = 1} a esfera de centro (0, 0, 2) e raio 1. Considere as
respectivas estruturas de variedades Riemannianas em M e N induzidas da estrutura
de R3 . Neste caso, todos os conceitos de Geometria Riemanniana coincidem com
os respectivos conceitos vistos em Geometria Diferencial de Superfcies em R3 . Em
particular, vale o Teorema Egregium de Gau.
Dessa forma, f : M N dada pela incluso f (p) = p uma isometria local. No
entanto, se p S N , no pode haver isometria local f : U N f (U ) M ,
p U , j que a curvatura de S em p positiva e a curvatura em M sempre zero.

Exerccio 7. Envolve Grupos de Lie.

12
Captulo 2

Conexes Afins; Conexo


Riemanniana

Exerccio 1. Seja M uma variedade Riemanniana. Considere a aplicao

P = Pc,t0 ,t : Tc(t0 ) M Tc(t) M

definida por: Pc,t0 ,t (v), v Tc(t0 ) M , o transporte paralelo do vetor v ao longo


da curva c. mostre que P uma isometria e que, se M orientada, P preserva
orientao.

Soluo: Mostremos que P um isomorfismo linear. Sejam u, v Tc(t0 ) M e


R quaisquer. Sejam U (t) e V (t) os transportes paralelos de u e v ao longo de
c, respectivamente, isto , U e V so os campos de vetores ao longo de c tais que
U (t0 ) = u, V (t0 ) = v e DdtV = 0 = DdtU . Observe que U (t) = P (u) e V (t) = P (v).
Usando as propriedades da derivada covariante, temos

D (U + V ) DU DV
= + = 0.
dt dt dt
Alm disso, (U + V )(t0 ) = U (t0 ) + V (t0 ) = u + v. Logo, o campo U + V ao
longo de c o transporte paralelo de u + v, ou seja,

P (u + v) = P (u) + P (v),

portanto P linear.
Da mesma forma como P foi definida, considere Q : Tc(t) M Tc(t0 ) M . Afirma-
mos que P Q = 1Tc(t) M e Q P = 1Tc(t0 ) M . De fato, seja v Tc(t0 ) M e V (t) o
transporte paralelo de v ao longo de c de t0 a t. Ento V (t0 ) = v e DdtV = 0. Logo,
Q P (v) = Q(V (t)). Mas Q(V (t)) dado por Ve (t0 ), em que Ve tal que Ve (t) = V (t)
e DdtVe = 0 (ou seja, o transporte paralelo de V (t) ao longo de c, mas no sentido de t
a t0 ). Afirmamos que Ve (t) = V (t). Isso segue da unicidade de transportes paralelos
e do fato que V j possui tais propriedades. Assim, Q(V (t)) = Ve (t0 ) = V (t0 ) = v,
ou seja, mostramos que Q P (v) = v = 1Tc(t0 ) M , para todo v Tc(t0 ) M . Analoga-
mente, mostra-se que P Q = 1Tc(t) M . Isso conclui a demonstrao de que P um
isomorfismo.

13
Mostremos que P uma isometria. Sejam u, v Tc(t0 ) M e U e V os transportes
paralelos de u e v ao longo de c. Pela compatibilidade da conexo com a mtrica
Riemanniana, sabemos que

hu, vic(t0 ) = hU (t), V (t)ic(t) , t I = Domc ,

e isso nos diz exatamente que P uma isometria entre os espaos vetoriais normados
(Tc(t0 ) M, h, ic(t0 ) ) e (Tc(t) M, h, ic(t) ).
Suponha por fim que M possui orientao A (atlas orientado). Observamos a
seguir que a escolha de uma tal orientao induz uma orientao em cada plano
tangente a M . De fato, seja (U, x) A e sejam Xi = x
i
a base coordenada
associada a x. Assim, se p x(U ), definimos a orientao em Tp M como sendo
positiva se ela possui a mesma orientao que {X1 , . . . , Xn }. Mostremos que a
orientao positiva em Tp M est bem definida. Suponha que (V, y) A com
p W = x(U )y(V ) e denote Yi = y i a base coordenada de y. Seja T o isomorfismo
linear que leva {X1 (p), . . . , Xn (p)} respectivamente em {Y1 (p), . . . , Yn (p)}. Queremos
mostrar que det T > 0. A menos de translaes de Rn (que sabemos que preservam
a orientao), podemos supor que 0 U V e x(0) = p = y(0). Assim, sobre
=6 Wf = x(U V ) y(U V ), podemos definir y x1 : W f W f.

Afirmao 2.1. T = d(y x1 )(p).

De fato, temos

d(y x1 )(p) Xi (p) = dy(x1 (p)) dx1 (p) Xi (p)


= dy(0) dx1 (p) dx(0) ei
= dy(0) d(x1 x)(0) ei
= dy(0) d(1)(0) ei
= dy(0) 1 ei
= dy(0) ei = Yi (p).

Como T : Tp M Tp M dada por T (Xi (p)) = Yi (p) nica, devemos ter


T = d(y x1 )(p). Isso prova a afirmao.
Como A uma orientao, temos

0 < det(d(x1 y)(0)) = det(d(x1 (p)) dy(0)) = det(d(x1 (p))) det(dy(0)).

Assim,

det T = det(d(y x1 )(p)) = det(dy(0) dx1 (p)) = det(dy(0)) det(dx1 (p)) > 0.

Isso conclui a demonstrao de que {X1 (p), . . . , Xn (p)} e {Y1 (p), . . . , Yn (p)} pos-
suem a mesma orientao. Portanto, a orientao em Tp M no depende da carta
escolhida.
Resta mostrar que P : Tc(t0 ) M Tc(t) M preserva orientao. Primeiramente,
podemos supor que c([t0 , t]) est contido na imagem x(U ) de alguma parametrizao
(U, x) A (caso contrrio, podemos cobrir c([t0 , t]) com uma quantidade finita de
tais vizinhanas e provar o resultado em cada uma delas, fato que implica o resultado
no intervalo [t0 , t]).

14
Para cada s [t0 , t], seja {X1 (c(s)), . . . , Xn (c(s))} a base coordenada da para-
metrizao (U, x). Seja {v1 , . . . , vn } uma base positiva de Tc(t0 ) M . Para mostrar
que P preserva orientao, precisamos mostrar que {P (v1 ), . . . , P (vn )} (que base
de Tc(t) M pois j mostramos que P isomorfismo) positiva. Sejam V1 , . . . , Vn os
transportes paralelos de v1 , . . . , vn , respectivamente. Para cada s [t0 , t], escreva
n
X
Vj (s) = aij (s)Xi (c(s)). Sabemos que os transportes paralelos so diferenci-
i=0
veis, de forma que as funes aij : [t0 , t] R so diferenciveis. Observe que
{X1 (c(s)), . . . , Xn (c(s))} uma base positiva de Tc(s) M , para todo s [t0 , t]. A
matriz da mudana de base que leva {X1 (c(s)), . . . , Xn (c(s))} em {V1 (s), . . . , Vn (s)}
precisamente (aij (s)), que inversvel, pela primeira parte do exerccio. Portanto,
det(aij (s)) 6= 0, s [t0 , t]. Logo, a funo d : [t0 , t] R dada por d(s) = det(aij (s))
contnua e no se anula. Como d(t0 ) = det(aij (t0 )) > 0 (pois {V1 (t0 ), . . . , Vn (t0 )} =
{v1 , . . . , vn } positiva), devemos ter d(t) = det(aij (t)) = det P > 0, como quera-
mos mostrar (observe que {P (v1 ), . . . , P (vn )} = {V1 (t), . . . , Vn (t)}). Isso conclui o
exerccio. 

Exerccio 2. Sejam X e Y campos de vetores numa variedade Riemanniana M .


Sejam p M e c : I M uma curva integral de X por p, i.e. c(t0 ) = p e
dc
dt = X(c(t)). Prove que a conexo Riemanniana de M

d 1
(X Y )(p) = (P (Y (c(t)))),
dt c;t0 ;t
onde Pc;t0 ;t : Tc(t0 ) M Tc(t) M o transporte paralelo de c de t0 a t (isso mostra
como a conexo pode ser reobtida da noo de paralelismo).

Soluo: Denote por P a aplicao Pc,t0 ,t : Tc(t0 ) M Tc(t) M e V : I T M a


aplicao Y c(t). Como (X Y )(p) depende apenas do vetor X(p) e do valor de Y
ao longo de uma curva tangente a X em p, usando que c a curva integral de X e o
item (c) da Proposio 2.2, temos

DV
(t0 ) = ( d c Y )(t0 ) = X(c(t0 )) Y = X(p) Y = (X Y )(p). ()
dt dt

Seja {e1 , . . . , en } uma base ortonormal de Tp M . Para cada i = 1, . . . , n, sejam


Pi os transportes paralelos do vetor ei ao longo de c de t0 a t. Observe que
{P1 (s), . . . , Pn (s)} uma base ortonormal de Tc(s) M , para todo s I, pois a conexo
n
X
compatvel com a mtrica. Dessa forma, V (s) se escreve como V (s) = ai (s)Pi (s),
i=1
para todo s I, com ai : I R diferenciveis. Temos
n n n  n
!
DV D X D d ai D Pi d ai
X X  X
= ai Pi = ai Pi = Pi + ai = Pi .
dt dt i=1 i=1
dt i=1
dt dt i=1
dt

Em particular, segue de () que


n n
DV
a0 (t0 )Pi (t0 ) = a0 (t0 )ei .
X X
(X Y )(p) = (t0 ) = ()
dt i=1 i=1

15
n
X
Afirmamos que P 1 (V (t)) = ai (t)ei (aqui, t I est fixo! aquele t para o
i=1
qual P = Pc,t0!,t ). Como P isomorfismo, para provar este fato basta mostrar que
n
X n
X
P ai (t)ei = V (t). De fato, para cada s I, seja Ve (s) = ai (t)Pi (s). Temos
i=1 i=1
n n n
X X
DV
X d ai (t)
Ve (t0 ) = ai (t)Pi (t0 ) = ai (t)ei e e
ds = Pi (s) = 0. Portanto, Ve o
i=1 i=1 i=1
ds
n
X n
X
transporte paralelo de ai (t)ei ao longo de c. Mas Ve (t) = ai (t)Pi (t) = V (t).
i=1 i=1
n
!
X
Isso prova que P ai (t)ei = V (t). Assim, temos que a funo f : I Tp M
i=1
1
dada por f (t) = Pc;t0 ,t
(Y (c(t)), na verdade dada por
n
1 1
X
f (t) = Pc;t0 ,t
(Y (c(t)) = Pc;t0 ,t
(V (t)) = ai (t)ei .
i=1

Portanto,
n
d 1 d f ()
a0 (t0 )ei = (X Y )(p),
X
Pc;t0 ,t (Y (c(t)) = =
dt t=t0 dt
t=t0 i=1

como queramos demonstrar. 


n+k
Exerccio 3. Seja f : M n M uma imerso de uma variedade diferencivel
em uma variedade Riemanniana M . Suponha que M tem a mtrica Riemanniana
induzida por f (cf. Exemplo 2.5 do Cap. I). Seja p M e U M uma vizinhana
de p tal que f (U ) M seja uma subvariedade de M . Sejam X, Y campos de vetores
em f (U ) e estenda-os a campos de vetores X e Y em um aberto de M . Defina
(X Y )(p) = componente tangencial de X Y , onde a conexo Riemanniana de
M . Prove que a conexo Riemanniana de M .

Soluo: 
Exerccio 4. Seja M 2 R3 uma superfcie em R3 com a mtrica Riemanniana
induzida. Seja c : I M uma curva diferencivel em M e V um campo de vetores
tangentes a M ao longo de c; V pode ser pensado como uma funo diferencivel
V : I R3 , com V (t) Tc(t) M .

(a) Mostre que V paralelo se e somente se ddtV perpendicular a Tc(t) M R3


onde ddtV a derivada usual de V : I R3 .

(b) Se S 2 R3 a esfera unitria de R3 , mostre que o campo velocidade ao longo


de crculos mximos parametrizados pelo comprimento de arco um campo
paralelo. O mesmo argumento se aplica para Rn Rn+1 .

Soluo: 
Exerccio 5. No espao euclidiano, o transporte paralelo de um vetor entre dois
pontos no depende da curva que liga estes dois pontos. Mostre, por um exemplo,
que isto no verdade numa variedade Riemanniana qualquer.

16
Soluo: Considere a esfera unitria S 2 R3 . Considere o vetor v = (0, 1, 0)
tangente a S 2 em pN = (0, 0, 1). Considere : [0, ] S 2 dada por (t) =
(0, sen t, cos t). Temos (0) = (0, 0, 1) = pN e () = (0, 0, 1) = pS . Seja V :
[0, ] R3 o transporte paralelo de v ao longo de . Afirmamos que V (t) = 0 (t),
t [0, ]. De fato, 0 (0) = (0, cos t, sen t)|t=0 = (0, 1, 0) = v e1

D 0 d 0 (t) T
(t) = = 00 (t)T = (0, sen t, cos t)T = (t)T = 0,
dt dt
pois (t) normal a S 2 em (t). Pela unicidade do transporte paralelo, segue
que V = 0 . Da, V () = 0 () = (0, cos , sen ) = (0, 1, 0). Faamos agora o
transporte paralelo de v saindo de pN e chegando em pS , mas ao longo da curva
: [0, ] S 2 , (t) = (sen t, 0, cos t). Denote por W : [0, ] R3 tal transporte
paralelo. Afirmamos que W (t) = v, t [0, ]. Primeiro, precisamos mostrar
que W (t) = v est bem definida, isto , v T(t) S 2 , para todo t [0, ]. Mas2
hv, (t)i = h(0, 1, 0), (sen t, 0, cos t)i = 0 v (t) v T(t) S 2 , para todo
t [0, ]. Portanto, W (t) v um campo bem definido ao longo de . claro que
T
W (0) = v e DdtW (t) = ddtW = 0 e, portanto, W o transporte paralelo de v ao longo
de . No entanto,

W () = v = (0, 1, 0) 6= (0, 1, 0) = V ().

Exerccio 6. Seja M uma variedade Riemanniana e p um ponto de M . Considere


a curva constante f : I M dada por f (t) = p, para todo t I. Seja V um
1
Nesta situao, a derivada covariante corresponde componente tangente da derivada usual em
R3 .
2
A todo momento estamos usando as estruturas de R3 .

17
campo vetorial ao longo de f (isto , V uma aplicao diferencivel de I em Tp M ).
Mostre DdtV = ddtV , isto , a derivada covariante coincide com a derivada usual de
V : I Tp M .

Soluo: 
Exerccio 7. Seja S 2 R3 a esfera unitria, c um paralelo qualquer de S 2 e V0 um
ve tor tangente a S 2 em um ponto de c. Descreva geometricamente o transporte
paralelo de V0 ao longo de c.
Sugesto: Considere o cone C tangente a S 2 ao longo de c e mostre que o transporta
paralelo de V0 ao longo de c o mesmo, quer tomado em relao a S 2 ou a C.

Soluo: 
Exerccio 8. Considere o semi-plano superior
R2+ = {(x, y) R2 ; y > 0}
1
com a mtrica dada por g11 = g22 = y2
, g12 = 0 (mtrica da geometria no-euclidiana
de Lobatchevski).
(a) Mostre que os smbolos de Christoffel da conexo Riemanniana so: 111 =
212 = 122 = 0, 211 = y1 , 112 = 222 = y1 .

(b) Seja v0 = (0, 1) um vetor tangente no ponto (0, 1) de R2+ (v0 o vetor unitrio
do eixo 0y com origem em (0, 1)). Seja v(t) o transporte paralelo de v0 ao
longo da curva x = t, y = 1. Mostre que v(t) faz um ngulo t com a direo de
0y no sentido horrio.
Sugesto: O campo v(t) = (a(t), b(t)) satisfaz o sistema (2) que defini um campo
paralelo e que, neste caso, se simplifica em
(
da
dt + 112 b = 0,
db
dt + 211 a = 0.

Fazendo a = cos (t), b = sen (t) e notando que ao longo da curva dada temos y = 1,
obteremos das equaes acima que ddt = 1. Como v(0) = v0 , isto implica que
(t) = 2 t.

Soluo:
(a) Usaremos a expresso clssica dos smbolos de Christoffel da conexo Rie-
manniana em termo da mtrica Riemanniana (ver Manfredo, pg. 62, eq.
(10)):
n
!
1X
m
ij = gjk + gki gij g km ,
2 k=1 xi xj xk

sendo (g km )k,m a matriz inversa da mtrica Riemanniana g = (gkm )k,m . No


caso do plano de Lobatchevski, temos
" # "1 # " #
g (x, y) g12 (x, y) y2
0 y2 0
g(x, y) = 11 = 1 (g(x, y))1
= .
g21 (x, y) g22 (x, y) 0 y2
0 y2

18
No nosso caso, n = 2, temos
2
!
1X
m
ij = gjk + gki gij g km
2 k=1 xi xj xk
! ! !
1
= gj1 + g1i gij g 1m + gj2 + g2i gij g 2m .
2 xi xj x1 xi xj x2

Assim,
1
 
111 (x, y) = g11 (x, y) + g11 (x, y) g11 (x, y) y 2
2 x x x
= 0,

1
 
212 (x, y) = g22 (x, y) + g21 (x, y) g12 (x, y) y 2
2 x y y
1
= (0 + 0 + 0) y 2 = 0,
2

1
 
122 (x, y) = g21 (x, y) + g12 (x, y) g22 (x, y) y 2
2 y y x
1
= (0 + 0 + 0) y 2 = 0,
2

1
 
211 (x, y) = g12 (x, y) + g21 (x, y) g11 (x, y) y 2
2 x x y
1 1 1
 
= (2) 3 y 2 = ,
2 y y

1
 
112 (x, y) = g21 (x, y) + g11 (x, y) g12 (x, y) y 2
2 x y x
1 1 1
 
= 2 3 y 2 = ,
2 y y

1
 
222 (x, y) = g22 (x, y) + g22 (x, y) g22 (x, y) y 2
2 y y y
1 1 1
 
= 2 3 y 2 = .
2 y y

(b) Denote v(t) = (a(t), b(t)) o campo transporte paralelo de v0 ao longo da curva
(t) = (t, 1). Lembre-se que, se (t) = (x1 (t), . . . , xn (t)) a expresso local
de uma curva em uma variedade M (no nosso caso, (t) = (t, 1)) e v0 Tp M ,
n
X
com (t0 ) = p, ento o transporte paralelo V (t) = v j (t)Xj ((t)) dado
j=1
pelo sistema de n equaes diferenciais
n
d vk X d xi
0= + kij v j , k = 1, . . . , n, (Veja Manfredo, pg. 58, 59)
dt i,j=1
dt

19
com condio inicial V (t0 ) = v0 . No nosso caso, obtemos
2
da X d xi
0= + 1ij vj (para k = 1)
dt i,j=1 dt
da 0 0 0
= >a d x1 + 1 b d x1 + 1
111
+  >a d x2 + 1
>b d x2
12 21 dt 22 dt
dt dt dt
da 1 d x1 da
= b = b,
dt x2 dt dt
e
0
db d x1 0 0
0= + 211 a + >b d x1 + 2
212
 >a d x2 + 2 b d x2 (para k = 2)
dt dt dt 21 dt 22
dt
db 1 d x1 db
= a = a,
dt x2 dt dt
ou seja,
(
da
dt b = 0
db . ()
dt a = 0

hu,vi hu,vi
Observe que hu, vi(t) = Im((t)) 2 = 12
= hu, vi, ou seja, a mtrica Rieman-
niana do plano de Lobatchevski coincide com a mtrica usual do R2 , sobre a
curva . Da, hv0 , v0 iv0 = hv0 , v0 i = 1. Como v(t) paralelo e a conexo
compatvel com a mtrica, devemos ter hv(t), v(t)i(t) = hv0 , v0 iv0 = 1. Mas
ento hv(t), v(t)i = 1, isto , v(t) unitrio no sentido usual (R2 ). Logo, v(t)
se escreve como v(t) = (a(t), b(t)) = (cos (t), sen (t)). Segue de () que
(
0 (t) sen (t) sen (t) = 0
0 (t) = 1, t.
0 (t) cos (t) cos (t) = 0

pois, t, sen (t) 6= 0 ou cos (t) 6= 0. Como v(0) = v0 = (0, 1), temos
(0) = 2 + 2k, para algum k Z. Tomando k = 0, por simplicidade, obtemos
(t) = 2 t. Agora, (t) o ngulo formado entre v(t) e o eixo 0x no sentido
anti-horrio. Da, o ngulo entre v(t) e o eixo 0y no sentido anti-horrio

2 t 2 = t. Portanto, o ngulo entre v(t) e o eixo 0y no sentido horrio t.

Exerccio 9. (Mtricas pseudo-Riemannianas). Uma mtrica pseudo-Riemanniana


em uma variedade diferencivel M a escolha, para cada ponto p M , de uma
forma bilinear simtrica no degenerada h , i (porm no necessariamente positiva
definida) em Tp M e que varia diferenciavelmente com p. Exceto pleo fato de no
ser h , i definida positiva, todas as definies at agora apresentadas fazem sentido
em uma mtrica pseudo-Riemanniana. Por exemplo, uma conexo afim em M
compatvel com uma mtrica pseudo-Riemanniana de M se (4) satisfeita; se, alm
disto, (5) se verifica, a conexo afim dita simtrica.

(a) Mostre que o Teorema de Levi-Civita se estende a mtricas pseudo-Riemannianas.


A conexo assim obtida chama pseudo-Riemanniana.

20
(b) Introduza uma mtrico pseudo-Riemanniana em Rn+1 pela forma quadrtica

Q(x0 , . . . , xn ) = x20 + x21 + + x2n , (x0 , . . . , xn ) Rn+1 .

Mostre que o transporte paralelo da conexo de Levi-Civita deste mtrica coin-


cide com o transporte paralelo usual do Rn+1 (esta mtrica pseudo-Riemanniana
chamada mtrica de Lorentz; para n = 3, ela aparece naturalmente em Rela-
tividade.)

Soluo:
(a) Basta observar que na demonstrao do Teorema de Levi-Civita, no utiliza-se
o fato de que a mtrica Riemanniana definida positiva.
(b) Uma forma quadrtica num R-espao vetorial V uma aplicao q : V R
da forma q(v) = f (v, v), v V , para alguma aplicao bilinear f : V V R.
A forma quadrtica q : V R dita definida positiva se q(v) 0, v V e
q(v) = 0 v = 0. Temos o seguinte resultado:
Proposio 2.2. Se V um R-espao vetorial e q : V R uma forma
quadrtica definida positiva, ento h , i : V V R dada por
1
hu, vi = (q(u + v) q(u) q(v)), u, v V,
2
um produto interno em V .

Demonstrao. De fato, seja f : V V R a aplicao bilinear tal que


q(v) = f (v, v). Temos
1 1
hv, vi = (q(2v) 2q(v)) = (f (2v, 2v) 2f (v, v))
2 2
1
= (4f (v, v) 2f (v, v)) = f (v, v) = q(v), v V
2
e, portanto, hv, vi 0 e hv, vi = 0 v = 0. Alm disso, claro que
hu, vi = hv, ui, u, v V e
1
hu + v, wi = (q(u + v + w) q(u + v) q(w))
2
1
= (f (u + v + w, u + v + w) f (u + v, u + v) f (w, w))
2
1
2

f (u,
= (  u)
 + f
 (u, v) + f (u, w) + 
 f u)
(v, 
+ f (v,
 v)
2
+ f (v, w) + f (w, u) + f (w, v) + 
f (w,
 w)

f (u,
  f
u) v)
 (u,


  2 v) 

f u)
(v, 
f (v,
 f (w,
 w))


1
= (f (u, w) + f (w, u)) + (f (v, w) + f (w, v))
2 2
1
= (f (u, u) + f (u, w) + f (w, u) + f (w, w) f (u, u) f (w, w))
2

+ (f (v, v) + f (v, w) + f (w, v) + f (w, w) f (v, v) f (w, w))
2

21
1
= (f (u + w, u + w) f (u, u) f (w, w))
2

+ (f (v + w, v + w) f (v, v) f (w, w))
2
1
= (q(u + w) q(u) q(w)) + (q(v + w) q(v) q(w))
2 2
= hu, wi + hv, wi , u, v, w V, R.

Isso mostra que h , i um produto interno.

Observao 2.3. Observe que, se conhecemos a aplicao bilinear f tal que


q(v) = f (v, v), ento o produto interno da proposio acima tambm pode ser
expresso por hu, vi = 21 (f (u, v) + f (v, u)).

Voltemos ao exerccio. A proposio acima motiva uma pseudo-mtrica Rieman-


niana a partir da forma quadrtica fornecida Q. Observe que f : Rn+1 Rn+1
R dada por

f (x, y) = x0 y0 + x1 y1 + + xn yn

uma aplicao bilinear e que Q(x) = f (x, x), para todo x Rn+1 . Defina em
todo ponto p Rn+1 e para quaisquer vetores x, y Rn+1 ,
1
hx, yi = (f (x, y) + f (y, x)) = f (x, y) = x0 y0 + x1 y1 + + xn yn .
2
Isso de fato define uma pseudo-mtrica pois f f bilinear simtrica (portanto
diferencivel) e no-degenerada (i.e. f (x, y) = 0, y Rn+1 x = 0).
Portanto, M = (Rn+1 , h , i) uma variedade pseudo-Riemanniana. Denote
por e [ , ] a conexo pseudo-Riemanniana e o colchete de M . Como
M o Rn+1 na categoria de variedades diferenciveis, e o colchete depende
apenas da estrutura diferencivel, temos que [ , ] = [ , ], isto , o colchete de
M = (Rn+1 , h , i). Dito isso, seja a conexo riemanniana de M . Mostraremos
que = . Para isso, pela unicidade fornecida pelo Teorema de Levi-Civita,
basta mostrar que compatvel com a pseudo-mtrica de M e simtrica
com relao ao colchete de M . Temos3

X Y Y X = [X, Y ] = [X, Y ] , X, Y X(M ) = X(M ),

e, portanto, simtrica em M . Lembre-se que

Y (p)
(X Y )(p) = , p Rn+1 .
X(p)

Mostremos que compatvel com h , i . De fato, para todo p Rn+1 , e X,


3
Em particular, pelo Teorema de Schwarz, o colchete de Rn+1 identicamente nulo!

22
Y = (Y0 , . . . , Yn ) e Z = (Z0 , . . . , Zn ) X(M ), temos

hY, Zi
X hY, Zi (p) = (p) = (Y0 Z0 + Y1 Z1 + . . . Yn Zn ) (p)
X(p) X(p)
Y0 (p) Z0 (p) Yn (p) Zn (p)
= Z0 (p) Y0 (p) + + Zn (p) + Yn (p)
X(p) X(p) X(p) X(p)

Y0 (p) Yn (p)
 
= ,..., , (Z0 (p), . . . , Zn (p))
X(p) X(p)
Z0 (p) Zn (p)
  
+ (Y0 (p), . . . , Yn (p)), ,...,
X(p) X(p)
  
Y (p) Z(p)

= , Z(p) + Y (p),
X(p) X(p)
= h(X Y )(p), Z(p)i + hY (p), (X Z)(p)i
= (hX Y, Zi + hY, X Zi ) (p),

X hY, Zi = hX Y, Zi + hY, X Zi ,

e isso mostra a compatibilidade e conclumos que = . Como a derivada



covariante induzida por uma conexo nica, teremos tambm que Ddt = dt D
,
isto , a derivada covariante de campos ao longo de curvas induzida por
a mesma que a do Rn+1 . Logo, os transportes paralelos ao longo de curvas
tambm so os mesmos.

23
Captulo 3

Geodsicas; Vizinhanas
Convexas

Exerccio 1. (Geodsicas de superfcies de revoluo). Indique por (u, v) as co-


ordenadas cartesianas de R2 . Mostre que a funo : U R2 R3 dada por
(u, v) = (f (v) cos u, f (v) sen u, g(v)),
U = {(u, v) R2 ; u0 < u < u1 ; v0 < 0 < v1 },
onde f e g so diferenciveis, com f 0 (v)2 + g 0 (v) 6= 0 e f (v) 6= 0, uma imerso.
A imagem (U ) a superfcie gerada pela rotao em torno do eixo 0z da curva
(f (v), g(v)) e chamada uma superfcie de revoluo S. As imagens por das curvas
u =constante e v =constante so chamadas meridianos e paralelos, respectivamente,
de S.
(a) Mostre que a mtrica induzida nas coordenadas (u, v) dada por
g11 = f 2 , g12 = 0, g22 = (f 0 )2 + (g 0 )2 .

(b) Mostre que as equaes locais de uma geodsica so


d2 u 2f f 0 d u d v
+ = 0,
dt2  f2 dt dt
d2 v ff0 du 2 f 0 f 00 + g 0 g 00 d v 2
 
0 2 + 0 2 = 0.
dt2 (f ) + (g 0 )2 dt (f ) + (g 0 )2 dt

(c) Obtenha o seguinte significado geomtrico das equaes acima: a segunda


equao , exceto para meridianos e paralelos, equivalente ao fato de que a
energia | 0 (t)|2 de uma geodsica constante ao longo de ; a primeira equao
significa que se (t) o ngulo orientado, (t) < , de com um paralelo P
intersectando em (t), ento
r cos = const.,
onde r o raio do paralelo P (a equao acima chamada relao de Clairaut).
(d) Use a relao de Clairaut para mostrar que uma geodsica de um parabolide
(f (v) = v, g(v) = v 2 , 0 < v < , < u < 2 + ),
que no um meridiano, se auto-intersecta um nmero infinito de vezes.

24
Soluo:
(a) Mostremos que : U R3 uma imerso. claro que diferencivel. Alm
disso, se (u, v) U , ento

f (v) sen u f 0 (v) cos u
d(u,v) = f (v) cos u f 0 (v) sen u .

0 g 0 (v)

Se (x, y) R2 , ento

d(u,v) (x, y) = 0
(xf (v) sen u + yf 0 (v) cos u, xf (v) cos u + yf 0 (v) sen u, yg 0 (v)) = (0, 0, 0)
xf (v) sen u + yf 0 (v) cos u = 0 = xf (v) cos u + yf 0 (v) sen u.

Se cos u = 0, ento xf (v) sen u = 0 x = 0 (pois f (v) 6= 0 6= sen u) e, pela


segunda equao, yf 0 (v) sen u = 0 y = 0 (pois f 0 (v) 6= 0 pois f imerso).
Portanto, (x, y) = (0, 0) e isso mostra que imerso, neste caso. Suponha
agora que cos u 6= 0. Temos

xf (v) tan u = yf 0 (v) e xf (v) = yf 0 (v) tan u,

que implica xf (v) = (xf (v) tan u) tan u = xf (v)(tan u)2 0 = x(1 +
(tan u)2 ) x = 0 0 = yf 0 (v) y = 0 (x, y) = (0, 0), o que prova
que imerso, neste caso. Portanto, induz uma mtrica Riemanniana em
U que ser dada por
D E
g11 (u, v) = he1 , e1 i(u,v) = d(u,v) e1 , d(u,v) e1
= h(f (v) sen u, f (v) cos u, 0), (f (v) sen u, f (v) cos u, 0)i
= (f (v))2 ((sen u)2 + (cos u)2 ) = (f (v))2 ,
D E
g12 (u, v) = he1 , e2 i(u,v) = d(u,v) e1 , d(u,v) e2
= (f (v) sen u, f (v) cos u, 0), (f 0 (v) cos u, f 0 (v) sen u, g 0 (v))

= 0,
D E
g22 (u, v) = d(u,v) e1 , d(u,v) e1
= (f 0 (v) cos u, f 0 (v) sen u, g 0 (v)), (f 0 (v) cos u, f 0 (v) sen u, g 0 (v))

= (f 0 (v))2 + (g 0 (v))2 .

(b) Calculemos os smbolos de Christoffel em U . Temos


1

" # 0
f2 0 f2
G1

G= = 1 .
f 02 + g02

0
0
f 02 + g02

Sabemos que
2
1X gjk gki gij
 
m
ij = + g km
2 k=1 xi xk xk

25
sendo g km a entrada correspondente da matriz G1 .
Fazendo as contas, obtemos

f0
111 = 122 = 212 = 0, 112 = ,
f
f f 0 f 0 f 00 + g 0 g 00
211 = , 222 = .
f 02 + g 02 f 02 + g 02

Assim, se : I U , (t) = (u(t), v(t)) uma geodsica, ento (veja equaes


locais de uma geodsica, Manfredo, pg. 69):
2
d2 u X d xi d xj
0= 2
+ 1ij
dt i,j=1
dt dt
2
d2 u X d xi d u d xi d v
 
= 2 + 1i1 + 1i2
dt i=1
dt dt dt dt
0 0
! !
d2 u >d u d u + 1 d u d v dv du >d v d v
111
= 2 +  
12 + 121 122
+ 
dt dt dt dt dt dt dt dt dt
d2 u f0 d u d v
= 2
+2 .
dt f dt dt
e
2
d2 v X d xi d xj
0= 2 + 2ij
dt i,j=1
dt dt
2
d2 v X d xi d u d xi d v
 
= 2 + 2i1 + 2i2
dt i=1
dt dt dt dt
0 0
! !
d2 v du du >d u d v >d v d u + 2 d v d v
= 2 + 211 212
+  221
+  
22
dt dt dt dt dt dt dt dt dt
ff0 f 0 f 00 + g 0 g 00
2 2
d2 v du dv
 
= 2 02 + .
dt f + g 02 dt f 02 + g 02 dt

(c)

(d) O raio do paralelo (f (v) cos u, f (v) sen u, g(v)) igual a |f (v)| que, neste caso,
igual a f (v) = v (pois 0 < v < ). Portanto, a relao de Clairaut fica
v cos = cte. Ou seja, se (t) = (u(t), v(t)) uma geodsica em U , ento
v(t) = coscte
(t) .

26