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 me- cnica de Galileu - Newton: se um sistema de coordenadas K for de tal maneira escolhido que as leis da fsica sejam nele vlidas na sua forma mis simples, ento as mesmas leis sero igualmente vlidas em relao a qualquer outro sistema de coordenadas K' que em relao a K esteja animado de um movimento de translao uniforme. Chamaremos a este postulado o "Princpio da Relativi- dade Especial". Com a palavra "especial " deve entender-se que o princpio se restringe ao caso em que K ' tem um movimento de translao uniforme em relao a K, no devendo portanto a equi- valncia de K com K' estender-se ao caso em que haja movimento no uniforme de K' em relao K. Sendo assim, no o postulado da relatividade que afasta da mecnica clssica a teoria da re- latividade, mas to somente o postulado da constncia da velocidade da luz no vcuo, do qual, em combinao com o princpio da relatividade especial, deriva, do modo conhecido, a relatividade da simultaneidade, assim como a transformao de Lorentz e as leis, com esta relacionadas, do com- portamento em movimento dos corpos rgidos e dos relgios. A modificao experimentada pela teoria do espao e tempo atravs da teoria da relatividade especial , na verdade, profunda; mas permanece intacto um ponto importante: a teoria da relativi- dade especial continua a aceitar que os princpios da geometria tm o significado imediato de leis sobre as possveis posies relativas de corpos rgidos (em repouso) e, de um modo mais geral, que os princpios da cinemtica so as leis que regem o comportamento das rguas de medio e dos relgios. A dois pontos materiais considerados sobre um corpo (rgido) corresponde sempre, segun- do essas leis, um segmento de comprimento inteiramente determinado, independente da localizao e da orientao do corpo, assim como do tempo; e a duas posies dadas de um ponteiro de relgio que esteja em repouso em relao a um sistema de referncia ( que seja admissvel) corresponde sempre um intervalo de tempo de extenso determinada, independente de local e de poca. Daqui a pouco se mostrar que a teoria da relatividade geral no pode aderir a uma interpretao fsica do espao e tempo to simples como esta. 2 - Sobre as razes que sugerem a necessidade de uma extenso do postulado da rela- tividade.

A mecnica clssica, e, no menos que ela, a teoria da relatividade especial, incluem um de- feito epistemolgico que foi posto em evidncia, provavelmente pela primeira vez, por E. Mach. Vamo-lo apresentar no exemplo seguinte: suponhamos que dois corpos fludos, da mesma espcie e ________________ 1
Extrado de Ann. d. Phys. 49 ( 1916). 1

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 obmassas, um mo- vimento de rotao de velocidade angular constante (havendo assim um movimento relativo verifi- cvel entre as duas massas). Imaginemos agora que, por meio de rguas ( em repouso relativo), se fazem medies sobre as superfcies dos dois corpos ( S
1

eS
2

) , chegando-se concluso de que esfrica a superfcie de S

1

e elipsoidal de revoluo a de S
2

. Pergunta-se agora: por que razo se comportam pergunta s pode ser considerada satisfatria do 2 de modo ponto de vista diverso epistemolgico2 S
1

eS
2

? Uma se resposta aquilo a esta que se apresentar como causa dor um fato experimental observvel : porque a lei da causalidade s pode tomar-se como uma lei do mundo da experincia se unicamente fatos observveis aparecerem em ltima anlise como causas e efeitos. A mecnica newtoniana no d a esta pergunta qualquer resposta satisfatria. Com efeito o que ela diz o seguinte: as leis da mecnica tm validade num espao R
1

em relao ao qual o cor- po S

1

est em repouso, mas no a tm num espao R

em relao ao qual est em repouso S

2

. O es- pao admissvel de Galileu que aqui se introduz ( assim como o movimento relativo referido a ele) uma causa puramente fictcia, nada que seja observvel. Torna-se assim claro que a mecnica de Newton, no caso considerado, no satisfaz de fato, mas apenas de modo aparente, exigncia da causalidade, dado que atribui a uma causa meramente fictcia, R
1

, a diferena de comportamento que se observa nos corpos S

1

eS
2

. Uma resposta aceitvel para a questo acima formulada s pode ser a seguinte: como o siste- ma fsico formado por S
1

