Propiedades matemáticas del espacio

de Lorentz
BAMAZ
2009

1. Definiciones
Def (Métrica):
2 2 2 2
x2 ≡ x 0 − x1 − x2 − x3 (1)
Def (Producto escalar):

xy ≡ x0 y 0 − x1 y 1 − x2 y 2 − x3 y 3 (2)

2. Transformaciones de coordenadas
Sean (x1 , x2 , ..., xN ) y (x01 , x02 , ..., x0N ) las coordenadas de un mismo punto
en dos sistemas de referencia distintos. Las relaciones entre las coordenadas
enteriores son:
x01 = x01 (x1 , x2 , ..., xN )
x02 = x02 (x1 , x2 , ..., xN )
.
.
.
0N 0N
x = x (x1 , x2 , ..., xN )

Implica que a cada conjunto de coordenadas (x01 , x02 , ..., x0N ) le corres-
ponde un único conjunto (x1 , x2 , ..., xN ) para que x0k = x0k (x1 , x2 , ..., xk )
∀ kℵ − [0]

1
 Para Barut: En este caso, los vectores convertidos en una transformación
de Lorentz, se denotan ası́:

x0 = Lx
y 0 = Ly

3. Invariancia de la norma
Def : Sea φ una función de las coordenadas xk y φ0 la correspondiente a la
transformación de aquélla a un nuevo conjunto x0k . Si φ = φ0 , la función φ es
invariante respecto a la transformación de coordenadas dada. Son Tensores
de orden cero.

Deducción de la invarianza del producto escalar bajo transfor-

maciones de Lorentz:

L(x + y) = (x + y) donde x + y es un vector

=⇒ [L(x + y)]2 = (x + y)2 = L(x + y)L(x + y) = (x + y)(x + y)

Para el producto xy:

LxLy = xy = x0 y 0 ⇒ xy = x0 y 0

de donde se concluye que xy (el producto escalar) es invariante bajo

transformaciones de coordenadas. Es un tensor de orden cero.
Como se puede ver, existe una correspondencia uno-a-uno entre los vec-
tores del espacio 4-dimensional <4 y el espacio de Lorentz L4 . Esto es posible
porque las transformaciones de Lorentz son ortogonales y se conserva el pro-
ducto escalar.

4. Otra forma de escribir la norma (métrica)

x2 = (x, Gx) ; xy = (x, Gy)

donde

2
    
1 0 0 0 g11 g12 g13 g14
 0 −1 0 0   g21 g22 g23 g24 
 0 0 −1 0  = gµν =  g31
   
g32 g33 g34 
0 0 0 −1 g41 g42 g43 g44

y en este punto se introducen los tensores asociados.

En coordenadas rectangulares

gµν = 1 si µ = ν

gµν = 0 si µ 6= ν

Representación:

xy = (x, Gy) = gµν xµ y ν = g µν xµ yν = xµ y µ (3)

donde gµν es el tensor métrico y g µν es su recı́proco.

Tensor métrico (gµν ): Es una función que dice cómo calcular la dis-
tancia entre dos puntos de un determinado espacio. Para demostrar que
gµν xµ y ν = g µν xµ yν = xµ y µ primero debe demostrarse que

xµ y µ = xµ y µ (4)
Dem:
∂xµ j ∂xk ∂xj ∂xµ k
x yk = xj y
∂xj ∂xµ ∂xµ ∂xk

∂xµ ∂xk j ∂xj ∂xµ

⇒ x yk = xj y k
∂xj ∂xµ ∂xµ ∂xk

⇒ δjk xj yk = δkj xj y k si k = j ⇒ xj yj = xj y j

La identidad antes demostrada puede interpretarse como sigue: Çada fun-

ción resultante de contraer un campo tensorial covariante y contravariante

3
del mismo orden es igual a la contracción de sus recı́procos; donde xj yj son
tales funciones”.

Además, los campos tensoriales xj , xj y yj , y j son recı́procos con respecto

a la métrica rienmanniana, es decir, el tensor métrico; donde

∂xj ∂xk
xµ = xj y yµ = xk son tensores covariantes de primer orden
∂xµ ∂xµ

∂xµ j ∂xµ k
xµ = x y yµ = x son tensores contravariantes de primer orden
∂xj ∂xk
Ahora se procede a demostrar (3) utilizando las siguientes ecuaciones para
tensores asociados:

xj = g kj xk

yj = gj k y k

Dem:

Sabemos que:

xµ y µ = xµ g ν µ yν = g µν xµ yν

yµ xµ = gµν y ν xµ = gµν xµ y ν

=⇒ yµ xµ = xµ yµ

Luego

∂xk ∂xµ j ∂xµ j ∂xk

⇒ yk x = x yk
∂xµ ∂xj ∂xj ∂xµ

∂xk ∂xµ j ∂xµ ∂xk j

⇒ y k x = x yk
∂xµ ∂xj ∂xj ∂xµ

4
 ⇒ δjk yk xj = δkj xj y k si k = j ⇒ δjk = 1

⇒ yj xj = xj yj

de donde se concluye que

⇒ yµ xµ = xµ yµ = xµ y µ = gµν xµ y ν = g µν xµ yν

Entonces también podemos demostrar que

xy = xµ y µ

