10.9.3 Tensor Covector Component Dual Basis Relation

Understanding how tensor covector components relate to their dual basis through algebraic structure and linear transformation properties.

Tensor Covector Component Dual Basis Relation is the pairing between a covector's components and the dual basis covectors they multiply, expressed as a sum in which each component scales exactly one dual basis covector, together with the requirement that this pairing reconstruct the identical covector whether the old dual basis and old components are used or the new dual basis and new components produced by the covector component change rule are used. It is the exact analogue, for covectors and their dual basis, of the vector component basis relation, and it is the relation from which the covariant transformation behavior of covector components is derived.

The Relation Itself

The Defining Sum

A covector is expressed as the sum of its components, each multiplying the corresponding dual basis covector, with the summation convention implying an addition over every dual basis covector in the set.

ω = ω_{i} e^{i}

This equation is the dual basis relation itself: it states that the covector is nothing more or less than this particular linear combination of dual basis covectors weighted by components.

Invariance of the Sum Under a Change of Basis

The dual basis relation must continue to hold after a change of basis, with the new components paired against the new dual basis covectors reproducing the identical covector that the old components paired against the old dual basis covectors already produced.

ω = ω_{i} e^{i} = ω_{i}' e^{i}'

Deriving the Component Change Rule From the Relation

Transformation of the Dual Basis Covectors

Because the dual basis covectors are constructed to pair with the basis vectors according to a fixed identity relation, and the basis vectors transform with the forward matrix, the dual basis covectors themselves transform with the inverse matrix, the opposite pattern from the primal basis vectors.

e^{i}' = {(A^{- 1})}_{j}^{i} e^{j}

Matching Coefficients on Each Dual Basis Covector

Substituting this transformation into the invariant sum and comparing the coefficient of each dual basis covector on both sides yields the covector component change rule directly, with the forward matrix appearing precisely because the dual basis covectors themselves used the inverse matrix.

ω_{i}' = A_{i}^{j} ω_{j}

Structural Significance of the Relation

Basis Independence Rooted in a Single Equation

The entire apparatus of transforming covector components under a change of basis is a consequence of maintaining this single defining relation between components and dual basis covectors, rather than an independently imposed rule layered on top of it.

Uniqueness of Components Given a Dual Basis

For a fixed dual basis, the dual basis relation determines the components of any given covector uniquely, since the linear independence of the dual basis covectors guarantees that only one set of coefficients can reproduce a given covector as their weighted sum.

Relationship to the Primal Basis Relation

The dual basis relation mirrors the primal basis relation used for vectors, with the roles of forward and inverse matrices exchanged precisely because the dual basis covectors transform oppositely to the basis vectors they are paired with.

Schematic Representation

The diagram shows two scaled dual basis covectors combined, with the result representing the covector defined precisely as the sum described by the dual basis relation.