13.12.3 Tensor Covariant Contravariant Summation Rule

The Tensor Covariant Contravariant Summation Rule unifies index contraction via Einstein summation, linking covariant and contravariant components in tensor algebra.

Tensor Covariant Contravariant Summation Rule is the notational convention stating that whenever an index appears exactly once as a contravariant superscript and once as a covariant subscript within the same term of an expression, that index is automatically summed over its full range without an explicit summation symbol being written. It formalizes, as a precise syntactic rule, the shorthand by which tensor contractions are expressed compactly, ensuring that the appearance of a repeated mixed index is universally understood to signal implicit summation.

Conceptual Basis

Compact Notation for a Recurring Operation

Because contraction over a matched contravariant-covariant index pair occurs so frequently throughout tensor algebra, writing an explicit summation symbol every time would make expressions cumbersome. The summation rule removes this need by establishing a fixed convention: a repeated mixed index implies summation automatically.

The Rule as an Implicit Instruction

Rather than being a separate mathematical operation, the summation rule is a notational instruction describing how expressions containing repeated mixed indices are to be interpreted, so that $A_{i} B^{i}$ is understood to mean the full sum over all values of $i$ , even though no summation symbol appears explicitly.

Precise Conditions Triggering the Rule

The rule applies specifically when an index appears exactly twice within a single term, once as a superscript and once as a subscript; an index appearing only once, or appearing twice with the same variance, does not trigger implicit summation under this convention.

Formal Description

Statement of the Rule

For any expression containing an index $i$ appearing once as $A^{i}$ and once as $B_{i}$ within the same term, the summation rule specifies:

A^{i} B_{i} = \sum_{i = 1}^{n} A^{i} B_{i}

where $n$ is the shared dimension over which the index ranges.

Extension to Multiple Repeated Indices

When several distinct indices each satisfy the repeated mixed-variance condition within the same term, the summation rule applies independently to each, implying a separate summation for every such pair, as in:

A^{i j} B_{i j} = \sum_{i = 1}^{n} \sum_{j = 1}^{n} A^{i j} B_{i j}

Non-Application to Free Indices

An index appearing only once in a term, with no corresponding opposite-variance occurrence, is a free index and is exempt from the summation rule, remaining instead as an open index on the resulting expression, as in $A_{j}^{i} v^{j}$ , where $i$ remains free while $j$ is summed.

Properties

Dependence on the Labeling, Not the Underlying Meaning

Because the summation rule is triggered by the repetition of a specific symbol, renaming the repeated index consistently throughout a term does not alter the meaning of the expression, since the underlying summation is unaffected by which particular label is chosen.

Requirement of Non-Ambiguous Labeling

Within a single term, the summation rule requires that no index symbol be reused in a way that would create confusion about which specific pair of occurrences constitutes a repeated mixed index, making careful index labeling essential in expressions with many indices.

Strict Adherence to Variance Matching

The summation rule applies only when the two occurrences of a repeated index have opposite variance; if a symbol is mistakenly repeated with the same variance in both occurrences, the rule does not apply, and such an expression falls outside the standard convention entirely.

Practical Considerations

Facilitating Compact Expression of Complex Formulas

The summation rule allows lengthy or multi-step tensor computations to be expressed in a compact form, since each contraction step is signaled simply by the repetition of an index rather than by an explicit and potentially unwieldy summation notation.

Risk of Misreading Without Familiarity

Because the summation is implicit, expressions relying on this rule can be misread by those unfamiliar with the convention, making explicit clarification of the rule important when tensor notation is introduced to a new context or audience.

Universal Applicability Across Contraction Cases

The summation rule underlies every named contraction case discussed in tensor algebra, including trace contraction, matrix multiplication, inner products, and vector covector pairing, since each of these ultimately reduces to one or more applications of this same basic notational convention.