11.15.4 Tensor Dual Transformation Pairing Preservation

Tensor Dual Transformation Pairing Preservation ensures dual spaces remain aligned under linear transformations through invariant pairing properties.

Tensor Dual Transformation Pairing Preservation is the overarching consequence of dual transformation behavior, asserting that the natural pairing between an element of a vector space and an element of its dual space remains numerically unchanged under any coordinate transformation, precisely because the two objects transform in the mirrored, reversed manner described by direction reversal.

Definition and Statement

The Pairing Whose Preservation Is Asserted

The relevant pairing is the evaluation of a covector on a vector, or equivalently the contraction of a covariant index against a contravariant index, and pairing preservation asserts that this evaluation yields exactly the same scalar value regardless of the coordinate system in which the vector and covector are expressed.

ω (v) = ω_{j} v^{j} = ω_{i^{'}} v^{i^{'}}

Preservation as the Culmination of the Dual Framework

Pairing preservation is presented as the culmination of dual transformation behavior because it is the single observable consequence toward which the mirrored transformation rules, the direction reversal, and the pullback relation are all ultimately directed.

Derivation From Direction Reversal

Substitution and Cancellation

Pairing preservation follows by substituting the contravariant transformation law for the vector and the covariant transformation law for the covector into the paired expression, at which point the direct and inverse Jacobian factors combine according to direction reversal and collapse to the Kronecker delta.

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

No Preservation Without the Exact Reversal

If the covariant and contravariant transformation factors were not exact matrix inverses of one another, this cancellation would fail to occur, and the pairing would produce different numerical values in different coordinate systems, undermining the very notion of an invariant scalar.

Broader Consequences

Foundation for All Invariant Scalar Quantities

Pairing preservation is the basic fact from which every claim of coordinate-independence for a contracted tensor expression ultimately derives, since any such expression can be decomposed into a sequence of vector-covector pairings, each individually preserved by this property.

Extension to Higher-Rank Contractions

Pairing preservation extends naturally to tensors of higher rank by applying the same substitution and cancellation argument independently to each matched pair of contravariant and covariant indices being contracted, with each pair contributing its own instance of the Kronecker delta collapse.

Role Within Tensor Algebras

The Single Fact That Justifies Tensor Notation

Pairing preservation is the essential justification for why tensor notation is organized around upper and lower indices in the first place, since the entire notational apparatus exists to make this preservation property automatic and transparent whenever indices are contracted according to the standard convention.

Closing the Loop on Dual Transformation Behavior

Pairing preservation closes the conceptual loop opened by dual transformation behavior, direction reversal, and the pullback relation, confirming that the mirrored transformation rules exist precisely in service of this one guarantee: that meaningful scalar quantities built from tensors do not depend on an arbitrary choice of coordinates.