Mtodo do Referencial Mvel no L3

Ivo Terek Couto

28 de maio de 2015

Neste texto adaptaremos o Mtodo do Referencial Mvel, as formas de conexo

e equaes de estrutura do R3 para o espao de Lorentz-Minkowski L3 = (R3 , ds2 ),
onde ds2 = dx2 + dy2 dz2 .
Aplicaremos os resultados provados para superfcies de tipo espao e para super-
fcies de tipo tempo. O texto no abordar superfcies de tipo luz (isotrpicas).
Notaremos ds2 (V, W) hV, Wi. No adotaremos a conveno de Einstein para
somatrios.
No final, provamos o Theorema Egregium de Gauss: a Curvatura Gaussiana
um objeto intrnseco superfcie.

Sumrio
1 Formas de Conexo 2

2 Equaes de Estrutura 5

3 Exemplos 8
3.1 O plano hiperblico H21 (1)+ . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2 O espao de De Sitter S21 (1) . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

4 Shape Operator e o Theorema Egregium 12

1
1 Formas de Conexo
Definio 1.1 (Frame field). Campos de vetores {E1 , E2 , E3 } formam um campo de
referenciais se {E1 (p), E2 (p), E3 (p)} uma base ortonormal de Tp (L3 ) para todo p L3 .
E denotamos por X(L3 ) o conjunto de todos os campos de vetores diferenciveis em
L3 .
Lema 1.1. Seja V X(L3 ) e {Ei }3i=1 um campo de referenciais. Temos:
X
3
V= i hV, Ei iEi ,
i=1

onde i = hEi , Ei i.
Observao 1.1. A notao i = hEi , Ei i ser amplamente usada ao longo do texto
sem maiores comentrios. Tambm notamos que o tipo causal de Ei no depende do
ponto p pois o produto Lorentziano contnuo e i s assume dois valores, 1 e 1.

Demonstrao: Como Pos E i formam um campo de

referenciais,
P i  temos
Pquei hEi , Ej i =

P
i ij . Escreva V = i V i
Ei . Ento h V , E j i = i V Ei , Ej = i V hEi , Ej i =
2
i V i ij = V j . Mas em todos os casos possveis, j = 1, ento multiplicando
i j

os dois lados por j obtemos V j = j hV, Ej i.

A conexo de Levi-Civita do L3 a mesma do R3 , a saber, a derivada direcional,

gozando das propriedades usuais:

C1) fV W = fV W

C2) V W = V W

C3) V (fW) = V[f]W + fV W

C4) [V, W] = V W W V

C5) X[hV, Wi] = hX V, Wi + hV, X Wi,

para quaisquer X, V, W X(L3 ), f C (L3 , R), R.

A ideia escrever as derivadas covariantes de um campo de referenciais {Ei }3i=1
em funo dos prprios. Dado v Tp (L3 ), j ajustando sinais, temos:
v E1 = 1 11 (v)E1 (p) + 2 21 (v)E2 (p) + 3 31 (v)E3 (p)
v E2 = 1 12 (v)E1 (p) + 2 22 (v)E2 (p) + 3 32 (v)E3 (p)
v E3 = 1 13 (v)E1 (p) + 2 23 (v)E2 (p) + 3 33 (v)E3 (p)
P
De modo geral, v Ei = j j ji (v)Ej (p). Pelo Lema, temos ji (v) = hv Ei , Ej (p)i.
Do mesmo jeito as relaes acima valem para campos V X(L3 ).
Lema 1.2. Seja {Ei }3i=1 um campo de referenciais em L3 . Para cada v tangente ao L3
em p, defina:
ji (v) = hv Ei , Ej (p)i.
Ento cada ji uma 1-forma e ji = ij . As ji so chamadas as formas de
conexo do campo de referenciais {Ei }3i=1 .

2
Demonstrao: Dados v, w tangentes e R, temos, por definio:

ji (v + w) = hv+w Ei , Ej (p)i
= hv Ei + w Ei , Ej (p)i
= hv Ei , Ej (p)i + hw Ei , Ej (p)i
= ji (v) + ji (w).

Agora fixe v um vetor tangente qualquer. Sabemos que hEi , Ej i = i ij . Aplicando

v[], temos:
v[hEi , Ej i] = 0 = hv Ei , Ej (p)i + hEi (p), v Ej i = 0
E:

hv Ei , Ej (p)i + hv Ej , Ei (p)i = 0 = ji (v) + ij (v) = 0 = ji (v) = ij (v)

