Tensores de Lorentz

Torsten Flie bach

Abstract
Se presentan las principales frmulas relacionadas con las transformaciones de Lorentz, se definen
los tensores de Lorentz y su diferenciacin. Se asumen conocimientos bsicos sobre la teora especial
de la relatividad. Las estructuras resultantes son similares a las obtenidas en campos tensoriales.
Las relaciones obtenidas se utilizan en la formulacin relativista de la electrodinmica.

1
I. TRANSFORMACIONES DE LORENTZ

Las transformaciones ortogonales discutidas en campos tensoriales permiten conectar

diferentes sistemas de coordenadas cartesianas en el espacio tridimensional. Las transfor-
maciones de Lorentz (LT) que discutiremos ahora permiten conectar diferentes sistemas
inerciales (IS). En un IS utilizamos tres coordenadas cartesianas espaciales x, y y z, y una
coordenada temporal t. Aqu, t es el tiempo que marca un reloj en reposo en el IS. Las
coordenadas x, y y z se refieren a longitudes medidas con reglas que tambin se encuentran
en reposo en el IS.

Figure 1: Un evento determinado (?) tiene las coordenadas x, t en el sistema inercial IS, y x0 , t0 en
IS, que se mueve con velocidad relativa v respecto a IS. Dado que se trata del mismo evento, debe
haber alguna relacin determinada entre las coordenadas primadas y no primadas. Esta situacin
es similar a la descrita en la figura 1 en campos tensoriales.

Las coordenadas espaciotemporales son representadas como x ,

(x ) = x0 , x1 , x2 , x3 = (ct, x, y, z)


(1)

Aqu, c es la velocidad de la luz. Los ndices griegos corren de 0 a 3, los latinos de 1 a 3. La

informacin de valores determinados de las coordenadas espaciotemporales define un evento.
Semejante evento tiene en IS los valores x de sus coordenadas, y en IS los valores x0 (ver
figura 1). La transformacin de Lorentz entre estos valores de las coordenadas es lineal:

x0 = x + b (transformacin de Lorentz) (2)

Se utiliza la convencin de sumar sobre ndices iguales, de los cuales uno est arriba y el
otro abajo; ya no se escribe el smbolo de suma. La condicin para fijar los coeficientes

2
es la invarianza de la distancia 4-dimensional entre dos eventos. Para dos eventos infinitesi-
malmente cercanos sta distancia es

ds2 = dx dx = dx0 dx0 (3)

Las cantidades y se definen por los valores numricos

1 0 0 0



0 1 0 0
= ( ) = = (4)


0
0 1 0

0 0 0 1
por lo que son independientes del IS. El espacio con la mtrica (4) se llama espacio de
Minkowski.
Cuando ambos eventos con la distancia ds estn conectados por un rayo de luz, entonces
ds = 0. Esto significa que (3) garantiza la constancia de la velocidad de la luz. De (2) sigue
x0 = x . Sustituyendo este resultado en (3) obtenemos

= o bien T = (5)

Esta condicin puede ser escrita como una multiplicacin de matrices con la matriz =
 
; donde es el ndice para los renglones y para las columnas. La condicin T =
corresponde a la condicin T = 1 en transformaciones ortogonales. La transformaciones
ortogonales estn contenidas como un subgrupo en las transformaciones de Lorentz, pues
tambin dejan invariante a ds2 .
Ahora estudiamos el siguiente caso especial: IS y IS tienen el mismo origen espaciotempo-
ral (b = 0), ejes coordenados cartesianos paralelos y un movimiento relativo en la direccin
del eje x. Entonces se cumple que y 0 = y, z 0 = z y (2) resulta en la transformacin de
Lorentz especial dada por

00 01 0 0

1 1 0 0
0 1
, b = 0


= = (6)

0 0 1 0

0 0 0 1
Las ecuaciones (5) permiten reducir los restantes a un parmetro :

00 01 cosh sinh
= (7)
1 1
0 1 sinh cosh

