11.7.1 Tensor Covariant Law Inverse Matrix Factor

The Tensor Covariant Law Inverse Matrix Factor explores how matrix inversion operates under tensor transformations, maintaining covariance in algebraic structures.

Tensor Covariant Law Inverse Matrix Factor is the transformation factor that appears in the covariant transformation law of a tensor, expressed as the inverse of the Jacobian matrix relating an old coordinate basis to a new one. When coordinates change from a system with basis vectors indexed by unprimed labels to a system with basis vectors indexed by primed labels, covariant tensor components transform using the inverse of the matrix that carries contravariant components forward, ensuring that the geometric object represented by the tensor remains invariant regardless of the coordinate description chosen.

Definition and Structural Role

Position Within the Transformation Law

The covariant transformation law states that a covariant tensor component in the new basis is obtained by contracting the old components with partial derivatives of the old coordinates with respect to the new coordinates. This partial derivative matrix is precisely the inverse matrix factor, distinguishing covariant behavior from contravariant behavior, where the forward Jacobian itself is used directly.

A_{i^{'}} = \frac{\partial x^{j}}{\partial x^{i^{'}}} A_{j}

Distinction From the Forward Jacobian

The forward Jacobian matrix, used for contravariant components, carries derivatives of new coordinates with respect to old coordinates. The inverse matrix factor reverses this relationship, carrying derivatives of old coordinates with respect to new coordinates. These two matrices are mutual inverses whenever the coordinate transformation is smooth and invertible.

\frac{\partial x^{i^{'}}}{\partial x^{k}} \cdot \frac{\partial x^{k}}{\partial x^{j^{'}}} = δ_{j^{'}}^{i^{'}}

Geometric Interpretation

Why Covariant Components Require the Inverse Factor

Covariant components behave like the components of a gradient or a linear functional acting on basis vectors. As the basis vectors themselves stretch under a forward transformation, the components that pair with them to produce an invariant scalar must shrink correspondingly, which is precisely the behavior encoded by the inverse matrix factor rather than the forward Jacobian.

Preservation of the Invariant Pairing

The purpose of the inverse matrix factor is to guarantee that the contraction of a covariant tensor with a contravariant tensor yields a scalar that does not depend on the coordinate system. Only when covariant components transform with the inverse factor while contravariant components transform with the forward factor does this contraction remain invariant.

A_{i^{'}} B^{i^{'}} = A_{j} B^{j}

Computation and Consistency Checks

Matrix Inversion Requirement

Computing the inverse matrix factor requires that the Jacobian matrix of the coordinate transformation be non-singular at every point under consideration, since the inverse matrix factor is undefined wherever the determinant of the forward Jacobian vanishes.

Consistency Under Successive Transformations

When two coordinate changes are composed in sequence, the inverse matrix factor of the combined transformation equals the product of the individual inverse matrix factors taken in reversed order, mirroring the standard rule for the inverse of a product of matrices.

{(M N)}^{- 1} = N^{- 1} M^{- 1}

Role Within Tensor Algebras

Consistency Across Mixed Tensors

For a mixed tensor carrying both covariant and contravariant indices, each covariant index transforms with an independent copy of the inverse matrix factor while each contravariant index transforms with the forward Jacobian, and the full transformation of the tensor is the tensor product of these individual factors applied index by index.

Relation to Metric Raising and Lowering

When a metric tensor is available, covariant components produced through the inverse matrix factor can be related to contravariant components through raising and lowering operations, but the inverse matrix factor itself depends only on the coordinate transformation and not on the metric, making it a purely differential-geometric object rather than a metric-dependent one.