Relatividade

Teoria da Relatividade Geral www.fisica.net Prof.
Alberto Ricardo Prass Verso 27/02/2000
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 mecnica 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 Relatividade 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 equivalncia 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 relatividade, 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 comportamento 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 relatividade 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, segundo 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 relatividade.
A mecnica clssica, e, no menos que ela, a teoria da relatividade especial, incluem um defeito 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
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 observador imvel em relao outra apresenta, em torno da reta que une as duas massas, um movimento de rotao de velocidade angular constante (havendo assim um movimento relativo verificvel entre as duas massas). Imaginemos agora que, por meio de rguas ( em repouso relativo), se
fazem medies sobre as superfcies dos dois corpos ( S1 e S2 ) , chegando-se concluso de que
esfrica a superfcie de S1 e elipsoidal de revoluo a de S2.
Pergunta-se agora: por que razo se comportam de modo diverso S1 e S2 ? Uma resposta a esta
pergunta s pode ser considerada satisfatria do ponto de vista epistemolgico2 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 R1 em relao ao qual o corpo S1 est em repouso, mas no a tm num espao R2 em relao ao qual est em repouso S2 . O espao 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, R1 , a diferena de comportamento
que se observa nos corpos S1 e S2 .
Uma resposta aceitvel para a questo acima formulada s pode ser a seguinte: como o sistema fsico formado por S1 e S2 no apresenta dentro de si nada que seja possvel imaginar como causa da diferena de comportamento de S1 e S2 , essa causa tem de se encontrar fora do sistema. Chega-se assim idia de que as leis gerais do movimento de que resultam, como aplicao particular,
as formas de S1 e S2 devem ser tais que o comportamento mecnico destes corpos fique condicionado de um modo decisivo por massas distantes, no includas no sistema considerado. Em tais massas 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 corpos de que nos estamos a ocupar: so elas que assumem o papel da causa fictcia R1. De todos os
espaos imaginveis R1 , R2, etc. , que se movam em relao uns aos outros de qualquer modo, nenhum 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 sistemas 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 conhecido 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.
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 ensinado 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 relao 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 e K' 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 facilmente 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 exprimem 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
x1 sobre o eixo X1 significa: que a projeo do ponto-acontecimento sobre o eixo X1 , feita por meio
de rguas rgidas segundo as regras da geometria euclidiana, se pode obter aplicando sobre o eixo
X1, a partir da origem das coordenadas e no sentido positivo, x1 vezes uma determinada rgua - a
rgua-unidade. Dizer que um ponto tem sobre o eixo X4 a coordenada x4 = t significa: que um relgio-unidade (regulado segundo determinadas prescries), imvel em relao ao sistema de coordenadas e coincidente no espao (praticamente) com o ponto-acontecimento, tem acabado de efetuar
x4 = 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.
A possibilidade de constatar a "simultaneidade" de acontecimentos em vizinhana espacial imediata, ou - mais rigorosamente em vizinhana imediata espao-temporal (coincidncia) ser aqui admitida sem dar uma definio a este
conceito fundamental.
Esta concepo de espao e de tempo sempre andou na mente dos fsicos, ainda que inconscientemente para a maior parte deles, e a prova est o papel que estes conceitos desempenham na fsica mtrica. E tambm o leitor deve ter alicerado nessa concepo a segunda das reflexes do pargrafo 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 relatividade geral com a validade da teoria da relatividade especial no caso limite da ausncia de campo 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 comprimentos 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 origem pode, ao mesmo tempo, ser considerada como circunferncia no plano X' - Y' de K' . Suponhamos agora que se mede o permetro e o dimetro desta circunferncia com uma rgua-unidade ( infinitamente 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 fsica, definindo-o com relgios de idntica constituio, imveis em relao a K' . Para o reconhecermos, 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 conhecido 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 circunferncia, 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 depender do lugar em que se encontra.
Chegamos assim a esta concluso: na teoria da relatividade geral no possvel dar s grandezas espao e tempo definies que permitam a medio direta de diferenas de coordenadas espaciais 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 determinada, no contnuo espao-temporal, torna-se impraticvel, e no parece haver nenhum outro caminho que permita encontrar sistemas de coordenadas de tal forma adequados ao universo quadridimensional que da sua aplicao se pudesse esperar para as leis da natureza uma formulao parti4
cularmente simples. nada mais resta, por conseguinte, que considerar como equivalentes em princpio 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 relatividade 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 objetividade 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 ltima anlise observvel o encontro de dois ou mais desses pontos. Mesmo os resultados das nossas medies outra coisa no so que a constatao de tais encontros entre pontos materiais das nossas 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 x1 , x2 , x3 , x4 , de tal modo que a cada ponto-acontecimento corresponda um sistema de valores das variveis x1 , ... x4 . A dois pontos-acontecimentos em coincidncia corresponde
o mesmo sistema de valores das variveis x1 , ... x4 ; isto , a coincidncia caracteriza-se pela identidade dos valores das coordenadas. Se em vez das variveis x1 , ... x4 se introduzirem como coordenadas de um novo sistema funes arbitrrias delas, x1 , x2 , x3 , x4 de tal modo que os sistemas de
valores se correspondam univocamente, ento tambm no novo sistema a coincidncia espaotemporal 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 coordenadas em relao a outros, isto , chegamos ao postulado da covarincia geral.
4 Relao das quatro coordenadas com os resultados das medies espaciais e temporais. 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 relatividade no sentido restrito a domnios quadridimensionais infinitamente pequenos.
________________
5
No mencionaremos aqui certas restries impostas pela exigncia da coordenao unvoca e pela da continuidade.
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 X1 , X2 , X # , as coordenadas espaciais de tal sistema; X4 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 teoria da relatividade especial, desde que se adapte como rgua-unidade uma barra rgida. A expresso:
d s 2 = dX
(1)
2
1
dX
2
2
dX
2
3
dX
2
4
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 quadridimensional. Se o ds2 correspondente ao elemento (dX1 .... dX4) 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 estamos considerando. Ento, ao nosso " elemento de linha", ou ao respectivo par de pontosacontecimento, correspondero tambm determinadas diferenciais dx1 ... dx4 das coordenadas desse
referencial. E ento os dXv sero representveis por expresses lineares e homogneas. dos dx :
(2)
d Xy =
d x
Se se introduzirem estas expresses em (1) , obtm-se

