Anda di halaman 1dari 18

1.3.

El grupo de Lorentz 19
1.3. El grupo de Lorentz
1.3.1. Generalidades
Denicion 1.3.1 Llamaremos el espaciotiempo de Lorentz-Minkowski al espacio vectorial
lorentziano L
n
= (R
n
, , )), n 2 donde , ) denota en adelante el producto escalar , )
1
del
Ejemplo 1.1.9.
Sea B
0
= (e
1
, . . . , e
n
) la base usual de R
n
. Denotemos:
= M
B
0
(, )) =
_
1 0
0 I
n1
_
Denicion 1.3.2 Se dene el grupo de las transformaciones de Lorentz como:
Iso(L
n
) = f : L
n
L
n
[ f es una isometra vectorial,
y el Grupo de Lorentz como
6
:
O
1
(n) = A /
n
(R) / A
t
A = .
Fijada cualquier base ortonormal B de L
n
, se puede construir el isomorsmo de grupos Iso(L
n
)
O
1
(n) que a cada transformacion de Lorentz f le hace corresponder su matriz, f M(f, B). En
particular jando B = B
0
(base usual de R
n
) se tiene:
: Iso(L
n
) O
1
(n)
(f) = A
f
= M(f, B
0
).
Denotaremos f
A
=
1
(A). Todo ello es analogo al caso eucldeo entre Iso(R
n
) y O(n).
Observacion 1.3.3 Como A
t
A = se tiene:
(det A)
2
= 1 det f
A
= 1.
Denicion 1.3.4 Diremos que una transformacion de Lorentz, f, es propia si det f(= det A
f
) =
1, e impropia en caso contrario
7
.
Al subgrupo de las transformaciones de Lorentz propias las notaremos por Iso
+
(L
n
) (resp. ), y
al subgrupo isomorfo (Iso
+
(L
n
)) por O
+
1
(n) (analogamente para las impropias Iso

(L
n
), O

1
(n)).
6
Si consideramos a L
n
como un espacio afn lorentziano (analogo a un espacio afn eucldeo, pero dotado con un
producto escalar lorentziano), al grupo de las anidades que preservan el producto escalar lorentziano se le llama
Grupo de las Transformaciones de Poincare, y al correspondiente grupo matricial grupo de Poincare.
7
Recordemos que los automorsmos de un espacio vectorial con determinante positivo se corresponden son
aquellos que respetan la orientacion de las bases (ordenadas); as, si f Aut
R
V , equivalen: (1) det f > 0, (2) existe
una base ordenada B tal que f

(B) tiene igual orientacion que B, (det(M(I


V
, B f

(B)) > 0), y (3) para toda


base ordenada B, se tiene que la orientacion de f

(B) es igual que la de B.


20 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
A partir de la base usual B
0
= (e
1
, . . . , e
n
) de L
n
, se ja la orientacion temporal estandar:
_
Cono causal futuro C

: aquel al que pertenece e


1
,
Cono causal pasado C

: aquel al que pertenece e


1
.
Observacion 1.3.5 Sea f una transformacion de Lorentz,
A
f
=
_
_
_
a
11
a
1n
.
.
.
.
.
.
.
.
.
a
n1
a
nn
_
_
_
Observese que:
1 = f(e
1
), f(e
1
)) = a
2
11
+a
2
21
+. . . +a
2
n1
,
luego [a
11
[ 1. Como e
1
, f(e
1
)) = a
11
, entonces:
a
11
1 f(e
1
) C

f(C

) = C

f(C

) = C

,
y
a
11
1 f(e
1
) C

f(C

) = C

f(C

) = C

.
Denicion 1.3.6 Sea f una transformacion de Lorentz, diremos que f es ortocrona si f(C

) =
C

. Denotaremos por Iso

(L
n
) al subgrupo de las transformaciones ortocronas y O

1
(n) = (Iso

(n)).
Analogamente, denotaremos al conjunto de las transformaciones no ortocronas como Iso

(L
n
),
y O

1
(n) = (Iso

(L
n
)).
Combinaremos la notacion de manera obvia para las transformaciones propias ortocronas (O
+
1
(n),
etc.)
Proposicion 1.3.7 Sea f Iso(L
n
), equivalen:
(1) f Iso

(L
n
),
(2) existe v L
n
causal tal que v, f(v)) < 0,
(3) v L
n
temporal se verica v, f(v)) < 0,
(4) en cualquier base ortonormal el elemento (1, 1) de la matriz de f es mayor que cero (y, de
hecho, mayor o igual que 1).
Demostraci on: Es consecuencia del Ejercicio 1.2.8 y de la Observacion 1.3.5. Q.E.D.
1.3. El grupo de Lorentz 21
Ejemplos 1.3.8
_
_
1 0
0 1
0
0 I
n2
_
_
O
+
1
(n)
_
_
1 0
0 1
0
0 I
n2
_
_
O

