3.10.5 Tensor Covector Component Contraction Role

Tensor Covector Component Contraction Role is the function that a covector's component array f_i plays as a reusable contracting agent, able to sum against the matching upper index of any tensor, not merely a single vector, thereby reducing that tensor's rank by absorbing one contravariant slot at a time. Beyond its role in the elementary pairing with a single vector, a covector's components serve throughout tensor algebra as the standard mechanism for extracting a lower-rank tensor from a higher-rank one along any chosen contravariant direction.

Contracting a Covector Against a General Tensor

The General Contraction Formula

Given a (p, q) tensor T with components T^{i_1 ... i_p}_{j_1 ... j_q}, contracting a covector f_k against, say, the first upper index produces a (p - 1, q) tensor:

This shows the same components f_i used in the elementary pairing with a vector can be applied identically to any single contravariant slot of an arbitrary tensor, leaving the remaining indices of T untouched as free indices of the resulting tensor S.

Choice of Which Slot to Contract

For tensors with several upper indices, a covector's components can be contracted against any one of them, and different choices generally produce different resulting tensors unless T possesses a symmetry that makes the choice immaterial; the contraction role of a covector's components is therefore always specified together with which particular slot is being contracted.

Recurring Uses of the Contraction Role

Applying a Linear Functional to a Vector-Valued Object

If T^i represents the components of a vector-valued quantity depending on additional free indices, contracting with f_i produces a scalar-valued quantity carrying only those remaining indices, generalizing the simple pairing to families of vectors indexed by other data.

Computing Matrix-Vector and Matrix-Row Products

A linear operator represented as a (1, 1) tensor T^i_j contracted with a covector f_i on its upper index produces a new covector f_i T^i_j, matching the familiar operation of multiplying a row vector by a matrix from the left. This shows matrix left-multiplication is itself an instance of the covector contraction role applied to a (1,1) tensor.

Extracting Entries via Repeated Contraction

Contracting both a covector f_i and a vector v^j against a (1, 1) tensor T^i_j, one on each index, gives the scalar f_i T^i_j v^j, which computes exactly the quadratic form associated to T evaluated at f and v, a pattern used throughout linear algebra and its applications, such as computing expected values or bilinear energy expressions.

The Contraction Role and Basis Independence

Contraction Results Remain Basis-Independent

As with the elementary covector-vector pairing, contracting a covector's components against any tensor's contravariant index produces a result that is independent of the basis used to compute it, since the same cancellation of the change-of-basis matrix and its inverse occurs at that specific index pair, regardless of how many other indices the surrounding tensor carries.

Order-Independence of Multiple Contractions

When several covectors are contracted against several different upper indices of the same tensor, the order in which the individual contractions are carried out does not affect the final result, since each contraction acts on a distinct pair of indices and the underlying summation is associative and commutative.

Contraction Role in Practical Computation

Efficient Reuse of a Fixed Covector

Because a covector's components can be contracted against any tensor sharing a matching index, the same covector, once its components are known, can be reused across many different contraction operations without needing to be recomputed, making covectors an efficient tool for repeatedly probing or projecting higher-rank tensor data.

Building Blocks for Multilinear Algorithms

In computational settings involving large tensors, contraction with covector components is frequently the elementary operation from which larger tensor network computations are assembled, since any full contraction of two tensors along multiple shared indices decomposes into a sequence of single-index contractions of exactly this type.

Diagrammatic Summary

The diagram shows a covector's components selectively contracting one contravariant slot of a larger tensor, leaving all remaining indices intact in a reduced-rank result.