8.14 Tensor Index Range Notation

Tensor Index Range Notation is the collection of conventions used to specify, either implicitly or explicitly, the set of integer values that a tensor index is permitted to take within a given expression. It governs how many terms an implicit sum expands into, how many independent scalar equations a free-index expression represents, and how the abstract symbols of tensor notation connect to a concrete, countable set of components once a specific dimension has been fixed.

The Two Modes of Specifying a Range

Implicit Range Specification

In the overwhelming majority of tensor writing, the range of every index is left unstated in the formula itself and is instead inherited from context — the dimension $n$ of the vector space or manifold under discussion, declared once at the start of a derivation or assumed from the surrounding discipline's conventions. Under this implicit mode, an expression such as

is understood to hold for every $i$ from $1$ to $n$, without any range clause appearing next to the formula.

Explicit Range Specification

When an index must be restricted to a subset of the ambient dimension, or when the range needs to be stated for absolute clarity, explicit range notation is used, typically written alongside the expression:

Explicit range notation locally overrides or reinforces whatever range would otherwise be assumed, and is required whenever the intended range is not the full ambient dimension.

Range Notation for Free Versus Dummy Indices

Free Indices Determine the Number of Equations

The range assigned to a free index determines how many separate scalar equations a single tensor equation represents; a tensor equation with one free index ranging over $n$ values stands for exactly $n$ scalar equations, one for each value the index takes. Range notation for free indices is therefore inseparable from the meaning of the equation as a whole.

Dummy Indices Determine the Length of an Implicit Sum

The range assigned to a repeated (dummy) index determines the number of terms an implicit summation expands into:

with the upper bound $n$ supplied by whichever range notation — implicit or explicit — governs that index in the surrounding context.

Dependence on Ambient Dimension

The most common form that range notation takes in practice is a direct dependence on the dimension of the space being discussed: three values in ordinary spatial contexts, four in relativistic spacetime, or a symbolic $n$ in general or abstract treatments. This dependence means the identical index pattern can represent a different number of terms, and a different number of independent components, purely as a function of which dimension has been declared for the surrounding discussion, without any change to the notation itself.

Partitioned and Restricted Ranges

Splitting a Full Range Into Sub-Ranges

Range notation also accommodates situations where an index's full ambient range is deliberately partitioned, most commonly to separate a time-like coordinate from purely spatial ones. A spacetime index $\mu$ ranging over ${0, 1, 2, 3}$ may be split so that the value $0$ is treated separately while $i \in {1, 2, 3}$ covers the remaining spatial values, with both an original full range and a restricted sub-range coexisting in the same discussion.

Enumerated Ranges for Small or Specific Cases

For low-dimensional or pedagogical treatments, index ranges are sometimes given as an explicit enumerated list rather than as an interval bound by a symbolic dimension, such as $i \in {1, 2}$ for a two-dimensional example. This enumerated form is a special case of explicit range notation, chosen for concreteness rather than generality.

Range Notation and Component Counting

Deriving Component Counts From Declared Ranges

Once the range of every index on a tensor has been fixed, whether implicitly or explicitly, the total number of independent components before symmetry is the product of the sizes of each index's range. For a rank-2 tensor with both indices ranging over $n$ values, this yields $n^{2}$ raw components; range notation is what supplies the specific value of $n$ needed to turn this general formula into a concrete count.

Range as a Prerequisite for Explicit Expansion

Any expansion of a tensor expression into an explicit list of scalar equations or numerical components presupposes that a determinate range has already been assigned to every index involved; range notation is precisely the mechanism that supplies this prerequisite, whether by silent inheritance from an ambient dimension or by an explicit annotation attached to the expression.

Role Within Tensor Index Notation

Index range notation completes the triad of conventions — alongside index position and implicit summation — that give tensor index notation its full expressive power. Where position notation signals transformation behavior and summation notation signals which indices are to be summed, range notation supplies the numerical extent over which both free and dummy indices actually operate, without which neither a free-index equation nor a summed expression could be connected to any concrete number of terms or components.