Apostila Teoria Da Relatividade

Teoria da Relatividade Geral www.fisica.net Prof.
Alberto Ricardo Prass Verso 27/02/2000

1
OS FUNDAMENTOS DA TEORIA
DA RELATIVIDADE GERAL
1
Por Albert Einstein
A - Consideraes bsicas sobre o postulado da relatividade
1 - Notas sobre a teoria da relatividade especial
A teoria da relatividade especial assenta n seguinte postulado, ao qual satisfaz tambm a me-
cnica de Galileu - Newton: se um sistema de coordenadas K for de tal maneira escolhido que as
leis da fsica sejam nele vlidas na sua forma mis simples, ento as mesmas leis sero igualmente
vlidas em relao a qualquer outro sistema de coordenadas K' que em relao a K esteja animado
de um movimento de translao uniforme. Chamaremos a este postulado o "Princpio da Relativi-
dade Especial". Com a palavra "especial " deve entender-se que o princpio se restringe ao caso em
que K ' tem um movimento de translao uniforme em relao a K, no devendo portanto a equi-
valncia de K com K' estender-se ao caso em que haja movimento no uniforme de K' em relao
K.
Sendo assim, no o postulado da relatividade que afasta da mecnica clssica a teoria da re-
latividade, mas to somente o postulado da constncia da velocidade da luz no vcuo, do qual, em
combinao com o princpio da relatividade especial, deriva, do modo conhecido, a relatividade da
simultaneidade, assim como a transformao de Lorentz e as leis, com esta relacionadas, do com-
portamento em movimento dos corpos rgidos e dos relgios.
A modificao experimentada pela teoria do espao e tempo atravs da teoria da relatividade
especial , na verdade, profunda; mas permanece intacto um ponto importante: a teoria da relativi-
dade especial continua a aceitar que os princpios da geometria tm o significado imediato de leis
sobre as possveis posies relativas de corpos rgidos (em repouso) e, de um modo mais geral, que
os princpios da cinemtica so as leis que regem o comportamento das rguas de medio e dos
relgios. A dois pontos materiais considerados sobre um corpo (rgido) corresponde sempre, segun-
do essas leis, um segmento de comprimento inteiramente determinado, independente da localizao
e da orientao do corpo, assim como do tempo; e a duas posies dadas de um ponteiro de relgio
que esteja em repouso em relao a um sistema de referncia ( que seja admissvel) corresponde
sempre um intervalo de tempo de extenso determinada, independente de local e de poca. Daqui a
pouco se mostrar que a teoria da relatividade geral no pode aderir a uma interpretao fsica do
espao e tempo to simples como esta.
2 - Sobre as razes que sugerem a necessidade de uma extenso do postulado da rela-
tividade.
A mecnica clssica, e, no menos que ela, a teoria da relatividade especial, incluem um de-
feito epistemolgico que foi posto em evidncia, provavelmente pela primeira vez, por E. Mach.
Vamo-lo apresentar no exemplo seguinte: suponhamos que dois corpos fludos, da mesma espcie e
________________
1
Extrado de Ann. d. Phys. 49 ( 1916).
Teoria da Relatividade Geral www.fisica.net Prof. Alberto Ricardo Prass Verso 27/02/2000
2
igual tamanho, flutuam livremente no espao, a uma distncia de tal maneira grande um do outro ( e
de todas as restantes massas) que as nicas foras de gravitao a considerar so as que entre si
exercem as partes componentes de um mesmo corpo.
Suporemos invarivel a distncia entre os corpos, e inexistente qualquer movimento relativo
entre as partes de um mesmo corpo; mas admitiremos que cada uma das massas - vista por um ob-
servador imvel em relao outra apresenta, em torno da reta que une as duas massas, um mo-
vimento de rotao de velocidade angular constante (havendo assim um movimento relativo verifi-
cvel entre as duas massas). Imaginemos agora que, por meio de rguas ( em repouso relativo), se
fazem medies sobre as superfcies dos dois corpos ( S
1
e S
2
) , chegando-se concluso de que
esfrica a superfcie de S
1
e elipsoidal de revoluo a de S
2
.
Pergunta-se agora: por que razo se comportam de modo diverso S
1
e S
2
? Uma resposta a esta
pergunta s pode ser considerada satisfatria do ponto de vista epistemolgico
2
se aquilo que se
apresentar como causa dor um fato experimental observvel : porque a lei da causalidade s pode
tomar-se como uma lei do mundo da experincia se unicamente fatos observveis aparecerem em
ltima anlise como causas e efeitos.
A mecnica newtoniana no d a esta pergunta qualquer resposta satisfatria. Com efeito o
que ela diz o seguinte: as leis da mecnica tm validade num espao R
1
em relao ao qual o cor-
po S
1
est em repouso, mas no a tm num espao R
2
em relao ao qual est em repouso S
2
. O es-
pao admissvel de Galileu que aqui se introduz ( assim como o movimento relativo referido a ele)
uma causa puramente fictcia, nada que seja observvel. Torna-se assim claro que a mecnica de
Newton, no caso considerado, no satisfaz de fato, mas apenas de modo aparente, exigncia da
causalidade, dado que atribui a uma causa meramente fictcia, R
1
, a diferena de comportamento
que se observa nos corpos S
1
e S
2
.
Uma resposta aceitvel para a questo acima formulada s pode ser a seguinte: como o siste-
ma fsico formado por S
1
e S
2
no apresenta dentro de si nada que seja possvel imaginar como cau-
sa da diferena de comportamento de S
1
e S
2
, essa causa tem de se encontrar fora do sistema. Che-
ga-se assim idia de que as leis gerais do movimento de que resultam, como aplicao particular,
as formas de S
1
e S
2
devem ser tais que o comportamento mecnico destes corpos fique condiciona-
do de um modo decisivo por massas distantes, no includas no sistema considerado. Em tais mas-
sas distantes ( e nos seus movimentos relativos a respeito dos corpos considerados) que se devem
considerar residindo as causas, em princpio observveis, da diferena de comportamento dos cor-
pos de que nos estamos a ocupar: so elas que assumem o papel da causa fictcia R
1
. De todos os
espaos imaginveis R
1
, R
2
, etc. , que se movam em relao uns aos outros de qualquer modo, ne-
nhum deles deve "a priori "ser preferido, se no quisermos fazer ressurgir a objeo epistemolgica
apresentada. As leis da fsica devem ter uma estrutura tal que a sua validade permanea em siste-
mas de referncia animados de qualquer movimento. Chegamos deste modo a um alargamento do
postulado da relatividade.
Mas, alm deste 'ponderoso argumento epistemolgico, h tambm um fato fsico bem conhe-
cido que advoga uma extenso da teoria da relatividade. Seja K um referencial de Galileu, isto , um
sistema de referncia tal que, em relao a ele ( e pelo menos no domnio quadridimensional consi-
________________
2
claro que uma tal resposta pode ser aceitvel do ponto de vista epistemolgico e no entanto continuar inaceitvel do
ponto de vista fsico, por estar em contradio com outras experincias.
3
derado), uma massa suficientemente afastada de outras massas se desloca em movimento retilneo e
uniforme. Seja K' um segundo sistema de coordenadas que tem, em relao a K , um movimento de
translao uniformemente acelerado. Teramos ento uma massa suficientemente afastada de outras
massas animada de movimento acelerado relativamente a K ' , sendo a sua acelerao, tanto em
grandeza como em direo, independente da sua composio material e do seu estado fsico. Poder
um observador, em repouso relativamente a K' , inferir daqui que se encontra sobre um referencial
"realmente" acelerado ?
A resposta a tal pergunta tem que ser negativa.
Com efeito, o referido comportamento de massas que se movem livremente em relao a K'
susceptvel de uma outra interpretao, igualmente boa, que a seguinte: o referencial K' no est
animado de movimento acelerado, mas existe um campo de gravidade no domnio espao-temporal
considerado, e esse campo que origina o movimento acelerado dos corpos em relao a K'.
O que torna possvel esta maneira de conceber as coisas o fato de a experincia nos ter ensi-
nado que existe um campo de foras (o campo da gravidade) que possui a notvel propriedade de
comunicar a todos os corpos a mesma acelerao.
3
O comportamento mecnico dos corpos em rela-
o a K' o mesmo que a experincia nos revela em relao a sistemas que estamos habituados a
considerar como sistemas "em repouso" , ou seja, como sistemas "admissveis"; o que, do ponto de
vista fsico, sugere a aceitao de que os dois sistemas K eK' se podem com igual direito considerar
"em repouso", isto , como sistemas igualmente admissveis para a descrio fsica dos fenmenos.
Resulta das consideraes feitas que o desenvolvimento da teoria da relatividade geral deve
conduzir ao mesmo tempo a uma teoria da gravitao, dado que se pode "produzir" um campo de
gravidade por uma simples mudana de sistema de coordenadas. V-se tambm imediatamente que
o princpio da constncia da velocidade da luz no vazio tem de ser modificado; porque, como facil-
mente se compreende, a trajetria de um raio de luz em relao a K' em geral curvilnea se, em
relao a K , a luz se propagar em linha reta e com velocidade constante.
3 - O contnuo espao-tempo. Exigncia de covarincia geral para as equaes que ex-
primem as leis gerais da natureza.
Na mecnica clssica, bem como na teoria da relatividade especial, as coordenadas de espao
e de tempo tm uma significao fsica direta. Dizer que um ponto-acontecimento tem a coordenada
x
1
sobre o eixo X
1
significa: que a projeo do ponto-acontecimento sobre o eixo X
1
, feita por meio
de rguas rgidas segundo as regras da geometria euclidiana, se pode obter aplicando sobre o eixo
X
1
, a partir da origem das coordenadas e no sentido positivo, x
1
vezes uma determinada rgua - a
rgua-unidade. Dizer que um ponto tem sobre o eixo X
4
a coordenadax
4
=t significa: que um re-
lgio-unidade (regulado segundo determinadas prescries), imvel em relao ao sistema de coor-
denadas e coincidente no espao (praticamente) com o ponto-acontecimento, tem acabado de efetuar
x
4
= t ciclos de funcionamento quando ocorre o ponto-acontecimento.
4
-________________
3
Etvs demonstrou experimentalmente que o campo da gravidade possui com extrema preciso esta propriedade.
4
A possibilidade de constatar a "simultaneidade" de acontecimentos em vizinhana espacial imediata, ou - mais rigo-
rosamente em vizinhana imediata espao-temporal (coincidncia) ser aqui admitida sem dar uma definio a este
conceito fundamental.
4
Esta concepo de espao e de tempo sempre andou na mente dos fsicos, ainda que inconsci-
entemente para a maior parte deles, e a prova est o papel que estes conceitos desempenham na fsi-
ca mtrica. E tambm o leitor deve ter alicerado nessa concepo a segunda das reflexes do pa-
rgrafo anterior para poder ligar um sentido a esses raciocnios. Mas vamos mostrar agora que ela
tem de ser abandonada e substituda por outra mais geral, se quisermos conciliar o postulado da re-
latividade geral com a validade da teoria da relatividade especial no caso limite da ausncia de cam-
po da gravidade.
Num espao livre de campos de gravidade introduzamos um sistema de referncia de Galileu
K ( x, y, z t) e, alm disso, um sistema de coordenadas K' ( x', y', z', t') em movimento de rotao
uniforme. Supem-se em coincidncia permanente as origens dos dois sistemas, assim como os seus
eixos Z. vamos mostrar que as normas acima estabelecidas para definir o significado fsico de com-
primentos e tempos no podem ser mantidas para uma medio espao-temporal no sistema K'. Por
razes de simetria, claro que uma circunferncia traada no plano X-Y de K com centro na ori-
gem pode, ao mesmo tempo, ser considerada como circunferncia no plano X' - Y' de K' . Suponha-
mos agora que se mede o permetro e o dimetro desta circunferncia com uma rgua-unidade ( in-
finitamente pequena em relao ao raio) e que se calcula o quociente dos resultados das medies.
Se a experincia tiver sido efetuada com uma rgua imvel em relao ao sistema de Galileu K ,
obter-se- como quociente o nmero . Mas o resultado ser um nmero maior que se for obtido
com uma rgua que esteja imvel em relao ao sistema K'. Reconhece-se isto facilmente quando
se aprecia todo o processo de medio partindo do sistema "em repouso" K, e se tem em conta que a
rgua disposta ao longo da circunferncia sofre a contrao de Lorentz, ao passo que uma rgua
disposta ao longo do raio no a sofre. Sendo assim, a geometria euclidiana no vlida no sistema
K'; e o conceito de coordenada acima definido, visto que pressupe a validade daquela geometria,
tambm no aplicvel ao sistema K' .
Tambm no ser possvel introduzir em K' um tempo que corresponda s exigncias da fsi-
ca, definindo-o com relgios de idntica constituio, imveis em relao a K' . Para o reconhecer-
mos, bastar que imaginemos dois relgios idnticos, um na origem das coordenadas, outro sobre a
circunferncia, sendo observados a partir do sistema "em repouso" K . De acordo com um conheci-
do resultado da teoria da relatividade especial, o relgio colocado sobre a circunferncia apresenta -
quando observado de K - um ritmo de funcionamento mais lento que o relgio colocado na origem,
visto que aquele est animado de movimento e este no. Um observador situado na origem comum
das coordenadas que fosse capaz de observar, por meio da luz, o relgio situado sobre a circunfe-
rncia, verificaria portanto que este relgio se atrasa em relao ao relgio que tem junto de si. E,
recusando-se a admitir que a velocidade da luz, no percurso em questo, dependa explicitamente do
tempo, ele interpretar a sua observao dando-lhe o significado de que o relgio colocado sobre a
circunferncia tem "realmente" um ritmo mais lento que o relgio colocado na origem. Deste modo
no lhe ser possvel evitar uma definio de tempo que inclua o fato de o ritmo de um relgio de-
pender do lugar em que se encontra.
Chegamos assim a esta concluso: na teoria da relatividade geral no possvel dar s grande-
zas espao e tempo definies que permitam a medio direta de diferenas de coordenadas espaci-
ais por meio de uma rgua-unidade e a de intervalos de tempo por meio de um relgio-padro.
Assim, o processo at agora utilizado para estabelecer coordenadas, de uma maneira determi-
nada, no contnuo espao-temporal, torna-se impraticvel, e no parece haver nenhum outro cami-
nho que permita encontrar sistemas de coordenadas de tal forma adequados ao universo quadridi-
mensional que da sua aplicao se pudesse esperar para as leis da natureza uma formulao parti-
5
cularmente simples. nada mais resta, por conseguinte, que considerar como equivalentes em princ-
pio para a descrio da natureza todos os sistemas de coordenadas que se possam imaginar.
5
Isto
equivale a exigir a seguinte condio:
As leis gerais da natureza devem ser representadas por equaes que tenham validade em
todos os sistemas de coordenadas, isto , que sejam covariantes em relao a toda e qualquer
substituio (covarincia geral).
claro que uma fsica que satisfaa a este postulado tambm satisfaz o postulado da relativi-
dade geral, porque em todas as substituies esto sempre necessariamente includas aqueles que
correspondem a todos os movimentos relativos dos sistemas de coordenadas (tridimensionais). Que
esta exigncia de convari6ancia geral, que tira ao espao e ao tempo os ltimos resduos de objetivi-
dade fsica, seja uma exigncia natural resulta da reflexo seguinte. Todas as nossas constataes
espao-temporais reduzem-se sempre determinao de coincidncias espao-temporais. Se, por
exemplo, o processo consistir apenas no movimento de pontos materiais, a nica coisa que em lti-
ma anlise observvel o encontro de dois ou mais desses pontos. Mesmo os resultados das nos-
sas medies outra coisa no so que a constatao de tais encontros entre pontos materiais das nos-
sas rguas e outros pontos materiais, ou ento coincidncias entre ponteiros de relgios, pontos de
mostrador e os pontos-acontecimentos que se esto considerando e ocorrem no mesmo lugar e no
mesmo instante.
A introduo de um sistema de referncia no tm outro fim que no seja uma descrio mais
fcil do conjunto de tais coincidncias. Suponhamos que se associam ao universo quatro variveis
espao-temporais x
1
, x
2
, x
3
, x
4
, de tal modo que a cada ponto-acontecimento corresponda um sis-
tema de valores das variveis x
1
, ... x
4
. A dois pontos-acontecimentos em coincidncia corresponde
o mesmo sistema de valores das variveis x
1
, ... x
4
; isto , a coincidncia caracteriza-se pela iden-
tidade dos valores das coordenadas. Se em vez das variveis x
1
, ... x
4
se introduzirem como coorde-
nadas de um novo sistema funes arbitrrias delas, x
1
, x
2
, x
3
, x
4
de tal modo que os sistemas de
valores se correspondam univocamente, ento tambm no novo sistema a coincidncia espao-
temporal de dois pontos-acontecimento se exprimir pela identidade de valores de cada uma das
quatro coordenadas. Como toda a nossa experi6encia fsica pode, em ltima anlise, ser reduzida a
tais coincidncias, no h nenhuma razo para dar preferncia a determinado sistema de coordena-
das em relao a outros, isto , chegamos ao postulado da covarincia geral.
4 Relao das quatro coordenadas com os resultados das medies espaciais e tempo-
rais. Expresso analtica para o campo da gravidade.
No minha inteno neste artigo apresentar a teoria da relatividade geral como um sistema
lgico, simplificado na medida do possvel, com um mnimo de axiomas. O meu fim principal
antes desenvolver esta teoria de modo a fazer sentir ao leitor como psicologicamente natural o
caminho que se tomou e como se revelam seguras atravs da experincia as bases de que se partiu.
Com este objetivo em vista, estabeleceremos agora a seguinte premissa:
Desde que se faa uma escolha apropriada de coordenadas, torna-se possvel a teoria da relati-
vidade no sentido restrito a domnios quadridimensionais infinitamente pequenos.
________________
5
No mencionaremos aqui certas restries impostas pela exigncia da coordenao unvoca e pela da continuidade.
6
Nessa escolha deve atribuir-se ao sistema de coordenadas infinitamente pequeno "local" um
estado de acelerao tal que fique removido todo e qualquer campo de gravidade: o que para uma
regio infinitamente pequena possvel. Sejam X
1
, X
2
, X
#
, as coordenadas espaciais de tal sis-
tema; X
4
a respectiva coordenada temporal , medida numa unidade apropriada
6
. Estas coordenadas
tm para uma dada orientao do sistema de coordenadas, um significado fsico direto dentro da te-
oria da relatividade especial, desde que se adapte como rgua-unidade uma barra rgida. A expres-
so:
(1) d s dX dX dX dX
2
1
2
2
2
3
2
4
2

