3.5.5 Tensor Basis Covector Expansion Role

The tensor basis covector expansion role defines how covectors act on tensor bases, enabling decomposition and transformation in multilinear algebra.

Tensor Basis Covector Expansion Role is the function basis covectors perform as the fixed generating terms in the expansion of an arbitrary covector, or more generally an arbitrary tensor, as a linear combination, with the basis covectors supplying the unchanging structural skeleton of the expansion and the coefficients supplying the only data that varies from one covector or tensor to another.

Expansion of a General Covector

The Standard Expansion Formula

Every ω ∈ V* is written uniquely as ω = Σ_i ω_i e^i, with the basis covectors {e^i} playing a fixed, universal role across every possible covector, while the coefficients ω_i = ω(e_i) vary to encode the specific identity of ω. In this expansion, the basis covectors are not themselves being computed or solved for; they are given, fixed data, and the expansion problem is entirely the problem of finding the coefficients relative to them.

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

Every Covector Shares the Same Skeleton

Two entirely different covectors ω and η, both expanded relative to the same fixed dual basis {e^i}, are built from the identical set of n basis covectors, differing only in the coefficients ω_i versus η_i attached to each term; this shared skeleton is what makes operations on covectors reduce to operations on their coefficient lists, since the basis covectors themselves contribute nothing to the difference between ω and η.

Expansion Role in Higher Tensor Constructions

Basis Covectors as Factors of Simple Tensor Terms

In the expansion of a general element of a purely covariant tensor space (V*)^{⊗k}, described in tensor covector structure, basis covectors serve as the tensor factors of each simple basis term e^{i_1} ⊗ ⋯ ⊗ e^{i_k}, with a general element of (V*)^{⊗k} expanded as a sum, over all n^k choices of indices, of these fixed basis terms weighted by coefficients T_{i_1...i_k}. The expansion role of basis covectors here is identical in spirit to the single-covector case, just applied to each of k tensor slots simultaneously.

Mixed Expansions for General `(p, q)`-Tensors

For a general (p, q)-tensor T, the expansion combines basis vectors, in the upper-index positions, with basis covectors, in the lower-index positions:

T = \sum_{indices} T^{i_{1}} ... i_{p} j_{1} ... j_{q} e_{i_{1}} \otimes \dots \otimes e_{i_{p}} \otimes e^{j_{1}} \otimes \dots \otimes e^{j_{q}}

Here the basis covectors e^{j_l} occupy exactly the lower-index slots, playing the same fixed-skeleton role for the covariant part of T that basis vectors play for the contravariant part.

Consequence: Linearity of Operations on the Coefficient Level

Coefficient-Level Arithmetic Suffices

Because the basis covectors form a shared, fixed skeleton across every tensor being combined, operations such as addition and scalar multiplication of covectors or tensors reduce entirely to the corresponding operations on coefficient arrays, (ω + η)_i = ω_i + η_i and (cω)_i = c ω_i, with the basis covectors themselves never needing to be recombined, added, or otherwise manipulated; this is the direct payoff of fixing a single dual basis once, and it is why tensor arithmetic in coordinates reduces to ordinary array arithmetic.

Expansion Role Versus Evaluation and Extraction Roles

The expansion role of a basis covector, as one fixed term in a sum reconstructing a general covector, is conceptually distinct from its evaluation-target role, accepting a vector as input, and from its own coordinate-extraction role, being expressed relative to a different dual basis; all three roles concern the same object e^i, but the expansion role specifically concerns e^i's function as a building block used to assemble other covectors, rather than its function as an input-accepting map or as an object with its own coordinates.