8.10.2 Tensor Einstein Upper Lower Convention

The Einstein convention uses upper and lower indices to denote tensor components, simplifying notation in physics and mathematics.

Tensor Einstein Upper Lower Convention is the companion component of the Einstein summation convention that specifies the variance requirement for implicit summation, namely that a repeated index must appear once in the upper, contravariant position and once in the lower, covariant position, since repetition alone, without this opposition of variance, does not license an implicit sum under the standard rule.

The Variance Requirement

Opposition, Not Mere Repetition

The upper lower convention adds a second condition on top of the repetition rule: it is not enough for an index letter to appear twice within a term, the two occurrences must additionally be split between the upper and lower tiers, one attached as a superscript-style contravariant index and the other as a subscript-style covariant index.

A_{i} B^{i}

Same-Variance Repetition Falls Outside the Convention

When both occurrences of a repeated letter share the same variance, both upper or both lower, the upper lower convention is not satisfied, and the standard rule does not license an implicit sum in that case, since the pairing of a contravariant slot with another contravariant slot, rather than with a covariant one, is not the operation the convention is designed to represent.

A^{i} B^{i}

An expression of this form typically requires an explicit metric tensor to lower one of the two indices before a valid contraction, satisfying the upper lower convention, can be formed.

Geometric Justification for the Convention

Upper and Lower Slots Represent Dual Spaces

The requirement of opposite variance reflects the underlying geometric structure of tensors: an upper index represents a component in the original vector space, while a lower index represents a component in the dual space of linear functionals, and only a pairing between these two complementary spaces yields a coordinate-independent, meaningful scalar contribution when summed.

Why Same-Variance Pairing Is Not Automatically Meaningful

Pairing two upper indices, or two lower indices, directly through summation would not generally produce a result that remains invariant under a change of basis, since such a pairing lacks the natural duality that makes the standard contraction basis-independent; this is precisely why the metric tensor is introduced as the tool for relating same-variance indices when such a pairing is genuinely required.

The Convention in Practice

Recognizing Valid Contractions at a Glance

The upper lower convention allows a reader to determine, simply by inspecting the placement of a repeated index, whether an expression represents a standard, basis-independent contraction or instead requires additional justification, such as an explicit metric factor, before it can be considered meaningful.

R_{k} = A_{i k} B^{i}

Interaction with Index Raising and Lowering

The upper lower convention interacts closely with the operations of raising and lowering indices via the metric tensor, since converting a same-variance repetition into a valid opposite-variance pair is exactly what raising or lowering one of the two indices accomplishes before contraction is applied.

g_{i j} A^{i B^{j}}

Practical Illustration

The upper lower convention is therefore not a mere typographic formality but the notational encoding of a genuine geometric distinction, ensuring that every implicit summation licensed by the Einstein convention corresponds to a pairing between a vector space direction and its dual, which is precisely the pairing that yields a basis-independent, meaningful result.