10.3.5 Tensor Basis Transformation Object Preservation

Tensor Basis Transformation Object Preservation ensures invariance of tensor properties under basis changes, maintaining structural integrity in algebraic frameworks.

Tensor Basis Transformation Object Preservation is the guarantee, built into the design of the component transformation law, that the abstract tensor being described remains exactly unchanged throughout the transformation process, with only its component representation being altered as the basis is changed.

Stating the Preservation Guarantee

The Invariance Identity

Object preservation is expressed formally as an identity: the tensor reconstructed from the source basis and its components equals, exactly and without approximation, the tensor reconstructed from the target basis and its transformed components.

v = v^{i} e_{i} = v^{i}' e_{i}'

This identity is not an assumption made separately from the transformation law; it is the very condition the transformation law was constructed to satisfy, and verifying it is what confirms that a proposed transformation rule is correctly formed.

Preservation for General Mixed Tensors

The same guarantee extends to a tensor of any rank, with the full sum over all basis tensor products and components in the source basis equaling the corresponding full sum in the target basis.

T = T_{j}^{i} e_{i} \otimes e^{j} = T_{l}^{k}' e_{k}' \otimes e^{l}'

Why the Transformation Law Is Forced to Take Its Specific Form

Deriving the Rule From the Preservation Requirement

Rather than being an independently stated postulate, the exact combination of (A) and (A^{-1}) factors in the component transformation law can be derived by starting from the preservation identity and substituting the known transformation rules for the basis vectors and dual basis covectors, then solving for what the component transformation must be for the identity to hold.

v^{i} e_{i} = v^{i}' A_{i}^{j} e_{j}

Matching coefficients of (e_j) on both sides of this equation directly yields the requirement that (v^j = v'^i A^i_{\ j}), which rearranges to exactly the standard contravariant transformation law using (A^{-1}); the rule is therefore a consequence of preservation, not an independent assumption layered on top of it.

Preservation as a Diagnostic Tool

Testing Whether an Object Qualifies as a Tensor

Because genuine tensors are, by construction, guaranteed to satisfy object preservation, testing whether a candidate indexed array preserves an analogous invariance under a proposed transformation rule is a direct way to check whether that array is a legitimate tensor at all.

Explaining Why Certain Symbols Fail to Be Tensors

Quantities that fail to satisfy object preservation under the ordinary tensor transformation law, such as connection coefficients requiring an extra additive term, are precisely those objects excluded from the class of tensors; their failure to preserve the naively expected invariant is the technical reason they must be handled by a separate transformation rule.

Visual Illustration

Why Object Preservation Is the Central Guarantee

Object preservation is the single guarantee that gives the entire apparatus of basis transformation its purpose: without it, changing a basis would risk silently altering the underlying tensor rather than merely relabeling it. Every specific transformation rule, for vectors, covectors, and general mixed tensors alike, exists solely to uphold this one preservation guarantee, making it the organizing principle from which the rest of the transformation theory is derived.