6.19.1 Tensor Vector Single Contravariant Slot

Tensor Vector Single Contravariant Slot is the single upper index position that a type (1,0) vector carries, functioning as the sole input channel through which the vector accepts a covector from the dual space V* and returns a scalar, and simultaneously serving as the label attached to each of the vector's numerical components once a basis has been fixed. This single slot is the minimal nontrivial instance of the general notion of a contravariant index, and examining it in isolation, before any additional slots are introduced by higher-order tensors, clarifies precisely what a contravariant slot does and why its transformation behavior takes the specific form that it does.

The Slot as a Functional Input Channel

Pairing with a Covector

The single contravariant slot of a vector v is realized concretely through the natural pairing with a covector φ in V*:

This identity, treating v as a linear functional on V* that happens to agree with φ acting on v, is the double-duality perspective that reveals the slot's functional role: the single upper index of v^i is exactly the position that contracts against a lower index supplied by an incoming covector.

One Slot, One Argument

Because there is only a single contravariant slot and no covariant slot, a vector accepts exactly one covector as its sole argument and returns a scalar; it cannot accept a vector as an argument, since there is no covariant slot available to receive one, a limitation that sharply distinguishes the vector's single contravariant slot from the mixed slot structure of a type (1,1) operator, which has both an input and an output slot.

The Slot as a Component Label

Range and Count

Once a basis {e_i} of V is fixed, the single contravariant slot ranges over the n values 1 through n, where n is the dimension of V, producing exactly n components, v^1 through v^n. Unlike a slot pair, which produces n² components, a single slot produces only n components, reflecting its status as the smallest possible nontrivial index structure.

No Symmetry Considerations Apply

Because there is only one contravariant slot, questions of symmetry or antisymmetry, which require at least two slots of the same variance to compare against each other, simply do not arise for a vector; the single contravariant slot is intrinsically neither symmetric nor antisymmetric, since there is no partner slot with which to exchange it.

Transformation Behavior of the Single Slot

The Inverse Transition Matrix Rule

Under a change of basis with transition matrix A and inverse B, the single contravariant slot transforms according to:

This single application of B is the entire content of the transformation law for a vector, with no additional factors needed since there is exactly one slot to transform. Every more elaborate transformation law for higher-order contravariant tensors is built by repeating this same single-slot rule once for each additional contravariant slot present.

Diagram of the Single Slot

The Single Slot as the Atomic Unit of Contravariance

Building Higher Contravariant Counts by Repetition

Every type (p, 0) tensor with p greater than one can be understood as built from p copies of the single contravariant slot placed side by side, each transforming independently with its own factor of B; the single contravariant slot of a plain vector is therefore the atomic unit from which the entire notion of contravariant index counting, discussed generally under the contravariant count p, is constructed.

Contrast with the Single Covariant Slot of a Covector

The single contravariant slot of a vector transforms with B, while the single covariant slot of a covector transforms with A; comparing these two atomic cases side by side is the clearest way to see the origin of the terms "contravariant" and "covariant," since the vector's slot varies inversely to the basis while the covector's slot varies directly with it.