La transformación de Lorentz es un mapeo de la y coordenadas relativas a que preserva la velocidad de la luz:
(1)
Si se mueve con velocidad en el dirección relativa a (de modo que se mueve con velocidad en el dirección relativa a ), y usamos la transformación de Galileo, obtenemos un error
(2)
que NO es igual a cero, y por lo tanto no describe una esfera de radio que emana del origen de , pero algo más (estoy bastante seguro de que es una esfera que se ha desplazado negativamente en el dirección por una pequeña cantidad, en relación con ). La transformación de Lorentz dice que modificamos tanto el y el relaciones para asegurar que terminemos obteniendo 0.
Sin embargo, como un matemático ingenuo, observo la ecuación (2) y pienso: "Vale, tenemos que modificar la regla para , o , o ambos, para deshacerse de ese desagradable término en el regla. ¿Por qué no simplemente establecer para que en lugar de salir a , en realidad sale a la luz , de modo que los términos adicionales se cancelen?" Ingenuamente seguí adelante con esta idea y obtuve la siguiente transformación de coordenadas:
Si conecta esto en (1), obtiene 0 como se supone que debe hacerlo.
Ahora, no he podido encontrar una explicación de por qué esta transformación es insatisfactoria. Por supuesto, ya no es lineal, pero ¿hay alguna razón básica por la que la transformación deba ser lineal? Obviamente esta transformación satisface el postulado de Einstein sobre la constancia de la velocidad de la luz para todos los observadores inerciales.
Presumiblemente, entonces, debe violar el primer postulado, con respecto a la equivalencia de todos los fenómenos físicos para los observadores inerciales; de lo contrario, necesitaríamos más información para derivar la transformación de Lorentz, que creo que se supone que es derivable solo de los dos postulados. .
Entonces, al final, tengo una pregunta que estoy tratando de responder:
El espacio-tiempo plano en la relatividad especial es el mismo en todas partes, por lo que debemos tener simetría de traslación en el tiempo y el espacio. Si comenzamos con dos eventos separados por en un cuadro, la separación en un marco mejorado solo debe depender de , y no en sí mismo. Esto solo se cumple para transformaciones lineales.
Usando sus transformaciones, los observadores podrían identificar un punto privilegiado. Esto viola el principio de relatividad incluso para observadores en reposo unos respecto de otros, ya que depende de dónde pongan sus orígenes.
1. Respuesta a su ejemplo específico: suponga que usted y yo estamos ubicados en un punto que elegimos llamar origen. usted está viajando a la velocidad con respecto a mi (Tomo ).
Nuestro amigo, a un año luz de distancia según yo, enciende una luz a la vez .
Según tú, esa luz parpadea a la hora. .
Así que veo la luz parpadeando en un tiempo real, mientras que tú la ves parpadeando en un tiempo imaginario, sea lo que sea que eso signifique. Presumiblemente significa que no lo ves parpadeando en absoluto. Esa es una manera de saber que se está moviendo.
2. Respuesta a la pregunta más general de "¿por qué lineal?": Más fundamentalmente: si ambos observamos a una tercera persona que se aleja del origen a alguna otra velocidad, y si ninguna fuerza actúa sobre esa persona, y si pasa a través de ambas cosas y (según yo) entonces debemos tener . Y si debe estar de acuerdo en que no tiene fuerzas que actúen sobre él, entonces también debemos tener . Estas consideraciones forzarán la implicación
Aquí es donde es bueno distinguir (x,y,z,t) como las coordenadas en el espacio de Minkowski frente a un espacio tangente en cualquier punto. El espacio de Minkowski se presenta como una variedad, pero el espacio tangente se presenta como un espacio vectorial (por lo que tiene sentido preguntar por la linealidad). Entonces es un caso feliz que puedas identificarlos. Esto es lo que de la respuesta de @knzhou está tratando de decir moviéndolo al espacio vectorial en lugar del múltiple. Si observa en qué categorías se encuentran sus objetos, lo que puede hacer con ellos se convierte en una opción.
Existe un teorema debido a Zeeman que, bajo suposiciones muy suaves, prueba que las transformaciones admisibles en la relatividad especial son elementos del grupo de Lorentz. Esto se trata, por ejemplo, en "La geometría del espacio-tiempo de Minkowski" de Naber .
Para fijar definiciones, un observador es admisible si tiene un sistema de coordenadas espaciales cartesianas tridimensionales, de mano derecha, basado en una unidad de longitud acordada y en relación con la cual los fotones se propagan rectilíneamente a una velocidad fija en cualquier dirección, así como una reloj estándar ideal basado en una unidad de tiempo acordada con la que proporcionar un orden temporal cuantitativo a los eventos en su línea de tiempo, en la que la velocidad de la luz será 1.
El mapeo de las coordenadas de un observador admisible a la de otro constituye un mapa invertible
Se hará la siguiente suposición: dos observadores admisibles coinciden en el orden temporal de dos eventos en la línea de tiempo de un fotón, es decir, si y son eventos en las coordenadas de un observador, y y esos para otro, entonces (coordenadas de tiempo) y tienen el mismo signo (no se exige que los tiempos sean iguales).
Dejar Sea el vector velocidad del fotón (que es constante). Ya que en nuestras unidades , tenemos . Tenemos para dos puntos cualesquiera y en la línea de mundo del fotón que
por . En consecuencia, en la línea de mundo del fotón
Este es un cono en con vértice en . Obviamente, este cono debe conservarse en cualquier sistema de coordenadas, por lo tanto, también lo hace el mapa de cambio de coordenadas. . Zeeman llamó a tal mapa un automorfismo causal y probó que , dónde es una traducción y es una dilatacion de , y con .
Nótese que para este resultado ni siquiera se supone que es continuo
udv
usuario12029