tem ento, segundo a teoria da relatividade espacial, um valor que independente da orientao do
sistema de coordenadas local e que determinvel por medio espao-temporal. Chamaremos a
das grandeza do elemento da linha correspondente a pontos infinitamente prximo do espao qua-
dridimensional. Se o ds
2
correspondente ao elemento (dX
1
.... dX
4
) for positivo, ns diremos como
Minkowski que este ltimo elemento de gnero temporal e no caso contrrio de gnero espacial.
Suponhamos que, em vez do sistema "local" de caractersticas especiais acima referido, se
adapta como referencial um sistema quadridimensional qualquer, definindo-o para a regio que es-
tamos considerando. Ento, ao nosso " elemento de linha", ou ao respectivo par de pontos-
acontecimento, correspondero tambm determinadas diferenciais dx
1
... dx
4
das coordenadas desse
referencial. E ento os dX
v
sero representveis por expresses lineares e homogneas. dos dx :
(2) d X d x
y

Se se introduzirem estas expresses em (1) , obtm-se

(3) ds g dx dx
2

Nestas expresses, os g so funes dos x . os seus valores no podero j depender da
orientao e do estado de movimento do sistema de coordenadas "local", se quisermos admitir como
definio para o ds
2
a de uma grandeza associada a pares de pontos acontecimento considerados no
espao-tempo, independente de qualquer escolha particular de coordenadas, e determinvel por
meio de medies de rgua e relgio. Imporemos escolha dos g t a condio g = g . O so-
matrio, estendido a todos os valores de e , dar-nos- ento uma soma de 4 x 4 parcelas, das
quais 12 so duas a duas iguais.
Da definio que acabamos de dar ao ds
2
poder passar-se para o caso da teoria da relativida-
de habitual sempre que o condicionamento particular dos g num domnio finito permita estabele-
cer nesse domnio um sistema de referncia em que os g assumam os valore constantes
________________
6
A unidade de tempo deve ser escolhida de tal modo que a velocidade da luz no vcuo medida no sistema de coor-
denadas " local " seja igual a 1.
7
(4 )
'
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
Veremos mais tarde que a escolha de tais coordenadas para domnio finitos no geralmente
possvel.
Das consideraes feitas nos 2 e 3 resulta que, do ponto de vista fsico, as grandezas g
devem ser consideradas como sendo aquelas que, relativamente ao sistema de referncia que foi es-
colhido, fazem a descrio do campo de gravidade. Com efeito, admitamos que, para um determi-
nado domnio quadridimensional considerado, se conseguiu alcanar a validade da teoria da relati-
vidade especial mediante uma adequada escolha das coordenadas. Os g tm ento os valores da-
dos em (4). Um ponto material livre ter ento, em relao a este sistema, um movimento rectilneo
e uniforme. Se agora introduzirmos, por uma substituio arbitrria, novas coordenadas espao-
temporais x
1
, ..., x
4
, os g no novo sistema no sero j constantes, ma sim funes do espao-
tempo. Ao mesmo tempo, o movimento do ponto material livre apresenta-se nas novas coordenadas
como um movimento curvilneo, no uniforme, cuja lei independente da natureza do ponto mate-
rial mvel. Isso leva-nos a interpret-lo como um movimento sujeito influncia de um campo de
gravidade. A interveno de um campo de gravidade aparece-nos, deste modo, associada a uma va-
riabilidade espao-temporal dos g . No caso geral no possvel fazer uma escolha de coordena-
das que permita alcanar a validade da teoria da relatividade especial num domnio finito, mas
mesmo nesse caso manter-nos-emos fiis idia de que g descrevem o campo gravitacional.
A gravidade desempenha pois, na teoria da relatividade geral, um papel excepcional em rela-
o s outras foras, e particularmente em relao s foras electromagnticas, visto que as 10 fun-
es g que fazem a descrio do campo gravitacional determinam, ao mesmo tempo, as proprie-
dades mtricas do espao mtrico quadridimensional.
B - Instrumentos matemticos para a construo de equaes de covarincia geral
Depois de termos reconhecido, nas pginas precedentes, que o postulado da relatividade geral
leva exigncia de que os sistemas de equaes da fsica sejam covariantes em relao a substitui-
es arbitrrias de coordenadas x
1
, ..., x
4
, temos que pensar na maneira de obter essas equaes de
covarincia geral. deste problema, puramente matemtico, que nos vamos ocupar agora. Como
vamos ver, na sua resoluo desempenha um papel fundamental o invariante ds , ao qual demos o
nome de "elemento de linha " , tirado da teoria das superfcies de Gauss.
A idia fundamental desta teoria geral dos covariantes a seguinte: Suponhamos que se defi-
nem em relao a todo o sistema de coordenadas certos entes ( "tensores" ), sendo a definio feita
por meio de um certo nmero de funes espaciais, que se chamaro as " componentes" do tensor.
H ento determinadas regras pelas quais se podem calcular estas componentes para um novo sis-
tema de coordenadas, desde que sejam conhecidas para o sistema original, e desde que seja tambm
conhecida a transformao que liga os dois sistemas. Os entes a que daqui em diante chamaremos
tensores so, alm disso, caracterizados pelo fato de as equaes de transformao para as suas
componentes serem lineares e homogneas. Sendo assim, todas as componentes no novo sistema se
anulam, se isso tambm suceder a todas elas no sistema primitivo. Consequentemente uma lei da
natureza que seja formulada pelo anulamento de todas as componentes de um tensor de covarin-
8
cia geral: procurando as leis de formao dos tensores obteremos os meios de formulao de leis de
covarincia geral.
5 - Quadrivetores contravariantes e covariantes.
Quadrivetor contravariante. O elemento da linha define-se pelas quatro componentes dx
y
, cuja
lei de transformao se exprime pela equao.
(5) d x
x
x
y v
'
'

Os dx'

exprimem-se nos dx
v
, por equaes lineares e homogneas; isto permite-nos consi-
derar estas diferenciais das coordenadas dx
v
como componentes de um " tensor" a que daremos a
designao especial de quadrivetor contravariante. Todo o ente que em relao ao sistema de coor-
denadas se defina por meio de quatro grandezas A
y
transformveis segundo a mesma lei.
(5 a) A
x
x
A
v v
v

'
'

ser igualmente denominado quadrivetor contravariante. De (5 a ) resulta imediatamente que as so-
mas ( A
+ B

) so componentes de um quadrivetor de A

eB

tambm o forem. O mesmo se
aplica a todos os sistemas que mais tarde forem introduzidos como " tensores" (regra da adio e
subtrao dos tensores).
Quadrivetor covariante: Diremos que quatro grandezas A
y
so as coponentes de um quadrive-
tor covariante se para toda e qualquer escolha de um vector contravariante B
y
.
(6) A B In iante
v
v
v
var .
Desta definio resulta a lei da transformao do quadrivetor covariante. Com efeito, substituindo
no segundo membro da equao.
A B A B
v
v
v
' '

