The Metric Tensor

The metric tensor is the fundamental object in GR that tells us how to measure distances and angles in curved spacetime.

What is a Metric?

A metric defines the notion of distance on a space. In flat 3D space, the distance between two nearby points is given by the Pythagorean theorem:

Euclidean Distance
ds2=dx2+dy2+dz2ds^2 = dx^2 + dy^2 + dz^2

But in curved spaces or spacetime, the relationship between coordinate differences and actual distances is more complex.

The Line Element

In general coordinates, the infinitesimal spacetime interval is:

General Line Element
ds2=gμνdxμdxνds^2 = g_{\mu\nu} \, dx^\mu \, dx^\nu

Here gμνg_{\mu\nu} is the metric tensor, a symmetric rank-2 tensor that encodes all geometric information about the spacetime.

Being symmetric (gμν=gνμg_{\mu\nu} = g_{\nu\mu}), the metric has 10 independent components in 4D spacetime.

Minkowski Metric

In flat spacetime (special relativity), the metric is the Minkowski metric:

Minkowski Metric
ημν=(1000010000100001)\eta_{\mu\nu} = \begin{pmatrix} -1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}

This gives the spacetime interval:

ds2=c2dt2+dx2+dy2+dz2ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2

The minus sign on the time component distinguishes time from space and is what makes spacetime Lorentzian rather than Euclidean.

Raising and Lowering Indices

The metric tensor converts between contravariant and covariant components:

Lowering an index
Vμ=gμνVνV_\mu = g_{\mu\nu} V^\nu
Raising an index
Vμ=gμνVνV^\mu = g^{\mu\nu} V_\nu

Here gμνg^{\mu\nu} is the inverse metric, defined by:

Inverse Metric
gμρgρν=δνμg^{\mu\rho} g_{\rho\nu} = \delta^\mu_\nu

where δνμ\delta^\mu_\nu is the Kronecker delta (identity matrix).

Schwarzschild Metric

The simplest curved spacetime solution is the Schwarzschild metric, describing the spacetime outside a spherically symmetric, non-rotating mass:

Schwarzschild Metric
ds2=(12GMc2r)c2dt2+(12GMc2r)1dr2+r2dΩ2ds^2 = -\left(1 - \frac{2GM}{c^2 r}\right)c^2 dt^2 + \left(1 - \frac{2GM}{c^2 r}\right)^{-1} dr^2 + r^2 d\Omega^2

where dΩ2=dθ2+sin2θdϕ2d\Omega^2 = d\theta^2 + \sin^2\theta \, d\phi^2 is the angular part, and the Schwarzschild radius is rs=2GM/c2r_s = 2GM/c^2.

Schwarzschild Spacetime

Visualize how mass curves spacetime. The grid shows the warping described by the metric tensor.

Physical Meaning

The metric determines:

  • Proper time: dτ=ds2/cd\tau = \sqrt{-ds^2}/c for timelike intervals
  • Proper distance: d=ds2d\ell = \sqrt{ds^2} for spacelike intervals
  • Angles between vectors via inner products
  • Null geodesics: paths where ds2=0ds^2 = 0 (light rays)

Signature

The signature of a metric refers to the signs of its eigenvalues. In GR, we use a Lorentzian signature with one time and three space dimensions:

  • (,+,+,+)(-,+,+,+) - "mostly plus" convention (used here)
  • (+,,,)(+,-,-,-) - "mostly minus" convention

Both conventions are equivalent; just be consistent!

Key Insight

In GR, gravity is not a force - it's encoded in the metric tensor! A massive object curves spacetime by changing the metric, and this curved geometry determines how objects move. Finding the metric for a given matter distribution is what solving Einstein's equations is all about.