1
(n)
_
_
1 0
0 1
0
0 I
n2
_
_
O
+
1
(n)
_
_
1 0
0 1
0
0 I
n2
_
_
O

1
(n)
A la vista de estos cuatro ejemplos, resulta claro que O
1
(n) tiene al menos cuatro partes conexas.
De hecho existen solo cuatro. La demostracion de esto se puede ver en [1, Lemma 9.6].
1.3.2. El grupo de Lorentz en dimension 2
El grupo O
1
(2) puede ser estudiado de manera analoga al grupo de isometras del espacio
eucldeo. Sin embargo, para apreciar mejor las peculiaridades del caso lorentziano, nosotros lo
estudiaremos a partir de una base de vectores luminosos.
Sea B
0
= (e
1
, e
2
) la base canonica de R
2
, consideramos la base de vectores luminosos B = (u, v)
donde u = (1/

2)(e
1
+e
2
), v = (1/

2)(e
1
e
2
), que claramente verica:
u, v) = 1, u, u) = v, v) = 0,
esto es:
M
B
(, )) =
_
0 1
1 0
_
(en particular u y v caen en distinto cono causal). Sean:
P = M(I
R
2, B
0
B) =
1

2
_
1 1
1 1
_
,
P
1
= M(I
R
2, B B
0
) =
1

2
_
1 1
1 1
_
.
Para cada f Iso(L
2
), busquemos su matriz primero en la base B y luego en la base B
0
, con lo que
determinaremos explcitamente O
1
(2). Recordemos que, con nuestros convenios para las matrices
M(f, B
0
) = PM(f, B)P
1
.
Si f(u) = au +bv, se verica que:
0 = u, u) = f(u), f(u)) = 2ab,
con lo que f estara en alguno de estos dos casos:
22 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
Caso I: f(u) = u ( ,= 0). Teniendo en cuenta que f Iso(L
2
) y, en particular, u, v) =
f(u), f(v)) se deduce que f(v) =
1

v, con lo cual:
M(f, B) =
_
0
0 1/
_
.
De aqu se sigue que f Iso
+
(L
2
), (det f = 1), y f Iso

(L
2
) si y solo si > 0.
Caso II: f(u) = v. Analogamente al caso anterior, se deduce ahora f(v) =
1

u, con lo cual:
M(f, B) =
_
0 1/
0
_
.
Luego f Iso

(L
2
), y f Iso

(L
2
) si y solo si > 0. En cualquier caso, la matriz es
diagonalizable y admite una base ortonormal de vectores propios.
Por tanto, es inmediato que, si f Aut(L
2
), entonces:
A
f
O
+
1
(2) M(f, B) =
_
0
0 1/
_
para alg un > 0
M(f, B
0
) = PM(f, B)P
1
=
1
2
_
+ 1/ 1/
1/ + 1/
_
para > 0
M(f, B
0
) =
_
cosh senh
senh cosh
_
(1.1)
donde = ln R. Con las otras tres partes conexas de O
1
(2) se puede razonar de modo semejante
(o componer/multiplicar con las matrices del Ejemplo 1.3.8); en resumen, se obtiene:
Isometras con determinante 1: todas admiten una base de vectores propios luminosos y:
O
+
1
(2) =
__
cosh senh
senh cosh
_
: R
_
; O
+
1
(2) =
_
A : A O
+
1
(2)
_
.
Isometras con determinante -1: todas admiten una base ortonormal de vectores propios y:
O

1
(2) =
__
cosh senh
senh cosh
_
: R
_
; O

1
(2) =
_
A : A O

