Você está na página 1de 31

Notas de Aula

Relatividade
Rodney Josu
e Biezuner

Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)

Notas de aula do curso Introduca


o `
a Relatividade.

22 de janeiro de 2016

E-mail: rodney@mat.ufmg.br; homepage: http://www.mat.ufmg.br/~rodney.

Sum
ario
1 Teoria da Relatividade Especial
1.1 Deduc
ao da existencia de ondas eletromagneticas atraves das equacoes de Maxwell

1.1.1 O Eter
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Referenciais Inerciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Princpio da Relatividade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Invari
ancia do Intervalo Espacotemporal . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Relatividade da Simultaneidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6 Relatividade de Intervalos Espaciais e de Intervalos Temporais . . . . . . . . . . .
1.6.1 Contrac
ao do Espaco . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.2 Dilatac
ao do Tempo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6.3 Invari
ancia das Dimens
oes Transversais . . . . . . . . . . . . . . . . . . . .
1.7 O Espacotempo de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7.1 Produto Interno e Formas Quadraticas . . . . . . . . . . . . . . . . . . . . .
1.7.2 Metrica de Lorentz e Espacotempo de Minkowski . . . . . . . . . . . . . . .
1.7.3 Cones de Luz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8 Transformac
oes de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9 Transformac
ao de Lorentz do tipo Boost . . . . . . . . . . . . . . . . . . . . . . . .
1.9.1 Medida Quantitativa da Dilatacao do Tempo . . . . . . . . . . . . . . . . .
1.9.2 Matriz do Boost . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.3 Medida Quantitativa da Contracao do Espaco . . . . . . . . . . . . . . . . .
1.9.4 Lei de Adic
ao de Velocidades . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9.5 Rotac
oes Hiperb
olicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10 O Grupo de Poincare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.11 Diagramas de Espacotempo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.11.1 Impossibilidade de se viajar acima da velocidade da luz . . . . . . . . . . .
1.11.2 Paradoxo dos Gemeos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.12 Momento-Energia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

2
2
4
5
6
7
9
10
10
11
12
13
13
17
18
18
19
19
21
23
23
26
27
29
29
29
29

Captulo 1

Teoria da Relatividade Especial


1.1

Dedu
c
ao da exist
encia de ondas eletromagn
eticas atrav
es das
equa
c
oes de Maxwell

Lembramos as equac
oes de Maxwell no v
acuo (1873):

,
0
B
rot E =
,
t
div B = 0,


E
rot B = 0 J + 0
,
t
div E =

que tambem podem ser escritas na notac


ao

,
0
B
,
E=
t
B = 0,


E
,
B = 0 J + 0
t
E=

onde E e o campo eletrico, B o campo magnetico, a densidade (volumetrica) de carga eletrica, 0 a


constante de permissividade eletrica do v
acuo, 0 a constante de permeabilidade magnetica do vacuo e J a
densidade de corrente eletrica.
1.1 Lema. Seja V um campo vetorial. Ent
ao
rot (rot V) = grad (div V) div (grad V)
= (div V) V.
Em outra notac
ao,
( V) = ( V) (V)
= ( V) 2 V.
2

Rodney Josue Biezuner

Prova: Escrevendo V = (V1 , V2 , V3 ), temos






V =

x
V1

y
V2

z
V3





V3
V2 V1
V3 V2
V1

,
=

y
z z
x x
y

donde




i
j
k





( V) =

y
z
V x V
V1
V3 V2
V1
3
2



y
z
z
x
x
y
 2
V2
2 V1
2 V1
2 V3
=

+
,
yx
y 2
z 2
zx
2 V2
2 V1
2 V3
2 V2

+
+

,
x2
xy zy
z 2

2 V1
2 V3
2 V3
2 V2

+
xz
x2
y 2
yz
 2
2
2
V1
V2
V3
2 V1
2 V1
2 V1
=
+
+

,
x2
yx zx
x2
y 2
z 2
2 V2
2 V2
2 V1
2 V3
2 V2
2 V2
+

,
xy
y 2
zy
x2
y 2
z 2

2 V2
2 V3
2 V3
2 V3
2 V3
2 V1
+
+

xz
yz
z 2
x2
y 2
z 2



V1
V2
V3
=
+
+
V1 ,
x x
y
z


V1
V2
V3
+
+
V2 ,
y x
y
z



V2
V3
V1
+
+
V3
z x
y
z
= (div V) V.

1.2 Teorema (Exist
encia de Ondas Eletromagn
eticas). Sejam E e B os campos eletrico e magnetico,
respectivamente. Ent
ao, no v
acuo, em um ambiente livre de cargas eletricas, os campos eletrico e magnetico
satisfazem a equac
ao da onda homogenea:
1
2E
=
E,
t2
0 0
2B
1
B.
=
t2
0 0
Prova. Do lema anterior temos que
rot (rot E) = (div E) E,
rot (rot B) = (div B) B.

Rodney Josue Biezuner

No v
acuo, em um ambiente livre de cargas eletricas, a primeira e terceira equacoes de Maxwell (leis de Gauss
para o campo eletrico e para o campo magnetico, respectivamente) se tornam
div E = 0,
div B = 0,
logo
rot (rot E) = E,

(1.1)

rot (rot B) = B.
Por outro lado, no v
acuo, em um ambiente livre de cargas eletricas, a segunda e quarta equacoes de Maxwell
(lei de induc
ao de Faraday e lei de Amp`ere com a correcao de Maxwell)
B
,
t
E
rot B = 0 0
.
t
rot E =

Portanto,

2E
(rot B) = 0 0 2 ,
t
t
2B

rot (rot B) = 0 0 (rot E) = 0 0 2 .


t
t
rot (rot E) =

(1.2)

Reunindo (1.1) e (1.2), obtemos o resultado desejado. 


