Skip to main content
Physics LibreTexts

1.E: Spacetime (Exercises)

  • Page ID
    3422
  • \( \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}\)

    Q1

    Astronauts in three different spaceships are communicating with each other. Those aboard ships \(A\) and \(B\) agree on the rate at which time is passing, but they disagree with the ones on ship \(C\).

    1. Alice is aboard ship \(A\). How does she describe the motion of her own ship, in its frame of reference?
    2. Describe the motion of the other two ships according to Alice.
    3. Give the description according to Betty, whose frame of reference is ship \(B\).
    4. Do the same for Cathy, aboard ship \(C\).

    Q2

    What happens in the equation for \(\gamma\) when you put in a negative number for \(v\)? Explain what this means physically, and why it makes sense.

    Q3

    The Voyager \(1\) space probe, launched in 1977, is moving faster relative to the earth than any other human-made object, at \(17,000\) meters per second.

    1. Calculate the probe’s \(\gamma\).
    2. Over the course of one year on earth, slightly less than one year passes on the probe. How much less? (There are \(31\) million seconds in a year.)

    Q4

    The earth is orbiting the sun, and therefore is contracted relativistically in the direction of its motion. Compute the amount by which its diameter shrinks in this direction.

    Q5

    The figure shows seven displacement vectors in spacetime. Which of these represent spacetime intervals that are equal to one another?

    fig 1.E.1.png

    Q6

    1. In Euclidean geometry in three dimensions, suppose we have two vectors, \(a\) and \(b\), which are unit vectors, i.e., \(a \cdot a = 1\) and \(b \cdot b = 1\). What is the range of possible values for the inner product \(a \cdot b\)?
    2. Repeat part a for two timelike, future-directed unit vectors in \(3 + 1\) dimensions.

    Q7

    Expressed in natural units, the Lorentz transformation is

    \[t' = \gamma t - v\gamma x' \\ x' = -v\gamma t + \gamma x\]

    1. Insert factors of \(c\) to make it valid in units where \(c \neq 1\).
    2. Show that in the limit \(c \rightarrow \infty \), these have the right Galilean behavior.

    Q8

    This problem assumes you have some basic knowledge of quantum physics. One way of expressing the correspondence principle as applied to special relativity is that in the limit \(c \rightarrow \infty \), all relativistic expressions have to go over to their Galilean counterparts. What would be the corresponding limit if we wanted to recover classical mechanics from quantum mechanics?

    Q9

    In \(3 + 1\) dimensions, prove that if \(\overrightarrow{u}\) and \(\overrightarrow{v}\) are nonzero, future-lightlike, and not parallel to each other, then their sum is future-timelike.

    Q10

    Prove that if \(\overrightarrow{u}\) and \(\overrightarrow{v}\) are nonzero, lightlike, and orthogonal to each other, then they are parallel, i.e., \(\overrightarrow{u} = c \overrightarrow{v}\) for some \(c \neq 0\).

    Q11

    The speed at which a disturbance travels along a string under tension is given by \(v = \sqrt{\frac{T}{\mu}}\), where \(\mu\) is the mass per unit length, and \(T\) is the tension.

    1. Suppose a string has a density \(\rho\), and a cross-sectional area A. Find an expression for the maximum tension that could possibly exist in the string without producing \(v > c\), which is impossible according to relativity. Express your answer in terms of \(\rho\), A, and \(c\). The interpretation is that relativity puts a limit on how strong any material can be.
    2. Every substance has a tensile strength, defined as the force per unit area required to break it by pulling it apart. The tensile strength is measured in units of \(N/m^2\), which is the same as the pascal (\(Pa\)), the mks unit of pressure. Make a numerical estimate of the maximum tensile strength allowed by relativity in the case where the rope is made out of ordinary matter, with a density on the same order of magnitude as that of water. (For comparison, kevlar has a tensile strength of about \(4 \times 10^9\: Pa\), and there is speculation that fibers made from carbon nanotubes could have values as high as \(6 \times 10^{10}\: Pa\).)
    3. A black hole is a star that has collapsed and become very dense, so that its gravity is too strong for anything ever to escape from it. For instance, the escape velocity from a black hole is greater than \(c\), so a projectile can’t be shot out of it. Many people, when they hear this description of a black hole in terms of an escape velocity greater than \(c\), wonder why it still wouldn’t be possible to extract an object from a black hole by other means than launching it out as a projectile. For example, suppose we lower an astronaut into a black hole on a rope, and then pull him back out again. Why might this not work?

    Q12

    The rod in the figure is perfectly rigid. At event \(A\), the hammer strikes one end of the rod. At event \(B\), the other end moves. Since the rod is perfectly rigid, it can’t compress, so \(A\) and \(B\) are simultaneous. In frame \(2\), \(B\) happens before \(A\). Did the motion at the right end cause the person on the left to decide to pick up the hammer and use it?

    fig 1.E.2.png

    Q13

    Use a spacetime diagram to resolve the following relativity paradox. Relativity says that in one frame of reference, event \(A\) could happen before event \(B\), but in someone else’s frame \(B\) would come before \(A\). How can this be? Obviously the two people could meet up at \(A\) and talk as they cruised past each other. Wouldn’t they have to agree on whether \(B\) had already happened?

    Q14

    The grid represents spacetime in a certain frame of reference. Event \(A\) is marked with a dot. Mark additional points satisfying the following criteria. (Pick points that lie at the intersections of the gridlines.)

    fig 1.E.3.png

    Point \(B\) is at the same location as \(A\) in this frame of reference, and lies in its future.
    \(C\) is also in point \(A\)’s future, is not at the same location as \(A\) in this frame, but is in the same location as \(A\) according to some other frame of reference.
    \(D\) is simultaneous with \(A\) in this frame of reference.
    \(E\) is not simultaneous with \(A\) in this frame of reference, but is simultaneous with it according to some other frame.
    \(F\) lies in \(A\)’s past according to this frame of reference, but could not have caused \(A\).
    \(G\) lies in \(A\)’s future according to this frame of reference, but is in its past according to some other frames.
    \(H\) lies in \(A\)’s future according to any frame of reference, not just this one.
    \(I\) is the departure of a spaceship, which arrives at \(A\).
    \(J\) could have caused \(A\), but could not have been the departure of a spaceship like \(I\) that arrived later at \(A\).

    Q15

    1. Given an observer whose world-line is along a four-vector \(\overrightarrow{O}\), suppose we want to determine whether some other four-vector \(\overrightarrow{P}\) is also a possible world-line of an observer. Show that knowledge of the signs of the inner products \(\overrightarrow{O} \cdot \overrightarrow{P}\) and \(\overrightarrow{P} \cdot \overrightarrow{P}\) is necessary and sufficient to determine this.
    2. Suppose that \(\overrightarrow{U}\) and \(\overrightarrow{V}\) are both observer-vectors. What would it mean physically to compute \(\overrightarrow{U} + overrightarrow{V}\)?
    3. For vectors as described in part b, determine the signs of \[(\overrightarrow{U} + \overrightarrow{V}) \cdot (\overrightarrow{U} + \overrightarrow{V})\] and \[(\overrightarrow{U} + \overrightarrow{V}) \cdot \overrightarrow{U}\] by multiplying them out. Interpret the result physically.

    Q16

    In section 1.5, we proved the reversed Cauchy-Schwarz inequality for two timelike vectors, without any assumption as to whether they lay in the future or past light cones. But suppose that we had only established this fact for two vectors that were both future-directed. Show that the same inequality would then also have to hold regardless of whether one or both vectors was past-directed.

    Q17

    In the case of two future-directed timelike vectors, complete the proof of the reversed triangle inequality using the method suggested in section 1.5.

    Q18

    In section 1.5 we claimed that the reversed Cauchy-Schwarz inequality holds for two spacelike vectors that span the light cone. The purpose of this problem is to prove this fact using the following sketch of an argument provided by PhysicsForums user martinbn. Suppose that spacelike vectors \(\overrightarrow{m}\) and \(\overrightarrow{n}\) span the light cone, so that we can find some real number \(\alpha\) such that \(p = \alpha m + n\) is lightlike. Compute \(p^2\), and show that since \(\alpha\) is real, the reversed Cauchy- Schwarz inequality holds.

    Q19

    A length-contracted object has length \(L = \frac{L_0}{\gamma}\) Joe differentiates this with respect to time and finds \(\frac{dL}{dt} = −L_0v\gamma\frac{dv}{dt}\). He reasons that there is no upper limit on the magnitude of \(\frac{dv}{dt}\), and therefore if \(v \neq 0\) the quantity \(\frac{dL}{dt}\) can be arbitrarily large. This means that if an object accelerates away from an observer, its trailing edge can have \(v > c\), which is supposed to be forbidden by relativity. OMG! Is Joe’s reasoning correct?


    This page titled 1.E: Spacetime (Exercises) is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Benjamin Crowell via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?