Alice lives in 1+1 dimensional Minkowski spacetime. Bob travels at a constant velocity $v$ with respect to Alice. When Alice assigns coordinates $(t,x)$ to an event, Bob assigns coordinates $F(t,x)$ to that event. I'll call $F$ allowable if it leads to physics that satisfies Einstein's postulates. Obviously the Lorentz transformation $L$ is allowable.
Light-clock style arguments convince me of this:
If $F$ extends to an allowable transformation on 2+1 dimensional Minkowsi spacetime, then the restrictions of $F$ and $L$ to the inside of Alice's future lightcone must agree.
This leads to two questions:
Question 1: If I don't require $F$ to extend to a higher-dimensional spacetime, must it still agree with $L$ inside Alice's future lightcone?
Question 2: If $F$ does agree with $L$ inside Alice's future lightcone, must it agree with $L$ everywhere?
Some notes:
- I care about Question 1 because I want to derive the Lorentz transformation for students who have already been told that we will restrict our attention to 1+1 dimensional spacetime for simplicity. I'd therefore prefer not to invoke an additional spatial dimension. (Yes, there are all sorts of ways to justify this, including the fact that there is obviously more than one spatial dimension in the real world. But that still seems at least mildly jarring given the initial setup.)
- Question 2 of course becomes trivial if we assume that $F$ must be linear, or even just rational. But I'd prefer not to make extra assumptions.
- For each question, if the answer is "yes", my followup question is: "Is there an easy way to prove this with arguments at about the level of the light-clock stuff?" If the answer is "no", then my followup question is "What are some minimal assumptions that could convert the answer to "yes"?
- I've held Bob's velocity fixed and asked for a transformation $F$. I could instead ask for a family of transformations $F(v)$ depending on velocity. This might or might not change the answers.
- Maybe there's enough mathematical vagueness in "Einstein's postulates" that these questions admit multiple answers. I'll still be interested in those answers.