11.3.1 Tensor Covariant Component Lower Index Form

Tensor Covariant Component Lower Index Form represents tensor components indexed below, showing how they transform under coordinate changes.

Tensor Covariant Component Lower Index Form is the specific notational presentation of a covariant tensor in which every covariant index is written explicitly as a subscript, fixing the visual and structural convention through which covariant component behavior is displayed in written expressions.

The Notational Form Itself

Basic Single-Index Presentation

In lower index form, a covariant vector component is written with its index placed beneath the baseline of the symbol, immediately signaling that the object contracts with the inverse Jacobian factor under a change of basis.

W_{i}

Multi-Index Presentation

For a covariant tensor of higher rank, every index belonging to that tensor is written as a subscript, with the indices typically listed in a fixed left-to-right order matching the order of the corresponding slots in the underlying multilinear map.

T_{i j k}

Role in the Transformation Formula

Displaying the Correct Jacobian Factor Assignment

Lower index form is not merely cosmetic: it directly determines which Jacobian factor the transformation formula must use for that index, ensuring that anyone reading the expression can immediately reconstruct the correct transformation rule without additional explanation.

T_{i^{'} j^{'}} = \frac{\partial x^{i}}{\partial x^{i^{'}}} \frac{\partial x^{j}}{\partial x^{j^{'}}} T_{i j}

Compatibility With the Summation Convention

Lower index form pairs naturally with the summation convention, since a subscript index in this form is eligible to be summed against a matching superscript index appearing elsewhere in the same term, and this pairing is what allows contractions between covariant and contravariant objects to be written compactly.

Distinguishing Lower Index Form From Related Notations

Contrast With Upper Index Form

Lower index form is the direct counterpart of upper index form used for contravariant components, and the two forms are never interchangeable for the same tensor slot without an explicit index-lowering or index-raising operation performed through the metric.

Contrast With Mixed Index Form

A tensor written entirely in lower index form is purely covariant, in contrast to a mixed index form where some indices appear as subscripts and others as superscripts on the same symbol; recognizing that every index in a given expression is a subscript is what confirms the tensor is purely covariant rather than of mixed type.

Producing Lower Index Form From Other Forms

Lowering an Upper Index Through the Metric

An object originally presented with an upper index can be converted into lower index form by contracting with the metric tensor, producing a new symbol in which that index now appears as a subscript, representing the same underlying tensor in its covariant description.

V_{i} = g_{i j} V^{j}

Direct Definition Already in Lower Index Form

Some quantities, such as the gradient of a scalar field, arise already in lower index form without requiring any conversion, since their defining construction produces covariant behavior directly, making lower index form their natural and original presentation rather than one obtained through a metric operation.

Practical Value of the Explicit Form

Immediate Legibility of Transformation Behavior

Presenting a tensor consistently in lower index form throughout a derivation allows a reader to track, at a glance, exactly which inverse Jacobian factors must appear whenever that tensor undergoes a change of basis, reducing the chance of a misapplied transformation rule during a lengthy calculation.