7.9.2 Tensor Covector Component Dual Basis Coefficient

Understanding how tensor covector components relate through dual basis coefficients in linear algebra.

Tensor Covector Component Dual Basis Coefficient is the scalar value obtained when a covector is expanded as a linear combination of dual basis elements, identifying each component of the covector with the coefficient multiplying the corresponding dual basis one-form.

Foundational Description

The Dual Basis Expansion

Given a vector space (V) with basis ({e_1, \ldots, e_n}) and its associated dual basis ({e^1, \ldots, e^n}), any covector (\omega) in the dual space (V^{*}) can be written uniquely as a sum in which each dual basis one-form is scaled by a single real number.

ω = ω_{1} e^{1} + ω_{2} e^{2} + \dots + ω_{n} e^{n}

Identifying the Coefficient

The coefficient (\omega_i) attached to the (i)-th dual basis element is precisely the dual basis coefficient of the covector along that direction, and it is uniquely determined because the dual basis forms a linearly independent spanning set of (V^{*}).

Extraction of a Coefficient

Evaluation on a Basis Vector

The dual basis coefficient is recovered by applying the covector to the matching basis vector of (V), since every other dual basis element vanishes on that vector by the defining biorthogonality property.

ω_{i} = ω (e_{i}) = \sum_{j = 1}^{n} ω_{j} e^{j} (e_{i})

Role of the Kronecker Delta

Because (e^j(e_i)) equals one only when (j) equals (i) and zero otherwise, the sum collapses to the single coefficient sought, confirming that the dual basis coefficient is exactly the functional's output on the associated basis vector.

e^{j} (e_{i}) = δ_{i}^{j}

Dependence on the Choice of Dual Basis

Coefficients Change with the Basis

The dual basis coefficient is tied to a specific dual basis; selecting a different basis for (V) induces a different dual basis for (V^{*}), and consequently a different set of coefficients for the same fixed covector.

Consistency with the Covariant Transformation Law

Because the dual basis elements themselves transform contragrediently to the original basis vectors, the dual basis coefficients transform covariantly, matching exactly the transformation law used to classify a component as covariant rather than contravariant.

ω_{i^{'}} = \sum_{j = 1}^{n} A_{i^{'}}^{j} ω_{j}

Illustrative Diagram

The coefficient of a covector along a dual basis direction can be pictured as the "reading" a measuring functional produces when applied to a single basis vector, analogous to a ruler marking a coordinate value.

Significance in Tensor Component Systems

Building Block for Covariant Indices

Every covariant index appearing in a general tensor's component array is, at its core, a dual basis coefficient taken with respect to one of the tensor's arguments, so understanding the single-covector case provides the template for interpreting each covariant slot of a higher-rank tensor.

Distinction from Vector Coordinate Coefficients

Unlike the coordinate coefficients of a vector, which are extracted by pairing with the dual basis, the dual basis coefficient of a covector is extracted by the reverse pairing — evaluating the covector on the original basis — reflecting the strict duality between the two families of components.