B
y
pela seguinte expresso, que se obtm invertendo a equao ( 5 a )
x
x
B
v
'
'
resulta B
x
x
A B A
v
v
'
'
' '

mas daqui resulta a seguinte lei de transformao, se atender os a que os B

'
se podem escolher ar-
bitrariamente, em completa independncia uns dos outros.
9
(7) A
x
x
A
v
v

'
'
Nota sobre uma simplificao utilizada no modo de escrever as expresses

Um rpido exame das equaes deste pargrafo mostra que, sempre que um ndice aparece
duas vezes debaixo do sinal de somatrio, se efetua sobre ele uma soma [ por exemplo o ndice v
em (5)], e que somente sobre tais ndices que as somas se efetuam. Isto permite omitir o sinal de
somatrio, sem com isso prejudicar a clareza. Estabeleceremos ento a seguinte regra: sempre que
um ndice aparea duas vezes num termo de uma expresso, subentende-se que sobre ele se efetua
uma soma, a no ser que expressamente se declare contrrio.
A diferena entre o quadrivetor covariante e o contravariante reside na lei de transformao
[(7) ou (5 a) , respectivamente]. tanto uma como outra desta formas constituem tensores no sentido
que atrs se deu a esta palavra, e nisso que reside a sua importncia. Seguindo Ricci e Levi-Civita,
indicaremos o carter contravariante com um ndice superior e o covariante com um ndice inferior.
6 - Tensores de segunda ordem e de ordem superior.
Tensor contravariante. Se formarmos todos os produtos A
v
das componentes A

e

B
v
de
dois quadrivetores contravariantes obteremos 16 quantidades.
(8) A A B
v '
que, de acordo com (8) e ( 5 a) , satisfazem a lei de transformao

(9) A
x
x
x
x
A
v
v

'
' '
Chamaremos tensor contravariante de segunda ordem a um ente que, em relao a todo o sis-
tema de referncia, descrito por 16 grandezas (funes) que obedecem lei de transformao (9) .
Nem todo o tensor desta espcie se pode construir, como (8), com dois quadrivetores. Mas pode-se
demonstrar facilmente que 16 A
v
arbitrariamente dados podem ser representados pelas somas dos
A

e B
v
de quatro pares de vectores convenientemente escolhidos. E por isso quase todas as leis
que so vlidas para os tensores de segunda ordem definidos por (9) podem ter a sua demonstrao
muito simplificada, efetuando a prova para tensores especiais do tipo (8).
Tensor contravariante de qualquer ordem. claro que, em correspondncia com (8) e (9),
tambm se podem definir tensores contravariantes da terceira ordem e de ordem mais elevada, com
4
3
. etc., componentes. Resulta igualmente de (8) e (9) que o quadrivetor contravariante se pode,
neste sentido, considerar como tensor contravariante de primeira ordem.
Tensor covariante. Se, por outro lado, formarmos os 16 produtos A
v
das componentes de
dois quadrivetores covariantes A

e B
v
obteremos quantidades
(10) A

v
=A

B
v
,
10
para as quais vlida a lei de transformao
(11) A
x
x
x
x
A
v

'
' '
por meio desta lei de transformao que se define o tensor covariante de segunda ordem.
Todas as observaes que at aqui se fizeram a respeito dos tensores contravariantes so igualmente
vlidos para os tensores covariantes.
NOTA: conveniente tratar o escalar (invariante) como tensor de ordem zero, que tanto
contravariante como covariante.
Tensor misto: Pode tambm definir-se um tensor de segunda ordem do tipo.
(12) A
v =A

B
v

,
que covariante quanto ao ndice e contravariante quanto ao ndice v . A sua lei de transformao
(13) A
x
x
x
x
A
'
'
'
'
claro que h tensores mistos com um nmero qualquer de ndices de carter covariante e
com um nmero qualquer de ndice de carter contravariante. O tensor covariante e o tensor contra-
variante podem ser considerados casos especiais do tensor misto.
Tensores simtricos: Um tensor contravariante ou covariante de segunda ordem ou de ordem
mais elevada diz-se simtrico quando so iguais duas componentes provenientes uma da outra pela
permuta de dois ndices quaisquer. O tensor A
v
ou o A
v
, pois simtrico se for para qualquer
combinao dos ndices, respectivamente
(14) A
v
= A
v
, ou
(14 a ) A
v

= A
v
necessrio demonstrar que a simetria assim definida uma propriedade independente do
sistema de referncia. Com efeito, de (9) resulta, atendendo a (14),
A
x
x
x
x
A
x
x
x
x
A
x
x
x
x
A A
v v v

' '
' ' ' ' ' '

A penltima igualdade provm da permuta dos ndices de soma e v ( isto , de uma simples
mudana de notao).
Tensores anti-simtricos: Um tensor contravariante ou covariante de segunda, terceira ou
quarta ordens diz-se anti-simtrico quando duas componentes provenientes uma da outra por per-
mutao de dois ndices quaisquer so iguais e de sinais contrrios. O tensor A
v
, ou o

A
v
,
pois anti-simtrico sempre que se tenha, respectivamente
11
(15) A
v
= A
v
, ou
(15 a) A
v

= A
v
.
Das 16 componentes A
v
reduzem-se a zero as quatro A

; as restantes so, aos pares, iguais
e de sinais contrrios, de modo que s h 6 componentes numericamente diferentes (vetor de seis
componentes ou sextivector). Do mesmo modo se v que o tensor anti-simtrico A
v
( de terceira
ordem) s tem quatro componentes numericamente diferentes, o tensor A
v t
s tem uma, e no h,
no contnuo de quatro dimenses, tensores anti-simtricos de ordem superior quarta.
7 - Multiplicao de tensores
Multiplicao externa de tensores: Com as componentes de um tensor de ordem z e as de um
outro de ordem z' podem obter-se as componentes de um tensor de ordem z +z' , multiplicando
duas a duas todas as componentes do primeiro por todas as componentes do segundo. assim, que,
no exemplo seguinte, se obtm os tensores T custa de tensores A e B , de diversas espcies.
T A B
T A B
T A B
A prova do carter tensorial dos T resulta diretamente das expresses (8), (10), (12) ou das
regras de transformao (9), (11), (13). As equaes (8), (10), (12) so em si mesmas exemplos de
multiplicao externa (de tensores de primeira ordem).
Contradio de um tensor misto: A partir de qualquer tensor misto pode-se formar um tensor
de ordem inferior em 2 unidades do primeiro, igualando um ndice de carter covariante a um de
carter contravariante e somando em relao a tal ndice ( " contrao" ) . Assim, por exemplo, do
tensor misto de quarta ordem A

obtm-se o tensor de segunda ordem.
A A A
_
,
e deste, novamente por contrao, o tensor de ordem zero A A A

A prova de que o resultado da contrao possui realmente carter tensorial obtm-se com a
representao tensorial feita de acordo com a generalizao (12) em combinao com (6), ou ento
por generalizao de (13).
Multiplicao interna e mista de tensores: estas operaes consistem na combinao da mul-
tiplicao externa com a contrao.
Exemplos. Com o tensor covariante de segunda ordem A
v
, e o tensor contravariante de pri-
meira ordem B

formamos, por multiplicao externa, o tensor misto
D A B
.
12
Por contrao segundo os ndices v , forma-se o quadrivetor covariante.
D
= D A B
.
Chamar-lhe-emos produto interno dos tensores A
v
e B

forma-se, por multiplicao externa e du-
pla contrao, o produto interno A
v
B
v
. Com o resultado da multiplicao externa e uma s
contrao obtm-se a partir de A
v
e B

o tensor misto de segunda ordemD A B
.
Pode-se, adequadamente, designar por mista esta operao, visto que externa em relao aos ndi-
ces e e interna em relao aos ndices v e .
Vamos agora demonstrar um teorema que se aplica muitas vezes ara verificar o carter tenso-
rial. Segundo o que acabamos de expor, A
v
B
v
um escalar se A
v
e B

forem tensores. Pois
vamos agora estabelecer tambm o seguinte:
Se A
v
B
v
for um invariante para toda e qualquer escolha do tensor B
v
, ento A
v
tem ca-
rter tensorial.
Demonstrao:
Tem-se, por hiptese, para uma substituio arbitrria,
A

' B
'
= A
v
B
v
Mas, por inverso de (9)
B
x
x
x
x
B

' '
'
Substituindo na equao anterior:
A
x
x
x
x
A B

'
' '
_
,
0
Esta igualdade s pode ser satisfeita, sendo arbitrria a escolha de B
'
, se a expresso dentro
do parntese for nula. Daqui resulta, atendendo a (11), o teorema que enunciamos.
Pode-se, de modo anlogo, demonstrar um teorema correspondente a este para tensores de
qualquer ordem e de qualquer carter.
O mesmo teorema pode ainda demonstrar-se na forma seguinte:
Se B

e C
v
forem vectores arbitrrios e se , quaisquer que eles sejam, o produto interno
A
v
B

C
v
for um escalar, ento A
v um tensor covariante.
13
Podemos estender a validade desta ltima proposio ao caso mais restrito de a invarincia se
verificar no produto escalar
A
v
B

B
v
para uma escolha arbitrria do quadrivetor B

, desde que saibamos que A
v
obedece condio de
simetria A
v =
A
v

. Com efeito, prova-se ento, seguindo o caminho que acabamos de indicar, que
(A
v
+

A
v
) tem carter tensorial, donde se segue, por virtude da propriedade da simetria, o car-
ter tensorial de A
v.
Tambm este teorema se pode generalizar facilmente ao caso de tensores cova-
riantes e contravariantes de qualquer ordem.
Finalmente, resulta do que foi demonstrado o seguinte teorema, que pode igualmente ser ge-
neralizado a quaisquer tensores: Se as grandezas A
v
B
v
formam um tensor de primeira ordem para
uma escolha arbitrria do quadrivetor B
v
, ento A
v
um tensor de segunda ordem. Com efeito, se
C

for um quadrivetor arbitrrio, ento, por causa do carter tensorial de A
v
B
v
, o produto interno
A
v
C

B
v
ser um escalar, qualquer que seja a escolha dos quadrivetores C

e B
v
: donde re-
sulta a afirmao feita.
8. Algumas notas sobre o tensor fundamental dos g
v
O tensor fundamental covariante. Na expresso invariante do quadrado do elemento da linha
ds
2
= g
v
dx

dx
y
, dx

desempenha o papel de um vector contravariante de escolha arbitrria. E
como, alm disso, g
v =
g
v
, segue-se, em conformidade com as consideraes do ltimo pargrafo,
que g
v
um tensor covariante de segunda ordem. Chamar-lhe-emos " tensor fundamental". Dedu-
ziremos de seguida algumas propriedades deste tensor, que na verdade pertencem a todo o tensor de
segunda ordem; mas o papel especial desempenhado pelo tensor fundamental na nossa teoria, que
tem os seus fundamentos fsicos na peculiaridade das aes gravticas, faz com que as relaes a
desenvolver s tenham importncia para ns em relao ao tensor fundamental.
O tensor fundamental contravariante. Tomemos no determinante formado com os elementos
g
v
o menor correspondente a cada um dos g
v
e dividamo-lo pelo determinante g =|g
v
| dos g
v
: obteremos assim certas grandezas g
v
(=g
v
) que, como vamos demonstrar, forma um tensor
contravariante.
Segundo uma conhecida propriedade dos determinantes, teremos
(16) g
v
g
v
=

v
,
onde o smbolo

v
significa 1 ou 0, consoante for = v ou v . Em vez da expresso ante-
rior de ds
2
podemos ento tambm escrever
g
v

v
dx
dx
v
ou ainda, , atendendo a ( 16 ),
g
v
g
v
g

dx
dx
v
Mas, segundo as regras de multiplicao dos pargrafos precedentes, as grandezas
14
d = g
dx
formam um quadrivetor covariante, que de escolha arbitrria (dado que o so os
dx
). Introduzin-
do-o na nossa expresso, obtemos
ds
2
= g

d

d
Como isto um escalar para uma escolha arbitrria do vector d

g

por definio simtrico
nos ndices e , segue-se , de acordo com os resultados do pargrafo precedente, que g

um
tensor contravariante. De (16) resulta ainda que

v
tambm um tensor: chamar-lhe-emos tensor
fundamental misto.
Determinante do tensor fundamental. Pela regra de multiplicao dos determinantes, teremos
| g

g
v
| = | g

| | g
v
|
Por outro lado,
| g