3
Dado que IS se mueve con velocidad relativa v respecto a IS, entonces se tiene para el origen
de IS x = vt y x0 = 0. La LT resulta en x0 = 10 ct + 11 x. De aqu se obtiene la relacin
entre la rapidez y la velocidad v,
v v
tanh = , = tanh1 (8)
c c
Ahora damos la LT especial, (2) con (6)-(8), de forma explcita:
x vt ct xv/c
x0 = p , y 0 = y, z 0 = z, ct0 = p (9)
2
1 v /c2 1 v 2 /c2

II. DEFINICIN DE TENSOR

Cualquier cantidad V con un slo ndice, que se transforme como las coordenadas x ,

V 0 = V (10)

es llamada tensor de Lorentz de rango 1. Ejemplos de vectores de Lorentz son dx y la

cuadrivelocidad u = cdx /ds.
Un tensor de Lorentz de rango N es una cantidad indizada N veces, que se transforme
segn
A01 N = 11 NN A1 N (11)

Tambin suelen utilizarse los nombres cuadritensor o 4-tensor. Bajo "tensor" siempre debe
entenderse el conjunto completo de las cantidades indizadas. Un escalar de Lorentz o tensor
de rango 0 es una cantidad no indizada, invariante ante LT. Ejemplos de escalares de Lorentz
son la longitud propia de una regla y el tiempo propio d = ds/c de un reloj.
La posicin elevada de los ndices en (1) es una convencin arbitraria. A cada vector V
le asociamos un vector
V = V (12)

con los ndices abajo. Ahora multiplicamos (12) con y utilizamos = . Esto
permite obtener la inversin
V = V (13)

La introduccin de cantidades con subndices sirve para simplificar la escritura, por ejemplo,
ds2 = dx dx . Para las coordenadas se tiene

(x ) = (x0 , x1 , x2 , x3 ) = (ct, x, y, z) (14)

4
Esta asociacin se puede utilizar con todos los tensores, por ejemplo,
0 0 0 0
A = 0 0 A , A = 0 A , A = 0 A (15)

Las A se llaman componentes contravariantes del tensor, las A componentes covari-

antes. Normalmente uno renuncia a tan detallada nomenclatura y termina por llamar a las
cantidades indizadas tensores, o bien tensores covariantes o contravariantes. No olvidemos
que el trmino "covariante" tambin tiene el otro significado de "invariante de forma".
Las A son llamadas componentes mixtas. En ellas uno debe poner atencin en el orden
de los ndices, pues
A = A 6= A = A (16)

Para un tensor simtrico A = A ambas cantidades son iguales; entonces los ndices
tambin pueden ser escritos uno sobre el otro A = A = A .
Los ndices de la matriz de transformacin pueden escribirse uno sobre el otro, porque
esta cantidad no es un tensor. Para que pudiera cumplir la definicin de tensor, debera
estar definida en IS y en IS. Sin embargo, es una cantidad asociada a la transicin entre
IS y IS.
Ahora escribimos la transformacin de los tensores covariantes:
(12) (10) (13)
V0 = V 0 = V = V = V (17)

En el primer paso se consider que es independiente del IS, pues los nmeros son fijos.
En el ltimo paso introdugimos la matriz :

= (18)

Multipliqumosla por  :
(5)
 =  =  =  (19)

Igualmente se tiene  =  . En notacin matricial esto significa que = 1 , y
especialmente que (v) = (v) para (7). Si uno multiplica (10) con , se tiene

V = V 0 (20)

Resumiendo: Los vectores contravariantes se transforman con y los covariantes con . La

transformacin inversa se obtiene con la otra matriz, respectivamente.

5
 Las reglas de clculo para los tensores en el espacio tridimensional se pueden extender a
los tensores de Lorentz. Si A y B son tensores, entonces se tiene:

1. Adicin: aA1 N + bB 1 N es un tensor de rango N ; a y b son nmeros.

2. Multiplicacin: A1 N B 1 M es un tensor de rango N + M .

3. Contraccin: A1 N = A1
N
es un tensor de rango N 2. En
particular, A B y ds2 = dx dx son escalares de Lorentz.

4. Ecuaciones tensoriales: Si A = C B se cumple en cada IS, entonces C es un

tensor de rango 2.

III. TENSOR DE MINKOWSKI Y TENSOR DE LEVI-CIVIT

