What is Rindler's Lemma on Equal and Opposite Velocities?

[neutrino]

I came across this term for the first time less than a day ago in Rindler's book Relativity (2 Ed. paperback p40). It's the assertion "that 'between' any two inertial frames S and S' there exists an inertial frame S'' relative to which S and S' have equal and opposite velocities." I am not able to understand his two-line "proof." I tried searching Google and Wikipedia for more on this but nothing turned up ( ). I was wondering if someone here knows about this lemma and could explain it to me, or provide a link to some site that explains it.

Thanks.

 

[George Jones]

It might first help think about things from a non-relativistic, Galilean point of view.

 

[robphy]

One can also consider a Euclidean analogue.

 

[neutrino]

So, basically, S moves with \vec{v_1}, S' moves with \vec{v_2} and S'' moves with \frac{\vec{v_1} + \vec{v_2}}{2}? (All of that with respect to me, of course.) I was never thinking "'SR'ically" or in terms of Minkowskian geometry, though.

 

[JesseM]

So, basically, S moves with \vec{v_1}, S' moves with \vec{v_2} and S'' moves with \frac{\vec{v_1} + \vec{v_2}}{2}? (All of that with respect to me, of course.)

No, because of relativity's velocity addition formula it wouldn't work so simply. For example, if in the S'' frame S is moving at 0.6c to the left and S' is moving at 0.6c to the right, then if in your frame S'' is moving at 0.8c to the right, in your frame S' is moving at speed (0.8c + 0.6c)/(1 + 0.8*0.6) = 0.9459c, while in your frame S is moving at speed (0.8c - 0.6c)/(1 - 0.8*0.6) = 0.3846c. So you can see that the velocity of S'' in your frame, 0.8c, is not equal to \frac{\vec{v_1} + \vec{v_2}}{2} which would work out to (0.3846c + 0.9459c)/2 = 0.6653c.

 

[neutrino]

No, because of relativity's velocity addition formula it wouldn't work so simply. For example, if in the S'' frame S is moving at 0.6c to the left and S' is moving at 0.6c to the right, then if in your frame S'' is moving at 0.8c to the right, in your frame S' is moving at speed (0.8c + 0.6c)/(1 + 0.8*0.6) = 0.9459c, while in your frame S is moving at speed (0.8c - 0.6c)/(1 - 0.8*0.6) = 0.3846c. So you can see that the velocity of S'' in your frame, 0.8c, is not equal to \frac{\vec{v_1} + \vec{v_2}}{2} which would work out to (0.3846c + 0.9459c)/2 = 0.6653c.

That might be true, but I was thinking along the lines of GeorgeJones' advice, i.e. Galilean relativity.

So, now how can I prove this lemma in terms of SR? Any pointers? (In the book it is mentioned, long before the velocity-composition formulae, in a discussion of the homogeneity (in space and time) and isotropy of inertial frames, and how one can arrive at Einstein's principle of relativity from this assumption/axiom.)

 

[JesseM]

So, now how can I prove this lemma in terms of SR? Any pointers? (In the book it is mentioned, long before the velocity-composition formulae, in a discussion of the homogeneity (in space and time) and isotropy of inertial frames, and how one can arrive at Einstein's principle of relativity from this assumption/axiom.)

A straightforward way to prove it would be to use the velocity addition formula to find a general formula for the velocity v an object should have in your frame such that if two other objects have velocities v1 and v2 in your frame, their speeds will be equal in v's own frame. But this probably isn't the simplest approach. You said the textbook had a simple two-line proof, can you post it and then people here could explain whatever it is you don't understand?

 

[neutrino]

You said the textbook had a simple two-line proof, can you post it and then people here could explain whatever it is you don't understand?

For proof, consider a one-parameter family of inertial frames moving collinearly with S and S', the parameter being the velocity with respect to S. It is then obvious from continuity that there must be one member of this family with the required property (see Fig 2.4).

Figure 2.4 shows three frames - S, S'' and S', in that order. (Three big L's). S" prime has a relatively long arrow pointing to the right. S' has one even longer pointing in the same direction. They also have some "experiments" drawn inside, but that has to do with the next paragraph.

 

[George Jones]

Figure 2.4 shows three frames - S, S'' and S', in that order. (Three big L's). S" prime has a relatively long arrow pointing to the right. S' has one even longer pointing in the same direction. They also have some "experiments" drawn inside, but that has to do with the next paragraph.

Let: V be the velocity of S' with respect to S; u be the velocity of S with respect to S''; v be the velocity of S' with respect to S''.

Consider a sequence of frames S'' that start at S'' = S, and that vary continuously to S'' = S'.

If S'' = S, then u = 0 and v = V.

If S'' = S', then u = -V and v = 0.

So, the *magnitude* of u varies continuously from 0 to V at the same that the magnitude of v varies continously from V to 0. Somewhere, they have to cross.

 

[neutrino]

Ah...now I can at least start to wrap my head around it. :) Thanks.