∂x ∂x ∂xµ j ∂xk
⇒ x y= x yk
∂x ∂x ∂xj ∂xµ

∂x ∂x ∂xµ ∂xk j
⇒ xy = x yk
∂x ∂x ∂xj ∂xµ

⇒ xy = δkj xj y k si k = j ⇒ δkj = 1

⇒ xy = xj yj

Se demostró que

xy = gµν xµ y ν = g µν xµ yν = xµ y µ

5. Vectores y producto escalar

Grupos de vectores, dividiendo el vector x de acuerdo a sus normas:
(a) x2 > 0 −→ el tiempo como vector.
(b) x2 = 0 −→ semejante a la luz o vectores nulos.
(c) x2 < 0 −→ el espacio como vectores.

Estos grupos de vectores son representados en el siguiente diagrama:

5
 Figura 1: Espacio de Lorentz

5.1. Análisis
(a) Incide en el cono de luz.
(b) Una onda de luz esférica disminuye en el origen (atrás del cono de
luz) y se expande al infinito (delante del cono de luz) con velocidad c.
(c) Sale del cono de luz. Los puntos del espacio-como no pueden ser al-
canzados de un punto a otro por señales con velocidades iguales o menores
a c (requerimiento de causalidad).

5.2. Propiedades de los vectores del diagrama

(a) Todos los vectores x del espacio-como, son ortogonales a los vectores
z, del tiempo-como. Estos vectores x forman un subespacio tridimensional
en el espacio-como.
A partir de x0 z 0 = ~x ~z obtenemos:

|x0 z 0 | |~x ~z| |~x ~z|

0
= 0 <
|z | |z | ~z

Lo que se quiere decir con esto es que ~x ~z 6= 0, lo que indica que el

producto de ambos vectores, ~x ~z, está dado por el producto punto de una de
sus componentes, x0 z 0 . El hecho de que ~x ~z 6= 0 nos dice que hablamos de
cualquier grupo de vectores distintos de la luz-como.

6
 Para ahondar más en el asunto, se nos muestra que

2 |~x ~z|2
x0 < x|2
2 ≤ |~
|~z|

y eso indica qude, en general, las componentes x0 y z 0 siempre serán menor

que la norma, o métrica (~x,~z). En conclusión, cualquier vector ortogonal al
vector como luz pertenece al espacio-como, a excepción de x2 = 0 que indica
que es ortogonal a sı́ mismo, porque está dentro de esa coordenada, i.e.,
un vector tiempo multiplicado por la luz nunca será ortogonal a sı́ mismo,
debido a que, de ser ası́, el vector tiempo tendrı́a necesariamente componentes
espaciales. Cualquier vector que esté multiplicado por un vector perteneciente
a la coordenada de la luz como vector da como resultado el cero; le hace
pertenecer al espacio como vector. Es decir, si L ~  [luz como vector] y H
~ no-
[aluz como vector] implica que L ~H ~ = 0 =⇒ H ~  [espacio como vector].
(b) Otra forma de representar todo vector ~x:

~x = ~y + τ~z

donde ~z: es un tiempo como vector fijo, ~y: es un único espacio como vector
ortogonal a ~z determinado por ~x y τ : es un parámetro real. Esto implica que
~y y τ son las componentes de ~x con respecto a ~z.

Luego vemos que

~y = ~x − τ~z = ~x − ~z(~x ~z)

Se cunple porque es invariante bajo las transformaciones de Lorentz.

(c) La suma de dos tiempos como vectores z~1 y z~2 pertenece al tiempo-
como, si ambos vectores son del mismo medio del cono de luz (z10 y z20 tienen
el mismo signo). Esto implica que

(z10 + z20 )2 > (|z~1 + z~2 |)2 , o < (|z~1 |2 + |z~2 |2 ) o luz-como

(d) La invarianza de la inecuación de Schwartz tiene la siguiente forma,

para dos tiempos como vectores:

(|z~1 z~2 |)2 ≥ |z~1 |2 |z~2 |2

igualdad que se conserva si z~1 y z~2 son paralelos.

7
 Para un vector espacio-como ~y y un vector tiempo-como ~z, tenemos

(|~y ~z|)2 ≥ |~y|2 |~z|2

La inecuación de Schwartz no da ningún dato si uno o ambos vectores

como luz-como.
Para dos vectores espacio-como la inecuación es

(|y~1 y~2 |)2 ≥ |y~1 |2 |y~2 |2

(e) Dos vectores tiempo-como son equivalentes si z~1 z~2 > 0, lo que significa
que z~1 y z~2 están delante o antes del cono de luz. Esta relación equivalente
es reflexiva, conmutativa y transitiva.

Dem:

Reflexiva:

z~1 z~2 > 0 ⇒ z~1 z~1 > 0 ⇒ z~1 ∼ z~1

Conmutativa o simétrica:

z~1 ∼ z~2 ⇒ z~1 z~2 > 0 ⇒ z~2 z~1 > 0 ⇒ z~2 ∼ z~1

Transitiva:

z~1 ∼ z~2 ∧ z~2 ∼ z~3 ⇒ z~1 z~2 > 0 ∧ z~2 z~3 > 0

⇒ z~1 z~3 > 0 ⇒ z~1 ∼ z~3