9.5.5 Tensor Coordinate Basis Transformation Context

Understanding how tensor bases transform between coordinate systems in mathematical physics and their implications in tensor algebra.

Tensor Coordinate Basis Transformation Context is the set of circumstances and rules governing how a coordinate basis, its dual basis, and the coordinates it assigns to tensors all change together when one coordinate system is replaced by another, with every change expressed through the Jacobian matrix of partial derivatives relating the old and new coordinate functions; it identifies precisely which quantities must be recomputed, and by what rule, whenever the underlying coordinate system is switched.

The Jacobian Matrix as the Central Object

Relating Old and New Coordinate Functions

Given two coordinate systems x^i and x'^i covering an overlapping region, the transformation context is governed by the Jacobian matrix of partial derivatives of the new coordinates with respect to the old, together with its inverse, the partial derivatives of the old coordinates with respect to the new.

J_{i}^{i'} = \frac{\partial x^{i'}}{\partial x^{i}}

Both Directions Are Needed Simultaneously

The transformation context requires both the Jacobian and its inverse together, since the primal basis vectors transform using one of these matrices while the dual basis covectors transform using the other; neither transformation can be carried out with only one of the two matrices in hand.

How the Basis Vectors Transform

Primal Basis Vectors Transform With the Inverse Jacobian

The coordinate basis vectors of the new system are expressed as a combination of the old basis vectors, weighted by the inverse Jacobian, reflecting that a basis vector is a tangent direction and transforms covariantly with respect to the change of coordinate functions.

e_{i'} = \frac{\partial x^{i}}{\partial x^{i'}} e_{i}

Dual Basis Covectors Transform With the Jacobian Itself

The dual coordinate basis covectors transform using the Jacobian matrix directly rather than its inverse, ensuring that the pairing condition between primal and dual bases continues to hold in the new coordinate system exactly as it held in the old one.

e^{i'} = \frac{\partial x^{i'}}{\partial x^{i}} e^{i}

How Tensor Components Transform

Upper Indices Follow the Inverse Jacobian

Consistent with the transformation of the dual basis, each upper index of a tensor's component array picks up a factor of the Jacobian relating the new coordinate to the old, applied once for every upper index the tensor carries.

Lower Indices Follow the Jacobian of the Inverse Change

Each lower index of a tensor's component array picks up a factor of the inverse relationship, relating the old coordinate to the new, applied once for every lower index, so that a mixed tensor's full transformation combines one such factor per index according to whether that index is upper or lower.

T_{j'}^{i'} = \frac{\partial x^{i'}}{\partial x^{i}} \frac{\partial x^{j}}{\partial x^{j'}} T_{j}^{i}

Validity Conditions for the Transformation Context

The Jacobian Must Be Invertible

The transformation context presupposes that the Jacobian matrix relating the two coordinate systems is invertible at every point under consideration, since a noninvertible Jacobian would make the inverse partial derivatives undefined and the corresponding basis transformation impossible to carry out.

The Region of Overlap Determines Where the Context Applies

Because two coordinate systems may each be defined only on part of the space, the transformation context applies strictly within the region where both coordinate systems are simultaneously valid, and no claim about basis transformation extends beyond that shared region.

Diagram of the Transformation Context

Consequences of the Transformation Context

It Guarantees Tensor Equations Survive a Change of Coordinates

Because every quantity in a tensor equation transforms according to the rules fixed by this context, an equation that holds true in components computed from one coordinate system is guaranteed to hold true, term by term, in components computed from any other coordinate system related to it through a valid Jacobian.

It Determines Exactly What Must Be Recomputed After Switching Systems

The transformation context specifies precisely which objects — basis vectors, dual covectors, and tensor components of every index pattern — require recomputation after a coordinate change, and by which of the two Jacobian matrices, leaving no ambiguity about what must be updated when moving between coordinate systems.