(3)
ds
dx dx
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 ds2 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 somatrio, 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 ds2 poder passar-se para o caso da teoria da relatividade habitual sempre que o condicionamento particular dos g num domnio finito permita estabelecer nesse domnio um sistema de referncia em que os g assumam os valore constantes
________________
A unidade de tempo deve ser escolhida de tal modo que a velocidade da luz no vcuo medida no sistema de coordenadas " local " seja igual a 1.
(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 escolhido, fazem a descrio do campo de gravidade. Com efeito, admitamos que, para um determinado domnio quadridimensional considerado, se conseguiu alcanar a validade da teoria da relatividade especial mediante uma adequada escolha das coordenadas. Os g tm ento os valores dados 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 espaotemporais x1 , ..., x4, os g no novo sistema no sero j constantes, ma sim funes do espaotempo. 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 material 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 variabilidade espao-temporal dos g . No caso geral no possvel fazer uma escolha de coordenadas 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 relao s outras foras, e particularmente em relao s foras electromagnticas, visto que as 10 funes g que fazem a descrio do campo gravitacional determinam, ao mesmo tempo, as propriedades 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 substituies arbitrrias de coordenadas x1 , ..., x4 , 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 definem 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 sistema 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 covarin7
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 dxy , cuja
lei de transformao se exprime pela equao.
(5)
x '
dx =
v xy
'
Os dx' exprimem-se nos dxv , por equaes lineares e homogneas; isto permite-nos considerar estas diferenciais das coordenadas dxv como componentes de um " tensor" a que daremos a
designao especial de quadrivetor contravariante. Todo o ente que em relao ao sistema de coordenadas se defina por meio de quatro grandezas Ay transformveis segundo a mesma lei.
(5 a)
'
x ' v
=
A
v xv
ser igualmente denominado quadrivetor contravariante. De (5 a ) resulta imediatamente que as somas ( A + B ) so componentes de um quadrivetor de A e B 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 Ay so as coponentes de um quadrivetor covariante se para toda e qualquer escolha de um vector contravariante By .
(6)
B v = In var iante.
Desta definio resulta a lei da transformao do quadrivetor covariante. Com efeito, substituindo
no segundo membro da equao.
'
B ' =
Bv
B y pela seguinte expresso, que se obtm invertendo a equao ( 5 a )
xv
resulta
'
B '
B '
xv
A = B ' A'
x' v
mas daqui resulta a seguinte lei de transformao, se atender os a que os B' se podem escolher arbitrariamente, em completa independncia uns dos outros.
(7)
A ' =
xv
A
x' 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 Bv
dois quadrivetores contravariantes obteremos 16 quantidades.
(8)
de
A ' = A B v
que, de acordo com (8) e ( 5 a) , satisfazem a lei de transformao

(9)
A ' =
x' x'
A
x xv
Chamaremos tensor contravariante de segunda ordem a um ente que, em relao a todo o sistema 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 Bv 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
43 . 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 Bv obteremos quantidades
(10)
A v = A Bv ,
9
para as quais vlida a lei de transformao

A ' =
(11)
x x
A
x' x'
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 Bv ,
que covariante quanto ao ndice e contravariante quanto ao ndice v . A sua lei de transformao
x' x
(13)
A ' =
A
x x' '
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 contravariante 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)
(14 a )
A v = A v , ou
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'
x' x'
A =
A =
A = A '
x xv
x xv
x xv
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 permutao 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
10
(15)
A v = Av , ou
(15 a)
A v = Av
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
T
= A B
= 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 multiplicao externa com a contrao.
Exemplos. Com o tensor covariante de segunda ordem A v , e o tensor contravariante de primeira ordem B formamos, por multiplicao externa, o tensor misto
D = A B .
11
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 dupla 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 ordem D = A B .
Pode-se, adequadamente, designar por mista esta operao, visto que externa em relao aos ndices e e interna em relao aos ndices v e .
Vamos agora demonstrar um teorema que se aplica muitas vezes ara verificar o carter tensorial. 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 carter tensorial.
Demonstrao:
Tem-se, por hiptese, para uma substituio arbitrria,
A ' B ' = A v B v
Mas, por inverso de (9)
B =
x x '
B
x ' x '
Substituindo na equao anterior:
x x
A '
A B = 0
x ' x '
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
qualquer ordem e de qualquer carter.
a este para tensores de
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.
12
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 carter tensorial de A v. Tambm este teorema se pode generalizar facilmente ao caso de tensores covariantes e contravariantes de qualquer ordem.
Finalmente, resulta do que foi demonstrado o seguinte teorema, que pode igualmente ser generalizado 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 resulta 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 = g v dx dxy , dx desempenha o papel de um vector contravariante de escolha arbitrria. E
como, alm disso, g v = gv , segue-se, em conformidade com as consideraes do ltimo pargrafo,
que g v um tensor covariante de segunda ordem. Chamar-lhe-emos " tensor fundamental". Deduziremos 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.
2
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 =
onde o smbolo v significa 1 ou 0, consoante for = v ou v . Em vez da expresso anterior de ds2 podemos ento tambm escrever
g v
dx
dxv
ou ainda, , atendendo a ( 16 ),
g v
gv g
dx
dxv
Mas, segundo as regras de multiplicao dos pargrafos precedentes, as grandezas

