1.2.18 Vector Covector Pairing Definition

The vector-covector pairing defines how vectors and dual space elements interact through a bilinear map in tensor algebra.

Vector Covector Pairing Definition is the characterization of the operation that combines a vector and a covector to produce a scalar, obtained simply by applying the covector, as a linear functional, to the vector, and recognized formally as a bilinear map from the product of a vector space and its dual space into the underlying scalar field. It supplies the single most basic bridge between vectors and covectors, and it is the operation that, generalized to tensors of higher rank, becomes the operation of contraction.

The Pairing Operation

Given a vector belonging to a vector space and a covector belonging to the dual space of that vector space, the pairing between them is defined as the scalar obtained by applying the covector to the vector, since a covector is, by definition, a linear functional that accepts a vector and returns a scalar. This operation is frequently written using angle-bracket notation, treating the vector and covector symmetrically as two inputs to a single bilinear operation rather than treating the covector as a function being applied to an argument.

⟨ ω, v ⟩ = ω (v) \in F

The expression above states the pairing of a covector with a vector, equal to the covector's value when applied to the vector, and belonging to the underlying scalar field.

Bilinearity of the Pairing

The vector-covector pairing is bilinear: it is linear in the vector argument, because the covector itself is a linear functional, and it is linear in the covector argument, because the vector space structure on the dual space is defined precisely so that adding two covectors or scaling a covector behaves consistently with how their values on any fixed vector combine. This bilinearity means the pairing respects linear combinations independently in each of its two arguments, a property that qualifies it as the prototypical example of a bilinear form linking a vector space to its dual.

Coordinate Expression Using the Dual Basis

Once a basis is chosen for the vector space and the corresponding dual basis is constructed for the dual space, the pairing of a vector and a covector can be computed directly from their respective coordinates: the pairing equals the sum, over all basis indices, of the product of the covector's covariant component and the vector's contravariant component sharing that index. This coordinate formula follows directly from the biorthogonality condition defining the dual basis, since every cross term involving mismatched indices vanishes, leaving only the sum of matched products.

⟨ ω, v ⟩ = \sum_{i = 1}^{n} ω_{i} v^{i}

The expression above gives the coordinate formula for the vector-covector pairing, summing the products of matching covariant and contravariant components, which is precisely the operation of contraction between one upper and one lower index.

Independence from the Choice of Basis

Although the coordinate formula for the pairing depends on a chosen basis and its dual basis, the resulting scalar value does not: the pairing of a given vector with a given covector produces the same number regardless of which basis is used to compute it, since a change of basis transforms the vector's contravariant components and the covector's covariant components by mutually inverse rules, and these two transformations exactly cancel when combined in the pairing formula. This invariance under change of basis is a special case of the general principle that any relation built entirely from tensors and tensor operations, including contraction, is guaranteed to be a tensorial relation, holding consistently across every admissible coordinate system.

Role in Tensor Algebra

The vector-covector pairing is the elementary instance of the broader operation of tensor contraction, in which one contravariant index and one covariant index of a tensor are summed against each other to produce a tensor of lower rank. Every contraction performed on a higher-rank tensor can be understood as an application of this same basic pairing, carried out on one selected pair of indices while leaving the remaining indices untouched, which is why the vector-covector pairing is treated as the foundational case from which the general contraction operation in tensor algebra is built.