13.11.4 Tensor Vector Covector Pairing Relation

Tensor Vector Covector Pairing Relation is the bilinear relation, established by contraction, that associates to every vector and every covector a single scalar, considered as a structural relationship between the vector space and its dual space rather than as any one specific computation performed on a particular pair. It describes the pairing viewed abstractly as a map taking a vector and a covector as input and producing a scalar as output, together with the properties this relation must satisfy to be consistent with the definitions of vector space and dual space.

Conceptual Basis

The Pairing as a Bifunctional Map

Rather than focusing on a single computation, the pairing relation regards contraction between vectors and covectors as a function of two arguments, one drawn from the vector space and one from its dual, satisfying linearity in each argument separately, and thereby qualifying as a bilinear map from the product of the two spaces to the underlying field.

Duality as the Defining Structural Feature

The vector covector pairing relation is what formally establishes the vector space and its dual space as dual to one another, since it is precisely this relation, together with its non-degeneracy, that distinguishes the dual space from an arbitrary vector space of the same dimension.

Relationship to the Contraction Operation

While contraction describes the operational procedure of summing over a shared index to produce a scalar from a specific vector and covector, the pairing relation describes the same correspondence viewed as a total structure defined over all vectors and covectors simultaneously, independent of any single instance.

Formal Description

Definition as a Bilinear Map

The pairing relation is the map:

sending a covector $$\omega$$ and a vector $$v$$ to the scalar:

where $$V$$ denotes the vector space, $$V^{*}$$ its dual, and $$F$$ the underlying field.

Non-Degeneracy of the Relation

The pairing relation is non-degenerate in each argument, meaning that if $$⟨\omega ,v⟩=0$$ for every covector $$\omega$$, then $$v$$ must be the zero vector, and symmetrically, if the relation vanishes against every vector, the covector must be the zero covector.

Recovering Coordinates Through the Relation

Applying the pairing relation between a vector and each member of a dual basis $${\epsilon }^i$$ recovers the coordinates of that vector in the corresponding basis:

illustrating the relation's role in reconstructing explicit component information.

Properties

Bilinearity

The pairing relation is linear in the vector argument for a fixed covector and linear in the covector argument for a fixed vector, a property directly inherited from the linear structure of both the vector space and its dual.

Non-Degeneracy Establishing an Isomorphism

Because the pairing relation is non-degenerate, it establishes a natural isomorphism between the vector space and the dual of its dual, embedding the original space canonically within the double dual space via the relation itself.

Basis Independence of the Relation as a Whole

While any individual computation of the relation depends on components expressed in a chosen basis, the pairing relation as an abstract map is defined independently of any basis, with basis-dependent formulas serving only as a means of computing its values.

Applications

Foundation for Constructing Metrics

The pairing relation between a vector space and its dual underlies the construction of metric tensors, which can be understood as providing an additional map from the vector space into its own dual space compatible with this underlying pairing relation.

Basis for Tensor Contraction in General

The vector covector pairing relation generalizes directly to the contraction of higher-rank tensors, where each individual index contraction reduces, in effect, to an instance of this same fundamental pairing relation applied to one contravariant and one covariant slot at a time.

Role in Dual Basis Construction

The defining property of a dual basis, namely that its pairing against the original basis produces the identity relation, is a direct application of the vector covector pairing relation, making this relation the essential tool by which dual bases are constructed and verified.