13
d = g
dx
formam um quadrivetor covariante, que de escolha arbitrria (dado que o so os dx ). Introduzindo-o na nossa expresso, obtemos
ds2 = 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 volume7 . Comecemos por determinar a lei de transformao do determinante

g = g v . Em vista de (11) temos
g '=
x x
g
x' x'
________________
7
No raciocnio que se segue omitem-se por simplicidade, o sinais de integral, que em rigor seriam necessrios.
14
Daqui resulta, aplicando duas vezes a regra da multiplicao de determinantes

g '=
x
x '
g' =
ou
x
x
g =
x '
x '
x
x '
g,
g.
Por outro lado, a lei de transformao do elemento

d = dx1 dx2 dx3 dx4
segundo o conhecido teorema de Jacobi
d '=
x'
d
x
Multiplicando as duas ltimas equaes, obtm-se

d' =
g d .
(18)
g'
Em vez de
g introduziremos no que se segue a 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 relatividade especial sempre vlida no infinitamente pequeno arrasta consigo a conseqncia de que ds2
se pode sempre exprimir, de acordo com (1), por meio das grandezas reais dx1, dx2, dx3, dx4 . Se
designarmos por d0 o elemento de volume "natural" dx1, dx2 , dx3, dx4, teremos ento
(18a)
d0 =
g . d .
Se g tendesse para zero em determinado local do contnuo quadridimensional, isso significaria 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
15
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 Jacobi,
x '
= 1
x
(19)
Com esta escolha de coordenadas s so pois admissveis as substituies de coordenadas que tenham determinante igual a 1.
Seria porm errneo crer que este passo represente uma renncia parcial ao postulado da relatividade 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
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
Chamaremos B o tensor reduzido correspondente a A . Analogamente

B = g
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 P1 e P2 do contnuo quadridimensional
16
para a qual
ds um extremo ( linha geodsica) tem um significado independente da escolha das
coordenadas. A sua equao

P2
ds = 0 .
(20)
P1
Partindo desta equao chega-se por um conhecido processo do clculo das variaes a quatro equaes 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 xv ; esta funo define uma famlia de superfcies que interceptam a linha geodsica procurada, assim como as linhas
infinitamente prximas desta que passem pelos pontos P1 e P2. Qualquer destas linhas pode ento
imaginar-se determinada pela expresso das suas coordenadas xv 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)
2 wd = 0
d x d x
2
2 w = g d d
Mas como
w=
1 1 g
w 2 x
dx
dx
dx
dx v
dx
x + g

d
d
d
resulta, substituindo w em (20 a), tendo em conta que

d x d x

,
=
d
d
e aps integrao parcial
2
x x d = 0
1
d g dx 1 g d x d x v
x
=
d w d 2 w x d d
(20 b)
Daqui resulta, por ser arbitrria a escolha dos x , que os x se reduzem a zero:
x = 0.
(20c)
Tais so as equaes da linha geodsica. Se no for ds = 0 sobre a linha geodsica considerada, poderemos tomar como parmetro o " comprimento de arco " s medido sobre a linha geodsica.
Ser ento w = 1 e, em vez de (20c), teremos:
g
d2 x
ds2
g dx d x
g dx d x
1
=0
x ds ds
x ds ds
17
ou, com uma simples mudana de notao

g
(20d)
d 2x
d x
+
ds
ds 2

d x
=0
ds
onde se introduziu, seguindo Christoffel

1 g g g

= 2 x + x x .

(21)
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
d2 x
d x dx
+
= 0

ds2
ds ds
(22)
na qual se introduziu, seguindo Christoffel

= g

