10.1.3 Tensor Coordinate Transformation Scope

Tensor Coordinate Transformation Scope explains how tensors adapt under coordinate changes, key to understanding their invariance across systems.

Tensor Coordinate Transformation Scope is the delineation of which transformations, specifically those arising from a smooth change of coordinate functions rather than a single constant matrix, fall under coordinate transformation as a special, position-dependent case of the broader change-of-basis framework.

Extending From Constant Matrices to Coordinate Functions

The Jacobian Replaces the Constant Matrix

Where an abstract change of basis uses a single constant invertible matrix (A), coordinate transformation scope covers the case where old coordinates (x^i) and new coordinates (x'^i) are related by smooth functions, and the transformation matrix is instead the Jacobian of these functions, generally varying from point to point.

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

This scope includes any coordinate map for which this Jacobian is well-defined and invertible at the point under consideration, extending the reach of change-of-basis transformation rules to curvilinear and otherwise nonlinear coordinate systems.

Tensor Components Still Transform by the Same Combinatorial Rule

Despite the Jacobian varying from point to point, the scope of coordinate transformation for tensor components at a single point follows exactly the same combinatorial rule as ordinary basis change, with one Jacobian factor or its inverse per index.

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

What Coordinate Transformation Scope Includes

Linear Coordinate Changes as a Special Case

Ordinary linear changes of basis, where the Jacobian happens to be a constant matrix independent of position, are included as the simplest special case within coordinate transformation scope, showing that constant-matrix basis change is not a separate theory but a degenerate instance of the more general coordinate transformation.

Curvilinear Coordinate Systems

The scope extends to genuinely position-dependent coordinate changes, such as between Cartesian and polar, cylindrical, or spherical coordinates, where the Jacobian matrix entries are themselves functions of the coordinates rather than fixed numbers.

(\begin{matrix} x & y \end{matrix}) \to (\begin{matrix} r & θ \end{matrix})

What Falls Outside This Scope

Derivatives That Require Additional Correction Terms

The scope of coordinate transformation for tensor components covers only the algebraic transformation at a single fixed point; comparing or differentiating tensor fields across different nearby points, which requires the additional connection terms of covariant differentiation, lies outside this narrower scope and belongs to tensor calculus on manifolds.

Discontinuous or Non-Invertible Coordinate Maps

A coordinate change that fails to be smooth, or whose Jacobian vanishes or fails to exist at a point, falls outside the scope at that point; the tensor transformation rule presupposes a valid, invertible Jacobian throughout the region under consideration.

\det (\frac{\partial x^{i}'}{\partial x^{j}}) \neq 0

Visual Illustration

Why This Scope Extension Matters

Extending change-of-basis scope to include coordinate transformations governed by a Jacobian, rather than a single constant matrix, is what allows tensor algebra to be applied on curved spaces and in curvilinear coordinate systems without redesigning the transformation rule from scratch. The scope is drawn precisely at the point-by-point algebraic transformation of components, deliberately excluding the further complication of comparing tensors across different points, which requires the separate and additional machinery of covariant differentiation.