Skip to content
AI360Xpert
Beta

Riemannian Metrics

A Riemannian metric is a smoothly varying inner product that turns local velocities into lengths, angles, and shortest paths on curved spaces.

The metric ellipse at each point shows which directions count as long or short
The metric ellipse at each point shows which directions count as long or short

Why Does This Exist?

Once you know the feasible directions (tangents), you still cannot say which step is large: a unit coordinate move can mean a tiny or huge behavior change depending on position. Without a ruler, step sizes are meaningless and shortest paths undefined.

The Riemannian metric installs that ruler, varying smoothly from point to point. It powers geodesics, volume, and the Fisher geometry of statistics. Prerequisites: manifolds, tangent spaces. Application: Fisher metric.

The one idea you need first

An inner product ⟨u,v⟩\langle u, v\rangle gives lengths ∥v∥=⟨v,v⟩\|v\| = \sqrt{\langle v,v\rangle} and angles. A metric assigns one such product gpg_p to every tangent plane, changing with pp.

Think of It Like This

Wind that changes with altitude

Two identical strides cost different effort depending on altitude: thin air up high, thick air below. A fixed pedometer lies about the workout; a wind-adjusted meter tells the truth.

The metric is that adjustment card, posted at every point. It stretches the ruler where motion is expensive and shrinks it where motion is cheap, so path lengths reflect real cost.

Where the analogy stops: metrics must vary smoothly and stay positive definite, or lengths and angles break.

How It Actually Works

In coordinates, gg is a symmetric positive-definite matrix G(x)G(x) and ∥v∥2=vTG(x)v\|v\|^2 = v^T G(x) v. Curve length integrates ∫γ˙TG(γ)γ˙ dt\int \sqrt{\dot{\gamma}^T G(\gamma)\dot{\gamma}}\,dt. The metric also gives volume dvol=det⁡G dxd\text{vol} = \sqrt{\det G}\,dx and converts covectors to gradients via G−1G^{-1}.

Worked example

Scaled metric on R2\mathbb{R}^2: G=diag(1,4)G = \text{diag}(1, 4), so vertical moves cost double:

  • Vector (1,0)(1, 0): length 11. Vector (0,1)(0, 1): length 4=2\sqrt{4} = 2.
  • Curve A (straight): (0,0)→(0,2)(0,0) \to (0,2) has length 2×2=42 \times 2 = 4.
  • Curve B (detour): (0,0)→(2,0)→(2,2)(0,0) \to (2,0) \to (2,2) has length 2+4=62 + 4 = 6. Straight wins here.
  • Under G=diag(9,1)G = \text{diag}(9, 1) the ranking flips: A costs 22, B costs 6+2=86 + 2 = 8? No: horizontal legs cost 33 per unit, so B =6+2=8= 6 + 2 = 8 vs A =2= 2. Metric decides the shortest route, not coordinates.

Watch Out For

Averaging metric matrices like plain numbers

The mean of two positive-definite matrices is positive definite, but naive Euclidean averaging distorts distances and volumes badly under strong anisotropy.

Use affine-invariant or Log-Euclidean means when the metric itself is the object being averaged.

Ignoring the volume factor in sampling

Uniform coordinate sampling oversamples regions where det⁡G\sqrt{\det G} is small. Density estimates and Monte Carlo integrals come out biased.

Weight by the volume element or parametrize by an isometric chart when sampling manifolds.

The Quick Version

  • A Riemannian metric puts a smoothly varying inner product on every tangent plane.
  • Lengths, angles, gradients, and volumes all derive from that one object.
  • Coordinate-identical vectors can have very different true lengths.
  • Shortest paths depend on the metric, not on coordinate straightness.
  • The Fisher matrix is the canonical metric for statistical families.