(23)
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 encontraremos aptos a formular equaes diferenciais de covarincia geral. Atingiremos este objetivo por aplicao 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
segue-se que tambm
dx
d
=
x ds
ds
=
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
18
(24)
A =
um quadrivetor covariante (gradiente de )

Segundo o nosso teorema, tambm a derivada tomada sobre uma curva um invariante.
Substituindo pela sua anterior expresso resulta
2
d 2 x
dx dx
x =
+
x ds2
dx x ds ds
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 d2xv
/ds2 pela sua expresso tirada de (22), teremos:
2
dx dx
x=

dx x x ds ds
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)
2

A =

x d x x
um tensor covariante de segunda ordem.

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

(26)
A =
A

A
xv

A este tensor A v chamaremos a "extenso" ( Erweiterung ) do tensor A .
19
Poderemos agora mostrar facilmente que o processo de formao de expresses que acabamos 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
dx
um quadrivetor covariante quando e forem escalares. Tambm assim sucede a uma soma de
quatro termos anlogos ao anterior.
S =
( 1)
(1)
+ . + . +
x
(4)
(4)
,
x
desde que (1) (1) ... (4) (4) sejam escalares.

Ora claro que qualquer quadrivetor covariante se pode representar na forma S : com efeitos, se A for um quadrivetor cujas componentes sejam dadas por funes quaisquer dos x v , bastar tomar (em relao ao sistema de coordenadas escolhido)
(1) =
(2) =
(3) =
(4) =
A1
A2
A3
A4
(1) = x1 ,
(2) = x2 ,
(3) = x3 ,
(4) = x4 ,
,
,
,
,
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 mesma 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 =
para que fique feita para S . Considerando ento esse caso, notemos que o produto por do segundo membro de (25)

x dxv
x
tem carter tensorial. E
20

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
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 tensores deste tipo especial.
De acordo com (26), as expresses
A
A
x
Bv

B
x

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,
A

(27)
A =
A A
x

________________
8
Por multiplicao externa dos vectores que tm respectivamente por componentes A11 , A12 , A13 , A14 , e 1, 0, 0, 0,
forma-se um tensor com as componentes
A11
A12 A13
A14
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
21
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
dg = g
(28)
ltima
g g ' =
gdg
expresso
'
onde g
= g g dg
obtm-se
= 4
g g
da
penltima,
atendendo
que
e por consegu int e

+ g
dg ' = 0
De (28) resulta
g
1 1g ( g )
1
=
= g
2 x
2
g x
1
(29)
De
1
= g
2
g
x
resulta, por outro lado, por diferenciao
g dg = g dg
g
(30)
g
= g
e g
x
x
Efetuado o produto misto por g e gv , respectivamente, obtm-se (modificando a notao dos

ndices)
(31)
dg
g
x
g dg ,
g
= g g
x
= g
22
e correspondentemente
(32)
dg = g g dg ,
g
g
= g g
x
x
A relao (31) susceptvel de uma transformao que tambm havemos de utilizar muitas vezes.
Segundo (21), temos
(33)
x ]

= +

Introduzindo esta relao na segunda das frmulas (31) obtm-se, atendendo a (23),
(34)
g
x
= g

+ g

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

1
(29 a)
"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):
g
x
g g g
g
1
g
A A
g
+
x
x x
2
x
O ltimo dos trs termos desta expresso pode, atendendo a (31) e (29), escrever-se com a
forma
1 g
1 g
1 g
A +
A +
g
A 2)
2 x
2 x
g x
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 ltima pode reduzir-se com o primeiro da penltima 3). Se depois fizermos
g v A = A v ,
onde Av bem como A , designa um vector arbitrrio, obteremos finalmente
23
( g A
x
g
(35)
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 possibilidade da construo de um novo tensor (anti-simtrico) de maneira particularmente simples: o tensor A v A v . Representando-o por B v , teremos ento
B =
(36)
x x
A
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
B = A + A + A =
(37)
A
x
d 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
(g
x
Substituindo g
g A ) g
A v
por
g
g
A g
A
x
x
, e g g A por A
; e substituindo ainda, no
primeiro termo j transformado,
g
g
e
x
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
=
+
x
{ }A
x
{ }A
x
Tal a expresso da extenso de um tensor contravariante de segunda ordem: expresses correspondentes a esta podem-se estabelecer para tensores contravariantes de ordem mais alta e mais baixa. E de notar que, seguindo um processo anlogo, se pode tambm chegar extenso de u tensor
misto:
24
(39)
A
x
{ }A
{ }A
Por contrao de (38) em relao aos ndices e (multiplicao interna por
, obtm-
se o quadrivetor contravariante
A
A =
+
x
Dada a simetria de
{ }A
x
{ }A
x
{ } em relao aos ndices

x
xB
e x , o terceiro termo do segundo membro re-
for um tensor anti-simtrico, o que vamos admitir; por outro lado, o segundo
duz-se a zero se A
termo pode ser transformado por aplicao de ( 29 a) . Obtm-se assim
(40)
1
A =
g
g A
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
){ }
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
g
1
g
A
x
2
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
g
1
g
A
x
2
Assim, no caso de simetria considerado, (41) pode substituir-se por qualquer das formas
25
g A =
(41 a)
g A =
(41 b)
g A
) 1 g
2 dx
g A
g A
)+ 1 g
g A
2 dx
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, utilizando 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 convico de que tal tensor identicamente nulo. Poderemos, no entanto, atingir o objetivo em vista seguindo o caminho que se vai expor. Introduzamos em (27).
A =
{ }A
x
isto , a extenso do quadrivetor A . Obtm-se ento (com uma pequena modificao nos nomes
dos ndices) o tensor de terceira ordem
A =
{ }
xx
A
A