eS
2

no apresenta dentro de si nada que seja possvel imaginar como cau- sa da diferena de comportamento de S
1

eS
2

, essa causa tem de se encontrar fora do sistema. Che- ga-se assim idia de que as leis gerais do movimento de que resultam, como aplicao particular, as formas de S
1

eS
2

devem ser tais que o comportamento mecnico destes corpos fique condiciona- do de um modo decisivo por massas distantes, no includas no sistema considerado. Em tais mas- sas distantes ( e nos seus movimentos relativos a respeito dos corpos considerados) que se devem considerar residindo as causas, em princpio observveis, da diferena de

comportamento dos cor- pos de que nos estamos a ocupar: so elas que assumem o papel da causa fictcia R
1

. De todos os espaos imaginveis R

1

,R
2

, etc. , que se movam em relao uns aos outros de qualquer modo, ne- nhum deles deve "a priori "ser preferido, se no quisermos fazer ressurgir a objeo epistemolgica apresentada. As leis da fsica devem ter uma estrutura tal que a sua validade permanea em siste- mas de referncia animados de qualquer movimento. Chegamos deste modo a um alargamento do postulado da relatividade. Mas, alm deste 'ponderoso argumento epistemolgico, h tambm um fato fsico bem conhe- cido que advoga uma extenso da teoria da relatividade. Seja K um referencial de Galileu, isto , um sistema de referncia tal que, em relao a ele ( e pelo menos no domnio quadridimensional consi- ________________ 2
claro que uma tal resposta pode ser aceitvel do ponto de vista epistemolgico e no entanto continuar inaceitvel do ponto de vista fsico, por estar em contradio com outras experincias.

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

derado), uma massa suficientemente afastada de outras massas se desloca em movimento retilneo e uniforme. Seja K' um segundo sistema de coordenadas que tem, em relao a K , um movimento de translao uniformemente acelerado. Teramos ento uma massa suficientemente afastada de outras massas animada de movimento acelerado relativamente a K ' , sendo a sua acelerao, tanto em grandeza como em direo, independente da sua composio material e do seu estado fsico. Poder um observador, em repouso relativamente a K' , inferir daqui que se encontra sobre um referencial "realmente" acelerado ? A resposta a tal pergunta tem que ser negativa. Com efeito, o referido comportamento de massas que se movem livremente em relao a K' susceptvel de uma outra interpretao, igualmente boa, que a seguinte: o referencial K' no est animado de movimento acelerado, mas existe um campo de gravidade no domnio espao-temporal considerado, e esse campo que origina o movimento acelerado dos corpos em relao a K'. O que torna possvel esta maneira de conceber as coisas o fato de a experincia nos ter ensi- nado que existe um campo de foras (o campo da gravidade) que possui a notvel propriedade de comunicar a todos os corpos a mesma acelerao.3 O comportamento mecnico dos corpos em rela- o a K' o mesmo que a experincia nos revela em relao a sistemas que estamos habituados a considerar como sistemas "em repouso" , ou seja, como sistemas "admissveis"; o que, do ponto de vista fsico, sugere a aceitao de que os dois sistemas K 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 facil- mente se compreende, a trajetria de um raio de luz em relao a K' em geral curvilnea se, em relao a K , a luz se propagar em linha reta e com velocidade constante. 3 - O contnuo espao-tempo. Exigncia de covarincia geral para as equaes que ex- primem as leis gerais da natureza. Na mecnica clssica, bem como na teoria da relatividade especial, as coordenadas de espao e de tempo tm uma significao fsica direta. Dizer que um ponto-acontecimento tem a coordenada x
1

sobre o eixo X
1

significa: que a projeo do ponto-acontecimento sobre o eixo X

, feita por meio de rguas rgidas segundo as regras da geometria euclidiana, se pode obter aplicando sobre o eixo X
1

, a partir da origem das coordenadas e no sentido positivo, x

1

vezes uma determinada rgua a rgua-unidade. Dizer que um ponto tem sobre o eixo X
4

a coordenada x
4

= t significa: que um re- lgio-unidade (regulado segundo determinadas prescries), imvel em relao ao sistema de coor- denadas e coincidente no espao (praticamente) com o ponto-acontecimento, tem acabado de efetuar x
4

