Академический Документы
Профессиональный Документы
Культура Документы
Relatividade
Rodney Josu
e Biezuner
Departamento de Matematica
Instituto de Ciencias Exatas (ICEx)
Universidade Federal de Minas Gerais (UFMG)
22 de janeiro de 2016
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
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 =
,
0
B
,
E=
t
B = 0,
E
,
B = 0 J + 0
t
E=
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.
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
(1.2)
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
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).
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.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
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
i,j=1
!
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
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,
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)
(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)
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.
1.6
1.6.1
10
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) .
11
Mas
t = 0,
j
a que os eventos s
ao simult
aneos no referencial inercial O, consequentemente
2
(1.11)
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
12
segue que
2
(1.12)
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.
13
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
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
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) .
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)
16
g (u, v)
u,
g (u, u)
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,
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
18
1
0
=
0
0
matricial, se
0 0 0
1 0 0
,
0 1 0
0 0 1
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
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.
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
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
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)
(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 ,
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
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)
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.
1.9.3
23
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
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
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)
25
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)
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) ,
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) .
(1.26)
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) =
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 ,
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
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)
(1.29)
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
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 ,
29
ent
ao
1
L1 L1
2 = T1 T2 .
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
1.11.2
Paradoxo dos G
emeos
1.12
Momento-Energia
Refer
encias Bibliogr
aficas
[Fleisch]
[Hoffman-Kunze]
Kenneth HOFFMAN e Ray KUNZE, Linear Algebra, 2nd. Edition, Prentice-Hall, 1971.
[Lang]
[McMahon]
[Naber]
[Rahaman]
Farook RAHAMAN, The Special Theory of Relativity: a mathematical approach, Springer, 2014.
[Rowe]
[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]
[Taylor-Wheeler]
[Topper]
David R. TOPPER, How Einstein Created Relativity out of Physics and Astronomy,
Springer, 2013.
[Tsamparlis]
[Woodhouse]
30