6.13.4 Tensor Zero One Dual Basis Behavior

Tensor Zero One Dual Basis Behavior is the way in which the numerical components of a type zero-one tensor, an ordinary one-form, respond to a change in the basis of the underlying vector space, mediated through the dual basis that is uniquely determined by the biorthogonality condition linking it to the chosen vector basis. Because a one-form's components are, by construction, its values on the vectors of a basis, changing that basis induces a new dual basis satisfying the same biorthogonality condition, and the covector's components change precisely so as to remain consistent with this newly constructed dual basis.

Construction of the Dual Basis

The Biorthogonality Condition

Given a basis of the vector space, the dual basis is the unique set of one-forms satisfying the condition that each dual basis element returns one when paired with the basis vector of the same label and zero when paired with any other basis vector. This biorthogonality condition determines the dual basis completely and uniquely once the original basis is fixed, leaving no freedom in how the dual basis is constructed.

Components as Values on the Original Basis

The components of a one-form in this dual basis are recovered exactly by evaluating the one-form on each vector of the original basis in turn, since the biorthogonality condition guarantees that expanding the one-form in the dual basis and then evaluating on a given basis vector isolates precisely the coefficient associated with that vector.

How a Change of Vector Basis Propagates to the Dual Basis

The Dual Basis Changes to Preserve Biorthogonality

When the vector basis is changed, the dual basis cannot be chosen independently; it must change in the one specific way that keeps the biorthogonality condition satisfied with respect to the new vector basis. If the new vector basis is obtained from the old by a certain matrix of coefficients, the new dual basis is obtained from the old dual basis by the inverse of that same matrix, guaranteeing the biorthogonality relation continues to hold after the change.

Components Inherit the Same Transformation as the Dual Basis Vectors

Because a one-form's components in a given dual basis are its values on the corresponding vector basis, and because the dual basis itself transforms by the inverse of the matrix relating the vector bases, the one-form's components transform by that identical inverse matrix as well, matching exactly the general inverse-Jacobian transformation pattern associated with covariant indices.

Consistency Between the Two Descriptions

The Covector Itself Remains Fixed

Throughout any change of vector basis and its induced change of dual basis, the one-form itself, as an abstract linear functional, does not change; only the numerical description of it, in terms of the currently constructed dual basis, changes. The dual basis behavior of a type zero-one tensor is therefore purely a statement about how two different, but equally valid, descriptions of the same unchanging functional relate to one another.

Recovering the Same Scalar Regardless of Basis

Evaluating a fixed one-form on a fixed vector, by summing the product of components across the shared index, produces the identical scalar whether the computation is carried out using the original basis and its dual or using the new basis and its correspondingly constructed dual, since the transformation factors relating the two descriptions of the one-form and the two descriptions of the vector cancel exactly in the contraction.

Practical Consequences of Dual Basis Behavior

Constructing a New Dual Basis Requires the Full Old Basis Change

Because the dual basis is fixed entirely by the biorthogonality condition relative to the vector basis, it is never possible to alter the dual basis alone while keeping the vector basis unchanged; any legitimate change to the dual basis is equivalent to, and fully determined by, some corresponding change to the original vector basis, since biorthogonality ties the two together as a single coupled system.

Special Alignment Between Dual Bases

When the underlying vector space carries additional structure such as a metric, a particularly natural dual basis, constructed by raising the indices of the metric-lowered basis vectors themselves, can be chosen so that it coincides with the original basis under the identification supplied by the metric, though this special alignment is a feature of the metric structure and not a general property of dual basis behavior for an arbitrary vector space lacking such additional structure.