1
(2)
_
.
Remarquemos que, a diferencia del caso eucldeo, todas estas matrices son diagonalizables. A las
transformaciones de Lorentz propias ortocronas en dimension 2 se les suele llamar puras o, en la
jerga usual de Relatividad, boosts. Como veremos, cualquier transformacion de Lorentz ortocrona
en dimension 4 puede esencialmente escribirse como composicion de un transformacion de Lorentz
pura y una isometra eucldea tridimensional. Ello hace que, para las interpretaciones de los efectos
relativistas, los boosts resulten paradigmaticos.
1.3. El grupo de Lorentz 23
Observacion 1.3.9 (Interpretacion de ). Sean v, w dos vectores temporales en el mismo cono.
En el caso lorentziano denimos el angulo hiperbolico 0 entre ambos a partir de la desigualdad
de Cauchy-Schwarz invertida. Ello resulta analogo a lo que sucede en el caso eucldeo, donde se
dene el angulo [0, ] entre cualesquiera dos vectores no nulos.
Tanto en el caso lorentziano como en el eucldeo, si el espacio vectorial esta orientado (y es
bidimensional) se puede dotar de un signo a . As, se considera negativo si y solo si el par (v, w)
forma una base ordenada negativamente orientada. Se obtiene as un angulo hiperbolico orientado
(v, w) R (en el caso eucldeo se tiene (v, w) (, ], aunque algunos autores consideran
modicaciones obvias, de modo que (v, w) [0, 2)). Como ejercicio, se dan dos caracterizaciones
de (v, w), tambien analogas a las eucldeas.
Ejercicio 1.3.10 Sea (V, g) un e.v. lorentziano bidimensional orientado . Demuestrese:
(A) Existe un unico tensor 2-covariante antisimetrico det que verica: det(u, u

) es el determinante
de la matriz cuyas columas son, ordenadamente, las coordenadas de u y u

en cualquer base
ortonormal positivamente orientada (para todo u, u

V ).
(B) Sean v, w dos vectores temporales unitarios en el mismo cono. Entonces:
(B1) senh((v, w)) = det(v, w).
(B2) Si se consideran las unicas bases positivamente orientadas B
v
= (v, v
2
), B
w
= (w, w
2
)
obtenidas respectivamente de v y w, entonces (v, w) coincide con el unico valor de (seg un la
forma explcita de O
+
1
(2) demostrada arriba) determinado por la matriz M(I
V
, B
v
B
w
).
(C) Sean v, w dos vectores temporales en el mismo cono. Entonces (v, w) es el unico n umero real
que verica:
det(v, w) = [v[[w[ senh((v, w)), g(v, w) = [v[[w[ cosh((v, w)).
1.3.3. Algunas propiedades del grupo de Lorentz en dimension superior
Lema 1.3.11 Sea A O
1
(n). Entonces:
(1) Los posibles vectores propios no luminosos de A tienen como valores propios +1 o 1.
(2) El producto de los autovalores de dos vectores propios luminosos independientes es 1.
(3) Si U es un subespacio propio de A que contiene un autovector no luminoso, entonces cualquier
otro subespacio propio es ortogonal a U.
(4) Si U es un subespacio invariante por A, entonces U

es invariante por A.
Demostraci on: (1) Sea v un vector propio no luminoso de A, Av = av, entonces:
v, v) = Av, Av) = a
2
v, v) a = 1.
24 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
(2) Sean v, w dos vectores propios luminosos linealmente independientes, Av = av, Aw = bw. Por
la proposicion 1.2.7:
0 ,= v, w) = Av, Aw) = abv, w) ab = 1.
(3) Sea z U un vector propio no luminoso de A. Por el punto (1) de este lema: Az = z, = 1.
Sea w un vector propio de un valor propio distinto de . Para cada u U:
u, w) = Au, Aw) = u, w)
Con lo cual,
o bien u, w) = 0, lo que concluye la prueba,
o bien = 1 = , que contradice nuestra hipotesis sobre w.
(4) El subespacio U es invariante por A, A(U) U, y como A es una isometra, A(U) = U.
Ademas, A
1
(U) = U. Sea w U

entonces:
Aw, u) = w, A
1
u) = 0, u U,
Q.E.D.
Lema 1.3.12 Sea A O
1
(n), n 2. Entonces A admite un vector propio no espacial.
Demostraci on: Sera probado por induccion sobre n. Para n = 2 se deduce del estudio de O
1
(2),
hecho antes.
Supongamos que es cierto para cualquier natural menor que n, y veamoslo para n. Sea a C
un valor propio complejo de A, distinguimos casos:
Si a R, sea z un vector propio (real) para a y supongamos que es espacial, (si no lo fuera
habramos terminado). Gracias a la propiedad (4) del anterior Lema se puede aplicar la
hipotesis de induccion al espacio de dimension n1, z

, y encontrar as un vector propio no


espacial.
Si a , R, sea z un vector propio para a. Observese que a es otro valor propio con vector
propio z. Denimos:
x = (z +z)/2, parte real,
y = (z z)/2i, parte imaginaria.
Se tiene que los subespacios complejos generados tanto por x, y como por z, z son el mismo:
< x, y >
C
=< z, z >
C
.
Luego x e y son independientes tanto para C como para R y, al ser A una matriz real, el plano
real =< x, y >
R
es invariante por A. Necesariamente, una de las siguientes alternativas es
cierta:
1.3. El grupo de Lorentz 25
es temporal: Se termina deduciendo la existencia de un vector propio no espacial
gracias a nuestro estudio en dimension 2 para A
|
.
es espacial: Tambien se termina en este caso aplicando la hipotesis de inducccion al
subespacio, invariante por A,

