1.7.4 Coordinate Tensor Interpretation

Coordinate Tensor Interpretation explains how tensors encode geometric properties via coordinates, linking algebra and geometry in multilinear algebra.

Coordinate Tensor Interpretation is the understanding of a tensor operationally, as a set of quantities attached to a coordinate system and defined by the rule they must obey when the coordinate system changes, rather than as an abstract object existing prior to any coordinates. Under this interpretation, being a tensor is not a matter of belonging to some independently constructed space but a matter of passing a test: an indexed collection of numbers is a tensor exactly when it transforms in the prescribed way under every admissible change of coordinates.

The Operational Definition

A Tensor Is Whatever Transforms Correctly

The coordinate interpretation defines a type (p, q) tensor as an assignment, to every coordinate system, of an array of n^{p+q} numbers, subject to the single requirement that arrays assigned to different coordinate systems be related by the standard transformation law.

T_{' l_{1} \dots}^{' k^{1} \dots} = \frac{\partial x^{'} k^{1}}{\partial x^{i}} \dots \frac{\partial x^{j}}{\partial x^{'} l_{1}} \dots T_{j_{1} \dots}^{i^{1} \dots}

Membership Determined by a Test, Not a Construction

Under this interpretation, checking whether a given family of coordinate-indexed arrays is a tensor amounts to checking the transformation law directly on the arrays, rather than tracing the arrays back to an origin in an abstractly constructed tensor product space, making tensor status a verifiable property rather than an inherited one.

Historical Origin and Motivation

The Ricci Calculus Tradition

This interpretation originates in the tensor calculus developed for differential geometry and later adopted throughout physics, in which quantities were classified by how their indexed components responded to a change of coordinates, long before the basis-free tensor product construction was formalized in abstract algebra.

A Practical Definition for Computation

Because physical and geometric calculations are typically carried out in explicit coordinate systems, defining a tensor by its transformation behavior gives a directly usable criterion: any quantity that arises from a computation can be tested for tensorial status simply by tracking how it behaves when the coordinates are changed.

Upper and Lower Indices Under the Coordinate View

Contravariant Components

An upper index marks a component that transforms using the Jacobian of the new coordinates with respect to the old, the same rule obeyed by the differentials dx^i of the coordinates themselves, which is why such components are called contravariant.

d x^{'} k = \frac{\partial x^{'} k}{\partial x^{i}} d x^{i}

Covariant Components

A lower index marks a component that transforms using the Jacobian of the old coordinates with respect to the new, the same rule obeyed by the partial derivatives ∂/∂x^i of a scalar function, which is why such components are called covariant.

\frac{\partial f}{\partial x^{'} l} = \frac{\partial x^{j}}{\partial x^{'} l} \frac{\partial f}{\partial x^{j}}

Recognizing Non-Tensors Under the Coordinate View

The Standard Counterexample

The ordinary partial derivative of the components of a covector field fails the tensor test under general coordinate transformations, because differentiating the transformation law introduces an additional term involving the second derivatives of the coordinate change, showing directly, by the coordinate criterion, that this array is not a tensor.

\frac{\partial ω_{'} l}{\partial x^{'} k} = \frac{\partial x^{j}}{\partial x^{'} l} \frac{\partial x^{i}}{\partial x^{'} k} \frac{\partial ω_{j}}{\partial x^{i}} + extra term with second derivatives

Motivating Corrective Constructions

Recognizing such failures using the coordinate criterion is what motivates the introduction of corrective devices, such as the covariant derivative built with connection coefficients, designed specifically to restore tensorial transformation behavior to differentiated quantities.

Relation to the Algebraic Interpretation

Two Descriptions of the Same Objects

The coordinate interpretation and the algebraic interpretation describe the same collection of tensors: an array obeying the coordinate transformation law corresponds exactly to an element of the appropriate tensor product space once a basis induced by the coordinates is chosen, so the two interpretations agree in every case, differing only in which feature, the transformation rule or the basis-free construction, is treated as primary.

Complementary Strengths

The coordinate interpretation is favored for direct calculation and for testing whether a computed quantity qualifies as a tensor, while the algebraic interpretation is favored for establishing general structural facts about tensors without reference to any particular coordinate system.

Diagrammatic Summary

The diagram shows the coordinate tensor interpretation as a test: an array of coordinate-indexed numbers earns the name tensor precisely when the Jacobian-based transformation rule correctly relates its values across every pair of coordinate systems.