Seja (

)e (
)

) duas transformaes de Poincar temos que

tomemos
(

( )

temos agora que

) (

( )

ou seja
(

) (

( )

) (
) .Com
Consideremos agora o produto (
e
usando a expresso ( ) obtemos
(

) (

A expresso ( ) nos diz que (

modo tomando
expresso ( ) obtemos
(

) (

) a inversa de (
,

( )
). Do mesmo
e usando a

multiplicando a expresso ( ) por (

(

) (

( )

) nos vemos que

)
(

) ( )

Para obter a expresso ( ) nos usamos

e
na expresso ( ). As expresses ( ) e ( ) nos diz
que
(

) (

( )

Em primeira ordem temos que

(
logo

( )

)(

)
(

)
)

) ( )

por outro lado em primeira ordem temos tambm

(

)
(

da expresso ( ) ( ) e (
(

) chegamos a
)

(
(

o lado direito da expresso (

)
)

) ainda pode ser escrito como

(

por outro lado temos que

(
(
ou seja(

) pode ser escrito como

substituindo a expresso (

) na expresso (

(
(

[
por fim comparando os termos em
(

) obtemos

)
)

do lado direito com o esquerdo de

) obtemos
(

Nota a expresso que a

](

significa medir o momento de um referencial cuja

foi feito uma transformao de Lorentz

um vector estado onde

Seja agora
representa o momento e
representa outros graus de liberdade podendo ser continua ou discreta. Usando
a equao ( ) temos
( )

( )
( )

( )

( )

( )(

1(

um vector prprio de
De ( ) vemos que ( )
com auto valor
de ser combinao linear de auto estados
isto
e logo ( )
( )

Podemos definir estados com momento

da seguinte forma

Nota que se tivermos num referencial cuja eu meo uma velocidade zero e outra pessoa tiver num referencial cuja velocidade

relao ao meu referencial essa pessoa vai medir o mesmo evento com velocidade
classicamente falando

em

j que para ela o meu referencial ter uma velocidade ,

( ) ( )

onde

( ) uma constante de normalizao e

definido da seguinte forma

(

) por ( ) ficamos

Multiplicando (
( )

( ) ( ) ( )

( ) [

( ) [ (

) (
)] [

onde usamos que ( ) ( )

de grupos. Por outro lado

( )]

(
(

j que ( ) leva

( ) (

( )]

) que vem da definio de representaes

)

( )

leva

) e da definio de ,

( ) ( ) pertence ao subgrupo do grupo de Lorentz

De ( ) vemos que
que deixam
invariante. Este subgrupo chamado de pequeno grupo e os seus
elementos sero denotados por ou seja

De (

)e (

) vemos que
( )

por outro lado

(

) (

(
(

e logo
(
Se usarmos

)
( ) em (

) e usarmos (

) obtemos

( )
ou ainda usando (

( ) [ (

)]

) obtemos
( )

( )