View source for Year 1 Sem 2/LC Classical Mechanics and Relativity 2/Lecture 12

<!-- Converted from ashstewart7/university at 443937a7d37850a3c57dfa863f35e80d07f2ccbc; Classical Mechanics and Relativity 2/lec_12.tex. -->
<div class="pn-lecture-meta">
<b>Lecture 12: Special Relativity IV: More Space-Time</b><br>
Tue 03 Mar 2026 11:00
</div>

[[Year 1 Sem 2/LC Classical Mechanics and Relativity 2/Lecture 11|← Previous lecture]] · [[Year 1 Sem 2/LC Classical Mechanics and Relativity 2|Module]] · [[Year 1 Sem 2/LC Classical Mechanics and Relativity 2/Lecture 13|Next lecture →]]

Recap from last lecture:

<ul>
<li>

Lorentz Transformations for space and time.

</li>
<li>

Lorentz Transformations for velocity/velocity addition.

</li>
<li>

A Lorentz Invariant: The space-time interval is invariant across frames of reference: <div class="pn-import-equation"><nowiki>$$\delta S^2 = c^2 \Delta t^2 - \Delta r^2$$</nowiki></div>

</li>
</ul>

In this lecture:

<ul>
<li>

Minkowski space and causality.

</li>
<li>

Relativistic energy and momentum.

</li>
</ul>

== Space-Time Invariance ==

Last lecture we showed that: <div class="pn-import-equation"><nowiki>$$c^2 \Delta t^2 - \Delta r^2 = c^2 \Delta t^{\prime 2} - \Delta r^{\prime 2} = \quad (= 0 \text{ for light})$$</nowiki></div>

And we define the space-time interval <nowiki>$\Delta s$</nowiki> as <nowiki>$\Delta S^2 = c^2 \Delta t^2 - r^2$</nowiki>. There is some relationship between space and time that keeps this quantity constant across frames. What does this quantity actually <i>mean</i>, however?

In a 3D set of axes, we have: <div class="pn-import-equation"><nowiki>$$\Delta r^2 = \Delta x^2 + \Delta y^2 + \Delta z^2$$</nowiki></div>

And we have defined: <div class="pn-import-equation"><nowiki>$$\Delta s^2 = c^2 \Delta t^2 - \Delta r^2 = c^2 \Delta t^2 - \left(\Delta x^2 + \Delta y^2 + \Delta z^2\right)$$</nowiki></div>

This looks almost like a 4D space (where one axis is time), but with some strange negative signs appearing? We don’t have the equipment yet to properly understand the negative signs, but can be in future courses.

== Minkowski Space (Space-Time Diagrams) ==

In 2D, we consider one spatial coordinate and one time coordinate, where the <nowiki>$x$</nowiki> axis represents our spatial coordinate and the vertical axis is given by <nowiki>$ct$</nowiki>.

Consider some kind of light-emitting event happening at the origin. This light travels at a fixed speed, so we end up with the path of light at 45 degrees on this space-time diagram:

[[File:CMR2-Y1S2-lec12-01.png|thumb|center|400px]]

These are given by the lines <nowiki>$c^2 t^2 = \pm x^2$</nowiki> and are called “light cones”, as they form cones in higher dimensions. The positive velocity axis is called the “future cone”, the path taken by light emerging from event A. The negative velocity axis is called the “past cone”, and represents the path taken by light emerging at A.

[[File:CMR2-Y1S2-lec12-02.png|thumb|center|600px|Light cones in a 3D space (two spatial, one velocity)]]

Inside the future cone, events may be caused by the event happening at A. Things travelling at a velocity <nowiki>$<c$</nowiki> can reach them.

The region inside the past cone gives regions in spacetime where events could have caused A.

Events outside the two cones cannot influence, nor can they be influenced by A. They cannot be causally connected in any way to the event at A.