g
v
| = |
v
| =1
Donde
(17) | g
v
| | g
v
| =1
O invariante do volume
7
. Comecemos por determinar a lei de transformao do determinante
g =| g
v
| . Em vista de (11) temos
g
x
x
x
x
g '
' '
.

________________
7
No raciocnio que se segue omitem-se por simplicidade, o sinais de integral, que em rigor seriam necessrios.
15
Daqui resulta, aplicando duas vezes a regra da multiplicao de determinantes
g
x
x
x
x
g
x
x
g '
' ' '
,

2
ou g
x
x
g '
'
.

Por outro lado, a lei de transformao do elemento

d = dx
1
dx
2
dx
3
dx
4
segundo o conhecido teorema de J acobi
d
x
x
'
'
d
Multiplicando as duas ltimas equaes, obtm-se
(18)
g
'
d
'
= g d .
Em vez de g introduziremos no que se seguea grandeza g , que tem sempre valor real, em
virtude do carter hiperblico do contnuo espao-tempo. O invariante g d igual grandeza
do elemento de volume quadridimensional, medido no "sistema de referncia local" por meio de
barras rgidas e relgios, tal como na teoria da relatividade especial.
Nota sobre o carter do contnuo espao-tempo. A nossa suposio de que a teoria da relativi-
dade especial sempre vlida no infinitamente pequeno arrasta consigo a conseqncia de que ds
2
se pode sempre exprimir, de acordo com (1), por meio das grandezas reais dx
1,
dx
2,
dx
3,
dx
4 .
Se
designarmos por d
0
o elemento de volume "natural" dx
1,
dx
2
, dx
3,
dx
4,
teremos ento
(18a) d
0
= g . d .
Se g tendesse para zero em determinado local do contnuo quadridimensional, isso signi-
ficaria que, nesse local, a um volume finito definido com as coordenadas corresponderia um volume
"natural" infinitamente pequeno. Admitamos que isso no possa nunca suceder. Nesse caso, g no
poder mudar de sinal: admitiremos, em acordo com a teoria da relatividade especial, que g tem
sempre um valor finito negativo. Isto constitui uma hiptese sobre a natureza fsica do contnuo
considerado e, ao mesmo tempo, uma estipulao sobre a escolha das coordenadas.
Mas se g sempre positivo e finito, est naturalmente indicado que se faa "a posteriori"
uma escolha de coordenadas tal que esta grandeza seja igual a 1. Veremos mais tarde que uma tal
16
limitao imposta escolha das coordenadas permite chegar a uma simplificao aprecivel das leis
da natureza. Em vez de (18) , temos ento simplesmente
d
'
= d
donde, atendendo ao teorema de J acobi,
(19)

x
x
'
= 1
Com esta escolha de coordenadas s so pois admissveis as substituies de coordenadas que te-
nham determinante igual a 1.
Seria porm errneo crer que este passo represente uma renncia parcial ao postulado da rela-
tividade geral. No perguntaremos: "quais so as leis da Natureza que so covariantes em relao a
todas as transformaes cujo determinante 1? " Perguntamos sim: " quais so as leis da natureza
de covarincia geral ?" S depois de as termos estabelecido que faremos uma escolha particular
do sistema de referncia par simplificar a sua expresso.
Construo de novos tensores por meio do tensor fundamental . Por meio da multiplicao
interna, da multiplicao externa e da multiplicao mista de um tensor pelo tensor fundamental
formam-se tensores de outro carter e de outra ordem.
Exemplos:
A g A
A g A

Notem-se especialmente as construes seguintes:

A g g A
A g g A

(" complementos", respectivamente, do tensor covariante e do contravariante), e

B g g A

Chamaremos B
o tensor reduzido correspondente a A

. Analogamente
B g g A

Note-se que g
v
no mais que o complemento de g
v
. Com efeito
g g g g g

.
9 - Equao da linha geodsica ( isto , do movimento do ponto)
Como o " elemento da linha" ds uma grandeza definida independentemente do sistema de
coordenadas, tambm a linha traada entre os dois pontos P
1
e P
2
do contnuo quadridimensional
17
para a qual
ds um extremo ( linha geodsica) tem um significado independente da escolha das

coordenadas. A sua equao
(20) ds
P
P
1
2
0
'
.
Partindo desta equao chega-se por um conhecido processo do clculo das variaes a quatro equa-
es diferenciais totais, que determinam esta linha geodsica. Para apresentar o assunto de um modo
completo, vamos fazer aqui essa deduo. Seja uma funo das coordenadas x
v
; esta funo defi-
ne uma famlia de superfcies que interceptam a linha geodsica procurada, assim como as linhas
infinitamente prximas desta que passem pelos pontos P
1
e P
2
. Qualquer destas linhas pode ento
imaginar-se determinada pela expresso das suas coordenadas x
v
em funo de . Suponhamos que
o smbolo corresponde ao transporte de um ponto da linha geodsica procurada para o ponto de
uma curva vizinha que corresponde ao mesmo . Nesse caso, poderemos substituir (20) por (20 a)

wd
w g
d x
d
d x
d
'
0
2
2
2
Mas como

w
w
g
x
dx
dx
dx
d
x g
dx
d
dx
d
v
+

_
,
'
1 1
2
resulta, substituindo w em (20 a), tendo em conta que
d x
d
d x
d
_
,
,
e aps integrao parcial
(20 b)
x x d
x
d
d
g
w
dx
d w
g
x
d x
d
d x
d
v

'
'
0
1
2
1
2
Daqui resulta, por ser arbitrria a escolha dos x , que os x
se reduzem a zero:
(20c) x
=0.
Tais so as equaes da linha geodsica. Se no for ds =0 sobre a linha geodsica considerada, po-
deremos tomar como parmetro o " comprimento de arco " s medido sobre a linha geodsica.
Ser ento w =1 e, em vez de (20c), teremos:
g
d x
ds
g
x
dx
ds
d x
ds
g
x
dx
ds
d x
ds

2
2
1 0 +
18
ou, com uma simples mudana de notao
(20d) g
d x
ds
d x
d s
d x
ds

2
2
0 +

1
]
1

onde se introduziu, seguindo Christoffel
(21)
1
]
1
+
_
,
1
2
g
x
g
x
g
x
.
Se, finalmente, multiplicarmos (20d) por g x (multiplicao externa em relao a e interna em
relao a ), obtm-se para forma definitiva da equao da linha geodsica
(22)
d x
ds
d x
ds
dx
ds
2
2
0
+

'

na qual se introduziu, seguindo Christoffel
(23)
'
1
]
1
g
10 - A construo de tensores por meio de diferenciao
Apoiados na equao da linha geodsica podemos agora deduzir facilmente as leis segundo as
quais se podem construir por diferenciao novos tensores a partir doutros. S ento os encontrare-
mos aptos a formular equaes diferenciais de covarincia geral. Atingiremos este objetivo por apli-
cao repetida deste simples teorema:
Se, no nosso contnuo, os pontos de uma dada curva forem definidos pela medida s do arco
( "Bogendistanz " ) que os separa de um determinado ponto fixo da curva, e se for uma funo
espacial invariante, ento d ds ser tambm um invariante. A prova est em que tanto d como
ds so invariantes.
Ora, sendo
d
ds x
dx
ds

segue-se que tambm

x
dx
ds
um invariante, sendo-o para todas as curvas que partam de um ponto do contnuo, isto , para uma
escolha arbitrria do vector dos dx

. Daqui resulta imediatamente que
19
(24) A
x
um quadrivetor covariante (gradiente de )

Segundo o nosso teorema, tambm a derivada tomada sobre uma curva um invariante.
Substituindo pela sua anterior expresso resulta
x
dx x
dx
ds
dx
ds x
d x
ds
+

2 2
2
Daqui no se pode inferir diretamente a existncia de um tensor. Mas se estabelecermos agora que
a curva sobre a qual se fez a diferenciao uma linha geodsica, ento, por substituio de d
2
x
v
/ds
2
pela sua expresso tirada de (22), teremos:
x
dx x x
dx
ds
dx
ds

'
'

2
Como se pode inverter a ordem das diferenciaes em relao a e v e como, segundo (23) e
(21), o colchete
'
simtrico relativamente a e v, segue-se que a expresso entre parnteses

tambm simtrica em e v . E, como a partir de um ponto do contnuo se pode traar uma linha
geodsica em qualquer direo , sendo portanto dx

/ ds um quadrivetor de livre escolha da razo
de componentes, segue-se, de acordo com os resultados do 7, que
(25) A
x d x x

'
2
um tensor covariante de segunda ordem.
Chegamos deste modo ao seguinte resultado:
com o tensor covariante da primeira ordem
A
x
pode-se construir, por diferenciao, um tensor covariante de segunda ordem

(26) A
A
x v
A

'
A este tensor A v chamaremos a "extenso" ( Erweiterung ) do tensor A

.
20
Poderemos agora mostrar facilmente que o processo de formao de expresses que acaba-
mos de indicar continua a originar tensores quando j no se verifique a condio acima admitida de
A poder ser considerado um gradiente.
Para provarmos isso, comecemos por notar que
d x
um quadrivetor covariante quando e forem escalares. Tambm assim sucede a uma soma de
quatro termos anlogos ao anterior.
S
x x

+ + +
( )
( )
( )
( )
. . ,
1
1
4
4
desde que (
1
) (
1
) ... (
4
) (
4
) sejam escalares.
Ora claro que qualquer quadrivetor covariante se pode representar na forma S : com efei-
tos, se A for um quadrivetor cujas componentes sejam dadas por funes quaisquer dos x
v
, basta-
r tomar (em relao ao sistema de coordenadas escolhido)
(
1
) = A
1
, (
1
) =x
1
,
(
2
) = A
2
, (
2
) =x
2
,
(
3
) = A
3
, (
3
) =x
3
,
(
4
) = A
4
, (
4
) =x
4
,
para se conseguir que S se torne igual a A .
Sendo assim, se conseguirmos demonstrar que A v um tensor sempre que, no segundo
membro da sua expresso, A represente um quadrivetor da forma S , demonstrada ficar a mes-
ma afirmao para o caso de A representar um quadrivetor covariante inteiramente arbitrrio.
Ora um rpido exame de (26) mostra que basta fazer a demonstrao para o caso de ser
A
x

para que fique feita para S . Considerando ento esse caso, notemos que o produto por do se-
gundo membro de (25)

2
x d x v x

'
tem carter tensorial. E

21
x x
igualmente um tensor (produto externo de dois quadrivetores). De uma adio resultar ento o
carter tensorial de

x x x
_
,

'
_
,
.
Com isto fica feita a demonstrao para o quadrivetor

x
com se reconhece imediatamente olhando para (26). E portanto ficar igualmente feita, como se
provou, para todo e qualquer quadrivetor A .
Recorrendo extenso do quadrivetor, fcil definir a "extenso" de um tensor covariante de
ordem arbitrria por generalizao daquela. Limitar-nos-emos a estabelecer a extenso do tensor de
segunda ordem, porque esta deixa j compreender claramente qual a lei de formao.
Como j foi notado, todo o tensor covariante de segunda ordem pode ser representado por
uma soma de tensores do tipo A Bv
8
. Bastar por isso deduzir a frmula da "extenso" para ten-
sores deste tipo especial.
De acordo com (26), as expresses

A
x
A
Bv
x
B

'

'
tm carter tensorial. Multiplicando externamente a primeira por Bv e a segunda por A , obtm-se

em cada um dos casos um tensor de terceira ordem; a adio desses tensores d o tensor, tambm de
terceira ordem,
(27) A
A
x
A A

'

'
________________
8
Por multiplicao externa dos vectores que tm respectivamente por componentes A
11
, A
12
, A
13
, A
14
, e 1, 0, 0, 0,
forma-se um tensor com as componentes
A
11
A
12
A
13
A
14
0 0 0 0
0 0 0 0
0 0 0 0
Por adio de quatro tensores deste tipo obtm-se o tensor cujas componentes foram arbitrariamente prefixadas.
onde se ps A v = A Bv . Como o segundo membro de (27) linear e homogneo em relao aos
Av e suas primeiras derivadas, esta lei de formao conduz a um tensor, no s quando se parte de
22
um tensor do tipo A Bv , mas ainda quando se parte de uma soma de tensores desse tipo, isto ,
quando se parte de um tensor covariante arbitrrio de segunda ordem. Ao tensor A v daremos o
nome de extenso do tensor A v .
claro que (26) e (24) exprimem apenas casos especiais de extenso (de tensores de ordem 1
e de ordem ), respectivamente). De um modo geral, todas as leis especiais de construo de tensores
ordem ser consideradas provenientes de (27) em combinao com multiplicao de tensores.
11. Alguns casos particulares de especial importncia
Alguns lema respeitantes ao tensor fundamental.
Vamos agora estabelecer frmulas que nos ho de ser de grande utilidade no que se segue.
Em virtude da regra da diferenciao de determinantes, tem-se
(28) dg g gdg g g dg
A ltima expresso obtm-se da penltima, atendendo a que