x
x
+
x
{ }
{ } x
{ } + { }{ } + { } { } A
Esta expresso sugere a construo do tensor A A , visto que, nessa construo, o primeiro termo da expresso de A , o quarto termo, e tambm o termo correspondente ltima parcela 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)
(43)
A A = B A

B = x
{ }
{ } + x { }
{ }+ { } { }
26
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 necessria para se obter a constncia dos g v mediante uma escolha apropriada do sistema de referncia9 ).
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
B = R + S
{
{
R =
} +
}
x
(44)
1g g
1g g
S =
{ }
x x
x
{ }
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 tensor 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 coordenadas 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
27
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 escolher 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 escolha arbitrria K1 ; 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 K1
estabelece-se facilmente com o raciocnio seguinte:
Em relao a K0 , 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 referncia; logo, a sua equao tambm a equao do movimento do ponto em relao a K1 . Pondo
(45)
{ }
teremos ento, como equao do movimento do ponto em relao a K1 .

(46)
d2x
=I
ds 2
dx
dx
ds ds
Admitimos agora a hiptese, muito plausvel, de que este sistema de equaes, que goza de covarincia geral, continua a determinar o movimento do ponto no campo gravitacional mesmo no caso
de no existir nenhum sistema de referncia Ko 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 quaisquer relaes, nem mesmo no caso de existir K0 .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.
_______________
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 K0 (N.T.)
10
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 anterior para estabelecer a equao do movimento do ponto material.
28
Notemos ento que as equaes de campo que estamos procurando devem sempre ser verificadas 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
K0 . 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 especial da verificao dessas equaes.
Com o sistema de coordenadas que atrs decidimos adaptar7 ) v-se , atendendo a (44), que as
mesmas equaes tomam a forma.
T
+T
(47)
=0
g =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
_________________
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.
11
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 explicao 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 estabelecidas por via puramente matemtica a partir do postulado da relatividade geral, constitui, na minha 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

29
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 = 0

H = g T T
g =1
entendendo-se que as variaes se desvanecem nos limites do espao quadridimensional de integrao limitado que se considera.
Comecemos por mostrar que a forma ( 47 a) equivalente s (47) . Para esse efeito, consideremos H como funo dos gv e dos
g
g
=
temos ento, em primeiro lugar,
H = T
= T T g
+ 2g
+ 2T
( )
Mas agora
1
T = g
2
g g g
x
x
x
Os termos provenientes das duas ltimas parcelas do parntese curvo convertem-se um no outro trocando 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)
g = T T
H =T
Ora o clculo da variao que figura em (47 a) leva ao sistema de equao 8)
30
H
H
=0

x g g
(47b)
Este sistema, em vista de (48), coincide com (47), como se queria demonstrar.
Multipliquemos agora (47b) por gv . Como
g
g
=
x
x
e, consequentemente,
g
H g
H
H
g
=
x g x g g x
obteremos com essa multiplicao a equao.
H H
g
=0
x g x
ou12
(49)
t
=0
2 xt = g H
sendo ainda, em vista de (48), da segunda equao de (47 a), e de (34),

(50)
xt
1
=
2
T g
de salientar que t no um tensor, mas que, apesar disso, a equao (49) vlida em todos os sistemas de coordenadas para os quais seja g = 1. Esta equao exprime a lei da conservao da quantidade de movimento e da energia para o campo gravitacional. Com efeito, a sua integrao estendida a um volume V tridimensional fornece-nos as quatro equaes.
(49 a)
x 4
{ t
} (t
dV =
a1 + t 2 a 2 + t 3 a 3 ) dS
onde a1, a2, a3, 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 volume 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.
31
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 , obtemo-las em forma "mista". Note-se agora que
T
x
g g
=
g T
T
x
x
x
grandeza que, em vista de (34) igual a
g T g T T g T T
x
ou (modificando a denominao dos ndices de soma) igual a
(g
)g
mn
g T
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
onde se tomou t = t
(51)
2
. Obteremos assim, em vez das equaes (47),

g T
x

) = x t
1

2
g =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 corresponde equao de Poisson.
= 4 x
na qual representa a densidade da matria.
32
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 covarinte.12
Quanto maneira de introduzir nas equaes do campo gravitacional o referido tensor (corresponde 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 exprime-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 gravitacional e da matria. Deste modo, em vez de (51), obtm-se a equao tensorial.
(52)

g T
x

) = x (t
+T
) 21 (t + T )
g =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
+T
= x T g
g =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 movimento 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 ; mul1
tipliquemos por a equao que assim se obtm, e subtraiamo-la depois de (52). Resulta
2
33

