8.2.4 Tensor Summation Index Area

Tensor Summation Index Area involves summing tensor components over repeated indices, simplifying expressions in algebra.

Tensor Summation Index Area is the conceptual domain of tensor index notation covering the Einstein summation convention as a whole system: its origin, its variation in range across different fields of application, the notational exceptions used to override or restrict it, and its implementation in computational settings. It surveys the summation convention broadly, as a convention with a history, variants, and explicit escape hatches, rather than focusing solely on the mechanics of any single sum.

Origin and Purpose of the Convention

A Notational Economy Measure

The convention was introduced to eliminate the need to write an explicit summation symbol every time an index is repeated once up and once down within a term; without it, an expression such as v = Σᵢ vⁱeᵢ would need its summation sign written out at every occurrence, quickly cluttering any calculation involving several indices.

v = \sum_{i = 1}^{n} v^{i} e_{i} → v = v^{i} e_{i}

Attribution and Adoption

The convention is named for its introduction into general relativity, where expressions involving sums over four spacetime coordinates repeated throughout long calculations; its adoption then spread outward to differential geometry, continuum mechanics, and other fields making heavy use of multi-index tensor expressions.

Variation in Range Across Fields

Spatial Versus Spacetime Range

The range implied by the summation convention is not fixed universally; it depends on the dimension of the space under discussion in a given context. In three-dimensional spatial contexts, Latin-lettered indices are conventionally summed from 1 to 3, while in four-dimensional spacetime contexts, Greek-lettered indices are conventionally summed from 0 to 3, with the value 0 reserved for the time coordinate.

Arbitrary Dimension in Pure Mathematics

In a purely algebraic or geometric treatment not tied to physical space or spacetime, the summation range is simply 1 to n for a vector space of dimension n, left as a symbolic parameter rather than fixed at 3 or 4; the convention itself does not depend on any particular numerical range, only on the local, contextual understanding of what that range is.

Diagram of Range Conventions by Area

Notational Exceptions to the Convention

Explicit Summation Signs to Override the Convention

When an index is repeated in a way that would ordinarily trigger the convention but a sum is not actually intended, an explicit summation sign is avoided instead by simply not repeating the index in the offending position, often by introducing a fresh letter; alternatively, some authors write an explicit sum sign alongside the repeated index specifically to signal, by its presence, that no implicit convention is meant to apply beyond what is explicitly written.

"No Sum" Annotations

Where a repeated index in the one-up-one-down pattern is deliberately not meant to be summed — for instance, when referring to a single diagonal component of a matrix without summing over it — authors commonly add a parenthetical annotation such as "(no sum)" immediately after the expression, explicitly suspending the convention for that one occurrence.

T_{i}^{i} (no sum on i)

Implementation in Computational Settings

Explicit Einsum Notation in Software

Numerical computing libraries commonly provide a function, often named for Einstein summation, that accepts a string specifying which indices of the input arrays are to be treated as repeated (and hence summed) and which are to remain free, directly implementing the mathematical convention as a callable operation on multi-dimensional arrays.

Bridging Symbolic and Numerical Practice

This computational implementation preserves the same underlying rule used in symbolic tensor work — repeated indices are summed, free indices are not — allowing a hand-derived tensor expression using the summation convention to be translated directly into a single function call operating on actual numerical data, without needing to write explicit nested loops for the sum.

Practical Considerations Across the Area

Consistency of Range Within One Calculation

A single calculation must commit to one summation range for a given index throughout; mixing a spatial three-dimensional range for one occurrence of a letter with a spacetime four-dimensional range for another occurrence of the same letter within the same calculation produces an inconsistency that the convention itself does not detect and that must instead be guarded against explicitly.

Recognizing When the Convention Does Not Apply

Because the convention is triggered specifically by the one-up-one-down repeated pattern, an index repeated twice in the same vertical position, or an index appearing three or more times, falls outside its scope entirely and requires the author to clarify explicitly, often via an explicit summation sign or additional prose, what operation is actually intended.