7.22.5 Tensor Component Summation Notation

Tensor Component Summation Notation is a concise way to express tensor operations using indices, simplifying complex calculations in physics and engineering.

Tensor Component Summation Notation is the convention, most commonly known as the Einstein summation convention, by which a summation sign is suppressed and implied whenever an index letter appears exactly twice within a single term of a tensor expression — once as a superscript and once as a subscript. Under this notation, T^{i}_{j} v^{j} denotes Σⱼ T^{i}_{j} v^{j}, with the sum over j left unwritten because j occurs once up and once down in the same term.

The Core Rule

Repeated Index Implies Summation

The central rule of the notation is that an index letter repeated within a single term, once as a superscript and once as a subscript, is automatically summed over the full range of that index, without an explicit summation sign. An index that appears only once in a term is not summed; it is a free index that labels a component of the result.

T^{i} v_{i} = \sum_{i = 1}^{n} T^{i} v_{i}

Restriction to One Up, One Down

The implicit summation applies only when the repeated letter occurs once as a superscript and once as a subscript in the same term; a letter repeated twice as a superscript, or twice as a subscript, is not summed under this convention and typically signals a notational error rather than an intended contraction.

Free Indices and Dummy Indices

Free Indices Label Components

An index that occurs exactly once in a given term, with no matching occurrence of opposite type, is called free. Free indices are not summed, and every free index appearing in one term of an equation must also appear, with the same letter and the same upper-or-lower placement, in every other term of that equation, since they jointly label which component of the resulting tensor the equation describes.

Dummy Indices Are Summed and Renamable

An index that is repeated once up and once down within a term is called a dummy (or bound) index. It is summed out and therefore does not appear in the final result; because only the pairing pattern matters and not the specific letter used, a dummy index may be renamed to any other unused letter without changing the meaning of the expression, provided the new letter does not clash with another index already in use in that term.

T^{i} v_{i} = T^{k} v_{k}

Range of Summation

Implicit Bounds

The range over which a dummy index runs is not written explicitly in the notation; it is understood from context to be the dimension of the space in which the tensor is defined, typically 1 to n for an n-dimensional space, or 0 to 3 in four-dimensional relativistic contexts. The omission of explicit bounds is part of what makes the notation compact.

Consistency Across an Expression

All dummy indices sharing the same letter within a single term must range over the same set of values, and all free indices with the same letter across different terms of an equation must likewise range over the same set, since the notation presumes a fixed underlying dimension for the entire expression.

Multiple and Nested Sums

Several Independent Pairs in One Term

A single term may contain more than one repeated index pair, in which case each pair is summed independently, producing a multiple sum. In T^{ij}_{k} S^{k}_{ij}, both i and j are repeated as an upper index on one factor and a lower index on the other (dummy), and k is likewise repeated once up and once down (dummy), so the expression denotes a triple sum with no free indices remaining.

T_{k}^{i j} S_{i j}^{k} = \sum_{i} \sum_{j} \sum_{k} T_{k}^{i j} S_{i j}^{k}

Avoiding Ambiguity with More Than Two Occurrences

The convention is defined only for an index letter appearing twice in a term, once up and once down; if a computation would require the same letter to appear a third time, a fresh, unused letter must be introduced for the additional occurrence, since the notation has no rule for summing three or more instances of the same letter simultaneously.

Diagram of an Implicit Sum

Interaction with Contraction and the Kronecker Delta

Contraction as Repeated Application

Tensor contraction — reducing a tensor's type by pairing one superscript slot with one subscript slot and summing — is expressed entirely through this notation: writing the same letter in the paired slots automatically performs the contraction, without any separate contraction symbol being required.

The Kronecker Delta as an Index Replacement Tool

The Kronecker delta δ^{i}_{j}, equal to 1 when i = j and 0 otherwise, acts under the summation convention as an index-substitution operator: δ^{i}_{j} v^{j} = v^{i}, since the sum over j collapses to the single term where j = i. This identity is used throughout tensor manipulation to relabel a dummy index or to simplify an expression containing the delta.

Practical Value of the Notation

Compactness

By suppressing summation signs that would otherwise clutter multi-index expressions, the notation allows equations involving sums over several indices to be written as compactly as equations with no sums at all, which is essential when working with higher-rank tensors that carry many indices.

Built-In Consistency Checking

Because free indices must balance across every term of a valid tensor equation, and dummy indices must always occur in matched upper-lower pairs, the notation itself provides an immediate, mechanical check: an expression with unbalanced free indices, or with a repeated index that is not one-up-one-down, signals an error before any numerical evaluation is attempted.