6.13 Tensor Type Zero One Classification

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

Criteria for Membership in the Classification

Exactly One Lower Index, No Upper Index

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

Identity With the Dual Vector Space

Every element of the type zero-one classification is, by construction, an element of the dual space associated with the original vector space, since a linear functional taking a single vector and returning a scalar through one pairing is precisely how a one-form acts, by definition. This classification therefore reproduces the dual vector space itself as one particular layer within the larger hierarchy of tensor types.

Component Structure and Transformation

One Index, n Components

A type zero-one tensor's components form an array indexed by a single lower 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 matches the component count of the type one-zero classification, differing only in variance rather than in size.

A Single Inverse-Jacobian Factor

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

Position of the Classification Within the Hierarchy

Neighboring Type Zero-Zero and Type Zero-Two

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

Closed Under Vector Space Operations

The collection of all type zero-one tensors forms a vector space in its own right, closed under addition and scalar multiplication, this vector space being none other than the dual space of the original vector space the entire tensor algebra was constructed from. Every operation available on covectors 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 One-Zero by Variance Alone

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