Metric tensor
Definition
In mathematics, a (covariant) metric tensor g is a nonsingular symmetric tensor field of rank 2 that is used to measure distance in a space. In other words, given a smooth manifold, we make a choice of (0,2) tensor on the manifold's tangent spaces. At a given point in the manifold, this tensor takes a pair of vectors in the tangent space to that point, and gives a real number. If it is positive, this is just an inner product on each tangent space, which is required to vary smoothly from point to point. There is also a contravariant metric tensor, which is a (2,0) tensor; see below.
Suppose we feed two copies of the same non zero vector into the metric. If the metric will only ever give us back positive numbers, we say that the metric is positive definite. In this case, the metric is called a Riemannian metric. More generally, when the metric may give a negative value or zero (again assuming it is applied to two identical non zero vectors), the metric is called pseudo-Riemannian. In special and general relativity, spacetime is assumed to have a pseudo-Riemannian metric (more specifically, a Lorentzian metric).
The manifold may also be given an affine connection, which is roughly an idea of change from one point to another. If the metric doesn't "vary from point to point" under this connection, we say that the metric and connection are compatible, and the connection is a metric connection. If this connection also commutes with itself when acting on a scalar function, we say that it is torsion-free, and the manifold is a Riemannian manifold.
More generally, one may speak of a metric in a vector bundle. Thus if E is a vector bundle over a manifold, then a metric is a non-singular bilinear map E ⊕ E → E. Using duality, a metric is often identified with a section of the tensor product bundle E* ⊗ E*. In particular, if E is the tangent bundle, then a metric g is a section of the tensor product of the cotangent bundle with itself: i.e., it is a rank 2 covariant tensor on the manifold. (See metric (vector bundle).)
Covariant and contravariant metric tensors
The covariant metric tensor is a structure on the tangent space; the contravariant metric tensor is the corresponding structure on the cotangent space.
A nonsingular form is an isomorphism ; the inverse is a map , which yields (by the tensor-hom adjunction) a map , that is, a (2,0) tensor.
In coordinates, if is the matrix for the covariant metric tensor, then the matrix for the contravariant metric tensor is the inverse (sometimes there is a transpose, depending on convention). Symbolically,
The covariant and contravariant metric tensors are equivalent data, but they transform differently under change of coordinates; see covariance and contravariance of vectors.
They can be used in raising and lowering indices.
The contravariant metric tensor is also called the conjugate metric tensor.
Matrix properties
The matrix for the metric tensor is diagonal in a system of coordinates if and only if the moving frame is orthogonal with respect to the metric. The square roots of the diagonal entries are called the scale factors.
With respect to an orthonormal basis, the metric tensor is the identity matrix, and you can raise and lower indices indiscriminantly.
Measuring length and angles with a metric
Once a local coordinate system is chosen, the metric tensor appears as a matrix, conventionally denoted . The notation is conventionally used for the components of the metric tensor. More precisely, , where the inner product of the riemannian manifold is used and is the partial derivative (also called derivation) in direction .
Note that in the following, we use the Einstein summation notation for implicit sums (i.e., each index below has its counterpart index above).
In a Riemannian manifold, the length of a segment of a curve parameterized by t, from a to b, is defined as:
The angle between two tangent vectors, and , is defined as:
The induced metric tensor for a smooth embedding of a manifold into Euclidean space can be computed by the formula
where denotes the Jacobian of the embedding and its transpose.
For a pseudo-Riemannian metric, the length formula above is not always defined, because the term under the square root may become negative. We generally only define the length of a curve when the quantity under the square root is always of one sign or the other. In this case, we define
Note that, while these formulas use coordinate expressions, they are in fact independent of the coordinates chosen; they depend only on the metric, and the curve along which the formula is integrated.
The energy, variational principles and geodesics
Given a segment of a curve, another frequently defined quantity is the (kinetic) energy of the curve:
This usage comes from physics, specifically, classical mechanics, where the integral E can be seen to directly correspond to the kinetic energy of a point particle moving on the surface of a manifold. Thus, for example, in Jacobi's formulation of Maupertuis principle, the metric tensor can be seen to correspond to the mass tensor of a moving particle.
In many cases, whenever a calculation calls for the length to be used, a similar calculation using the energy may be done as well. This often leads to simpler formulas by avoiding the need for the square-root. Thus, for example, the geodesic equations may be obtained by applying variational principles to either the length or the energy. In the later case, the geodesic equations are seen to arise from the principle of least action: they describe the motion of a "free particle" (a particle feeling no forces) that is confined to move on the manifold, but otherwise moves freely, with constant momentum, within the manifold.
Examples
The Euclidean metric
The most familiar example is that of basic high-school geometry: the two-dimensional Euclidean metric tensor. In the usual - coordinates, we can write
The length of a curve reduces to the familiar calculus formula:
The Euclidean metric in some other common coordinate systems can be written as follows.
So
In general, if the are Cartesian (i.e. orthogonal) coordinates on a Euclidean space, the metric tensor with respect to arbitrary (possibly curvilinear) coordinates is given by:
The round metric on a sphere
The unit sphere in R3 comes equipped with a natural metric induced from the ambient Euclidean metric. In standard spherical coordinates the metric takes the form
This is usually written in the form
Lorentzian metrics from relativity
In flat Minkowski space (special relativity), with coordinates the metric is
For a curve with—for example—constant time coordinate, the length formula with this metric reduces to the usual length formula. For a timelike curve, the length formula gives the proper time along the curve.
In this case, the spacetime interval is written as
The Schwarzschild metric describes the spacetime around a spherically symmetric body, such as a planet, or a black hole. With coordinates , we can write the metric as
The tangent-cotangent isomorphism
In tensor analysis, the metric tensor is often used to provide a canonical isomorphism from the tangent space to the cotangent space. For each contravariant vector there is a covariant vector which is related by a metric tensor g:
This also works the other way:
From these definitions it also becomes obvious that
where is the four dimensional Kronecker delta defined by
In more mathematical terms: given a manifold M, v ∈ TpM and a metric tensor g on M, we have that g(v, . ), the mapping that sends another given vector w ∈ TpM to g(v,w), is an element of the dual space Tp*M. The nondegeneracy of the metric tensor makes it a one-to-one correspondence, and the fact that g itself is a tensor means that this identification is independent of coordinates. This is the linear algebra version of Riesz representation theorem. In component terminology, it means that one can identify covariant and contravariant objects i.e. "raise and lower indices."
This has a physical interpretation. The metric tensor defines units, and unit vectors, of physical measurement. For instance, one may ask, what is the scale for these measurements? A choice of basis defines the system of units on our manifold. The notions of contravariance and covariance correspond to quantities whose components transform "inversely" or "with" the coordinate system, hence the names. For example, consider R3 with the standard coordinate chart. If we transform the coordinate system by scaling the unit distance (say meters) down by a factor of 1000, the displacement vector (1,2,3) becomes (1000,2000,3000). On the other hand, if (1,2,3) represents a dual vector (for example, electric field strength), an object which takes a displacement vector and yields a scalar (in the example: potential difference in, say, volts), then the transformed coordinates become (0.001,0.002,0.003). What does the Euclidean metric on R3 do? (1,2,3) becoming (1000,2000,3000) makes sense because scaling down by 1000 takes meters to millimeters. For the field strength vector, (1,2,3) becoming (0.001, 0.002, 0.003) is a reflection of field strength going from volts per meter to volts per millimeter.
But what is the contravariant version of the field strength? How can we make a field strength vector's coordinates go from (1,2,3) to (1000,2000,3000)? The solution is to view the scale-down-by-1000 transformation as affecting the volts on the units V/m instead of the meters so that our new strength is measured in millivolts per meter. The metric tensor tells us precisely that we are still dealing with the same object; that is, it identifies the scaling of the basis vectors for the units "in the denominator" with a corresponding inverse change "in the numerator." Although somewhat trivial for R3, for general manifolds M it is very important since one can only define things locally. One can also imagine, for example, defining different units on R3 which vary from point to point.
Conjugate Metric Tensor
The conjugate metric tensor is defined as the transposed cofactor of the metric tensor divided by the determinant of the metric tensor.
a short calculation shows that
where is the Kronecker delta.
See also
- Basic introduction to the mathematics of curved spacetime
- Pseudo-Riemannian metric
- Metric tensor (general relativity)
- List of coordinate charts
- Musical isomorphism
- Finsler manifold
External links
- Caltech Tutorial on Relativity — A simple introduction to the basics of metrics in the context of relativity.