Como v era arbitrrio, segue o resultado.

O seguinte resultado mais um resumo do que foi feito at agora:

Teorema 1.1 (Equaes de Conexo). Sejam {ji }1i,j3 as formas de conexo de um

campo de referenciais {Ei }3i=1 . Ento dado um campo V X(L3 ), valem:
X
V Ei = j ji (V)Ej , 1 i 3.
j

Note que quando i = j, temos ii = ii . Portanto 11 = 22 = 33 = 0.

Podemos reunir nossas informaes em uma matriz:

0 21 31

= 21 0 32
31 32 0

Ento as equaes de conexo, explicitamente, so:

V E1 = 2 21 (V)E2 + 3 31 (V)E3
2
V E2 = 1 1 (V)E1 + 3 32 (V)E3
V E3 = 1 31 (V)E1 2 32 (V)E2

O nosso prximo passo introduzir um mtodo prtico para calcular os ij .

Teorema 1.2 (Atitude no L3 ). Seja {Ei }3i=1 um campo de referenciais no L3 , {ij }1i,j3
as suas formas de conexo,Pe {i }3i=1 o frame natural do L3 . Suponha que para cada
1 i 3, escrevamos Ei = k gkk aki k . Chamamos A = (aji )1i,j3 a matriz de atitude
do frame {Ei }3i=1 , e dA = (daji )1i,j3 a sua diferencial. Ento vale:

= dA GAt ,

onde G = diag[1, 1, 1] a matriz da mtrica h, i do L3 na base {i }3i=1 .

3
 P
Demonstrao: Seja V X(L3 ). Escreva Ei = k gkk aki k . Ento:

X X X
!
V Ei = V gkk aki k = gkk V (aki k ) = gkk (V[aki ]k + aki V k ),
k k k
P
mas V k = 0 e V[aki ] = daki (V), ento V Ei = k gkk daki (V)k . E a:

X
* +
ji (V) = hV Ei , Ej i = gkk daki (V)k , Ej
k
X X X
* +
= gkk daki (V)hEj , k i = gkk daki (V) grr arj r , k
k k r
XX XX
= gkk grr grk daki (V)arj = gkk grr grr rk daki (V)arj
k r k r
X
= gkk daki (V)akj = (da1i (V)a1j + da2i (V)a2j da3i (V)a3j )
k

Agora vamos verificar que esta ltima expresso , de fato, o elemento (i, j) da
matriz dA GAt = (ji )1i,j3 . Temos:

X X X
!
j
i = k t j
dai (GA )k = d ai
k t j
gkr (A )r
k k r
X X X
!
= daki gkr arj = daki (gk1 a1j + gk2 a2j + gk3 a3j )
k r k
= (da1i a1j + da2i a2j 3 3
dai aj ).

Conclumos que = dA GAt .

4
2 Equaes de Estrutura
Nosso objetivo nesta seo conseguir resultados anlogos s equaes de estru-
tura de Cartan no R3 , para o L3 .

Definio 2.1 (Formas duais). Seja {Ei }3i=1 um campo de referenciais no L3 . Ento as
suas formas duais (geomtricas) {i }3i=1 so as 1 formas tais que i (Ej ) = i ij , para
quaisquer i e j.

Proposio 2.1 (Caracterizao das formas duais). Seja {Ei }3i=1 um campo de referen-
ciais no L3 , e {i }3i=1 as suas formas duais. Ento temos:

i (V) = hV, Ei i,

para qualquer V X(L3 ).

P
Demonstrao: Escreva V = j V j Ej . Ento:

X X X
!
i (V) = i V j Ej = V j i (Ej ) = V j i ij = i V i .
j j j

Mas por outro lado:

X X X X
* +
V= V j Ej = hV, Ei i = V j Ej , Ei = V j hEj , Ei i = V j i ij = i V i .
j j j j

Observao 2.1. Em vista desta caracterizao,

P podemos reescrever a expanso or-
3 i
tonormal de um campo V X(L ) como V = i i (V)Ei .

Proposio 2.2. Sendo x1 , x2 e x3 as funes coordenadas do L3 , e {i }3i=1 o frame

natural, e {dxi }3i=1 as suas formas duais geomtricas, ento vale que dxi = gii dxi .

Demonstrao: Pela caracterizao de formas duais, temos que:

X X X
* +
dxi (V) = hV, i i = V j j , i = V j hj , i i = V j gij = gii V i = gii dxi (V).
j j j

