made with Mathematica technology MathWorld

Metric Tensor

A tensor, also called a Riemannian metric, which is symmetric and positive definite. Very roughly, the metric tensor g_(ij) 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 dx_i in a generalized Pythagorean theorem

 ds^2=g_(11)dx_1^2+g_(12)dx_1dx_2+g_(22)dx_2^2+....
(1)

In Euclidean space, g_(ij)=delta_(ij) where delta is the Kronecker delta (which is 0 for i!=j and 1 for i=j), reproducing the usual form of the Pythagorean theorem

 ds^2=dx_1^2+dx_2^2+....
(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 v,w as arguments and produces a real number <v,w> such that

 <kv,w>=k<v,w>=<v,kw>
(3)
 <v+w,x>=<v,x>+<w,x>
(4)
 <v,w+x>=<v,w>+<v,x>
(5)
 <v,w>=<w,v>
(6)
 <v,v>>=0,
(7)

with equality iff v=0.

In coordinate notation (with respect to the basis),

 g^(alphabeta)=e^->^alpha·e^->^beta
(8)
 g_(alphabeta)=e^->_alpha·e^->_beta
(9)
 g_(munu)=(partialxi^alpha)/(partialx^mu)(partialxi^beta)/(partialx^nu)eta_(alphabeta),
(10)

where eta_(alphabeta) is the Minkowski metric. This can also be written

 g=D^(T)etaD,
(11)

where

D_(alphamu)=(partialxi^alpha)/(partialx^mu)
(12)
D_(alphamu)^(T)=D_(mualpha).
(13)
 partial/(partialx^m)g_(il)g^(lk)=partial/(partialx^m)delta_i^k
(14)

gives

 g_(il)(partialg^(lk))/(partialx^m)=-g^(lk)(partialg_(il))/(partialx^m).
(15)

The metric is positive definite, so metric discriminants are positive. For a metric in two-space,

 g=g_(11)g_(22)-g_(12)^2>0.
(16)

The orthogonality of contravariant and covariant metrics stipulated by

 g_(ik)g^(ij)=delta_k^j
(17)

for i=1, ..., n gives n linear equations relating the 2n quantities g_(ij) and g^(ij). therefore, if n metrics are known, the others can be determined.

In two-space,

g^(11)=(g_(22))/g
(18)
g^(12)=g^(21)=-(g_(12))/g
(19)
g^(22)=(g_(11))/g.
(20)

if g is symmetric, then

g_(alphabeta)=g_(betaalpha)
(21)
g^(alphabeta)=g^(betaalpha).
(22)

In Euclidean space (and all other symmetric spaces),

 g_alpha^beta=g^beta_alpha=delta_alpha^beta,
(23)

so

 g_(alphaalpha)=1/(g^(alphaalpha)).
(24)

The angle phi between two parametric curves is given by

 cosphi=r_1^^·r_2^^=(r_1)/(g_1)·(r_2)/(g_2)=(g_(12))/(g_1g_2),
(25)

so

 sinphi=(sqrt(g))/(g_1g_2)
(26)

and

 |r_1xr_2|=g_1g_2sinphi=sqrt(g).
(27)

The line element can be written

 ds^2=dx_idx_i=g_(ij)dq_idq_j
(28)

where Einstein summation has been used. But

 dx_i=(partialx_i)/(partialq_1)dq_1+(partialx_i)/(partialq_2)dq_2+(partialx_i)/(partialq_3)dq_3=(partialx_i)/(partialq_j)dq_j,
(29)

so

 g_(ij)=sum_(k)(partialx_k)/(partialq_i)(partialx_k)/(partialq_j).
(30)

For orthogonal coordinate systems, g_(ij)=0 for i!=j, and the line element becomes (for three-space)

ds^2=g_(11)dq_1^2+g_(22)dq_2^2+g_(33)dq_3^2
(31)
=(h_1dq_1)^2+(h_2dq_2)^2+(h_3dq_3)^2,
(32)

where h_i=sqrt(g_(ii)) are called the scale factors.

SEE ALSO: Curvilinear Coordinates, Lichnerowicz Conditions, Line Element, Metric, Metric Discriminant, Metric Equivalence Problem, Minkowski Space, Scale Factor, Space

REFERENCES:

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.




CITE THIS AS:

Weisstein, Eric W. "Metric Tensor." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/MetricTensor.html

The Wolfram Demonstrations Project Browse Topics View Latest
JUST RELEASED: Wolfram Mathematica 7