1
T
g
x
2
(52 a)
=x t
+T
Apliquemos a esta equao a operao / x .

Comeando pelo primeiro termo do primeiro membro, temos
2
2
1

g g
g T =
x x
2 x x
g g g
.
+
x
x
x
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 terceira 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).
2
3 g
1
g T =
x x
2 x x x
(54)
Quanto ao segundo termo do mesmo primeiro membro, ele d diretamente.
2
1
g
2 x x
ou
1 2
4 x x
g g g
g
+
x
x
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).
3 g
1
2 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
g T g T 0
x x
2
E ento a aplicao da operao / x equao ( 52 a) conduz finalmente a

34
(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, porm, de que agora teremos de tomar, em vez das componentes t da energia do campo gravitacional, 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
g
9)
em conta o anulamento de
g
x
a equao
t
1 g
+
T
x
2 x
=0
ou, atendendo a (56),

(57)
T
1 g
+
T =0
x
2 x
O confronto com (41 b) mostra que esta equao, com a escolha de coordenadas que adaptamos, 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 primeiro 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 campo 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
T
(57 a)
= T
x
Assim escrito, o segundo membro exprime o efeito energtico do campo gravitacional sobre a matria.]]
Em face do exposto, vemos que as equaes de campo da gravitao contm quatro condies, 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 equaes diferenciais mutuamente independentes.13
35
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 processos, e isto independentemente da introduo de qualquer nova hiptese.
Pr o problema deste modo implica que no se introduzam como necessrias hipteses concretas 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 conjunto, 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 dx
ds ds
Corresponde-lhe o tensor covariante

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

T = p + g
(58 b)
dx dx
p
ds
ds
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 dx
=1
ds ds
so suficientes, dados os g , para determinar as 6 incgnitas

p, p ,
dx1 dx 2 dx 3 dx 4
,
,
,
ds ds
ds
ds
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 superabundncia 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 eletromagntico . 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 coordenadas.
37
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)
F23
x 4
F43
x1
F41
x 2
F12
x
3
+
+
+
+
F34
x2
F41
x3
F12
x4
F23
x1
+
+
+
+
F42
x3
F13
x4
F24
x1
F31
x2
=0
=0
=0
=0
Este sistema de equaes corresponde ao segundo sistema de equaes de Maxwell. Isso reconhece-se imediatamente pondo
(61)
F23 = ! x
F31 = ! y
F12 = ! z
F14 = e x
F24 = e y
F34 = ez '
Poderemos ento, empregando a notao habitual da anlise vectorial de trs dimenses, escrever
em vez de (60 a)
(60 b)
!
+ rot e = 0
div ! = 0
O primeiro sistema de Maxwell obtm-se por generalizao da forma dada por Minkowski. Introduziremos para isso o seguinte sextivector contravariante correspondente a F
(62)
=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
= J
x
Pondo, com efeito,
38
(64)
F23 = !' x
F31 = !' y
F12 = !' z
F14 = e' x
F24 = e' y
F34 = e' z
grandezas que, no caso particular da teoria da relatividade especial, so iguais a hx ... ex , alm disso
J1 =ix ,
J2 = i y ,
J 3 = i x' ,
J4 = ,
obtm-se, em vez de (63),
(63 a)
e'
rot !' t = i
div e ' = p
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)
x1 = pe x + i , ! x
...........................
...........................
x = (i , e ).
4
x um quadrivetor covariante cujas componentes so iguais quantidade de movimento negativa, 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 F
=
x
x
) F
O ltimo termo consente, em virtude de (60), a transformao

39
F
x
F
x
1 F
1
F
= g
x
2
2
F
x
podendo ainda a ltima expresso, por razes de simetria, ser escrita na forma
1
g
4
g F
+g
dx
dx
qual podemos ainda dar a forma
1
1
g g F F + F F
(g
x
4 x
4
g )
O primeiro destes termos escreve-se abreviadamente

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

