# 6.2: Relation Between Events- Timelike, Spacelike, or Lightlike

- Page ID
- 57734

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)## minus sign yields three possible relations between pairs of events

**squared distance: Positive or zero**

Using Euclidean geometry, a surveyor reckons the distance between two steel stakes from the sum of the squares of the northward and eastward separations of these stakes:^{1}

\[(\text { distance })^{2}=(\text { northward separation })^{2}+(\text { eastward separation })^{2} \nonumber\]

In consequence, in Euclidean geometry a distance-or its square-always has a positive value or zero.

**Squared interval: Positive, zero, or negative**

In contrast, the spacetime interval between events in Lorentz geometry arises from the difference of squares of time and space separations:^{2}

\[(\text { interval })^{2}=(\text { separation in time })^{2}-(\text { separation in space })^{2} \nonumber \]

In consequence of the minus sign, this equation yields a number that may be positive, negative, or zero, depending on whether the time or the space separation predominates. Moreover, whichever of these three descriptions characterizes the interval in one free-float frame also characterizes the interval in any other free-float frame. Why? Because the spacetime interval between two events has the same value in all overlapping free-float frames. In the threefold possibilities for an interval, nature reveals the causal relation between events.

An interval between two events earns the name **timelike **or **spacelike** or **lightlike **depending on whether the time part predominates, the space part predominates, or the time and space parts are equal, respectively, as shown in Table \(\PageIndex{1}\). For convenience, the minus sign is placed so that the resulting squared interval is greater than or equal to zero.

**Timelike interval: Time part dominates**

**Timelike Interval:** We picture the sequence of sparks emitted by a moving sparkplug.^{3} Points representing these sparks on the spacetime map trace out the worldline of the particle (Chapter 5). No material particle has ever been measured to travel faster than light. Every material particle always travels less than one meter of distance in one meter of light-travel time. The sparks emitted by the particle have a greater time separation than their separation in space. In other words, the worldline of a particle consists of events that have a timelike relation with one another and with the initial event. We say that a material particle follows a** timelike worldline**.

The interval \(\tau\) between two timelike events reveals itself to the observer in any free-float frame:

\[\text { (timelike interval) }^{2}=\tau^{2}=(\text { time separation })^{2}-(\text { space separation })^{2} \]

Description | Squared interval is named and reckoned |
---|---|

Time part of interval dominates space part | \((\text { timelike interval })^{2}=\tau^{2}=(\text { time })^{2}-(\text { distance })^{2}\) |

Space part of interval dominates time part | \((\text { spacelike interval })^{2}=s^{2}=(\text { distance })^{2}-(\text { time })^{2}\) |

Time part of interval equals space part | \((\text { lightlike interval })^{2}=0=(\text { time })^{2}-(\text { distance })^{2}\) |

Same two sparks registered in different frames? Different records for the separation in time between those sparks. Different records for the separation in space. Same figure for the timelike interval between them!

**Timelike interval: Invariant hyperbola opens along time axis**

Nobody can keep us from tracing out on one and the same diagram (Figure \(\PageIndex{1}\)) the very different records for the separation \(A B\) that observers get in different free-float frames. One frame? One point on the diagram. Another frame? Another point on the diagram. And so on. These many records for the same pair of events \(A B\) trace out a hyperbola. This hyperbola opens out in the time direction.^{4}

The two sparks, \(A\) and \(B\) - definite locations though they occupy in spacetime nevertheless register in different frames of reference as having different separations in reference-frame time. Among the many conceivable frames, which one records this separation in time as smallest? Answer: The frame in which spark \(B\) occurs at the same place as spark \(A\). In other words, the frame that happens to move along in sync with the sparkplug, even if only briefly. In that frame the clock records a separation in time between \(A\) and \(B\) identical with the timelike interval \(A B\).

