Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
4 de novembro de 2017
Sumrio
0 Variedades Diferenciveis 2
1 Mtricas Riemannianas 3
1
Captulo 0
Variedades Diferenciveis
2
Captulo 1
Mtricas Riemannianas
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
Assim,
hu, vip = hu, vi = hu, vi = hdAp (u), dAp (v)ip = hdAp (u), dAp (v)iA(p) .
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 ,
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 ,
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
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
g: Tn Tn
(eix1 , . . . , eixn ) 7 [(x1 , . . . , xn )]
|1 1
V f |Up (x1 , . . . , xn ) = |V f ([(x1 , . . . , xn )])
= |1
V (e
ix1
, . . . , eixn )
= (x1 , . . . , xn )
= 1Up (x1 , . . . , xn ),
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 ,
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)
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
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)
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.
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
1
= hu, vi = hu, viz
(Imz)2
9
Provemos este fato. Sejam = (x, y), u = (u1 , u2 ) e v = (v1 , v2 ) C R2 .
Temos
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
X(x0 , x1 , x2 . . . , xn ) = (x0 , x2 , . . . , xn ) .
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).
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 .
12
Captulo 2
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
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.
De fato, temos
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.
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).
DV
(t0 ) = ( d c Y )(t0 ) = X(c(t0 )) Y = X(p) Y = (X Y )(p). ()
dt dt
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
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 .
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,
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
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.
20
(b) Introduza uma mtrico pseudo-Riemanniana em Rn+1 pela forma quadrtica
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 .
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.
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
Y (p)
(X Y )(p) = , p Rn+1 .
X(p)
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 ,
23
Captulo 3
Geodsicas; Vizinhanas
Convexas
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.
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 .
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
(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