= t ciclos de funcionamento quando ocorre o ponto-acontecimento.4 -________________ 3

Etvs demonstrou experimentalmente que o campo da gravidade possui com extrema preciso esta propriedade. 4 A possibilidade de constatar a "simultaneidade" de acontecimentos em vizinhana espacial imediata, ou - mais rigo-temporal (coincidncia) ser aqui admitida sem dar uma definio a este conceito fundamental. 3

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

Esta concepo de espao e de tempo sempre andou na mente dos fsicos, ainda que inconsci- entemente para a maior parte deles, e a prova est o papel que estes conceitos desempenham na fsi- ca mtrica. E tambm o leitor deve ter alicerado nessa concepo a segunda das reflexes do pa- rgrafo anterior para poder ligar um sentido a esses raciocnios. Mas vamos mostrar agora que ela tem de ser abandonada e substituda por outra mais geral, se quisermos conciliar o postulado da re- latividade geral com a validade da teoria da relatividade especial no caso limite da ausncia de cam- po da gravidade. Num espao livre de campos de gravidade introduzamos um sistema de referncia de Galileu K ( x, y, z t) e, alm disso, um sistema de coordenadas K' ( x', y', z', t') em movimento de rotao uniforme. Supem-se em coincidncia permanente as origens dos dois sistemas, assim como os seus eixos Z. vamos mostrar que as normas acima estabelecidas para definir o significado fsico de com- primentos e tempos no podem ser mantidas para uma medio espao-temporal no sistema K'. Por razes de simetria, claro que uma circunferncia traada no plano X-Y de K com centro na ori- gem pode, ao mesmo tempo, ser considerada como circunferncia no plano X' - Y' de K' . Suponha- mos agora que se mede o permetro e o dimetro desta circunferncia com uma rgua-unidade ( in- finitamente pequena em relao ao raio) e que se calcula o quociente dos resultados das medies. Se a experincia tiver sido efetuada com uma rgua imvel em relao ao sistema de Galileu K , obter-se- como quociente o nmero . Mas o resultado ser um nmero maior que se for obtido com uma rgua que esteja imvel em relao ao sistema K'. Reconhece-se isto facilmente quando se aprecia todo o processo de medio partindo do sistema "em repouso" K, e se tem em conta que a rgua disposta ao longo da circunferncia sofre a contrao de Lorentz, ao passo que uma rgua disposta ao longo do raio no a sofre. Sendo assim, a geometria euclidiana no vlida no sistema K'; e o conceito de coordenada acima definido, visto que pressupe a validade daquela geometria, tambm no aplicvel ao sistema K' . Tambm no ser possvel introduzir em K' um tempo que corresponda s exigncias da fsi- ca, definindo-o com relgios de idntica constituio, imveis em relao a K' . Para o reconhecer- mos, bastar que imaginemos dois relgios idnticos, um na origem das coordenadas, outro sobre a circunferncia, sendo observados a partir do sistema "em repouso" K . De acordo com um conheci- do resultado da teoria da relatividade especial, o relgio colocado sobre a circunferncia apresenta - quando observado de K - um ritmo de funcionamento mais lento que o relgio colocado na origem, visto que aquele est animado de movimento e este no. Um observador situado na origem comum das coordenadas que fosse capaz de observar, por meio da luz, o relgio situado sobre a circunfe- rncia, verificaria portanto que este relgio se atrasa em relao ao relgio que tem junto de si. E, recusando-se a admitir que a velocidade da luz, no percurso em questo, dependa explicitamente do tempo, ele interpretar a sua observao dando-lhe o significado de que o relgio colocado sobre a circunferncia tem "realmente" um ritmo mais lento que o relgio colocado na origem. Deste modo no lhe ser possvel evitar uma

definio de tempo que inclua o fato de o ritmo de um relgio de- pender do lugar em que se encontra. Chegamos assim a esta concluso: na teoria da relatividade geral no possvel dar s grande- zas espao e tempo definies que permitam a medio direta de diferenas de coordenadas espaci- ais por meio de uma rgua-unidade e a de intervalos de tempo por meio de um relgio-padro. Assim, o processo at agora utilizado para estabelecer coordenadas, de uma maneira determinada, no contnuo espao-temporal, torna-se impraticvel, e no parece haver nenhum outro cami- nho que permita encontrar sistemas de coordenadas de tal forma adequados ao universo quadridi- mensional que da sua aplicao se pudesse esperar para as leis da natureza uma formulao parti- 4

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

