6.12.1 Tensor One Zero Contravariant Slot

Tensor One Zero Contravariant Slot is the single argument position, accepting one one-form, possessed by a tensor of type one-zero, this lone slot being the entire index structure of such a tensor and the feature that identifies it, once evaluated, as an ordinary vector. Having exactly one contravariant slot and no covariant slot at all, a type one-zero tensor is the simplest nontrivial member of the tensor hierarchy beyond the scalar case, requiring precisely one one-form to be supplied before a scalar results, with no vector argument playing any role in the process.

The Single Slot and What It Accepts

One Position, One Kind of Input

A type one-zero tensor's contravariant slot is the unique position in its definition as a multilinear map, and it accepts exactly one one-form. There is no second slot of any kind, contravariant or covariant, so supplying that single one-form immediately and completely evaluates the tensor down to a scalar, with no further arguments of either kind remaining to be filled.

Identification With an Ordinary Vector

The object possessing this single contravariant slot is, by definition, an ordinary vector, and the pairing of a vector with a one-form to produce a scalar is the fundamental duality relation between a vector space and its dual space. The contravariant slot is therefore not merely a formal feature of notation; it is the precise mathematical expression of what it means for an object to be a vector capable of being paired against arbitrary one-forms.

Components Associated With the Slot

One Upper Index Labels the Slot

When expressed through components in a chosen basis, the single contravariant slot corresponds to exactly one upper index on the tensor's component array, and this index ranges over every basis direction of the underlying vector space. The number of components equals the dimension of that space, since each basis direction contributes one independent value to the array describing the vector.

Transformation Governed Entirely by the Slot's Variance

Because there is only one slot and it is contravariant, the full transformation law of a type one-zero tensor consists of exactly one factor of the direct Jacobian matrix, with no inverse-Jacobian factor appearing anywhere in the expression, since no covariant slot exists to contribute one.

The Slot in Relation to Geometric Interpretation

The Slot as the Source of Directional Meaning

Because the contravariant slot of a type one-zero tensor accepts a one-form rather than a vector, and because a one-form can be thought of as measuring displacement along a particular direction, the value produced by filling this slot represents how strongly the vector aligns with whatever direction the supplied one-form is probing. This is the operational content behind describing a vector as having magnitude and direction: both notions emerge from how the single contravariant slot responds across the whole space of possible one-forms fed into it.

Distinguishing the Slot From a Covariant Slot

The contravariant slot of a type one-zero tensor must not be confused with the single covariant slot possessed by a type zero-one tensor, since the two accept different kinds of argument, one-forms in the first case and vectors in the second, and transform by opposite Jacobian conventions. Despite both types having exactly one slot and hence identical component counts for a given dimension, the nature of what fills that slot and how it transforms distinguishes the two types completely.

Behavior of the Slot Under Structural Operations

Slot Duplication Under Tensor Product

Forming the tensor product of two type one-zero tensors produces an object with two contravariant slots, one inherited from each factor, corresponding to a tensor of contravariant order two. Each original single-slot tensor contributes its lone slot unchanged to the product, with the two slots taking up adjacent positions according to whichever ordering convention is adopted for the product.

Slot Elimination Under Contraction

Contracting the single contravariant slot of a type one-zero tensor against the covariant slot of a type zero-one tensor eliminates both slots at once, producing the scalar that is precisely the pairing of the vector with the one-form, reducing the combined object to type zero-zero with no slots remaining on either side.