8.9.2 Tensor Summation Index Bound Variable Role

In tensor summation, index bound variables dictate summation ranges, playing a critical role in tensor algebra notation and computation.

Tensor Summation Index Bound Variable Role is the aspect of a summation index that parallels the behavior of a bound variable in ordinary mathematics, such as the variable of integration in a definite integral or the loop variable in an explicit summation, whereby the index has meaning only within the expression that binds it and carries no significance or reference outside that scope.

Parallel with Bound Variables Elsewhere in Mathematics

Analogy to a Variable of Integration

Just as the variable of integration in a definite integral is bound by the integral sign and does not appear in the value of the integral once evaluated, a summation index is bound by its paired upper-lower occurrence and does not appear in the value of the tensor expression once the implied sum is carried out.

\int_{a}^{b} f (x) dx = \int_{a}^{b} f (t) dt

Just as (x) and (t) here are interchangeable bound variables of integration, the letter chosen for a summation index in tensor notation is similarly interchangeable, provided the substitution is applied consistently within its scope.

Analogy to a Loop Variable

The summation index also parallels a loop variable in an explicit computational sum, one that exists only for the duration of the loop and has no meaning once the loop has finished executing and the accumulated total has been produced.

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

Consequences of the Bound Variable Role

Renaming Freedom Follows Directly

The renaming freedom that permits a summation index to be replaced with any other unused symbol follows directly from its bound variable role, since a bound variable, by definition, carries no meaning outside its own binding scope and therefore can be freely relabeled without affecting the value of the bound expression.

Non-Interference Across Separate Scopes

Because the binding scope of a summation index is confined to the single term in which its pairing occurs, two separate terms may freely reuse the same letter as a bound summation index without interacting, exactly as two separate integrals may each use (x) as their variable of integration without those uses referring to the same underlying quantity.

A_{i} B^{i} + C_{i} D^{i}

Distinguishing Bound from Free

Free Indices Are Not Bound

A free index, by contrast, is not bound within the expression; it functions instead as an open placeholder that must be matched consistently across every term of a larger equation, precisely because it refers, in a sense, to an external, unspecified but fixed choice of value rather than to an internally completed summation.

The Bound Variable Role as an Explanatory Principle

Recognizing the bound variable role of the summation index provides a unifying explanation for several otherwise separate-seeming rules of tensor notation, including renaming freedom, local scope, and the disappearance of the index from the final result, all of which are simply consequences of treating the summation index as a properly bound mathematical variable.

Practical Illustration

Treating the summation index as a bound variable, in the same sense used throughout mathematics for integration variables and loop variables, offers the clearest conceptual justification for why such an index may be freely renamed, why it has no effect outside its own local term, and why it is entirely absent from the value the expression ultimately produces.