1.4.3 Tensor Component Description

Tensor components describe mathematical entities through indexed values, essential for representing and manipulating tensors in algebraic structures.

Tensor Component Description is the set of notational conventions used to write, name, and communicate the entries of a tensor's component array, covering how indices are placed and labeled, how summation over repeated indices is indicated, how symbolic components are distinguished from specific numerical entries, and how the resulting expressions are read and interpreted by convention. Where the definition of a tensor component specifies what a component is, its component description specifies how that component is written down and communicated precisely, a matter of notation and convention rather than of underlying mathematical content.

Index Placement Conventions

Upper and Lower Position

By convention, contravariant indices are written as superscripts and covariant indices are written as subscripts, a placement chosen specifically so that the transformation law for each type of index can be read directly from its vertical position in the expression.

T_{j_{1} \dots j_{q}}^{i^{1} \dots i^{p}}

Left-to-Right Ordering Encodes Slot Identity

The order in which indices appear from left to right within the upper group, and separately within the lower group, is significant and fixed by convention: it records which argument slot of the underlying multilinear map each index corresponds to, so that T^{ij} and T^{ji} describe potentially different entries unless the tensor happens to be symmetric.

The Einstein Summation Convention

Statement of the Convention

The Einstein summation convention is the descriptive shorthand by which any index letter appearing exactly twice in a single term, once as an upper index and once as a lower index, is automatically summed over its full range without an explicit summation symbol being written.

A^{i} B_{i} = \sum_{i = 1}^{n} A^{i} B_{i}

Free Versus Summed Indices in Description

When describing a tensor component expression, indices are classified into free indices, appearing once and labeling which entry of the result is being described, and summed, or dummy, indices, appearing twice and disappearing from the final description once the summation is understood to have been carried out.

Symbolic Versus Numerical Component Description

Symbolic Description

A symbolic component description leaves the index letters as general placeholders, such as T^i_j, describing the entire family of components at once and the pattern that governs every entry, suitable for stating general rules, symmetry properties, or transformation laws that apply uniformly across all index values.

Numerical Description

A numerical component description substitutes specific integer values for the indices, such as T^2_3, describing one particular scalar entry of the array, suitable for explicit calculation or for referring to a specific piece of data within a larger tensor.

Descriptive Notation for Symmetrization and Antisymmetrization

Parentheses for Symmetrization

Enclosing a group of indices in parentheses is the standard descriptive notation indicating that the expression has been symmetrized over those indices, meaning averaged over every permutation of them.

T_{(i, j)} = \frac{1}{2} (T_{i j} + T_{j i})

Square Brackets for Antisymmetrization

Enclosing a group of indices in square brackets is the standard descriptive notation indicating that the expression has been antisymmetrized over those indices, meaning averaged with alternating signs over every permutation of them.

T_{[i j]} = \frac{1}{2} (T_{i j} - T_{j i})

Grid and List Display Conventions

Matrix-Style Display for Low Rank

For rank-one and rank-two tensors, components are conventionally displayed as a column list or a rectangular grid, with the row and column positions of the grid corresponding directly to the values of the two indices, matching the layout familiar from ordinary matrices.

Symbolic Listing for Higher Rank

For rank-three tensors and above, where a flat grid is no longer adequate, the component description instead relies on the indexed symbol itself, T^{ijk}, together with any stated symmetry or antisymmetry properties, rather than an explicit visual layout of every entry.

Naming Conventions for Index Letters

Range and Reuse of Letters

By widespread convention, Latin letters such as i, j, k, l are used for indices ranging over spatial dimensions, while other letter sets, such as Greek letters μ, ν, ρ, σ, are reserved in some fields to indicate an index that includes an additional dimension beyond the purely spatial ones. Consistency in letter choice throughout a calculation is essential so that free indices on both sides of an equation match and dummy indices are not confused with free ones.

Diagrammatic Summary

The diagram labels the descriptive parts of a tensor component symbol, showing the upper indices written as superscripts on the left-to-right ordering that encodes contravariant slots, and the lower indices written as subscripts encoding covariant slots.