(66)
T 1 g
x =
g
T
x 2
x
(66 a)
1
T = F F +
4
F F
onde
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 gravitacional 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 covarincia 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 coordenadas, 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 equao (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
40
membro a soma das componentes energticas da matria e da gravitao. Eu cheguei efetivamente

concluso de que a resposta afirmativa para os dois casos, Julgo, 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 tambm j foi dito atrs, tomar tais valores significa desprezar inteiramente os efeitos da gravidade. Situar-nos-emos mais perto da realidade se admitirmos que os g tm valores diferentes de (4), sendo porm os respectivos desvios de tal modo pequenos (em confronto com 1) que se podem desprezar 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 espao-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 chegar a ela, ainda necessrio introduzir um segundo ponto de vista no mtodo aproximado de manipulao das equaes fundamentais.
Consideremos o movimento de um ponto material segundo (46). No caso da teoria da relatividade especial as componentes
dx1 dx 2 dx 3
,
,
ds
ds
ds
podem tomar quaisquer valores; o que significa ser possvel qualquer velocidade
2
v=
dx1
dx 2
dx 3
+
+
dx 4
dx 4
dx 4
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 experincia ento as componentes
dx1 dx 2 dx 3
,
,
ds
ds
ds
devero ser tratadas como quantidades pequenas, ao passo que dx4 / ds se deve considerar, at
segunda ordem de grandeza, igual a 1. (Segundo ponto de vista da aproximao).
41
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 reconhecer 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 2 xt
=T
dt 2
44
onde se tomou ds = dx4 = 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 anteriores reduzir-se s seguintes
d2x
= 44 ( = 1, 2, 3)
2
dt
d2x 4
= 44
dt 2
[ ]
[ ]
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 equaes poderemos desprezar derivadas em ordem ao tempo perante as derivadas em ordem s coordenadas de posio. Restar ento
d2 x
1 g 44
( = 1, 2, 3 )
=
2
2 x
dt
(67)
Estas equaes so as do movimento do ponto material na teoria de Newton, desempenhando g44 /2

o papel do potencial de gravidade. O que h de notvel neste resultado o fato de bastar a componente g44 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, determinado 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 T44 = = 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,
x1
[ ] + x [ ] + x [ ] + x [ ]
42
o que d, tomando = = 4 e desprezando derivadas em ordem ao tempo
2 g 44
1 2 g 44 2 g 44
1
= g 44

+
+
2
2
2
2 x1
2
x2
x3
A quarta das equaes (53) d pois

(68)
g44 = 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
8
pd
r
enquanto que a teoria de Newton d, para a unidade de tempo que escolhemos,
K
c2
p d
r
onde K representa a constante 6,7 . 10-8 , habitualmente denominada constante de gravitao. Confrontando as duas expresses, vem
(69)
x=
8 K
= 1 ,,87 . 10 27
c2
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 g44 entre as 10 componentes g do campo gravitacional, por ser ela a nica dessas componentes que entra na equao (67), primeira aproximao da equao do movimento do ponto material. mas daqui j se deixa ver que h ainda outras componentes entre os g cujos valores se devem 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 coordenadas, obtm-se, em primeira aproximao, a seguinte soluo de simetria radial
43
(70)
x p x
( p e entre 1 e 3)
g p = p
r3
g 4 = g 4 p = 0 ( p entre 1 e 3 )
g = 1
44
r
tendo o valor 1 ou o valor 0, consoante for, respectivamente = ou ; e sendo r a

grandeza
x 12 + x 22 + x 23
Em vista de ( 68 a),
(70 a)
xM
4
se designarmos por M a massa que gera o campo. fcil verificar que esta soluo satisfaz em primeira 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
ds2 = g d x dxv
existe entre os comprimentos e tempos medidos "localmente", ds , de um lado, e as diferenas de
coordenadas, dxv , do outro.
Se uma rgua unidade estiver, por exemplo, colocada em posio "paralela" ao eixo x , tomaremos ds2 = 1; dx2 = dx3 = dx4 = 0, e ser portanto 1 = g11 dx12 .
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 11 = 1 +
r
Destas duas relaes resulta, com o rigor da primeira aproximao,
(71)
dx = 1
2r
V-se assim que a rgua unidade, quando est colocada radialmente no campo gravitacional, apresenta em relao ao sistema de coordenadas, em conseqncia da existncia do campo, um encurtamento, cujo valor o que acabamos de encontrar.
De um modo anlogo se pode obter o comprimento da rgua expresso nas coordenadas, quando ela estiver colocada em direo tangencial. Pondo, por exemplo,
44
ds2 = 1; dx1 = dx3 = dx4 = 0 ; x1 = r, x2 = x3 = 0 ,

(71 a)
1 = g22 dx22 = dx22 ,
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 aproximao, no campo da gravidade, se quisermos continuar a considerar a mesma rgua, independemente 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 feitas na superfcie da Terra.
Investiguemos agora o ritmo de funcionamento de um relgio unidade que se encontra em repouso num campo gravitacional esttico. Para um perodo de funcionamento do relgio tem-se
ds = 1 ; dx1 = dx2 = dx3 = 0 .
portanto
1 = g 44 dx 4 2
dx 4 =
(72)
1
g 44
dx 4 = 1 +
x
8
1
1 + ( g 44 1)
= 1
g 44 1
2
ou 10)
d
r
O relgio funciona, pois, com maior lentido quando est colocado na proximidade de massas ponderveis. 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
dx12 dx 22 dx 32 + dx 42 = 0
e, ento, segundo a teoria da relatividade geral ser dada pela equao
(73)
ds2 = g dx dxv = 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 dx1 : dx2 : dx3 , a equao (73) d as quantidades
45
dx1
dx4
dx2
dx4
dx3
dx 4
e, portanto, a velocidade
2
dx1
dx 2
dx 4
dx 4
dx 3
+
dx 4
=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 quando os g no forem constantes. Se n for uma direo perpendicular direo de propagao da luz, o princpio de Huyghens mostra que o raio de luz [ considerado no plano ( y , n)] tem a curvatu 11)
. Vamos procurar determinar a curvatura que um raio
ra
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=
dx 2
dx1
enquanto que (73) e (70) do 12)
g 44
x 22