g g onde g g e por consegu e
g g g dg

' int
'
'

+
4
0
De (28) resulta
(29)
1 1
2
1 1
2
1
2

g
g
x
g g
x
g
g
x
g
g
x
( )
De g g

resulta, por outro lado, por diferenciao
(30)
g dg g dg
e g
g
x
g
g
x
'
Efetuado o produto misto por g

e gv , respectivamente, obtm-se (modificando a notao dos
ndices)
(31)
dg g g dg
g
x
g g
g
x

'
,
23
e correspondentemente
(32)
dg g g dg
g
x
g g
g
x

'
,
A relao (31) susceptvel de uma transformao que tambm havemos de utilizar muitas vezes.
Segundo (21), temos
(33)

g
x
]

1
]
1
+

1
]
1
Introduzindo esta relao na segunda das frmulas (31) obtm-se, atendendo a (23),
(34)

g
x
g g
v

'
+

'
_
,
Introduzindo agora em (29) o segundo membro desta relao (34), vem

(29 a)
1

'
g
g
x

"Divergncia" do quadrivetor contravariante. Se multiplicarmos (26) pelo tensor fundamental
contravariante g
v
(multiplicao interna), o segundo membro tomar a seguinte forma, depois de
transformado o seu primeiro termo 1):
( )
x
g A A
g
x
g
g
x
g
x
g
x
g A +
_
,
1
2
O ltimo dos trs termos desta expresso pode, atendendo a (31) e (29), escrever-se com a
forma
1
2
1
2
1
2
g
x
A
g
x
A
g
g
x
g A + +
)
Como a denominao dos ndices de soma se pode modificar livremente, os dois primeiros termos
desta ltima expresso so cancelados pelo segundo termo da penltima; e o terceiro termo da l-
tima pode reduzir-se com o primeiro da penltima 3). Se depois fizermos
g
v
A = A
v
,
onde A
v
bem como A , designa um vector arbitrrio, obteremos finalmente
24
(35)

1
g x
g A (
Este escalar a divergncia do quadrivetor contravariante Av .
"Rotacinal " do quadrivetor (covariante).
O segundo termo de (26) simtrico em relao aos ndices e v . Daqui resulta a possibili-
dade da construo de um novo tensor (anti-simtrico) de maneira particularmente simples: o ten-
sor A v A v . Representando-o por B v , teremos ento
(36) B
A
x
A
x
x

Extenso anti-simtrica de um sextivetor.
Se aplicarmos (27) a um tensor anti-simtrico de segunda ordem , A v , e se somarmos
equao assim obtida as duas equaes que provm dela por permutao circular dos ndices , v,
, chegaremos ao tensor de terceira ordem
(37) B A A A
A
x
A
d x
A
x

+ + + +
que anti-simtrico, como facilmente se prova.
Divergncia do sextivetor.
Se multiplicarmos (27) por g

g
y
(multiplicao mista), obteremos ainda um tensor. O
primeiro termo do segundo membro de (27) pode 4) escrever-se na forma
x
g g A g
g
x
A g
g
x
A ( )
Substituindo g

g
y
A v por

A
e g g A por A e , ; substituindo ainda, no
primeiro termo j transformado,
g
x
e
g
x
pelas suas expresses (34), obtm-se a partir do segundo membro de (27) uma expresso de sete
termos, quatro dos quais se cancelam entre si. Resta ento
(38) { } { }
A
A
x
A A
x x
x
x
+ +
Tal a expresso da extenso de um tensor contravariante de segunda ordem: expresses corres-
pondentes a esta podem-se estabelecer para tensores contravariantes de ordem mais alta e mais bai-
xa. E de notar que, seguindo um processo anlogo, se pode tambm chegar extenso de u tensor
misto:
25
(39) { } { } A
A
x
A A
+
Por contrao de (38) em relao aos ndices e (multiplicao interna por

, obtm-
se o quadrivetor contravariante
{ } { } A
A
A A
x
x
x x x B

+ + .
Dada a simetria de { }
x
em relao aos ndices e x , o terceiro termo do segundo membro re-
duz-se a zero se A

for um tensor anti-simtrico, o que vamos admitir; por outro lado, o segundo
termo pode ser transformado por aplicao de ( 29 a) . Obtm-se assim
(40)
( )
A
g
g A
x
1
esta a expresso da divergncia de um sextivetor contravariante.
Divergncia do tensor misto de segunda ordem.
Efetuando a contrao de (39) em relao aos ndices e , obteremos, atendendo a ( 29 a).
(41)
( )
{ }

g A
g A
x
g A
Introduzindo no ltimo termo o tensor contravariante A

= g

A

, ele tomar a forma
[ ]

g A
Se o tensor A

for simtrico, a expresso anterior reduzir-se- a

1
2
g
g
x
A
Se, em vez de A

, se tivesse introduzido o tensor covariante, igualmente simtrico , A

= g
g

, ento o ltimo termo teria tomado, em virtude de (31), a forma
1
2
g
g
x
A
Assim, no caso de simetria considerado, (41) pode substituir-se por qualquer das formas
26
(41 a)
( )

g A
g A
x
g
d x
g A e
1
2
(41 b)
( )

+ g A
g A
x
g
d x
g A

1
2
que havemos de aplicar mais tarde.
12. O tensor de Riemann-Christoffel
Vamos agora investigar quais so os tensores que se podem formar por diferenciao, utili-
zando como ponto de partida somente o tensor fundamental dos g v . A resposta parece primeira
vista muito fcil. Basta substituir em (27) o tensor arbitrrio A v pelo tensor fundamental dos g
v
para se obter um novo tensor, que a extenso do tensor fundamental. Mas fcil chegar convic-
o de que tal tensor identicamente nulo. Poderemos, no entanto, atingir o objetivo em vista se-
guindo o caminho que se vai expor. Introduzamos em (27).
{ }
A
A
x
A

isto , a extenso do quadrivetor A . Obtm-se ento (com uma pequena modificao nos nomes
dos ndices) o tensor de terceira ordem
{ } { } { }
{ } { }{ } { } { }
A
A
x x
A
x
A
x
A
x
x
A

+ + +
1
]
1
2
Esta expresso sugere a construo do tensor A A , visto que, nessa construo, o pri-
meiro termo da expresso deA , o quarto termo, e tambm o termo correspondente ltima par-
cela do parntese reto, so cancelados pelos termos da mesma ordem da expresso de A , dado
que todos esses termos so simtricos em e . E o mesmo acontece com a soma do segundo e
terceiro termos. Obtemos assim
(42) A A B A

(43)
{ } { }
{ } { } { } { }
B
x x

+
+
'
27
O que h de essencial neste resultado que no segundo membro de (42) entra apenas os A e no
j as suas derivadas. Do carter tensorial de A A , em conjuno com o fato de A ser
um quadrivetor de escolha arbitrria, resulta, tendo em vista as concluses de 7, que B

um
tensor (tensor de Riemann-Christoffel).
A importncia matemtica deste tensor provm do seguinte. Quando o contnuo constitudo
de tal modo que existe um sistema de coordenadas em relao ao qual os g
v
so constantes, ento
todos os B

5
) se reduzem a zero. Se substituirmos o sistema de coordenadas original por um
novo sistema, arbitrrio, os g
v
referidos a este j no sero constantes; mas o carter tensorial de
B

5
) arrasta consigo a conseqncia de estas componentes continuarem a ser todas nulas no
sistema de referncia arbitrrio. O anulamento do tensor de Riemann assim uma condio necess-
ria para se obter a constncia dos g
v
mediante uma escolha apropriada do sistema de referncia
9
).
No nosso problema isto correpsonde a conseguir a validade da teoria da relatividade especial num
domnio finito mediante uma escolha conveniente do sistema de coordenadas.
Por contrao de (43) em relao aos ndices e , obtm-se o tensor covariante de segunda
ordem
(44)
{ } { }{ }
{ }
B R S
R
x
S
g g
x x
g g
x

+
+
'
2
1 1
Observao sobre a escolha das coordenadas. J foi notado no 8, a propsito da equao
(18 a) , que h vantagem em escolher o sistema de coordenadas por forma a tornar g =1 . Um
rpido exame das equaes obtidas nos dois ltimos pargrafos mostra que, com essa escolha, as
leis de formao de tensores sofrem uma simplificao notvel. Isto aplica-se em particular ao ten-
sor Bv que acabamos de desenvolver, o qual vai desempenhar , o qual vai desempenhar um papel
fundamental na teoria que vamos apresentar. Com efeito, a escolha do sistema especial de coorde-
nadas que vimos referindo origina o anulamento de S v, e isso reduz o tensor Bv a Rv .
________________
9
Os matemticos demonstraram que esta condio tambm suficiente.
Por este motivo, todas as relaes sero daqui em diante apresentadas na forma simplificada a
que a referida escolha particular de coordenadas conduz. E depois fcil voltar s equaes coviantes
gerais, se isso se mostrar conveniente num caso particular.
C - Teoria do campo gravitacional
13 - Equao do movimento do ponto material no campo gravitacional. Expresso das
componentes desse campo
28
Segundo a teoria da relatividade especial, um corpo que se move livremente, sem sujeio a
foras exteriores. f-lo em movimento retilneo e uniforme. Esta afirmao continua a ser vlida na
teoria da relatividade geral, para uma poro do espao quadridimensional em que seja possvel es-
colher o sistema de coordenadas K
o
e se escolha de fato de tal modo que os gv tomem os
valores constantes dados em (4).
Mas consideremos agora o mesmo movimento a partir de um sistema de coordenadas de es-
colha arbitrria K
1
; apreciado de tal sistema ele apresenta-se como movimento efetuado num campo
de gravidade, de acordo com as reflexes expostas no 2. A lei deste movimento em relao a K
1
estabelece-se facilmente com o raciocnio seguinte:
Em relao a K
0
, a lei do movimento representada por uma reta quadridimensional, isto ,
por uma linha geodsica. Ora a linha geodsica tem uma definio independente do sistema de refe-
rncia; logo, a sua equao tambm a equao do movimento do ponto em relao a K
1
. Pondo
(45) { } I

teremos ento, como equao do movimento do ponto em relao a K
1
.
(46)
d x
ds
I
dx
ds
dx
ds
2
2
Admitimos agora a hiptese, muito plausvel, de que este sistema de equaes, que goza de cova-
rincia geral, continua a determinar o movimento do ponto no campo gravitacional mesmo no caso
de no existir nenhum sistema de referncia K
o
em relao ao qual a teoria da relatividade especial
seja vlida para regies finitas. O fato de em (46) no entrarem seno primeiras derivadas, dos gv
justifica ainda mais que adaptemos tal hiptese, visto que entre as primeiras derivadas no h quais-
quer relaes, nem mesmo no caso de existir K
0
.
10
Se os I
'
v
se reduzem a zero, o movimento do ponto ser retilneo e uniforme; logo, so essas
as grandezas que fazem com que o movimento se afaste da uniformidade: so elas as componentes
do campo gravitacional.
_______________
10
somente nas segundas derivadas (relacionadas com as primeiras) que, segundo o 12, aparecem as relaes B
=0. Sendo assim, as equaes (46) em que s entram primeiras derivadas devem ter um significado independente da
existncia ou no existncia do K
0
(N.T.)
14. As equaes do campo gravitacional na ausncia de matria
Na distino que a seguir vamos fazer entre "campo gravitacional" e "matria", daremos a este
ltimo termo o significado de tudo quanto no for campo de gravidade, incluindo assim, dentro
dele, no s aquilo que vulgarmente se entende por matria, mas tambm o campo eletromagntico.
O problema que vamos agora resolver o de estabelecer as equaes de campo da gravidade
na ausncia de matria. para isso, vamos outra vez aplicar o mtodo que seguimos no pargrafo an-
terior para estabelecer a equao do movimento do ponto material.
29
Notemos ento que as equaes de campo que estamos procurando devem sempre ser verifi-
cadas quando se d o caso particular de a teoria primitiva da relatividade poder ser aplicada, isto ,
quando os gv tomarem certos valores constantes. Admitamos que esse caso se d em determinado
domnio finito, desde que se adapte como sistema de referncia um certo sistema de coordenadas
K
0
. Em relao a esse sistema, todas as componentes B

do tensor de Riemann se reduzem a
zero ao mesmo tempo [equao (43)]; e ento, para o referido domnio, essas componentes sero
igualmente nulas relativamente a qualquer outro sistema de coordenadas que seja adaptado.
Sendo assim, as equaes que vimos a procurar estabelecer para o campo gravitacional vazio
de matria devem verificar-se sempre que sejam nulos todos os B

