Revista Brasileira de Ensino de Fsica, vol. 22, no.

1, Marco, 2000 5

A A lgebra Geometrica
do Espaco-tempo e a Teoria da Relatividade
Jayme Vaz Jr.
Departamento de Matematica Aplicada - IMECC
Universidade Estadual de Campinas
CP 6065, 13081-970, Campinas, S.P., Brasil
E-mail: vaz@ime.unicamp.br
Recebido em 19 de Fevereiro, 1999
Neste artigo discutimos a algebra geometrica do espaco-tempo de Minkowski e algumas das suas
aplicaco~es dentro da Teoria da Relatividade Restrita. Para isso fazemos inicialmente uma discuss~ao
e comparac~ao entre espacos euclideanos e pseudo-euclideanos tomando como exemplo o plano.
Rotac~oes espaciais e hiperbolicas s~ao discutidas em detalhes. As algebras geometricas do plano eu-
clideano e do plano pseudo-euclideano s~ao discutidas detalhada e comparativamente. Discutimos o
conceito de espaco-tempo e ent~ao a algebra geometrica do espaco-tempo, em termos da qual discu-
timos depois os aspectos principais da Teoria da Relatividade Restrita. Uma das grandes vantagens
do formalismo ca manifestada pois a algebra geometrica do espaco-tempo e uma generalizac~ao
quase trivial das outras consideradas.
I Introduc~ao
Uma das mais importantes consequ^encias da Teoria da
Relatividade (TR)1 foi ter mostrado claramente a ina-
dequac~ao do conceito de espaco e tempo usados na
Fsica Classica. O \espaco fsico" tridimensional da
nossa percepc~ao imediata n~ao possui uma exist^encia ob-
jetiva independente de cada um de nos. Segundo a TR,
o espaco onde os eventos ocorrem e um espaco qua-
dridimensional chamado espaco-tempo, composto n~ao
apenas pelas direco~es espaciais usuais mas tambem
por uma direc~ao de carater temporal. Mais ainda,
este espaco-tempo n~ao possui uma estrutura euclide-
ana (como a do \espaco fsico" tridimensional) mas sim
uma estrutura pseudo-euclideana.
Outras teorias, como por exemplo a Mec^anica
da Fsica: e a linguagem e a vis~ao. Entretanto, n~ao
basta um bom treinamento matematico para podermos
\ver" atraves de smbolos e equac~oes. E preciso acima
de tudo um formalismo matematico adequado para li-
dar com estes smbolos, de modo que as relac~oes ex-
pressas pelas equac~oes dentro deste formalismo possam
ser plenamente compreendidas e interpretadas. Mais
ainda, este formalismo deve ser geral, por exemplo no
sentido em que possa ser utilizado no estudo de espacos
bidimensionais, tridimensionais, quadrimensionais, etc.
Com efeito, qual a utilidade para a TR de um forma-
lismo matematico que so possa ser aplicado a um espaco
tridimensional?
Esta e a situaca~o da algebra vetorial de Gibbs-
Heaviside! Primeiro, devemos lembrar a import^ancia
de uma algebra vetorial. De fato, varias quantidades
Qu^antica, certamente desaam mais o senso comum do fsicas e geometricas t^em natureza vetorial. N~ao ape-
que a TR. N~ao por isso que a TR possa ser mais \facil" nas a denic~ao de algumas destas quantidades como
ou \difcil" do que outras teorias. Sem duvida e a ne- tambem certas relac~oes dependem da denic~ao de um
cessidade do pensamento quadrimensional o obstaculo produto de vetores. Um espaco vetorial equipado com
mais difcil de ser contornado para podermos apreciar um produto de vetores e o que denominamos uma
e entender plenamente a TR. A diculdade esta na im- algebra vetorial. A algebra vetorial de Gibbs-Heaviside
possibilidade de visualizac~ao e nesse caso a unica fer- e aquela na qual o produto de vetores e o conhecido
ramenta (cientca!) que nos resta para explorarmos o produto vetorial, plenamente difundido entre os alunos
mundo quadrimensional e a Matematica. de Fsica e outras Ci^encias desde o primeiro ano de
A linguagem matematica e mais do que a linguagem estudos. Ocorre que este produto vetorial n~ao existe
1 Ao longo deste artigo consideraremos apenas a chamada Relatividade Restrita e n~
ao a Relatividade Geral. TR sera portanto
sin^onimo aqui de TRR.
6 Jayme Vaz Jr.
em espacos bidimensionais ou quadridimensionais, por
exemplo. Ora, isto e um defeito imperdoavel!2 Uma
estrutura matematica cuja aplicabilidade se limita uni-
camente a um espaco tridimensional n~ao pode merecer
muito credito; ela e de fato esteril pois n~ao pode ser
reproduzida para outros espacos e portanto n~ao per-
mite que atraves de comparac~ao e generalizac~ao outros
mundos possam ser explorados matematicamente.
Paradoxalmente, decorrido quase um seculo da TR,
a algebra vetorial de Gibbs-Heaviside ainda e a estru-
tura algebrica basica envolvida sobretudo no ensino da
Fsica Classica. O que precisamos aqui e de uma outra
Do ponto de vista do estudo da TR, existem
duas grandes vantagens no formalismo das algebras
geometricas. Primeiro, a passagem do espaco tridimen-
sional para o espaco-tempo quadridimensional dentro
deste formalismo se faz simplesmente trocando (com as
devidas adaptaco~es) n = 3 por n = 4. Depois existe
a particularidade do espaco-tempo n~ao ser euclideano
mas sim pseudo-euclideano. Nesse ponto aparece a se-
gunda vantagem. Podemos estudar e compreender as
diferencas entre espacos euclideano e pseudo-euclideano
estudando primeiro o exemplo bidimensional (plano)
atraves das algebras geometricas destes espacos. As
estrutura matematica baseada em uma outra denic~ao modicac~oes para o espaco-tempo quadridimensional
do produto de vetores em termos da qual possamos for- s~ao ent~ao novamente triviais.
mular os conceitos e as teorias fsicas que t^em lugar As algebras geometricas de Cliord s~ao de certa
em um espaco tridimensional mas que n~ao esteja limi- forma o resultado da fus~ao (e posterior generalizac~ao)
tada a este espaco. Denitivamente a algebra de Gibbs-
Heaviside n~ao e esta estrutura. Nesse caso a pergunta
obvia e: existe alguma alternativa?
Neste artigo pretendemos apresentar as chama-
das algebras de Cliord ou algebras geometricas como
esta alternativa e explorar sua utilizac~ao dentro da
TR. Antes mesmo do advento da algebra vetorial de
de dois sistemas: os quaternions de Hamilton e a
algebra de extens~ao de Grassmann. Os quaternions
de Hamilton s~ao uma generalizac~ao natural do sistema
dos numeros complexos. Enquanto os numeros com-
plexos est~ao associados com a geometria ortogonal do
plano3, os quaternions est~ao associados com a geome-
tria ortogonal do espaco (tridimensional). Cliord mos-
Gibbs-Heaviside, W. K. Cliord apresentou esta es- trou como denir o produto quaterni^onico em termos da
trutura { que ele denominou algebras geometricas { algebra de Grassmann. Como a algebra de Grassmann
que n~ao contem certos problemas conceituais presen- e denida para qualquer espaco vetorial, independente
tes na algebra de Gibbs-Heaviside e que n~ao esta li- da sua dimens~ao, Cliord p^ode ent~ao generalizar este
mitada a um espaco tridimensional. A diferenca entre produto para um espaco vetorial arbitrario. Alem desta
as algebras geometricas e a algebra de Gibbs-Heaviside generalizac~ao para um numero arbitrario de dimens~oes,
esta na denic~ao do produto de vetores. O produto a correta formulac~ao do problema permitiu tambem a
geometrico (ou de Cliord) de vetores n~ao apenas pode sua generalizaca~o para outros espacos que n~ao apenas
ser denido em qualquer espaco vetorial como tambem os euclideanos (considerando ent~ao outras geometrias
contem mais informac~oes do que o produto vetorial alem da ortogonal). Por estes motivos, e natural utili-
usual (quando este existe). Ele tambem possui ou- zarmos uma algebra geometrica para estudarmos a TR.
tras vantagens como associatividade e exist^encia de um Nesse ponto deve estar claro que o problema capi-
elemento inverso, propriedades que n~ao s~ao satisfeitas tal e a denic~ao do produto de vetores. Para sermos
pelo produto vetorial da algebra de Gibbs-Heaviside. um pouco mais especcos (e adiantando um pouco o
A algebra geometrica do espaco euclideano [1] permite que discutiremos adiante), vamos detalhar a noc~ao do
uma completa formulac~ao dos desenvolvimentos das produto geometrico de vetores. Podemos olhar a de-
areas classicas da Fsica (como por exemplo a Mec^anica nic~ao do produto de vetores dentro de uma algebra
[2] e o Eletromagnetismo [3]) com varias vantagens so- geometrica partindo de um espaco vetorial equipado
bre as formulac~oes usuais. Uma das maiores vantagens, com uma forma bilinear e simetrica g. A quantidade
porem, aparece quando samos do domnio classico dos g(v; v) e uma quantidade escalar que associamos com
fen^omenos e entramos no domnio qu^antico. De fato, o modulo do vetor v. Dado
dentro da algebra geometrica esta presente o conceito v = v1e1 + v2 e2 +


+ vnen ; (1)
de spinor [1], que e o objeto matematico em termos do para uma escolha conveniente da base B = fe1; : : :; eng
qual descrevemos quanticamente os fermions de spin podemos escrever g(v; v) de uma maneira geral na
1/2 como o eletron. Consequentemente, o mesmo for- forma
malismo pode ser utilizado para descrever fen^omenos
classicos ou qu^anticos! g(v; v) = (v1 )2  (v2 )2 


 (vn )2: (2)
2 O produto vetorial apresenta ainda outros problemas al em deste mas n~ao e o caso aqui discut-los. Uma discuss~ao mais detalhada
pode ser vista em [1].
3 De fato, basta lembrar aqui a interpreta
ca~o geometrica dos numeros complexos em termos do plano de Argand-Gauss-Wessel.
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 7

Esta express~ao com os diversos sinais acima todos po- das na TR s~ao demonstradas facilmente com esse for-
sitivos e bem conhecida; o signicado de express~oes malismo. Na sec.8 apresentamos nossas considerac~oes
com sinais negativos sera discutido adiante e por en- nais.
quanto vamos apenas aceita-las. O produto geometrico Embora n~ao seja estritamente necessario nenhum
(ou de Cliord), que denotaremos simplesmente por conhecimento previo das algebras geometricas para a
justaposica~o { como em vu signicando o produto leitura deste artigo, e muito recomendavel a leitura do
geometrico dos vetores v e u { e a algebra associativa nosso artigo acerca da algebra geometrica do espaco
tal que o produto de vetores satisfaz
(v1 e1 + v2 e2 +


+ vn en )(v1e1 + v2 e2 +


+ vn en )
= (v1 )2  (v2 )2 


 (vn )2 : (3)
Veremos adiante soluco~es deste problema. O que deve
estar claro por enquanto e que o produto no lado es-
querdo desta equac~ao n~ao se trata do produto escalar {
o qual, entretanto, aparecera como uma caso particular
euclideano [1], mais especicamente das suas segunda e
terceira sec~oes. Isto certamente ajudara muito na com-
preens~ao geral da estrutura das algebras geometricas e
da sua generalidade.
II Espacos Euclideano versus
Pseudo-Euclideano
do produto geometrico assim denido.
Este artigo esta organizado da seguinte forma. Na
proxima sec~ao discutiremos as principais diferencas en-
tre os espacos euclideano e pseudo-euclideano consi-
derando como exemplo o plano. Depois exibiremos
as algebras geometricas do plano euclideano (sec.3) e
do plano pseudo-euclideano (sec.4), procurando sem-
pre que possvel comparar estas duas para melhor en-
As diferencas fundamentais entre os espacos euclide-
anos e pseudo-euclideanos podem ser apreendidas to-
mando como exemplo o plano. Os modelos em quest~ao
tratam de um espaco com apenas duas dimens~oes espa-
ciais (no caso do plano euclideano) e de um espaco com
apenas uma dimens~ao espacial e uma dimens~ao tempo-
ral (no caso do plano pseudo-euclideano).
Nosso ponto de partida e o plano por enquanto
tendermos as diferencas e similaridades entre elas. Na
quinta sec~ao discutiremos o conceito de espaco-tempo.
N~ao pretendemos de maneira alguma fazer uma dis-
cuss~ao detalhada do conceito de espaco-tempo dentro
da TR. Iremos assumir alguma familiaridade com este
conceito embora tentaremos desenvolver o assunto da
maneira mais completa possvel. Em outras palavras,
n~ao se deve esperar entender completamente o conceito
de espaco-tempo e a propria TR atraves do conteudo
da sec.5; entretanto, esperamos faz^e-la t~ao completa
quanto possvel para que n~ao seja necessario (para aque-
les n~ao completamente familiarizados com estes con-
ceitos) a consulta de refer^encias complementares para
o andamento da leitura do texto. Na sec.6 introdu-
zimos e discutimos a algebra geometrica do espaco-
sem nenhuma estrutura metrica previamente denida.
Seja fe1; e2g uma base do espaco vetorial R2 , de modo
que um vetor arbitrario deste espaco e da forma v =
v1e1 + v2e2 . Para evitar complicac~oes desnecessarias
vamos tomar os vetores e1 e e2 ao longo das direc~oes
associadas com coordenadas cartesianas do plano. Mui-
tos conceitos se aplicam nesse ponto; por exemplo, po-
demos falar em combinac~ao linear, independ^encia li-
near, espaco dual, transformac~oes lineares, etc. Porem,
para falarmos em ortogonalidade precisamos de uma es-
trutura metrica, ou seja, de uma aplicac~ao (bilinear e
simetrica) g : R2  R2 ! R. Dois vetores v e u s~ao
ditos ortogonais se g(v; u) = 0.
A aplicaca~o g e uma estrutura adicional sobre um
espaco vetorial. Mais ainda, ela n~ao precisa ser unica-
tempo. Como veremos, a denic~ao desta algebra se mente denida. Para o caso de um espaco euclideano
faz de uma maneira quase trivial comparada com as e em termos da base fe1; e2g a aplicac~ao g e da forma
algebras geometricas do plano euclideano e pseudo- gE dada por
euclideano. Algumas adaptac~oes s~ao necessarias, e ver- gE (e1 ; e1) = gE (e2 ; e2) = 1;
dade, mas todas s~ao naturais e consequ^encia da di-
mens~ao do espaco ser maior que a dos exemplos consi- gE (e1 ; e2) = gE (e2 ; e1) = 0: (4)
derados. Esta sem duvida e uma das grandes vantagens Com isso segue usando a propriedade de bilinearidade
deste formalismo. Nesse ponto os principais aspectos da que
algebra geometrica do espaco-tempo ja foram discutidos gE (v; v) = (v1 )2 + (v2 )2 = jvj2: (5)
nos exemplos das algebras do plano e esperamos que se
tornem mais facilmente compreensveis. Finalmente na Como vemos, gE (v; v) esta relacionada com o chamado
sec.7 discutimos os aspectos principais da cinematica e produto escalar.
din^amica relativsticas utilizando a algebra geometrica O ponto fundamental aqui e que o espaco euclideano
do espaco-tempo. Como veremos, as formulas envolvi- e denido por esta aplicac~ao gE . Em outras palavras,
8 Jayme Vaz Jr.

o adjetivo euclideano se aplica ao espaco equipado com positivo, negativo ou nulo. Isso acontece para gPE dado
esta forma particular 4 da aplicac~ao g. Para uma outra por
denic~ao de g a estrutura metrica adicional do espaco
vetorial podera apresentar propriedades distintas da- gPE (e1; e1) = ,gPE (e2; e2) = 1;
quelas de um espaco euclideano. gPE (e1 ; e2) = gPE (e2 ; e1) = 0: (8)
Podemos pensar em denir outras aplicac~oes g e
consequentemente outros tipos de espaco. Por exem-
plo, podemos considerar gAE dada por
gAE (e1; e1) = gAE (e2 ; e2) = ,1;
gAE (e1; e2) = gAE (e2 ; e1) = 0; (6)
de modo que
gAE (v; v) = ,(v1 )2 , (v2 )2 = ,jvj2: (7)
Chamaremos um espaco vetorial com esta aplicaca~o gAE
de anti-euclideano.
Nesse caso encontramos que
gPE (v; v) = (v1)2 , (v2 )2 : (9)
Evidentemente gPE (v; v) pode ser positivo, negativo ou
nulo conforme tenhamos v1 > v2, v1 < v2 ou v1 = v2 ,
respectivamente. Um espaco (neste caso o plano) equi-
pado com g da forma gPE e chamado um espaco pseudo-
euclideano.
Para entendermos um pouco melhor a diferenca en-
tre espacos euclideano e pseudo-euclideano vamos olhar
Apesar do prexo \anti" sugerir alguma proprie- com mais detalhes para as equac~oes (5) e (9). Primeiro,
dade \as avessas" deste espaco, ele ainda e essenci- vamos olhar para a eq.(5). Vamos considerar o conjunto
almente euclideano. Por exemplo, tanto num espaco de vetores tais que
euclideano quanto num espaco anti-euclideano vale
o teorema de Pitagoras. A diferenca entre estes (v1 )2 + (v2 )2 = r2 = constante; (10)
espacos e que enquanto em um espaco euclideano te-
mos gE (v; v)  0, 8v, em um espaco anti-euclideano ou equivalentemente
temos gAE (v; v)  0, 8v. Uma vez que usamos g para  v 2  v 2
denir o modulo jvj de um vetor v, no caso euclideano r + r = 1:
1 2
(11)
denimos jvj2 = gE (v; v) e no caso anti-euclideano de-
nimos jvj2 = ,gAE (v; v). Com isso nos dois espacos Esta equac~ao nada mais e do que a equac~ao de uma
temos jvj  0. circunfer^encia de raio unitario.
Por outro lado, poderamos ter simplesmente de-
nido jvj2 = g(v; v) tanto para g = gE como para
g = gAE . Nesse caso teramos jvj2E  0 mas jvj2AE  0.
A diferenca entre estes dois casos e completamente ir-
relevante. O importante e que jvj2 em qualquer um
destes casos ou e sempre n~ao-negativo ou e sempre n~ao-
positivo. Um leitor mais preocupado pode estar se per-
guntando: mas o modulo n~ao e uma quantidade sempre
n~ao-negativa? Sim, para o caso envolvendo numeros!
Entretanto, o que temos aqui s~ao vetores e n~ao numeros.
O importante e que n~ao tenhamos aqui ao mesmo tempo
casos em que o modulo seja positivo e casos em que o
modulo seja negativo. Para um leitor que esteja um
tanto confuso talvez seja melhor pensar em dois concei-
tos distintos: modulo e valor absoluto. Podemos ent~ao
pensar em valor absoluto como uma quantidade sempre Figura 1. Uma circunfer^encia de raio unitario parametri-
n~ao-negativa e tal que o modulo seja ou igual ao valor zada pelo ^angulo .
absoluto ou igual ao oposto do valor absoluto conforme Como e bem sabido, uma circunfer^encia pode ser
cada um dos casos acima. Mais uma vez, o importante parametrizada atraves de um a^ngulo . Olhando para
aqui e que para todos os vetores a quantidade g(v; v) a eq.(11) e lembrando a conhecida relac~ao entre as
ou e sempre n~ao-negativa ou e sempre n~ao-positiva. func~oes seno e co-seno,
O caso realmente distinto ocorre quando temos um
espaco onde podemos ter vetores tais que g(v; v) seja cos2 + sin2 = 1; (12)
A eq.(4) depende da base escolhida. Para uma outra base as express~oes dadas pela eq.(4) podem ser diferentes. Para n~ao entrarmos
4
nestes detalhes durante esta discuss~ao estamos assumindo que a base que escolhemos esta xada.
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 9

vemos que podemos escrever ou seja,

v1 = r cos ; v2 = r sin : (13) v1 = v2 : (24)
E oportuno lembrarmos aqui a express~ao para as Estas s~ao as equac~oes das assntotas das hiperboles
funco~es seno e co-seno em termos da exponencial com- acima. Estes casos est~ao desenhados na gura abaixo.
plexa, ou seja,
,i ,i
cos  = e +2e ; sin  = e ,2ie ;
i i
(14)
ou ainda
ei = cos  + i sin ; (15)
onde i e a unidade imaginaria (i2 = ,1).
O conjunto de vetores que satisfaz a condic~ao jvj =
r = constante pode portanto ser escrito na forma
v = r(cos e + sin e ):
1 2 (16)
Qualquer um dos vetores que satisfazem a condic~ao
jvj = r pode ser obtido a partir de um outro satis-
fazendo esta condic~ao atraves de uma rotaca~o por um
^angulo apropriado. Vale lembrar que em uma rotac~ao
as componentes de um vetor v mudam de acordo com
v10 = v1 cos  + v2 sin ; Figura 2. Curvas correspondentes aos caos (I), (II) e (III)
discutidos no texto.
v20 = ,v1 sin  + v2 cos ; (17)
onde  e o a^ngulo de rotaca~o. Do mesmo modo que a circunfer^encia, que pode
Vamos agora olhar para a eq.(9) e considerar a ser parametrizada pelo ^angulo, podemos parametrizar
condic~ao analoga a da eq.(10), ou seja, a hiperbole atraves de uma quantidade que denomina-
remos ^angulo hiperbolico. Apesar do nome, este ^angulo
(v1)2 , (v2 )2 = constante: (18) hiperbolico nada tem a ver com o ^angulo denido em
Aqui, entretanto, ao contrario do caso euclideano, de- circunfer^encia (que diremos ^angulo trigonometrico ao
vemos distinguir tr^es casos: esta constante pode ser inves de simplesmente ^angulo quando houver possibi-
positiva, negativa ou nula. Vamos primeiro considerar lidade de confus~ao). Esta denominac~ao entretanto e
o caso (I) em que esta constante e positiva, ou seja, plenamente justicada uma vez que esta quantidade
desempenha o mesmo papel para uma hiperbole que
(v1 )2 , (v2 )2 = r2; (19) o ^angulo trigonometrico para uma circunfer^encia.
As func~oes seno hiperbolico e co-seno hiperbolico
ou ainda  v 2 s~ao denidas como
, vr2 = 1
 2
1
r (I) (20) , ,
cosh = e +2 e ; sinh = e ,2 e ;
 
Esta e a equac~ao de uma hiperbole (em particular de (25)
uma hiperbole equilatera).
Para o caso (II) em que a constante e negativa po- de modo que
demos escrever e = cosh + sinh: (26)
(v1 )2 , (v2)2 = ,r2; (21) Aqui o argumento destas func~oes (o a^ngulo hiperbolico)
ou ainda e tal que ,1 <  < 1. Podemos vericar facilmente
 v 2
da denic~ao acima que estas func~oes satisfazem
, vr1 = 1
 2
r
2
(II) (22)
cosh2 , sinh2 = 1: (27)
que tambem e a equac~ao de uma hiperbole.
Ja no caso (III) em que a constante e nula temos E oportuno agora compararmos estas equac~oes com as
equac~oes (12), (14) e (15). Na Fig. 3 ilustramos a si-
(v1 )2 , (v2 )2 = 0 (III) (23) tuac~ao para uma hiperbole equilatera.
10 Jayme Vaz Jr.

Figura 3. Uma hiperbole equilatera com semi-eixo unitario Figura 4. Rotaca~o hiperbolica do vetor v resultando no ve-
parametrizada atraves do ^angulo hiperbolico . tor v'.

Para completar a analogia, vamos considerar o con-

junto de vetores satisfazendo a condic~ao (19) ou (20), III A algebra geometrica do
por exemplo. Nesse caso podemos escrever plano Euclideano
v1 = rcosh; v2 = rsinh: (28) Como ja adiantamos na introduc~ao a algebra
geometrica e baseada na denic~ao de um produto de
O conjunto dos vetores satisfazendo esta condica~o pode vetores tal que vale a eq.(3). Para o plano euclideano o
portanto ser escrito na forma produto geometrico deve ser tal que
v = r(coshe + sinhe ):
1 2 (29) (v1 e1 + v2 e2)(v1 e1 + v2 e2 ) = (v1 )2 + (v2)2 : (31)
Desenvolvendo o lado esquerdo desta equac~ao (assu-
Qualquer um dos vetores satisfazendo esta condic~ao mindo distributividade) temos
pode ser obtido a partir de um outro atraves de
uma rotac~ao hiperbolica. Atraves de uma rotac~ao hi- (v1 )2 (e1)2 + v1 v2(e1 e2 + e2 e1) + (v2 )2 (e2)2
perbolica por um a^ngulo hiperbolico  as componentes = (v1 )2 + (v1 )2 : (32)
de um vetor v mudam de acordo com
Para que esta equac~ao tenha soluc~ao devemos ter
v10 = v1 cosh + v2 sinh; (e1 )2 = 1; (33)
v20 = v1 sinh + v2 cosh: (30)
(e2 )2 = 1; (34)
Podemos agora comparar esta equac~ao com a eq.(II). e1e2 + e2 e1 = 0: (35)
Note que enquanto temos cos (,) = cos  e sin (,) = Estas relac~oes denem o produto geometrico da algebra
, sin  aqui temos cosh(,) = cosh e sinh(,) = geometrica do plano euclideano e com elas podemos cal-
,sinh. Uma rotac~ao hiperbolica esta ilustrada na cular o produto geometrico de um numero qualquer de
Fig.4. vetores. Por exemplo, o produto vu resulta em
Iremos denominar (por motivos que car~ao claros
adiante) os vetores tais que (v1 )2 , (v2 )2 > 0 de vetores
tipo-tempo. Os vetores que satisfazem (v1 )2 , (v2 )2 < 0
ser~ao chamados vetores tipo-espaco. Finalmente, os ve-
tores tais que (v1 )2 , (v2 )2 = 0 ser~ao chamados vetores
tipo-luz. Por exemplo, Fig. 4 ilustra uma rotac~ao hi-
perbolica envolvendo dois vetores tipo-tempo.
Como vemos, existem grandes diferencas entre
vu = (v1e1 + v2e2 )(u1e1 + u2e2 )
= v1 u1 (e1)2 + v1u2 e1e2 + v2u1 e2e1 + v2 u2 (e2)2
= (v1 u1 + v2 u2 ) + (v1 u2 , v2 u1 )e1e2 : (36)
O primeiro termo no lado direito da ultima igualdade
possue uma interpretac~ao obvia: trata-se do conhecido
produto escalar dos vetores v e u. Agora, qual o signi-
espacos euclideano e pseudo-euclideano. N~ao por isso, cado do segundo termo, ou seja, da quantidade e1 e2?
entretanto, que eles n~ao podem ser tratados de ma- A interpretac~ao da quantidade e1e2 ja foi discutida
neira analoga. Basta para isso fazermos as devidas em [1]. Entretanto, devido a sua import^ancia, e opor-
adaptac~oes! tuno e desejavel discutirmos novamente esta quest~ao.
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 11

Para isto vamos nos basear em um fato notorio: em um

plano existem pontos, retas (e segmentos de reta) e o
plano (e fragmentos do plano).
Primeiro, a quantidade e1 e2 n~ao e uma quantidade
escalar. Para vermos isso basta notarmos que o pro-
duto de e1e2 com um vetor arbitrario n~ao e comutativo
(o que deveria acontecer se esta quantidade fosse um Figura 5. As duas orientac~oes possveis de um fragmento de
escalar). De fato, tomando como exemplo especco plano.
v = e1 e usando a propriedade de associatividade mais
as relac~oes (33-35) temos por um lado Para generalizarmos um pouco mais a interpretac~ao
acima precisamos voltar um pouco a eq.(36). Podemos
(e1 e2)e1 = ,(e2 e1 )e1 = ,e2(e1 e1 ) = ,e2 ; (37) ver facilmente que a parte escalar do produto vu con-
siste justamente na parte simetrica deste produto, ou
e por outro lado seja, e dada por
e (e e ) = (e e )e = e :
1 1 2 1 1 2 2 (38) (v1u1 + v2u2 ) = vu +2 uv = v
u = u
v; (40)
Tampouco e e e um vetor (no sentido de ser um
1 2 enquanto a parte anti-simetrica e dada por
elemento do espaco R2 ao qual pertence um vetor
v = v1 e1 + v2 e2). De fato, nesse caso temos vv = (v1 u2 , v2 u1)e1 e2 = vu ,2 uv = v ^ u = ,u ^ v: (41)
(v1 )2 + (v2 )2  0 enquanto para e1e2 temos
Nas ultimas igualdades destas equac~oes aproveitamos
(e1 e2) = e1e2 e1e2 = ,(e1 ) (e2) = ,1:
2 2 2
(39) para denir v
u e v ^ u. Com isso podemos escrever
vu = v
u + v ^ u: (42)
A sugest~ao acerca da interpretac~ao de e1e2 vem do
coeciente multiplicando esta quantidade no lado di- E oportuno notarmos que em geral vu 6= uv. Pode-
reito da eq.(36). A quantidade jv1u2 , v2 u1j e justa- mos ainda ver que e1 e2 = e1 ^ e2 e que v ^ u = ,u ^ v.
mente a area do paralelogramo denido pelos vetores N~ao deve ser difcil nos convencermos agora que e a
p
v e u. Enquanto jvvj nos fornece o comprimento quantidade v ^ u que descreve o fragmento de plano
do segmento de reta orientado denido pelo vetor v, a orientado denido pelos vetores v e u. Podemos con-
quantidade vencionar agora que esta orientac~ao se faz no sentido
p
em que percorremos a fronteira do paralelogramo de-
j(v1u2 , v2u1 )e1e2 (v1 u2 , v2 u1)e1 e2j nido por v e u primeiro atraves do segmento de reta
orientado denido por v e depois pelo segmento de
nos fornece justamente a area do paralelogramo de- reta orientado denido por u convenientemente deslo-
nido pelos vetores v e u. A quantidade e1 e2 esta rela- cado de modo que a sua extremidade inicial coincida
cionada portanto com uma area e n~ao com um compri- com a extremidade nal do outro segmento. O bivetor
mento, como e o caso dos vetores e1 ou e2 (ou com-
binac~oes lineares destes). A quantidade e1 e2 e um
exemplo do que chamaremos um bivetor ou 2-vetor.
Quantidades deste tipo formam um espaco vetorial e
s~ao portanto vetores, mas para estabelecer uma dis-
tinc~ao com os vetores v = v1 e1 + v2 e2 usamos a deno-
minac~ao bivetor ou 2-vetor (lembrando assim que eles
est~ao relacionados com areas) { nesse caso os vetores
u ^ v = ,v ^ u dene um fragmento de plano com a
orientaca~o oposta.
O conjunto dos elementos da forma v ^ u com
v; u V22R2 formam um espaco vetorial que denotaremos
por (R2). Seus elementos s~ao os chamados bivetoresV
ou 2-vetores. E facil vermos que a dimens~ao de 2 (R2)
e 1. Para usarmosV0 uma notac~aVo uniforme, vamos apro-
veitar
V
v = v1 e1 + v2e2 ser~ao, quando conveniente, tambem
denominados 1-vetores.
O bivetor e1 e2 pode portanto ser interpretado como
descrevendo um fragmento de plano unitario e orien-
tado. A orientac~ao segue naturalmente uma vez que
e1 e2 = ,e2 e1 , ou seja, os bivetores e1e2 e e2e1 descre-
vem fragmentos de plano com orientac~oes opostas { do
mesmo modo que os vetores v e ,v descrevem segmen-
tos de reta com orientac~oes opostas. As orientaco~es de
e denir ( R2) = R e 1 (R2) = R2. Elementos
de k (R2) s~ao ditos em geral k-vetores (um 0-vetor e
portanto um escalar).
A eq.(36) nos mostra que o resultado do produto
geometrico de dois vetores consiste na soma de uma
quantidade escalar e uma quantidade bivetorial. Isso
mostra que do ponto de vista algebrico para trabalhar-
mos com uma estrutura fechada (ou seja, uma operac~ao
envolvendo dois elementos deste conjunto resulta em
um outro elemento deste conjunto) devemos conside-
um fragmento de plano s~ao denidas conforme percorre- rar o espaco vetorial
V
denido Vpela soma (direta)
V
dos
mos a sua fronteira no sentido horario ou anti-horario, espacos vetoriais 0 (R2) = R, 1 (R2)V= R2 e 2(R2).
como na Fig.5. Denotaremos este espaco vetorial por (R2), ou seja,
12 Jayme Vaz Jr.

possvel. Por exemplo, vamos considerar o multivetor

^ ^ ^ ^ f dado por
(R2) = 0
(R2)  1
(R2)  2
(R2): (43) f = 12 (1 + e1): (51)
V
Os elementos de (R2) s~ao denominados multiveto- Como podemos ver facilmente temos f 2 = f. Para este
res. Um multivetor arbitrario nesse caso e da forma elemento n~ao existe f ,1 tal que f ,1 f = ff ,1 = 1.
^
a + |v1 e1 {z
(R2) = |{z} + v2 e2} + b|e{z1 e2} : (44) De uma maneira geral, para um multivetor ar-
bitrario denimos
escalar vetor bivetor
V j j2 = h e i0 : (52)
O espaco vetorial (R2) equipado com o produto
geometrico denido pelas eqs.(33-35) e o que chamamos Ent~ao, se
algebra geometrica do plano euclideano. S~ao as relac~oes e = h e i0 6= 0; (53)
(e1 )2 = (e2)2 = 1 que denem o plano como euclideano. ou seja, o produto geometrico e possui apenas parte
No caso pseudo-euclideano teremos relac~oes diferentes escalar (e n~ao-nula), podemos denir ,1 como
para estas quantidades. Iremos denotar esta algebra
geometrica do plano euclideano por C `2 . ,1 = e
Antes de prosseguirmos, e conveniente denirmos
algumas operac~oes dentroV de C `2 . VPrimeiro, os opera- j j2 : (54)
dores de projec~ao h ik : (R2) ! k (R2). Em outras Antes de prosseguirmos devemos notar a presenca
palavras, h ik denota a parte k-vetor do multivetor .
Por exemplo, para da forma da eq.(44) temos
h i0 = a; h i1 = v1e1 + v2e2 ; h i2 = be1e2 : (45)
As outras operaco~es s~ao as chamadas involuc~ao gra-
duada, revers~ao e conjugaca~o. A involuc~ao graduada,
da operaca~o de revers~ao na eq.(52). Pela denic~ao desta
operac~ao (eq.47) podemos ver que ela n~ao altera o sinal
de escalares e vetores mas altera o sinal de um bive-
tor. Como para um bivetor B temos B 2  0 a presenca
da revers~ao na eq.(52) assegura que teremos jB j2  0.
Alias, utilizando este fato podemos deduzir um impor-
denotada por um chapeu, e denida de modo que tante resultado.
Usando a eq.(42) e a eq.(40) podemos escrever
hdik = (,1)k h ik ; (46) jv ^ uj2 = (v ^ u)(u ^ v)
ou seja, troca o sinal da parte 1-vetor mas mantem o = (vu , v
u)(uv , u
v)
sinal das partes escalar e 2-vetor de um multivetor. A = vuuv , (u
v)(vu + uv) + (v
u)2
revers~ao, denotada por um til, e denida como = jvj2juj2 , (u
v)2 : (55)
hgik = (,1)k(k,1)=2h ik : (47) V
Como jv ^ uj2  0 para v ^ u 2 2 (R2) segue que
O nome revers~ao se deve ao fato dela ser equivalente a (u
v)2  jvj2juj2; (56)
considerarmos o produto de vetores na ordem reversa,
ou seja, ou seja,
vu
f = uv: (48) , jvjjuj  v
u  jvjjuj: (57)
A revers~ao altera apenas o sinal da parte 2-vetor de Devido a esta express~ao podemos denir o a^ngulo
um multivetor em C `2 . Finalmente a conjugac~ao, que entre os vetores v e u atraves de
denotamos por uma barra, consiste na composic~ao das
outras duas operac~oes, ou seja, cos  = jvvjj
uuj : (58)

 = be = eb: (49) Podemos notar ainda que

Uma das grandes vantagens do produto geometrico sin  = jjvv^jjuujj : (59)
e que em muitos casos podemos \dividir" vetores e ate
mesmo multivetores. De fato, para um vetor v temos Dessa forma temos 0    .
vv = jvj2, de modo que se jvj =6 0 temos A eq.(57) tambem pode ser usada para chegarmos a
chamada desigualdade triangular. De fato, calculando
v, = jvvj ;
1
2
(50) jv + uj encontramos
onde v,1v = vv,1 = 1. O mesmo acontece, por exem- jv + uj2 = jvj2 + juj2 + 2v
u
plo, para o bivetor e1e2 , onde denimos (e1 e2 ),1 =  jvj2 + juj2 + 2jvjjuj
,e1 e2 = e2e1 . Entretanto, n~ao e sempre que isto e  (jvj + juj)2 ; (60)
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 13

ou seja, Para expressarmos uma rotac~ao vamos utilizar um

jv + uj  jvj + juj; (61) importante resultado devido a Cartan e Dieudonne [4]
que e a desigualdade triangular. que diz que a composica~o de duas re
ex~oes e uma
Posto isso, vamos agora ver como expressar algumas rotac~ao. O teorema de Cartan-Dieudonne na verdade
relac~oes e operaco~es geometricas utilizando a algebra
C `2 . Primeiro, diremos que dois vetores s~ao ortogo-
nais se o produto geometrico destes vetores for anti-
comutativo, ou seja, se vu = ,uv; por outro lado,
diremos que dois vetores s~ao colineares se o produto
geometrico for comutativo, ou seja, se vu = uv.
Dados dois vetores v e u podemos facilmente decom-
por um destes vetores em partes colinear e ortogonal ao
outro; por exemplo, dado o vetor v queremos escrever
v = vk + v? , onde vk e a parte colinear ao vetor u e
v? e a parte ortogonal ao vetor u. Usando juj2 = uu
podemos ver facilmente com a ajuda da eq.(50) que
vk = 21 v + uvu,1 ; v? = 21 v , uvu,1 ; (62)
,
,

s~ao as express~oes procuradas uma vez que vk u = uvk
e v? u = ,uv? .
Vamos agora expressar uma re
ex~ao em termos Para entendermos melhor o objeto R vamos pri-
do produto geometrico. No caso tridimensional fa-
zemos uma re
ex~ao atraves de um plano { no caso
n-dimensional devemos considerar um hiperplano (ou
seja, um subespaco n , 1-dimensional) { mas como es-
tamos lidando por enquanto apenas com o caso bidi-
mensional devemos ent~ao considerar uma reta. Seja u
o vetor unitario perpendicular a esta reta, como mostra
a Fig.6.
Figura 6. Re
ex~ao atraves do hiper-plano ortogonal ao ve- maneira geral, podemos escrever
tor u do vetor v resultando no vetor v'.
O vetor v0 e o vetor resultante da re
ex~ao do vetor R = cos  + sin e2 e1;
v. E facil vermos que
faz uma armac~ao mais geral que esta mas n~ao preci-
samos entrar nestes detalhes aqui (e tampouco discu-
tir a demonstraca~o deste teorema). Com isso e mais
a eq.(65) segue que uma rotac~ao pode ser escrita na
forma
v0 = ,u1(,u2 vu2)u1 ; (66)
onde ju1j = ju2j = 1. Esta express~ao pode ser escrita
de uma maneira mais conveniente como
v0 = RvR, ;
1
(67)
onde R e da forma
R = u1 u2; (68)
e R,1 = u2u1 = R. e
meiro utilizar a eq.(42) para reescrev^e-lo como
R = u1
u2 + u1 ^ u2: (69)
Como u1 e u2 s~ao unitarios, usando as eqs.(58) e (59)
temos
R = cos  + sin B; (70)
onde B e um bivetor unitario. Nesse caso, so exis-
tem duas possibilidades: ou B = e1 ^ e2 = e1 e2 ou
B = e2 ^ e1 = ,e1 ^ e2 = ,e1e2 . Porem, estas duas
possibilidades podem ser consideradas de uma unica
maneira. De fato, devido as eqs.(58) e (59),  na eq.(70)
e tal que 0    , e portanto sin   0. Se esco-
lhermos, por exemplo, B = e2 ^ e1 = ,e1 e2, a outra
possibilidade (que difere desta pelo sinal oposto) pode
ser levada em conta tomando 0    2 uma vez que
para     2 temos sin   0. Portanto, de uma
(71)
onde 0    2.
v0 = v , 2vk; (63) Podemos ainda denir a exponencial de um multi-
vetor como
onde vk e a componente de v colinear com o vetor u.
Usando ent~ao a eq.(62) encontramos que 1
X n 2 3
exp = n! = 1 + + 2! + 3! + : : :: (72)
v0 = ,uvu,1; (64) n=0
ou nesse caso que Como (e2e1 )2 = ,1 segue usando as bem conhecidas
v0 = ,uvu; (65) express~oes em termos de series de pot^encias para as
funco~es seno e co-seno que
onde usamos ainda que u e unitario, ou seja, juj = 1 de
modo que u,1 = u. R = cos  + sin e2 e1 = exp(e2 e1): (73)
14 Jayme Vaz Jr.

Voltando agora a eq.(67), vamos utilizar esta ultima

express~ao para R para vericar que de fato aquela
operac~ao trata-se de uma rotac~ao. Temos ent~ao
v0 = (cos  + sin e e )(v e + v e )(cos  , sin e e )
2 1 1 1 2 2 2 1

= (cos  + sin e e )[(v cos  , v sin )e

2 1 1 2 1

+ (v cos  + v sin )e ]

2 1 2

= [v (cos  , sin ) , v (2 sin cos )]e

1
2 2
2 1

+ [v (cos  , sin ) + v (2 sin cos )]e :

2
2 2
1 (74) 2

Usando as conhecidas relaco~es trigonometricas cos2  ,

sin2  = cos 2 e 2 sin cos  = sin 2 segue que
v0 = (v cos 2 , v sin 2)e + (v cos 2 + v sin 2)e ;
1 2 1 2 1 2
(75) Figura 7. Duas maneiras possveis de obter o vetor
ou seja, atraves de uma rotac~ao do vetor v.
v'

v10 = v1 cos 2 , v2 sin 2; Enquanto a primeira rotac~ao e descrita por R1 =

v20 = v2 cos 2 + v1 sin 2: (76)
Vemos portanto que a operac~ao v ! RvR,1 com R
dado pela eq.(73) descreve uma rotac~ao por um a^ngulo
2. Uma rotac~ao por um ^angulo  e portanto descrita
por R dado por
R = exp( 2 e2 e1) = cos 2 + sin 2 e2 e1: (77)
Algumas observac~oes cabem agora. Primeiro, o
^angulo de rotaca~o  na eq.(77) esta dado no sentido
exp((=2)e2e1 ), a outra rotac~ao, e descrita (segundo
a discuss~ao acima) por R2 = exp[((2 , )=2)e1e2 ].
Agora podemos notar que
R2 = exp((2 , )=2e1e2 )
= exp(e1 e2 ) exp(,(=2)e1 e2)
= (,1) exp((=2)e2e1) = ,R1; (79)
onde usamos exp(e1 e2) = ,1. Portanto o fato que
rotac~oes por um ^angulo  num sentido e por um ^angulo
2 ,  no sentido oposto serem equivalentes tem como
consequ^encia neste formalismo que R e ,R descrevem
a mesma rotac~ao.
anti-horario, o que pode ser facilmente vericado. Isto
pode ser visto como consequ^encia de termos escolhido
na eq.(71) o bivetor e2 e1. Evidentemente poderamos IV A algebra geometrica do
ter escolhido no lugar deste o bivetor e1 e2. Estes bi-
vetores, como ja discutimos, descrevem fragmentos de
plano pseudo-euclideano
plano com a mesma area porem com orientac~oes opos- Vamos agora considerar a algebra geometrica do plano
tas. Se tivessemos ent~ao escolhido o bivetor e1e2 o re- pseudo-euclideano de uma maneira completamente
sultado seria que R = exp((=2)e1e2 ) descreveria uma analoga ao caso euclideano. Primeiro, vamos denir
rotac~ao por um ^angulo  medido no sentido horario. A o produto geometrico, que nesse caso deve satisfazer
arbitrariedade na escolha do sentido em que medimos
o ^angulo e portanto um re
exo da arbitrariedade na (v1 e1 + v2 e2)(v1 e1 + v2 e2 ) = (v1 )2 , (v2)2 : (80)
escolha dos bivetores e1e2 ou e2 e1 = ,e1e2 .
Outra observac~ao, relacionada com a acima, e que A soluc~ao aqui e dada por
tanto R quanto ,R descrevem a mesma rotac~ao. De
fato, (e1 )2 = 1; (81)
RvR,1 = (,R)v(,R),1 : (78)
(e2 )2 = ,1; (82)
A interpretac~ao para este fato e simples. De fato, se
v0 e o vetor obtido por uma rotac~ao do vetor v por um e e + e e = 0; (83)
^angulo  no sentido anti-horario, ent~ao uma rotaca~o por 1 2 2 1

um ^angulo 2 ,  no sentido horario produz o mesmo Assim como as eqs.(33-35) para o caso euclideano, es-
resultado, como ilustra a Fig.7. tas relac~oes denem o produto geometrico da algebra
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 15

geometrica do plano pseudo-euclideano. Em termos do 0 { ao contrario do caso euclideano onde jv ^ uj2  0.

produto geometrico temos De fato, todo bivetor B e da forma be1 e2 e usando a
denic~ao de jB j2 temos
v > 0 () vetor tipo-tempo;
2

v = 0 () vetor tipo-luz;
2 jB j2 = b2e2 e1e1 e2 = ,b2  0: (91)
v < 0 () vetor tipo-espaco:
2
(84) Uma vez que jv ^ uj2  0 a eq.(56) n~ao e mais valida
Para o caso do produto geometrico de vetores v e u e em seu lugar temos agora
encontramos que (u
v)2  jvj2juj2: (92)
vu = (v u , v u ) + (v u , v u )e e ;
1 1 2 2 1 2 2 1 1 2 (85) Se v e u s~ao vetores tipo-tempo ent~ao podemos concluir
que
que escrevemos como a eq.(42), ou seja, v
u  jvjjuj: (93)
vu = v
u + v ^ u; (86) A invers~ao da desigualdade re
ete-se tambem na desi-
gualdade triangular. Repetindo o mesmo raciocnio na
onde eq.(60) mas usando agora a eq.(92) no lugar da eq.(56)
v
u = u
v = vu +2 uv ; (87) encontramos que
v ^ u = ,u ^ v = vu , uv :
2 (88) jv + uj2  (jvj + juj)2: (94)
Assim como no caso euclideano, interpretamos o ob- Portanto, se v e u s~ao vetores tipo-tempo temos
jeto v ^ u como um bivetor (ou 2-vetor). Esta inter- jv + uj  jvj + juj: (95)
pretac~ao e independente das propriedades metricas do
espaco. Porem, quando levamos em conta estas propri- Esta e a desigualdade triangular envolvendo vetores
edades, encontramos as diferencas com relac~ao ao caso tipo-tempo em um espaco pseudo-euclideano. E im-
euclideano. Por exemplo, agora temos portante notarmos a diferenca no sinal da desigualdade
para o caso euclideano (eq.61).
(e1 e2)2 = 1; (89) Embora para os vetores tipo-tempo tenhamos jvj2 
o que pode ser facilmente vericado usando as eqs.(81-
83), ao contrario do caso euclideano onde (e1 e2)2 = ,1.
Toda a estrutura multivetorial e independente das
propriedades metricas e portanto permanecem inaltera-
das quer consideramos os casos euclideano ou pseudo-
euclideano. Aqui tambem devemos considerar o espaco
0 como no caso euclideano, isso n~ao implica que para
esta classe de vetores a desigualdade triangular \eucli-
deana" seja satisfeita! Ao contrario, os vetores tipo-
tempo satisfazem a desigualdade triangular \pseudo-
euclideana" expressa pela eq.(95). Isso trata-se de um
paradoxo? N~ao, de jeito algum! Porem, na TR uma das
vetorial denido pela soma direta dos espacos dos esca- consequ^encias imediatas da eq.(95) e comumente cha-
lares, vetores e bivetores. Entretanto, para lembrarmos mada \paradoxo dos g^emeos", como veremos adiante.
a natureza pseudo-euclideana, denotamos o espaco dos Prosseguindo de maneira analoga ao caso euclide-
1-vetores por R1;1, numa obvia alus~ao ao fato de termos ano, vamos agora denir o a^ngulo entre vetores. Aqui
1 sinal positivo e 1Vnegativo. Devemos considerar ent~ao tambem ha uma importante diferenca com relaca~o ao
o espaco vetorial (R1;1) dado por caso euclideano expresso pelas eqs.(58) e (59). Ja discu-
timos na sec.2 que no caso pseudo-euclideano devemos
^
R1;1) =
^
0
(R1;1) 
^
1
(R1;1) 
^
2
(R1;1); (90) considerar o \^angulo hiperbolico". Logo, ao contrario
das eqs.(58) e (59), denimos agora para vetores tipo-
V V tempo
onde 0 (R1;1) = R e 1(R1;1) = R1;1. A algebra
geometrica do plano pseudo-euclideano sera denotada cosh  = jvvjj
uuj ; (96)
por C `1;1 . e
Os operadores de projeca~o denidos pela eq.(45)
s~ao denidos da mesma maneira aqui, assim como as sinh  = jvjv^jjuujj ; (97)
operac~oes involuc~ao graduada, revers~ao e conjugac~ao onde nesse caso devemos tomar
{ resp, eqs.(46), (47) e (49). Tambem denimos j j2
como na eq.(52) e se vale a eq.(53) denimos ,1 como p
jv ^ uj = ,jv ^ uj2 (98)
na eq.(54).
A eq.(55) continua valida no caso pseudo-euclideano
mas deste ponto em diante aparecem diferencas funda-
mentais com relac~ao ao caso euclideano. N~ao e difcil
ex~ao e descrita
vermos que no caso pseudo-euclideano temos jv ^ uj2 
uma vez que jv ^ uj2 < 0. Para  assim denido temos
0   < 1.
Como no caso euclideano, uma re
pela eq.(64). A diferenca agora e que temos dois casos
16 Jayme Vaz Jr.

a considerar: u2 = 1 ou u2 = ,1. No primeiro caso A eq.(105) resulta ent~ao em

u,1 = u e a eq.(64) pode ser escrita como v0 = ,uvu;
ja no segundo caso temos u,1 = ,u e a eq.(64) e por-
tanto v0 = uvu. v0 = (v cosh 2 + v sinh 2)e
1 2 1
No primeiro caso o vetor u e tipo-tempo e a re- + (v sinh 2 + v cosh 2)e : (109)
ex~ao se faz ao longo de uma reta (hiper-plano no caso 1 2 2

geral) tipo-espaco. Se u2 = 1 podemos escrever devido

a eq.(27) Logo a operac~ao v 7! RvR,1 com R dado pela eq.(108)
u = cosh e1 + sinh e2: (99) corresponde a uma rotac~ao hiperbolica por um ^angulo
0
O calculo de v = ,uvu n~ao apresenta diculdades e o
resultado e
v0 = (v2 sinh 2 , v1 cosh 2)e1
+ (v2 cosh 2 , v1 sinh 2)e2 : (100)
Para chegar a este resultado usamos cosh 2 =
cosh2  + sinh2  e sinh 2 = 2 sinh  cosh . E inte-
ressante notarmos que se u = e1 ( = 0) temos
v0 = ,v1 e1 + v2e2; (101)
ou seja, ha uma invers~ao na parte temporal de v.
Por outro lado, se u e tipo-espaco a re
ex~ao se da eq.(73) enquanto no caso pseudo-euclideano devemos
atraves de uma reta tipo-tempo. Se u2 = ,1 podemos
escrever
hiperbolico 2. Obviamente uma rotac~ao hiperbolica
por um ^angulo hiperbolico  e descrita por
R = exp ( 2 e2e1 ) = cosh 2 + sinh 2 e2e1 : (110)
Como vemos, tanto no caso euclideano como no pseudo-
euclideano, uma rotac~ao e descrita por v 7! RvR,1
com R da forma R = exp [(=2)e2e1]. A diferenca e
que no caso euclideano podemos escrever esta expo-
nencial em termos das func~oes seno e co-seno como na
usar as func~oes seno e co-seno hiperbolicos como na
eq.(110) e isso deve-se ao fato que (e2 e1)2 = ,1 em C `2
u = sinh e1 + cosh e2: (102) e (e2 e1)2 = 1 em C `1;1 . As observac~oes que zemos na
O calculo de v0 = uvu resulta em sec~ao anterior apos a eq.(77) tambem valem aqui.
v0 = (v1 cosh 2 , v2 sinh 2)e1 Para ilustrarmos uma rotac~ao hiperbolica e conve-
+ (v1 sinh 2 , v2 cosh 2)e2 : (103) niente considerarmos os vetores e1 e e2 em separado.
Usando a eq.(109) temos que uma rotac~ao hiperbolica
Se u = e2 ( = 0) temos uma invers~ao na parte espacial por um ^angulo  resulta em
de v, ou seja,
v0 = v1e1 , v2e2: (104)
De maneira completamente analoga ao caso euclide- e0 = Re R, = cosh e + sinh e
1 1
1
1 2 (111)
ano, uma rotac~ao no plano pseudo-euclideano e descrita
pela eq.(67), ou seja, e
v0 = RvR,1; (105)
onde R = u1u2 com u12 = u22 = 1. Podemos expres- e0 = Re R, = sinh e + cosh e :
2 2
1
1 2 (112)
sar R de uma maneira mais conveniente como
R = u1 u2 = u1
u2 + u1 ^ u2; (106) Ja sabemos que em uma rotac~ao hiperbolica enquanto a
onde agora podemos usar as eqs.(96) e (97) para escre- extremidade inicial de um vetor permanece xa na ori-
ver gem a extremidade nal deste vetor move-se ao longo
R = cosh  + sinh e2 e1 : (107) de uma hiperbole. So falta determinar a direc~ao. Para
isso vamos supor primeiro que  > 0.
O mesmo raciocnio que utilizamos no caso euclideano
(apos a eq.70) para escrever a eq.(71) deve ser utilizado E facil vermos a partir das denic~oes do seno e co-
para escrevermos a eq.(107); ou seja, o bivetor unitario seno hiperbolicos que cosh   1 para ,1 <  < 1
em quest~ao pode ser ou e1 e2 ou e2e1 e as duas possibi- e que sinh   0 para   0 e sinh   0 para   0.
lidades s~ao levadas em conta assumindo ,1 <  < 1. Alem disso temos sempre cosh   sinh , com a igual-
Usando a denic~ao da exponencial de um multive-
tor (eq.72) e o fato que nesse caso (e2e1 )2 = 1 segue
que
R = cosh  + sinh e2 e1 = exp (e2 e1): (108)
dade valendo apenas no limite  ! 1. Posto isso, para
  0 vale cosh   1, sinh   0 e cosh   sinh  e a
rotac~ao hiperbolica dos vetores e1 e e2 resultando nos
vetores e01 e e02 dados pelas eqs.(111) e (112) pode ser
ilustrada como na Fig.8.
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 17

E um erro comum dizermos que o \espaco fsico"

tridimensional e o espaco vetorial euclideano R3. Na
verdade, o \espaco fsico" tridimensional e um espaco
am euclideano E 3 . Intuitivamente isso signica que
em um espaco am nenhum ponto tem prefer^encia so-
bre outro. Qualquer ponto pode ser tomado, por exem-
plo, como a origem de um sistema de refer^encia. As
translac~oes de um ponto s~ao ent~ao determinadas pelos
vetores de um espaco vetorial denido neste ponto . Em
outras palavras, podemos pensar em um espaco am
como sendo um espaco de pontos onde em cada ponto
deste espaco esta denido um espaco vetorial. No caso
do espaco am euclideano E 3 em cada um de seus pon-
Figura 8. Uma mesma rotac~ao hiperbolica agindo sobre os
vetores tipo-tempo e1 e tipo espaco e2 .
tos esta denido um espaco vetorial R3 cujos elementos
(vetores) determinam as translac~oes dos pontos de E3 .
Precisamos, e claro, tornar esta ideia um pouco mais
precisa do ponto de vista matematico. Vamos conside-
rar ent~ao um espaco vetorial V sobre os reais R. Um
Podemos notar que quanto maior  menor ca a conjunto arbitrario E (cujos elementos denominaremos
diferenca entre as func~oes co-seno hiperbolico e seno
hiperbolico e os vetores e01 e e02 cada vez mais se apro-
ximam de uma das assntotas da hiperbole.
Por outro lado, se   0 temos cosh   1, sinh  
0 e cosh   j sinhj = , sinh . A rotac~ao hiperbolica
por um ^angulo   0 pode ent~ao ser ilustrada como na
pontos) e dito um espaco am se existe uma aplicac~ao
 : E  E ! V que a cada par de pontos P; Q 2 E faz
corresponder um vetor em V que denotaremos como
,!
PQ e tal que sejam satisfeitos os seguintes axiomas:
(i) Para quaisquer P 2 E e v 2 V existe um e apenas
um ponto Q 2 E para o qual ,! PQ = v;
Fig.9. (ii) Para quaisquer pontos P; Q; R 2 E verica-se a
relac~ao ,!
PQ + ,!
QR = ,!PR.
Como consequ^encias do axioma (ii) podemos ver fa-
cilmente que ,!PP = 0 (vetor nulo) e que ,! PQ = ,,! QP.
,!
Dizemos que o vetor PQ tem origem P e extremidade
Q. A dimens~ao do espaco am e denida como a di-
mens~ao do espaco vetorial associado a ele. Um espaco
am de dimens~ao um e uma reta; um espaco am de di-
mens~ao dois e um plano, etc. Fixado um ponto P 2 E
o conjunto de todos os vetores com origem em P e jus-
tamente o espaco vetorial V . Em smbolos, denindo
TP (E) = f,! PQjQ 2 E g temos TP (E) ' V para cada
P 2 E (onde ' denota isomorsmo).
E bem conhecido das lico~es basicas de algebra linear
que qualquer espaco vetorial V de dimens~ao n nita so-
Figura 9. Uma mesma rotac~ao hiperbolica agindo sobre os
bre R e isomorfo ao espaco vetorial Rn, que5 por sua vez
vetores tipo-tempo e1 e tipo espaco e2 mas no sentido oposto consiste no espaco vetorial das n-uplas (x1 ; : : :; xn). Po-
da gura anterior. demos portanto limitar nossa discuss~ao a considerac~ao
do espaco vetorial Rn.
Seja agora um espaco am E ligado ao espaco veto-
V O espaco-tempo rial Rn. Denomina-se referencial am de E o par (O; B)
composto por um ponto O de E (que denominamos ori-
Para entendermos o conceito de espaco-tempo (e outros gem do referencial) e por uma base B = fe1; : : :; eng de
relacionados) e necessario antes de mais nada estabele- Rn. Quando B = fe1; : : :; eng e a base can^onica de Rn
cermos claramente a diferenca entre um espaco vetorial nos referimos a este referencial am como um referen-
e um espaco am. cial can^onico. As coordenadas de um ponto P 2 E num
5 E oportuno lembrar que n~ao estamos considerando por enquanto nenhuma estrutura metrica adicional sobre o espaco vetorial.
18 Jayme Vaz Jr.

referencial (O; B) s~ao denidas como sendo as compo- e claro, para a condic~ao g(v; v) = ,r2. No caso do
nentes do vetor ,!
OP na base B, ou seja, se plano pseudo-euclideano esses hiperboloides correspon-
dem evidentemente as hiperboles.
p
,!
OP = x1e1 +


+ xn en (113) A regi~ao tal que v0 > (v1 )2 + (v2 )2 + (v3 )2 e
chamada
p futuro enquanto a regi~ao tal que v0 <
ent~ao as quantidades (x1; : : :; xn) s~ao as coordenadas , (v1 )2 + (v2 )2 + (v3 )2 e chamada passado. Desse
ans do ponto P no referencial (O; B). Obviamente modo, um vetor tipo-tempo pode ainda ser classicado
as coordenadas ans da origem O neste referencial s~ao como apontando para o futuro ou para o passado. As
(0; : : :; 0). No caso de dois referenciais ans (O; B) e regi~oes tais que (v0 )2 < (v1 )2 + (v2 )2 + (v3)2 s~ao o
(O0 ; B0), as coordenadas ans de um ponto P no refe- presente. Evidentemente n~ao temos como ilustrar isso
rencial (O; B) consistem nas coordenadas do vetor ,! OP no caso quadridimensional; no caso bidimensional a si-
tuac~ao analoga e ilustrada na Fig.10.
na base B enquanto as coordenadas ans deste mesmo
ponto P no referencial (O0; B0 ) consistem nas coorde-
,,!
nadas do vetor O0P na base B0 .
Podemos agora discutir o que entendemos por
espaco-tempo6. O conceito de espaco-tempo dentro da
TR foi introduzido por Hermann Minkowski em 1908 e
por isso e comum usarmos a denominac~ao espaco-tempo
de Minkowski.
Primeiro vamos considerar o espaco vetorial quadri-
O espaco am E 1;3 ligado ao espaco vetorial de
Minkowski E 1;3 e o que denominamos espaco-tempo de
Minkowski. Os pontos em E 1;3 s~ao chamados eventos.
Em termos do referencial (O; B) as coordenadas de um
evento s~ao dadas por (x0; x1; x2; x3), onde
,!
OP = x0e0 + x1e1 + x2 e2 + x3e3 : (117)
A coordenada x0 e a coordenada temporal e as demais
dimensional R4. Seja B = fe0 ; e1; e2; e3g a sua base as coordenadas ditas espaciais. Mais especicamente,
can^onica. Um vetor arbitrario deste espaco e portanto temos
da forma
v = v e +v e +v e +v e :
0 0 1 1 2 2 3 3 (114) x0 = ct; x1 = x; x2 = y; x3 = z; (118)
Neste espaco denimos a seguinte metrica7: onde t e o instante de tempo do evento no referencial
considerado, c e uma constante interpretada como a ve-
g(v; v) = (v0 )2 , (v1)2 , (v2 )2 , (v3 )2 : (115) locidade da luz e (x; y; z) as coordenadas espaciais car-
tesianas do evento neste referencial. O intervalo entre
O espaco vetorial R4 equipado com esta metrica g dois eventos P e Q e denido como sendo a dist^ancia
denomina-se espaco vetorial de Minkowski e o deno- quadridimensional entre estes objetos, ou seja, por
tamos por R1;3.
A denominac~ao adotada no caso do plano pseudo-
euclideano com relac~ao aos tipos de vetores foi herdada g(,!
PQ; ,!
PQ) = c2 (tP , tQ )2 , (xP , xQ )2
do presente caso, ou seja, classicamos os vetores em , (yP , yQ )2 , (zP , zQ )2: (119)
tipo-tempo, tipo-luz ou tipo-espaco conforme:
g(v; v) > 0 () vetor tipo-tempo
g(v; v) = 0 () vetor tipo-luz
g(v; v) < 0 () vetor tipo-espaco (116)
A condic~ao g(v; v) = 0 dene o que chamamos cone
de luz. Mais precisamente
p temos dois cones, um dado
pela equaca~o v0 =p (v1 )2 + (v2)2 + (v3 )2 e outro pela
equac~ao v0 = , (v1 )2 + (v2 )2 + (v3 )2. O primeiro
cone corresponde ao que chamaremos cone de luz do
futuro e o segundo ao cone de luz do passado. No caso
do plano pseudo-euclideano estes cones correspondem
as assintotas das hiperboles.
Ja a condic~ao g(v; v) = r2 (onde r e constante) de-
ne o que chamamos um hiperboloide. O mesmo vale, Figura 10. Regi~oes do espaco-tempo.
N~ao custa nada lembrar o conteudo da primeira nota de rodape, ou seja: estamos considerando aqui apenas a Teoria da Relatividade
6
Restrita e n~ao a Teoria da Relatividade Geral. Dentro do domnio da TRG devemos considerar um conceito mais geral que o de espaco
am que e o de variedade. N~ao discutiremos aqui o conceito de variedade pois este envolve quest~oes \tecnicas" que est~ao completamente
fora do escopo deste artigo.
7 A escolha entre (+ , , ,) e (, + + +) 
; ; ; ; ; ;e arbitraria.
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 19

Uma curva no espaco-tempo e classicada de acordo ou seja,

com a categoria do vetor tangente a este curva. Vamos
supor que esta curva e parametrizada por , ou seja, V = v d
d : (126)
as coordenadas da curva s~ao func~oes de , nesse caso Por outro lado, da eq.(123) segue que
(ct(); x(); y(); z()). O vetor tangente a esta curva
no ponto correspondendo a  = 0 e d = pjg(v; v)j: (127)
 
dt ; dx ; dy ; dz ; d
v = c d d d d (120) Juntando as duas ultimas equac~oes segue que
onde as derivadas s~ao calculadas em  = 0. Nesse V= p v ; (128)
caso jg(v; v)j
       
g(v; v) = c ddt 2 , dx 2 , dy 2 , dz 2 : ou seja, V e unitario:
d d d
(121) g(V; V) = 1: (129)
A curva e dita tipo-tempo, tipo-luz ou tipo-espaco con-
forme o vetor tangente v 2 R1;3 seja tipo-tempo, tipo- Portanto para uma curva tipo-tempo parametrizada
luz ou tipo-espaco, respectivamente. pelo tempo proprio o vetor tangente em cada ponto
Uma partcula com massa (n~ao-nula) e denida por desta curva e unitario.
uma curva tipo-tempo. Esta curva e chamada linha de Um observador e denido como uma curva tipo-
universo ou historia da partcula. A luz e denida por tempo parametrizada pelo tempo proprio e apontando
uma curva tipo-luz. para o futuro. Do ponto de vista matematico, \obser-
Sejam A e B os pontos inicial e nal de uma curva vador" e \linha de universo de uma partcula" s~ao a
tipo-tempo, correspondendo aos valores do par^ametro mesma coisa. Se esta curva for uma reta dizemos que
 = 0 e  = 1, respectivamente. Se g(v; v) 6= 0 (que o observador e inercial; no caso de uma partcula di-
e o caso para uma curva tipo-tempo) podemos denir zemos que ela esta em movimento uniforme. Uma vez
o comprimento desta curva como que uma reta pode ser denida por um vetor, podemos
Z 1 p denir um observador inercial em termos de um vetor
L= jg(v; v)jd: (122) tipo-tempo unitario apontando para o futuro.
0 Dado um observador, este naturalmente separa o
espaco-tempo em \espaco" e \tempo". Para isso
O ponto importante aqui e que podemos utilizar o com- utiliza-se a decomposic~ao ortogonal do espaco vetorial
primento da curva como par^ametro da curva. Para isso de Minkowski em R1;3 = T E, onde T = spanV denota
basta deixarmos nesta ultima equac~ao um dos extremos o sub-espaco vetorial gerado pelo vetor tipo-tempo V e
de integrac~ao livres, por exemplo o correspondendo ao E o sub-espaco vetorial gerado pelos vetores ortogonais
ponto nal. A quantidade  dada por a V (que podemos chamar de espaco de repouso). Um
Z p outro observador fara tambem a separac~ao do espaco-
= jg(v; v)jd0 (123) tempo em \espaco" e \tempo" mas de maneira distinta
0 do primeiro observador se tivermos V0 6= V, onde V0
e uma func~ao  = () que pode ser invertida para es- denota o vetor tipo-tempo unitario tangente a curva
crevermos  = (). Basta utilizarmos  = () para denindo este outro observador. No caso bidimensional
expressarmos a curva antes parametrizada por  agora podemos ilustrar esta situac~ao como na Fig.11.
em termos do par^ametro .
O par^ametro  e o que chamamos tempo proprio.
E facil vermos que se tomarmos o tempo proprio como
par^ametro da curva ent~ao o vetor tangente a esta curva
e unitario. De fato, se  e o par^ametro da curva, o vetor
tangente V e
 
dt dx dy dz
V = c d ; d ; d ; d : (124)
Por outro lado, podemos escrever
 
dt d dx d dy d
V = c d d ; d d ; d d ; d d dz d
 
= c d ; d ; d ; d d
dt dx dy dz
d ; (125) Figura 11. Tempo e espaco segundo dois observadores
distintos.
20 Jayme Vaz Jr.

Podemos analisar varios aspectos da TR simples- trecho tambem no referencial da nave. Logo o irm~ao
mente atraves de diagramas baseados na gura acima. que viajou esta j,!j + j,!
SR RC j anos mais velho.
A contrac~ao do comprimento na direc~ao do movi- Ja no referencial na Terra o intervalo de tempo en-
mento, por exemplo, pode ser explicada qualitativa-
mente atraves de guras como esta. Porem, como nos- tre a sada e a chegada da nave e dado por j, !j, de
SC
sos objetivos neste artigo s~ao outros, nos limitaremos modo que o irm~ao g^emeo que cou na Terra esta j, !j
SC
a indicar como refer^encia para discuss~oes nesse sentido anos mais velho. A relac~ao entre as idades dos irm~aos
o livro de Rucker [5]. Neste livro o leitor interessado corresponde portanto a relaca~o que existe entre as quan-
podera se deliciar com analises qualitativas que cer- tidades j, !j e j,
SC !j + j,!
SR RC j. Evidentemente
tamente propiciar~ao uma melhor compreens~ao da TR.
Entretanto, para completarmos um pouco esta sec~ao e ,!=,
SC ! + ,!
SR RC; (130)
tambem motivar a leitura de [5], vamos discutir aquilo
que chamamos \o paradoxo dos g^emeos". de modo que
A fabula por detras do paradoxo dos g^emeos pode j,!j = j,
SC ! + ,!
SR RC j: (131)
ser contada da seguinte forma. Um belo dia um dos
g^emeos entra em uma nave espacial e parte em uma Agora, qual a relac~ao entre j,! ,!
SR+ RC j e j,!j+j,!
SR RC j?
viagem interestelar. Anos depois ao retornar verica No caso de um espaco euclideano esta relaca~o e dada
que seu irm~ao que cou na Terra esta mais velho que pela desigualdade triangular (61). Porem, o espaco-
ele. Para facilitar a discuss~ao e ilustrac~ao desta si- tempo e um espaco pseudo-euclideano e portanto a de-
tuac~ao vamos imaginar as seguintes condico~es ideais: sigualdade que vale e a expressa pela eq.(95). Logo, a
a nave parte de um ponto da Terra (evento S) com mo- relac~ao que temos e
vimento uniforme chegando ate um certo ponto (evento
R) onde instantamente inverte seu curso voltando para j,! + ,!
SR RC j  j,!j + j,!
SR RC j: (132)
a Terra novamente em movimento uniforme (com a che-
gada correspondendo ao evento C). A linha de universo Usando isto na eq.(131) segue que
do primeiro trecho da viagem e descrito pelo vetor , !
SR j,!j  j,
SC !j + j,!
SR RC j: (133)
e o segundo trecho e descrito pelo vetor ,!RC. Esta si-
tuac~ao esta ilustrada na gura abaixo em termos da Esta equac~ao pode ser lida da seguinte forma: o irm~ao
decomposic~ao do espaco-tempo em T  E medidos no que cou na Terra (lado esquerdo da equaca~o) esta mais
referencial na Terra onde acontecem a sada e chegada velho do que o irm~ao que fez a viagem interestelar (lado
da nave. direito da equac~ao).

VI A algebra geometrica do
espaco-tempo
A algebra geometrica do espaco-tempo e denida de
maneira analoga ao casos ja considerados. Primeiro, o
produto geometrico e denido de modo que

(v0 e0 + v1 e1 + v2 e2 + v3 e3 )(v0 e0 + v1 e1 + v2 e2 + v3 e3 )
= (v0 )2 , (v1 )2 , (v2 )2 , (v3 )2 ; (134)
onde estamos considerando a metrica dada pela
eq.(115). A soluc~ao para este problema, que dene o
produto geometrico, e dada por
Figura 12. Representac~ao no espaco-tempo da situac~ao cor-
respondente ao paradoxo dos g^emeos. (e0 )2 = 1; (135)
Estando as curvas parametrizadas em termos do
tempo proprio, o comprimento destas curvas corres- (ei )2 = ,1; (i = 1; 2; 3); (136)
ponde justamente ao intervalo de tempo decorrido no
referencial onde o objeto que percorre esta curva se
encontra em repouso. Portanto, j, !j corresponde a
SR e e + e e = 0; (;  = 0; 1; 2; 3): (137)
durac~ao do primeiro trecho da viagem no referencial da Nas express~oes acima temos um exemplo de uma con-
nave espacial e j,!
RC j corresponde a durac~ao do segundo venca~o que iremos adotar: ndices latinos assumindo os
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 21

valores 1, 2 e 3 e ndices gregos assumindo os valores 0, um quadrivetor ou 4-vetor. Todas as outras possibili-
1, 2, e 3. dades, como por exemplo o produto de e1 por e0e2 e3,
O produto geometrico de vetores pode ser escrito na resultam nesta mesma quantidade apos um rearranjo
forma apropriado usando a eq.(137). Portanto e0e1 e2e3 e o
vu = v
u + v ^ u; (138) unico quadrivetor linearmente independente dentro da
onde algebra geometrica do espaco-tempo.
Com relaca~o a nomenclatura, cabe comentar que
v
u = u
v = vu +2 uv ; (139) muitas vezes um n-vetor em um espaco vetorial de di-
mens~ao n e tambem denominado um pseudo-escalar e
v ^ u = ,u ^ v = vu ,2 uv : (140) que um (n , 1)-vetor e tambem denominado um pseudo-
vetor. Logo, no caso da algebra geometrica do espaco-
Como nos casos anteriores, os objetos da forma v ^ u tempo um quadrivetor pode ser tambem denominado
s~ao bivetores. Aqui, entretanto, como o espaco e qua- um pseudo-escalar e um trivetor um pseudo-vetor. Por
dridimensional, podemos denir outros objetos alem de
bivetores. A interpretac~ao geometrica para isso e obvia:
alem do plano bidimensional propriamente dito, em um
espaco quadridimensional temos tambem hiper-planos
tridimensionais e hiper-cubos quadridimensionais. Por-
detras disto esta o isomorsmo que existe entre os
espacos vetoriais dos k-vetores e dos (n , k)-vetores.
No caso que estamos considerando vemos isso explici-
tamente uma vez que os espacos vetoriais dos escalares
e dos quadrivetores assim como os espacos vetoriais dos
tanto, alem de bivetores, podemos denir trivetores (ou vetores e dos 3-vetores possuem o mesmo numero de di-
3-vetores) e quadrivetores (ou 4-vetores)8 . mens~oes. Esta propriedade entretanto n~ao se limita aos
Para denir trivetores e quadrivetores vamos consi- casos considerados; ela e geral.
derar o produto geometrico envolvendo um vetor (1- Em geral usamos uma notaca~o simplicadora para
vetor) e um bivetor. Primeiro, devemos notar que os k-vetores denidos acima. Esta notac~ao esta exem-
temos aqui quatro vetores linearmente independentes plicada abaixo:
fe0; e1; e2; e3g e seis bivetores linearmente independen-
tes que resultam do produto geometrico de combinac~oes e = e e ; etc;
01 0 1
destes vetores tomados dois a dois, ou seja, temos os bi- e = e e e ; etc;
vetores fe0e1 ; e0e2; e0e3 ; e1e2; e1e3 ; e2e3g. O produto 012 0 1 2

geometrico envolvendo, por exemplo, o vetor e0 e os bi- e =e e e e :

0123 0 1 2 3 (141)
vetores e0 ei (i = 1; 2; 3) resulta em vetor. Esse e o caso
sempre que o ndice do vetor e igual a um dos ndices O pseudo-escalar e0123 e t~ao importante que muitas ve-
do bivetor. zes lhe reservamos uma notac~ao particular atraves de
Logo, so podemos esperar por algo novo quando o e =e = e0e1 e2e3 : (142)
ndice do vetor for diferente dos ndices do bivetor. Por 5 0123

exemplo, o produto geometrico do vetor e0 com o bive- E importante observarmos que o pseudo-escalar satisfaz
tor e1e2 resulta na quantidade e0 e1e2 . Esta quantidade
n~ao e nem um escalar, nem um vetor e nem um bivetor. (e5)2 = ,1 (143)
Esta quantidade e o que denominamos um trivetor ou
3-vetor. Do ponto de vista geometrico podemos pensar e
que ela descreve um hiperplano orientado9 no espaco e v + ve = 0; 8v 2 R ; : 13
(144)
quadridimensional. Este hiperplano e o gerado pelos ve- 5 5

tores e0 , e1 e e2. Como podemos ver facilmente, temos
aqui apenas quatro trivetores linearmente independen-
tes, a saber: fe0e1 e2; e0e1 e3; e0e2 e3; e1e2 e3g. Qual-
quer outra combinac~ao possvel se reduz a estas usando
a relac~ao (137).
Estas propriedades10 seguem facilmente do uso das
eqs.(135-137). Esta ultima nos diz que o pseudo-escalar
e5 sempre anti-comuta com vetores. Consequentemente
ele tambem anti-comuta com trivetores e comuta com
bivetores (alem, e claro, dos escalares ou outros pseu-
Continuando o raciocnio, podemos denir uma doescalares).
nova quantidade atraves do produto geometrico de um Vk Denotaremos o espaco vetorial dos
V k-vetores por
vetor e um trivetor. Como so devemos esperar por algo (R1;3) e a soma direta destes por (R1;3), ou seja,
novo quando o ndice do vetor e os tr^es ndices do tri- ^ ^ ^ ^
vetor forem todos diferentes, podemos considerar, por (R1;3) = (R1;3)  1 (R1;3) 
0 2
(R1;3)
exemplo, o produto do vetor e0 pelo trivetor e1e2 e3. O ^ ^
resultado e a quantidade e0e1 e2e3 , que denominamos  3(R1;3)  4 (R1;3); (145)
8 Esta denomina ca~o n~ao deve ser confundida com uma as vezes adotada em alguns livros de Relatividade onde um vetor (ou um
1-vetor no jarg~ao que estamos adotando) pertencente ao espaco vetorial de Minkowski e dito um 4-vetor ou quadrivetor.
9 Sobre a quest~
ao da orientac~ao veja [1] e [3].
10 E interessante comparar esta propriedades com as do caso da algebra geometrica do espaco euclideano tridimensional discutido em
[1].
22 Jayme Vaz Jr.
V
onde usamos a convenc~ao usual V0 (R1;3) = R e
V1 A interpretac~ao do produto
como um produto escalar
(R1;3) = R1;3. O espaco vetorial (R1;3) equipado so e possvel para o caso particular envolvendo dois ve-
com o produto geometrico denido pelas eqs.(135-137) e
o que denominamos algebra geometrica do espaco-tempo
e denotamos por C `1;3 . V
Operac~oes como as projec~oes h ik : (R1;3) !
Vk 1;3
(R ) e as involuc~oes denominadas revers~ao, in-
tores, ou seja, quando temos v
u. Para os demais casos
devemos nos referir a esse produto como contrac~ao [1].
Alem da eq.(146) podemos generalizar a eq.(138)
como
v =
v + ^ v; (154)
voluc~ao graduada e conjugaca~o { denidas no caso de onde
C `2 e C `1;1 pelas eqs.(46-49) { continuam sendo deni-

v = v ,2 v ;
b
das da mesma forma para C `1;3. (155)
A eq.(138) pode ser agora generalizada. Se e um
^ v = v +2 v :
b
multivetor arbitrario ent~ao podemos escrever (156)
v =v
+v^ ; (146) Quando = ke um k-vetor temos
onde k v , (,1)k v k ;
k
v =
v
= v ,2 v ; (157)
b
(147) 2

v ^ = v +2 v : k v + (,1)k v k
b
(148) k ^v = : (158)
2
Se = k e um k-vetor temos bk = (,1)k k e estas Como podemos ver pelas denic~oes acima, temos as se-
equac~oes cam guintes propriedades:
v
k = ,(,1)k k
v;
v
k = v k , (,2 1) k v ;
k (159)
(149)
v ^ k = (,1)k k ^ v: (160)
v ^ k = v + (,21) k v :
k
(150) Ja o produto geometrico k l para k > 1 e l > 1
n~ao pode ser decomposto na forma (146) ou (154). E
Portanto a interpretac~ao da decomposic~ao (146) do pro- possvel mostrar que em geral o resultado do produto
duto geometrico em termos dos produtos
e ^ depende geometrico k l pode ser escrito na forma [1]
da graduac~ao k de um k-vetor. Se k e um k-vetor
ent~ao v ^ k e um (k + 1)-vetor. Isso e consistente com k l = h k l ijk,lj + h k l ijk,lj+2
nossa interpretac~ao anterior. De fato, tomando como +


+ h k l ik+l : (161)
exemplo os vetores ortogonais e0 , e1 e e2, segue da de-
nic~ao acima que
e0 ^ e1 ^ e2 = e0e1e2: (151)
Do mesmo modo
e0 ^ e1 ^ e2 ^ e3 = e0e1e2e3: (152)
O fato do produto ^ ser anticomutativo ou comu-
tativo conforme a graduaca~o do k-vetor deve-se ao fato
deste produto para vetores ser anticomutativo. De fato,
usando as propriedades de associatividade e a antico-
mutatividade segue que
ex~oes e rotac~oes s~ao descritas em C `1;3 da
v ^ (u ^ w) = (v ^ u) ^ w = ,(u ^ v) ^ w
= ,u ^ (v ^ w) = u ^ (w ^ v) = (u ^ w) ^ v;
(153)
o que mostra que o produto ^ envolvendo vetor e bive-
tor e comutativo. Portanto, devemos levar em conta na
Evidentemente podemos generalizar a denic~ao dos
produtos
e ^ atraves de
k
l = h k l ijk,lj ; (162)
k ^ l = h k l ik+l ; (163)
mas mesmo assim o produto k l n~ao pode ser escrito
na forma (146) ou (154) devido a presenca de termos
adicionais na eq.(161). Apenas quando um dos ele-
mentos for um vetor (ou k = 1 ou l = 1) o produto
geometrico pode ser escrito na forma (146) ou (154).
Re
mesma forma que no caso das algebras dos planos eu-
clideano e pseudo-euclideano. Entretanto, com relac~ao
as rotac~oes, temos agora uma estrutura muito mais rica
que devemos olhar com detalhes.
Vimos que tanto em C `2 como em C `1;1 uma rotac~ao
e descrita pela operac~ao v 7! RvR,1 com R da forma
R = exp B=2, onde B e um bivetor. Este bivetor B
denic~ao deste produto a graduac~ao do multivetor. e B = e2e1 e a rotac~ao se da no plano dos veto-
N~ao e difcil vermos que enquanto v ^ k e um res e1 e e2 . No caso euclideano (e2 e1 )2 = ,1 e te-
(k +1)-vetor (para k um k-vetor), v
k e um (k , 1)- mos uma rotac~ao propriamente dita; ja no caso pseudo-
vetor. O produto
n~ao e portanto um produto escalar. euclideano (e2e1 )2 = 1 e a rotac~ao e hiperbolica.
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 23
V
Em C `1;3 o espaco 2(R1;3) dos bivetores tem di- ares convenientes destes). Como no caso do plano eu-
mens~ao seis e podemos ter tanto bivetores satisfazendo clideano, estes bivetores geram rotac~oes no plano por
B 2 < 0 como B 2 > 0 (e ate mesmo B 2 = 0). Vamos eles denido. Como exemplo, vamos tomar o bive-
considerar os bivetores tais que B 2 = ,1; por exem- tor e1 e3 e considerar a operac~ao v 7! RvR,1 com
plo: e1 e2, e1e3 e e2e3 (assim como combinac~oes line- R = exp ((=2)e1e3 ). Podemos ent~ao vericar que
c

exp ( 2 e1 e3)e0 exp ( ,2 e1 e3) = e0; (164)

exp ( 2 e1e3 )e1 exp ( ,2 e1e3 ) = cos e1 + sin e3; (165)
exp ( 2 e1 e3)e2 exp ( ,2 e1 e3) = e2; (166)
exp ( 2 e1 e3)e3 exp ( ,2 e1 e3) = cos e3 , sin e1: (167)

d
Estas equac~oes mostram claramente que temos uma pseudo-euclideano, estes bivetores geram rotac~oes hi-
rotac~ao no plano dos vetores e1 e e3 . perbolicas no plano por eles denido. Um exemplo e
Agora vamos olhar para os bivetores tais que B 2 = suciente para vermos isso. Tomando o bivetor e0e3
1; por exemplo: e0e1 , e0 e2 e e0 e3, fora as combinaco~es podemos vericar que
lineares convenientes destes. Como no caso do plano
c

exp ( 2 e0e3 )e0 exp ( ,2 e0e3 ) = cosh e0 , sinh e3; (168)
exp ( 2 e0 e3)e1 exp ( ,2 e0 e3) = e1; (169)
exp ( 2 e0 e3)e2 exp ( ,2 e0 e3) = e2; (170)
exp ( 2 e0 e3)e3 exp ( ,2 e0 e3) = cosh e3 , sinh e0: (171)

d
Esta claro que temos aqui uma rotaca~o hiperbolica no rotac~ao espacial.
plano dos vetores e0 e e3.
Resumindo, a operac~ao v 7! RvR,1 com R =
exp (=2)B descreve uma rotac~ao espacial se B 2 = ,1 VII A Teoria da Relatividade
ou uma rotac~ao hiperbolica se B 2 = 1. Para deixarmos
um pouco mais clara essa distinca~o vamos usar daqui
Restrita
em diante a seguinte notac~ao: ao inves de R escrevere- Vamos comecar discutindo alguns aspectos da ci-
mos U no caso de uma rotac~ao espacial e L no caso de nematica relativstica. Primeiro, vamos considerar um
uma rotac~ao hiperbolica. referencial (O; B). Lembrando a eq.(117), podemos des-
Finalmente, vamos considerar uma rotac~ao generica
no espaco-tempo. E possvel mostrar (o que omitiremos crever um evento P atraves do vetor x = ,!OP,
aqui { veja, por exemplo, [6]) que a rotac~ao mais ge- x =x e +x e +x e +x e ; (173)
ral possvel no espaco-tempo pode ser escrita como a 0 0 1 1 2 2 3 3

composic~ao de uma rotac~ao espacial e uma rotac~ao hi- onde x0 = ct, etc. Podemos pensar que o vetor tipo-
perbolica. Em smbolos, se v 7! RvR,1 e uma rotaca~o
arbitraria do vetor v no espaco-tempo ent~ao podemos
escrever (de maneira unica!) R na forma
R = LU; (172)
onde L descreve uma rotac~ao hiperbolica e U uma
tempo e0 dene um observador inercial e as coordena-
das fx g ( = 0; 1; 2; 3) s~ao portanto as coordenadas do
evento com relaca~o a este observador neste referencial.
Uma vez que e20 = 1 podemos escrever11
x = xe e = (x
e )e + (x ^ e )e = cte + ~x; (174)
0 0 0 0 0 0 0

11 Sobre a quest~ao de notac~ao: dada uma quantidadeno espaco-tempodenotada por uma letra em negrito, a correspondente quantidade
no espaco tridimensional sera denotada pela mesma letra com uma echa. Um exemplo do uso desta notac~ao esta na eq.(174).
24 Jayme Vaz Jr.

onde um vetor tipo-tempo constante u (u2 = 1, du=d = 0).

ct = x
e0 (175) A resposta para isso segue segundo o mesmo raciocnio
e acima, exceto que agora em lugar do vetor e0 devemos
considerar o vetor u.
~x = (x ^ e0)e0 = (x ^ e0)
e0 Dado o vetor x escrevemos em analogia com a
= x1 e1 + x2e2 + x3 e3: (176) eq.(174),
Portanto, as quantidades x
e0 e (x ^ e0)
e0 s~ao respecti- x = xuu = (x
u)u + (x ^ u)
u = ct0 u + ~x 0; (184)
vamente o tempo e a posic~ao do evento no referencial em onde
quest~ao. Aqui a posica~o do evento refere-se a posic~ao
no espaco tridimensional de acordo com um observador ct0 = x
u; (185)
inercial denido por e0. Com isso, se x = x() e a linha
de universo de uma partcula, no espaco tridimensional
com relac~ao ao observador e0 esta partcula percorre
uma trajetoria ~x = ~x(t) determinada substituindo em
~x = ~x() = (x() ^ e0)
e0 a express~ao para  em termos
de t que obtemos resolvendo ct = ct() = x()
e0.
Seja x = x() a linha de universo de uma partcula,
0
~x = (x ^ u)
u = (x ^ u)u: (186)
As quantidades t0 e ~x 0 s~ao o tempo e a posic~ao do evento
dado de acordo com o observador u. Estas quantidades
s~ao diferentes de t e ~x dados na eq.(174). Para apre-
ciarmos esta diferenca precisamos da relac~ao entre os
vetores u e e0 .
onde  denota o tempo proprio. Denimos a sua velo- Como u e e0 s~ao vetores tipo-tempo unitarios, existe
cidade propria como uma rotac~ao no espaco-tempo que leva um vetor no ou-
tro. Podemos ent~ao escrever
v = ddx : (177) u = Re R, ;
0
1
(187)
Temos ent~ao onde R = LU segundo a eq.(172).
dt e + dx1 e + dx2 e + dx3 e :
v = c d (178) Porem, U e0U ,1 corresponde a uma rotac~ao espa-
0
d 1 d 2 d 3 cial do vetor e0. Como uma rotac~ao espacial ocorre no
Logo hiper-plano ortogonal a e0 (ou seja, no espaco euclide-
ano tridimensional) ela n~ao altera este vetor, de modo
v = ve0e0 = (v
e0)e0 + (v ^ e0)
e0 que devemos ter
= c d dt e + d~x : (179) U e0U ,1 = e0: (188)
0
d
A quantidade (v ^ e0)
e0 = (v ^ e0 )e0, Com isso podemos escrever a relac~ao entre u e e0 como
 
(v ^ e0)
e0 = ddx ^ e0
e0 = d d~x u = Le L, ;
0
1
(189)
ou seja, uma rotac~ao puramente hiperbolica.
= dx d
1
e1 +
dx2 e + dx3 e ;(180)
d 2 d 3
Como esta rotac~ao hiperbolica acontece no plano
denido pelos vetores e0 e u, podemos escrever L na
n~ao e a velocidade ~v associada com o movimento da forma
partcula no espaco tridimensional. No espaco tridi- L = exp ( 2 B); (190)
mensional a partcula percorre uma trajetoria ~x = ~x(t)
e a velocidade para esta partcula e onde  e o ^angulo hiperbolico e B e um bivetor tipo-
tempo unitario (B 2 = 1) que anti-comuta com e0 ,
~v = d~x
dt : (181) e B = ,B e : (191)
0 0

Chamaremos ~v assim denida velocidade relativa . Para O fato que B deve anti-comutar com e0 pode ser visto
expressar ~v em termos de (v ^ e0)
e0 basta notarmos da seguinte forma. Dado um bivetor arbitrario B po-
que demos sempre escrev^e-lo na forma B = B+ + B, ,
~v = d d~x
dt d ; (182) onde B+ e a parte que comuta com e0 e B, e a
parte que anti-comuta com e0. E simples vericar-
e com a ajuda da eq.(179) podemos ver que mos que B = (1=2)(B  e0 B e0 ). Tambem n~ao e
difcil vericarmos que B+ e B, comutam, ou seja,
~v = c (v ^ e0)
e0 = c (v ^ e0)e0 :
v
e v
e (183) B+ B, = B, B+ . Do fato que B+ e B, comutam pode-
0 0
se mostrar que exp (B+ + B, ) = exp (B+ ) exp (B, ).
Feito isso, agora devemos nos perguntar o que acon- Portanto se L e da forma exp ((=2)B) podemos es-
tece em termos de um observador inercial descrito por crev^e-lo como L = exp ((=2)B, ) exp ((=2)B+ ). Mas
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 25

a parte exp ((=2)B+ ) corresponde justamente a trans- e ei e0 = ,e0 ei (i = 1; 2; 3) temos

formac~ao dada pela eq.(188). Logo sobra apenas a parte
exp ((=2)B, ), que e justamente o que estamos consi- u2 = ~ue0~ue0 = ,~uu~ e0 e0 = ,~u2 : (204)
derando acima. Como ~u2  0 segue que
Com isso temos que
u2  0: (205)
e0L,1 = e0 exp ( ,2 B) = exp ( 2 B)e0 = Le0; (192)
Vamos agora determinar L explicitamente. Como L
que usado na eq.(189) resulta que e da forma (190) temos
u=L e ; 2
0 (193) L2 = exp B = cosh  + sinh B; (206)
ou ainda onde B 2 = 1. Por outro lado, usando as eqs.(194) e
ue = L :
0
2
(194) (195) temos
 
Esta ultima express~ao e particularmente util pois u
~ u ~
u
no lado esquerdo esta uma quantidade que ja sabemos L = + c e0 = + c u e0 :
2
(207)
como lidar usando as eqs.(179) e (183). De fato,
Comparando as duas ultimas express~oes temos
ue = u 
e + u ^e = u
e + (u ^ e )e e
B = ~uu e0
0 0 0 0 0 0 0

= 1 + ~uc e ; 0 (195) (208)

e
onde, segundo a eq.(183), cosh  = ; sinh  = uc : (209)
~u = c (u ^ e 0 )
e0 (196) A eq.(208) nos diz qual o bivetor que gera a rotac~ao
hiperbolica em quest~ao. Escrevendo
e a velocidade relativa do observador e denota a quan- ~u = pu1 e1 + u2e2 + u3 e3 (210)
tidade u (u1 )2 + (u2 )2 + (u3 )2
= u
e0: (197)
o bivetor B e
Podemos facilmente determinar atraves de um pe-
queno truque. Como u e e0 s~ao unitarios podemos es- B = u1pe1e0 +2 u2e2 e02 + u3e32e0 : (211)
crever (u1 ) + (u2 ) + (u3)
1 = uu = ue0e0u: (198)
Ja da eq.(209) segue que
Enquanto ue0 e dado pela eq.(195), para e0u podemos
escrever tanh  = uc : (212)
e0 u = e0
u + e0 ^ u = u
e0 , u ^ e0; (199) Esta express~ao sem duvida merece destaque! Ela re-
onde usamos as propriedades dos produtos
e ^ en- laciona o a^ngulo da rotac~ao hiperbolica com a veloci-
volvendo vetores (eqs.139 e 140). Segue ent~ao das dade relativa. Chegamos assim a uma profunda relac~ao
eqs.(196) e (197) que entre a cinematica relativstica e geometria pseudo-
 
euclideana. Devido a essa interpretac~ao e comum cha-
marmos o ^angulo hiperbolico  de rapidez. Note que
e0u = 1 , ~uc e0 : (200) para  ! 1 temos u ! c. Podemos ainda inverter
a equac~ao acima para expressar o a^ngulo hiperbolico 
Com isso, da eq.(198) temos em termos da velocidade relativa u e o resultado e
 
 = 12 ln 11 + u=c :
    
u
~ ~
u
1 = 1 + c e0 1 , c e0 = 1 , c2 ; (~
u e 0)
2
(213)
, u=c
2 2

(201) N~ao bastasse isso, a eq.(212) permite obtermos de

ou seja, maneira trivial a formula para a adic~ao de veloci-
2 ,1=2
 
= 1 , c2u ; (202) dades relativas. Para isso basta usarmos a formula
para adic~ao de ^angulos hiperbolicos. Usando a de-
onde u2 = (~ue0)2 . Uma vez que ~u e da forma nic~ao das func~oes seno e co-seno hiperbolicos segue
que sinh (1 + 2) = sinh 1 cosh 2 + sinh 2 cosh 1
~u = u1e1 + u2 e2 + u3e3 (203) e cosh (1 + 2) = cosh 1 cosh 2 + sinh 1 sinh 2.
26 Jayme Vaz Jr.

Usando estas express~oes na denic~ao de tanh  = Com isso L ca sendo dado por
sinh = cosh chegamos sem diculdade na \lei das tan-
gentes hiperbolicas": L = exp ( 2 e1e0 ); (217)
tanh (1 + 2) = 1tanh 1 + tanh 2 :
+ tanh 1 tanh 2 (214)
onde  = arctanh(u=c). O vetor u por sua vez ca
Usando agora a eq.(212) com tanh (1 + 2) = tanh  = sendo dado por
u=c, tanh 1 = u1 =c e tanh 2 = u2 =c segue imediata-
mente que u = e0 + uc e1: (218)
u = 1 +u(u1 + u2
: (215)
1 u2 =c )
2

Esta e a conhecida lei de adic~ao de velocidades dentro A relac~ao entre t e t0 pode ser agora facilmente ob-
da TR. tida. Usando a eq.(174) (com x1 = x, x2 = y e x3 = z)
Para prosseguirmos vamos simplicar um pouco as para x na eq.(185) temos
express~oes assumindo que ~u e da forma
~u = ue1: (216) ct0 = (cte0 + xe1 + ye2 + z e3 )
( e0 + uc e1)
N~ao ha muita perda de generalidade com isso. Uma vez = ct , x uc ; (219)
entendidos os calculos que se seguem e possvel repro-
duz-los para ~u da forma (203) sem muita diculdade. ou seja,
Alem de simplicarmos um pouco as express~oes, nosso
t0 = t , ux
 
interesse com isso e tambem deixar as express~oes numa c2 : (220)
forma mais familiar, o que permite uma melhor com-
paraca~o entre os metodos mais tradicionais e o exposto Ja a eq.(186) nos fornece ~x 0. Usando a express~ao
aqui. acima para u encontramos que
c

x ^ u = (cte + xe + ye + z e ) ^ ( e + (u=c)e )
0 1 2 3 0 1

= tue ^ e + xe ^ e + ye ^ e
0 1 1 0 2 0

+ z e ^ e + y(u=c)e ^ e + z(u=c)e ^ e ;
3 0 2 1 3 1 (221)
e da
(x ^ u)
u = , 2 tue1 + 2 xe1 + 2 ye2 + 2 z e3
, 2 t(u2=c)e0 + 2 x(u=c)e0
, 2 y(u2 =c2 )e2 , 2 z(u2 =c2)e3 ; (222)
onde com alguns agrupamentos,
(x ^ u)
u = (x , tu) 2 (u=c)e0 + (x , tu) 2 e1
+ 2 (1 , u2 =c2)ye2 + 2 (1 , u2 =c2)z e3 : (223)
Usando agora a eq.(202) para encontramos que
~x 0 = (x , tu) 2 (u=c)e0 + (x , tu) 2 e1 + ye2 + z e3: (224)

Esta equac~ao para ~x 0 apresenta um problema. Pri-
meiro, vamos olhar novamente para as eqs.(174) e (184).
Nestas equac~oes vemos que t e t0 s~ao as componentes
de x nas direc~oes de e0 e u, respectivamente, e ~x e ~x 0
d
justamente a projec~ao de x na direca~o de u e pudemos
comparar t0 com t pois u esta dado em termos de e0.
Se quisermos agora encontrar alguma relac~ao entre as
componentes de ~x 0 e as componentes de ~x precisamos
s~ao os complementos ortogonais destes vetores em ter- especicar a base do espaco (tridimensional) ortogonal
mos da decomposic~ao ortogonal do espaco-tempo em a u. A eq.(224) nos fornece corretamente o vetor ~x 0
\espaco" e \tempo". Quando calculamos t0 tomamos mas em termos da base fe g ( = 0; 1; 2; 3). Preci-
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 27

samos agora encontrar a base fe0 g obtida a partir da Note que do mesmo modo que a coordenada x (resp.
base fe g pela rotac~ao hiperbolica em considerac~ao, ou t) e obtida tracando uma reta paralela a reta denida
seja, por e0 (resp. e1 ), a coordenada x0 (resp. t0 ) e obtida
e0 = LeL,1; ( = 0; 1; 2; 3): (225) tracando uma reta paralela a reta denida por e00 = u
0 0
Para e0 obviamente e0 = u. Quanto aos demais (resp. e01).
vetores calculando a express~ao acima encontramos que Existe ainda uma outra forma de obtermos as
formulas acima para as transformac~oes de Lorentz.
e01 =
e1 +
(u=c)e0; Esta consiste em interpretarmos de uma outra maneira
e02 = e2; uma rotac~ao hiperbolica. Para entendermos como fazer
e03 = e3: (226) isso vamos primeiro considerar a interpretac~ao de uma
rotac~ao espacial. Para isso vamos considerar a trans-
Agora podemos escrever ~x 0 dado pela eq.(224) na formac~ao x 7! U xU ,1 correspondendo a uma rotaca~o
forma espacial. Temos interpretado essa rotac~ao espacial do
~x 0 =
(x , tu)e01 + ye02 + z e03 : (227) vetor x como resultando em um novo vetor x0 dado por
0 0 0 x0 = U xU ,1. Esta interpretac~ao corresponde ao que
Uma vez que (x ; y ; z ) s~ao denidos como chamamos ponto de vista ativo. Entretanto, podemos
~x 0 = x0e01 + y0 e02 + z 0 e03 (228) interpretar esta transformac~ao segundo o que chama-
mos ponto de vista passivo. Segundo esta interpretac~ao
encontramos comparando estas duas ultimas equaco~es o vetor x n~ao e alterado mas sim as coordenadas desse
que vetor atraves da rotac~ao dos vetores da base. Se do
ponto de vista ativo a rotac~ao do vetor x acontece num
x0 =
(x , tu); dado sentido e por um certo a^ngulo, do ponto de vista
y0 = y; passivo a rotac~ao dos vetores da base acontece no sen-
z 0 = z: (229) tido oposto e pelo mesmo ^angulo. Ilustramos isso na
Fig.14.
As eqs.(220) e (229) s~ao justamente as celebradas
transformac~oes de Lorentz. Lembrando a denica~o de

podemos escrever estas transformaco~es explicitamente
como
t0 = pt , ux=c
2
;
1 , u2=c2
x0 = p x , tu2 2 ;
1 , u =c
y0 = y; Figura 14. Interpretac~ao de uma rotac~ao espacial segundo
z 0 = z: (230)
Essencialmente uma transformac~ao de Lorentz e
uma rotac~ao hiperbolica. Estas transformaco~es rela-
cionam as coordenadas de um evento de acordo com
dois observadores inerciais movendo-se um em relac~ao
o ponto de vista ativo (gura a esquerda) e passivo (gura
a direita).
No caso de uma rotac~ao hiperbolica as mesmas
interpretac~oes s~ao possveis. Podemos interpretar a
transformac~ao x 7! LxL,1 do ponto de vista ativo,
ao outro com velocidade relativa ~u. Seguindo a mesma signicando que o resultado desta transformaca~o e um
linha de raciocnio que utilizamos para construir as -
guras anteriores, podemos ilustrar estas coordenadas na
Fig.13.
novo vetor x0 obtido pela rotac~ao hiperbolica do vetor
x num dado sentido e por um certo ^angulo hiperbolico.
Ou ent~ao do ponto de vista passivo, onde o vetor x
permanece inalterado e os vetores da base sofrem uma
rotac~ao hiperbolica pelo mesmo ^angulo mas no sentido
oposto. Na Fig.15 ilustramos estes dois casos.
As transformac~oes de Lorentz relacionam as coor-
denadas de um mesmo evento segundo dois observado-
res inerciais. Logo, se quisermos obter as express~oes
para estas transformac~oes diretamente da express~ao
para uma rotac~ao hiperbolica devemos interpreta-la no
sentido passivo.
Figura 13. Coordenadas de um evento segundo dois obser- Para sermos mais especcos, vamos considerar o
vadores distintos. caso envolvendo dois observadores inerciais denidos
28 Jayme Vaz Jr.

por e0 e u tais que u = Le0 L,1 . Do ponto de vista ela dene um novo vetor x0 dado por x0 = LxL,1 .
da algebra geometrica uma transformaca~o da forma Para L dado pela eq.(217), x0 = LxL,1 e dado por
x 7! LxL,1 e interpretada no sentido ativo, ou seja,
c

x0 = ct( e + (u=c)e ) + x( e + (u=c)e ) + ye + z e

0 1 1 0 2 3

= (ct + ux=c)e + (x + ut)e + ye + z e :

0 1 2 3 (231)

d
espaco-tempo podemos utilizar um truque. O que pre-
cisamos e \simular" o ponto de vista passivo em termos
do ponto de vista ativo. Como ja discutimos, do ponto
de vista passivo a rotac~ao hiperbolica e considerada no
sentido oposto (e pelo mesmo ^angulo hiperbolico). Pen-
sando do ponto de vista ativo, esta rotac~ao hiperbolica
no sentido inverso pode ser vista como a transformac~ao
inversa da transformac~ao x 7! LxL,1 . Esta trans-
formac~ao e obviamente x 7! L,1 xL. Portanto a trans-
formac~ao ativa x 7! x = L,1 xL pode ser interpre-
tada do ponto de vista passivo como denindo as no-
vas coordenadas do vetor x em termos da base fe0 g
( = 0; 1; 2; 3) dada por e0 = Le L,1 . A melhor ma-
neira de nos convencermos disso e efetuando explicita-
mente os calculos. De fato, para x = L,1 xL temos
x =
(ct , ux=c)e0 +
(x , ut)e1 + ye2 + z e3: (233)
Escrevendo x = ct0e0 + x0e1 + y0 e2 + z 0 e3 segue que
t0 =
(t , ux=c2); x0 =
(x , ut);
y0 = y; z 0 = z; (234)
que s~ao justamente as transformac~oes de Lorentz pro-
curadas. Portanto, o novo vetor x obtido atraves da
transformac~ao x 7! x = L,1xL e tal que as suas com-
ponentes em termos da base feg s~ao as mesmas com-
ponentes do vetor x em termos da base fe0 g dada por
e0 = Le L,1 . Temos assim uma receita de como \si-
Figura 15. Interpretac~ao de uma rotac~ao hiperbolica se- mular" o ponto de vista passivo em termos do ponto
gundo o ponto de vista ativo (gura superior) e passivo (- de vista ativo, que e o que deve ser usado ao olharmos
gura inferior). para uma rotac~ao espacial ou hiperbolica atraves das
operac~oes da algebra geometrica. Embora isso misture
Escrevendo x0 = ct0 e0 +x0 e1 +y0 e2 +z 0 e3 segue que dois pontos de vista diferentes, sem duvida o procedi-
mento e simples e eciente do ponto de vista computa-
t0 =
(t + ux=c2); x0 =
(x + ut); cional. Por outro lado, o procedimento usado anterior-
y0 = y; z 0 = z; (232) mente para obtermos as transformac~oes de Lorentz nos
parece do ponto de vista conceitual mais completo.
que n~ao s~ao as transformac~oes de Lorentz dadas pelas Vamos agora olhar para a din^amica relativstica. A
eqs.(220) e (229). A eq.(232) fornece as coordenadas din^amica do movimento de uma partcula pode ser es-
de um novo evento x0 de acordo com o observador iner- pecicada na TR atraves da generalizac~ao da segunda
cial denido por e0 . Esta e a interpretac~ao do ponto
de vista ativo e e a unica interpretac~ao possvel para a
transformac~ao x 7! LxL,1 .
Para escrevermos esta rotac~ao hiperbolica do ponto
de vista passivo em termos da algebra geometrica do
lei de Newton. A generalizac~ao natural desta lei e
F = ddp ; (235)
onde F e p s~ao as generalizac~oes em termos do espaco-
tempo dos conceitos classicos de forca e momentum,
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 29

respectivamente. Vamos considerar agora estas genera- onde ~v e a velocidade relativa da partcula e
lizac~oes.
2 ,1=2
 
Para o vetor p, que denominaremos momentum = v
e0 = 1 , vc2 : (246)
proprio da partcula, podemos escrever
p = pe0e0 = (p
e0)e0 + (p ^ e0)
e0 Usando a eq.(245) na eq.(244) temos que
= Ec e0 + ~p; (236) p = m c e + m ~v:
0 0 0 (247)
onde denimos a energia propria E da partcula como Comparando agora as eqs.(236) e (247) segue que
E = c(p
e0 ); (237) E = m0 c2 ; (248)
e o momentum relativo ~p como e
p~ = (p ^ e0 )
e0 = (p ^ e0)e0 p~ = m0 ~v ; (249)
= p1e1 + p2 e2 + p3 e3: (238) que e claramente uma generalizaca~o da express~ao
classica.
Por estas denic~oes o vetor p e tambem as vezes deno- Suponha que a velocidade relativa da partcula seja
minado vetor energia-momentum. nula, ~v = 0. Portanto ~p = 0, p2 = 0 e a eq.(243) implica
A massa propria da partcula e denida pela norma nesse caso que
do vetor p. Iremos postular que para partculas massi-
vas p e um vetor tipo-tempo, ou seja, p2 > 0. Denimos E 2 = (m0 c2)2 ; (~v = 0): (250)
ent~ao a massa propria m0 atraves de
Como E = c(p
e0 ) = m0 c2 (v
e0 ) e v e um vetor tipo-
(m ) = pc : tempo que aponta para o futuro (v
e0 > 0) temos que
2
2
(239)
0 2
E > 0 e como soluca~o da eq.(250)
Por outro lado, para p2 temos E = m0 c2; (~v = 0): (251)
  
E
p = c e0 + ~p c e0 + ~p
2 E Essa e a energia propria de uma partcula em repouso
(~v = 0), da tambem denominarmos esta quantidade
= Ec2 + p~ 2 ; energia de repouso e denota-la por E0, ou seja,
2
(240)
e como E0 = m0 c2 : (252)
p~ 2 = (p1 e1 + p2e2 + p3e3 )2 Da eq.(249) temos que p2 = m20 2 v2 , que por sua
= ,(p1 )2 , (p2)2 , (p3)2 = ,p2 ; (241) vez na eq.(243) implica que
podemos escrever E 2 = m20 c4 + m20 c2 2 v2
 
2v
2
= m0 c 1 + c2 :
2 4
(253)
p2 = Ec2 , p2:
2
(242)
Agora, comparando as eqs.(239) e (242), podemos Usando a eq.(246) vemos que
escrever    
1 + 2 vc2 = 1 + 1 ,v v=c2 =c2 = 2 ;
2 2 2

E 2 = m20 c4 + p2c2 : (243) (254)

Na mec^anica classica o momentum ~p de uma
partcula e denido como ~p = m0~v , onde m0 e a massa e para a eq.(253) obtemos que
da partcula. A generalizac~ao natural desta denic~ao e E 2 = m20 c4 2 : (255)
p = m0cv; (244)
Como E > 0 a soluc~ao e
onde v e a velocidade propria da partcula (eq.177).
Esta denic~ao e coerente; uma vez que v2 = 1 ela im- E = m0 c2 : (256)
plica que p2 = (m0 c)2 , que e justamente a eq.(239).
Das eqs.(179) e (183) podemos escrever Esta equac~ao nos fornece a energia propria de uma
partcula. Denindo uma massa relativa m como
v = e0 + ~vc ; (245) E = mc2 ; (257)
30 Jayme Vaz Jr.

temos onde denimos

m = m0 = p m0 2 2 : (258)
1 , v =c h~v ;~ai = ,~v
~a = , 12 (~v~a , ~a~v ); (269)
Quando ~v = 0 temos ent~ao m = m0 .
Para o vetor F, que denominaremos forca propria de modo que v2 = h~v ;~vi.
ou forca de Minkowski, escrevemos como nos casos an- Com isso a eq.(265) pode ser nalmente escrita na
teriores forma
f~ = m0 2~a + m0 c2 h~v ;~ai~v ;
4
F = (F
e0)e0 + (F ^ e0)
e0 (270)
= Wc e0 + f: ~ (259) que e a generalizac~ao relativstica da segunda lei de
Newton f~ = m0~a.
Escrevendo p na forma (236), a lei de movimento
(235) implica que
VIII Conclus~oes
W = dEd = dE ;
dt (260) Nosso principal objetivo neste artigo foi apresentar a
e algebra geometrica do espaco-tempo como uma estru-
d~p = d~p ;
f~ = d (261) tura natural e eciente para a formulac~ao da TR. As
dt vantagens desse formalismo s~ao varias e esperamos ter
onde usamos = dt=d. A eq.(261) e uma evidente exibido algumas delas claramente ao longo do texto.
generalizaca~o da segunda lei de Newton, onde f~ e o Uma das maiores vantagens das algebras
que chamamos forca relativa. Ja a eq.(260) trata-se de geometricas e a sua generalidade. A denica~o da
uma generalizac~ao da relac~ao classica entre pot^encia W algebra geometrica de um espaco e geral, n~ao impor-
e variac~ao de energia. tando a dimens~ao deste espaco ou suas propriedades
Podemos ainda denir a acelerac~ao propria de uma metricas. Com isso os principais conceitos podem ser
partcula como introduzidos tomando exemplos simples como os re-
lativos ao plano, preparando assim o terreno para a
a = ddv : (262) considerac~ao de casos mais complexos atraves de ge-
A lei do movimento pode ent~ao ser escrita na forma neralizac~oes quase triviais dos casos mais simples. Foi
exatamente isso que tentamos fazer ao longo do texto.
F = m0ca: (263) Muitos dos aspectos principais da algebra geometrica
do espaco-tempo ja se encontram presentes nas algebras
Ja a relac~ao entre a forca relativa e acelerac~ao re- geometricas dos planos euclideano e pseudo-euclideano,
lativa e um pouco mais complicada. Como nos casos o que facilita demasiadamente a considerac~ao de um
anteriores, vamos escrever a como caso onde o numero de dimens~oes e um obstaculo para
a compreens~ao.
a = (a
e0)e0 + (a ^ e0)
e0: (264) O carater pseudo-euclideano de um espaco pode
Para a forca relativa f~ temos portanto tambem ser melhor compreendido atraves das algebras
geometricas. O fato da mesma estrutura poder ser uti-
f~ = m0 c(a ^ e0 )
e0: (265) lizada nos casos euclideano e pseudo-euclideano per-
mite atraves do estudo comparativo uma elaborac~ao
O termo do lado direito e das diferencas e similaridades destes espacos e conse-
d (v ^ e )
e = d ( ~v ) quentemente uma melhor compreens~ao da natureza de
(a ^ e0)
e0 = d 0 0
dt c
um espaco pseudo-euclideano.
As algebras geometricas permitem portanto con-
2
d
= c ~a + c dt ~v; (266) tornar dois dos maiores obstaculos no entendimento
da TR: a quadridimensionalidade e o carater pseudo-
onde usamos a denic~ao da acelerac~ao relativa ~a, euclideano do espaco-tempo. Alem disso, temos uma
estrutura matematica adequada para lidar com uma
~a = d~ v
dt : (267) vasta classe de problemas e n~ao apenas a TR. Em [1]
discutimos o uso da algebra geometrica do espaco eu-
A quantidade d =dt pode ser facilmente calculada clideano tridimensional dentro da teoria de Pauli (que
a partir da eq.(246), lembrando que v2 = ,~v 2 . O re- e a generalizaca~o da teoria de Schrodinger de modo a
sultado e que incluir o spin ) da Mec^anica Qu^antica n~ao-relativstica.
Mec^anica [2] e Eletromagnetismo [3] s~ao ecientemente
d = , 3 ~v
~a = 3 h~v ;~ai; estudadas usando algebras geometricas. Se em ca-
dt c2 c2 (268) sos como estes as algebras geometricas apresentam-se
Revista Brasileira de Ensino de Fsica, vol. 22, no. 1, Marco, 2000 31

como alternativas, em casos como na teoria de Dirac
da Mec^anica Qu^antica Relativstica elas se apresentam
como necessarias e indispensaveis. A chamada \algebra
da matrizes Gama" [7], que e a estrutura fundamental
da teoria de Dirac, nada mais e do que uma algebra
geometrica de Cliord. Usualmente a teoria de Dirac
taramos tambem de agradecer a todos que manifesta-
ram suas opini~oes e comentarios a respeito do nosso
artigo anterior [1], o que foi um enorme incentivo para
a elaborac~ao do presente artigo.
e formulada em termos da complexicac~ao da algebra
geometrica do espaco-tempo mas isso n~ao e necessario
e a teoria de Dirac pode ser inteiramente formulada
em termos da algebra geometrica do espaco-tempo [8-
10]. O formalismo de segunda quantizac~ao nas teorias
qu^anticas de campos tambem se baseiam em algebras
References
[1] J. Vaz, Jr., \A algebra geometrica do espaco euclide-
ano e a teoria de Pauli", Revista Brasileira de Ensino
de Fsica, 19, 234 (1997).
[2] D. Hestenes, New Foundations for Classical Mechanics,
geometricas. Enm, ao contrario de muitos formalis- Kluwer (1989).
mos cuja aplicabilidade se limita a uma certa classes de [3] B. Jancewicz, Mutivectors and Cliord Algebra in Elec-
problemas, as algebras geometricas possuem um certo
carater de universalidade.
Finalmente, com relac~ao a aplicac~oes da algebra
geometrica do espaco-tempo na soluc~ao de problemas
da TR, nos limitaremos a indicar algumas refer^encias.
Um problema padr~ao como o de uma partcula uni-
formemente acelerada dentro da TR e discutido em
[3] usando a algebra geometrica do espaco-tempo. Os
movimentos de precess~ao de Thomas e de Larmor s~ao
discutidos em [11]. O movimento de partculas carre-
gadas em um campo eletromagnetico homog^eneo, em
um campo de ondas planas e em um campo de Cou-
lomb s~ao discutidos em [12]. Nas refer^encias [11,12]
trodynamics, World Scientic (1988).
[4] A. Crumeyrolle, Orthogonal and Symplectic Cliord Al-
gebras, Kluwer (1990).
[5] R. v. B. Rucker, Geometry, Relativity and the Fourth
Dimension, Dover (1977).
[6] A. Barut, Electrodynamics and Classical Theory of
Fields and Particles, MacMillam Co. (1964); repu-
blicac~ao: Dover (1980).
[7] I. Benn e R. Tucker, An Introduction to Spinors and
Geometry (with applications in Physics), Adam Hilger
(1987).
[8] J. Vaz, Jr. e W. A. Rodrigues, Jr., \Maxwell and Di-
e apresentado um tratamento da TR usando a algebra rac theories as an already unied theory", Advances in
geometrica do espaco-tempo um pouco distinto do apre- Applied Cliord Algebras, 7 S, 369 (1997); tambem dis-
sentado por nos na sec.7. Na verdade acreditamos que ponvel como \hep-th 9511181" em http://xxx.if.usp.br
o tratamento de [11,12] apresenta algumas diculda- (http://xxx.lanl.gov).
des (as quais n~ao cabe aqui e agora discutir). O lei- [9] W. A. Rodrigues, Jr. e J. Vaz, Jr., \From electromagne-
tor interessado n~ao devera ter muitas diculdades em
comparar estes dois tratamentos e estudar estes pro-
blemas. Outras refer^encias sobre algebras geometricas
e suas aplicac~oes podem ser encontradas na lista de re-
fer^encias de [1].
Agradecimentos
Gostaramos de agradecer aos Prof. Dr. Edmundo
Capelas de Oliveira e Prof. Dr. Waldyr A. Rodrigues
pela leitura do manuscrito, discuss~oes e sugest~oes. Gos-
tism to relativistic quantum mechanics", Foundations
of Physics, 28, 789 (1998).
[10] S. de Leo, W. A. Rodrigues, Jr. e J. Vaz, Jr., \Complex
geometry and Dirac equation", International Journal
of Theoretical Physics, 37, 2415 (1998).
[11] D. Hestenes, \Proper particle mechanics", Journal of
Mathematical Physics, 15, 1768 (1974).
[12] D. Hestenes, \Proper dynamics of a rigid point parti-
cle", Journal of Mathematical Physics, 15, 1778 (1974).