Deriving Lorentz Transforms: Unnecessary Step?

Click For Summary
SUMMARY

The discussion centers on the derivation of Lorentz transformations as presented in Ray D'Iverno's "Introducing Einstein's Relativity." The participant questions the necessity of a specific step in the derivation, particularly the assertion that I=0 implies I'=0 and the subsequent conclusion that I=nI'. The participant expresses confusion over why this step is essential, suggesting that simply knowing I=0 and I'=0 should suffice to conclude I=I'. The conversation highlights the importance of mathematical rigor in the context of transformations in special relativity.

PREREQUISITES
  • Understanding of Einstein's postulates of relativity
  • Familiarity with the mathematical representation of light propagation in spacetime
  • Knowledge of linear transformations in physics
  • Basic concepts of mathematical rigor in proofs
NEXT STEPS
  • Study the derivation of Lorentz transformations in detail
  • Learn about the implications of linear transformations in physics
  • Explore mathematical rigor in physics proofs, focusing on continuity and limits
  • Investigate the role of reference frames in special relativity
USEFUL FOR

Students of physics, educators teaching relativity, and anyone interested in the mathematical foundations of Einstein's theories.

kmm
Messages
188
Reaction score
15
I'm going through Ray D'Iverno's "Introducing Einstein's Relativity", and there is a step he makes in deriving the Lorentz transformations that doesn't seem necessary to me. So I'm not sure what I'm missing. He derives them from Einsteins postulates of relativity. From the postulate that the speed of light is the same in all reference frames, we take a rest frame S and a frame moving with respect to S, S'. When their origins meet, a pulse of light moves out from their origins as a sphere. The events constituting this sphere satisfy the equations I=x2+y2+z2-c2t2=0 for the rest frame and I'=x'2+y'2+z'2-c2t'2=0 for the moving frame. He sets these equations equal and derives the Lorentz transformations, which is pretty straight forward. The step that I'm not sure about is before setting I=I', he says, "..it follows that under a transformation connecting S and S', I=0 ⇔ I'=0, and since the transformation is linear.." (by the first postulate) "we may conclude I=nI'." He then goes on to show how we can reverse the roles of S and S' giving I'=nI and combining the equations gives, n2=1 ⇒ n=±1, and in the limit as v→0 the two frames coincide so I' → I so we must take n=1. It's at this point that he sets I=I'. That's fine with me, I just don't understand why all of that was necessary in showing I=I'. Why couldn't we have just concluded that I=I' when we said earlier that I=0 and I'=0? I'm suspicious that there is some necessary mathematical rigor that I'm missing, in this step.
 
Physics news on Phys.org
kmm said:
Why couldn't we have just concluded that I=I' when we said earlier that I=0 and I'=0?

Because just knowing that l=l' when both are zero does not guarantee that l=l' when both are not zero.
 
kmm said:
Why couldn't we have just concluded that I=I' when we said earlier that I=0 and I'=0? I'm suspicious that there is some necessary mathematical rigor that I'm missing, in this step.
What other reason would you have had for concluding that I'=I? Given that I=0 iff I'=0, you could have, for example, I=-3I'.
 
  • Like
Likes   Reactions: vanhees71
PeterDonis said:
Because just knowing that l=l' when both are zero does not guarantee that l=l' when both are not zero.

bcrowell said:
What other reason would you have had for concluding that I'=I? Given that I=0 iff I'=0, you could have, for example, I=-3I'.

Ah of course, thanks.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 101 ·
4
Replies
101
Views
7K
Replies
3
Views
1K
  • · Replies 33 ·
2
Replies
33
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
8
Views
778
  • · Replies 20 ·
Replies
20
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
1K