Voy a hacer una pequenia exposicion de lo que es el Grupo de Lorentz y su relacion con la RE(motivada por debates en otros hilos) desde un punto de vista lo mas fisico posible y entrando en pocos detalles matematicos, (con lo que espero no sea movido al foro de matematicas)
El espaciotiempo en RE es una variedad 4 dimensional plana (esto se puede especificar matemáticamente de forma precisa) equipada con una métrica Lorentziana. Esto puede sonar un poco técnico, pero simplemente viene a decir dos cosas:
1) El espacio es y cada suceso viene descrito por cuatro números (es mejor interpretarlo, en cierto sentido, como un vector columna, por eso pongo la de traspuesto) donde (en las unidades adecuadas) puedes identificar con el tiempo y el resto, , con las coordenadas espaciales del suceso. Para abreviar se indica .
2)La distancia (espaciotemporal) entre dos sucesos y es y es un invariante Lorentz. Esto es muy importante; quiere decir que tiene el mismo valor para cualquier observador.
(Nota: se va a usar que para una variedad de Minkowski el espacio tangente en cada punto es isomorfo a la propia variedad espaciotempora. De hecho se podria decir que se ha usado implicitamente al escribir (2), pero no me meto por no introducir detalles matematicos)
Para que se vea mejor, un ejemplo: Imagínate que yo, desde mi sistema de referencia inercial, registro dos sucesos, a los que asigno coordenadas y . Esto quiere decir que el primer suceso ha ocurrido en el punto espacialmente (en el origen de mi sistema de coordenadas), o si lo prefieres y yo estoy centrado en él, me ha ocurrido a mí) en el tiempo , mientras que el segundo ha ocurrido en el punto espacial (a una unidad de distancia de mi) dos segundos después. Si calculamos la distancia espaciotemporal obtenemos .
Ahora viene otro observador y dice que para él los sucesos han ocurrido en y en . Con un simple cálculo ya sabes que eso es falso, porque si ahora calculas para este observador, te sale diferente al nuestro, y eso no puede ser, ya que es un invariante.
Ahora tenemos que establecer cuales son las reglas de transformación entre inerciales. Hemos dicho que es invariante, y eso precisamente es lo que deben respetar las transformaciones de Lorentz. A parte, impondremos que sean lineales. Deducimos pues, que nuestra transformación será de la siguiente manera (nos ahorramos las traslaciones por simplicidad):
Que no es más que la multiplicación de un vector por una matriz , para dar un nuevo vector , que serán las coordenadas del suceso en el nuevo sistema de referencia.
Matemáticamente, que deje invariante , indica que pertenece al grupo , que no es mas que el grupo de las matrices que por definición deja invariante . Esto se puede reformular de una manera un poco más apropiada, notando que , donde es una matriz con un uno en el primer elemento de la diagonal, -1, en los restantes elementos de la diagonal, y 0 off diagonal. Sin entrar en detalles, y a partir de la última igualdad, se puede deducir que las matrices deben cumplir:
El grupo tiene cuatro componentes conexas, que están determinadas por dos homomorfismos de en :
El kernel del primer homomorfismo es el grupo de Lorentz especial , y el kernel del segundo, es el orthocronus Lorentz group ; que es el subgrupo de que preserva la dirección del tiempo. El proper Lorentz group, que viene dado por:
es la componente de conexa con la identidad, y es el subgrupo de que habitualmente se usa. Nótese también que el grupo , de rotaciones espaciales pertenece a , y el grupo a .
El grupo de Lorentz es realmente un grupo de Lie, es decir, además de ser un grupo, tienes estructura de variedad y el producto en el grupo es una aplicación continua del grupo en sí mismo. Esto, permite definir el álgebra de Lie del mismo (y es aqui donde se puede demostrar directamente que contiene al grupo de rotaciones espaciales), generada por unos elementos , y escribir cada elemento de (ya que es conexo con la identidad) como una exponencial de un elemento apropiado del álgebra de Lie.
Hasta ahora hemos discutido el grupo de Lorentz actuando sobre Lorentz-vectores, es decir, sobre elementos que se transforman como la multiplicación por dada anteriormente. Pero podríamos considerar objetos, por ejemplo, que se transforman en la representación contragradiente de , que simplemente es la acción de sobre el espacio dual de, en este caso , que se suele identificar con el espacio de momentos.
El espaciotiempo en RE es una variedad 4 dimensional plana (esto se puede especificar matemáticamente de forma precisa) equipada con una métrica Lorentziana. Esto puede sonar un poco técnico, pero simplemente viene a decir dos cosas:
1) El espacio es y cada suceso viene descrito por cuatro números (es mejor interpretarlo, en cierto sentido, como un vector columna, por eso pongo la de traspuesto) donde (en las unidades adecuadas) puedes identificar con el tiempo y el resto, , con las coordenadas espaciales del suceso. Para abreviar se indica .
2)La distancia (espaciotemporal) entre dos sucesos y es y es un invariante Lorentz. Esto es muy importante; quiere decir que tiene el mismo valor para cualquier observador.
(Nota: se va a usar que para una variedad de Minkowski el espacio tangente en cada punto es isomorfo a la propia variedad espaciotempora. De hecho se podria decir que se ha usado implicitamente al escribir (2), pero no me meto por no introducir detalles matematicos)
Para que se vea mejor, un ejemplo: Imagínate que yo, desde mi sistema de referencia inercial, registro dos sucesos, a los que asigno coordenadas y . Esto quiere decir que el primer suceso ha ocurrido en el punto espacialmente (en el origen de mi sistema de coordenadas), o si lo prefieres y yo estoy centrado en él, me ha ocurrido a mí) en el tiempo , mientras que el segundo ha ocurrido en el punto espacial (a una unidad de distancia de mi) dos segundos después. Si calculamos la distancia espaciotemporal obtenemos .
Ahora viene otro observador y dice que para él los sucesos han ocurrido en y en . Con un simple cálculo ya sabes que eso es falso, porque si ahora calculas para este observador, te sale diferente al nuestro, y eso no puede ser, ya que es un invariante.
Ahora tenemos que establecer cuales son las reglas de transformación entre inerciales. Hemos dicho que es invariante, y eso precisamente es lo que deben respetar las transformaciones de Lorentz. A parte, impondremos que sean lineales. Deducimos pues, que nuestra transformación será de la siguiente manera (nos ahorramos las traslaciones por simplicidad):
Que no es más que la multiplicación de un vector por una matriz , para dar un nuevo vector , que serán las coordenadas del suceso en el nuevo sistema de referencia.
Matemáticamente, que deje invariante , indica que pertenece al grupo , que no es mas que el grupo de las matrices que por definición deja invariante . Esto se puede reformular de una manera un poco más apropiada, notando que , donde es una matriz con un uno en el primer elemento de la diagonal, -1, en los restantes elementos de la diagonal, y 0 off diagonal. Sin entrar en detalles, y a partir de la última igualdad, se puede deducir que las matrices deben cumplir:
El grupo tiene cuatro componentes conexas, que están determinadas por dos homomorfismos de en :
El kernel del primer homomorfismo es el grupo de Lorentz especial , y el kernel del segundo, es el orthocronus Lorentz group ; que es el subgrupo de que preserva la dirección del tiempo. El proper Lorentz group, que viene dado por:
es la componente de conexa con la identidad, y es el subgrupo de que habitualmente se usa. Nótese también que el grupo , de rotaciones espaciales pertenece a , y el grupo a .
El grupo de Lorentz es realmente un grupo de Lie, es decir, además de ser un grupo, tienes estructura de variedad y el producto en el grupo es una aplicación continua del grupo en sí mismo. Esto, permite definir el álgebra de Lie del mismo (y es aqui donde se puede demostrar directamente que contiene al grupo de rotaciones espaciales), generada por unos elementos , y escribir cada elemento de (ya que es conexo con la identidad) como una exponencial de un elemento apropiado del álgebra de Lie.
Hasta ahora hemos discutido el grupo de Lorentz actuando sobre Lorentz-vectores, es decir, sobre elementos que se transforman como la multiplicación por dada anteriormente. Pero podríamos considerar objetos, por ejemplo, que se transforman en la representación contragradiente de , que simplemente es la acción de sobre el espacio dual de, en este caso , que se suele identificar con el espacio de momentos.