As seen in the left-moving rocket frame in Figure \(\PageIndex{1}\), spark \(B\) lies to the right of spark \(A\). In contrast, spark \(B\) occurs to the left of spark \(A\) in the right-moving rocket. The position of \(B\) relative to \(A\) depends on the reference frame from which it is measured. For a pair of events separated by a timelike interval, labels "right" and "left" have no invariant meaning: they are frame-dependent.

**Spacelike interval: Space part dominates**

**Spacelike Interval:** The interval between two events \(A\) and \(D\) is spacelike when the space part predominates over the time part. Such was the case for a possible explosion of Sun (event \(A\) ) and Meredith’s wand waving (event \(D\) ), simultaneous with \(A\) as recorded in the Earth frame (Section 6.1). Events \(A\) and \(D\), if they occurred, would be separated in the Earth - Sun frame by a distance of 150,000 million meters and separated by a time of zero meters. Clearly the space part predominates over the time part! Whenever the space part predominates, we call the relation between the two events spacelike.^{5}

The interval \(s\) (sometimes called by the Greek letter sigma, \(\sigma\) ) between two spacelike events reveals itself to the observer in any free-float frame:

\[(\text { spacelike interval })^{2}=s^{2}=(\text { space separation })^{2}-(\text { time separation })^{2} \]

Events \(A\) and \(D\) registered in different frames? Then different records for the separation in time between those events. Also different records for the separation in space. Same numerical value for the spacelike interval between them!

**Spacelike interval: Invariant hyperbola opens along space axis**

We plot on another spacetime diagram (Figure \(\PageIndex{2}\)) all of the very different records for the separation \(A D\) that observers get in different free-float frames. One frame? One point on the diagram. Another frame? Another point on the diagram. And so on. These many records for the same pair of events \(A D\) trace out a hyperbola. This hyperbola opens out in the space direction.^{6}

The two events, \(A\) and \(D-\) definite locations though they occupy in space time nevertheless register in different frames of reference as having different separations in reference-frame space. Among the many conceivable frames, which one records this separation in space as smallest? Answer: The frame in which spark \(D\) occurs at the same time as spark A. In that frame a long stick records a separation in space between \(A\) and \(D\) identical with the spacelike interval, \(A D\). This is called the **proper distance** between the two spacelike events.

In the Earth - laboratory frame in Figure \(\PageIndex{2}\), Meredith waves her wand (event \(D\) ) at the same time as Sun explodes (event \(A\) ). In the right-moving rocket frame Sun explodes after Meredith waves her wand. In the left-moving rocket frame Sun explodes before the wand wave. For a pair of events separated by a spacelike interval, labels "before" and " after" have no invariant meaning: they are frame-dependent. To allow the wand to control Sun would be to scramble cause and effect!

No particle - not even a flash of light - can move between two events connected by a spacelike interval. To do so would require it to cover a distance greater than the time available to cover this distance (space separation greater than time separation). In brief, it would have to travel faster than light. This is alternative evidence that two events separated by a spacelike interval cannot be causally connected: one of them cannot "get at" the other one by any possible signal.

Events 1,2, and 3 all have laboratory locations \(y=z=0\). Their \(x\) and \(t\) measurements are plotted on the laboratory spacetime map.

a. Classify the interval between events 1 and 2: timelike, spacelike, or lightlike.

b. Classify the interval between events 1 and 3.

c. Classify the interval between events 2 and 3.

**Solution**

- For event \(1, t=2\) meters and \(x=1\) meter. For event \(2, t=7\) meters and \(x=4\) meters. The squared interval between them: (interval) \(^{2}=(7-2)^{2}-(4-1)^{2}=\) \(5^{2}-3^{2}=25-9=16(\text { meters })^{2}\). The time part is greater than the space part, so the interval between these two events is timelike: \(\tau=4\) meters.
- For event \(1, t=2\) meters and \(x=1\) meter. For event \(3, t=5\) meters and \(x=6\) meters. The squared interval between them: (interval) \(^{2}=(5-2)^{2}-(1-6)^{2}=\) \(3^{2}-5^{2}=9-25=-16(\text { meters })^{2}\). The space part is greater than the time part, so the interval is spacelike: \(s=4\) meters. (For spacelike intervals, we subtract the squared time part from the squared space part before taking the square root.)
- For event \(2, t=7\) meters and \(x=4\) meters. For event \(3, t=5\) meters and \(x=6\) meters. The squared interval between them: (interval) \(^{2}=(7-5)^{2}-(4-6)^{2}=\) \(2^{2}-2^{2}=4-4=0\) (meters) \(^{2}\). The time part equals the space part, so the interval is lightlike: it is a null interval.