A travs de (4) = ( ) = est definida como matriz constante. De hecho,
podemos tratar a las cantidades indizadas y como tensores y transformarlas de igual
forma. Entonces se tiene
0 (17) (5) =1
= = = (21)

El tensor es llamado tensor de Minkowski. Debido a

(15)
= = (22)

el smbolo de Kronecker tambien es un 4-tensor. Puesto que es simtrico, los ndices

pueden ser escritos uno sobre el otro, = = .
Otra cantidad constante que puede ser tratada como tensor en el espacio de Minkowski
es el tensor totalmente antisimtrico:

+1 si (, , , ) es una permutacin par de (0, 1, 2, 3)



 = 1 si (, , , ) es una permutacin impar de (0, 1, 2, 3) (23)


0 en cualquier otro caso

Debido a que det = 1, este smbolo de Levi-Civit es un tensor en el mismo sentido descrito
arriba, pues
0 0 0 0 det =1
0 = 0 0 0 0  = det  =  (24)

Las componentes covariantes se fijan segn

0 0 0 0
 = 0 0 0 0  =  (25)

6
IV. CAMPOS TENSORIALES

Ahora extendemos la definicin de tensor a campos tensoriales. Las funciones S(x), V (x)
y T (x) son, respectivamente, campos escalares, vectoriales y tensoriales si

S 0 (x0 ) = S(x) (26)

V 0 (x0 ) = V (x) (27)

T 0 (x0 ) = T (x) (28)

Aqu, los argumentos deben ser transformados simultneamente, es decir, x0 = (x0 ) =

x .
Los campos tensoriales pueden ser derivados respecto a su argumento. La derivada parcial
/x se transforma como un vector covariante. De (20) se tiene

x
0
= (29)
x

Con esto se obtiene

x
0
= 0
= (30)
x x x x
Es decir,

= (31)
x
se transforma segn (17) y es, por lo tanto, un vector covariante. De igual forma se tiene
que

= (32)
x
es un vector contravariante. De la propiedad vectorial de y sigue que el operador de
dAlembert
1 2
 = = = 2 (33)
c2 t2
es un escalar de Lorentz.

7
V. COVARIANCIA

Las propiedades formales de las transformaciones facilitan el aprovechamiento de las

simetras. Las simetras estudiadas en campos tensoriales y en tensores de Lorentz son la
isotropa del espacio (equivalencia de IS orientados en direcciones distintas) y el principio
de relatividad (equivalencia de IS movindose de forma distinta).
Debido a la isotropa del espacio las leyes fundamentales no deben depender de la ori-
entacin del sistema cartesiano S; dicho sistema S debe ser entendido como la parte espacial
de un IS. Ellas deben tener la misma forma en un sistema S rotado respecto a S, es decir,
deben ser covariantes ante transformaciones ortogonales. Por lo mismo, las leyes deben tener
la forma de ecuaciones tensoriales (con 3-tensores en este caso). Esto se dicuti en la seccin
covariancia al ver campos tensoriales.
Debido al principio de relatividad las leyes fundamentales no deben depender de la ve-
locidad relativa del IS. Ellas deben tener la misma forma en un sistema IS que se mueve
en relacin con IS, es decir, deben ser covariantes ante transformaciones de Lorentz. Por lo
mismo, las leyes deben tener la forma de ecuaciones con tensores de Lorentz. Un ejemplo
son las ecuaciones inhomogneas de Maxwell
4
F = j (34)
c
Esta relacin es covariante, porque , F y j son tensores de Lorentz. Tambin es posible
usar una notacin vectorial (como L = b en tres dimensiones), pero no lo haremos aqu.

La condicin de covariancia limita considerablemente la forma que pueden tener las leyes
de la fsica. Esto simplifica la determinacin de dichas leyes.

VI. EJERCICIOS

1: La relacin A = C B se cumple en todo sistema inercial. Se sabe que A y B son

vectores de Lorentz. Demuestre que C es un tensor de Lorentz.

[1] Tomado del libro "Elektrodynamik" de Torsten Flie bach (Spektrum, 1997). Traduccin de
Jos M. Mndez A.