11.13.3 Tensor Covariant Slot Dual Space Relation

The Tensor Covariant Slot Dual Space Relation explains how covariant indices connect to dual spaces in tensor algebra.

Tensor Covariant Slot Dual Space Relation is the identification of a tensor's covariant slot with an element of the dual space of the underlying vector space, meaning that each lower index of a tensor, considered alone, behaves precisely like a linear functional that assigns a scalar to every vector, which is the defining property of an element of the dual space.

Definition and Setting

The Dual Space as the Home of Covariant Slots

The dual space associated with a vector space consists of all linear functionals on that vector space, and a single covariant slot of a tensor, viewed in isolation with all other slots held fixed, is exactly such a linear functional, mapping each vector to a scalar in a manner consistent with linearity.

ω (v) = T_{i} v^{i}

Covariant Components as Dual Space Coordinates

The covariant components of a tensor, when restricted to a single slot, can be read as the coordinates of an element of the dual space relative to the dual basis, since specifying these components completely determines the linear functional that the slot represents.

Structural Consequences of the Dual Space Identification

Explaining the Origin of the Covariant Transformation Law

Identifying a covariant slot with an element of the dual space explains why its components transform with the inverse Jacobian factor, since this is precisely the transformation law obeyed by the dual basis, and the coordinates of a fixed element of the dual space must transform in the compensating manner relative to that basis.

T_{i^{'}} = \frac{\partial x^{j}}{\partial x^{i^{'}}} T_{j}

Consistency With the Pairing of Vectors and Covectors

Because a covariant slot represents an element of the dual space, evaluating it on a vector reproduces exactly the pairing operation between a covector and a vector, reinforcing that filling a covariant slot with a vector is the correct and only meaningful way to obtain a scalar from that slot.

Extension to Tensors With Multiple Covariant Slots

Multiple Dual Space Elements Combined

A tensor with several covariant slots corresponds to a multilinear map built from several elements of the dual space acting together, one per slot, so that the tensor as a whole can be understood as an element of a tensor product of copies of the dual space.

Preserving the Dual Space Interpretation Under Partial Evaluation

If some but not all covariant slots of a multi-slot tensor are filled with vectors, the remaining unfilled slots still retain their dual space character, so that the partially evaluated object continues to behave as an element of the dual space in each of its remaining lower index positions.

Role Within Tensor Algebras

Providing Conceptual Grounding for Covariant Behavior

The dual space relation offers a conceptual grounding for covariant slot behavior, moving beyond the mechanical statement of the covariant transformation law to an explanation rooted in the algebraic definition of the dual space and its linear functionals.

Complement to the Contravariant Slot's Relation to the Original Space

The dual space relation for covariant slots stands as the natural counterpart to the direct identification of contravariant slots with elements of the original vector space, together giving a complete account of how every slot of a tensor corresponds to a specific space of linear objects.