3.10 Tensor Covector Component Description

Tensor Covector Component Description is the general framework for representing a covector as a collection of scalar numbers, one for each direction of a chosen basis, together with the notational and structural conventions that make such a description consistent with the broader system of tensor components. A covector's component description consists of n numbers, conventionally written with a single lower index as f_1, f_2, ..., f_n, and this lower-index placement is the notational signal, used throughout tensor algebra, that the quantity transforms covariantly rather than contravariantly.

What a Component Is

Definition Relative to a Basis

Given a basis e_1, ..., e_n of a vector space V, the component f_i of a covector f in V* is defined as the value f produces when applied to the i-th basis vector:

Collecting these n values for i from 1 to n gives the full component description of f relative to that basis. Because a linear functional is completely determined by its action on a basis, this collection of numbers contains exactly enough information to recover f in its entirety.

Notation: Lower Indices for Covectors

The convention of writing covector components with a subscript, f_i, rather than a superscript, distinguishes them at a glance from vector components v^i, which use a superscript. This notational distinction is deliberate and consistent throughout tensor algebra: lower indices always denote covariant quantities, upper indices always denote contravariant quantities, and the placement alone communicates how a component will transform under a change of basis.

Reconstructing the Covector from Its Components

The Expansion Formula

Using the dual basis e^1, ..., e^n associated to e_1, ..., e_n, the covector f is fully reconstructed from its components by the linear combination

using the Einstein summation convention. This equation is the precise sense in which the component description "is" the covector, relative to a fixed basis: knowing the numbers f_i and the basis is equivalent to knowing f itself.

Uniqueness of the Description

The component description of a given covector relative to a given basis is unique: no two different tuples of numbers describe the same covector relative to the same basis, since the coefficients in the expansion f = f_i e^i are uniquely determined by the linear independence of the dual basis elements.

Components and the Evaluation Operation

Computing the Pairing from Components

The primary use of a covector's component description is computing its evaluation on an arbitrary vector without working directly with the abstract functional. If v = v^i e_i, then

reducing the abstract application of a functional to a simple sum of products, which is the standard computational method used whenever a covector's action must be evaluated numerically.

Zero Covector and Its Components

The zero covector, which sends every vector to 0, has all components equal to zero relative to any basis, f_i = 0 for every i; this is the only covector whose component description is entirely zero in one basis and remains entirely zero in every other basis, since the zero vector is fixed by every linear transformation.

Relation to Vector Components

A Complementary but Distinct Description

Covector components and vector components together give complete numerical descriptions of the two dual spaces V* and V, but they are not interchangeable: a covector's n components describe a linear functional, while a vector's n components describe a point or direction in V itself, and mixing the two descriptions without proper contraction, such as multiplying two sets of covector components together, does not generally correspond to any natural tensorial operation.

Raising and Lowering as a Separate Structure

Converting a covector's components into vector-like components, or vice versa, is possible only when additional structure, most commonly a metric tensor, is introduced to raise or lower the index; without such structure, the two component descriptions belong to logically distinct spaces and cannot be directly identified.

Components Within the General Tensor Framework

Covector Components as a (0, 1) Tensor

In the general classification of tensors by type (p, q), a covector is precisely a (0, 1) tensor, carrying zero contravariant indices and one covariant index. Its component description, f_i, is the specific case of the general (p, q)-tensor component array T^{i_1 ... i_p}_{j_1 ... j_q} with p = 0 and q = 1.

Building Block for Higher Tensors

Component descriptions of covectors serve as building blocks for describing higher-rank tensors with multiple lower indices, such as bilinear forms, since a (0, 2) tensor's components T_{ij} can be understood, for a fixed first or second index, as the component description of a family of covectors parameterized by the remaining index.

Diagrammatic Summary

The diagram shows the component list of a covector, with lower-index placement marking its covariant character within the broader tensor component system.