6.18.3 Tensor Scalar Coordinate Invariance

Tensor Scalar Coordinate Invariance is the defining property that the single component of a type (0,0) tensor remains exactly the same real number in every possible basis of the underlying vector space, making the scalar the archetype of a coordinate-independent quantity and the benchmark against which the invariance of every other tensorial construction is measured. This property is not an incidental feature but the entire justification for calling something a scalar in the tensorial sense, since many quantities that are casually described as "numbers" in a calculation fail to be invariant and are therefore not scalars at all.

The Formal Statement of Invariance

Derivation from the Zero Index Transformation Law

Because a scalar carries zero contravariant and zero covariant indices, applying the general tensor transformation law, which multiplies by one factor of the inverse transition matrix B per upper index and one factor of the transition matrix A per lower index, produces no transformation factors at all:

for every possible choice of new basis. This equation is the precise mathematical content of coordinate invariance: the value computed in the primed coordinate system is identical to the value computed in the original one, with no dependence on the transition matrix A whatsoever.

Invariance Holds for Every Admissible Change of Basis

The invariance is not limited to some restricted class of coordinate changes; it holds for every invertible linear change of basis on the underlying vector space, since the derivation above never used any specific property of A beyond its invertibility. A scalar quantity that were only invariant under some special subset of basis changes, such as rotations but not general linear transformations, would not qualify as a type (0,0) tensor in the full sense used in tensor algebra.

Distinguishing Genuine Scalars from Coordinate-Dependent Numbers

Numbers That Fail to Be Invariant

A single component of a vector, such as v^1, is a real number in any given basis, but it changes value when the basis changes, since v'^1 = B^1_k v^k generally mixes together all the original components; such a component is not coordinate invariant and therefore does not qualify as a scalar despite being numerically a single value in each basis considered separately.

The Trace as a Genuine Scalar

By contrast, the trace of a type (1,1) tensor, T^i_i, is coordinate invariant, as verified directly using the conjugation transformation law T' = B T A: computing the trace of T' and using the cyclic property of the trace together with AB = I shows that tr(T') = tr(T) exactly. The trace is therefore correctly classified as a scalar, while an individual component T^i_j for fixed i and j is not.

Practical Verification of Scalar Coordinate Invariance

The Two-Basis Test

A practical method for confirming that a candidate quantity is truly coordinate invariant is to compute it explicitly in two different, unrelated bases and check that the numerical results agree; agreement in two arbitrarily chosen bases is strong evidence, though not by itself a full proof, that the quantity is a genuine scalar rather than an artifact of one particular coordinate choice.

Symbolic Verification via the Transformation Law

A more rigorous method substitutes the general transformation law for every tensor appearing in the candidate expression and confirms algebraically that all factors of A and B cancel completely, leaving an expression with no dependence on the transition matrix; this is exactly what happens in the trace computation above, where the cancellation A B = I is the symbolic proof of invariance.

Diagram of Scalar Invariance Across Coordinate Changes

Broader Significance of Coordinate Invariance

Foundation for Physical and Geometric Law

Coordinate invariance of scalars is the algebraic backbone of the requirement, common throughout physics and geometry, that a genuine physical or geometric quantity, such as energy, length, or curvature at a point, must not depend on the arbitrary choice of coordinates used to describe the surrounding space; expressing such quantities as fully contracted tensors guarantees this invariance automatically.

Relation to Invariant Theory

The study of coordinate-invariant scalars built from tensors, known as invariant theory, relies entirely on the property described here: any fully contracted expression built from tensors of type (p, p), using an equal number of contravariant and covariant indices consumed entirely by contraction, automatically inherits scalar coordinate invariance, providing a systematic method for generating invariants rather than checking invariance case by case.