4.9.4 Tensor Scalar Valued Component Expression

Tensor Scalar Valued Component Expression is the symbolic, index-based notation used to write down the scalar output of a multilinear map in terms of the tensor's components and the coordinates of its arguments, most commonly employing the Einstein summation convention in which repeated upper and lower indices are automatically summed over without an explicit summation sign. It is the standard notational shorthand through which scalar valued evaluations are written, manipulated, and communicated throughout tensor algebra and its applications.

Formal Definition

The Einstein Summation Convention

Given a type $(r, s)$ tensor with components $T^{i_1 \cdots i_r}{\phantom{i_1 \cdots i_r} j_1 \cdots j_s}$ and arguments with coordinates $\phi^{(1)}{i_1}, \ldots$ and $v^{j_1}_{(1)}, \ldots$, the component expression for the scalar output suppresses the explicit summation symbol:

where any index appearing once as an upper index and once as a lower index within a single term is understood to be summed over its full range, from $1$ to $n$, without writing a summation symbol explicitly. The full explicit-summation form described in the evaluation of a tensor is thereby compressed into this more compact expression.

Rules Governing Valid Component Expressions

A valid component expression under this convention requires that every repeated index appear exactly once as an upper index and once as a lower index within the same term; an index repeated twice in the same position (both upper or both lower) or repeated more than twice is not a legitimate summation pattern and signals either an error or the deliberate use of a different, explicitly stated convention.

Structural Features of the Notation

Free Indices Versus Summed Indices

An index that appears only once in an expression, with no matching partner, is a free index, and it indicates that the expression as a whole still represents a tensor with that many remaining open slots rather than a fully evaluated scalar; a component expression represents a genuine scalar valued output only when every index present is a summed (repeated, matched) index and no free indices remain.

Notational Independence From Explicit Summation Symbols

Because the convention automatically implies summation over matched indices, expressions can be written more compactly and manipulated algebraically, such as factoring, distributing, or relabeling dummy indices, using rules that closely mirror ordinary polynomial algebra, provided the upper-lower matching rule is respected at each step.

Relabeling of Summed Indices

A summed (dummy) index can always be renamed to any other unused symbol without changing the value of the expression, since the index itself is merely a bookkeeping label for the summation and carries no independent meaning outside its own term; this relabeling freedom is frequently used to avoid symbol clashes when combining two component expressions into one larger expression.

Practical Use of Component Expressions

Expressing Contraction Notationally

The contraction of a tensor over a pair of matched indices is written by simply repeating the relevant upper and lower index symbols within the tensor's own component symbol, such as $T^{i}_{\phantom{i}i}$ for the trace of a type $(1,1)$ tensor, directly invoking the summation convention to represent an operation that would otherwise require an explicit sum sign and index range.

Distinguishing Component Expressions From Abstract Tensor Notation

Component expressions, which explicitly display indices and rely on a chosen basis, are typically contrasted with abstract (index-free) tensor notation, which denotes the same object without reference to any basis; the component expression is preferred when an explicit numeric or symbolic scalar valued result is needed, while abstract notation is preferred when emphasizing basis-independent structure.

Verifying Type Consistency Through Index Patterns

Because the summation convention requires matched indices to appear once upper and once lower, examining the index pattern of a component expression provides an immediate consistency check: an expression with mismatched index counts, unmatched variance, or improperly repeated indices signals a type error in the underlying tensor manipulation before any numeric evaluation is even attempted.

Summary of Key Points

• Scalar valued component expressions use the Einstein summation convention, in which matched upper and lower repeated indices are summed without an explicit summation symbol.
• A valid expression requires every repeated index to appear exactly once upper and once lower; free indices indicate the expression is not yet a fully evaluated scalar.
• Summed (dummy) indices can be freely relabeled without changing the value of the expression.
• Contraction is expressed notationally by simply repeating an index within a single tensor's component symbol.
• Examining the index pattern of a component expression serves as an immediate consistency check for type correctness before numeric evaluation.