Teorema de descomposición de POLT

[Kplix]

Saludos a todos.
Soy aficionado a leer de distintos temas de Física. Ahora estoy tratando de introducirme en la Teoría de la Relatividad Especial. Se algo del tema pero no consigo demostrar el teorema de descomposición de POLT ("proper orthocronus Lorentz transformations"). Es decir, probar que toda POLT se puede escribir en forma única como el producto de una rotación L(R) y una transformación ("Boosts") L(v).
¿Donde podría encontrar encontrar la demostración? ¿Sabe alguien hacerla?
Este teorema tiene aplicación en la precesión de Thomas (composición de dos "Boosts" en direcciones perpendiculares).
Gracias por las respuestas.

[n0mad]

Se trata simplemente de comprobar que los boost no forman un subgrupo del grupo SO(1,n)^+. Y que este grupo tiene como subgrupo al grupo de rotaciones SO(n).

Siendo que SO(1,n)^+ se compone unicamente de boosts y rotaciones y que por el primer resultado la multipliacion de 2 boosts no resulta en un boost....

Esto basta para ver que en general cualquier elemento de SO(1,n)^+ se debe poder escribir como una multiplicacion de boosts y rotaciones.