5.24.4 Tensor Product Component Notation

Tensor Product Component Notation is the detailed set of symbolic rules governing how the scalar coefficients of a tensor are written and manipulated using indices, encompassing the distinction between free and dummy (summed) indices, the placement of indices as superscripts or subscripts, and the conventions that determine when an indexed expression is well-formed. Where basis notation names the basis elements a tensor is expanded in, component notation concerns the coefficients themselves and the grammar of symbols used to write, combine, and simplify expressions built from them.

Free Indices versus Dummy Indices

Free Indices Label the Whole Expression

An index that appears exactly once in a term, such as the i in c_i, is called a free index: it is not summed over, and it indicates that the expression represents a whole family of values (one for each value the index can take), matching a specific component of the tensor being described.

Dummy Indices Are Summed and Interchangeable

An index appearing exactly twice in a single term, such as the repeated i in Σᵢ aᵢbᵢ, is a dummy (or summation) index: it is summed over its full range and can be renamed to any other unused letter without changing the meaning of the expression, since Σᵢ aᵢbᵢ = Σₖ aₖbₖ.

The Einstein Summation Convention in Detail

Automatic Summation Rule

Under this convention, whenever the same index letter appears once as a superscript and once as a subscript within a single term, summation over that index is implied automatically, and the explicit Σ symbol is omitted; this is purely a notational compression and changes nothing about the underlying mathematical content.

Rules for Valid Expressions

A well-formed expression under this convention never repeats an index more than twice within a single term, and any index appearing three or more times, or repeated twice in the same (both upper or both lower) position, signals either an error or the need for an explicit summation symbol overriding the automatic convention.

Diagram of Index Roles

Upper and Lower Index Placement

Encoding Transformation Behavior

Placing an index as a superscript (vⁱ) versus a subscript (vⱼ) is not a stylistic choice: superscripts denote components associated with the original space V (transforming contravariantly under change of basis), while subscripts denote components associated with the dual space V* (transforming covariantly), so index placement carries essential information about how a component behaves under a change of basis.

Consistency Requirement in Summation

The Einstein summation convention specifically requires a repeated index to appear once "up" and once "down" precisely because this pairing is what makes the sum basis-independent: pairing a contravariant and covariant index cancels their respective transformation factors, leaving the summed quantity invariant under change of basis.

Notation for Raising and Lowering Indices

The Role of a Metric or Pairing

When a fixed bilinear pairing (such as a metric tensor g_{ij} in geometric contexts) is available, indices can be "raised" or "lowered" by contracting with the metric or its inverse, written vᵢ = g_{ij}vʲ and vⁱ = gⁱʲvⱼ, a component notation convention that converts between the covariant and contravariant description of what is, abstractly, the same underlying object identified via the pairing.

Dependence on a Chosen Pairing

This raising and lowering notation is only available once a specific pairing has been fixed; without it, upper and lower indices denote genuinely different spaces (V and V*) with no canonical way to convert one component type into the other.

Notation for Symmetrization and Antisymmetrization

Bracket Conventions

Component notation uses round brackets around a set of indices, c_{(ij)}, to denote the symmetric part ½(c_{ij} + c_{ji}), and square brackets, c_{[ij]}, to denote the antisymmetric part ½(c_{ij} − c_{ji}), compactly encoding the symmetrization and antisymmetrization operations directly at the level of index notation.

Extension to More Indices

For more than two indices, these bracket conventions generalize to averaging (with or without alternating sign) over all permutations of the enclosed indices, matching the symmetrization and antisymmetrization operators used to construct symmetric and exterior powers.

Significance of Component Notation

A Grammar for Manipulating Tensor Expressions

Component notation, with its precise rules for free versus dummy indices, index placement, and bracket conventions, functions as a grammar: expressions that follow the rules are guaranteed to represent well-defined, basis-independent quantities once summed, while violations of the rules signal genuine errors rather than mere stylistic lapses.

Enabling Compact, Unambiguous Computation

By compressing explicit summations, encoding transformation behavior directly into index position, and providing shorthand for symmetrization, component notation allows complex tensor computations to be written compactly while remaining precise about which quantities are basis-dependent components and which combinations of them yield basis-independent results.