As soluc
oes das equac
oes da onda do Teorema 1.2 sao chamadas ondas eletromagn
eticas. Pode-se mostrar,
usando as equac
oes de Maxwell, que as ondas eletromagneticas sao ondas transversais, ou seja, as vibrac
oes
dos campos eletrico e magnetico s
ao na direcao perpendicular `a direcao de propagacao da onda (para uma
deduc
ao simples e curta veja, por exemplo, [Woodhouse], Secoes 3.3 e 3.4, pp. 4244; as ondas de som s
ao
um exemplo de ondas longitudinais, em que as vibracoes sao na mesma direcao de propagacao da onda).
1.3 Corol
ario. A velocidade de uma onda eletromagnetica no v
acuo e
c=

1
= 2, 99792458 108 m/s.
0 0

Prova. Pois
2E
= c2 E,
t2
2B
= c2 B.
t2

Como este valor e igual ao da velocidade da luz, Maxwell concluiu que a luz e uma onda eletromagnetica.
V
arios experimentos posteriores corroboraram esta ideia. As equacoes de Maxwell foram as primeiras leis
da Fsica a conterem uma velocidade como uma constante fundamental.

1.1.1

O Eter

Na teoria ondulat
oria da luz de Fresnel (1821), a luz era uma onda mecanica que se propaga em um meio
chamado o eter luminfero. Ou seja, as vibracoes da luz correspondiam a vibracoes das moleculas eterias.
A velocidade de propagac
ao c da luz era uma propriedade do eter. Para conter ondas transversais, o eter

Rodney Josue Biezuner

tinha que ser um meio material el


astico, embora fosse estranho que nao existissem ondas longitudinais neste
meio. Alem disso, para produzir ondas com esta enorme velocidade de propagacao (em um segundo, a luz
d
a 7 voltas ao redor da Terra), o eter tinha que ser extremamente rgido. O eter tinha que preencher todo
o Universo, pois a luz se propaga em todo lugar. Era logico consider o eter como estando em repouso em
relac
ao ao espaco absoluto de Newton, funcionando como uma especie de materializacao deste.
No entanto, uma tal subst
ancia onipresente deveria produzir outros efeitos mecanicos, alem dos fenomenos
luminosos. Como podem os planetas se moverem atraves do eter sem perder energia? O eter penetraria
atraves dos corpos m
oveis sem perturb
a-los ou seria arrastado por eles? O eter parecia ser uma subst
ancia
intangvel sem qualquer outro efeito alem de ser o lugar onde os fenomenos luminososo ocorriam (estes dois
u
ltimos par
agrafos quotado de [Springer]). Todo o conceito do eter soa bastante estranho para nos, ate que
lembramos que hoje em dia a teoria da materia escura, formada de misteriosas partculas que interagem
apenas gravitacionalmente, e bastante aceita.
Da mesma forma Maxwell viu suas ondas eletromagneticas como um fenomeno mecanico em um meio
propagador. Ap
os reconhecer que a luz era uma onda eletromagnetica, ele identificou este meio propagador
com o eter de Fresnel. Portanto ele acreditava que suas equacoes eram validas em um referencial fixado neste
meio.
De maneira semelhante, em um experimento imaginario (thought experiment) celebre, que Einstein afirmou em sua autobiografia ter tido na idade de 16 anos, ele imaginou o que aconteceria se viajassemos em um
raio de luz. Seguindo [Topper] (uma excelente historia cientfica sobre a descoberta de Einstein da Teoria
da Relatividade) vamos descrever o experimento imaginario de Einstein de uma forma diferente: imagine-se
medida que
estando na cabine do piloto de uma nave espacial, tendo atras da poltrona uma fonte de luz. A
a nave fosse acelerando, haveria uma hora em que ela ultrapassaria a velocidade da luz e entao a cabine
repentinamente ficaria `
as escuras. Desta forma seria possivel determinar se a nave estava em repouso ou n
ao.
Mas isso significaria abandonar o princpio de relatividade de Galileu, tambem fundamental na Mec
anica
Newtoniana, que afirmava que n
ao se podia distinguir quando se estava em repouso e quando se estava em
movimento retilneo uniforme. Para n
ao violar este princpio, a luz teria que se mover com uma velocidade
igual `
a soma da velocidade da nave e da velocidade da luz.
V
arios experimentos no final do seculo XIX falharam em descobrir qualquer variacao na velocidade da
luz devido ao movimento da fonte, notavelmente o experimento de Michelson-Morley (1881; veja [Springer],
Sec
ao 1.3, para uma descric
ao deste e de outros experimentos).

1.2

Referenciais Inerciais

1.4 Defini
c
ao. Um referencial e um sistema de coordenadas no espaco e no tempo. 
Desta forma, associamos R4 ao espaco e ao tempo. Em geral, denotaremos as coordenadas de um referencial
por (t, x, y, z). Outras notac
oes para as coordenadas serao introduzidas mais tarde.
Observe que com esta associac
ao, por enquanto o espaco e o tempo formam juntos apenas um espaco
vetorial de dimens
ao 4, mas n
ao h
a uma unidade entre eles. O espaco e medido de uma forma diferente da
forma em que o tempo e medido, as unidades de medida de espaco (metros) sao diferentes das unidades de
medida de tempo (segundos). Em outras palavras este espaco vetorial ainda nao tem uma metrica associada.
No que se segue, o termo partcula-teste se refere a uma partcula com massa suficientemente pequena
para n
ao ter influencias gravitacionais perceptveis dentro de uma precisao previamente fixada. Dizemos que
ela e livre se ela n
ao est
a sujeita a nenhuma forca.
1.5 Defini
c
ao. Dizemos que um referencial para uma certa regiao de espaco e de tempo e um referencial
inercial se naquela regi
ao de espaco e tempo, de acordo com uma precisao previamente especificada, toda
partcula-teste livre inicialmente em repouso com relacao `aquele referencial permanece em repouso, e toda
partcula-teste inicialmente em movimento com relacao `aquele referencial continua seu movimento ao longo
de uma reta (isto e, sem mudanca de velocidade em modulo ou direcao). 

Rodney Josue Biezuner

Referenciais inerciais s
ao eminentemente locais. Um elevador suficientemente pequeno em queda livre sob a
ac
ao de um campo gravitacional uniforme (por exemplo, o campo gravitacional de um planeta ou estrela, a
uma dist
ancia razo
avel da superfcie) durante um intervalo de tempo suficientemente pequeno e um referencial
inercial, dentro de uma precis
ao fixada, porque todas as partculas-teste caem com a mesma acelerac
ao.
` medida que o tempo passa, efeitos de mare passam a predominar e partculas-teste inicialmente em
A
repouso na direc
ao do campo gravitacional comecam a se distanciar (partculas-teste mais proximas da fonte
do campo gravitacional sofrem acelerac
ao maior), enquanto que partculas-teste inicialmente em repouso
situadas em uma direc
ao perpendicular `
a direcao do campo gravitacional comecam a se aproximar (j
a que
cada partcula cai seguindo a sua linha do campo gravitacional). Outro referencial inercial e uma regi
ao
do espaco suficientemente longe da fonte de um campo gravitacional, durante algum intervalo de tempo
razo
avel. Para uma discuss
ao mais detalhada sobre referenciais inerciais, veja as secoes 2.1-2.5 do livro
Spacetime Physics [Taylor-Wheeler], pp. 2536.
1.6 Defini
c
ao. Um ponto no espaco e no tempo R4 e chamado um evento.
Uma observa
c
ao feita por um observador em um referencial inercial e simplesmente o ato de atribuir
a qualquer evento as suas coordenadas (t, x, y, z), ou seja, as coordenadas espaciais x, y, z da localizac
ao
espacial da sua ocorrencia e o instante de tempo t lido no relogio situado neste ponto em que o evento
ocorre. 

1.3

Princpio da Relatividade

1.7 Axioma (Princpio da Relatividade de Einstein). Todas as leis da Fsica s


ao as mesmas em qualquer
referencial inercial.
O Princpio da Relatividade diz que uma vez que as leis da Fsica foram estabelecidas em um referencial
inercial, elas podem ser aplicadas sem modificacao em qualquer outro referencial inercial. A forma matem
atica das leis da Fsica e os valores numericos das constantes fsicas basicas que estas leis contem s
ao as
mesmas em qualquer referencial inercial. No que se refere `as leis da Fsica, todos os referenciais inerciais s
ao
equivalentes. Consequentemente,
1.8 Corol
ario. Nenhum teste das leis da Fsica produz uma maneira de distinguir um referencial inercial
de outro referencial inercial.
1.9 Corol
ario. As equac
oes de Maxwell no v
acuo s
ao as mesmas em qualquer referencial inercial.
Da o ttulo do artigo original em que Einstein (1905) propos a Teoria da Relatividade Especial: On the
Electrodynamics of Moving Bodies.
1.10 Corol
ario. A velocidade da luz no v
acuo e a mesma em qualquer referencial inercial.
Assim, quando se mede a velocidade da luz em um referencial inercial sempre se obtem o mesmo valor c, dado
no Corol
ario 1.3. No artigo original de Einstein, este resultado e enunciado como um segundo postulado.
O nome Teoria da Relatividade a rigor nao e apropriado. Na verdade o Princpio da Relatividade diz que
as leis da Fsica s
ao absolutas, no sentido de que nao dependem do referencial inercial em que sao testadas
(por exemplo, a velocidade da luz tem o mesmo valor absoluto, que nao e relativo ao referencial inercial em
que e medido). No entanto, uma consequencia do Princpio de Relatividade, como veremos, e a relatividade
do espaco e do tempo, isto e, medidas do deslocamento espacial (separacao entre dois pontos no espaco) e
do intervalo temporal (separac
ao entre dois momentos no tempo) dependem do referencial inercial em que
elas s
ao realizadas. Dada que esta consequencia nao intuitiva foi a maior surpresa da Teoria da Relatividade
quando ela foi formulada e a maior dificuldade em aceita-la, ela recebeu o nome deste fenomeno.
No que se segue, escolhemos unidades de espaco e tempo de tal forma que c = 1.

Rodney Josue Biezuner

1.4

Invari
ancia do Intervalo Espacotemporal

1.11 Defini
c
ao. O intervalo entre dois eventos quaisquer do espacotempo separados por incrementos
t, x, y, z e definida por
2
2
2
2
s2 = (x) + (y) + (z) (t)

Observe que podemos ter
s2 > 0
ou
s2 < 0
ou
s2 = 0.
1.12 Lema. s2 = 0 se e somente se os dois eventos ocorrem um ap
os o outro na velocidade da luz.
ao dois referenciais inerciais, ent
ao
Consequentemente, se O e O s
s2 = 0
se e somente se
s2 = 0.
Prova. Pois, pelo Princpio de Relatividade, a velocidade da luz e constante igual a 1 em qualquer referencial
inercial. 
Eventos que ocorrem na velocidade da luz sao, por exemplo, os eventos emissao de um foton e absorc
ao do
mesmo.
No que se segue, usaremos a seguinte notacao:
t = x0 ,
x = x1 ,
y = x2 ,
z = x3 .
1.13 Teorema (Invari
ancia do Intervalo). Sejam O e O dois referenciais inerciais. Ent
ao
s2 = s2 .
Prova. [Shutz]Assuma que a relac
ao entre as coordenadas de O e O e linear. Por simplicidade, assuma
tambem que suas origens coincidem, isto e, os eventos t = x = y = z = 0 e t = x = y = z = 0 sao os mesmos.
Da hip
otese de linearidade, segue que t, x, y, z sao funcoes lineares de t, x, y, z, logo s2 e
uma func
ao quadr
atica de t, x, y, z, digamos
s2 =