Assim dxi = gii dxi .

Teorema 2.1 (Expresso dual). Seja {Ei }3i=1 um campo de referenciais em L3 , {i }3i=1
suas formas
P duais, {i }3i=1 o frame natural, e {dxi }3i=1 suas formas duais geomtricas. Se
j
Ei = j gjj ai j para 1 i 3, ento vale:
X
i = gjj aji dxj .
j

5
 P
Demonstrao: Sabemos que i = j i (j )dxj . Mas pela caracterizao das formas
duais:

X X
* +
i (j ) = hj , Ei i = gkk aki k , j = gkk aki hk , j i
k k
X
= gkk aki gjk = aji .
k

P P
Ento finalmente obtemos i = j aji dxj = j gjj aji dxj .

Observao 2.2. Em suma, o resultado acima nos diz que basta trocar Ei por i e j
por dxj para acharmos as expresses corretas para os i .

Teorema 2.2 (1as equaes de estrutura). Seja {Ei }3i=1 um campo de referenciais em
L3 , e {i }3i=1 suas formas duais. Sejam {ji }1i,j3 as suas formas de conexo. Ento
vale: X
di = j ji j .
j

P
Demonstrao: Escreva Ei = j gjj aji j para 1 i 3. Temos:
X X  
V Ei = k ki (V)Ek = k ki (V) gjj ajk j
k k
XX X X
!
= k gjj ki (V)ajk j = gjj k ki (V)ajk j
k j j k

Por outro lado:

X X
!
V Ei = V gjj aji j = gjj V (aji j )
j j
X   X
= gjj V[aji ]j + aji V j = gjj daji (V)j
j j

P P
Ento por comparao temos que daji (V) = k k ki (V)ajk . Partindo de i = j gjj aji dxj
e aplicando d, temos:

X X X
!
di = gjj daji dxj = gjj k ki ajk dxj
j j k

X X X
!
= k ki gjj ajk dxj = k ki k .
k j k

6
Teorema 2.3 (2as equaes de estrutura). Seja {Ei }3i=1 um campo de referenciais em
L3 , e {i }3i=1 suas formas duais. Sejam {ji }1i,j3 as suas formas de conexo. Ento
vale: X
dji = k ki jk
k

P
Demonstrao: Escreva Ei = j gjj aji j para 1 i 3. Na demonstrao anterior
P
vimos que daij (V) = k k i (V)akj . Aplicar d novamente mata essa expresso,
k

ento faamos isso:

d(daij ) = 0
X
!
d k ki ajk =0
k
X  
k d ki ajk = 0
k
X
k (dki ajk ki dajk ) = 0
k
X X
k dki ajk = k ki dajk
k k
X X X
!
k dki ajk = k ki r rk ajr
k k r
X X X
!
r dri ajr = r k ki rk ajr
r r k

Cada membro desta igualdade um elemento da matriz produto de uma matriz de

formas com a matriz (aji )1i,j3 , que no-singular. E como nenhum dos vetores
luz, todos os r so no-nulos, ento existe uma matriz inversa esquerda do vetor
coluna (r )1r3 . Ento multiplicando a expresso direita pela inversa da matriz
(aji )1i,j3 e esquerda pela inversa dos r , obtemos:
X
dji = k ki jk .
k

Tudo o que foi desenvolvido aqui se passa para uma superfcie M L3 , tomando-
se um referencial adaptado {Ei }3i=1 , isto , um referencial com E3 normal M.
Calcular as formas duais e as formas de conexo apenas em vetores tangentes
M uma restrio fatal a 3 , que torna-se zero (pois todo vetor tangente ento
ortogonal a E3 ). A seguir, exemplos.

7
3 Exemplos
3.1 O plano hiperblico H21 (1)+
Recorde:
H21 (1)+ = {(x, y, z) L3 | x2 + y2 z2 = 1, z > 0}.
Esta superfcie pode ser parametrizada por x(u, v) = (senh u cos v, senh u sen v, cosh u).
Temos:

xu (u, v) = (cosh u cos v, cosh u sen v, senh u)

xv (u, v) = ( senh u sen v, senh u cos v, 0)

Calculando a primeira forma fundamental, temos E = 1, F = 0 e G = senh2 u. Com

isto, montamos o seguinte campo de referenciais (omitindo o ponto de aplicao,
daqui pra frente):


E1 = (cosh u cos v, cosh u sen v, senh u), 1 = 1
E2 = ( sen v, cos v, 0), 2 = 1