. Mas esta condio suficiente
no certamente necessria: para o reconhecermos claramente, basta notar que deve ser impossvel
escolher um sistema de coordenadas capaz de "eliminar por transformao " o campo gravitacional
criado por um ponto material sua volta, isto , capaz de transformar por forma que os gv fiquem
constantes
6
).
Somos deste modo levados a pensar que a condio exigida pelo campo gravitacional vazio de
matria deve ser o desvanecimento do tensor simtrico Bv que se obtm contraindo o tensor B

.
Chegamos assim a 10 equao grandezas gv. O caso de serem nulos todos os B

um caso es-
pecial da verificao dessas equaes.
Com o sistema de coordenadas que atrs decidimos adaptar
7
) v-se , atendendo a (44), que as
mesmas equaes tomam a forma.
(47)
T
x
T T
g
+

'
0
1
de salientar quanto pequeno o grau de arbitrariedade envolvido na escolha das equaes:
com efeito, excepo de Bv , no existe nenhum tensor de segunda ordem que, sendo construdo
com os gv e suas derivadas, no contenha derivadas de ordem superior segunda e seja linear nas
derivadas de segunda.
11
_________________
11
Em rigor esta afirmao s pode fazer-se para o tensor B + g ( g

B

) , onde uma constante. Mas, se
igualarmos a zero este tensor, obteremos outra vez as equaes B =0.
As equaes a que acabamos de chegar, combinadas com as equaes (46) do movimento,
conduzem em primeira aproximao lei de atrao de Newton, e em segunda aproximao ex-
plicao do movimento do perilio de Mercrio descoberto por Leverrier (tal como ele se apresenta
depois de feitas as correes de perturbao). Este fato, tendo em vista que as equaes foram esta-
belecidas por via puramente matemtica a partir do postulado da relatividade geral, constitui, na mi-
nha opinio, testemunho convincente de que a teoria vlida do ponto de vista fsico.
15 - A funo de Hamilton para o campo gravitacional. Lei da impulso-energia
30
Para mostrar que as equaes de campo correspondem lei da impulso-energia da maior
convenincia escrev-las na seguinte forma de Hamilto:
(47 a)
{ }

Hd
H g T T
g
'
0
1
entendendo-se que as variaes se desvanecem nos limites do espao quadridimensional de integra-
o limitado que se considera.
Comecemos por mostrar que a forma ( 47 a) equivalente s (47) . Para esse efeito, conside-
remos H como funo dos g
v
e dos
g
g
x
_
,
temos ento, em primeiro lugar,

( )

H T g T
T T g T g
+
+
2
2
Mas agora
( )

g T g g
g
x
g
x
g
x
+
_
,
1
]
1
1
1
2
Os termos provenientes das duas ltimas parcelas do parntese curvo convertem-se um no outro tro-
cando o sinal e permutando os ndices e ( e atendendo que a denominao dos ndices de soma
pode ser modificada livremente). Na expresso de H os referidos termos aparecem multiplicados
por I

e por isso cancelam-se mutuamente, visto que I

simtrica em relao a e . Resta,
portanto, para ser considerado, apenas o primeiro termo do parntese curvo, pelo que se obtm,
atendendo a (31).

H T T g T g +
e portanto
(48)
H
g
T T
H
g
T

'
Ora o clculo da variao que figura em (47 a) leva ao sistema de equao

8)
31
(47b)

x
H
g
H
g
_
,
0
Este sistema, em vista de (48), coincide com (47), como se queria demonstrar.
Multipliquemos agora (47b) por g
v
. Como

g
x
g
x
e, consequentemente,
g
x
H
g x
g
H
g
H
g
g
x
_
,

_
,

obteremos com essa multiplicao a equao.
x
g
H
g
H
x
_
,
0
ou
12
(49)
t
x
xt g
H
g
H
'
0
2
sendo ainda, em vista de (48), da segunda equao de (47 a), e de (34),
(50) xt g T T g T T

1
2
de salientar que t

no um tensor, mas que, apesar disso, a equao (49) vlida em to-
dos os sistemas de coordenadas para os quais seja g =1. Esta equao exprime a lei da conser-
vao da quantidade de movimento e da energia para o campo gravitacional. Com efeito, a sua inte-
grao estendida a um volume V tridimensional fornece-nos as quatro equaes.
(49 a)
{ }
( )

x
t dV t a t a t a dS
4
4 1
1
2
2
3
3
+ +
onde a
1
, a
2
, a
3
, representam os co-senos diretores da normal, dirigida para o interior, a um elemento
de superfcie de grandeza dS ( no sentido da geometria euclidiana) pertencente fronteira do volu-
me de integrao. Reconhece-se aqui a expresso das leis de conservao na sua forma habitual.
Designaremos as
-
grandezas t
por "componentes de energia" do campo gravitacional.

32
Vou agora apresentar ainda as equaes (47) numa terceira forma que particularmente til
para uma apreenso viva do nosso assunto. Multiplicando as equaes de campo (47) por g

, ob-
temo-las em forma "mista". Note-se agora que
( )
g
T
x x
g T
g
x
g
x
T

grandeza que, em vista de (34) igual a
( )
x
g T g T T g T T
ou (modificando a denominao dos ndices de soma) igual a
( )
x
g T g T T g T T
mn
m n

O terceiro termo desta expresso cancela-se com o que provm do segundo termo das equaes de
campo (47); e usando a relao (50) podemos substituir o segundo termo da expresso por
x t t
_
,
1
2
onde se tomou t =t
. Obteremos assim, em vez das equaes (47),

(51)
( )
x
g T x t t
g

_
,
'
1
2
1
16 . Forma geral das equaes de campo da gravitao
As equaes de campo estabelecidas no pargrafo precedente para espaos livres de matria
correspondem equao de campo.
=0
da teoria de Newton. Temos agora de procurar a equao que corresponde equao que correspon-
de equao de Poisson.
=4 x
na qual representa a densidade da matria.
33
A teoria da relatividade especial levou concluso de que a massa inerte no do que energia,
cuja expresso matemtica completa se encontra num tensor simtrico de segunda ordem - o tensor
energia. Isto indica-nos que tambm na teoria da relatividade geral ns teremos de introduzir um ten
sor energia da matria, T =t
, o qual h de ter carter misto, como as componentes t

da energia
do campo gravitacional [equao (49) e (50)], mas h de corresponder a um tensor simtrico cova-
rinte.
12
Quanto maneira de introduzir nas equaes do campo gravitacional o referido tensor (cor-
responde densidade na equao de Poission), temos para isso uma indicao nas equaes do
sistema (51). Consideremos, com efeito, um sistema completo (por exemplo, o sistema solar): a
massa total desse sistema, e portanto tambm o seu efeito gravitacional global, deve depender da
energia total do sistema, ou seja, das suas energias pondervel e gravtica em conjunto. isto expri-
me-se- introduzindo nas equaes (51), em vez das componentes de energia t

, que somente se
referem ao campo gravitacional, as somas t

+ T

das componentes de energia do campo gra-
vitacional e da matria. Deste modo, em vez de (51), obtm-se a equao tensorial.
(52)
( ) ( ) ( )
x
g T x t T t T
g
+ +
1
]
1

'
1
2
1
onde se ps T = T
(escalar de Laue). So estas, em forma mista, as equaes gerais de campo da

gravitao que procurvamos.
Destas equaes pode obter-se, seguindo uma marcha inversa daquela que os fez chegar a
(51), o seguinte sistema, que substitui (47):
(53)

T
x
T T x T g T
g
+
_
,
'
1
2
1
Deve salientar-se que o postulado da relatividade no , s por si, suficiente para justificar a
atribuio de um tensor energia matria; e foi por isso que, ao fazermos atrs a introduo desse
tensor, a baseamos na hiptese de que a energia do campo da gravidade e a energia de qualquer
ou espcie atuam graviticamente de igual modo. mas a razo mais forte para que aceitemos as
equaes precedentes est em que elas acarretam a seguinte conseqncia, como se vai mostrar no
17: para as componentes da energia total vigoram equaes de conservao (da quantidade de mo-
vimento e da energia) correspondentes exatamente s equaes (49) e (49 a).
_______________
12
A razo por que se introduz o fator 2x ser apresentada mais tarde.
17 - As leis de conservao no caso geral
fcil transformar a equao (52) para fazer desaparecer o segundo termo do seu segundo
membro. Efetuemos para isso em (52) uma contrao relativamente aos ndices e ; mul-
tipliquemos por
1
2
a equao que assim se obtm, e subtraiamo-la depois de (52). Resulta

34
(52 a)
( )
x
g T g T x t T
_
,
+
1
2
Apliquemos a esta equao a operao / x

.
Comeando pelo primeiro termo do primeiro membro, temos
( )
2 2
1
2 x x
g T
x x
g g
g
x
g
x
g
x
+
_
,
1
]
1
1
.
A primeira e a terceira parcela deste parntese curvo contribuem para o resultado, com termos
que se cancelam mutuamente, como imediatamente se reconhece se na contribuio dada pela ter-
ceira parcela se permutarem, por um lado, os ndices de soma e , e por outro os ndices de soma
e . Resta ento o termo proveniente da segunda parcela. Transformando-o por aplicao de
(31), vem ento como resultado da aplicao da operao / x

ao primeiro termo do primeiro
membro da (52 a).
(54)
( )

2 3
1
2 x x
g T
g
x x x
Quanto ao segundo

termo do mesmo primeiro membro, ele d diretamente.
( )
_
,
1
]
1
1
2
1
4
2
2

x x
g T
ou
x x
g g
g
x
g
x
g
x
Mas o termo formado com a ltima parcela deste parntese curvo desaparece no sistema de
coordenadas que estamos a empregar, como se reconhece considerando (29). E os dois restantes
termos podem ser reunidos num s, dando, em virtude de (31).
1
2
3

g
x x x
Combinando este resultado com (54), v-se ento que a aplicao da operao / x

ao primeiro
membro de ( 52 a) conduz identidade
(55)

2
1
2
0
x x
g T g T
_
,

E ento a aplicao da operao / x

equao ( 52 a) conduz finalmente a
35
(56)
( )
T T
x
+
0
Daqui se conclui que as nossas equaes de campo para a gravitao implicam o cumprimento
das leis de conservao da quantidade de movimento e da energia. Reconheceremos isso com a
maior facilidade se retomarmos o raciocnio eu nos conduziu de (49) a (49 a), com a diferena, po-
rm, de que agora teremos de tomar, em vez das componentes t
da energia do campo gravitacio-

nal, as componentes da energia total da matria e campo gravitacional.
18 - A lei da impulso-energia para a matria considerada como conseqncia das
equaes de campo
Multiplicando (53) por g

/ x

, obtm-se, com o mtodo introduzido no 15, e tendo
em conta o anulamento de g
g
x

9)
a equao

t
x
g
x
T +
1
2
0
ou, atendendo a (56),
(57)

T
x
g
x
T +
1
2
0
O confronto com (41 b) mostra que esta equao, com a escolha de coordenadas que adapta-
mos, outra coisa no seno a expresso do anulamento da divergncia do tensor formado pelas
componentes energticas da matria. Do ponto de vista fsico, a presena do segundo termo do pri-
meiro membro mostra que em rigor a lei da conservao da quantidade de movimento e energia no
vlida quando se considera a matria s, ou antes, s vlida nesse caso desde que os g

sejam
constantes, isto , desde que se desvaneam as intensidade de campo da gravitao. Este segundo
termo exprime, consoante as coordenadas, ou a quantidade de movimento que transferido do cam-
po gravitacional para a matria, por cada unidade de volume, ou a energia que transferida por cada
unidade de tempo. Isto ressalta com maior clareza ainda se, por sugesto de (41), escrevermos (57)
na forma
(57 a)
T
x
T
Assim escrito, o segundo membro exprime o efeito energtico do campo gravitacional sobre a mat-
ria.]]
Em face do exposto, vemos que as equaes de campo da gravitao contm quatro condi-
es, s quais o processo material tem que satisfazer simultaneamente, Tais condies determinam
completamente as equaes que regem o processo, caso ele possa ser caracterizado por quatro equa-
es diferenciais mutuamente independentes.
13
36
D. OS PROCESSOS " MATERIAIS"
Os instrumentos matemticos desenvolvidos em B proporcionam-nos a possibilidade de, sem
ter de recorrer a outros meios, proceder a um alargamento dos enunciados das leis fsicas da matria
(hidrodinmica, electrodinmica de Maxwell) tal como so formulados na teoria da relatividade
especial com o fim de os adaptar teoria da relatividade geral. Com essa adaptao, o que se vai
obter no uma nova limitao de possibilidades imposta pelo princpio da relatividade geral, mas
sim um conhecimento exato da influncia que o campo gravitacional exerce sobre todos os proces-
sos, e isto independentemente da introduo de qualquer nova hiptese.
Pr o problema deste modo implica que no se introduzam como necessrias hipteses con-
cretas a respeito da natureza fsica da matria (tomada no seu sentido restrito). Pode em particular
ficar em aberto a questo de se saber se as teorias dos campos electromagntico e gravitacional
formam
ou no, no seu conjunto, uma base suficiente para a teoria da matria. O postulado da relatividade
geral nada pode, em princpio, ensinar-mos a este respeito. Ser o desenvolvimento da teoria que
h-de revelar se as doutrinas electromagntica e da gravitao sero capazes de realizar, em con-
junto, aquilo que a primeira no foi capaz de realizar sozinha.
19 - Equaes de Euler para fluidos adiabticos desprovidos de atrito
Sejam p e dois escalares, ao primeiro dos quais chamaremos " presso" e ao segundo "
densidade" de um fluido; e suponhamos que eles esto relacionados por uma equao. Suponhamos
ainda que o tensor contravariante da energia do fludo o tensor simtrico contravariante
(58) T g p p
dx
ds
dx
ds

