13.11 Tensor Vector Covector Contraction Case

Tensor Vector Covector Contraction Case is the fundamental instance of tensor contraction in which a single contravariant vector and a single covariant covector are paired directly through their one matching index, without requiring any auxiliary metric tensor, producing a scalar equal to the value the covector assigns to the vector. It identifies the most elementary contraction possible in tensor algebra, involving the smallest nonzero rank on each side and relying only on the natural pairing between a vector space and its dual.

Conceptual Basis

The Natural Pairing Between a Space and Its Dual

A covector is, by definition, a linear functional on a vector space, meaning it assigns a scalar to every vector in a manner that is linear. The vector covector contraction case is precisely the operation of evaluating this functional on a given vector, expressed in the language of tensor indices as the contraction of the vector's contravariant index with the covector's covariant index.

No Metric Required

Unlike the general inner product case, which often requires a metric tensor to convert an index's variance before pairing, the vector covector contraction case needs no such auxiliary object, since the vector's contravariant index and the covector's covariant index are already of opposite variance and can be contracted directly.

Minimal Rank Instance of Contraction

Among all contractions involving indices from two separate tensors, the vector covector case represents the simplest possible configuration, contracting a rank-one contravariant object against a rank-one covariant object to yield a rank-zero scalar.

Formal Description

Index Notation

For a vector $$v^i$$ and a covector $${\omega }_i$$, the vector covector contraction case is written:

where the repeated index $$i$$ is summed over its full range, yielding the scalar $$s$$.

Dimensional Requirement

The contraction is valid only when the vector and covector range over spaces of identical dimension, since the summation implicit in the repeated index requires both objects to share exactly the same index set.

Componentwise Expansion

In an $$n$$-dimensional space, the contraction expands explicitly as:

matching the componentwise structure familiar from the evaluation of a linear functional on a vector expressed in coordinates.

Properties

Basis Independence

The scalar resulting from the vector covector contraction case is invariant under a change of basis, since the vector's components transform via the Jacobian matrix while the covector's components transform via its inverse, and these two transformation factors cancel exactly upon contraction.

Linearity in Each Argument

The contraction is linear separately in the vector and in the covector, meaning it distributes over sums of vectors or covectors and factors out scalar multiples from either side, reflecting the defining linearity of a covector as a functional.

Duality Pairing Interpretation

The vector covector contraction case is precisely the canonical pairing between a vector space and its dual space, and this pairing is what establishes the dual space as consisting of exactly those linear functionals capable of producing a well-defined scalar from any vector in the original space.

Applications

Foundation for the General Inner Product

When a metric tensor is used to convert a vector's contravariant index into covariant form, the resulting object can be paired with another vector using precisely the vector covector contraction case, showing that this simplest contraction underlies the more general inner product construction.

Evaluation of Linear Functionals in Applications

In contexts where physical or geometric quantities are represented as covectors, such as gradients or differential forms, the vector covector contraction case is the operation used to extract a concrete scalar value by evaluating the covector along a specific direction given by a vector.

Building Block for Tensor Contractions of Higher Rank

Because contractions on higher-rank tensors reduce, pair by pair, to instances of contracting one contravariant index against one covariant index, the vector covector contraction case serves as the elementary unit from which all more elaborate tensor contractions are constructed.