13.11.3 Tensor Vector Covector Contraction Scalar Result

Tensor Vector Covector Contraction Scalar Result is the single number produced once a vector covector contraction pair has been summed over its shared index, representing the value the covector, acting as a linear functional, assigns to the vector in question. It designates the completed output of the vector covector contraction case, distinguishing this final scalar from the pair of objects being contracted and from the summed index used to compute it.

Conceptual Basis

The Result as a Functional Evaluation

Since a covector is defined as a linear functional on a vector space, the scalar result of contracting it against a vector is nothing other than the value that functional takes on that specific vector, making this scalar the most direct expression of what a covector does when applied to a vector.

No Remaining Tensorial Structure

Because both the vector and the covector are rank-one objects fully consumed by the single contraction, the scalar result carries no free indices and no directional information, standing as a plain number belonging to the underlying field of the vector space.

Distinction From Intermediate Computational Steps

The scalar result refers strictly to the final output of the contraction, as opposed to the componentwise products computed for each value of the summed index or the specific choice of contraction pair that produced it, both of which are steps leading up to, but not equal to, the scalar result itself.

Formal Description

General Expression

For a vector $$v^i$$ and a covector $${\omega }_i$$, the scalar result is:

with $$s$$ denoting the resulting number in the field over which the vector space is defined.

Basis Independence of the Value

If the same vector and covector are re-expressed in a different basis, the scalar result computed from the transformed components equals the original:

since the Jacobian factor introduced by transforming the vector's components is exactly cancelled by the inverse Jacobian factor introduced by transforming the covector's components.

Vanishing Result

A scalar result equal to zero indicates that the covector annihilates the vector, meaning the vector lies in the kernel of the linear functional represented by the covector, a condition of direct significance in identifying subspaces on which a given functional vanishes.

Properties

Linearity in Each Factor

The scalar result depends linearly on the vector for a fixed covector, and linearly on the covector for a fixed vector, since scaling or summing either object before contraction scales or sums the resulting scalar accordingly, reflecting the bilinear nature of the pairing between a space and its dual.

Uniqueness Given a Fixed Pair

For a specific choice of vector and covector, the scalar result is a single, uniquely determined number, with no ambiguity remaining once the contraction pair and the summed index have been fixed.

Role in Characterizing the Dual Space

The full collection of scalar results obtained by pairing a fixed covector against every possible vector in the space completely characterizes that covector as a linear functional, since two covectors producing identical scalar results against every vector must be equal.

Applications

Extraction of Coordinates

When the covectors used are the dual basis vectors associated with a given basis of the vector space, the scalar result of contracting a vector against each dual basis covector in turn recovers exactly the coordinate components of that vector in the original basis.

Building Bilinear and Multilinear Expressions

Scalar results obtained from several vector covector contractions can be combined arithmetically to construct more elaborate bilinear or multilinear expressions, situating the simple scalar result as a basic building block in the construction of tensor invariants of greater complexity.

Physical Interpretation of Functional Evaluation

In settings where covectors represent measurable quantities such as gradients or dual field components, the scalar result of contracting them against a vector yields directly interpretable physical values, such as a directional rate of change evaluated along the direction specified by the vector.