cularmente simples. nada mais resta, por conseguinte, que considerar como equivalentes em princ- pio para a descrio da natureza todos os sistemas de coordenadas que se possam imaginar.5 Isto equivale a exigir a seguinte condio: As leis gerais da natureza devem ser representadas por equaes que tenham validade em todos os sistemas de coordenadas, isto , que sejam covariantes em relao a toda e qualquer substituio (covarincia geral). claro que uma fsica que satisfaa a este postulado tambm satisfaz o postulado da relativi- dade geral, porque em todas as substituies esto sempre necessariamente includas aqueles que correspondem a todos os movimentos relativos dos sistemas de coordenadas (tridimensionais). Que esta exigncia de convari6ancia geral, que tira ao espao e ao tempo os ltimos resduos de objetivi- dade fsica, seja uma exigncia natural resulta da reflexo seguinte. Todas as nossas constataes espao-temporais reduzem-se sempre determinao de coincidncias espao-temporais. Se, por exemplo, o processo consistir apenas no movimento de pontos materiais, a nica coisa que em lti- ma anlise observvel o encontro de dois ou mais desses pontos. Mesmo os resultados das nos- sas medies outra coisa no so que a constatao de tais encontros entre pontos materiais das nos- sas rguas e outros pontos materiais, ou ento coincidncias entre ponteiros de relgios, pontos de mostrador e os pontos-acontecimentos que se esto considerando e ocorrem no mesmo lugar e no mesmo instante. A introduo de um sistema de referncia no tm outro fim que no seja uma descrio mais fcil do conjunto de tais coincidncias. Suponhamos que se associam ao universo quatro variveis espao-temporais x
1

,x
2

,x
3

,x
4

, de tal modo que a cada ponto-acontecimento corresponda um sis- tema de valores das variveis x
1

, ... x
4

. A dois pontos-acontecimentos em coincidncia corresponde o mesmo sistema de valores das variveis x

1

, ... x
4

; isto , a coincidncia caracteriza-se pela iden- tidade dos valores das coordenadas. Se em vez das variveis x
1

se introduzirem como coorde- nadas de um novo sistema funes arbitrrias delas, x

1

, ... x 4,x
2

,x
3

,x
4

de tal modo que os sistemas de valores se correspondam univocamente, ento tambm no novo sistema a coincidncia espao- temporal de dois pontos-acontecimento se exprimir pela identidade de valores de cada uma das quatro coordenadas. Como toda a nossa experi6encia fsica pode, em ltima anlise, ser reduzida a tais coincidncias, no h nenhuma razo para dar preferncia a determinado sistema de coordena- das em relao a outros, isto , chegamos ao postulado da covarincia geral. 4 Relao das quatro coordenadas com os resultados das medies espaciais e tempo- rais. Expresso analtica para o campo da gravidade. No minha inteno neste artigo apresentar a teoria da relatividade geral como um sistema lgico, simplificado na medida do possvel, com um mnimo de axiomas. O meu fim principal antes desenvolver esta teoria de modo a fazer sentir ao leitor como psicologicamente natural o caminho que se tomou e como se revelam seguras atravs da experincia as bases de que se partiu. Com este objetivo em vista, estabeleceremos agora a seguinte premissa: Desde que se faa uma escolha apropriada de coordenadas, torna-se possvel a teoria da relati- vidade no sentido restrito a domnios quadridimensionais infinitamente pequenos. ________________ 5
No mencionaremos aqui certas restries impostas pela exigncia da coordenao unvoca e pela da continuidade.

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

Nessa escolha deve atribuir-se ao sistema de coordenadas infinitamente pequeno "local" um estado de acelerao tal que fique removido todo e qualquer campo de gravidade: o que para uma regio infinitamente pequena possvel. Sejam X
1

,X 2 , tema; X
4

