Skip to main content
Physics LibreTexts

7.3: Transformation of the Metric

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

    Learning Objectives

    • Explain the transformation of the metric when we change from Minkowski coordinates

    Continuing with the example of accelerated coordinates, let’s find what happens to the metric when we change from Minkowski coordinates. Minkowski coordinates are essentially defined so that the metric has the familiar form with coefficients \(+1\) and \(-1\). In relativity, one often presents the metric by showing its result when applied to an infinitesimal displacement \((dt,dx)\):

    \[ds^2 = dt^2 - dx^2\]

    Here \(ds\) would represent proper time, in the case where the displacement was timelike. Since we’ve already determined that

    \[dt = X \cosh T dT + \sinh T dX\]

    and

    \[dx = X \sinh T dT + \cosh T dX\]

    we can simply substitute into the expression for ds in order to find the form of the metric in \((T,X)\) coordinates. Employing the identity \(\cosh ^2 - \sinh ^2 = 1\), we find

    \[ds^2 = X^2 dT^2 - dX^2\]

    The varying value of the \(dT^2\) coefficient is in fact exactly the kind of gravitational time dilation effect whose existence we predicted in section 5.2 based on the equivalence principle. The form of the metric inferred there was

    \[ds^2 ≈ (1 + 2∆Φ) dT^2 - dX^2\]

    where \(∆Φ\) is the difference in gravitational potential relative to some reference height. One of the approximations employed was the assumption that the range of heights \(X\) was small, but subject to that approximation, the two results should agree. For convenience, let’s consider observers in the region \(X ≈ 1\), where the acceleration is approximately \(1\). Then the \(∆Φ = Φ(1 + ∆X) - Φ(1) ≈ \text{(acceleration)(height)} ≈ X\), so the time coefficient in the second form of the metric is \(≈ 1+2∆Φ ≈ 1+2∆X\). But to within the desired level of approximation, this is the same as \(X^2 = (1+∆X)^2 ≈ 1 + 2∆X\).

    The procedure employed above works in general. To transform the metric from coordinates \((t,x,y,z)\) to new coordinates \((t',x',y',z')\), we obtain the unprimed coordinates in terms of the primed ones, take differentials on both sides, and eliminate \(t, ..., dt, ...\) in favor of \(t', ...dt', ...\) in the expression for \(ds^2\). We’ll see in section 9.2, that this is an example of a more general transformation law for tensors, mathematical objects that generalize vectors and covectors in the same way that matrices generalize row and column vectors. A scalar, with no indices, is called a tensor of rank \(0\). Vectors and covectors, having one index, are called rank-\(1\) tensors.

    Example \(\PageIndex{1}\): A map projection

    Because the earth’s surface is curved, it is not possible to represent it on a flat map without distortion. Let \(φ\) be the latitude, θ the angle measured down from the north pole (known as the colatitude), both measured in radians, and let a be the earth’s radius. Then by the definition of radian measure, an infinitesimal north-south displacement by \(dθ\) is a distance \(adθ\). A point at a given colatitude \(θ\) lies at a distance \(a \sinθ\) from the axis, so for an infinitesimal east-west distance we have \(a \sin θ dφ\). For convenience, let the units be chosen such that \(a = 1\). Then the metric, with signature \(++\), is

    \[ds^2 = dθ^2 +\sin^2 θ dφ\]

    One of the many possible ways of forming a flat map is the Lambert cylindrical projection,

    \[x = φ\]

    \[y = \cosθ\]

    is shown in figure \(\PageIndex{1}\). If we see a distance on the map and want to know how far it actually is on the earth’s surface, we need

    to transform the metric into the \((x,y)\) coordinates. The inverse coordinate transformation is

    \[φ = x\]

    \[θ = \cos^{-1} y\]

    Taking differentials on both sides, we get

    \[dφ = dx\]

    \[d\theta = -\dfrac{dy}{\sqrt{1-y^2}}\]

    We take the metric and eliminate \(θ\), \(φ\), \(dθ\), and \(dφ\), finding

    \[ds^2 = (1 - y^2)dx^2 + \dfrac{1}{1 - y^2}dy^2\]

    In Fgure \(\PageIndex{1}\), the polka-dot pattern is made of figures that are actually circles, all of equal size, on the earth’s surface. Since they are fairly small, we can approximate \(y\) as having a single value for each circle, which means that they are represented on the flat map as approximate ellipses with their east-west dimensions having been stretched by \((1 - y^2)^{-1/2}\) and their north-south ones shrunk by \((1 - y^2)^{1/2}\). Since these two factors are reciprocals of one another, the area of each ellipse is the same as the area of the original circle, and therefore the same as those of all the other ellipses. They are a visual representation of the metric, and they demonstrate the equal-area property of this projection.

    fig 7.3.1.png
    Figure \(\PageIndex{1}\): The polka-dot pattern is made of figures that are actually circles, all of equal size, on the earth’s surface.

    This page titled 7.3: Transformation of the Metric 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?