. (Notese que si, en el proceso inductivo, dim

= 1,
entonces el resultado se sigue trivialmente).
es luminoso. Sea v un generador del radical

. Por la proposicion 1.3.11 (4) se


tiene A(v)

, y v es un vector propio luminoso.


Q.E.D.
Lema 1.3.13 Supongamos que A admite un vector propio luminoso v, con valor propio ,= 1.
Entonces A deja invariante un plano temporal , v .
Demostraci on: Este resultado sera demostrado por induccion sobre n. Para n = 2 se tiene
trivialmente, = L
2
.
Supongamoslo cierto para naturales menores que n, y veamoslo para n: sean
1
, . . . ,
n
C las
races del polinomio caracterstico de A, y escojamos
1
= .
Supongamos que todas ellas son reales, entonces como det A
f
= 1 se tiene que:

1

n
= 1
Por tanto exite un valor propio
i
,= 1, i 2, . . . n, que por ser distinto de 1 correspondera a
un vector propio, w, luminoso no proporcional a v, (
i
,=
1
). De esto se deduce que el plano
generado por v y w, que es invariante por A, es temporal.
Por otro lado, si suponemos que no todos los valores propios son reales, podemos razonar como
en la demostracion del lema anterior, con la ayuda de una raz compleja no real a, la existencia de
un plano , invariante por A, tal que < v >
R
= 0. Distinguimos casos:
es temporal: No podra darse esta situacion, pues la restriccion de A a sera diagonali-
zable, con lo que a sera real.
es espacial: Tambien se termina en este caso, aplicando la hipotesis de induccion al subes-
pacio, invariante por A,

.
es luminoso: Razonando de nuevo como en la demostracion del lema anterior, se tiene que el
radical de A
|
es de dimension 1, y queda invariante por A. Es decir, existe w luminoso
tal que A(w) = w. Con lo cual existen dos vectores propios luminosos v, w linealmente
independientes (recuerdese que < v >
R
= 0), luego el plano < v, w >
R
es un subespacio
invariante por A, y es temporal (Proposicion 1.2.11).
Q.E.D.
26 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
Teorema 1.3.14 Sea A O
1
(n), y f
A
Iso(L
n
) su correspondiente transformacion de Lorentz.
Entonces se tiene uno de los siguientes tres casos excluyentes:
(1) A admite un vector propio temporal, ( B base ortonormal tal que M(f
A
, B) 1O(n
1)). Si A O
+
1
(n) se dice que f
A
es una rotacion espacial pura (en el hiperplano ortogonal
al vector propio).
(2) A admite un vector propio luminoso con autovalor ,= 1, ( B base ortonormal tal que
M(f
A
, B) O
1
(2)O(n2)). En este caso f
A
es una transformacion de Lorentz bidimensional
en un plano temporal compuesto con una isometra eucldea en el ortogonal

.
(3) A admite un unico vector propio luminoso independiente de autovalores +1 o 1.
Demostraci on: Razonando por induccion, para n = 2 se sigue del estudio de O
1
(2) hecho ante-
riormente y, de hecho, solo son posibles los casos (1) y (2).
Supuesto que el teorema es cierto para n 1, razonemos para n. Por el lema 1.3.12, existe un
vector propio v no espacial, Av = v. Distinguimos los casos:
Si v es temporal se tiene (1) (vease tambien el lema 1.3.11(4)).
Si v es luminoso, puede ocurrir:
Si , 1 se tiene (2) por el lema 1.3.13.
En cambio, si 1, y suponemos que no se da la posibilidad (3), es decir que el
vector v no es unico, veamos que se da la opcion (1): Sea w otro vector propio luminoso
linealmente independiente de v, como por (2) del lema 1.3.11, los valores propios de w
y v son iguales, se sigue que o bien u +w, o u w es un vector propio temporal.
Veamos, para terminar la prueba, que los casos son excluyentes. Por (2) del lema 1.3.11, las
posibilidades (2) y (3) son excluyentes. Si suponemos que se da (1), sea v un vector propio temporal
Av = av, a = 1, y comprobemos que no son posibles los casos (2) ni (3). Si w es un vector propio
luminoso Aw = bw necesariamente a = b = 1 (pues 0 ,= v, w) = f
A
v, f
A
w) = abv, w)), lo que
excluye la posibilidad (2). Pero entonces el plano temporal < v, w >
R
esta formado por vectores
propios de autovalor a, lo que excluye (3). Q.E.D.
El ejercicio mas abajo muestra explcitamente que la posibilidad (3) puede darse. Pese a ello,
en dimension 4 tambien se verica que toda transformacion de Lorentz puede escribirse como
composicion de una isometra para un plano temporal
1
(que deja invariante

1
) y una isometra
en un plano espacial
2
(que deja invariante

2
) no necesariamente ortogonal a
1
. En Relatividad,
se alude frecuentemente a este resultado diciendo que las transformaciones de Lorentz (propias,
ortocronas) son composiciones de boosts y rotaciones. La demostracion puede llevarse a cabo
1.3. El grupo de Lorentz 27
mostrando previamente que el recubridor universal de O
+
1
es el grupo Sl(2, C) de las matrices
complejas 2 2 de determinante 1, y usando la descomposicion polar de estas matrices
8
.
Ejercicio 1.3.15 Sea,
A =
_
_
1 +
1
2