3
X

Mij xi xj .

(1.3)

i,j=0

Observe que em princpio poderamos ter M = M (v rel ), onde v rel e a velocidade relativa entre os
dois referenciais (independe dos eventos). Podemos assumir, sem perda de generalidade, que M = M
(trocando, se necess
ario, M por (M + M ) /2).
Para dois eventos em que
s2 = s2 = 0

Rodney Josue Biezuner

e t > 0 temos

h
i1/2
2
2
2
t = (x) + (y) + (z)
,

e
2

M00 (t) + 2

3
X

!
M0i x

t +

i=1

3
X

Mij xi

(1.4)


xj = 0.

(1.5)

i,j=1

Como s2 = s2 = 0 continua valendo se substituirmos todos os xi por xi , i = 1, 2, 3, obtemos


!
3
3
X
X


2
i
M00 (t) 2
M0i x t +
Mij xi xj = 0.
i=1

i,j=1

Subtraindo uma equac


ao da outra, segue que
3
X

!
M0i x

t = 0

i=1

Escolhendo
xi = t = 1,
xj = xk = 0,

se j, k 6= i,

conclumos que
M0i = 0

para i = 1, 2, 3

(1.6)

e, portanto,
2

M00 (t) +

3
X

Mij xi


xj = 0.

i,j=1

Da, com a mesma escolha acima, segue que


Mii = M00

para i = 1, 2, 3.

Se i 6= j, escolhendo agora
xi = 1, xj = 1, t =
k

x = 0,

2,

se k 6= i, j,

e
xi = 1, xj = 1, t =
xk = 0,

se k 6= i, j,

obtemos, respectivamente,
2M00 + 2M00 + 2Mij = 0,
2M00 + 2M00 2Mij = 0;
subtraindo estas duas equac
oes, conclumos que
Mij = 0
se i 6= j.

2,

Rodney Josue Biezuner

Em outras palavras,
Mij = M00 ij
e

para i, j = 1, 2, 3,

(1.7)

h
i2
2
2
2
s2 = M00 t (x) (y) (z)
= M00 (v) s2 .

(1.8)

(v) = M00 (v) .

(1.9)

Denote
Afirmamos que (v) 1.
Em primeiro lugar, mostraremos que e radial. Veja Secao 1.6.3.
Portanto,
(v) = (|v|) = (v) .

(1.10)

De fato, escolhendo dois eventos que s


ao simultaneos no referencial O, isto e, t = 0 (por exemplo, o
comprimento de uma barra) conclumos que

dist
ancia entre dois eventos simultaneos em O
= (v) (dist
ancia entre dois eventos simultaneos em O) .
Como esta dist
ancia n
ao pode depender da direcao de v, conclumos que (v) = (|v|).
Agora considere tres referenciais O, O e O, sendo que O move-se com velocidade v com relacao a O,
enquanto que O move-se com velocidade v com relacao a O, ou seja, os referenciais O e O sao identicos.
Segue que
s2 = (v) s2 ,
2

s = (v) s2 ,
donde

s = (v) s2 .
Mas os referenciais O e O s
ao identicos, logo obtemos de fato que
s2 = (v) s2 ,
donde
1.


1.5

Relatividade da Simultaneidade

A maior parte dos paradoxos em Relatividade se originam de mal-entendidos com relacao ao conceito de
simultaneidade. A simultaneidade de dois eventos depende do referencial inercial em que eles sao medidos
(observados). Eventos que s
ao simult
aneos em um referencial inercial, nao serao simultaneos um outra
referencial inercial que se desloca com uma certa velocidade v que nao e perpendicular ao vetor que conecta
as duas posic
oes espaciais dos eventos, como veremos.
A relatividade da simultaneidade e ilustrada pelo paradoxo do trem de Einstein. Relampagos atingem
ambas as extremidades de um trem que se move, deixando marcas enegrecidas no trem e no trilho. O brilho
do impacto do rel
ampago e emitido em todas as direcoes.
Um observador que se situa no ch
ao fora do trem, no meio entre as duas marcas, conclui que os impactos
foram simult
aneos, j
a que os brilhos o atingem ao mesmo tempo.
Um observador que se situa no meio do trem conclui que os impactos nao foram simultaneos, ja que a
velocidade da luz e a mesma em todos os referenciais e o brilho do impacto na frente do trem o atinge antes
do brilho do impacto na parte traseira do trem.

Rodney Josue Biezuner

1.6
1.6.1

10

Relatividade de Intervalos Espaciais e de Intervalos Temporais


Contrac
ao do Espaco

No paradoxo do trem, o observador no ch


ao O mede o comprimento do trem como sendo o valor da medida
entre as duas marcas enegrecidas no trilho, ja que elas ocorreram simultaneamente. Ja o observador dentro
do trem O0 n
ao concorda com esta medicao: dado que para ele a marca frontal foi feita antes da marca
traseira, e o trem se moveu enquanto isso, para ele a medicao feita pelo observador O deu uma medida
menor para o trem.
f
E
acil entender isso usando a invari
ancia do intervalo. Os dois eventos sao: evento A, impacto do
rel
ampago com a parte dianteira do trem, e evento B, impacto do relampago com a parte traseira do trem.
Digamos que estes dois eventos tem coordenadas (xA , tA ) e (xB , tB ) no referencial inercial do observador no
ch
ao O, e coordenadas (x0A , t0A ) e (x0B , t0B ) no referencial inercial do observador dentro do trem O0 . Sejam
x = xB xA ,
t = tB tA ,
e
0

x = x0B x0A ,
0

t = t0B t0A ,
as separac
oes espaciais e temporais destes dois eventos em cada um dos referenciais inerciais. Pela invari
ancia
do intervalo espacotemporal,
2
2
2
2
(x0 ) (t0 ) = (x) (t) .

Rodney Josue Biezuner

11

Mas
t = 0,
j
a que os eventos s
ao simult
aneos no referencial inercial O, consequentemente
2

(x0 ) (t0 ) = (x)


e
x0 > x.

(1.11)

Assim, o comprimento de uma barra medido em um referencial em que ela est


a em repouso e sempre maior
que o comprimento dela medido em um referencial em que ela se move. Este efeito e a chamada contra
c
ao
de Lorenz. O comprimento da barra medido em um referencial em que ela esta em repouso e chamado o seu
comprimento pr
oprio. Portanto, o comprimento proprio e sempre maior que o comprimento medido em
um referencial em que a barra est
a se movendo. Na Secao 1.9.3 obteremos uma expressao que nos permitir
a
calcular exatamente o quanto o comprimento e diminudo no referencial que se move; o fator de contrac
ao
depender
a exclusivamente da velocidade deste.

1.6.2

Dilatac
ao do Tempo

