10.9.5 Tensor Covector Component Pairing Preservation

Tensor Covector Component Pairing Preservation ensures consistent interaction between tensor and covector components in algebraic structures.

Tensor Covector Component Pairing Preservation is the property, guaranteed by the covector component change rule, that the scalar value produced by pairing a covector with a vector is the same regardless of whether the pairing is computed using the old components of both objects in the old basis or the new components of both objects in the new basis, so that the outcome of this fundamental operation is completely unaffected by any change of basis. It is the specific consequence, tied directly to the covariant transformation of covector components, that certifies the pairing between a covector and a vector as a genuinely basis-independent scalar rather than an artifact of a particular choice of coordinates.

Statement of the Preservation Property

The Preserved Scalar Value

Pairing preservation asserts that computing the pairing using old-basis components on both the covector and the vector gives the same numerical result as computing it using new-basis components on both.

ω_{i} v^{i} = ω_{i}' v^{i}'

Dependence on Both Transformation Rules Simultaneously

This preservation property relies jointly on the covector component change rule and the vector component change rule, since it is the specific combination of the forward matrix acting on the covector and the inverse matrix acting on the vector that produces the necessary cancellation.

Mechanism of Preservation

Substitution and Cancellation

Substituting the covector component change rule and the vector component change rule into the new-basis pairing produces a product involving the forward matrix and the inverse matrix, contracted over the same index that was introduced by the change of basis.

ω_{i}' v^{i}' = A_{i}^{k} ω_{k} {(A^{- 1})}_{j}^{i} v^{j}

Reduction to the Identity Matrix

Summing over the shared index reduces the product of the forward matrix and the inverse matrix to the identity matrix, which then forces the remaining indices on the covector and vector components to coincide, leaving exactly the original old-basis pairing.

A_{i}^{k} {(A^{- 1})}_{j}^{i} = δ_{j}^{k}

Significance of the Property

Justification for Treating the Pairing as a Scalar

Because pairing preservation holds under every valid change of basis, the numerical outcome of pairing a covector and a vector qualifies as a true scalar, meaning a quantity with no free indices whose value does not depend on the basis used to compute it.

Necessity of Matched Transformation Rules

Pairing preservation would fail if either the covector or the vector transformed using the wrong matrix factor, for instance if a covector's components were mistakenly transformed using the inverse matrix rather than the forward matrix, immediately signaling an error through a pairing value that changes between bases.

Foundation for More General Contractions

The same cancellation mechanism responsible for pairing preservation extends directly to contractions between higher-rank tensors, wherever a contravariant index of one tensor is summed against a covariant index of another, underlying the basis independence of tensor contraction generally.

Schematic Representation

The diagram shows both the old-basis and new-basis computations of the pairing converging on the identical scalar value, the essence of pairing preservation under the covector component change rule.