## Wednesday, October 21, 2009

### Bad Language: Metric vs Metric Tensor vs Matrix Form vs Line Element

Physicists: Stop using the word “metric” to mean so many different things. A metric tensor is NOT the same object as a metric, it is NOT the same object as its matrix representation, and it is NOT the same object as its associated line element. You should not use those words interchangeably, they are not equivalent structures.

A metric is a function defined on a set.
A metric tensor is a tensor field.

If local coordinates are known:
The matrix representation of a metric tensor is a matrix.
The line element is a function of a metric.

In mathematics, the word metric refers to a fairly general function which defines ‘distance’ between elements in a set (it takes in elements of a set, and produces a real number). Riemannian and pseudo-Riemannian metrics (there are many more kinds of classification of metric too) have different conditions on those functions, but that’s more detail than is required here.

A metric tensor is a function defined on a manifold (a vector space) that takes in two tangent vectors and produces a scalar quantity. Metric tensors are used to define the angle between and length of tangent vectors (somewhat analogous to the dot product of vectors in Euclidean space)

Defining a metric versus a metric tensor:

Consider a smooth manifold of dimension n. For every point x in our manifold, there is a vector space called a tangent space (a tangent space contains all of the tangent vectors to our manifold at the specific point x).

Now, a metric at our point x is a function gx(Xx,Yx), which takes in the two tangent vectors Xx and Yx (at x), and outputs a real number. The metric function must also be bilinear, symmetric, and nondegenerate, but we don’t need to go into further details.

Now we can define a metric tensor, g, on our manifold: The metric tensor assigns a metric, gx, to every point x in the manifold (such that it varies smoothly with x in the manifold). The metric tensor is then:

g(X,Y)(x) = gx(Xx,Yx)

For those familiar with tensors, it should be clear that the metric tensor is actually a (a tensor is assigned to each point of our mathematical space). A metric tensor is not the same as a metric (it’s more analogous to an ‘infinitesimal’ metric function), but it is usually understood in differential geometry and related areas in physics that when one says “metric”, they really mean “metric tensor”. Mathematically, they are not equivalent objects, but integration of a metric tensor does induce a metric function.

Most of the time when actually doing physics, we don’t want such a general object. If local coordinates are known, the metric tensor can be expressed in a variety of more useful forms.

If we are in a region of the manifold where we have defined a local coordinate system, ie. xμ (where μ runs from 0 to 3), we can re-write our metric tensor [field] as:

g = gμν dxμdxν

where, gμν are real-valued functions, and dxμ are one-forms.

If we have local coordinates defined, we can then represent the metric tensor in, where, for our four-dimensional spacetime, we will have a 4x4 matrix with elements gμν.

In our local coordinates, if we take dxμ to be an infinitesimal coordinate displacement, we can write out a line element: ds2 = gμν dxμdxν. The line element, we know, is incredibly useful, as it provides us with an invariant quantity and also imparts information about causal structure.

EDIT: A note from The Unapologetic Mathematician that I should add: "the metric tensor is a bilinear function of two vectors at a given point, while the line element is a quadratic function of a single vector. However, the polarization identities will allow you to recover the bilinear function from the quadratic one."

Why does this matter? Well, for starters, general relativity is really all about your frame of reference and choice of coordinates. Some structures are unchanged regardless of your choice of coordinates (ie. the metric function & metric tensor), and some structures change with change in coordinates (ie. the matrix representation of a metric and the associated line element).

Just a couple of (well cited) offenders:

C. Brans and R. H. Dicke, Mach's Principle and a Relativistic Theory of Gravitation . Phys. Rev. 124, 925 (1961), Cited 1,139 times.

As in general relativity the metric tensor is written as

gij = ηij + hij

EDIT: If I included more of the quote, it would have been obvious that local coordinates had already been chosen and they weren't writing out a general metric tensor, but a coordinate specific object. The reference is cited for context. Abstract index notation for tensors uses indices to indicate the type of tensor, rather than to indicate components in a particular basis

As I said above, gij is not the metric tensor, or a tensor at all, but a set of real-valued function specified for a local coordinate system (gij are also the matrix elements in the matrix representation - in those coordinates - of the metric tensor). The same goes for ηij and hij as well.

___________________________

Tullio Regge and John A. Wheeler, . Phys. Rev. 108, 1063 (1957), Cited 476 times (two authors I respect immensely)

Schwarzchild found long ago the solution of Einstein equations for the metric around a fixed spherically symmetrical center-of-mass:

ds2 = -(1-3m*/r)dT2 + (1 – 2m*/r)-1 dr2 + r2(dθ+sin2θdφ2) …

This is the line element, not the metric.

___________________________

Brandon Carter, Global Structure of the Kerr Family of Gravitational Fields . Phys. Rev. 174, 1559 (1968), Cited 383 times

The covariant form of the metric tensor is expressed in terms of three parameters, m, e, and a by

ds2 = ρ2dθ2 – 2a sin2θdrdφ + 2drdu + …

Again, this is a line element, not a metric tensor.

___________________________

Marshall N. Rosenbluth, William M. MacDonald, and David L. Judd, Fokker-Planck Equation for an Inverse-Square Force. Phys. Rev. 107, 1 (1957), Cited 263 times.

Let the expression for distance between two points whose coordinates differ by dq1, dq2, and dq3 be

(ds)2= aμνdqμdqν,

Where aμν is a metric tensor…

Again, aμν is not a metric tensor, but a coefficient, when working in local coordinates from this (local coordinate specific) representation of the metric tensor: aμν dxμdxν

___________________________

It isn’t that hard to say “line element”, or “matrix representation in local coordinates…”, or “matrix element in local coordinates…” instead of “metric tensor” or "metric" so why don't we?

-S.C. Kavassalis

1. The problem goes far deeper than you indicate here. The long-standing tradition in much of the physics literature is to conflate certain geometric objects with their components w.r.t. some understood basis. There are many examples in the literature defining a vector (vector field) as a triple of real numbers (real-valued functions) which transform in a certain way under certain coordinate changes.

But here's the problem: that viewpoint predates the abstract, modern, coordinate-free, mathematical view that you're implicitly espousing here. Yes, the modern view clears up the notation a lot, but it's still new and can be seen as presumptuous.

As for the line element, there's one thing you missed in your complaints: the metric tensor is a bilinear function of two vectors at a given point, while the line element is a quadratic function of a single vector. However, the polarization identities will allow you to recover the bilinear function from the quadratic one.

2. Thanks for your comment, you are quite right about all of that. I made an edit to include your remark about the metric tensor versus the line element, as you're right, it is an important distinction, and I completely forgot to include it.

I agree that my view point and expectations are rather presumptuous, but that's because I think physicists finally need to get on the ball, so to speak, in terms of mathematics. When you borrow tools from another field, it's only right to use them properly. Seeing how many physicists butcher the concepts of "vectors" and "tensors" and "forms" is kind of disheartening. If they want to redefine concepts, that's fine, but they should at least do so rigorously and state it.

Ideally, in my mind, when using math, we should all be working from the nice modern, abstract picture of it. Unfortunately, the sciences don't seem to agree (most of the time).

3. In the abstract index notation indexed quantities can mean geometric objects.

4. Гав - I don't disagree with that at all. The examples I was citing were trying to show cases where the objects being referred to as tensors, were actually something else.