8.15.2 Tensor Renaming Scope Preservation

Tensor Renaming Scope Preservation is the requirement that when a dummy index is renamed within a tensor expression, the new letter must be substituted consistently throughout the entire scope in which the original letter was bound — and only within that scope — so that the meaning, value, and boundaries of the summation the index represents remain exactly unchanged. Renaming is a purely notational substitution; scope preservation is the condition that guarantees this substitution never accidentally alters which terms are summed together, which indices become confused with one another, or how far the implicit summation extends.

Defining the Scope of a Dummy Index

Scope Is Bounded by the Term

The scope of a dummy index is the single term in which its repeated upper and lower occurrences appear; the index and its summation have no meaning or existence outside that term. In an expression such as

the index $i$ used in the first term and the index $i$ used in the second term occupy two entirely separate scopes, even though they share the same letter; each is summed independently within its own term, and the shared letter is a coincidence of notation rather than a link between the two sums.

Consequence: Independent Renaming per Scope

Because each term defines its own scope, renaming the dummy index in one term has no bearing on, and need not match, the letter chosen for a dummy index in a different term. The expression above can equally well be written with the second sum's dummy index renamed to $j$,

without changing the value of the sum, precisely because scope preservation only demands consistency within each term, not across terms.

The Substitution Rule

Full and Simultaneous Replacement Within Scope

Preserving scope during a renaming operation requires that every occurrence of the original dummy letter within its scope — both the upper and the lower occurrence — be replaced simultaneously by the new letter. Renaming only one of the two occurrences, for instance changing $A^{i}B_{i}$ to $A^{k}B_{i}$, breaks the pairing that defined the implicit sum and produces an expression with two mismatched free indices rather than a valid renamed contraction.

Avoiding Collision With Indices Outside the Scope

A renaming operation preserves scope correctly only if the newly chosen letter does not already appear as a free index, or as a distinct dummy index, elsewhere within the same term. Renaming $i$ to $j$ in $A^{i}B_{i}C_{j}$ would collide with the free index $j$ already present, illegitimately merging what were two separate indices into one; scope preservation therefore requires selecting a genuinely unused letter before performing the substitution.

Scope Preservation Across Nested or Compound Expressions

Contractions Within Larger Sums

When a term containing a dummy index is itself embedded within a larger sum or a more complex tensor identity, scope preservation confines the renaming to that specific term alone, leaving the surrounding structure of the expression, and any indices used in other parts of it, completely untouched. Renaming the dummy index inside one contracted term of a multi-term identity does not require, or permit, any corresponding change elsewhere in the identity.

Preservation Under Repeated Renaming

Applying a renaming operation twice in succession — first substituting $i$ for $j$, then $j$ for $k$ — must produce the same final expression as substituting $i$ directly for $k$ in a single step, provided scope is preserved at each stage. This composability is a direct test of whether a sequence of renamings has respected scope correctly throughout.

Why Scope Preservation Matters

Guaranteeing the Value of the Expression Is Unchanged

The entire justification for allowing dummy indices to be renamed freely rests on scope preservation: since a dummy index has no meaning outside its own scope, and since a properly scoped renaming touches only that scope, the numerical value represented by the expression is provably unaffected by the substitution. Without scope preservation, a renaming could inadvertently alter which quantities are summed together, silently changing the meaning of the formula while leaving it superficially similar in appearance.

Enabling Safe Manipulation of Multi-Term Identities

Scope preservation is what allows an author to freely relabel dummy indices to avoid letter clashes when combining separate tensor identities — for example, before multiplying two contracted expressions together, each of which independently uses the letter $i$ as a dummy index. Confirming that renaming respects scope justifies treating each identity's dummy indices as locally interchangeable placeholders, safely relabeled without consulting or altering the other identity being combined with it.

Role Within the Index Renaming Operation

Scope preservation is the correctness condition that any legitimate tensor index renaming operation must satisfy. It specifies precisely what "the same expression" means before and after a renaming: identical scope boundaries, identical pairing of upper and lower occurrences within each scope, and no newly introduced collisions with indices outside that scope. Every other property attributed to index renaming — that it leaves the value of an expression unchanged, that it can be performed independently in separate terms, that it composes predictably — follows directly from scope preservation being maintained.