11.12.4 Tensor Metric Conversion Component Relation

Tensor Metric Conversion Component Relation explains how tensor components transform under metric changes, bridging coordinate systems in differential geometry and physics.

Tensor Metric Conversion Component Relation is the algebraic identity connecting the covariant metric tensor and the contravariant metric tensor at the level of individual components, expressed as a contraction that produces the Kronecker delta, and serving as the precise statement that the two metric tensors are matrix inverses of one another.

Statement of the Relation

The Core Identity

The component relation asserts that contracting the covariant metric tensor with the contravariant metric tensor over one shared index produces the mixed Kronecker delta, which equals one when its two remaining indices coincide and zero otherwise.

g_{i k} g^{k j} = δ_{i}^{j}

Equivalent Statement as Matrix Multiplication

Written in matrix notation rather than indexed notation, the component relation states that the matrix of covariant metric components multiplied by the matrix of contravariant metric components equals the identity matrix, which is exactly the defining property of a matrix inverse.

g g^{- 1} = I

Derivation From the Definition of the Contravariant Metric

Starting From the Inverse Definition

Since the contravariant metric tensor is defined as the matrix inverse of the covariant metric tensor, the component relation follows immediately once matrix inversion is expressed in indexed notation using the summation convention over the shared index.

Role of Nondegeneracy in the Derivation

The component relation can only be written down in the first place because the covariant metric tensor is required to be nondegenerate, since a degenerate matrix has no inverse and the contravariant metric tensor, and hence the entire relation, would fail to exist.

Uses of the Component Relation

Verifying That Two Candidate Metrics Are Compatible

Given a proposed covariant metric tensor and a proposed contravariant metric tensor, the component relation provides a direct computational check for whether the two are correctly paired as inverses, simply by performing the contraction and confirming that the Kronecker delta results.

Basis for Proving Reversibility of Raising and Lowering

The component relation is the precise algebraic fact used to demonstrate that raising an index and then lowering it, or lowering an index and then raising it, returns the original tensor exactly, since substituting the relation into the composition of the two operations collapses it to the identity contraction.

g^{i k} g_{k j} A^{j} = δ_{j}^{i} A^{j} = A^{i}

Role Within Tensor Algebras

Anchoring the Relationship Between the Two Metric Forms

The component relation is the single algebraic fact that formally ties together the covariant and contravariant metric tensors, transforming the informal statement that they are inverses into a precise, checkable equation expressed entirely in tensor index notation.

Necessary Ingredient in Every Reversibility Argument

Any argument establishing that variance conversion is fully reversible, whether for a simple vector or for a tensor of higher rank with many indices, ultimately relies on this component relation applied once for each index being converted, making it a foundational building block underlying the entire theory of raising and lowering.