8.11.1 Tensor Explicit Sigma Symbol

The Tensor Explicit Sigma Symbol denotes summation over indices, clarifying tensor operations in algebraic expressions.

Tensor Explicit Sigma Symbol is the specific mathematical character, the capital Greek letter sigma, used in explicit summation notation to indicate that a summation over a stated index and range is being performed, serving as the visible marker that distinguishes an explicit sum from an ordinary product or an implicit Einstein-convention contraction.

Anatomy of the Symbol's Usage

Attaching the Range to the Symbol

The sigma symbol is conventionally decorated with a lower attachment specifying the starting value of the summation index and an upper attachment specifying the ending value, together fully defining the span of the sum before the summand is even read.

\sum_{i = 1}^{n} A_{i} B^{i}

The Summand Follows the Symbol

Immediately following the decorated sigma symbol comes the summand, the expression whose value is to be computed and added together once for every admissible value of the summation index, with the summand's own index playing the role bound by the sigma.

The Symbol as an Explicit Binding Operator

Making the Binding Visible

Where the Einstein convention leaves the binding of a summation index entirely implicit, recoverable only by recognizing a repeated, opposite-variance pattern, the sigma symbol makes this binding visually explicit, functioning much like the integral sign in calculus, which likewise visibly binds its own variable.

\sum_{i = 1}^{n} A_{i}

Note that here the sigma symbol permits summation even over a single occurrence of an index, such as summing the components of a single tensor (A_i) directly, a construction that would not be expressible using the Einstein convention alone, since that convention requires a repeated, paired index rather than a single occurrence.

Symbol Scope

The scope of a sigma symbol extends over the summand written immediately to its right, and when multiple terms follow a single sigma without enclosing parentheses, care must be taken to determine exactly how far the intended summand extends, since ambiguity in scope is a common source of misreading explicit summation notation.

Multiple Sigma Symbols

Nested Sigma Symbols for Multiple Indices

When a sum spans two or more independent indices, multiple sigma symbols are stacked, each with its own range, and the order in which they are written typically, though not universally, corresponds to the order in which the nested summations are conceptually carried out.

\sum_{i = 1}^{n} \sum_{j = 1}^{n} A_{i j}

Relationship to the Einstein Convention

The Symbol Made Optional, Not Eliminated

The Einstein summation convention does not eliminate the concept represented by the sigma symbol; it merely makes the symbol optional in the specific case where the summation index appears exactly twice in opposite variance, allowing the sigma to be omitted precisely because its presence would be inferable from the pattern of repetition alone.

Reintroducing the Symbol When Needed

Whenever a summation falls outside the scope automatically covered by the Einstein convention, such as a sum over a non-standard range or a summation involving only a single occurrence of an index, the sigma symbol must be reintroduced explicitly to convey the intended meaning unambiguously.

Practical Illustration

The sigma symbol remains the essential visible marker of summation whenever explicit notation is required, and understanding its structure, the decorated range and the following summand, is necessary for correctly reading any tensor expression that falls outside the automatic scope of the Einstein summation convention.