1 + 2
=1
2r
g 22
r
Efetuando o clculo do integral, chega-se a 13)

B=
(74)
xM
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 Jpiter sofre uma deflexo de uns 0,02" .
Se calcularmos o campo gravitacional com uma aproximao maior, e se, com rigor correspondente, 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 KeplerNewton referentes aos movimentos planetrios, um desvio que se traduz no seguinte: a glria elptica do planeta efetua, no sentido do movimento de revoluo do planeta, uma lenta rotao, cujo
valor angular por revoluo o seguinte :
(75)
= 24 3
a2
T 2 c 2 (1 e 2 )
46
Nesta frmula, a designa o semi-eixo maior, c o habitual valor d velocidade da luz, e a excentricidade, 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 correspondncia exata com os resultados dos astrnomos (Leverrier): estes, com efeito, tinham reconhecido haver no movimento do perihlio de Mercrio uma parte que no podia ser atribuda a perturbaes causadas por outros planetas, e que essa parte tinha o valor que acabamos de indicar.
Notas do Tradutor
1 - O primeiro termo,
(g
xv
A
x
, transformado em
g
A ) A
xv
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 mencionada 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 possibilidade 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 necessria 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 g44 / 2 adicionado de qualquer constante (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 dx3 / dx4 = 0 , e que desprezar, por muito pequenos, termos em que entra a derivada dx1 / dx4 .
13 - Para a integrao convm a mudana de varivel x2 = tg .
Este texto foi extrado do livro:
TEXTOS FUNDAMENTAIS DA FSICA MODERNA
VOLUME I
O PRINCPIO DA RELATIVIDADE
FUNDAO CALOUSTE GULBENKIAN
47

Relatividade

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Relatividade

Enviado por

Direitos autorais:

Formatos disponíveis

Teoria da Relatividade Geral www.fisica.net Prof.

Alberto Ricardo Prass Verso 27/02/2000

1 - Notas sobre a teoria da relatividade especial

Extrado de Ann. d. Phys. 49 ( 1916).

Nessa escolha deve atribuir-se ao sistema de coordenadas infinitamente pequeno "local" um

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

Nestas expresses, os g so funes dos x . os seus valores no podero j depender da

B y pela seguinte expresso, que se obtm invertendo a equao ( 5 a )

Nota sobre uma simplificao utilizada no modo de escrever as expresses

6 - Tensores de segunda ordem e de ordem superior.

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

para as quais vlida a lei de transformao

necessrio demonstrar que a simetria assim definida uma propriedade independente do

tensor misto de quarta ordem A obtm-se o tensor de segunda ordem.

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

Por contrao segundo os ndices v , forma-se o quadrivetor covariante.

Substituindo na equao anterior:

a este para tensores de

O mesmo teorema pode ainda demonstrar-se na forma seguinte:

O tensor fundamental covariante. Na expresso invariante do quadrado do elemento da linha

O tensor fundamental contravariante. Tomemos no determinante formado com os elementos

Mas, segundo as regras de multiplicao dos pargrafos precedentes, as grandezas

Por outro lado,

O invariante do volume7 . Comecemos por determinar a lei de transformao do determinante

Daqui resulta, aplicando duas vezes a regra da multiplicao de determinantes

Por outro lado, a lei de transformao do elemento

Multiplicando as duas ltimas equaes, obtm-se

g introduziremos no que se segue a grandeza

g , que tem sempre valor real, em

virtude do carter hiperblico do contnuo espao-tempo. O invariante g d igual grandeza

Notem-se especialmente as construes seguintes:

Chamaremos B o tensor reduzido correspondente a A . Analogamente

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

9 - Equao da linha geodsica ( isto , do movimento do ponto)

Como o " elemento da linha" ds uma grandeza definida independentemente do sistema de

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

coordenadas. A sua equao

resulta, substituindo w em (20 a), tendo em conta que

ou, com uma simples mudana de notao

onde se introduziu, seguindo Christoffel

Se, finalmente, multiplicarmos (20d) por g x (multiplicao externa em relao a e interna em

na qual se introduziu, seguindo Christoffel

10 - A construo de tensores por meio de diferenciao

segue-se que tambm

um quadrivetor covariante (gradiente de )

um tensor covariante de segunda ordem.

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

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

desde que (1) (1) ... (4) (4) sejam escalares.

para se conseguir que S se torne igual a A .

onde se ps A v = A Bv . Como o segundo membro de (27) linear e homogneo em relao aos

e por consegu int e

resulta, por outro lado, por diferenciao

Efetuado o produto misto por g e gv , respectivamente, obtm-se (modificando a notao dos

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

"Divergncia" do quadrivetor contravariante. Se multiplicarmos (26) pelo tensor fundamental

Este escalar a divergncia do quadrivetor contravariante Av .

Extenso anti-simtrica de um sextivetor.

que anti-simtrico, como facilmente se prova.

primeiro termo j transformado,

Por contrao de (38) em relao aos ndices e (multiplicao interna por

{ } em relao aos ndices

e x , o terceiro termo do segundo membro re-

esta a expresso da divergncia de um sextivetor contravariante.