7.2.3 Tensor Component Index Area

The Tensor Component Index Area defines how indices in tensor components are arranged and interpreted within algebraic structures.

Tensor Component Index Area is the area of study concerned with the symbolic labeling of tensor indices in written expressions — the choice of letters, the distinction between free and dummy (summed) indices, the summation convention that governs when a repeated index implies a sum, and the rules for safely renaming indices — as distinct from the numerical range an index may take (the indexing scope) or the physical layout of stored values (the array area). Where the indexing scope area fixes which integers an index may equal, the index area governs how index letters are chosen, combined, and manipulated symbolically within an expression.

Free Indices Versus Dummy Indices

Free Indices Label the Result

A free index is one that appears exactly once in a given term and is not summed; it survives into the result of the expression and must match, in position and letter role, on every term of a valid equation. In Sⁱⱼ = Tⁱⱼ + Uⁱⱼ, both i and j are free indices, present once in every term and identifying which component of the result is being defined.

Dummy Indices Are Summed and Internal

A dummy index appears exactly twice in a single term — once upper, once lower — and is summed over its full range; unlike a free index, a dummy index does not appear in the final result and can be renamed to any other unused letter without changing the meaning of the expression, since it is merely a bookkeeping device for the sum.

v^{i} = \sum_{k} A_{k}^{i} w^{k} = \sum_{m} A_{m}^{i} w^{m}

both forms above are identical expressions, since k and m are dummy indices related by a permissible renaming.

The Einstein Summation Convention

Suppressing the Explicit Summation Symbol

The Einstein summation convention, a central device of the index area, stipulates that any index letter appearing once as a superscript and once as a subscript within the same term is automatically summed, without writing the summation sign explicitly:

A_{k}^{i} w^{k} means the same as \sum_{k} A_{k}^{i} w^{k}

This convention is purely notational — it changes nothing about which index is free and which is dummy — but it substantially shortens expressions once adopted, and recognizing it correctly requires knowing, as a matter of index-area convention, that repetition in this specific upper-lower pattern signals summation rather than, say, componentwise multiplication.

Diagram of Index Roles Within an Expression

Rules Governing Safe Index Manipulation

Consistency Across Terms in an Equation

Every term on both sides of a valid tensor equation must carry exactly the same set of free indices, in the same variance positions; an equation with a free upper i on one side and a free lower i on the other, or with a free index missing from one term of a sum, is not well-formed under the index area's rules, regardless of what the underlying numerical values might be.

Avoiding Index Collisions

When combining two expressions that happen to reuse the same dummy index letter for unrelated sums, the index area requires renaming one of the colliding dummy indices before combination, since leaving both as the same letter would incorrectly merge two separate sums into one; this renaming is always safe precisely because dummy indices carry no meaning beyond their role within their own single term.

Distinguishing the Index Area From Numerical Indexing Scope

The index area governs the symbolic rules just described — free versus dummy status, summation convention, safe renaming — entirely independently of what numerical range a given index letter may take; the same symbolic rules apply whether the index ranges over three values or three thousand, since the index area concerns the grammar of index manipulation, not the arithmetic range that grammar is eventually evaluated over.