Tensores de Lorentz

Torsten Fließ bach

Abstract
Se presentan las principales fórmulas relacionadas con las transformaciones de Lorentz, se definen
los tensores de Lorentz y su diferenciación. Se asumen conocimientos básicos sobre la teoría especial
de la relatividad. Las estructuras resultantes son similares a las obtenidas en campos tensoriales.
Las relaciones obtenidas se utilizan en la formulación relativista de la electrodinámica.

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 también 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 relación determinada entre las coordenadas primadas y no primadas. Esta situación
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

información 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 transformación de Lorentz entre estos valores de las coordenadas es lineal:

x0α = Λαβ xβ + bα (transformación de Lorentz) (2)

Se utiliza la convención de sumar sobre índices iguales, de los cuales uno está arriba y el
otro abajo; ya no se escribe el símbolo de suma. La condición 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 numéricos

 
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 métrica (4) se llama espacio de
Minkowski.
Cuando ambos eventos con la distancia ds están 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 condición puede ser escrita como una multiplicación de matrices con la matriz Λ =
 
Λβδ ; donde β es el índice para los renglones y δ para las columnas. La condición ΛT ηΛ = η
corresponde a la condición αT α = 1 en transformaciones ortogonales. La transformaciones
ortogonales están contenidas como un subgrupo en las transformaciones de Lorentz, pues
también 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 dirección
del eje x. Entonces se cumple que y 0 = y, z 0 = z y (2) resulta en la transformación 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 parámetro ψ:
   
Λ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 relación
entre la rapidez ψ y la velocidad v,
v v
tanh ψ = , ψ = tanh−1 (8)
c c
Ahora damos la LT especial, (2) con (6)-(8), de forma explícita:
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. DEFINICIÓN DE TENSOR

Cualquier cantidad V α con un sólo í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
según
A0α1 ···αN = Λαβ11 · · · ΛαβNN Aβ1 ···βN (11)

También 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 posición elevada de los índices en (1) es una convención 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 inversión
V γ = η γβ Vβ (13)

La introducción de cantidades con subíndices 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 asociación 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 término "covariante" también tiene el otro significado de "invariante de forma".
Las Aαβ son llamadas componentes mixtas. En ellas uno debe poner atención en el orden
de los índices, pues
Aαβ = ηβγ Aαγ 6= ηβγ Aγα = Aβ α (16)

Para un tensor simétrico Aαγ = Aγα ambas cantidades son iguales; entonces los índices
también pueden ser escritos uno sobre el otro Aαβ = Aβ α = Aαβ .
Los índices de la matriz de transformación Λαβ pueden escribirse uno sobre el otro, porque
esta cantidad no es un tensor. Para que pudiera cumplir la definición de tensor, Λ debería
estar definida en IS y en IS’. Sin embargo, Λ es una cantidad asociada a la transición entre
IS y IS’.
Ahora escribimos la transformación de los tensores covariantes:
(12) (10) (13) δ
Vα0 = ηαβ V 0β = ηαβ Λβγ V γ = ηαβ Λβγ η γδ Vδ = Λα Vδ (17)

En el primer paso se consideró que ηαβ es independiente del IS, pues los números son fijos.
En el último paso introdugimos la matriz Λ:
δ
Λα = ηαβ Λβγ η γδ (18)

Multipliquémosla por Λα :

δ (5)
Λα Λα = ηαβ Λβγ η γδ Λα = η γδ ηγ = δδ (19)
α
Igualmente se tiene Λδα Λ = δδ . En notación 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

transformación inversa se obtiene con la otra matriz, respectivamente.

5
 Las reglas de cálculo 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. Adición: aAα1 ···αN + bB α1 ···αN es un tensor de rango N ; a y b son números.

2. Multiplicación: Aα1 ···αN B β1 ···βM es un tensor de rango N + M .

3. Contracción: ηβγ Aα1 ···β···γ···αN = Aα1 ···β··· β

···α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 través 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 símbolo de Kronecker δβα tambien es un 4-tensor. Puesto que η es simétrico, 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 antisimétrico:

 +1 si (α, β, γ, δ) es una permutación par de (0, 1, 2, 3)



αβγδ = −1 si (α, β, γ, δ) es una permutación impar de (0, 1, 2, 3) (23)


 0 en cualquier otro caso


Debido a que det Λ = 1, este símbolo 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 según

0 0 0 0
αβγδ = ηαα0 ηββ 0 ηγγ 0 ηδδ0 α β γ δ = −αβγδ (25)

6
IV. CAMPOS TENSORIALES

Ahora extendemos la definición 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 simultáneamente, 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 según (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
d’Alembert
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

simetrías. Las simetrías estudiadas en campos tensoriales y en tensores de Lorentz son la
isotropía del espacio (equivalencia de IS orientados en direcciones distintas) y el principio
de relatividad (equivalencia de IS moviéndose de forma distinta).
Debido a la isotropía del espacio las leyes fundamentales no deben depender de la ori-
entación 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 sección
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 relación 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 inhomogéneas de Maxwell
4π β
∂α F αβ = j (34)
c
Esta relación es covariante, porque ∂α , F αβ y j β son tensores de Lorentz. También es posible
usar una notación vectorial (como L = Θ b · ω en tres dimensiones), pero no lo haremos aquí.

La condición de covariancia limita considerablemente la forma que pueden tener las leyes
de la física. Esto simplifica la determinación de dichas leyes.

VI. EJERCICIOS

1: La relación 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). Traducción de
José M. Méndez A.