Imagine uma nave espacial viajando em velocidade uniforme ao sistema estelar de Canopus, situado 99
anos-luz de dist
ancia da Terra. Suponha que em relacao ao referencial inercial Terra a nave espacial viaja `
a
velocidade de 99/101 vezes a velocidade da luz, ou seja, 99 anos-luz de distancia em 101 anos de tempo. Em
outras palavras, no referencial Terra, a nave espacial leva 101 anos para chegar ate Canopus. As coordenadas
dos eventos A, sada da nave espacial da Terra, e B, chegada da nave a Canopus (ignorando o tempo gasto
para acelerar a nave ate a velocidade (99/101) c) no referencial inercial Terra sao
(xA , tA ) = (0, 0) ,
(xB , tB ) = (99, 101) .
As coordenadas destes eventos no referencial inercial Nave sao
(x0A , t0A ) = (0, 0) ,
(x0B , t0B ) = (0, T ) ,
pois no referencial inercial Nave os dois eventos, sada da Terra e chegada em Canopus, ocorrem na mesma
posic
ao, isto e, na pr
opria nave. Para calcular o tempo T decorrido entre os dois eventos de acordo com o
referencial Nave, calculamos as separac
oes espaciais e temporais nos dois referenciais inerciais e usamos a
invari
ancia do intervalo espacotemporal. Temos
x = xB xA = 99,
t = tB tA = 101,
e
0

x = x0B x0A = 0,
0

t = t0B t0A = T.
Como

(t0 ) (x0 ) = (t) (x) ,


e
x0 = 0

Rodney Josue Biezuner

12

segue que
2

(t0 ) (x0 ) = (t) (x) ,


isto e,
2

(t0 ) = (t) (x) ,


e consequentemente,
t0 6 t.

(1.12)

No caso, mais especificamente temos


T 2 = 1012 992
= 10.201 9.801
= 400
e portanto
T = 20.
Enquanto na Terra se passaram 101 anos, dentro da nave espacial, decorreram apenas 20 anos. Assim, o
intervalo de tempo entre dois eventos medido em um referencial em que eles ocorrem na mesma posic
ao
e sempre menor que o intervalo de tempo entre os dois eventos medido em um referencial que se move
em relac
ao ao primeiro. Este efeito e a chamada dilata
c
ao do tempo. O intervalo de tempo entre dois
eventos medido em um referencial em que eles ocorrem na mesma posicao e chamado o seu tempo pr
oprio.
Portanto, o tempo pr
oprio e sempre menor que o tempo medido em um referencial que esta se movendo em
relac
ao a este referencial. Na Sec
ao 1.9.1 obteremos uma expressao que nos permitira calcular exatamente
o quanto o tempo e dilatado no referencial que se move; o fator de dilatacao dependera exclusivamente da
velocidade deste.
Observe que quanto mais pr
oxima da velocidade da luz e a velocidade da nave, menor o tempo decorrido
na nave. No limite, se a nave se movesse a` velocidade da luz (o que e impossvel para partculas materiais,
como veremos no final deste captulo), o intervalo de tempo seria zero, pois neste caso teramos
x = t = 99,
de modo que
2

(t0 ) = (t) (x) = 0.

1.6.3

Invari
ancia das Dimens
oes Transversais

As dimens
oes de objetos que se movem em direc
oes transversais `
a direc
ao de movimento relativo de dois
referenciais inerciais tem a mesma medida nos dois referenciais.
Isso decorre de um argumento de simetria: nao ha nenhuma direcao privilegiada segundo a qual pode
haver uma contrac
ao ou dilatac
ao (fisicamente, dizemos que o espaco e isotr
opico, isto e, e o mesmo em todas
as direc
oes). Imagine dois cilindros ocos de mesmo raio e comprimento viajando em velocidade constante, um
na direc
ao do outro, ao longo do seu eixo comum de simetria. Imagine que um dos cilindros esta em repouso
(cilindro A) em relac
ao a um certo referencial inercial. Se o outro cilindro (cilindro B) for medido como
tendo o seu raio contraindo [dilatando] em relacao a este referencial, entao ele passara por dentro [por fora]
do cilindro A. Por outro lado, em relac
ao a um segundo referencial em repouso ao cilindro B exatamente o
contr
ario se verificar
a: o cilindro A passara por dentro [por fora] do cilindro B. Isto e intoleravel do ponto
de vista da l
ogica. Uma objec
ao mais fundamental e esta escolha arbitraria do eixo de contracao [dilatac
ao].
Se os dois cilindros est
ao viajando paralelamente, qual seria o eixo ao longo do qual se verificaria a contrac
ao
[dilatac
ao] em relac
ao a um referencial inercial externo aos cilindros, em relacao ao qual eles se movem? Os
cilindros de contrairiam [dilatariam] cada um em relacao ao seu eixo de movimento ou em relacao `
a reta
equidistante deles? Para o observador inercial externo, qualquer eixo paralelo ao movimento dos cilindros e
equivalente. Veja [Taylor-Wheeler], Sec
ao 3.6, pags. 6567, para uma discussao detalhada.

Rodney Josue Biezuner

13

Da mesma forma, dois eventos com separac


oes espaciais transversais `
a direc
ao de movimento relativo de
dois referenciais inerciais s
ao simult
aneos em um dos referenciais se e somente se eles s
ao simult
aneos no
outro referencial.
Isso decorre tambem de um argumento de simetria. Se, em um cilindro viajando com velocidade uniforme
em relac
ao a um referencial inercial externo, dois eventos ocorrem simultaneamente na periferia do cilindro
de acordo com o referencial inercial do pr
oprio cilindro, como decidir qual evento ocorreria antes ou depois
no referencial inercial externo? Tambem no referencial externo os dois eventos devem ser simultaneos.

1.7
1.7.1

O Espa
cotempo de Minkowski
Produto Interno e Formas Quadr
aticas

1.14 Defini
c
ao. Seja V um espaco vetorial de dimensao finita.
Uma forma bilinear em V e uma aplicacao f : V V R que e linear em cada variavel, isto e,
f (v + w, u) = f (v, u) + f (w, u) ,
f (u, v + w) = f (u, v) + f (u, w) ,
para todos u, v, w V e para todos , R. Uma forma bilinear f e sim
etrica se
f (v, w) = f (w, v)
para todos v, w V. Uma forma bilinear B e n
ao-degenerada se
f (v, u) = 0
para todo u V implicar v = 0 e se
f (u, w) = 0
para todo u V implicar w = 0.
Um produto interno (ou m
etrica) em V e uma forma bilinear simetrica nao-degenerada, que geralmente
denotaremos por g.
Um produto interno e positivo definido se
g (v, v) > 0,
para todo v V e negativo definido se
g (v, v) < 0,
para todo v V.
Dizemos que dois vetores v, w s
ao ortogonais se g (v, w) = 0. 
1.15 Exemplo. Em Rn , para 0 6 k 6 n e 1 , . . . , n R, i > 0 para todo i, definimos o produto interno
g (v, w) =

k
X
i=1


n

n
X

i v i wi

i v i w i ,

i=k+1


n

onde v = v 1 , . . . , v e w = w1 , . . . , w sao as coordenadas de v e w em relacao `a base canonica.


De fato, esta e claramente uma forma bilinear simetrica. Se
g (v, w) = 0
para todo w Rn , isso vale em particular para os vetores da base canonica e1 , . . . , en . Mas g (v, ei ) = v i ,
logo v i = 0 para todo i e portanto ela e n
ao-degenerada. Se k = n este produto interno e positivo definido,

Rodney Josue Biezuner

14

se k = 0 este produto interno e negativo definido e se 0 < k < n este produto interno nao e nem positivo
definido nem negativo definido, pois vetores da forma

v = v 1 , . . . , v k , 0, . . . , 0
satisfazem g (v, v) > 0, enquanto que vetores v da forma
v = 0, . . . , 0, v k+1 , . . . , v n

satisfazem g (v, v) < 0.


Em geral, fixada uma base em um espaco vetorial V, se os seus vetores sao expressos em coordenadas em
relac
ao a esta base, a f
ormula acima define um produto interno em V. 
1.16 Defini
c
ao. Seja V um espaco vetorial de dimensao finita e f uma forma bilinear simetrica em V.
A forma quadr
atica associada a f (ou induzida por f ) e a aplicacao q : V R definida por
q (v) = f (v, v) .
Dizemos que v e um vetor unit
ario se q (v) = 1.
Dado um espaco vetorial com produto interno V, dizemos que uma base B = {e1 , . . . , en } para V e
ortonormal se os seus vetores s
ao dois a dois ortogonais e unitarios. 
1.17 Exemplo. A forma quadr
atica associada ao produto interno definido no Exemplo 1.15 e
q (v) =

k
X

i v i

2

n
X

i=1

i v i

2

i=k+1

A base can
onica {e1 , . . . , en } de Rn , definida por
eji = ij ,
e uma base ortonormal, com

q (ei ) =

1
1

se i = 1, . . . , k,
se i = k + 1, . . . , n.


Observe que mesmo quando uma forma quadratica e induzida por uma forma bilinear simetrica n
aodegenerada (isto e, um produto interno), pode ocorrer que
q (v) = 0
para algum vetor v 6= 0. Por exemplo, uma forma quadratica do tipo do Exemplo 1.17 com
i = 1

para todo i,

isto e,
q (v) =

k
X
i=1

vi

2

n
X

vi

2

i=k+1