E3 = (senh u cos v, senh u sen v, cosh u), 3 = 1
1
Observao 3.1. O fato de termos E1 = xu , E2 = senh x e ambos serem tipo espao
u v
(sem alterao de sinal), j nos indica que teremos ao longo da superfcie 1 = du e
2 = senh u dv e 3 = 0 (pois E3 normal H21 (1)+ ). Vamos confirmar isto fazendo as
contas.

Temos:


E1 = cosh u cos v 1 + cosh u sen v 2 ( senh u) 3
E2 = sen v 1 + cos v 2 ,


E3 = senh u cos v 1 + senh u sen v 2 ( cosh u) 3

e portanto a atitude do frame :

cosh u cos v cosh u sen v senh u

A = sen v cos v 0
senh u cos v senh u sen v cosh u

Ento:

= dA GAt
senh u cos v du cosh u sen v dv senh u sen v du + cosh u cos v dv cosh u du

= cos v dv sen v dv 0
cosh u cos v du senh u sen v dv cosh u sen v du + senh u cos v dv senh u du
cosh u cos v sen v senh u cos v

cosh u sen v cos v senh u sen v

senh u 0 cosh u
0 cosh u dv du

= cosh u dv 0 senh u dv .
du senh u dv 0

8
Ento temos as formas de conexo e suas derivadas:


1 2
= cosh u d v 2
d1 = senh u du dv
31 = du = d31 = 0

3
3
2 = senh u dv d2 = cosh u du dv

Agora vamos calcular as suas formas duais. Recorde que dx1 = dx1 , dx2 = dx2 e
dx3 = dx3 . Partindo da parametrizao inicial x, temos

1
dx = cosh u cos v du senh u sen v dv
dx2 = cosh u sen v du + senh u cos v dv

3
dx = senh u du

Provamos que partindo das expresses dos Ei em termos dos i , basta trocar os Ei
por i e os i por dxi . J passando para os dxi , temos:

1 1 2
= cosh u cos v dx + cosh u sen v dx + ( senh u) dx
3
= du
2 1 2
= sen v dx + cos v dx = senh u dv

3 1 2 3
= senh u cos v dx + senh u sen v dx + ( cosh u) dx = 0

Assim, d1 = d3 = 0 e d2 = cosh u du dv. Valem as primeiras equaes de

estrutura:

1  1
0 2 2 3 3
:0
= (cosh u dv) (senh u dv) = 0 = d1
:
 
1
 1 + 2 1 + 3
 1

:0 :0
1 12 1 +  2 2
2 +
3 3
2 = ( cosh u dv) du = cosh u du dv = d
2
 
2 3

:0
1 13 1 + 2 23 2 +  3 3
3 = du du + (senh u dv) (senh u dv) = 0 = d
3

3


Verificamos tambm as segundas equaes de estrutura:

:0
1  2 2  2
:0 3 2
1 1 +  1 2 + 3 1 3 = (du) (( senh u dv)) = senh u du dv = d21
 

1
  2

:0
1  3 2 3 3 3
0
1 1 + 2 1 2 +  1 3 = (cosh udv) ( senh u dv) = 0 = d31
 :

1
  3

:0 0
1 12 31 +  2  3
2 2 + 
3 3 3
2 3 = ( cosh u dv) (du) = cosh u du dv = d2

 :

2
 3


3.2 O espao de De Sitter S21 (1)

Recorde:
S21 (1) = {(x, y, z) L3 | x2 + y2 z2 = 1}.
Esta superfcie pode ser parametrizada por x(u, v) = (cosh u cos v, cosh u sen v, senh u).
Temos:

xu (u, v) = (senh u cos v, senh u sen v, cosh u)

xv (u, v) = ( cosh u sen v, cosh u cos v, 0)

9
Calculando a primeira forma fundamental, temos E = 1, F = 0 e G = cosh2 u. Com
isto, montamos o seguinte campo de referenciais (omitindo o ponto de aplicao,
daqui pra frente):


E1 = (senh u cos v, senh u sen v, cosh u), 1 = 1
E2 = ( sen v, cos v, 0), 2 = 1


E3 = (cosh u cos v, cosh u sen v, senh u), 3 = 1
1
Observao 3.2. O fato de termos E1 = xu , E2 = cosh x com E1 tipo tempo, intuiti-
u v
vamente, sugere uma alterao de sinal no dual de E1 nos indicando que teremos ao
longo da superfcie 1 = du e 2 = cosh u dv e 3 = 0 (pois E3 normal S21 (1)).
Vamos confirmar isto fazendo as contas.
Temos:


E1 = senh u cos v 1 + senh u sen v 2 ( cosh u) 3
E2 = sen v 1 + cos v 2 ,


E3 = cosh u cos v 1 + cosh u sen v 2 ( senh u) 3

e portanto a atitude do frame :

senh u cos v senh u sen v cosh u

A = sen v cos v 0
cosh u cos v cosh u sen v senh u

Ento:

= dA GAt
cosh u cos v du senh u sen v dv cosh u sen v du + senh u cos v dv senh u du

= cos v dv sen v dv 0
senh u cos v du cosh u sen v dv senh u sen v du + cosh u cos v dv cosh u du
senh u cos v sen v cosh u cos v

senh u sen v cos v cosh u sen v

cosh u 0 senh u
0 senh u dv du

= senh u dv
0 cosh u dv .
du cosh u dv 0

Ento temos as formas de conexo e suas derivadas:

2
1 = senh u dv 2
d1 = cosh u du dv
31 = du = d31 = 0

3
3
2 = cosh u dv d2 = senh u du dv

Agora vamos calcular as suas formas duais. Recorde que dx1 = dx1 , dx2 = dx2 e
dx3 = dx3 . Partindo da parametrizao inicial x, temos

1
dx = senh u cos v du cosh u sen v dv
dx2 = senh u sen v du + cosh u cos v dv

3
dx = cosh u du

10
 Provamos que partindo das expresses dos Ei em termos dos i , basta trocar os
Ei por i e os i por dxi . J passando para os dxi , temos:

1 1 2 3
= senh u cos v dx + senh u sen v dx + ( cosh u) dx = du
2 = sen v dx1 + cos v dx2 = cosh u dv

3
= cosh u cos v dx1 + cosh u sen v dx2 + ( senh u) dx3 = 0

Assim, d1 = d3 = 0 e d2 = senh u du dv.

Valem as primeiras equaes de estrutura:

1  1
0 2
:0
1 + 2 1 2 +  3 3
= (senh u dv) (cosh u dv) = 0 = d1
:
 
1
  3
1
:0 :0
1 12 1 +  2 2
2 +
3 3
2 = ( senh u dv) (du) = senh u du dv = d
2
 
2
 3

:0
1 13 1 + 2 23 2 +  3 3
3 = (du) (du) + (cosh u dv) (cosh u dv) = 0 = d
3

3


Verificamos tambm as segundas equaes de estrutura:

1  2
:0 :0
2  2 3 2
1 1 +  1 2 + 3 1 3 = du (cosh u dv) = cosh u du dv = d21
 

1
  2

1  3
:0 2 3 3 3
0
1 1 + 2 1 2 +  1 3 = (senh udv) ( cosh u dv) = 0 = d31
 :

1
  3
:0 0
1 12 31 +  2  3
3 
3
( senh u dv) du = senh u du dv = d32

 :

22 2 + 
3 2
  3 =

11
4 Shape Operator e o Theorema Egregium
Definio 4.1. Seja M L3 uma superfcie regular. Seja {Ei }3i=1 um referencial
adaptado M. Dado p em M, o operador Sp : Tp M Tp M dado por Sp (v) = v E3
chamado o shape operator de M em p, na direo de E3 .
De fato o contra-domnio de Sp Tp M, pois:
hE3 , E3 i = 3 = v[hE3 , E3 i] = v[3 ] = 2hv E3 , E3 (p)i = 0 = hSp (v), E3 (p)i = 0,
e da Sp (v) ortogonal a E3 (p), portanto est em Tp M.
Definio 4.2. Seja M L3 uma superfcie regular. A Curvatura Gaussiana de M
em p a funo K : M R dada por K(p) =  det(Sp ), e a Curvatura Mdia de M
a funo H : M R dada por H(p) = 2 tr(Sp ), onde  o sinal da direo normal.
Teorema 4.1 (Gauss - Theorema Egregium). Seja M L3 uma superfcie regu-
lar, {Ei }3i=1 um referencial adaptado M, {i }3i=1 as suas formas duais geomtricas, e
{ji }1i,j3 as suas formas de conexo. Ento:
d21 = K 1 2 .
Alm disso, a Curvatura Gaussiana intrnseca superfcie.

