Talk:Metric tensor (general relativity)

From Wikipedia, the free encyclopedia

	Portal This article is within the scope of WikiProject Physics, which collaborates on articles related to physics.
???	This article has not yet received a rating on the assessment scale. [FAQ]
???	This article has not yet received an importance rating within physics.
Help with this template Please rate this article, and then leave comments to explain the ratings and/or to identify its strengths and weaknesses.

To-do list for Metric tensor (general relativity):	edit · history · watch · refresh
Discussion of metric as gravitational potential (+ link to weak-field approximation). Raising and lowering indices. Cut down the 'volume' section (and shift that derivation to another article - or just get rid of it).

[edit] Cut material

I cut out the material on the volume form which properly belongs at volume form. Here it is for reference:

Let [g] be the matrix of elements $g μν$ . Matrix [g] is symmetric, so due to a corollary of the spectral theorem, there exists an orthogonal transformation matrix Λ which diagonalizes [g], e.g.

$D = \Lambda^\top [g] \Lambda$

where D is a diagonal matrix whose diagonal elements are eigenvalues of [g]: $D αα = λ α$ . (Note that Λ can be chosen so that the eigenvalues are in numerical order, D₀₀ being the smallest.) Then there is a diagonal matrix V which "unitizes" D, i.e. which applies the mapping $\lambda_\alpha \mapsto \mbox{sgn} (\lambda_\alpha)$ to the diagonal elements of D. Such matrix V has diagonal elements

$V_{\alpha\alpha} = \left\{ \begin{matrix} {1 \over \sqrt{| \lambda_\alpha |}} & \quad \mbox{if} \, \lambda_\alpha \ne 0 \\ 0 & \quad \mbox{if} \, \lambda_\alpha = 0 \end{matrix} \right.$

Then

$[\eta] = V^\top \Lambda^\top [g] \Lambda V$

and for a given manifold, the trace of [η] will be the same for all points and is referred to as the signature of the metric. (A signature of +2 is synonymous with a signature of (− + + +). ) This matrix [η] has the components of the Minkowski metric, which means that the manifold is, at each one of its points, locally smooth. The matrix $(V \Lambda)^\top$ is a Jacobian (a multivariate differential, or push forward) which transforms [η] to [g],

$[g] = V \Lambda [\eta] \Lambda^\top V^\top$

and taking determinants

$g := \mbox{det}([g]) = \mbox{det}\,(V \Lambda) \,\mbox{det}([\eta]) \,\mbox{det}(\Lambda^\top V^\top)$

$= \mbox{det}^2 (V \Lambda) \, \mbox{det}([\eta]), \$

$g = -\mbox{det}^2 (V \Lambda), \$

$\mbox{det}(V \Lambda) = \sqrt{-g},$

but due to a property of diffeomorphisms, a volume element $d x 0 d x 1 d x 2 d x 3$ whose factors are components of an orthonormal basis (locally), when transformed to components $dx^{\bar\mu}$ , has the determinant of the Jacobian matrix J as conversion factor:

$G = dx^0 dx^1 dx^2 dx^3 = \mbox{det}(J) \, dx^{\bar 0} dx^{\bar 1} dx^{\bar 2} dx^{\bar 3}.$

See also volume form.