2

1
2

2
1
1
2

2
1
1
2

2
_
_
, R0.
Pruebese:
(1) A admite un unico vector propio luminoso independiente.
(2) A O
1
(3), y es semejante a una matriz triangular superior.
8
Vease, p. ej., la seccion 6.1 del libro: D. Bleecker, Gauge theory and variational principles, Addison Wesley
1981.
28 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
1.4. Relatividad Especial
1.4.1. Fundamentos fsicos
El hecho fundamental por el que se introdujo la Teora de la Relatividad es el siguiente: la veloci-
dad de la luz tiene que ser independiente del sistema de referencia inercial considerado para medirlo.
A esta velocidad constante la denotaremos por c, y es igual aproximadamente a 300.000 km./seg.
Siempre se puede suponer, como haremos usualmente, que se adopta un sistema de unidades en el
que c = 1.
Argumento teorico sobre la constancia de la velocidad de la luz. Se apoya en los siguien-
tes hechos, bien conocidos por los fsicos del siglo XIX:
La velocidad de propagacion de una onda depende del medio en que se propaga.
Ello debiera cumplirse para la luz, que es una onda electromagnetica. De hecho, en Elec-
tromagnetismo las ecuaciones de Maxwell permiten deducir la velocidad de propagacion
de la luz respecto al medio en que se propaga.
Pero el medio en el que se propaga la luz es el vaco, el cual se supone que es el mismo
para todos los observadores inerciales.
Argumento experimental sobre la constancia de la velocidad de la luz. Experimento de
Michelson-Morley: Esencialmente, se midio la misma velocidad de la luz proveniente del Sol
sobre un punto de la Tierra, cuando este tiende a acercarse a aquel con su movimiento de
rotacion y cuando tiende a alejarse.
Implicaciones. La constancia de la velocidad de la luz implica que no se verique la regla habitual
de suma de velocidades, lo que conlleva sorprendentes consecuencias para quien este habituado a
las ideas newtonianas clasicas de tiempo y longitud, como el siguiente experimento pensado
sugiere.
El experimento consiste en observar un rayo de luz que parte del suelo y rebota en un espejo
A, desde dos sistemas de referencia O y O

inerciales a velocidad constante v ,= 0; el espejo se


mueve solidariamente con el observador O

a la velocidad v respecto a O (ver gura).


La expresion del tiempo transcurrido en cada sistema de referencia es:
T

=
2a

c
T =
2b
c
donde b =
_
_
L
2
_
2
+a
2
, L es la distancia que mide O entre el punto del que parte el rayo y el
punto al que llega, y c es la velocidad de la luz. Por la simetra clasica entre derecha e izquierda
1.4. Relatividad Especial 29
supondremos
9
a

= a. Tenemos entonces:
T =
2b
c
=
2
c

_
L
2
_
2
+a
2
=
2
c

_
vT
2
_
2
+
_
cT

2
_
2
ya que L = vT. Por tanto, T
2
= (v
2
T
2
/c
2
) +T

2
y, nalmente:
T =
T

_
1
v
2
c
2
.
Esto es, abstrayendo la situacion: cuando O

observa un primer suceso y, tras un tiempo T

, un
segundo suceso, que sucede en el mismo punto del espacio para O

que el primer suceso, entonces


cualquier otro sistema de referencia inercial O que se mueve a velocidad constante v respecto a
O

debe medir que, entre los dos sucesos, transcurre un tiempo superior T = (1 v
2
/c
2
)
1/2
T

(dilataci on del tiempo para el observador O que percibe los sucesos en puntos distintos del
espacio, por lo que se mueve respecto a ellos).
Mas a un. Podemos preguntarnos por la distancia L

que el observador O

mide entre los puntos


en que O ve salir y llegar al rayo. Estos dos puntos se pueden considerar jos a una distancia L
para O. Pero para O

