Lesson 4.2 · 4. Special Relativity

Spacetime Diagrams

In 1908, Hermann Minkowski gave a famous lecture that began: "Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality." This union is spacetime, and the diagrams we use to visualize it are among the most powerful tools in all of physics.

Minkowski Spacetime

Space and time are not separate entities but form a single four-dimensional continuum called spacetime. Events are points in spacetime, specified by four coordinates $(ct, x, y, z)$. The geometry of spacetime is not Euclidean, it is governed by the Minkowski metric.

Reading a Spacetime Diagram

A spacetime diagram (or Minkowski diagram) plots time vertically and space horizontally. We use $ct$ on the vertical axis so that both axes have dimensions of length, and light travels along $45°$ lines.

The key elements are:

  • Events: Points on the diagram, specific locations at specific times
  • Worldlines: The trajectory of an object through spacetime. A stationary object has a vertical worldline. An object moving at constant velocity has a straight line tilted from the vertical.
  • Light rays: Travel along $45°$ lines (since $x = ct$ means $\Delta x / c\Delta t = 1$)

The slope of a worldline is related to velocity: a vertical line means $v = 0$, a $45°$ line means $v = c$, and anything beyond $45°$ from vertical would mean $v > c$ (which is forbidden). Steeper lines correspond to slower objects.

ct x x = ct x = -ct at rest (v=0) slow (v < c) fast (v < c) origin Event A Event B Worldlines on a spacetime diagram: steeper = slower
A spacetime diagram showing worldlines. The vertical axis is $ct$, the horizontal axis is $x$. Light travels at 45 degrees. Massive objects always have worldlines steeper than 45 degrees.

The Light Cone

The most important structure in a spacetime diagram is the light cone. From any event, the light cone divides spacetime into three causally distinct regions.

Causal Structure

Future light cone: All events that can be reached from the origin by signals traveling at or below the speed of light. These events can be causally influenced by the origin.

Past light cone: All events that could have sent signals to the origin. These events could have caused the origin event.

Elsewhere: Events outside both light cones. No causal connection is possible, these events are too far away for even light to connect them.

FUTURE (timelike separated) PAST (timelike separated) ELSEWHERE (spacelike) ELSEWHERE (spacelike) light ray Event O ct x
The light cone from event O. The future and past light cones contain all causally connected events. "Elsewhere" is causally disconnected, no signal can bridge the gap.

The Invariant Interval

What is a spacetime interval?

In ordinary geometry, the distance between two points does not change when you rotate your map. Similarly, the spacetime interval is a "distance" between two events that remains the same for all inertial observers, regardless of their velocity. But unlike ordinary spatial distance, this interval combines both the separation in space and the separation in time, with a crucial minus sign in front of the time term. That negative sign is what makes the geometry of spacetime fundamentally different from Euclidean geometry.

In Euclidean geometry, the distance between two points is invariant under rotations: $ds^2 = dx^2 + dy^2 + dz^2$. In Minkowski spacetime, the analogous invariant quantity is the spacetime interval:

The Spacetime Interval

$$ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2$$

This quantity is the same for all inertial observers. It defines the geometry of spacetime. (Note: some authors use the opposite sign convention $ds^2 = c^2dt^2 - dx^2 - dy^2 - dz^2$.)

The crucial minus sign in front of $c^2 dt^2$ is what makes spacetime geometry fundamentally different from ordinary Euclidean geometry. It creates three categories of separation:

  • Timelike ($ds^2 < 0$): The events can be connected by a particle traveling slower than light. There exists a frame where they occur at the same place.
  • Spacelike ($ds^2 > 0$): The events cannot be causally connected. There exists a frame where they occur at the same time.
  • Lightlike (null) ($ds^2 = 0$): The events can be connected only by light. This defines the light cone.

You can verify the invariance directly: apply the Lorentz transformations to $ds^2 = -c^2dt^2 + dx^2$ and confirm that $ds'^2 = -c^2dt'^2 + dx'^2 = ds^2$. The interval is preserved because the Lorentz transformations are precisely the transformations that leave it invariant, just as rotations preserve Euclidean distance.

Proper Time

For a timelike interval ($ds^2 < 0$), we define the proper time $d\tau$ by:

$$c^2 d\tau^2 = -ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2$$

The proper time is the time measured by a clock traveling along the worldline. For a particle moving with velocity $v$:

$$d\tau = dt\sqrt{1 - v^2/c^2} = \frac{dt}{\gamma}$$

This is time dilation written in geometric language. The proper time along a worldline is:

$$\tau = \int d\tau = \int \frac{dt}{\gamma(t)}$$

The Clock Hypothesis

The proper time $\tau$ along a worldline is the time actually measured by a clock following that worldline, regardless of the clock's acceleration. This is an experimentally verified assumption, not a derivation.

Interactive: Light Clock

v/c (velocity) 0.00c

Increase velocity to see how the moving clock ticks slower. The photon path becomes diagonal.

The Twin Paradox Resolved

