6.18.2 Tensor Scalar Zero Index Form

Tensor Scalar Zero Index Form is the notational convention of writing a scalar tensor with no indices attached at all, simply as a bare symbol such as c or T, rather than with any superscripts or subscripts, reflecting the fact that a type (0,0) tensor has no contravariant or covariant slots to label. This zero index form is the natural endpoint of the general index notation used throughout tensor algebra, and recognizing it correctly prevents the common notational confusion of treating an empty index list as though it were somehow different from the complete absence of indices.

Writing the Zero Index Form Explicitly

From the General Pattern to the Empty Case

The general index notation for a type (p, q) tensor is T^{i_1 ... i_p}_{j_1 ... j_q}. Substituting p = 0 and q = 0 removes every index slot from this pattern, leaving simply:

with no superscript list and no subscript list remaining. This is the zero index form: not a special empty-bracket notation, but the literal absence of any index symbols whatsoever, since there is nothing left to index once both p and q are zero.

Contrast with a Single Free Index

The zero index form should be visually and conceptually distinguished from expressions with one index that happens to be summed away, such as T^i_i, which denotes a full contraction and evaluates to a scalar value but is written, before the summation is carried out, with two index symbols present. The zero index form has no index symbols present at any stage, since the object itself, a scalar, never possessed index slots to begin with.

Consistency of the Zero Index Form Under Transformation

No Transformation Factors to Apply

Applying the general transformation law for a type (p, q) tensor to the zero index form requires attaching zero factors of the transition matrix A and zero factors of its inverse B, since there are no upper or lower indices to transform:

The zero index form is therefore trivially and automatically invariant under every change of basis, a fact that follows directly from having no indices to which any transformation matrix could be applied.

The Empty Product Convention

This situation parallels the mathematical convention that an empty product of factors equals one: just as multiplying together zero factors of A and zero factors of B produces the identity transformation with no effect, the zero index form of a scalar undergoes no transformation at all when the basis changes.

Where the Zero Index Form Appears in Practice

Results of Full Contraction

When every index of a type (p, p) tensor is contracted away, the resulting quantity is written in zero index form once the summation has been carried out and only the final scalar value remains, such as writing the determinant of a type (1,1) tensor as det(T), a symbol with no free indices attached.

Coefficients Appearing Alongside Indexed Tensors

The zero index form also appears whenever a scalar coefficient multiplies an indexed tensor in an expression, such as c T^i_j, where the scalar c is written without any indices precisely because it does not participate in the summation convention and remains a fixed multiplier regardless of which components of T^i_j are being considered.

Diagram Contrasting Indexed and Zero Index Forms

Why Precision About the Zero Index Form Matters

Avoiding Miscounting Tensor Type

Careless notation can obscure whether a symbol represents a scalar in zero index form or a tensor component that merely happens to be evaluated at fixed numerical index values, such as T^1_1, which looks similarly index-free once specific numbers replace the index letters but is not basis-independent, since it refers to one particular component in one particular basis rather than to the invariant scalar produced by summing T^i_i over all values of i.

Zero Index Form as the Terminal Node of Every Reduction

Every legitimate sequence of tensor operations, contractions, tensor products, and index raising or lowering, that eventually eliminates all free indices must terminate in the zero index form, and reaching that form is the formal signal that a calculation has produced a genuine scalar invariant rather than an intermediate, basis-dependent quantity.