+
Corresponde-lhe o tensor covariante
(58 a) T g p g
d x
ds
g
dx
ds
p

+
________________
13
Sobre este assunto consulte D. Hilbert, Nachr. d. K. Gesellsch. d. Wiss. zu Gttingen, Math.-phys. Klasse, 1915,
pg. 3.
37
assim como o tensor misto
14
(58 b) T p g
dx
ds
dx
ds
p

+
Introduzindo o segundo membro de (58 b ) em (57 a) , obtm-se as equaes hidrodinmicas de
Euler da teoria da relatividade geral. Estas equaes do, em princpio, uma soluo completa ao
problema do movimento; porque as quatro equaes (57 a), conjuntamente com a equao dada
entre p e e ainda com a equao
g
dx
ds
dx
ds

1
so suficientes, dados os g

, para determinar as 6 incgnitas
p p
dx
ds
dx
ds
dx
ds
dx
ds
, , , , ,
1 2 3 4
Se os g
forem tambm desconhecidos, ser necessrio lanar ainda mo das equaes (53).
Como estas so em nmero de 11 e as funes g

so s 10, parece primeira vista haver supera-
bundncia de condies, mas h que ter em conta que as equaes (57 a) esto j includas entre as
(53), de modo que estas, no sistema, representam apenas 7 equaes independentes. O que resta,
pois, uma indeterminao, que alis bem fcil justificar: que a larga liberdade de que se dispe
para escolher as coordenadas introduz no problema um tal grau de indeterminao matemtica , que
se torna
possvel escolher arbitrariamente trs das funes espaciais.
14
20 - Equaes electromagnticas de Maxwell para o vazio
Sejam
v
as componentes de um quadrivetor covariante, o quadrivetor do potencial eletro-
magntico . Seguindo (36) , formemos com elas as componentes F

do sextivector covariante do
campo electromagntico, mediante o sistema de equaes
(59) F
x x

O sistema (59) implica que seja satisfeito o sistema
(60)

F
x
F
x
F
x
+ + 0
________________
14
Renunciando escolha da coordenadas obrigada a g =1 ficam quatro funes especiais disponveis apra a liberdade
de escolha, correspondentes s quatro funes arbitrrias de que se pode dispor livremente para estabelecer as coorde-
nadas.
38
cujo primeiro membro , em conformidade com (37), um tensor anti-simtrico de terceira ordem. O
sistema (60) , portanto, formado essencialmente por quatro equaes, que se explicitam do modo
seguinte:
(60 a)
F
x
F
x
F
x
F
x
F
x
F
x
F
x
F
x
F
x
F
x
F
x
F
x
23
4
34
2
42
3
43
1
41
3
13
4
41
2
12
4
24
1
12
3
23
1
31
2
0
0
0
0
+ +
+ +
+ +
+ +
'
Este sistema de equaes corresponde ao segundo sistema de equaes de Maxwell. Isso re-
conhece-se imediatamente pondo
(61)
F x F e
F y F e
F z F e
x
y
z
23 14
31 24
12 34

'
!
!
!
'
Poderemos ento, empregando a notao habitual da anlise vectorial de trs dimenses, escrever
em vez de (60 a)
(60 b)
!
!
t
rot e
div
+
'
0
0
O primeiro sistema de Maxwell obtm-se por generalizao da forma dada por Minkowski. Introdu-
ziremos para isso o seguinte sextivector contravariante correspondente a F

(62) F g g F

e igualmente o quadrivetor contravariante J

da densidade de corrente eltrica no vazio. Em vista de
(40), o seguinte sistema de equaes ento invariante para substituies arbitrrias que tenham
determinante igual a 1 ( em conformidade com a escolha de coordenadas que resolvemos adaptar):
(63)

\ F
x
J
Pondo, com efeito,
39
(64)
F F e
F F e
F F e
x x
y y
z z
23 14
31 24
12 34

'
!
!
!
' '
' '
' '
grandezas que, no caso particular da teoria da relatividade especial, so iguais a h
x
... e
x
, alm disso
J
1
=i
x
, J
2
=i
y
, J
3
=i
x'
, J
4
= ,
obtm-se, em vez de (63),
(63 a)
rot
e
i
div e p
t
!'
'
'

'
As equaes (60), (62) e (63) constituem, assim, a generalizao das equaes de campo de
Maxwell para o vazio e com a conveno que adaptamos para a escolha das coordenadas.
As componentes de energia do campo electromagntico. Formemos o produto interno
(65) x = F

J
Em notao tridimensional as suas componentes exprimir-se-o, em conformidade com (61), do

modo seguinte:
(65 a)
[ ] x pe i x
x i e
x 1
4
+

'
,
...........................
...........................
( , ).
!
x

um quadrivetor covariante cujas componentes so iguais quantidade de movimento ne-
gativa, ou energia que, por unidade de tempo, ou de volume, respectivamente, so transferidas das
massas eltricas para o campo electromagntico, Se as massas eltricas forem livres, isto , se no
estiverem sujeitas seno influncia do campo electromagntico, ento o quadrivetor covariante x
torna-se nulo.
Para obtermos as componentes de energia T
v
do campo electromagntico no temos mais
que dar equao x

=0 a forma da equao (57).

De (63) e (65) resulta diretamente
x F
F
x x
F F F
x
F

( )
O ltimo termo consente, em virtude de (60), a transformao
40
F
F
x
F
F
x
g g
F
x
F

1
2
1
2
podendo ainda a ltima expresso, por razes de simetria, ser escrita na forma
+
1
]
1
1
4
g g F
F
dx
g g
F
dx
F

qual podemos ainda dar a forma
( ) ( ) +
1
4
1
4

x
g g F F F F
x
g g
O primeiro destes termos escreve-se abreviadamente
1
4

x
F F
o segundo d, depois de se efetuar a diferenciao e de algumas transformaes
1
2
F F g
g
x
Reunindo os trs termos calculados, obtm-se a relao

(66) x
T
x
g
g
x
T onde

1
2
,
(66 a) T F F F F

+
1
4
Em virtude de (30), a equao (66) equivalente a (57) ou a (57 a) quando x

se reduz a zero.
Os o T
v
so por isso as componentes de energia do campo electromagntico. Com o auxlio de (61)
e (640

mostra-se facilmente que ests componentes conduzem s bem conhecidas expresses de
Maxwell-Poynting no caso da teoria da relatividade especial.
At agora fizemos a deduo das leis gerais a que obedecem a matria e o campo gravitacio-
nal utilizando sempre um sistema de coordenadas para a qual g = 1 . Conseguimos assim
considervel simplificao nas frmulas e clculos, sem deixar de satisfazer existncia da cova-
rincia geral: e isto porque foi a partir de equaes de covarincia geral que, por particularizao do
sistema de coordenadas, encontramos as nossas equaes.
No deixa de ter interesse formal a questo de se saber se, sem essa particularizao de coor-
denadas, mas com uma definio correspondentemente mais geral para as componentes energticas
do campo gravitacional e da matria, no teriam validade leis de conservao com a forma da equa-
o (56), bem como equaes de campo de gravitao do gnero das equaes (52) ou (52 a), a tal
modo que no primeiro membro figurasse uma divergncia (no significado habitual) e no segundo
41
membro a soma das componentes energticas da matria e da gravitao. Eu cheguei efetivamente
concluso de que a resposta afirmativa para os dois casos, J ulgo, porm, que no tem interesse
apresentar uma exposio mais ampla dessas minhas reflexes sobre o assunto, visto que nada de
verdadeiramente novo brota delas.
21. A teoria de Newton como uma primeira aproximao
Como j temos dito diversas vezes, a teoria d relatividade especial caracteriza-se, como caso
particular da teoria geral, pelo fato de os g

tomarem os valores constantes (4). Mas, como tam-
bm j foi dito atrs, tomar tais valores significa desprezar inteiramente os efeitos da gravidade. Si-
tuar-nos-emos mais perto da realidade se admitirmos que os g

tm valores diferentes de (4), sen-
do porm os respectivos desvios de tal modo pequenos (em confronto com 1) que se podem despre-
zar as grandezas de grau igual ou superior a 2 se formem com eles. (Primeiro ponto de vista da
aproximao)
Alm desta hiptese sobre os valores dos g

, vamos admitir mais o seguinte: que no domnio es-
pao-temporal considerado os g

tendem para os valores (4) quando as coordenadas de espao
tendem para o infinito, desde que a escolha das coordenadas se faa de modo adequado: o que
eqivale a dizer que os campos de gravidade que se vo considerar sero exclusivamente campos
criados por matria situada no domnio do finito.
Pode dizer-se que destas aproximaes que vai resultar a teoria de Newton ; mas, para che-
gar a ela, ainda necessrio introduzir um segundo ponto de vista no mtodo aproximado de mani-
pulao das equaes fundamentais.
Consideremos o movimento de um ponto material segundo (46). No caso da teoria da relativi-
dade especial as componentes
dx
ds
dx
ds
dx
ds
1 2 3
, ,
podem tomar quaisquer valores; o que significa ser possvel qualquer velocidade
v
dx
dx
dx
dx
dx
dx
_
,
+

_
,
+

_
,
1
4
2
2
4
2
3
4
2
contanto que seja inferior velocidade da luz no vazio ( v <1). Se nos limitarmos, porm, ao caso
de v ser pequena em confronto com a velocidade da luz e esse o caso quase exclusivo da expe-
rincia ento as componentes
dx
ds
dx
ds
dx
ds
1 2 3
, ,
devero ser tratadas como quantidades pequenas, ao passo que dx
4
/ ds se deve considerar, at
segunda ordem de grandeza, igual a 1. (Segundo ponto de vista da aproximao).
42
Notemos agora que, segundo o primeiro ponto de vista da aproximao, as grandezas T
so
todas quantidades pequenas, de primeira ordem pelo menos. Basta ento olhar para (46) para

re-
conhecer que, em obedincia ao segundo ponto de vista da aproximao, s so de considerar os
termos par os quais = =4. Procedendo assim as equaes (46) simplificam-se, convertendo-se
nas seguintes (que representam o que resta quando nos limitamos aos termos de ordem mais baixa).
d x
dt
T
t
2
2 44

onde se tomou ds = dx
4
=dt . Se agora, no clculo dos T

, conservarmos apenas os termos que,
segundo o primeiro ponto de vista da aproximao so de
44
primeira ordem, as equaes anterio-
res reduzir-se s seguintes
[ ] ( )
[ ]
d x
dt
d x
dt
2
2
44
2
4
2
44
12 3

, ,
Se, alm disso, admitirmos que o campo de gravidade quase-esttico, limitando-nos assim a
considerar casos em que a matria geradora do campo s lentamente se pode mover (em confronto
com a velocidade de propagao da luz) ento no clculo dos segundos membros das ltimas equa-
es poderemos desprezar derivadas em ordem ao tempo perante as derivadas em ordem s coorde-
nadas de posio. Restar ento
(67)
d x
dt
g
x
2
2
44
1
2
12 3
( , , )
Estas equaes so as do movimento do ponto material na teoria de Newton, desempenhando g
44
/2
o papel do potencial de gravidade. O que h de notvel neste resultado o fato de bastar a compo-
nente g
44
do tensor fundamental para determinar, em primeira aproximao, o movimento do ponto
material.
Passemos agora s equaes de campo (53).
Aqui h que ter conta que o tensor energia da "matria", considerada em sentido lato, deter-
minado quase exclusivamente pela densidade da matria considerada em sentido estrito, isto ,
pelo segundo termo do segundo membro de (58) [ ou (58 a), para o tensor covariante, ou (58 b),
para o misto]. Dentro da aproximao que nos interessa, todas as suas componentes se reduzem a
zero exceto T
44
= =T .
Quanto ao primeiro membro de (53), deve notar-se que o seu segundo termo uma quantidade
pequena de segunda ordem; e que o primeiro d, dentro da aproximao que nos interessa,
[ ] [ ] [ ] [ ]

x x x x
1
1
2
2
3
3
4
4
+ + +
43
o que d, tomando = =4 e desprezando derivadas em ordem ao tempo
+ +
_
,

1
2
1
2
2
44
1
2
2
44
2
2
2
44
3
2 44
g
x
g
x
g
x
g
A quarta das equaes (53) d pois
(68) g
44
= x .
As equaes (67) e (68) so, em conjunto, equivalentes lei de newtoniana da gravitao.
Dessas equaes [ (67) e (68)] resulta, para o potencial gravitacional, a expresso
(68 a)

x pd
r 8
enquanto que a teoria de Newton d, para a unidade de tempo que escolhemos,

K
c
pd
r
2

onde K representa a constante 6,7 . 10
-8
, habitualmente denominada constante de gravitao. Con-
frontando as duas expresses, vem
(69) x
K
c

8
1 87 10
2
27
,, .
22 . Comportamento de rguas e relgios no campo de gravidade esttico. Curvatura
dos raios de luz. Movimento do perilo das rbitas dos planetas
Para chegarmos teoria de Newton como primeira aproximao, apenas tivemos necessidade
de calcular g
44
entre as 10 componentes g

do campo gravitacional, por ser ela a nica dessas com-
ponentes que entra na equao (67), primeira aproximao da equao do movimento do ponto ma-
terial. mas daqui j se deixa ver que h ainda outras componentes entre os g

cujos valores se de-
vem desviar em primeira aproximao dos valores dados em (4): porque tal desvio exigido pela
condio g = 1.
Se o ponto material gerador do campo se encontra situado na origem do sistema de coordena-
das, obtm-se, em primeira aproximao, a seguinte soluo de simetria radial
44
(70)
g
x x
r
pe entre e
g g pentre e
g
r
p p
p
p

'
3
4 4
44
1 3
0 1 3
1
( )
( )
tendo

o valor 1 ou o valor 0, consoante for, respectivamente = ou ; e sendo r a
grandeza
x x x
1
2
2
2
3
2
+ +
Em vista de ( 68 a),
(70 a)
x M
4
se designarmos por M a massa que gera o campo. fcil verificar que esta soluo satisfaz em pri-
meira aproximao as equaes de campo (no exterior da massa).
Vamos agora investigar a influncia que o campo da massa M exerce sobre as propriedades
mtricas do espao. Continua a ser vlida a relao
ds
2
= g

d x

dx
v
existe entre os comprimentos e tempos medidos "localmente", ds , de um lado, e as diferenas de
coordenadas, dx
v
, do outro.
Se uma rgua unidade estiver, por exemplo, colocada em posio "paralela" ao eixo x , toma-
remos ds
2
= 1; dx
2
=dx
3
=dx
4
=0, e ser portanto 1 = g
11
dx
1
2
.
Se a rgua unidade estiver assente no eixo do x, verifica-se, alm da relao anterior, ainda a
seguinte, dada pela primeira das equaes (70)
g
r
11
1 +
_
,
Destas duas relaes resulta, com o rigor da primeira aproximao,

(71) dx
r
1
2
V-se assim que a rgua unidade, quando est colocada radialmente no campo gravitacional, apre-
senta em relao ao sistema de coordenadas, em conseqncia da existncia do campo, um encur-
tamento, cujo valor o que acabamos de encontrar.
De um modo anlogo se pode obter o comprimento da rgua expresso nas coordenadas, quan-
do ela estiver colocada em direo tangencial. Pondo, por exemplo,
45
ds
2
= 1; dx
1
=dx
3
=dx
4
=0 ; x
1
=r, x
2
=x
3
=0 ,
(71 a) 1 =g
22
dx
2
2
= dx
2
2
,
o que mostra que o campo de gravidade do ponto material no tem qualquer influncia sobre o
comprimento da rgua quando esta influncia sobre o comprimento da rgua quando esta colocada
em posio tangencial.
Conclui-se ento que a geometria euclidiana deixa de ser vlida, mesmo em primeira aproxi-
mao, no campo da gravidade, se quisermos continuar a considerar a mesma rgua, independe-
mente da sua localizao ou orientao, como materializao de um mesmo segmento de recta. No
entanto, basta olhar para (70 a) ou para (69) para reconhecer que os desvios que se podem esperar
em relao a essa geometria so demasiado pequenos para poderem ser revelados por medies fei-
tas na superfcie da Terra.
Investiguemos agora o ritmo de funcionamento de um relgio unidade que se encontra em re-
pouso num campo gravitacional esttico. Para um perodo de funcionamento do relgio tem-se
ds =1 ; dx
1
=dx
2
=dx
3
=0 .
portanto
1
44 4
2
g dx
(72)
( )
dx
g
g
g
ou
dx
x d
r
4
44
44
44
4
1 1
1 1
1
1
2
10
1
8

+

+

)

