8.1.3 Tensor Indexed Equation Scope

Tensor Indexed Equation Scope clarifies how indices govern variable relationships in tensor equations, ensuring precise mathematical expression across domains.

Tensor Indexed Equation Scope is the extent of a single tensor equation over which its free indices must be held consistent — matched in letter, vertical position, and count — across every term on both sides, closing at the equation's boundary so that the same letters may be freely reused with an unrelated meaning in the next equation without any conflict arising. It is the unit of scope one level broader than a single term's dummy-index summation and one level narrower than the document-wide conventions governing which letters are reserved for which roles.

The Equation as a Scope Boundary

Free Indices Must Agree Throughout the Equation

A valid tensor equation asserts equality between two sides, and any free index appearing on one side must appear, with the same letter and the same upper-or-lower placement, on every term of the other side as well; the scope of this requirement is the entire equation, since it is the equation as a whole — not any single term within it — that makes the claim being checked for consistency.

R_{j}^{i} = A_{j}^{i} + B_{k}^{i} C^{k} D_{j}

Here the free indices i and j occur, matched in position, on the left side and in every term on the right; k is a dummy index whose scope is confined to the single term in which it is summed, well inside the broader equation scope.

Closure at the Equation's End

Once an equation is complete, its scope closes: none of the free-index consistency requirements that governed it carry over into whatever equation follows. A subsequent, entirely separate equation is free to reuse the very same letters i and j for free indices with a different meaning, or as dummy indices, without any relation to their role in the equation that came before.

Why Equation Scope Is the Right Unit for Free-Index Checking

Encoding a Family of Scalar Equations

A tensor equation with r free indices, each ranging over n values, is shorthand for n^{r} separate scalar equations, one for each assignment of values to the free indices. The equation's scope is exactly the boundary within which this correspondence must hold uniformly: every term must supply a value for the same assignment of free-index values, which is only guaranteed if the free indices are held fixed and consistent across the whole equation.

A Verification Tool

Because equation scope requires free-index agreement across every term, checking that every term of a purported tensor equation carries exactly the same free indices, in the same positions, is a standard and mechanical way to verify the equation is even well-formed, before any further mathematical content of the equation is examined.

Diagram of Equation Scope

Interaction with Nested Sub-Expressions

Sub-Expressions Inherit but Do Not Alter Equation Scope

A tensor equation may contain internal sub-expressions with their own dummy indices summed locally, but the free-index requirements imposed at the level of the whole equation remain unaffected by what happens inside any sub-expression; a dummy index summed within one term is fully resolved before it could interact with the equation-wide free-index bookkeeping.

Equations Within a Derivation

A multi-step derivation consists of a sequence of equations, each with its own equation scope; a letter used as a free index in an early equation of the derivation may later be repurposed, once that equation's scope has closed, as a dummy index in a subsequent equation of the same derivation, provided the reuse is not so close or so poorly signposted that it risks confusing a reader following the chain of equalities.

Practical Significance

A Discipline for Long Derivations

In derivations spanning many equations, deliberately tracking where each equation's scope opens and closes — and thus where a given index letter's meaning is free to change — prevents an index introduced with one role in an early step from being mistakenly carried, with its earlier meaning still attached, into a later step where it has in fact been given a new role.

Relation to Other Scope Levels

Equation scope sits between the narrower per-term scope that governs dummy-index summation and the broader, document-wide symbol scope that governs which letters are conventionally reserved for which kinds of indices; a full account of how a given index letter is to be read at any point in a piece of tensor mathematics requires attending to all three levels simultaneously.