13.1: The Position Four-Vector
- Page ID
- 17445
\( \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}\)As we’ve seen in the previous section, we can define a ‘length’ ¢s that is invariant under Lorentz transformations as seen by Equation 12.2.2 (repeated again below):
\[(\Delta s)^{2}=(c \Delta t)^{2}-(\Delta \boldsymbol{x}) \cdot(\Delta \boldsymbol{x})=(c \Delta t)^{2}-(\Delta x)^{2}-(\Delta y)^{2}-(\Delta z)^{2}\label{13.1.1}\]
As is clear from the definition of \(\Delta s\), to get invariant quantities, we should not think of space as measured in three dimensions, but of spacetime, measured in four dimensions. This four-dimensional world of special relativity is called Minkowski space, and its vectors have four components: one for time and three for space. Conventionally, we add the time component as the zeroth component of the vector. To distinguish between ‘ordinary’, three-dimensional vectors (which are represented in bold) and four-vectors, we’ll put a line on top of the latter. The position four-vector is then given by:
\[\overline{\boldsymbol{x}}=\left(x_{0}, x_{1}, x_{2}, x_{3}\right)=(c t, x, y, z)\label{13.1.2}\]
We would like to be able to determine the length of the position four-vector by taking the inner product of the vector with itself. However, the regular inner product is not going to work, because instead of \((c t)^{2}+x^{2}+y^{2}+z^{2}\), the quantity that is independent of the reference frame is\((c t)^{2}-x^{2}-y^{2}-z^{2}\). We, therefore, define the inner product of two four-vectors \(\overline{\boldsymbol{a}}\) and \(\overline{\boldsymbol{b}}\) as
\[\overline{\boldsymbol{a}} \cdot \overline{\boldsymbol{b}}=a_{0} b_{0}-a_{1} b_{1}-a_{2} b_{2}-a_{3} b_{3}\label{13.1.3}\]
As we’ve already seen, the magnitude of the position four-vectors, as determined by its inner product with itself (Equation (12.2.2)) is independent of the inertial reference frame you use to measure it in. In problem 13.3 you’ll show that consequently, the value of the inner product of any two four-vectors is reference frame independent.
It may seem that we’re back to normal - we’ve added a dimension and introduced a new inner product, but with those, we should be able to do calculations just as easily as in ordinary 3D space. The last part is true, but the new inner product is actually different from the regular one in one very important respect: the value in equation (12.2.2) can be zero or even negative for nonzero four-vectors \(\overline{\boldsymbol{x}}\)! To see what’s going on, we return to the spacetime diagram, in particular, figure 12.1.1c. Suppose we have a particle traveling in the \(x\)-direction (taking \(y = z = 0\) for convenience). What speed does it need for the length of its four-vector to vanish? For that to happen we need \(ct = x\), or \(v = x/t = c\), so \(\overline{\boldsymbol{x}} \cdot \overline{\boldsymbol{x}}\) becomes zero for something traveling at the speed of light. Likewise, \(\overline{\boldsymbol{x}} \cdot \overline{\boldsymbol{x}}\) is positive for a particle traveling slower than light, and negative for a particle traveling faster than light (which is of course impossible, since such a particle would need to first reach the speed of light, which as we’ve seen can never be done). However, we can consider the four-vector \(\overline{\boldsymbol{x}}\) between any two points in spacetime, and from the sign of \(\overline{\boldsymbol{x}} \cdot \overline{\boldsymbol{x}}\) tell whether they can be connected through regular (slower than light) travel, by a light beam, or not at all. The first we call timelike, the second lightlike, and the third spacelike:
\[\begin{array}{ll}{\overline{\boldsymbol{x}} \cdot \overline{\boldsymbol{x}}>0} & {\text { timelike }} \\ {\overline{\boldsymbol{x}} \cdot \overline{\boldsymbol{x}}=0} & {\text { lightlike }} \\ {\overline{\boldsymbol{x}} \cdot \overline{\boldsymbol{x}}<0} & {\text { spacelike }}\end{array} \label{13.1.4}\]
Two events which are connected by a spacelike four-vector cannot influence each other: there is no way to send a signal between them, and therefore there is no way to transfer information.