We now have two events. A is defined as before, and a new event B separated from A by distance <nowiki>$\Delta \underline{r}$</nowiki> and time <nowiki>$\Delta t$</nowiki>.

What is the condition that B lies within the light cone given by A? We require: <div class="pn-import-equation"><nowiki>$$| \Delta \underline{r} | \leq c | \Delta t |$$</nowiki></div>

Or in invariant form: <div class="pn-import-equation"><nowiki>$$\Delta S^2 = c^2 \Delta t^2 - \Delta r^2 \geq 0$$</nowiki></div>

We call <nowiki>$\Delta S$</nowiki> the space-time interval, or invariant distance.

There are three possible cases:

<ul>
<li>

<nowiki>$\Delta S^2 > 0$</nowiki>, “time-like intervals”. This is where <nowiki>$| \Delta \underline{r} | \leq c | \Delta t |$</nowiki> and B is inside A-s light cone. <nowiki>$\Delta S \in \mathbb{R}$</nowiki>. Here, a signal can pass between A and B and the two events may be causally connected (where A causes B).

</li>
<li>

<nowiki>$\Delta S^2 = 0$</nowiki>. Here, <nowiki>$| \Delta \underline{r} | = c | \Delta t |$</nowiki>. This is where B sits on A’s light cone, and A/B may be causally connected. A signal can only travel between the two events if the signal is at velocity <nowiki>$c$</nowiki>. This is called a “light-like interval”

</li>
<li>

<nowiki>$\Delta S^2 < 0$</nowiki>, “space-like intervals”. This is where <nowiki>$| \Delta \underline{r} | > c | \Delta t |$</nowiki>. <nowiki>$\Delta S = \sqrt{c^2 \Delta t^2 - \Delta r^2} \in i\mathbb{R}$</nowiki>. No signal can pass between A and B, not even light. No causal connection is possible.

</li>
</ul>

== Causality and Time Order ==

It is possible for observers in two different frames to disagree on the order in which events have taken place. If we have two events with <nowiki>$t_1, t_2$</nowiki> in <nowiki>$\Sigma$</nowiki> and <nowiki>$t_1^\prime$</nowiki>, <nowiki>$t_2^\prime$</nowiki> in <nowiki>$\Sigma^\prime$</nowiki>, there are possible cases where:

<ul>
<li>

<nowiki>$t_2 > t_1$</nowiki>.

</li>
<li>

<nowiki>$t_1^\prime > t_2^\prime$</nowiki>.

</li>
</ul>

This may seem uncomfortable - does this cause a breakdown in causality?

Suppose we have a frame <nowiki>$\Sigma$</nowiki> with two events, <nowiki>$(x_1, t_1)$</nowiki>, <nowiki>$(x_2, t_2)$</nowiki>, such that <nowiki>$\Delta t = t_2 - t_1 > 0$</nowiki>.

Frame <nowiki>$\Sigma^\prime$</nowiki> moves with speed <nowiki>$v$</nowiki> relative to <nowiki>$\Sigma$</nowiki> and in <nowiki>$\Sigma^\prime$</nowiki> the same two events have coordinates <nowiki>$(x_1^\prime, t_1^\prime)$</nowiki> and <nowiki>$(x_2^\prime, t_2^\prime)$</nowiki>. For the observers to disagree on causality, we have <nowiki>$\Delta t^\prime t_2^\prime - t_1^\prime < 0$</nowiki>. We begin by applying the Lorentz Transformation to <nowiki>$\Delta t^\prime$</nowiki>: <div class="pn-import-equation"><nowiki>$$\Delta t^\prime = \gamma \left(t_2 - \frac{v}{c^2} x_2\right) - \gamma \left(t_1 - \frac{v}{c^2} x_1\right) < 0$$</nowiki></div> <div class="pn-import-equation"><nowiki>$$\implies \gamma(t_2 - t_1) + \frac{\gamma v}{c^2} \left(-x_2 + x_1\right) <0$$</nowiki></div> <div class="pn-import-equation"><nowiki>$$\Delta t - \frac{v}{c^2} \Delta x < 0$$</nowiki></div>