satisfaz
q (ei + ej ) = 0
para todos 1 6 i 6 k e k + 1 6 j 6 n.
Note tambem que
q (v) = q (v) ,
para todo v V, pois
q (v) = f (v, v) = f (v, v) = q (v) .
De modo geral,
q (v) = 2 q (v) .

Rodney Josue Biezuner

15

1.18 Exemplo.
1.19 Proposi
c
ao (Identidade Polar). Uma forma bilinear simetrica e completamente determinada por
sua forma quadr
atica associada. Mais especificamente, se q e a forma quadr
atica associada `
a forma bilinear
simetrica f , ent
ao
1
f (v, w) = [q (v + w) q (v w)] .
4
Em particular, toda forma bilinear simetrica induz uma u
nica forma quadr
atica.
Prova. Pois,
q (v + w) q (v w) = f (v + w, v + w) f (v w, v w)
= f (v, v) + 2f (v, w) + f (w, w)
[f (v, v) 2f (v, w) + f (w, w)]
= 4f (v, w) .

1.20 Teorema (Teorema de Sylvester). Seja V um espaco vetorial de dimens
ao finita com produto
interno g e q a forma quadr
atica associada a g. Ent
ao V possui uma base ortonormal.
Alem disso, o n
umero de vetores ei de qualquer base ortonormal B = {e1 , . . . , en } para V tais que
q (ei ) = 1
e o mesmo.
Prova. Para mostrar a existencia de uma base ortonormal faremos inducao sobre a dimensao de V. Seja
n = dim V e verifiquemos primeiro o caso n = 1. Afirmamos que existe u V tal que
q (u) 6= 0.
De fato, como g e n
ao-degenerada, existem vetores v, w V tais que
g (v, w) 6= 0.
Se q (v) 6= 0 ou q (w) 6= 0, a afirmac
ao est
a provada. Caso contrario, se q (v) = q (w) = 0, tomamos u = v +w,
pois
q (v + w) = g (v + w, v + w)
= g (v, v) + 2g (v, w) + g (w, w)
= q (u) + 2g (v, w) + q (w)
= 2g (v, w)
6= 0.
Basta ent
ao tomar
e1 =

u
1/2

q (u)

Assuma agora n > 1. Como no passo anterior, seja u V tal que


q (u) 6= 0.
Seja U = hui o subespaco gerado por u e
U = {v V : g (u, v) = 0}

Rodney Josue Biezuner

16

o subespaco ortogonal a u. Afirmamos que


V = U U .
De fato, os subespacos U e U s
ao linearmente independentes, pois um vetor tpico de U e da forma u
para algum escalar R e se u U tambem entao
g (u, u) = 0
por definic
ao, mas
g (u, u) = g (u, u) = q (u)
e como q (u) 6= 0, segue que = 0. Alem disso, V = U + U : dado v V, definindo
w=v

g (u, v)
u,
g (u, u)

segue que w U , pois



g (u, v)
u
g (u, w) = g u, v
g (u, u)
g (u, v)
= g (u, v)
g (u, u)
g (u, u)
= 0;


portanto
v=

g (u, v)
u+w
g (u, v)

com o primeiro vetor da soma em U e o segundo em U . Agora, pela hipotese de inducao existe uma base
ortonormal
B0 = {e1 , . . . , en1 }
para U . Tomando en = u, obtemos uma base ortonormal
B = {e1 , . . . , en1 , en }
para V.
Para provar a u
ltima parte do teorema (seguindo [Lang]), sejam
B = {e1 , . . . , er , er+1 , . . . , en } ,
B0 = {f1 , . . . , fs , fs+1 , . . . , fn }
duas bases ortonormais para V ordenadas de tal forma que

1
se i = 1, . . . , r,
q (ei ) =
1
se i = r + 1, . . . , n,

1
se i = 1, . . . , s,
q (fi ) =
1
se i = s + 1, . . . , n.
Afirmamos que
e1 , . . . , er , fs+1 , . . . , fn
s
ao linearmente independentes. De fato, se
1 e1 + . . . + r er + s+1 fs+1 + . . . + n fn = 0,

Rodney Josue Biezuner

17

escrevemos
1 e1 + . . . + r er = s+1 fs+1 . . . n fn ,
e tomamos o produto interno desta equac
ao consigo mesma, obtendo
2
12 . . . r2 = s+1
+ . . . + n2 ,

j
a que g (ei , ei ) = q (ei ) = 1 para ii = 1, . . . , r e g (fi , fi ) = q (fi ) = 1 para i = s + 1, . . . , n. Como o lado
esquerdo e n
ao positivo e o lado direito e nao negativo, segue que ambos devem ser nulos e portanto
1 = . . . = r = s+1 = . . . = n = 0,
provando a afirmac
ao. Como dim V = n, temos que
r + (n s) 6 n,
donde
r 6 s.
Por simetria do argumento, segue tambem que s 6 r e portanto r = s. 
Segue que dado um espaco vetorial V com produto interno g e forma quadratica associada q, V possui uma
base ortonormal B = {e1 , . . . , en } tal que em relacao a esta base o produto interno e a forma quadratica se
escrevem na forma
g (v, w) =

k
X

vw

i=1

q (v) =

k
X
i=1

n
X

v i wi ,

i=k+1


i 2

n
X

vi

2

i=k+1

para todos
v = v i ei , w = wi ei V.

E
obvio que a mesma conclus
ao do teorema vale para os vetores ej tais que q (ej ) = +1. A razao do resultado
ser enunciado em termos da contagem de vetores unitarios negativos decorre da seguinte definicao:
1.21 Defini
c
ao. Dado um espaco vetorial V com produto interno g e a forma quadratica associada q, o
ndice de g (e de q) e o n
umero de vetores de uma base ortonormal de V tais que q (ei ) = 1. 

1.7.2

M
etrica de Lorentz e Espacotempo de Minkowski

1.22 Defini
c
ao. Uma m
etrica de Lorentz em um espaco vetorial de dimensao 4 e um produto interno
de ndice 1.
Um espa
cotempo de Minkowski e um espaco vetorial M de dimensao 4 munido de uma metrica de
Lorentz.
Os pontos de M ser
ao chamados eventos. 
Em particular, segue da observac
ao logo apos o Teorema 1.20 que todo espacotempo de Minkowski M possui
uma base B = {e0 , e1 , e2 , e3 } com a propriedade de que seu produto interno g e sua forma quadr
atica
associada q em relac
ao a esta base s
ao dados por
g (v, w) = v 0 w0 + v 1 w1 + v 2 w2 + v 3 w3 ,
2
2
2
2
q (v) = v 0 + v 1 + v 2 + v 3

Rodney Josue Biezuner

18

para todos v = v i ei , w = wi ei M. Usando notacao

1
0
=
0
0

matricial, se

0 0 0
1 0 0
,
0 1 0
0 0 1

a metrica de Lorentz pode ser escrita na forma


g (v, w) = ij v i wj .
1.23 Defini
c
ao. Vetores v M tais que
q (v) = 0

s
ao chamados nulos ou do tipo luz,

q (v) > 0

s
ao chamados do tipo espa
co,

q (v) < 0

s
ao chamados do tipo tempo.


Segue do Princpio da Relatividade (Teorema 1.13 da Invariancia do Intervalo) que o espacotempo fsico
na Teoria da Relatividade Especial e um espacotempo de Minkowski, com o intervalo entre dois eventos
v, w sendo exatamente q (v w). Mais tarde, quando estudarmos a Teoria da Relatividade Geral, que isso e
verdade apenas localmente.

1.7.3

Cones de Luz

Veja tambem Timecones do Livro do ONeill, p. 143.

1.8

Transforma
c
oes de Lorentz

1.24 Defini
c
ao. Seja V um espaco vetorial de dimensao finita. Dizemos que um operador linear L : V V
preserva a forma bilinear f se
f (Lv, Lw) = f (v, w)
para todos v, w V.
Se g e um produto interno, um operador linear L que preserva g e chamado um operador semiortogonal
(ortogonal, se g e positivo definido ou negativo definido) de V. 
1.25 Proposi
c
ao. Se f e uma forma bilinear n
ao degenerada, ent
ao o conjunto G dos operadores lineares
em V que preservam f e um grupo sob a operac
ao de composic
ao de operadores.
Prova. Claramente, o operador identidade esta em G. Se L, M G, entao
f ((L M ) v, (L M ) w) = f (L (M v) , L (M w))
= f (M v, M w)
= f (v, w) ,
logo o produto L M G. Finalmente, se L G, usaremos a nao-denegeracidade de f para mostrar que L
e invertvel e que L1 G. Se v ker L, entao para todo w V temos
f (v, w) = f (Lv, Lw) = f (0, Lw) = 0,
e a n
ao-degeneracidade de f implica que v = 0, e portanto L e invertvel. Da,



f (v, w) = f L L1 v , L L1 w = f L1 v, L1 w ,
logo L1 G. 
G e chamado o grupo semiortogonal.

Rodney Josue Biezuner

19

1.26 Defini
c
ao. Seja V um espaco vetorial de dimensao finita com produto interno g. Uma aplicac
ao
F : V V tal que
g (F v, F w) = g (v, w)
para todos v, w V e chamada uma isometria de V. 
1.27 Proposi
c
ao. O conjunto Isom(V) das isometrias de um espaco vetorial com produto interno V e um
grupo sob a operac
ao de composic
ao de operadores.
Evidentemente, todo operador semiortogonal e uma isometria, logo o grupo semiortogonal e um subgrupo
do grupo de isometrias.
1.28 Defini
c
ao. O grupo das isometrias do espacotempo de Minkowski Isom(M) e chamado o grupo de
Poincar
e.
Um operador semiortogonal do espacotempo de Minkowski e chamado uma transforma
c
ao de Lorentz.
O grupo das transformac
oes de Lorentz e chamado o grupo de Lorentz. 
Assim, transformac
oes de Lorentz s
ao operadores lineares no espacotempo de Minkowski que preservam a
metrica de Lorentz, isto e, s
ao os operadores semiortogonais do espacotempo de Minkowski. Consequentemente, o grupo de Lorentz e um subgrupo do grupo de Poincare.
Pode-se provar que o grupo de Poincare e um grupo a 10 parametros. Um subgrupo particularmente fisicamente interessante e o subgrupo de Poincar
e ort
ocrono pr
oprio, obtido quando se exclui as reflex
oes
espaciais e temporais (estas s
ao chamadas revers
oes temporais; elas referem a transformacoes de coordenadas
entre dois referenciais inerciais em que o relogio de um esta andando na direcao contraria `a do relogio do
outro), que ainda e um grupo a 10 par
ametros gerado pelas 4 translacoes (nas direcoes t, x, y, z) e por 6
transformacoes de Lorentz, 3 das quais s
ao as rotacoes espaciais da geometria euclideana em relacao aos eixos
x, y, z e 3 das quais s
ao os boosts nas direcoes x, y, z, a serem explicados na proxima secao. Para maiores
detalhes sobre o subgrupo de Poincare ort
ocrono proprio, veja [Rowe], Secao 1.9, pp. 3134 e [Naber], Sec
ao
1.3, pp. 1542. Para maiores detalhes sobre o grupo de Poincare geral, veja [Tsamparlis], Secao 1.6, pp.
1826, para uma deduc
ao com insight geometrico, e Secao 1.7, pp. 2640, para uma deducao puramente
algebrica.