a respectiva coordenada temporal , medida numa X # , unidade as coordenadas espaciais de tal sis- apropriada 6. Estas coordenadas tm para uma dada orientao do sistema de coordenadas, um significado fsico direto dentro da te- oria da relatividade especial, desde que se adapte como rgua-unidade uma barra rgida. A expres- so: (1) d s 2 = dX 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 qua- dridimensional. Se o ds 2 correspondente ao elemento (dX
1

.... dX
4

) for positivo, ns diremos como Minkowski que este ltimo elemento de gnero temporal e no caso contrrio de gnero espacial. Suponhamos que, em vez do sistema "local" de caractersticas especiais acima referido, se adapta como referencial um sistema quadridimensional qualquer, definindo-o para a regio que es- tamos considerando. Ento, ao nosso " elemento de linha", ou ao respectivo par de pontosacontecimento, correspondero tambm determinadas diferenciais dx
1

... dx

das coordenadas desse referencial. E ento os dX

v

sero representveis por expresses lineares e homogneas. dos dx : (2) dX y =

dx Se se introduzirem estas expresses em (1) , obtm-se (3) ds 2 = g 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 ds
2

a de uma grandeza associada a pares de pontos acontecimento considerados no espao-tempo, independente de qualquer escolha particular de coordenadas, e determinvel por meio de medies de rgua e relgio. Imporemos escolha dos g t a condio g = g . O so- matrio, estendido a todos os valores de e , dar-nos- ento uma soma de 4 x 4 parcelas, das quais 12 so duas a duas iguais. Da definio que acabamos de dar ao ds2 poder passar-se para o caso da teoria da relativida- de habitual sempre que o condicionamento particular dos g num domnio finito permita estabele- cer nesse domnio um sistema de referncia em que os g assumam os valore constantes ________________ 6
A unidade de tempo deve s coor6

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

(4 ) 10010000 100

0000+ 1 Veremos mais tarde que a escolha de tais coordenadas para domnio finitos no geralmente possvel. Das consideraes feitas nos 2 e 3 resulta que, do ponto de vista fsico, as grandezas g devem ser consideradas como sendo aquelas que, relativamente ao sistema de referncia que foi es- colhido, fazem a descrio do campo de gravidade. Com efeito, admitamos que, para um determi- nado domnio quadridimensional considerado, se conseguiu alcanar a validade da teoria da relati- vidade especial mediante uma adequada escolha das coordenadas. Os g tm ento os valores da- dos em (4). Um ponto material livre ter ento, em relao a este sistema, um movimento rectilneo e uniforme. Se agora introduzirmos, por uma substituio arbitrria, novas coordenadas espao- temporais x
1

, ..., x
4

, os g no novo sistema no sero j constantes, ma sim funes do 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 mate- rial mvel. Isso leva-nos a interpret-lo como um movimento sujeito influncia de um campo de gravidade. A interveno de um campo de gravidade aparece-nos, deste modo, associada a uma va- riabilidade espao-temporal dos g . No caso geral no possvel fazer uma escolha de coordena- das que permita alcanar a validade da teoria da relatividade especial num domnio finito, mas mesmo nesse caso manter-nos-emos fiis idia de que g descrevem o campo gravitacional. A gravidade desempenha pois, na teoria da relatividade geral, um papel excepcional em rela- o s outras foras, e particularmente em relao s foras electromagnticas, visto que as 10 fun- es g que fazem a descrio do campo gravitacional determinam, ao mesmo tempo, as proprie- dades mtricas do espao mtrico quadridimensional. B - Instrumentos matemticos para a construo de equaes de covarincia geral

Depois de termos reconhecido, nas pginas precedentes, que o postulado da relatividade geral leva exigncia de que os sistemas de equaes da fsica sejam covariantes em relao a substitui- es arbitrrias de coordenadas x
1

, ..., x
4

