7.7.2 Tensor Scalar Component Zero Index Form

Tensor Scalar Component Zero Index Form is the formal notational convention by which a rank-0 tensor is written and typed as carrying an empty list of indices, expressing in symbolic terms the fact that no upper or lower slots are present, rather than describing the numerical value the tensor happens to hold.

Definition and Scope

Type Notation With Zero Entries

A tensor's type is conventionally written as ((p,q)), counting upper and lower indices; the zero index form is the specific case

with both counts equal to zero, distinguishing this notational form from every other type, all of which have at least one nonzero count.

The Index List as an Empty Tuple

Where a general tensor is written with an explicit list of index symbols, such as (T^{i}_{\ jk}), the zero index form has no such list to write, since the index tuple attached to the symbol is empty:

so a scalar in this notation is written simply as (T), with no superscripts or subscripts attached at all.

Structural Properties

Consistency With the General Transformation Law

The general transformation law for a tensor's components involves one factor of the change-of-basis matrix, or its inverse, for every index present. The zero index form is the case in which this product of factors is empty, and an empty product is conventionally taken to equal one, so the transformation law degenerates to the statement that the value is left entirely unchanged:

confirming, from the general formula itself, why the scalar component case is invariant under change of basis without needing a separate argument.

Distinguishing Notational Form From Numerical Content

The zero index form describes only the shape of the notation, that no indices appear, and says nothing about what particular field element the tensor equals; two different rank-0 tensors, holding different scalar values, both share the identical zero index form while differing entirely in the value each one represents.

Formal Consistency With Rank Counting

Since rank is defined as the total count of upper and lower indices, the zero index form is exactly what is required for a tensor to have rank zero; any tensor whose notation lists even a single index, upper or lower, fails to be in zero index form and correspondingly has rank at least one.

Role Within Tensor Algebra

Anchoring Type Notation at Its Base Case

The zero index form is the base case against which the general ((p,q)) type notation is built, with every higher type obtained by adding one or more index symbols to an otherwise identical notational scheme, so understanding the zero index form clarifies what the notation for every other type is adding on top of.

Signaling Full Reduction in Symbolic Manipulation

When a chain of contractions applied to a higher-rank tensor's symbolic expression eventually leaves an expression in zero index form, this is the formal signal, readable directly from the notation, that the expression has been fully reduced to a scalar and admits no further contraction.