11.14.5 Tensor Contravariant Slot Evaluation Role

Tensor Contravariant Slot Evaluation Role is the function performed by a contravariant slot when it is actually applied to a specific covector, converting the abstract multilinear map, or the portion of it associated with that slot, into a concrete numerical output through the contraction of the slot's components with the covector's components.

Definition and Mechanics of Evaluation

The Act of Evaluation Described

Evaluation occurs when a specific covector is inserted into a contravariant slot, and the evaluation role of that slot is precisely to consume the covector's components through contraction, converting what was an abstract, unapplied vector-like object into an actual scalar number or a lower-rank tensor.

Evaluation as Distinct From the Slot's Static Description

The evaluation role should be distinguished from the static description of a contravariant slot as an element of the vector space, or the double dual space; the static description characterizes what kind of object the slot is, while the evaluation role describes what happens computationally once a specific covector is supplied to that slot.

Evaluation in Tensors With Multiple Slots

Partial Evaluation of One Slot Among Several

When a tensor possesses more than one slot, evaluating only its contravariant slot or slots while leaving other slots unfilled produces an intermediate object of lower rank, with the evaluated slot's contribution folded into a numerical or reduced-index result while the remaining slots retain their original character.

Full Evaluation Across All Slots

When every contravariant slot of a tensor, along with every covariant slot if present, is evaluated by supplying the appropriate covector or vector to each, the entire tensor collapses to a single scalar, representing the complete evaluation of the multilinear map on the full set of supplied arguments.

Order Independence of Evaluation

Evaluating Slots in Any Sequence

Because each contravariant slot behaves independently and multilinearly, evaluating the slots of a multi-slot tensor in any order, or simultaneously, produces the same final result, so there is no required sequence in which covectors must be supplied to the contravariant slots of a tensor.

Consistency With Contraction Notation

The evaluation role of a contravariant slot corresponds precisely to what is meant, in indexed notation, by contracting an upper index against a lower index supplied by a covector, so the abstract description of evaluation and the concrete summation-based contraction formula describe the same underlying computation.

Role Within Tensor Algebras

Bridging Abstract Structure and Concrete Computation

The evaluation role of a contravariant slot is what connects the abstract characterization of a tensor as a multilinear map to the concrete numerical calculations performed with indexed components, making explicit how the two levels of description correspond to one another.

Central to the Definition of Pairing Invariance

The evaluation role of a contravariant slot on a covector is exactly the pairing operation whose invariance under coordinate transformation is established by pairing invariance, so the evaluation role provides the concrete instance to which that broader invariance principle applies.