9.21.2 Tensor Coordinate Symbol Notation

Tensor Coordinate Symbol Notation uses indices to represent tensor components in multi-dimensional spaces, showing position and transformation.

Tensor Coordinate Symbol Notation is the collection of conventions for choosing letters, index placements, and decorations to represent the numerical components of a tensor once a coordinate system has been fixed, as distinct from the symbols used for the basis vectors and covectors themselves.

Component Symbols

Contravariant Component Symbols

Contravariant components, which pair with basis vectors, are written with the index raised to a superscript position, typically using the same base letter as the tensor itself.

v^{i}, T^{ij}, A^{i 1 \dots i p}

The superscript position is reserved exclusively for contravariant slots; it is never used simply to denote an exponent within tensor coordinate notation, which is why context always determines whether (v^2) means "the second component of (v)" or "(v) squared," and careful authors avoid the ambiguity by rewording when necessary.

Covariant Component Symbols

Covariant components, which pair with dual basis covectors, carry the index as a subscript.

ω_{i}, T_{ij}, A_{j 1 \dots j q}

Mixed Component Symbols

A general mixed tensor carries both upper and lower indices simultaneously, with the vertical stacking or spacing between them indicating which slot is which without ambiguity.

T_{j}^{i}

Some notational systems insist on leaving an explicit gap where an index is absent, so that the ordering of upper indices relative to lower indices remains unambiguous even when the tensor has several indices of each type.

Index Range and Naming Symbols

Latin Indices for General Dimension

In most general treatments, Latin letters such as (i, j, k, l, m, n) are used for indices that range over an arbitrary or unspecified dimension (n). The letter (n) itself is conventionally reserved for the dimension count and is not used as an index label to avoid confusion.

Greek Indices for Specific Applications

In applications such as relativity, Greek letters such as (\mu, \nu, \rho, \sigma) are conventionally used for indices ranging over spacetime coordinates, often running from (0) to (3), while Latin letters are reserved for purely spatial indices running from (1) to (3). This split in alphabet is itself a coordinate symbol convention, letting a reader immediately infer the range of summation from the letter used.

x^{μ} = (x^{0}, x^{1}, x^{2}, x^{3})

Coordinate Function Symbols

Coordinates as Functions

The symbol (x^i) plays a double role in tensor coordinate notation: it denotes both the (i)-th coordinate function on a space and, when evaluated at a point, the (i)-th coordinate value of that point. This dual use is deliberate, since it allows the same symbol to appear both in expressions describing coordinate transformations and in expressions describing components at a specific location.

Partial Derivative Symbols

Coordinate symbols also appear inside the Jacobian-style transformation coefficients used to convert components between coordinate systems, written with the partial derivative of one coordinate with respect to another.

A_{i}^{j} = \frac{\partial x^{j}'}{\partial x^{i}}

Here the primed coordinate symbol (x'^j) in the numerator and the unprimed symbol (x^i) in the denominator make explicit, purely from the symbols used, which coordinate system is the source and which is the target of the transformation.

Visual Summary

Why This Symbol Discipline Matters

Tensor coordinate symbol notation gives every index a fixed grammatical role before any calculation begins: its vertical position tells the reader whether it pairs with a basis vector or a dual basis covector, its letter (Latin or Greek) often signals its range, and its repetition as a matched upper-lower pair signals summation. This discipline is what allows tensor equations to be checked for consistency by inspection, since a well-formed tensor equation must have exactly the same free indices, in the same positions, on every term.