los puntos se mueven hacia el, con lo que O

ve pasar al primero con una


9
La unica diferencia entre los dos observadores es que, para uno de ellos, el otro se mueve hacia la derecha,
mientras que para el otro, el primero se mueve hacia la izquierda; no parece que esto deba inuir en la medicion de
una longitud perpendicular a la direccion del movimiento relativo entre ambos.
30 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
velocidad v y, un tiempo T

despues, al segundo con esa misma velocidad


10
. Tendremos entonces:
L

= vT

= vT
_
1
v
2
c
2
= L
_
1
v
2
c
2
.
Esto es: cuando el observador O mide la distancia L entre dos puntos en reposo respecto a el
(o la longitud de un cuerpo en reposo para el), cualquier observador O

que se mueve a una


velocidad constante v en la direccion determinada por esos dos puntos mide una distancia inferior
L

= (1v
2
/c
2
)
1/2
L entre ellos (contraccion de la longitud para el observador O

que se mueve
respecto a la distancia que se esta midiendo).
A continuacion presentaremos un modelo matematico en el que, como comprobaremos a poste-
riori, estas y otras consideraciones quedan recogidas. No obstante, es posible dar argumentos que
permiten, esencialmente, mostrar la unicidad de este modelo, y llegar a el de un modo deductivo
(vease la subseccion 3.1.3).
1.4.2. Modelo matematico
Postulados fsicos, o deniciones matematicas
Denicion 1.4.1 Un espacio-tiempo fsico en ausencia de gravedad o espaciotiempo en Relativi-
dad Especial es un espacio afn lorentziano, (A, V, g), de dimension 4 orientado temporalmente.
A es el conjunto de puntos o sucesos (o eventos) del espacio afn, V el espacio vectorial
director, y g la metrica de Lorentz, para la cual supondremos implcitamente que se ha prejado
una orientacion temporal.
En el resto de la presente seccion un espaciotiempo sera siempre un espaciotiempo en Relatividad
Especial (A, V, g).
Denicion 1.4.2 Un observador instantaneo es un par (P, e
0
), donde P A, y e
0
V es un
vector temporal unitario futuro.
La trayectoria de un observador no acelerado (o en cada libre) es la recta afn P+se
0
: s R,
generada por cualquier observador instantaneo (P, e
0
).
Un sistema de referencia inercial O es el par formado por un observador instantaneo (P, e
0
)
y una base ortonormal e
1
, e
2
, e
3
de e

0
(o, equivalentemente, una referencia ortonormal afn de
(A, V, g)).
Denicion 1.4.3 Una trayectoria luminosa es una recta afn del tipo L = P + su : s R,
donde u es un vector luminoso futuro, y P A.
10
Piensese, p. ej., que el observador O podra dejar una varilla rgida ja entre los dos puntos, la cual se movera a
velocidad v para O

. (Observese tambien que, implcitamente, suponemos de nuevo por simetra que si la velocidad
de O

respecto a O es v, la de O respecto a O

es v).
1.4. Relatividad Especial 31
Se sabe que, jado un punto P
0
A se tiene la identicacion natural entre A y V :
A V
Q

P
0
Q.
En adelante, el punto P
0
siempre se supone siempre prejado.
Por O y O

representaremos dos sistemas de referencia inerciales y, en general, supondremos


por simplicidad que sus rectas anes pasan siempre por el punto com un P
0
, por lo que ambos
observadores identican del mismo modo A y V . Dado el vector de V , v = te
0
+x
1
e
1
+x
2
e
2
+x
3
e
3
(identicado con el punto P
0
+v A) llamaremos a (t, x
1
, x
2
, x
3
) las coordenadas respecto a O de v
(o indistintamente del punto P
0
+v A). Analogamente, (t

, (x
1
)

, (x
2
)

, (x
3
)

) son las coordenadas


respecto a O

del vector t

0
+(x
1
)

1
+(x
2
)

2
+(x
3
)

3
V A. Con este convenio, la siguiente
denicion tiene un signicado inequvoco.
Denicion 1.4.4 El espacio en reposo del sistema de referencia inercial O en el instante t
0
es el
hiperplano afn de A de ecuaci on t t
0
en las coordenadas introducidas por O.
Denimos a continuacion la trayectoria que mide O de O

. Para ello, se supone que fsicamente


O reparametriza con su coordenada temporal al observador no acelerado se

0
[s R. Con mas
precision: al tomar las coordenadas de e

0
en O tenemos:
e

0
= Te
0
+X
1
e
1
+X
2
e
2
+X
3
e
3
= T
_
e
0
+
X
1
T
e
1
+
X
2
T
e
2
+
X
3
T
e
3
_
.
La trayectoria que mide O del observador O

es la curva en e
1
, e
2
, e
3
)
R
= e

