6.12 Tensor Type One Zero Classification

Tensor Type One Zero Classification is the category into which every tensor whose contravariant order equals one and whose covariant order equals zero is placed, this category coinciding exactly with the ordinary vectors of the underlying vector space. A tensor belonging to this classification accepts a single one-form argument and returns a scalar through a linear pairing, carries exactly one upper index and no lower index in its component representation, and transforms under a change of coordinates by exactly one factor of the direct Jacobian matrix.

Criteria for Membership in the Classification

Exactly One Upper Index, No Lower Index

Membership in the type one-zero classification requires the contravariant order to equal precisely one while the covariant order equals precisely zero; a tensor with two upper indices, or with one upper index and one lower index, belongs to a different classification even though the first also carries at least one upper index. The classification is defined by the exact type pair, not merely by the presence of some contravariant component.

Identity With the Underlying Vector Space

Every element of the type one-zero classification is, by construction, an element of the original vector space from which the tensor algebra is built, since a linear functional on the space of one-forms taking values through a single pairing is precisely how a vector acts, by definition, on the dual space. This classification therefore reproduces the base vector space itself as one particular layer within the larger hierarchy of tensor types.

Component Structure and Transformation

One Index, n Components

A type one-zero tensor's components form an array indexed by a single upper index ranging across all basis directions of a space of dimension n, giving exactly n independent numbers needed to specify the tensor once a basis has been fixed. This is the smallest positive component count achievable by any tensor type beyond the single component of the zero-zero classification.

A Single Direct-Jacobian Factor

The transformation law for a type one-zero tensor consists of exactly one factor of the direct Jacobian matrix contracted against the original components, with no inverse-Jacobian factor present since no covariant index exists to contribute one.

Position of the Classification Within the Hierarchy

Neighboring Type Zero-Zero and Type Two-Zero

Type one-zero sits immediately adjacent, in the tensor type hierarchy, to type zero-zero, from which it is reached by introducing exactly one contravariant index, and to type two-zero, which is reached from it by introducing one additional contravariant index. This positions the classification as the first genuinely nontrivial layer of the hierarchy built purely from contravariant indices, following the degenerate scalar case.

Closed Under Vector Space Operations

The collection of all type one-zero tensors forms a vector space in its own right, closed under addition and scalar multiplication, this vector space being none other than the original space the entire tensor algebra was constructed from. Every operation available on vectors in the ordinary sense, linear combination in particular, is fully accounted for within this single classification without needing to invoke any tensor of higher type.

Distinguishing From Type Zero-One by Variance Alone

Type one-zero and type zero-one share an identical component count for any given dimension, since both possess exactly one index, yet they remain distinct classifications because one index is contravariant and the other covariant, leading to opposite transformation conventions, direct Jacobian in one case and inverse Jacobian in the other, despite the superficial similarity in size.