In what sense is a pseudo-Riemannian metric a "metric"?

Solution 1:

As an American president once said "it all depends on what the meaning of the word is is". If you look at the definition, it is clear that Riemannian metrics, as defined, are not distance functions. When you say that a (connected) Riemannian manifold $(M,g)$ is a metric space, you are actually saying that there exists a certain functor from the category of Riemannian manifolds to the category of metric spaces: $$ \Phi: (M,g)\mapsto (M, d_g) $$ where $d_g$ is the Riemannian distance function. (If you do not know what functors and categories are, just think of functors as maps and categories as sets, even though this is, strictly speaking, false.) This functor is like a conversion procedure from, say, kilograms to pounds (except, it is not invertible). The functor $\Phi$ is defined by first assigning a quantity, which we call length $L_g(p)$ to each (rectifiable) path $p$ in $M$ and then minimizing.

The step $g\mapsto L_g$ makes sense even for pseudo-Riemannian manifolds, just you get some paths of negative length. It is the 2nd step which fails: If you try to minimize, you will (frequently) get $-\infty$, which is not particularly useful.

Remark. What I said above about isometries: Both categories of Riemannian manifolds and metric spaces have their own notions of isometric maps and these two notions do not correspond to each other under the functor $\Phi$. For instance, a Riemannian geometer would think of the circle of length $2\pi$ isometrically embedded into $R^2$ (with the image of the embedding being the standard unit circle). But this embedding does not preserve distances between points! This is another reason I do not like to use the word is for the relation between Riemannian manifolds and metric spaces. However, assuming that you know what functors are, otherwise, just ignore this: $\Phi$ does become a functor if we use 1-Lipschitz maps between spaces as morphisms for both Riemannian manifolds and metric spaces.

Now, to your question of why do we call pseudo-Riemannian metrics metrics, it is all matter of habit and tradition. You can think of three different worlds:

  1. Metric geometry

  2. Riemannian geometry.

  3. Pseudo-Riemannian geometry.

They all have their notions of metrics (and isometries), but these notions have different meanings. It is as if people who speak different languages can occasionally use the same word, but it has different meaning in these languages. My favorite example is the word application, which has different meaning in English and in French.

Solution 2:

A Riemannian metric is not a metric, in the same way that an alleged criminal is not (necessarily) a criminal. A Riemannian metric is a smoothly varying positive-definite bilinear form on the tangent spaces. By extension, we call any non-degenerate --- not necessarily positive-definite --- bilinear form on the tangent spaces a pseudo-Riemannian metric. In this sense, it is not strange to call the object you get when you drop positive definiteness a (pseudo) metric.

To turn a Riemannian metric into a metric, you have to integrate.

Solution 3:

Well in a pseudo Riemannian manifold, at least in a Lorentz manifold, you can define a "distance" between points that are connected with causal curves, the diference between this distance and some Riemannian distance is that there could be some points p,q with p not equal to q such that d'(p,q)=0 (I am using the "distance" here defined for a Lorentz manifold) ... Check this out

http://www.math.miami.edu/~galloway/vienna-course-notes.pdf