0
< V :
t t
_
X
1
T
e
1
+
X
2
T
e
2
+
X
3
T
e
3
_
,
y la tri-velocidad que mide O del observador O

es su derivada:

v =
X
1
T
e
1
+
X
2
T
e
2
+
X
3
T
e
3
.
Como e

0
es temporal unitario futuro, se tiene que 1 = T
2
+

3
i=1
(X
i
)
2
, con lo cual T 1, y
por tanto:
[

v [
2
=
3

i=1
_
X
i
T
_
2
= 1
1
T
2
< 1.
Observese ademas que, escribiendo

v = v
x
e
1
+v
y
e
2
+v
z
e
3
y v
2
= [

v [
2
, se tiene en las coordenadas
de O:
e

0
(
1

1 v
2
,
v
x

1 v
2
,
v
y

1 v
2
,
v
z

1 v
2
).
32 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
Ejercicio 1.4.5 Dar deniciones analogas para la trayectoria y la velocidad que un observador
mide de una trayectoria de luz, comprobando que la norma de la velocidad es igual a 1.
Transformaciones de Lorentz clasicas
Notese que los dos sistemas de referencia inerciales O y O

a velocidad constante no nula generan


el plano temporal e
0
, e

0
)
R
. Supondremos a continuacion, por simplicidad, que e
1
y e

1
se hallan
en este plano y, ademas e
2
= e

2
y e
3
= e

3
. Prescindiremos entonces de las coordenadas en e
2
y en e
3
, ya que son las mismas para los dos observadores, y podremos describir la velocidad

v
mediante un n umero real v. Veamos a continuacion la relacion entre las coordenadas de O y las de
O

, suponiendo ademas que las bases inducidas B y B

tienen la misma orientacion:


O B = (e
0
, e
1
)
O

= (e

0
, e

1
)
Puesto que la matriz de cambio de base pertenece a O
+
1
(2), existe un R tal que:
M(Id, B B

) =
_
cosh() senh()
senh() cosh()
_
donde

v =
senh()
cosh()
e
1
, v = tgh() ] 1, 1[.
Como cosh
2
() senh
2
() = 1, 1 tgh
2
() = 1/ cosh
2
(), se sigue:
cosh
2
() =
1
1 v
2
cosh() =
1

1 v
2
senh() =
v

1 v
2
Por tanto:
M(Id, B B

) =
1

1 v
2
_
1 v
v 1
_
Con lo cual, si (t, x) son las coordenadas en O y (t

, x

) son las coordenadas en O

, tenemos las
relaciones conocidas como las transformaciones de Lorentz bidimensionales :
t =
1

1 v
2
(t

+vx

)
1
_
1 v
2
/c
2
(t

+
v
c
2
x

)
x =
1

1 v
2
(vt

+x

)
1
_
1 v
2
/c
2
(vt

+x

).
Estas transformaciones contrastan con las de Galileo clasicas (en analoga situacion fsica, t =
t

, x = x

+vt

), que se pueden considerar como una aproximacion a las de Lorentz cuando v c.


1.4. Relatividad Especial 33
1.4.3. Reinterpretaci on de fenomenos fsicos
Dilatacion del tiempo
Consideremos dos sistemas de referencia inerciales O y O

con los convenios anteriores, sea S


la recta descrita por el observador no acelerado asociado a O

, y sea P un suceso a lo largo de


esta recta (vease g.)
Las coordenadas de P para O son (T, L) y para O

son (T

, 0). Usando las transformaciones de


Lorentz, es claro que estan relacionadas por:
T =
1

1 v
2
T

L =
1

1 v
2
vT

La primera de las igualdades es la dilatacion del tiempo que ya habamos anunciado. Notese que
para O

, el suceso P ocurre en el mismo punto del espacio que el cruce entre los observadores
(el suceso P
0
descrito por las coordenadas (0, 0)); por esta razon, los fsicos llaman a T

tiempo
propio entre esos dos sucesos. Para O, estos dos sucesos ocurren en sitios distintos del espacio. Por
la relacion entre T y T

, el sistema de referencia inercial O que mide una coordenada temporal


distinta al tiempo propio, aprecia una dilatacion del tiempo respecto al tiempo propio medido por
O

.
Contraccion de la longitud
Consideremos de nuevo los sistemas de referencia inerciales O y O

y las bases (e
0
, e
1
) y (e

0
, e

1
)
asociadas, respectivamente. Supongamos que, para el observador O hay una varilla rgida en reposo
de longitud L, a cuyos extremos, en t = 0, le asigna las coordenadas (0, 0) y (0, L) (y, por tanto,
en cualquier otro instante t les asigna (t, 0) y (t, L)). Para el observador O

, la varilla se mueve a
velocidad constante v, y el percibe en su espacio en reposo t

= 0 que los extremos de la varilla son


34 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
P
0
(0, 0) y un nuevo suceso P, en la interseccion de su espacio en reposo con la recta t (t, L)
(vease g.)
As, si el suceso P tiene coordenadas (T, L) para O, y (0, L

) para O

, estaran relacionadas por:


T =
1

1 v
2
vL

, L =
1

1 v
2
L

.
Luego L

=

1 v
2
L; lo que nos indica que O

observara una contraccion de la longitud en la


direccion del movimiento (respecto a las longitudes en reposo medidas por O).
Paradoja de los gemelos
Este fenomeno es una consecuencia directa de la desigualdad triangular lorentziana. Consider-
emos tres sistemas de referencia inerciales O, O

y O

con vectores temporales futuros e


0
, e

0
, e

0
respectivamente, que no sean colineales. Supongamos que las rectas anes de estos tres observadores
se cortan en los sucesos P, Q, R (vease g.)
Sabemos por la Proposicion 1.2.6:
[PR[ > [PQ[ +[QR[.
Supongamos ahora que dos gemelos, que se encuentran inicialmente en el suceso P, se separan
hasta volverse a encontrar en el suceso R. El primero de ellos lo hace siguiendo una recta afn que
se identica con el observador O. El segundo pasa por Q, identicandose hasta ese suceso con O

y, a partir de el, con O

. El primer gemelo mide entre los dos encuentros el tiempo propio [PR[.
En cambio, el segundo gemelo mide la suma de tiempos propios [PQ[ +[QR[, que es inferior.
En denitiva, al comparar las medidas tomadas por cada uno de los gemelos, para el primero
ha transcurrido mas tiempo entre los dos encuentros que para el segundo. Ello vale tambien para
sus relojes biologicos: el primer gemelo ha envejecido mas que el segundo.
1.4. Relatividad Especial 35
Visto as, este fenomeno no es paradojico sino perfectamente legtimo; de hecho, se tienen
muchas evidencias experimentales de el. La aparente paradoja proviene al pensar que en un sistema
de referencia (no inercial!) generado por el segundo gemelo, es el primer gemelo quien se va y
vuelve.
Como veremos mas adelante, la extrema idealizacion que supone la trayectoria no diferenciable
en el punto Q no desempe na un papel relevante.
Ley de adicion de las velocidades
Sean O
1
, O
2
, O
3
tres observadores, y B
1
, B
2
, B
3
sus bases ortonormales correspondientes (todas
con la misma orientacion). Denotaremos:
v
12
la velocidad que mide O
1
de O
2
,
v
23
la velocidad que mide O
2
de O
3
,
v
13
la velocidad que mide O
1
de O
3
,
Nos planteamos el problema: conocidas v
12
y v
23
, cual es el valor de v
13
?
Sabemos que
v
12
= tgh(
12
), v
23
= tgh(
23
), v
13
= tgh(
13
),
36 Captulo 1. Espacios vectoriales lorentzianos. Relatividad Especial
donde:
M(Id, B
1
B
2
) =
_
cosh(
12
) senh(
12
)
senh(
12
) cosh(
12
)
_
M(Id, B
2
B
3
) =
_
cosh(
23
) senh(
23
)
senh(
23
) cosh(
23
)
_
M(Id, B
1
B
3
) =
_
cosh(
13
) senh(
13
)
senh(
13
) cosh(
13
)
_
.
Por tanto:
M(Id, B
1
B
3
) = M(Id, B
1
B
2
) M(Id, B
2
B
3
) =
_
cosh(
12
+
23
) senh(
12
+
23
)
senh(
12
+
23
) cosh(
12
+
23
)
_
(la ultima igualdad por calculo directo). Luego
13
=
12
+
23
y
v
13
= tgh(
13
) = tgh(
12
+
23
) =
tgh(
12
) + tgh(
23
)
1 + tgh(
12
) tgh(
13
)
=
v
12
+v
23
1 +v
12
v
23
Ejercicio 1.4.6 (1) Demuestrese directamente de la igualdad anterior: [v
13
[ < 1
(2) : ] 1, 1[ ] 1, 1[ ] 1, 1[ denida como v v

=
v+v

1+vv

dota a ] 1, 1[ de estructura de
grupo conmutativo.
(3) tgh : R ] 1, 1[ es un isomorsmo entre (R, +) y ( ] 1, 1[, )

Anda mungkin juga menyukai