|
A tensor, also called a Riemannian metric, which is symmetric and positive definite. Very roughly, the metric tensor is a function
which tells how to compute the distance between any two points in a given space. Its components can be viewed as multiplication factors
which must be placed in front of the differential displacements in a generalized
Pythagorean theorem
 |
(1)
|
In Euclidean space,
where is the Kronecker delta (which is 0 for and 1 for ), reproducing the usual form of the Pythagorean theorem
 |
(2)
|
The metric tensor is defined abstractly as an inner product of every tangent space
of a manifold such that the inner product is a symmetric, nondegenerate, bilinear form on a vector
space. This means that it takes two vectors as arguments and produces a real number such
that
 |
(3)
|
 |
(4)
|
 |
(5)
|
 |
(6)
|
 |
(7)
|
with equality iff .
In coordinate notation (with respect
to the basis),
 |
(8)
|
 |
(9)
|
 |
(10)
|
where is the Minkowski metric. This can also be written
 |
(11)
|
where
 |
(14)
|
gives
 |
(15)
|
The metric is positive definite, so metric discriminants
are positive. For a metric in two-space,
 |
(16)
|
The orthogonality of contravariant and covariant
metrics stipulated by
 |
(17)
|
for , ..., gives linear equations
relating the quantities and . therefore, if metrics are known,
the others can be determined.
In two-space,
if is symmetric, then
In Euclidean space (and all
other symmetric spaces),
 |
(23)
|
so
 |
(24)
|
The angle between two parametric
curves is given by
 |
(25)
|
so
 |
(26)
|
and
 |
(27)
|
The line element can be written
 |
(28)
|
where Einstein summation
has been used. But
 |
(29)
|
so
 |
(30)
|
For orthogonal coordinate systems, for , and the line element becomes (for three-space)
where are called the scale factors.
Misner, C. W.; Thorne, K. S.; and Wheeler, J. A. "The Metric Tensor." §2.4 in Gravitation. San Francisco, CA: W. H. Freeman,
pp. 51-53, 1973.
|