Demonstrao: Para provar que duas 2-formas so iguais, devemos provar que
elas coincidem em todas as possibilidades de pares de elementos de uma fixada base
do domnio, Tp M. claro que calculando ambos os lados nos pares (Ei , Ei ), i = 1, 2
ambos os lados se anulam. Vamos ver que coincidem calculadas em (E1 , E2 ).
Temos, usando as definies e omitindo o ponto p em todas as ocorrncias:
S(E1 ) = s11 E1 + s12 E2 = E1 E3 = 1 31 (E1 ) + 2 32 (E1 )
S(E2 ) = s21 E1 + s22 E2 = E2 E3 = 1 31 (E2 ) + 2 32 (E2 ),
isto , 
s11 = 1 31 (E1 ), s12 = 2 32 (E1 )
s21 = 1 31 (E2 ), s22 = 2 32 (E2 )
Usando as segundas equaes de estrutura:
d21 = 1 11 21 + 2 21 22 + 3 31 23
= 3 31 23
= 1 2 31 23 ,
de modo que:
d21 (E1 , E2 ) = 1 2 (31 23 )(E1 , E2 )
 3
 (E1 ) 3 (E2 )

= 1 2  21 1
3 (E1 ) 23 (E2 )


 1 3 (E1 ) 1 31 (E2 ) 
 
1
=
2 23 (E1 ) 2 23 (E2 )

 
 s11 s12 
= 
s21 s22 
= det(S) = K

12
E por outro lado:
 1 1
0
  
( E 1 ) ( E 2 ) 1
K (1 2 )(E1 , E2 ) = K  2
   
 = K 
2  0 2  = 1 2 K = K.

(E 1 ) (E 2 ) 
Por fim, conclumos que K um objeto intrnseco M, pois s depende de objetos
tangentes M: 1 , 2 , d21 (nada com ndice 3).

Proposio 4.1. Seja M L3 uma superfcie regular, {Ei }3i=1 um referencial adaptado
M, {i }3i=1 as suas formas duais geomtricas, e {ji }1i,j3 as suas formas de conexo.
Ento:
31 2 + 1 32 = 2H 1 2 ,
onde  o sinal da direo normal M.

Demonstrao: Vamos aproveitar toda a notao da demonstrao anterior. Nova-

mente precisamos mostrar que ambos os lados calculados em todos os pares possveis
(Ei , E2 ), i = 1, 2, coincidem. Se i = j trivial. Caso contrrio:
(31 2 + 1 32 )(E1 , E2 ) = (31 2 )(E1 , E2 ) + (1 32 )(E1 , E2 )
 3
 (E1 ) 3 (E2 )  1 (E1 ) 1 (E2 ) 
  
1 1
=  2 +
(E1 ) 2 (E2 )  32 (E1 ) 32 (E2 )

 3
 ( E 1 ) 3 ( E 2 )    1 0
  
=  1 1

+ 3 3
0

2  2 (E1 ) 2 (E2 )
= 2 31 (E1 ) + 1 32 (E2 )
= 1 31 (E1 ) 2 32 (E2 )
= (s11 + s22 )
=  tr(S)
= 2H.
Por outro lado:
 1
 (E1 ) 1 (E2 )  1 0 
  
1 2
2H ( )(E1 , E2 ) = 2H  2  = 2H 
 0 2  = 21 2 H = 2H.
(E1 ) 2 (E2 )


Observamos que H no uma quantidade intrnseca a M, pois depende de 31 e 32 .

Exemplo 4.1 (Exemplos revisitados).

Para o plano hiperblico H21 (1)+ temos:
d21 = K 1 2 = senh u du dv = K du (senh u dv),
e simplificando temos du dv = K du dv, e da K = 1. Tambm:
31 2 + 1 32 = 2H 1 2
du (senh u dv) + du ( senh u dv) = 2H du (senh u dv)
2 senh u du dv = 2 senh u H du dv
H = 1.

13
 Para o espao de De Sitter S21 (1) temos:

d21 = K 1 2 = cosh u du dv = K (du) (cosh u dv),

e simplificando temos du dv = K du dv, e da K = 1. Tambm:

31 2 + 1 32 = 2H 1 2
du (cosh u dv) du ( cosh u dv) = 2H (du) (cosh u dv)
2 cosh u du dv = 2 cosh u H du dv
H = 1.

Referncias
[ON] Barrett ONeill, Elementary Differential Geometry, Elsevier, 2006.

[DC] Manfredo P. Do Carmo, Differential Forms and Applications, Springer-

Verlag, 1991.

14