3
$\begingroup$

I am preparing myself to teach a class about special relativity a few weeks from now. To make sure they'll understand that spacetime must be flat for special relativity to work, I came up with the following argument, which is based on the famous derivation of time dilation where a moving reference frame ($S'$) sees light take a longer path because of the motion between the reference frames. Basically, this derivation.

To make some context and define notation, here is the picture I am using:

enter image description here

So there is a reference frame $S$, stationary relative to a light source. Another frame $S'$ moves away from the source with velocity $v$. Light is emitted and takes a time $t$ in the frame $S$ to reach the 'ceiling'. If we enter the reference frame $S'$ we see light take a different path due to the motion of frame $S$ (this causes the frame $S'$ to measure a time $t'$ until light reaches the 'ceiling'). The famous picture for this effect is:

enter image description here

Now this is where my argument begins:

When we draw the motion of light in both frames, we can create a right triangle as shown. But to derive the time dilation formula we end up having to assume that the Pythagorean Theorem holds! Since the Lorentz transformations for special relativity depend on this step (and so all of Special Relativity does), it appears that all of Special Relativity depends on assuming that the Pythagorean Theorem will work.

But the Pythagorean theorem only holds if the geometry is euclidean! Therefore, Special Relativity will only work if space has euclidean geometry.

From here I would present the idea that to generalize Relativity to any geometry we'd need to use General Relativity (GR). But GR itself says that for small enough regions, spacetime can always be approximately flat, which means Special Relativity does hold on laboratory experiments, particle interactions etc. on Earth due to space being approximately euclidean for those cases.

And this is the argument I want to present. I am afraid, however, that this argument might not be correct for some reason (perhaps there is some mistake on the relationship between flat spacetime and euclidean space, but I'm not sure). I have an acceptable Special Relativity background so complex explanations and other (correct) arguments for this are welcome. My problem is that I am not so familiar with the math of GR, and this is could become a big problem for any arguments I come up here.

So I ask: is there a mistake in this argument? Or does it hold? Is it sufficient? If not, please correct me and/or link me to an actually good argument which I could present. My students have also never seen a tensor in their lives, so if possible avoid them. But anyway, all help is welcome!

$\endgroup$
  • $\begingroup$ Consider that the equation you presented here might be confusing to your students, since you're mixing t and t' from the different reference frames on the right hand side. The drawing might also make it seem like the light originates from two different points in space time. $\endgroup$ – Halbeard Nov 30 '18 at 20:37
  • 1
    $\begingroup$ A very rigorous and tightly reasoned treatment that does a good job on this sort of thing is Bertel Laurent, Introduction to spacetime: a first course on relativity. Another approach that may be of interest is in my SR book, lightandmatter.com/sr (sections 2.2 and 2.5). It's relatively easy to take a typical exposition of SR and pick out one or more places where flatness has been implicitly assumed but never explicitly invoked. It's more difficult to build up all the scaffolding without noticing that you've made such implicit assumptions. $\endgroup$ – Ben Crowell Nov 30 '18 at 20:50
4
$\begingroup$

No, flat space doesn't guarantee flat spacetime. For example, consider a spacetime with a weak gravitational field, corresponding to gravitational potential $\phi $. It can be described by the metric $$g_{00} = - (1 + 2 \phi), \quad g_{ij} = \delta_{ij}$$ which has perfectly flat space but non-flat spacetime.

Furthermore, even if space were not flat, the Pythegorean theorem would still apply to the light clock, because you can make the light clock arbitrarily small and hence spatial curvature effects negligible. And we always implicitly assume the light clock is small. For example, in practice the biggest error would come from differing gravitational time dilation between the top and bottom, which comes from the spacetime curvature, but we always ignore this because the light clock isn't supposed to be tall.

So in any case, I don't think this argument shows what you want it to show, though I suppose you can use it as a jumping off point to motivate further discussion.

$\endgroup$
  • $\begingroup$ Ah, that does make sense. I am, however, tempted to ask again: does the argument at least imply local euclidean geometry of space (not spacetime)? $\endgroup$ – João Vítor G. Lima Nov 30 '18 at 23:46
  • $\begingroup$ @JoãoVítorG.Lima Indeed, both space and spacetime always look flat if you look only locally (with a small light clock). So you cannot conclude whether space or spacetime are actually flat using such a device. $\endgroup$ – knzhou Dec 1 '18 at 10:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.