Históricamente las transformaciones de Lorentz fueron introducidas por Hendrik Antoon Lorentz (1853 - 1928), que las había introducido fenoménicamente para resolver ciertas inconsistencias entre el electromagnetismo y la mecánica clásica.
Lorentz había descubierto en el año 1900 que las ecuaciones de Maxwell resultaban invariantes bajo este conjunto de transformaciones, ahora denominadas transformaciones de Lorentz.
Sin embargo, tras la interpretación por parte de Albert Einstein de dichas relaciones como transformaciones de coordenadas genuinas en un espacio-tiempo tetradimensional la hipótesis del éter fue puesta en entredicho.
Las transformaciones de Lorentz fueron publicadas en 1904 pero su formalismo matemático inicial era incorrecto.
El matemático francés Poincaré desarrolló el conjunto de ecuaciones en la forma consistente en la que se conocen hoy en día.
Los trabajos de Minkowski y Poincaré mostraron que las relaciones de Lorentz podían interpretarse como las fórmulas de transformación para rotación en el espacio-tiempo cuatridimensional, que había sido introducido por Minkowski.
Eso implica que las coordenadas de tiempo y espacio medidas por dos observadores inerciales difieran entre sí.
Sin embargo, debido a la objetividad de la realidad física las medidas de unos y otros observadores son relacionables por reglas fijas: las transformaciones de Lorentz para las coordenadas.
Para examinar la forma concreta que toman estas transformaciones de las coordenadas se consideran dos sistemas de referencia inerciales u observadores inerciales:
y se supone que cada uno de ellos representa un mismo suceso S o punto del espacio-tiempo (representable por un instante de tiempo y tres coordenadas espaciales) por dos sistemas de coordenadas diferentes:
Puesto que los dos conjuntos de cuatro coordenadas representan el mismo punto del espacio-tiempo, estas deben ser relacionables de algún modo.
Las transformaciones de Lorentz dicen que si el sistema
está en movimiento uniforme a velocidad
) el origen de coordenadas de ambos sistemas coinciden, entonces las coordenadas atribuidas por los dos observadores están relacionadas por las siguientes expresiones:
{\displaystyle {\bar {x}}={\frac {x-Vt}{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}}\qquad {\bar {t}}={\frac {t-{\frac {Vx}{c^{2}}}}{\sqrt {1-{\frac {V^{2}}{c^{2}}}}}}\qquad {\bar {y}}=y\qquad {\bar {z}}=z\,}
O equivalentemente por las relaciones inversas de las anteriores:
Las relaciones anteriores se pueden escribir también en forma matricial:
Así, el momento lineal requiere ser ampliado a un cuadrivector llamado cuadrivector energía-momento o cuadrimomento, que viene dado por cuatro componentes, una componente temporal (energía) y tres componentes espaciales (momentos lineales en cada dirección coordenada):
Cuando se examina los cuadrimomentos medidos por dos observadores inerciales, se encuentra que ambos miden componentes diferentes del momento según su velocidad relativa a la partícula observada (algo que también sucede en mecánica newtoniana).
Si se denota al cuadrimomento medido por dos observadores inerciales
con sistemas de coordenadas cartesianas de ejes paralelos y en movimiento relativo según el eje X, como los que se consideraron en el apartado anterior, los cuadrimomentos medidos por ambos observadores están relacionados por una transformación de Lorentz dada por:
Y la transformación inversa viene dada similarmente por:
O equivalentemente en forma matricial los dos conjuntos anteriores de ecuaciones se representan como:
Hasta ahora se ha considerado sólo sistemas inerciales en movimiento relativo respecto al eje X, pero igualmente se podría haber considerado sistemas de ejes paralelos respecto a los ejes Y y Z y, en ese caso, las matrices de transformación de coordenadas vendrían dadas por matrices similares a las consideradas en los apartados anteriores de la forma:
Las transformaciones anteriores se llaman a veces boosts, rotaciones espacio-temporales o a veces transformaciones de Lorentz propiamente dichas.
Todos esos productos conforman un subgrupo del grupo de Lorentz propio.
Si a estas transformaciones propias se le añaden transformaciones impropias como las inversiones temporales y las reflexiones espaciales resulta el grupo de Lorentz completo, formado por cuatro componentes conexas cada una de ellas homeomorfa al grupo de Lorentz propio.
Una vez definido el grupo de Lorentz podemos escribir las transformaciones lineales más generales posibles entre medidas tomadas por observadores inerciales cuyos ejes de coordenadas coinciden en el instante inicial: Donde además del boost que da la transformación de coordenadas según la velocidad de separación relativa se han incluido las dos rotaciones en términos de los ángulos de Euler: En forma más compacta podemos escribir la última transformación en forma tensorial usando el convenio de sumación de Einstein como: Supongamos ahora que en lugar de medir magnitudes vectoriales dos observadores se ponen a medir las componentes de alguna otra magnitud tensorial, supongamos que los observadores
miden en sus sistemas de coordenadas la misma magnitud tensorial pero cada uno desde su propio sistema de coordenadas llegando a: El postulado de que existe una realidad objetiva independiente de los observadores y que las medidas de estos pueden ser comparadas mediante las transformaciones de covariancia adecuadas conduce a que si estos observadores son inerciales sus medidas estarán relacionadas por las siguientes relaciones: Donde las matrices Λ se definen, al igual que el apartado anterior mediante el producto de dos rotaciones espaciales y una rotación temporal (boost) simple.
«El Movimiento Relativo de la Tierra y el Eter».