11.3.5 Tensor Covariant Component Pairing Preservation

Tensor Covariant Component Pairing Preservation ensures consistency in tensor operations by maintaining pairing relationships under coordinate transformations.

Tensor Covariant Component Pairing Preservation is the property that the value obtained by pairing a covariant object with a contravariant object, through contraction over a shared index, remains identical no matter which coordinate system the two objects are expressed in, guaranteeing that this pairing represents a basis-independent quantity.

Statement of the Preserved Pairing

The Contraction Producing an Invariant

Given a covariant component and a contravariant component sharing the same index, their contracted product, summed according to the summation convention, yields a scalar that does not change under a change of basis.

W_{i} V^{i} = W_{i^{'}} V^{i^{'}}

Preservation Extended to Full Contractions of Higher Rank

The same preservation applies when a covariant tensor of higher rank is fully contracted against a matching contravariant tensor across every shared index, producing a scalar invariant regardless of how many index pairs participate in the contraction.

Mechanism Behind the Preservation

Cancellation of the Two Jacobian Factors

The preservation follows directly from the fact that the covariant component carries an inverse Jacobian factor and the contravariant component carries the direct Jacobian factor for the same coordinate pair, and when the contracted expression is rewritten in the new coordinate system these two factors combine according to the reciprocity identity, collapsing to the Kronecker delta and leaving the original contraction unchanged.

W_{i^{'}} V^{i^{'}} = J_{i^{'}}^{i} J_{j}^{i^{'}} W_{i} V^{j} = δ_{j}^{i} W_{i} V^{j} = W_{i} V^{i}

Necessity of Correct Pairing for Preservation

Only a Covariant-Contravariant Pair Is Preserved

Preservation holds specifically because one object is covariant and the other is contravariant; attempting to contract two covariant components, or two contravariant components, sharing the same index does not correspond to a valid summation-convention pairing at all, and no analogous invariance claim applies to such a mismatched combination.

Preservation Depends on Correct Jacobian Factor Assignment

If either object were mislabeled, for instance treating a genuinely contravariant quantity as though it carried a covariant transformation rule, the cancellation underlying pairing preservation would fail, and the resulting contracted quantity would not actually be invariant, despite appearing so from the notation alone.

Relation to Basis-Independent Geometric Meaning

The Pairing as an Abstract Evaluation

Pairing preservation reflects the deeper fact that a covariant object, viewed abstractly as a linear functional, evaluates a contravariant vector to produce a number independent of any coordinate description; the coordinate-dependent Jacobian-factor cancellation is simply the component-level manifestation of this abstract evaluation being well defined.

Foundation for Defining Physically Meaningful Scalars

Because pairing preservation guarantees that a full contraction is coordinate independent, it serves as the standard justification for constructing physically or geometrically meaningful scalar quantities, such as work done by a force along a displacement, by contracting a covariant quantity against a contravariant one rather than combining two objects of the same variance type.

Practical Verification

Checking Preservation Directly in a Calculation

To confirm that a specific contraction exhibits pairing preservation, one computes the contracted value in two different coordinate systems independently and checks that the two numerical results agree exactly, providing a direct numerical test that complements the general algebraic cancellation argument.