1.9

Transforma
c
ao de Lorentz do tipo Boost

Nesta sec
ao vamos obter a transformac
ao de Lorentz entre dois sistemas de coordenadas para o espacotempo
de Minkowski cujas origens coincidem, e tais que, espacialmente, eles tem eixos paralelos e um se move em
relac
ao ao outro ao longo de um dos eixos x, y ou z. Este tipo de transformacao de Lorentz e chamada um
boost (impulso) na direc
ao x, y ou z.
Vamos obter o boost na direc
ao x. Considere dois referenciais inerciais em movimento relativo. Digamos
que temos um referencial inercial O, cujas coordenadas denotaremos por (t, x, y, z) , e um referencial inercial
O0 , cujas coordenadas denotaremos por (t0 , x0 , y 0 , z 0 ), que se move com velocidade v, |v| < 1, na direc
ao
positiva do eixo x do referencial inercial O, com os eixos y, z, y 0 , z 0 transversais `a direcao do movimento
relativo e a origem dos dois referenciais coincidindo no tempo t = t0 = 0. Portanto,
y = y0 ,
z = z0.

1.9.1

Medida Quantitativa da Dilatac


ao do Tempo

Para fixar ideias, comecemos com dois eventos A e B, ambos consistindo na emissao de uma fasca, o
primeiro evento ocorrendo na origem comum dos dois sistemas de coordenadas, o segundo ocorrendo algum

Rodney Josue Biezuner

20

tempo depois na origem espacial do sistema O0 . As coordenadas destes eventos (ignorando as coordenadas
y, z, y 0 , z 0 ) nestes dois referenciais inerciais sao portanto
(xA , tA ) = (0, 0) ,
(xB , tB ) = (x, t) .
e
(x0A , t0A ) = (0, 0) ,
(x0B , t0B ) = (0, t0 ) .
de modo que
x = x,
t = t,
x0 = 0,
t0 = t0 .
Temos
x = vt
e pela invari
ancia do intervalo espacotemporal

2
(t0 ) = t2 x2 = 1 v 2 t2 ,
de modo que
t=

1
t0 .
1 v2

1.29 Defini
c
ao. O n
umero
=

1
1 v2

(1.13)

e chamado o fator de dilata


c
ao do tempo. 
Observe que t0 e o tempo pr
oprio no referencial O0 e como
> 1,
isso mostra o que j
a vimos antes, que o tempo proprio e sempre menor que o tempo medido em um outro
referencial que est
a se movendo em relac
ao ao referencial onde o tempo proprio e medido. Agora temos uma
express
ao que nos d
a exatamente o quanto o tempo e dilatado.
Conclumos que para dois eventos cujas coordenadas x0 = 0 a transformacao de Lorentz e
t = t0 ,

(1.14)

(1.15)

x = vt .
Observe que
p

2 1
,

pois a velocidade relativa entre os referenciais pode ser positiva ou negativa, dependendo da direcao em que
um se move em relac
ao ao outro, portanto opta-se por escrever vrel explicitamente, e nao em func
ao do
par
ametro . Se v > 0 (isto e, o referencial O0 se move para a direita do referencial O), entao
v=

t = t0 ,
p
x = 2 1t0 ,

Rodney Josue Biezuner

21

enquanto que se v < 0 (isto e, o referencial O0 se move para a esquerda do referencial O), entao
t = t0 ,
p
x = 2 1t0 ,

1.9.2

Matriz do Boost

No caso geral,


t
a11
x a21


y = 0
z
0

a12
a22
0
0

0
t
0 0
x0
0 0

1 0 y0
z0
0 1

ou seja,
t = a11 t0 + a12 x0 ,
x = a21 t0 + a22 x0 .
Fazendo x0 = 0, camos no caso anterior e obtemos
a11 = ,
a21 = v.
Portanto, simplificando a notac
ao,
t = t0 + ax0 ,
x = vt0 + bx0 .
Para obter as constantes a e b usamos novamente a invariancia do intervalo espacotemporal. Escolhendo
agora eventos mais gerais
(xA , tA ) = (0, 0) ,
(xB , tB ) = (x, t) .
e
(x0A , t0A ) = (0, 0) ,
(x0B , t0B ) = (x0 , t0 ) .
de modo que
x = x,
t = t,
x0 = x0 ,
t0 = t0 ,
segue que
2

(t0 ) (x0 ) = t2 x2 ,
Substituindo, temos
2

(t0 ) (x0 ) = (t0 + ax0 ) (vt0 + bx0 )



2
= 2 v 2 2 (t0 ) + (2a 2vb) t0 x0

2
+ a2 b2 (x0 )

2
2
= (t0 ) + 2 (a vb) t0 x0 + a2 b2 (x0 )

Rodney Josue Biezuner

22

Como t0 , x0 s
ao arbitr
arios, obtemos
a vb = 0,
a2 b2 = 1.
Da primeira equac
ao segue que
a = vb,
que substitumos na segunda equac
ao para obter

v 2 1 b2 = 1
donde
b=

1
= .
1 v2

Logo,
a = v.
Assim,
t = t0 + vx0 ,

(1.16)

(1.17)

x = vt + x .
e

t
x v

y = 0
0
z

0
0

0
t
0 0
x0
0 0

1 0 y0
0 1
z0

(1.18)

Observe que a matriz da transformac


ao de Lorentz boost e simetrica. Em termos apenas de v podemos
escrever
t0 + vx0
t=
,
1 v2
x0 + vt0
x=
.
1 v2
A inversa da transformac
ao de Lorentz e dada por
0
t

v
x0 v

0 =
y 0
0
z0
0
0

0 0
t
x
0 0

1 0 y
0 1
z

(1.19)
(1.20)

(1.21)

Ela e facilmente obtida uma vez que notamos que o referencial O se move com velocidade v na direc
ao
positiva do eixo x do referencial inercial O0 , logo basta substituir v por v em (1.18).
As matrizes das transformac
oes de Lorentz boosts nas direcoes y e z sao, respectivamente,

0 v 0
0 0 v
0 1 0 0
0 1 0 0

v 0 0 e 0 0 1 0 .
0 0 0 1
v 0 0
A composta de boosts em direc
oes diferentes nao e um boost e portanto o conjuntos dos boosts nao forma um
subgrupo do grupo de Poincare (e uma rotacao, chamada rota
c
ao de Thomas ou precess
ao de Thomas;
veja [Rowe], Sec
ao 1.9.3, pp. 3334 e [Rahaman], Secao 3.4, p. 31). Este fato so foi descoberto nos anos
claro que se considerarmos apenas boosts em uma u
1920s e diz-se que surpreendeu Einstein. E
nica direc
ao
eles formam um subgrupo a 1 par
ametro, isomorfo a R, como veremos na Secao 1.9.4.

Rodney Josue Biezuner

1.9.3

23

Medida Quantitativa da Contrac


ao do Espaco

Usando o fator de dilatac


ao do tempo podemos tambem encontrar o fator de contracao do espaco, isto e, a
contrac
ao medida do comprimento de um objeto ao longo de sua direcao de movimento quando o observador
referencial determina a dist
ancia entre as duas extremidades ao mesmo tempo.
Imagine que o referencial O0 e uma nave espacial viajando da Terra para um sistema estelar a uma
dist
ancia L quando medida no referencial O, que e exatamente a Terra. No referencial Terra O, a viagem
leva o tempo
L
t= ,
v
enquanto que no referencial Nave Espacial O0 , o tempo proprio e

L
1 v2
t
0
=
L.
t = =

v
v
Qual e a medida da dist
ancia L0 entre a Terra e o sistema estelar de acordo com o referencial inercial Nave
Espacial O0 ? Ela e dada por
L0 = vt0 ,
portanto
L0 =

1.9.4

1 v 2 L.

(1.22)

Lei de Adic
ao de Velocidades

Considere tres referenciais inerciais em movimento relativo. Temos como antes o referencial inercial O (t, x, y, z)
e o referencial inercial O0 (t0 , x0 , y 0 , z 0 ) que se move com velocidade v 0 na direcao positiva do eixo x do referencial inercial O. Temos agora um terceiro referencial inercial O00 (t00 , x00 , y 00 , z 00 ) que se move com velocidade
v 00 na direc
ao positiva do eixo x0 do referencial inercial O0 . Assumimos os eixos y, z, y 0 , z 0 , y 00 , z 00 transversais
a direc
`
ao do movimento relativo e a origem dos tres referenciais coincidindo no tempo t = t0 = t00 = 0. Qual
e a velocidade v do referencial inercial O00 (t00 , x00 , y 00 , z 00 ) em relacao ao referencial inercial O?
Para obter a resposta, basta usar a propriedade de grupo das transformacoes de Lorentz. A transformac
ao de Lorentz das coordenadas do referencial O00 para as coordenadas do referencial O e o produto
da transformac
ao de Lorentz das coordenadas do referencial O00 para as coordenadas do referencial O0 pela
transformacao de Lorentz das coordenadas do referencial O0 para as coordenadas do referencial O. Assim,
temos ao mesmo tempo


