11.14.1 Tensor Contravariant Slot Covector Input

Tensor Contravariant Slot Covector Input maps covectors into contravariant slots, enabling coordinate transformations in tensor algebra.

Tensor Contravariant Slot Covector Input is the specific requirement that the argument accepted by a contravariant slot of a tensor, when the tensor is viewed as a multilinear map, must be a covariant covector rather than a vector, since only a covector supplies the correct type of object that an upper index position is structured to consume.

Definition and Basic Requirement

What Counts as a Valid Input

A contravariant slot, corresponding to an upper index of the tensor, is defined to accept precisely a covector as its filling argument, meaning an object whose own components carry a lower index and transform according to the covariant transformation law.

T^{i} (ω) = T^{i} ω_{i}

Why a Vector Cannot Be Substituted

Attempting to insert a vector, rather than a covector, into a contravariant slot would require contracting two upper indices directly against one another without an intervening metric, which does not produce a coordinate-independent scalar and therefore fails to respect the pairing invariance that the slot structure is designed to guarantee.

Consistency With the Contraction Pattern

Matching Index Types in the Contraction

The covector input requirement for a contravariant slot directly mirrors the general rule that a coordinate-independent contraction pairs one upper index with one lower index, since inserting a covector's lower-indexed components into the tensor's upper index produces exactly this required pairing.

T^{i} ω_{i} = T^{j^{'}} ω_{j^{'}}

Invariance of the Result Once the Correct Input Is Used

Because the covector input matches the contravariant slot correctly, evaluating the tensor on this covector yields a scalar value, or a lower-rank tensor if other slots remain unfilled, that is guaranteed to be invariant under any change of coordinates, following directly from pairing invariance.

Behavior in Tensors With Several Contravariant Slots

Each Slot Independently Requires a Covector

When a tensor carries multiple upper indices, each corresponding contravariant slot independently imposes the covector input requirement, so a valid full evaluation of the tensor requires supplying one covector for every contravariant slot present, with no slot accepting anything other than a covector.

No Substitution Across Slots

The covector input requirement applies uniformly to every contravariant slot of the tensor, and there is no mechanism by which a vector could be substituted into one contravariant slot while a covector fills another, since the requirement is fixed by the index type of each slot individually.

Role Within Tensor Algebras

Reinforcing the Definition of a Tensor as a Multilinear Map

The covector input requirement for contravariant slots is a core part of what makes the multilinear map interpretation of tensors precise, specifying exactly which type of mathematical object belongs in each argument position rather than leaving the interpretation ambiguous.

Practical Guide for Constructing Valid Contractions

Recognizing that contravariant slots require covector inputs serves as a practical check when constructing tensor expressions, helping to confirm that indices are being contracted correctly, with contravariant slots always paired against covariant covectors rather than against other contravariant objects.