The twin paradox is perhaps the most famous puzzle in special relativity. Alice stays on Earth while Bob takes a round trip to a distant star at high speed. When they reunite, Bob has aged less than Alice. But doesn't relativity say that motion is relative? From Bob's perspective, isn't it Alice who was moving?

The resolution lies in the spacetime diagram. The situation is not symmetric: Bob must accelerate (turn around), while Alice remains in an inertial frame throughout. The twin who travels a longer spatial path through spacetime accumulates less proper time, this is a direct consequence of the minus sign in the metric.

Consider a concrete example: the star is 4 light-years away, and Bob travels at $v = 0.8c$ ($\gamma = 5/3$).

  • Alice's calculation: Bob takes $4/0.8 = 5$ years each way, so $10$ years total. Alice ages 10 years.
  • Bob's proper time: $\tau_{Bob} = 10/\gamma = 10 \times 3/5 = 6$ years. Bob ages 6 years.

On the spacetime diagram, Alice's worldline is a straight vertical line (the longest proper time between two events). Bob's worldline is a bent path, and in Minkowski geometry, the straight path has the longest proper time. This is the opposite of Euclidean geometry, where the straight line is the shortest distance. The minus sign in the metric reverses the triangle inequality.

The Spacetime Twin Paradox

In Minkowski spacetime, the straight (inertial) worldline between two events has the longest proper time. Any detour through space costs you time. This is a geometric fact, not a paradox, the asymmetry comes from the different shapes of the worldlines.

Spacetime Geometry vs. Euclidean Geometry

The analogy between spacetime and ordinary geometry is deep but has crucial differences:

Euclidean (space) Minkowski (spacetime)
Invariant $ds^2 = dx^2 + dy^2$ $ds^2 = -c^2dt^2 + dx^2$
Symmetry Rotations Lorentz boosts
Functions sin, cos sinh, cosh
"Straight" path Shortest distance Longest proper time
Invariant sign Always positive Can be +, -, or 0

How to Use Spacetime Diagrams

Spacetime diagrams are not just illustrations, they are calculational tools. Here is a systematic approach:

  1. Draw the axes: $ct$ vertical, $x$ horizontal. Choose a convenient origin.
  2. Draw light cones: $45°$ lines from relevant events.
  3. Draw worldlines: For each object, draw its trajectory. Massive objects must stay inside the light cone (steeper than $45°$).
  4. Mark events: Identify the key events (emission, reception, turning points, etc.).
  5. Boosted frames: To draw the axes of a moving frame $S'$, tilt both the $ct'$ and $x'$ axes toward the light cone by $\tan^{-1}(v/c)$. The light cone always bisects the angle between the axes.
  6. Read off coordinates: Project events onto the appropriate axes, using the calibration hyperbolae $c^2t^2 - x^2 = \text{const}$ to set the scale.

Spacetime Diagrams for Multiple Frames

One of the most powerful features of spacetime diagrams is that you can draw multiple reference frames on the same diagram. The boosted frame's axes are tilted, but the light cone is the same in all frames, it always bisects the angle between the time and space axes.

Lines of constant $t'$ (simultaneity lines in the boosted frame) are parallel to the $x'$ axis. Lines of constant $x'$ (worldlines of objects at rest in the boosted frame) are parallel to the $ct'$ axis. This immediately shows why simultaneity is relative: lines of constant $t$ and lines of constant $t'$ point in different directions.

Key Insights

  • Spacetime is a four-dimensional continuum where events are points and worldlines are curves
  • The spacetime interval $ds^2 = -c^2dt^2 + dx^2 + dy^2 + dz^2$ is invariant under Lorentz transformations
  • The light cone divides spacetime into causally connected (timelike) and disconnected (spacelike) regions
  • Proper time $d\tau$ is the time measured by a clock on its own worldline: $d\tau = dt/\gamma$
  • In Minkowski geometry, the straight (inertial) worldline has the longest proper time, the opposite of Euclidean geometry
  • The twin paradox is resolved by the geometry: the traveling twin's bent worldline has less proper time
  • Spacetime diagrams are calculational tools, not just illustrations

Looking Ahead

We have seen that spacetime has a geometric structure encoded in the interval $ds^2$. To work with this geometry efficiently, we need the language of 4-vectors: objects that transform properly under Lorentz transformations and allow us to write physical laws in a manifestly covariant form. This is the subject of our next lesson.

Key Takeaways
  • Space and time form a unified four-dimensional continuum called Minkowski spacetime, with the invariant interval $ds^2 = -c^2dt^2 + dx^2 + dy^2 + dz^2$.
  • The light cone from any event divides spacetime into causally connected regions (future and past) and causally disconnected regions (elsewhere).
  • Proper time $d\tau = dt/\gamma$ is the time measured by a clock on its own worldline, and in Minkowski geometry the straight (inertial) path has the longest proper time.
  • The twin paradox is resolved geometrically: the traveling twin's bent worldline through spacetime accumulates less proper time than the stay-at-home twin's straight worldline.