7.9.1 Tensor Covector Component Single Index

A single index in a tensor covector component denotes its position in a dual space, mapping vectors to scalars through linear functionals.

Tensor Covector Component Single Index is the one lower index, (i), that addresses each entry of a covector's component list, serving as the complete addressing mechanism needed to locate any one of the (n) numbers describing a covector once a dual basis has been fixed.

Definition and Scope

The Index as Sole Address in the Dual Space

For a covector (\omega) with components (\omega_i) relative to a dual basis (e^1, \dots, e^n), the single index (i) ranges over (1,\dots,n), and fixing a value of (i) is both necessary and sufficient to identify one specific component:

ω_{i} at i = 2

with no second index available to further narrow the address, matching the vector case in structure while carrying the opposite variance.

Lower Placement Marking the Dual Role

Writing the index as a subscript rather than a superscript signals that this single index belongs to the dual space rather than to the original vector space, a placement that is purely notational but corresponds to a precise difference in how the component transforms under a change of basis.

Structural Properties

Range Fixed by the Dimension of the Dual Space

Because the dual space of an (n)-dimensional vector space is itself (n)-dimensional, the covector's single index ranges over exactly the same set as the vector's single index:

i \in {1, 2, \dots, n}

so the two cases differ in variance rather than in the size or range of the index itself.

Pairing Behavior With a Vector's Index

The covector's single lower index is precisely the kind of index that can be paired, through contraction, with a vector's single upper index, since the two carry opposite variance:

\sum_{i = 1}^{n} ω_{i} v^{i}

producing the scalar dual pairing that defines how a covector acts on a vector, a pairing unavailable between two indices of the same variance without an intervening metric.

No Internal Pairing Within the Covector Itself

As with the vector's single index, a covector's one lower index has no second index of its own to be paired against directly; contraction always involves a separate object supplying the complementary upper index, underscoring that a lone index, regardless of its variance, cannot be internally contracted.

Role Within Tensor Algebra

Complement to the Vector Case

The covector's single index and the vector's single index together represent the only two ways a tensor can carry exactly one index, and understanding the covector case in full requires the same care given to the vector case, differing solely in the direction of the transformation law applied to it.

Building Block for Higher-Rank Structures

Just as a vector's single index serves as an elementary unit in constructing multi-index tensors through the tensor product, a covector's single lower index contributes to the lower-index side of any higher-rank tensor built by combining several vectors and covectors, extending this simplest case into the general ((p,q)) structures studied throughout tensor algebra.