I.e. <nowiki>$\Delta t < \frac{v}{c^2} \Delta x$</nowiki> or <nowiki>$c \Delta t < \frac{v}{c} \Delta x$</nowiki>. We know that <nowiki>$v/c < 1$</nowiki>, hence <nowiki>$c \Delta t < \Delta x$</nowiki>. This means that: <div class="pn-import-equation"><nowiki>$$\Delta S = \sqrt{c^2 \Delta t^2 - \Delta x^2}$$</nowiki></div>

Which is the square root of a negative number, hence this gives a space-like interval. This means that while we can define two points in space-time where two observers will disagree about their order, the space-time invariant is imaginary hence these events cannot be causally linked. This means that observers disagreeing on event order does not break causality.

== Simultaneity ==

Consider a relativistic ladder passing through a stationary garage. The ladder’s proper length is longer than the proper length of the garage, so the ladder could not fit inside the garage if both were stationary.

[[File:CMR2-Y1S2-lec12-03.png|thumb|center|280px]]

However, viewed from the rest frame of the garage, the ladder is length contracted. From this frame, the ladder can momentarily (before smashing into the back door) fit entirely in the garage and it would even be possible to briefly close the front door.

[[File:CMR2-Y1S2-lec12-04.png|thumb|center|280px]]

From the ladder’s rest frame however, the garage is length contracted and not the ladder. Therefore, from this frame, there’s no possible way to fit the ladder into the garage.

How can it simultaneously be possible and impossible depending on the rest frame being considered?

=== Problem ===

Let the ladder have proper length <nowiki>$l_0^L = 20$</nowiki>m and the garage have proper length <nowiki>$l_0^G = 10$</nowiki>m. The ladder moves at <nowiki>$0.9$</nowiki>c wrt the garage.

<div class="pn-import-equation"><nowiki>$$\gamma = \frac{1}{\sqrt{1 - \beta^2}} = \frac{1}{\sqrt{1-0.9^2}} \approx 2.29$$</nowiki></div>

In the garage’s rest frame, the ladder length is <nowiki>$L^L = \frac{20}{2.29} = 8.7$</nowiki>m. So, from the garage’s POV, the ladder fits!

We now consider the length of the garage from the ladder’s rest frame: <nowiki>$L^G = \frac{10}{2.29} = 4.4$</nowiki>m, so from the ladder’s POV, the ladder cannot fit! This creates a paradox.

=== Solution ===

We can resolve this problem because the concept of simultaneity is frame dependant. There are two things that happened here:

<ul>
<li>

A. The front of the ladder reached the back garage door (the first figure)

</li>
<li>

B. The back of the ladder reaches the front garage door.

</li>
</ul>

We’ve been assuming that these events occur at exactly the same time, simultaneously, but this isn’t the case.

The time taken between these events has to obey a Lorentz transformation. If they are the same in some frame (i.e. the garage, for the ladder to fit perfectly inside), then <nowiki>$\Delta t_{AB} = 0$</nowiki>. In the rest frame of the ladder:

<div class="pn-import-equation"><nowiki>$$\Delta t_{AB}^\prime = \gamma \left(\Delta t_{AB} - \frac{v}{c^2} \Delta x_{AB}\right) = \frac{\gamma v}{c^2} \Delta x_{AB} \not = 0$$</nowiki></div>

Hence, if the garage perceives the events as being simultaneous, they cannot be observed as being simultaneous in the ladder’s frame.

----
[[Year 1 Sem 2/LC Classical Mechanics and Relativity 2/Lecture 11|← Previous lecture]] · [[Year 1 Sem 2/LC Classical Mechanics and Relativity 2|Module]] · [[Year 1 Sem 2/LC Classical Mechanics and Relativity 2/Lecture 13|Next lecture →]]