00
t
v 0 0
t
x v 0 0 x00

=
00
y 0
0 1 0 y
z
0
0 0 1
z 00
e

00
t

v0 0 0 0
00
v 00 00 0 0
t
x v 0 0 0 0 0 v 00 00
00
00
0 0

x00 ,
y 0
0
1 0 0
0
1 0 y
z
0
0
0 1
0
0
0 1
z 00

Rodney Josue Biezuner

24

isto e,

0
0

0
0

00
0
00 00
0
v
0 0
0
1

v0 0 0
0 0
0
0

0 0
0 0
= v
0
1
1 0 0
0
0
0
0 1
0 00
0 00
(1 + v v )
0 00 (v 0 + v 00 )
=

0
0

v 00 00
00
0
0

0 00 (v 0 + v 00 ) 0
0 00 (1 + v 0 v 00 ) 0
0
1
0
0

0 0
0 0

1 0
0 1

0
0
.
0
1

Portanto,
= 0 00 (1 + v 0 v 00 ) ,
v = 0 00 (v 0 + v 00 ) .
Logo, a lei de adic
ao de velocidades na teoria da relatividade e
v=

v 0 + v 00
,
1 + v 0 v 00

o que e bastante diferente da lei de adic


ao de velocidades na mecanica Newtoniana (la, v = v 0 + v 00 ). Em
particular, se os referenciais viajam com velocidade menor ou igual `a velocidade da luz, um em relac
ao ao
outro, a velocidade do terceiro referencial em relacao ao primeiro tambem e menor que a velocidade da luz,
como provamos a seguir.
1.30 Proposi
c
ao. Se
|v 0 | , |v 00 | 6 1
e
v=

v 0 + v 00
,
1 + v 0 v 00

ent
ao
|v| 6 1.
Prova:
Demonstra
c
ao 1 (mais elementar). Se |a| < 1, a funcao f : R R definida por
f (x) =

x+a
1 + ax

e crescente, pois
f 0 (x) =

1 a2
2

(1 + ax)

> 0.

Como f (1) = 1 e f (1) = 1, segue que f ((1, 1)) = (1, 1), donde o resultado.
Demonstra
c
ao 2 (menos elementar, mas oferece um importante insight). A funcao tangente
hiperb
olica, definida da maneira esperada por
tanh x =

senh x
,
cosh x

e uma func
ao estritamente crescente, pois sua derivada e
d
cosh x cosh x senh x senh x
cosh2 x senh2 x
tanh x =
=
dx
cosh2 x
cosh2 x
1
=
> 0,
cosh2 x

(1.23)

Rodney Josue Biezuner

25

mpar (pois e o produto de uma func


ao par e uma funcao mpar) e satisfaz
|tanh x| < 1

para todo x R

(1.24)

pois
|senh x| < cosh x
para todo x R, j
a que sempre temos
|ex ex |
ex + ex
<
2
2
e
tanh (R) = (1, 1) ,

(1.25)

porque, pela regra de LH


opital,
ex ex
senh x
= lim x
x+ e + ex
x+ cosh x
2x
2e2x
e 1
= lim
= 1.
= lim 2x
x+ e
+ 1 x+ 2e2x

lim tanh x = lim

x+

Vale a identidade
tanh (a + b) =

tanh a + tanh b
.
1 + tanh a tanh b

De fato, temos
senh (a + b) = senh a cosh b + cosh a senh b,
cosh (a + b) = cosh a cosh b + senh a senh b.
Isso e facilmente verificado:
ea ea eb + eb
ea + ea eb eb
+
2
2
2
2
ea+b + eab ea+b eab
ea+b eab + ea+b eab
=
+
4
4
a+b
ab
e
e
=
2
= senh (a + b) ,

senh a cosh b + cosh a senh b =

ea + ea eb + eb
ea ea eb eb
+
2
2
2
2
a+b
ab
a+b
ab
a+b
e
+e
+e
+e
e
eab ea+b + eab
=
+
4
4
ea+b + eab
=
2
= cosh (a + b) .

cosh a cosh b + senh a senh b =

(1.26)

Rodney Josue Biezuner

26

Da,
senh (a + b)
senh a cosh b + cosh a senh b
=
cosh (a + b)
cosh a cosh b + senh a senh b
senh a cosh b + cosh a senh b
cosh a cosh b
=
cosh a cosh b + senh a senh b
cosh a cosh b
senh a senh b
+
cosh b
= cosh a
senh a senh b
1+
cosh a cosh b
tanh a + tanh b
=
.
1 + tanh a tanh b

tanh (a + b) =

Segue de (1.25) e da injetividade da func


ao tangente hiperbolica que se
|v 0 | , |v 00 | < 1,
ent
ao existem u
nicos a, b R tais que
v 0 = tanh a,
v 00 = tanh b.
Portanto, segue de (1.26) que
v=

tanh a + tanh b
= tanh (a + b) ,
1 + tanh a tanh b

donde
|v| < 1.
0

Se v = 1, ent
ao
v=
e se v 0 = 1, ent
ao
v=

1 + v 00
=1
1 + v 00

1 + v 00
= 1.
1 v 00

As mesmas conclus
oes valem para v 00 = 1. 

1.9.5

Rotaco
es Hiperb
olicas

Considere a transformac
ao de Lorentz bidimensional

v
v
L=
0
0
0
0
com
=

0 0
0 0
,
1 0
0 1

1
.
1 v2

Escrevendo
v = tanh ,

Rodney Josue Biezuner

27

para um u
nico R, como vimos na demonstracao da Proposicao 1.30, como
1
p
=s
1 tanh2

1
1

senh2
cosh2

=p

cosh
2

cosh senh

cosh
,
1

segue que
= cosh .

(1.27)

Da
v = tanh cosh = senh .
Podemos portanto escrever

cosh
senh
L=

0
0

senh
cosh
0
0

Nas duas primeiras coordenadas, isso e simplesmente



 
t
cosh
=
x
senh

senh
cosh

0 0
0 0
,
1 0
0 1



t0
x0


.

1.31 Defini
c
ao. A transformac
ao

R =

cosh
senh

senh
cosh


(1.28)

e chamada uma rota


c
ao hiperb
olica de rapidez . 
Em termos da rapidez, se denotarmos por LOO0 a transformacao de Lorentz das coordenadas do referencial
O0 para o referencial O, a lei de adic
ao de velocidades da teoria da relatividade pode ser escrita na forma
(LOO00 ) = (LOO0 ) + (LO0 O00 ) .

(1.29)

Portanto, o subgrupo dos boosts em relac


ao a uma direcao fixada e isomorfo ao grupo a um parametro de
adic
oes R.

1.10

O Grupo de Poincar
e

N
ao e claro que isometrias do grupo de Poincare que preservam o vetor nulo sao transformacoes lineares.
Vamos tentar provar isso.
1.32 Lema. O produto interno pode ser obtido da norma atraves das f
ormulas

1
2
2
2
kv + wk kvk kwk
hv, wi =
2
e

1
2
2
hv, wi =
kv + wk kv wk .
4
Prova: Pois
2

kv + wk kvk kwk = hv + w, v + wi hv, vi hw, wi


= hv, vi + 2 hv, wi + hw, wi hv, vi hw, wi
= 2 hv, wi .

Rodney Josue Biezuner

28

e
2

kv + wk kv wk = hv + w, v + wi hv w, v wi
= hv, vi + 2 hv, wi + hw, wi [hv, vi 2 hv, wi + hw, wi]
= 4 hv, wi

Quando g e um produto interno positivo definido, e facil mostrar que toda isometria que fixa a origem e
uma transformac
ao linear. Para todos v, w Rn e para todos , R temos
g (F (v + w) F (v) F (w) , F (v + w) F (v) F (w))
= g (F (v + w) , F (v + w)) 2g (F (v + w) , F (v)) 2g (F (v + w) , F (w))
+ 2 g (F (v) , F (v)) + g (F (v) , F (w)) + 2 g (F (w) , F (w))
= g (v + w, v + w) 2g (v + w, v) 2g (v + w, w)
+ 2 g (v, v) + g (v, w) + 2 g (w, w)
= hp + q, p + qi 2 hp + q, pi 2 hp + q, qi + 2 hp, pi + hq, qi + 2 hq, qi
= g (v + w v w, v + w v w)
= g (0, 0)
= 0,
o que implica, porque g e positiva definida, que
F (v + w) F (v) F (w) = 0,
ou seja,
F (v + w) = F (v) + F (w) .
O mesmo argumento obviamente n
ao funciona quando g e apenas nao-degenerada, ja que existem vetores
nulos que n
ao s
ao o vetor 0.
1.33 Proposi
c
ao. Isometrias F : M M tais que F (0) = 0 s
ao operadores semiortogonais.
Prova: VEJA [Naber], P. 60, TEOREMA DE ZEEMAN. Ou, menos geralmente, Lemma 1.6.7, pag. 66. 
1.34 Teorema. Se F : Rn Rn e uma isometria, ent
ao existe uma u
nica transformac
ao ortogonal L e
uma u
nica translac
ao T tais que
F = T L.
Prova: (Existencia) Seja T : Rn Rn a translacao
T (p) = p + F (0) .
Ent
ao T 1 F : Rn Rn e uma isometria tal que

T 1 F (0) = T 1 (F (0)) = F (0) F (0) = 0,
de modo que pelo resultado anterior
L := T 1 F
e uma transformac
ao ortogonal.
(Unicidade) Se L1 , L2 s
ao transformac
oes ortogonais e T1 , T2 sao translacoes tais que
F = T1 L1 = T2 L2 ,

Rodney Josue Biezuner

29

ent
ao
1
L1 L1
2 = T1 T2 .

Em particular, T11 T2 e uma aplicac


ao linear e como aplicacoes lineares deixam o vetor nulo fixo, segue
que T11 T2 e a translac
ao nula, isto e, a identidade. Logo,
T11 T2 = id = T1 = T2 ,
L1 L1
2 = id = L1 = L2 .

1.35 Corol
ario. Se F : Rn Rn e uma isometria com F = T L, onde L e uma transformac
ao ortogonal
e T e uma translac
ao, ent
ao
dFp = L.
Em particular, F e diferenci
avel de classe C , sua derivada e uma transformac
ao ortogonal e
hdFp (v) , dFp (w)i = hv, wi
para todos v, w Rn .
Prova: Pela regra da cadeia,
dFp = d (T L)p = dTL(p) dLp = id L = L.


1.11

Diagramas de Espa
cotempo

Usar [Rahaman], chapter 6, p. 63, e obviamente [Takeuchi]. Para a impossibilidade de se viajar acima da
velocidade da luz, ver tambem exemplo dramatico na pag. 108-109 de Spacetime Physics [Taylor-Wheeler]

1.11.1

Impossibilidade de se viajar acima da velocidade da luz

1.11.2

Paradoxo dos G
emeos

Adaptado de Spacetime Physics [Taylor-Wheeler], Seco


es 4.6 (pp. 125126) e 4.9 (pp. 128131) e Exerccio
5-8 (p. 169).
Comparar com Relativity An Introduction to Special and General Relativity Stephani, pp. 2021, que
afirma que e necess
ario usar Relatividade Geral para entender o paradoxo.
Ver tambem PARADOXES: REMNANTS OF CLASSICAL THOUGHT, pag. 81 do livro Einsteins
Space-Time An Introduction to Special and General Relativity do Ferraro.

1.12

Momento-Energia

Refer
encias Bibliogr
aficas
[Fleisch]

Daniel FLEISCH, A Students Guide to Maxwells Equations, Cambridge, 2008.

[Hoffman-Kunze]

Kenneth HOFFMAN e Ray KUNZE, Linear Algebra, 2nd. Edition, Prentice-Hall, 1971.

[Lang]

Serge LANG, Linear Algebra, 3rd. Edition, Springer, 1987.

[McMahon]

David McMAHON, Relativity demystified, McGraw-Hill, 2006.

[Naber]

Gregory L. NABER, The Geometry of Minkowski Spacetime: an introduction to the


mathematics of the Special Theory of Relativity, 2nd. Edition, Springer, 2012.

[Rahaman]

Farook RAHAMAN, The Special Theory of Relativity: a mathematical approach, Springer, 2014.

[Rowe]

E. G. Peter ROWE, Geometrical Physics in Minkowski Spacetime, Springer, 2000.

[Shutz]

Bernard SHUTZ, A First Course in General Relativity, 2nd. Edition, Cambridge University Press, 2009.

[Springer]

Springer Handbook of Spacetime, Abhay Ashtekar e Vesselin Petkov, Editores, Springer, 2014.

[Takeuchi]

Tatsu TAKEUCHI, An Illustrated Guide to Relativity, Cambridge University Press,


2010.

[Taylor-Wheeler]

Edwin TAYLOR e John Archibald WHEELER, Spacetime Physics: Introduction to


Special Relativity, 2nd. Edition, Freeman, 1992.

[Topper]

David R. TOPPER, How Einstein Created Relativity out of Physics and Astronomy,
Springer, 2013.

[Tsamparlis]

Michael TSAMPARLIS, Special Relativity: An Introduction with 200 Problems and


Solutions, Springer, 2010.

[Woodhouse]

Nicholas M. J. WOODHOUSE, Special Relativity, Springer, 2002.

30