3.10.1 Tensor Covector Component Index Position

Tensor Covector Component Index Position is the notational rule that a covector's components are always written with the index placed as a subscript, f_i, never as a superscript, and this single positional convention carries essential information about how the quantity behaves under a change of basis, distinguishing it immediately from vector components, which use the opposite placement. Index position in tensor notation is not a matter of typographic preference; it is a compact, load-bearing signal of variance that experienced readers rely on to parse an expression correctly without needing additional explanation.

The Meaning Encoded by Index Position

Lower Index Signals Covariant Behavior

Placing the index of f_i as a subscript indicates that this quantity transforms covariantly, meaning it transforms using the same change-of-basis matrix A that relates a new basis of V to an old one, as opposed to the inverse matrix A^{-1}. This convention is universal across the tensor calculus literature: whenever a lower index appears on a component, that component is understood to obey the covariant transformation rule.

Upper Index Signals Contravariant Behavior

By contrast, a vector's components v^i are written with the index as a superscript, signaling that they transform with A^{-1} rather than A. The deliberate visual distinction between f_i and v^i, differing only in whether the index sits above or below, allows an entire tensor expression to be parsed for correctness at a glance, since matching pairs of upper and lower indices identify valid contractions immediately.

Why Position, Not Just a Label, Is Used

Avoiding Ambiguity Between Variance Types

If both covector and vector components were written with the same style of index, such as always as a subscript, an additional symbol or explicit statement would be needed every time to specify which transformation rule applies. Using vertical position, upper versus lower, to encode this information keeps expressions compact while still fully specifying the transformation behavior of every quantity involved.

Distinguishing Index Position from Exponentiation

A superscript index such as v^i must be carefully distinguished from an exponent; in tensor notation, v^i denotes the i-th component of a vector, not v raised to the i-th power. This distinction is typically resolved by context, since exponents are rarely applied to vector or tensor symbols directly, and many texts explicitly note this convention when introducing index notation to avoid confusion for readers new to the subject.

Index Position in Mixed Tensors

Combined Upper and Lower Index Blocks

For a general (p, q) tensor, the standard convention places all p contravariant indices as superscripts and all q covariant indices as subscripts, as in T^{i_1 ... i_p}_{j_1 ... j_q}, keeping the two blocks visually separate. This layout directly generalizes the single-index case of a covector, T^0_1 = f_j, and a vector, T^1_0 = v^i.

Reading Contraction from Index Position Alone

When two tensors are multiplied and a repeated index appears once as a superscript and once as a subscript across the product, such as T^i_j S^j_k, the repetition signals a valid contraction to be summed, following the Einstein summation convention. If the repeated index instead appeared twice in the same vertical position, such as T^i_j S_i_k with both instances lower, this would not represent a standard tensorial contraction and would typically indicate an error or the need for an explicit metric to raise one of the indices first.

Historical and Pedagogical Notes

Origins of the Convention

The systematic use of upper and lower indices to distinguish contravariant and covariant quantities traces to the development of tensor calculus in the study of differential geometry, where careful bookkeeping of transformation behavior under changes of coordinates became essential for expressing geometric laws that remain valid in every coordinate system.

Learning to Read Index Position Fluently

For newcomers to tensor notation, deliberately checking, term by term, whether each index is upper or lower, and whether repeated indices always appear once in each position, is a reliable habit for both verifying the correctness of a given tensor expression and for building comfort with the notation over time.

Consequences for Covector Component Description Specifically

Every Covector Component Is Lower by Definition

Since a covector is, by classification, a (0, 1) tensor, its single index is always covariant and therefore always written as a subscript; there is no valid alternative notation in which a covector's basic component would be written with an upper index without changing its underlying meaning.

Interfacing with Raised Indices via a Metric

When a metric tensor is available, an index can be formally raised or lowered, converting a covector's lower-indexed components into an associated set of upper-indexed numbers, f^i = g^{ij} f_j. This operation changes the index position specifically because it changes which transformation rule the resulting quantity obeys, not merely its typographic appearance.

Diagrammatic Summary

The diagram contrasts the subscript placement of a covector's index against the superscript placement of a vector's index, highlighting that position alone conveys variance.