8.8.2 Tensor Repeated Upper Lower Pair

Tensor Repeated Upper Lower Pair denotes contraction in tensor algebra, pairing upper and lower indices to express symmetry and covariant operations.

Tensor Repeated Upper Lower Pair is the specific two-member unit formed when a single index letter occurs once in the upper position and once in the lower position within a term, constituting the minimal structural building block that the Einstein summation convention recognizes as licensing an implicit sum, in contrast to any other combination of repeated occurrences.

Anatomy of the Pair

One Upper Member, One Lower Member

The pair consists of exactly two members: an upper occurrence, attached to some tensor factor as a contravariant slot, and a lower occurrence, attached to some tensor factor, possibly the same one or a different one, as a covariant slot.

A_{i} B^{i}

In this pair, the lower member sits on (A) and the upper member sits on (B), and together the two members constitute a single completed pair, no more and no fewer.

The Pair as an Indivisible Unit

Once formed, the upper-lower pair functions as a single indivisible unit for the purposes of summation: it cannot be partially summed, and neither member of the pair may participate in any other pairing within the same term, since doing so would create a triple occurrence rather than a clean pair.

Formation of the Pair Across Structural Contexts

Pair Spanning Two Distinct Tensors

The most common form of the pair spans two separate tensor factors multiplied together, with the lower member on one factor and the upper member on the other, which is the structural basis of ordinary tensor contraction between distinct objects.

M_{i k} N^{k}

Pair Formed Within a Single Tensor

A pair can also form entirely within a single tensor symbol that itself carries both an upper and a lower slot bearing the same letter, producing a trace, which is the pair's degenerate but still valid form.

T_{i}^{i}

What Distinguishes a Valid Pair from an Invalid Repetition

Same Variance Is Not a Pair

Two occurrences of the same letter that are both upper, or both lower, do not form a valid upper-lower pair and are not summed under the standard convention, since the defining feature of the pair is precisely the opposition of variance between its two members.

A_{i} B_{i}

More Than Two Occurrences Is Not a Pair

If a third occurrence of the same letter appears anywhere within the term, the structure is no longer a clean pair but an invalid triple repetition, and the expression must be corrected, typically through renaming, before the pairing rule can be applied.

Multiple Independent Pairs Within One Term

A single term may contain several distinct upper-lower pairs simultaneously, each formed by a different index letter, with each pair contributing its own independent summation entirely separate from the others.

A_{i j} B^{i j}

Here (i) forms one complete upper-lower pair and (j) forms a second, entirely independent upper-lower pair, and both are summed together to produce a single scalar result.

Practical Illustration

Identifying the upper-lower pair as the fundamental unit of tensor contraction clarifies why the summation convention is stated in terms of exactly two paired occurrences: it is this specific configuration, one upper and one lower member sharing a letter, that mechanically encodes the operation of pairing a contravariant direction with a covariant direction and collapsing them into a single summed value.