11.13.5 Tensor Covariant Slot Evaluation Role
The Tensor Covariant Slot Evaluation Role defines how slots are assessed under covariant transformations, ensuring consistency in tensor algebraic operations.
Tensor Covariant Slot Evaluation Role is the function performed by a covariant slot when it is actually applied to a specific contravariant vector, 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 vector's components.
Definition and Mechanics of Evaluation
The Act of Evaluation Described
Evaluation occurs when a specific contravariant vector is inserted into a covariant slot, and the evaluation role of that slot is precisely to consume the vector's components through contraction, converting what was an abstract, unapplied linear functional 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 covariant slot as an element of the dual space; the static description characterizes what kind of object the slot is, while the evaluation role describes what happens computationally once a specific vector 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 covariant 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 covariant slot of a tensor, along with every contravariant slot if present, is evaluated by supplying the appropriate vector or covector 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 covariant 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 vectors must be supplied to the covariant slots of a tensor.
Consistency With Contraction Notation
The evaluation role of a covariant slot corresponds precisely to what is meant, in indexed notation, by contracting a lower index against an upper index supplied by a vector, 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 covariant 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 covariant slot on a contravariant vector 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.