11.6.3 Tensor Contravariant Object Slot Output Role

Tensor Contravariant Object Slot Output Role is the specific function performed by a contravariant index slot when it appears as the result of applying a covariant object, such as a mixed tensor, to its inputs, describing how a contravariant slot delivers a vector-valued output rather than consuming a vector as input.

The Slot as an Output Receptacle

Producing a Vector Rather Than Consuming One

Unlike a covariant slot, which accepts a contravariant vector as input, a contravariant slot on a mixed tensor plays the role of producing a contravariant vector as output once the tensor's covariant slots have been supplied with their inputs.

The Mixed Tensor as a Vector-Valued Map

A tensor of type one contravariant and one covariant index is naturally interpreted as a linear map from the vector space to itself, and the contravariant slot is precisely the output side of this map, delivering a new vector once an input vector has been supplied to the covariant slot.

Multiple Contravariant Output Slots

Producing Several Vector Components Simultaneously

A tensor with more than one contravariant slot, once its covariant slots are filled, produces a multi-component contravariant object rather than a single vector value in each slot considered independently, with each contravariant slot contributing one index to the resulting tensor's contravariant structure.

Output Role Preserved Under Partial Filling

Filling only some of a mixed tensor's covariant slots leaves the contravariant output slots intact, still awaiting the remaining covariant inputs, so the output role of a contravariant slot persists unchanged regardless of how many, or how few, of the covariant slots have already been supplied.

Contrast With the Contravariant Slot's Own Input Requirement

A Slot Can Serve Different Roles Depending on the Tensor's Structure

While a contravariant slot on a mixed tensor of the type described here plays an output role relative to the covariant inputs, in a purely contravariant tensor of higher rank, each contravariant slot instead plays a role of accepting a covariant object, such as a one-form, as its own input; the specific output-versus-input role of a contravariant slot depends on how the tensor as a whole is being applied, not solely on the slot's variance type in isolation.

Symmetric Treatment Within the Full Multilinear Map Picture

Within the fully general multilinear map picture of a tensor, every slot, whether contravariant or covariant, can equally be regarded as an input awaiting the appropriately typed argument; the output role described here for contravariant slots on a mixed tensor is a specific, useful special case arising once the covariant slots of that same tensor have already been filled.

Practical Significance of the Output Role

Linear Transformations as the Standard Application

The output role of a contravariant slot is what allows a mixed tensor of the appropriate type to be used directly as a linear transformation acting on vectors, producing a new vector from an old one, which is the standard practical use of mixed tensors in applications such as rotations, stress-to-deformation mappings, and other linear operators expressed in tensor notation.

Consistency With Transformation Behavior

Because the output slot is contravariant, the vector it produces transforms under a change of basis exactly as an ordinary contravariant vector would, ensuring that the linear transformation represented by the mixed tensor behaves consistently and predictably regardless of which coordinate system is used to carry out the computation.