**Lightlike interval; Time separation equal space separation**

**Lightlike Interval (Null Interval):** Two events stand in a lightlike relation when the interval between them is zero:^{7}

\[\text { (time separation) }^{2}-(\text { space separation })^{2}=0 \nonumber \]

or

\[\begin{align*} & \text { magnitude of (separation in time) }=(\text { distance in space) } & \text{[for lightlike interval]} \end{align*}\]

**Lightlike interval: Plotted along ±45 degree lines**

An interval that is lightlike? A separation in time between two events, \(A\) and \(G\), identical to the distance in space between them? What does this condition mean? This: A pulse of light can fly directly from event \(A\) and arrive with perfect timing at event \(G\).^{8} How come? Distance in meters between the two locations measures the meters of time required for light to fly from one place to the other. Separation in time between the two events represents the time available for the trip. Time available equals time needed? Guarantee that the pulse from \(A\) arrives in coincidence with event \(G !\) More generally, whenever the influence of one event, spreading out at the speed of light, can directly affect a second event, then the interval between those two events rates as lightlike, zero, null.

Only light ("photons"), neutrinos, and gravitons can move directly between two events connected by a lightlike interval. Only by means of one of these light-speed particles can the one event in a lightlike pair cause the other.

The spherical out-going pulse of light from an event, \(A\), may trigger two widely separated events, \(E\) and \(G\) (Figure \(\PageIndex{3}\)). Does this common genesis imply that \(E\) and \(G\) occur at the same time? Yes and no! Yes, there’s always a free-float reference frame in which the two daughter events appear as simultaneous. That frame-for no good reason - we call the laboratory frame in Figure \(\PageIndex{3}\). In other frames of reference - for example, the left-moving rocket frame in Figure \(\PageIndex{3}\) - the clocks show that \(E\) occurs before \(G\). There are still other frames - the right-moving rocket frame is one-in which the clocks register \(E\) and \(G\) in the opposite order of time. But no frame shows either \(E\) or \(G\) in the past of \(A\).

*Hold it! Aren’t spacelike separations impossible? I understand timelike and lightlike separations between two events, because a particle - or at least a light flash - can travel between them. Not even a light flash, however, can travel from one event to a second event separated from the first by an interval that is spacelike. The first event cannot possibly cause the second event in the spacelike case. Therefore a spacelike interval cannot arise in nature. So why talk about it?*

###### Answer

Oops! A spacelike interval between two events certainly can and does arise in nature.

Signals from the supernova labeled 1987A reported that event to us in 1987, which was 150,000 years after the explosion occurred. Yet occur it did! No astronomer of Babylonian, Egyptian, or Greek days reported it, nor could they even know of it. Yet it had already happened for them. That event separated itself from each of them by a spacelike interval. Only the advance of time to the year 1987 brought down the interval between that explosion and Earthbound observers from spacelike to lightlike. In that year a light pulse carried the earliest possible report of that explosion to our eyes. And look today? See no explosion at that location in the sky. The light from it has passed us by. Our present relation to that event? Timelike!

1 squared distance: Positive or zero

2 Squared interval: Positive, zero, or negative

3 Timelike interval: Time part dominates

4 Timelike interval: Invariant hyperbola opens along time axis

5 Spacelike interval: Space part dominates

6 Spacelike interval: Invariant hyperbola opens along space axis

7 Lightlike interval: Time separation equation, space separation

8 Lightlike interval: Plotted along ±45 degree lines