O relgio funciona, pois, com maior lentido quando est colocado na proximidade de massas pon-
derveis. Daqui resulta que as riscas espectrais da luz que nos chega da superfcie de grandes astros
devem apresentar-se desviadas para o extremo vermelho do espectro.
15
Vamos ainda fazer o estudo da marcha dos raios luminosos no campo gravitacional esttico.
Segundo a teoria da relatividade especial a velocidade da luz dada pela equao
+ dx dx dx dx
1
2
2
2
3
2
4
2
0
e, ento, segundo a teoria da relatividade geral ser dada pela equao
(73) ds
2
=g

dx

dx
v
=0.
________________
15
Segundo E. Freundlich, h observaes espectrais sobre estrelas fixas de certos tipos que testemunham a existncia
dum efeito deste gnero. No entanto, est ainda por encontrar uma prova definitiva deste conseqncia.
Se for dada a direo, isto , a razo dx
1
: dx
2
: dx
3
, a equao (73) d as quantidades
46
dx
dx
dx
dx
dx
dx
1
4
2
4
3
4
e, portanto, a velocidade
dx
dx
dx
dx
dx
dx
1
4
2
2
4
2
3
4
2
7
_
,
+

_
,
+

_
,

definida no sentido da geometria euclidiana. Reconhece-se facilmente que a marcha dos raios de luz
em relao ao sistema de coordenadas tem de ser curvilnea quan-
do os g

no forem constantes. Se n for uma direo perpendicu-
lar direo de propagao da luz, o princpio de Huyghens mos-
tra que o raio de luz [ considerado no plano ( y , n)] tem a curvatu-
ra

11)
. Vamos procurar determinar a curvatura que um raio
de luz adquire quando passa distncia de uma massa M . Se
escolhermos o sistema de coordenadas em conformidade com o
esquema ao lado, a deflexo total do raio de luz (considerada positiva quando a concavidade ficar
voltada para a origem) dada com suficiente aproximao por
B
d x
dx

1
2
enquanto que (73) e (70) do 12)
_
,
g
g r
x
r
44
22
2
2
2
1
2
1
Efetuando o clculo do integral, chega-se a 13)
(74) B
x M

2
2

Um raio de luz que passe prximo do Sol sofre, deste modo, uma deflexo de 1,7'' e um raio
que passe junto de J piter sofre uma deflexo de uns 0,02" .
Se calcularmos o campo gravitacional com uma aproximao maior, e se, com rigor corres-
pondente, calcularmos tambm o movimento planetrio de um ponto material cuja massa se possa
considerar, em valor relativo, infinitamente pequena, encontraremos, em relao s leis de Kepler-
Newton referentes aos movimentos planetrios, um desvio que se traduz no seguinte: a glria elpti-
ca do planeta efetua, no sentido do movimento de revoluo do planeta, uma lenta rotao, cujo
valor angular por revoluo o seguinte :
(75)
( )

24
1
3
2
2 2 2
a
T c e
47
Nesta frmula, a designa o semi-eixo maior, c o habitual valor d velocidade da luz, e a excentricida-
de, T o tempo de revoluo em segundos.
16
Para a rotao da rbita do planeta Mercrio o clculo d um valor de 43" por sculo, em cor-
respondncia exata com os resultados dos astrnomos (Leverrier): estes, com efeito, tinham reco-
nhecido haver no movimento do perihlio de Mercrio uma parte que no podia ser atribuda a per-
turbaes causadas por outros planetas, e que essa parte tinha o valor que acabamos de indicar.
Notas do Tradutor
1 - O primeiro termo, g
A
x

, transformado em
( )
x
g A A
g
x
v v
2 - No texto alemo figura na terceira parcela g

em vez de g

.
3 - A reduo feita depois de o referido terceiro termo sofrer uma transformao anloga menci-
onada na nota (1).
4 - Depois de multiplicado por g

g

.
5 - No texto alemo aparece R

em vez de B

, certamente por lapso.

6 - neste caso, portanto, o tensor de Riemann no deve reduzir-se a zero, de contrrio haveria a pos-
sibilidade de tal transformao, como se explicou no 12.
7 - No fim do 12 .
8 - Estas equaes ("de Euler") constituem, como mostra o clculo das variaes, condio necess-
ria e suficiente de estacionaridade do integral que figura em (47 a).
9 - Em virtude de (29) e de g 1.
10 - O potencial gravitacional dado por (68 a) e tambm por g
44
/ 2adicionado de qualquer cons-
tante (neste caso - 1/2) .
11 - Entende-se aqui por "curvatura" o ngulo de deflexo por unidade de percurso (veja o artigo
precedente "Sobre a influncia da gravidade na propagao da luz", 4).
12 - Para este clculo, depois de substituir em (73) os valores dos vrios g dados por (70) e de
introduzir
2
na expresso obtida, h que tornar dx
3
/ dx
4
= 0 , e que desprezar, por muito peque-
nos, termos em que entra a derivada dx
1
/ dx
4
.
13 - Para a integrao convm a mudana de varivel x
2
= tg .
Este texto foi extrado do livro:
TEXTOS FUNDAMENTAIS DA FSICA MODERNA
VOLUME I
O PRINCPIO DA RELATIVIDADE
FUNDAO CALOUSTE GULBENKIAN

Apostila Teoria Da Relatividade

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apostila Teoria Da Relatividade

Uploaded by

Copyright:

Available Formats

Teoria da Relatividade Geral www.fisica.net Prof.

Alberto Ricardo Prass Verso 27/02/2000

Se se introduzirem estas expresses em (1) , obtm-se

mas daqui resulta a seguinte lei de transformao, se atender os a que os B

Nota sobre uma simplificao utilizada no modo de escrever as expresses

que, de acordo com (8) e ( 5 a) , satisfazem a lei de transformao

e deste, novamente por contrao, o tensor de ordem zero A A A

Por outro lado, a lei de transformao do elemento

Notem-se especialmente as construes seguintes:

(" complementos", respectivamente, do tensor covariante e do contravariante), e

o tensor reduzido correspondente a A

ds um extremo ( linha geodsica) tem um significado independente da escolha das

segue-se que tambm

um quadrivetor covariante (gradiente de )

simtrico relativamente a e v, segue-se que a expresso entre parnteses

pode-se construir, por diferenciao, um tensor covariante de segunda ordem

A este tensor A v chamaremos a "extenso" ( Erweiterung ) do tensor A

tem carter tensorial. E

tm carter tensorial. Multiplicando externamente a primeira por Bv e a segunda por A , obtm-se

A ltima expresso obtm-se da penltima, atendendo a que

Efetuado o produto misto por g

Introduzindo agora em (29) o segundo membro desta relao (34), vem

Introduzindo no ltimo termo o tensor contravariante A

temos ento, em primeiro lugar,

Ora o clculo da variao que figura em (47 a) leva ao sistema de equao

por "componentes de energia" do campo gravitacional.

. Obteremos assim, em vez das equaes (47),

, o qual h de ter carter misto, como as componentes t

(escalar de Laue). So estas, em forma mista, as equaes gerais de campo da

a equao que assim se obtm, e subtraiamo-la depois de (52). Resulta

da energia do campo gravitacio-

e igualmente o quadrivetor contravariante J

Em notao tridimensional as suas componentes exprimir-se-o, em conformidade com (61), do

Reunindo os trs termos calculados, obtm-se a relao

enquanto que a teoria de Newton d, para a unidade de tempo que escolhemos,

Destas duas relaes resulta, com o rigor da primeira aproximao,

2 - No texto alemo figura na terceira parcela g

, certamente por lapso.

You might also like