, temos que pensar na maneira de obter essas equaes de covarincia geral. deste problema, puramente matemtico, que nos vamos ocupar agora. Como vamos ver, na sua resoluo desempenha um papel fundamental o invariante ds , ao qual demos o nome de "elemento de linha " , tirado da teoria das superfcies de Gauss. A idia fundamental desta teoria geral dos covariantes a seguinte: Suponhamos que se defi- nem em relao a todo o sistema de coordenadas certos entes ( "tensores" ), sendo a definio feita por meio de um certo nmero de funes espaciais, que se chamaro as " componentes" do tensor. H ento determinadas regras pelas quais se podem calcular estas componentes para um novo sis- tema de coordenadas, desde que sejam conhecidas para o sistema original, e desde que seja tambm conhecida a transformao que liga os dois sistemas. Os entes a que daqui em diante chamaremos tensores so, alm disso, caracterizados pelo fato de as equaes de transformao para as suas componentes serem lineares e homogneas. Sendo assim, todas as componentes no novo sistema se anulam, se isso tambm suceder a todas elas no sistema primitivo. Consequentemente uma lei da natureza que seja formulada pelo anulamento de todas as componentes de um tensor de covarin7

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

cia geral: procurando as leis de formao dos tensores obteremos os meios de formulao de leis de covarincia geral. 5 - Quadrivetores contravariantes e covariantes. Quadrivetor contravariante. O elemento da linha define-se pelas quatro componentes dx
y

, cuja lei de transformao se exprime pela equao. (5) d x =

v'
x '

x y Os dx'

exprimem-se nos dx
v

, por equaes lineares e homogneas; isto permite-nos consi- derar estas diferenciais das coordenadas dx
v

como componentes de um " tensor" a que daremos a designao especial de quadrivetor contravariante. Todo o ente que em relao ao sistema de coor- denadas se defina por meio de quatro grandezas A
y

transformveis segundo a mesma lei. (5 a) A =

x ' x

ser igualmente denominado quadrivetor contravariante. De (5 a ) resulta imediatamente que as so- mas ( A
8
' Avvv

+B

) so componentes de um quadrivetor de A

eB

tambm o forem. O mesmo se aplica a todos os sistemas que mais tarde forem introduzidos como " tensores" (regra da adio e subtrao dos tensores). Quadrivetor covariante: Diremos que quatro grandezas A y tor covariante se para toda e qualquer escolha de um vector contravariante so as coponentes B y. de um quadrive(6)
Av Bv

= In var iante .v Desta definio resulta a lei da transformao do quadrivetor covariante. Com efeito, substituindo no segundo membro da equao.

ABAv B B
''= v

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

x v x
' B '

resulta B
'

x
v

x
' Av

B 'A
'

mas daqui resulta a seguinte lei de transformao, se atender os a que os B ' se podem escolher ar- bitrariamente, em completa independncia uns dos outros.

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

(7) A
'

x
vx ' Av

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 de dois quadrivetores contravariantes obteremos 16 quantidades. (8) A ' = A B v que, de acordo com (8) e ( 5 a) , satisfazem a lei de transformao (9) A
'

 x
'

9x
'

x
v

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

eB v de quatro pares de vectores convenientemente escolhidos. E por isso quase todas as leis que so vlidas para os tensores de segunda ordem definidos por (9) podem ter a sua demonstrao muito simplificada, efetuando a prova para tensores especiais do tipo (8). Tensor contravariante de qualquer ordem. claro que, em correspondncia com (8) e (9), tambm se podem definir tensores contravariantes da terceira ordem e de ordem mais elevada, com 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

eB
v

obteremos quantidades (10) A

v

=A

B
v

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

para as quais vlida a lei de transformao (11) A

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

v=A

Bv , que covariante quanto ao ndice e contravariante quanto ao ndice v . A sua lei de transformao (13) A x '

 x x

x'

10
'

= A
'

claro que h tensores mistos com um nmero qualquer de ndices de carter covariante e com um nmero qualquer de ndice de carter contravariante. O tensor covariante e o tensor contra- variante podem ser considerados casos especiais do tensor misto. Tensores simtricos: Um tensor contravariante ou covariante de segunda ordem ou de ordem mais elevada diz-se simtrico quando so iguais duas componentes provenientes uma da outra pela permuta de dois ndices quaisquer. O tensor A v ou o A
v

, pois simtrico se for para qualquer combinao dos ndices, respectivamente (14) A
v

=A
v

, ou (14 a ) A
v

=A
v

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

A
' =

x ' x

x ' x
vA

= x ' x

x 'x
vA

=x ' x

x ' x
v A =

A
'

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