11.7.4 Tensor Covariant Law Pairing Invariance

Tensor Covariant Law Pairing Invariance ensures mathematical consistency under coordinate transformations through structured tensor law pairings.

Tensor Covariant Law Pairing Invariance is the property that the scalar value produced by contracting a covariant tensor with a contravariant tensor remains identical across every coordinate system, a consequence of the covariant transformation law being precisely tuned, through the inverse Jacobian factor, to counteract the contravariant transformation law of the object it is paired with.

Definition and Formal Statement

The Pairing Operation

The pairing operation referred to here is the contraction of a covariant index with a contravariant index, summing the product of corresponding components to yield a single number that does not itself carry any free index.

s = A_{j} B^{j}

Statement of Invariance

Pairing invariance asserts that this scalar computed in one coordinate system equals the scalar computed from the transformed covariant and contravariant components in any other coordinate system, so the value of the contraction is a genuine invariant rather than an artifact of a particular coordinate choice.

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

Mechanism Behind the Invariance

Cancellation of the Jacobian Factors

Substituting the covariant transformation law for the covariant components and the contravariant transformation law for the contravariant components into the paired sum produces a product of the inverse Jacobian and the forward Jacobian, which collapses to the Kronecker delta and restores the original unprimed sum exactly.

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

Necessity of Matched Index Types

The cancellation depends entirely on one index being covariant and the other contravariant; pairing two covariant indices or two contravariant indices directly, without an intervening metric, does not produce this cancellation and does not yield an invariant scalar.

Consequences of Pairing Invariance

Basis for Defining Tensor Norms and Angles

Pairing invariance underlies the ability to define quantities such as the norm of a vector or the angle between two directions using a coordinate-independent scalar, since these definitions rely on contractions that produce the same numerical result no matter which coordinate system is used for the calculation.

Extension to Repeated Contractions

When multiple pairs of covariant and contravariant indices are contracted in a single expression involving higher-rank tensors, pairing invariance applies independently to each matched pair, so the resulting scalar remains invariant as long as every contraction pairs one covariant index with one contravariant index.

Role Within Tensor Algebras

Justification for Tensor Notation Conventions

Pairing invariance is the underlying reason that tensor notation conventionally places contravariant indices as superscripts and covariant indices as subscripts, and requires that repeated indices used for summation appear once in each position, since this convention encodes exactly the index pattern that guarantees invariance.

Relationship to the Metric Tensor

While pairing invariance does not itself require a metric, the metric tensor provides a canonical covariant object that can be paired with any contravariant vector, and this pairing invariance is what allows the metric to be used consistently to measure lengths and angles across all coordinate systems.