Riemannian Metrics
A Riemannian metric is a smoothly varying inner product that turns local velocities into lengths, angles, and shortest paths on curved spaces.
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 gives lengths and angles. A metric assigns one such product to every tangent plane, changing with .
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, is a symmetric positive-definite matrix and . Curve length integrates . The metric also gives volume and converts covectors to gradients via .
Worked example
Scaled metric on : , so vertical moves cost double:
- Vector : length . Vector : length .
- Curve A (straight): has length .
- Curve B (detour): has length . Straight wins here.
- Under the ranking flips: A costs , B costs ? No: horizontal legs cost per unit, so B vs A . 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 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.