1.6.4 Tensor Component Transformation Invariance

Tensor Component Transformation Invariance ensures mathematical consistency under coordinate changes, preserving physical meaning across different reference frames.

Tensor Component Transformation Invariance is the property that the rule governing how tensor components change under a change of basis is itself consistent across successive transformations, so that transforming components directly from one basis to another gives the same result as transforming them through any sequence of intermediate bases. It concerns not the invariance of a tensor or its components under a single transformation, but the invariance of the transformation law itself under composition, which is what allows that law to define a coherent action of the group of basis changes on the space of component arrays.

The Composition Requirement

Transforming in One Step Versus Several Steps

Given three bases, an original basis, an intermediate basis, and a final basis, tensor components can be transformed directly from the original to the final basis, or first from the original to the intermediate and then from the intermediate to the final. Component transformation invariance is the requirement that both routes produce identical results.

v^{″} k = C_{i}^{k} v^{i} = B_{j}^{k} A_{i}^{j} v^{i}

Matrix Multiplication as the Mechanism

This consistency holds because the change-of-basis matrix from the original basis directly to the final basis is exactly the matrix product of the change-of-basis matrix from the original to the intermediate basis and the one from the intermediate to the final basis, so that C = BA reproduces the two-step computation exactly.

C_{i}^{k} = B_{j}^{k} A_{i}^{j}

Group Structure of the Transformation Law

The Transformation Law as a Group Action

The set of all invertible changes of basis of a vector space forms a group under composition, and the tensor component transformation law assigns to every element of this group a rule for reassigning component arrays. Component transformation invariance is precisely the statement that this assignment respects the group operation, turning the transformation law into a genuine group action rather than an arbitrary family of unrelated rules.

ρ (B A) = ρ (B) \circ ρ (A)

Identity and Inverse

Consistency under composition further requires that the identity change of basis leave every component array unchanged, and that transforming by a change of basis and then by its inverse restore the original components, both of which follow automatically once the law is expressed through matrix multiplication and matrix inversion.

ρ (I) = identity map on components and ρ (A^{- 1}) = ρ (A))^{- 1}

Why This Invariance Is Necessary

Well-Definedness of the Represented Object

If the transformation law failed to compose consistently, the equivalence class of component arrays associated with a single abstract tensor would depend on which path of intermediate bases was used to compute it, and the notion of a fixed tensor object underlying its many representations would collapse, since different paths between the same two bases could yield different components.

Path Independence in Practice

Component transformation invariance guarantees that a calculation may pass through any convenient chain of intermediate coordinate systems, such as transforming first to an orthonormal basis to simplify a computation and then to a final basis of interest, with confidence that the outcome matches a direct transformation between the original and final bases.

Extension to Position-Dependent Transformations

Composition of Jacobians

On a manifold, where the change-of-basis matrix becomes a position-dependent Jacobian matrix relating coordinate systems, the same composition requirement holds through the chain rule for partial derivatives, which guarantees that the Jacobian of a composite coordinate transformation equals the product of the individual Jacobians, evaluated at corresponding points.

\frac{\partial x^{″} k}{\partial x^{i}} = \frac{\partial x^{″} k}{\partial x^{'} j} \frac{\partial x^{'} j}{\partial x^{i}}

Consistency Across Overlapping Coordinate Charts

This composed-Jacobian consistency is what allows a tensor field defined using several overlapping coordinate charts on a manifold to be a single, well-defined object across the whole manifold, since the component arrays on the overlap of any two charts agree with those obtained via any third chart used as an intermediate step.

Diagrammatic Summary

The diagram shows the composition triangle that tensor component transformation invariance requires to commute: transforming components directly through matrix C from one basis to another must agree with transforming first through A and then through B, for every pair of intermediate bases chosen.