1
Tema 2. Seccion 2.
El grupo de Lorentz.
Manuel Gutierrez.
Departamento de Algebra, Geometra y Topologa.
Universidad de Malaga. 29071-Malaga. Spain.
Mayo de 2010.
Una isometra es un isomorfismo f : R4 R4 que preserva la metrica, esto
es, una aplicacion biyectiva y lineal con la propiedad
f (u), f (v) = u, v .
Es inmediato ver que el conjunto de todas las isometras del espacio de
Minkowski tiene estructura de grupo y recibe el nombre de grupo de Lorentz.
Si se considera el espacio de Minkowski con su estructura de espacio afn, en-
tonces las traslaciones tambien preservan la metrica y junto con las isometras
lineales forman el grupo de Poincare.
Es claro que una isometra transforma una base ortonormal en otra base
ortonormal. Esto tambien se puede interpretar diciendo que una isometra provo-
ca un tipo especial de cambio lineal de coordenadas, y de hecho fue as como
las introdujo H. Lorentz en su intento por encontrar una transformacion de co-
ordenadas que respetara la ecuacion de ondas, por eso se llaman clasicamente
transformaciones de Lorentz. A los elementos del grupo de Poincare se les
llama transformaciones de Poincare.
Fijada la base canonica E, cada isomorfismo se corresponde biunvocamente
con una matriz regular. As que el grupo de Lorentz se corresponde con un grupo
matricial que se denota O1 (4) donde el subndice hace referencia al numero de
1 que aparece en la diagonal de .
La condicion de preservar la metrica se puede escribir matricialmente
ut At Av = ut v
para todo u, v R4 , siendo A la matriz asociada a f en la base canonica. Por
tanto el grupo de Lorentz es
O1 (4) = {A GL(4, R) / At A = }.
Notese que si se toma determinantes, una transformacion de Lorentz verifica
|A| = 1
por lo que el grupo de Lorentz tiene al menos dos componentes conexas. Las
transformaciones de Lorentz que tienen determinante 1 se llaman propias for-
man un subgrupo llamado grupo propio de Lorentz
SO1 (4) = {A O1 (4) / |A| = 1}.
2
En realidad este subgrupo tiene a su vez dos componentes conexas; el forma-
do por las que preservan los conos futuro, llamadas ortocronas, y las que no.
Las primeras forman otro subgrupo que es la componente conexa de la identi-
dad de O1 (4), llamado grupo propio ortocrono de Lorentz SO1+ (4), as que
en total el grupo de Lorentz tiene cuatro componentes conexas que se denotan
SO1+ (4), SO1 (4), O1+ (4), O1 (4).
El estudio de la relatividad especial se vera simplificando con la utilizacion
de un tipo especial de elementos de O1 (4).
Definicion 1 Una transformacion de Lorentz f propia y ortocrona se llama
boost cuando existe una base ortonormal B = {u0 , u1 , u2 , u3 } con u0 temporal
tal que f (u2 ) = u2 , y f (u3 ) = u3 .
La matriz de f en la base B sera
a00 a01 0 0
a10 a11 0 0
0 0 1 0
0 0 0 1
En efecto, las dos ultimas columnas son las componentes de f (u2 ) y f (u3 )
en la base B. Por otra parte si
f (u0 ) = a00 u0 + a10 u1 + a20 u2 + a30 u3
se tiene por ser f isometra
0 = u2 , u0 = f (u2 ), f (u0 )
= < u2 , a00 u0 + a10 u1 + a20 u2 + a30 u3 > = a20 .
Analogamente se puede obtener a30 = a21 = a31 = 0.
Cosideremos ahora la caja superior de la matriz
( )
a00 a01
A=
a10 a11
Podemos calcular su inversa
( )
1 a11 a01
A1 = .
|A| a10 a00
Como f es propia, |A| = 1 y se tiene
( )
a11 a01
A1 = .
a10 a00
Por otra parte, partiendo de la relacion At A = se tiene
A1 = At ,
Manuel Gutirrez. Universidad de Mlaga.
3
luego ( )
a00 a10
A1 =
a01 a11
Identificando,
a00 = a11
a01 = a10
a200 a201 = 1.
Ademas f es ortocrona, es decir, u0 y f (u0 ) estan en el mismo cono de luz,
por tanto
a00 = u0 , f (u0 ) < 0
luego existe un R tal que
a00 = Ch
a01 = Sh
de modo que ( )
Ch Sh
A=
Sh Ch
Notese que tambien se podra haber tomado . El angulo se llama angu-
lo hiperbolico entre u0 y f (u0 ).
Teorema 2 Cada transformacion de Lorentz propia y ortocrona factoriza de
forma unica como la composicion de un boost y una rotacion eucldea.
Dem. Llamemos f : R4 R4 a la transformacion de Lorentz. Sea u0 un vector
temporal unitario futuro y v0 = f (u0 ) que tambien sera temporal unitario y
futuro. Vamos a construir un boost que lleve u0 a v0 .
Si fuera u0 = v0 entonces el boost buscado sera la identidad, as que supon-
dremos que u0 = v0 . Tomamos u1 L(u0 , v0 ) u 0 y w1 L(u0 , v0 ) v0
unitarios tales que {u0 , u1 } y {v0 , w1 } tienen la misma orientacion. Podemos
ampliar estos dos sistemas ortonormales a dos bases ortonormales de R4 , A =
{u0 , u1 , u2 , u3 } y B = {v0 , w1 , u2 , u3 } con la misma orientacion. La aplicacion
lineal b : R4 R4 que lleva la base A a la base B es una transformacion
de Lorentz, pues lleva bases ortonormales a bases ortonormales. Tiene determi-
nante 1 pues conserva la orientacion de las bases, y es ortocrona pues lleva un
vector temporal futuro (por tanto todos) en otro temporal futuro. Puesto que
b(ui ) = ui para i = 2, 3, la aplicacion b es un boost que lleva u0 a v0 .
Volviendo a la transformacion f , sabemos que lleva la base A a otra base
ortonormal con la misma orientacion V = (v0 , v1 , v2 , v3 ) . Hemos encontrado un
boost que lleva A a la base B. Podemos dar ahora una aplicacion lineal g que
lleva B en V . Esta transformacion deja fijo a v0 y puesto que v0 es un espacio
Manuel Gutirrez. Universidad de Mlaga.
4
eucldeo y ambas bases tienen la misma orientacion que A, se trata de una
rotacion eucldea. As f = g b .
Ademas la factorizacion es unica. En principio llegamos a otro boost b si en
lugar de elegir u1 tomamos su opuesto u1 . Al elegir w1 tenemos que tomar su
opuesto w1 para que {u0 , u1 } y {v0 , w1 } tengan la misma orientacion. Por otra
parte, al extenderlas a bases de R4 se tiene que el nuevo boost debe verificar
b|L(u0 ,v0 ) = id, b (u0 ) = v0 y b (u1 ) = w1 , por tanto b = b.
Puesto que las posibles transformaciones de SO1+ (4) lleva u0 a todos los
vectores v0 del hiperboloide 1 = x20 + x21 + x22 + x23 , que tiene dimension 3,
se tiene que topologicamente SO1+ (4) R3 SO(3).
Ejercicios.
Ejercicio 1 Probar que el conjunto de todas las transformaciones de Lorentz
tiene estructura de grupo.
Ejercicio 2 Probar que una transformacion de Lorentz es ortocrona si y solo
si a00 > 0.
Ejercicio 3 Probar que si A SO1 (2) , entonces
( )
Ch Sh
A=
Sh Ch
si A O1+ (2) ( )
Ch Sh
A=
Sh Ch
y finalmente si A O1 (2)
( )
Ch Sh
A=
Sh Ch
Ejercicio 4 Probar que f : Rn Rn es una isometra para la metrica de
Minkowski si y solo si lleva bases ortonormales en bases ortonormales.
Manuel Gutirrez. Universidad de Mlaga.
