1.2.50 Type Zero One Tensor Definition

A Type Zero One Tensor is a rank-0 tensor with a single component, fundamental in tensor algebra for representing scalars in multilinear contexts.

Type Zero One Tensor Definition is the characterization of a tensor with no contravariant factors and exactly one covariant factor, the case in which the type $(r, s)$ reduces to $(0, 1)$ . A type $(0, 1)$ tensor is, by definition, a linear functional, or covector, so that the dual space of a vector space is itself already an instance of the tensor concept, standing as the covariant counterpart to ordinary vectors within the type-graded tensor algebra.

Formal Definition

Let $V$ be a vector space over a field $F$ , with dual space $V^{*}$ . Setting $r = 0$ and $s = 1$ in the general tensor product space

\underset{r}{⏨} V \otimes \dots \otimes V \otimes \underset{s}{⏨} V^{*} \otimes \dots \otimes V^{*}

leaves no copies of $V$ and a single copy of $V^{*}$ , giving

T_{1}^{0} (V) = V^{*}

so that a type $(0, 1)$ tensor is precisely an element $ω \in V^{*}$ : a linear functional on $V$ , carrying a single covariant index $ω_{i}$ and no contravariant index.

The Unary Multilinear Map Interpretation

Under the correspondence between tensors of type $(r, s)$ and multilinear maps taking $r$ covector and $s$ vector arguments, a type $(0, 1)$ tensor corresponds directly to the map

ω : V \to F

sending a vector $v \in V$ to the scalar $ω (v)$ , with no further reinterpretation needed: the definition of a type $(0, 1)$ tensor as an element of $V^{and its definition as a linear functional on V are one and the same, since V^{} is, by its own construction, the set of linear functionals on V . omega = omega_i one lower index, no upper indices acts on vectors -> scalar Transformation Law The single index of a type (0, 1) tensor transforms covariantly: under a change of basis with matrix A, the components transform directly using A itself, {\tilde{ω}}_{i} = \sum_{j} A_{i}^{j} ω_{j} with no matrix inversion involved. This direct transformation, applied to a single index, is what gives the type (0, 1) case its name as the prototypical covariant tensor, and it is required precisely to keep the scalar value ω (v) unchanged whenever both the covector's components and the vector's components are simultaneously rewritten in a new basis. Order, Degree, and Arity A type (0, 1) tensor has total order one, occupies the degree-one summand of the covariant tensor algebra built from V^{*} alone, and has arity one when regarded as a multilinear map on a single vector argument. Its contravariant order is exactly zero and its covariant order is exactly one, so, as in the type (1, 0) case, every one of the standard classifying invariants — order, type, valence, and arity — agrees on this simplest nontrivial covariant example without ambiguity. Distinction from Type (1, 0) A type (0, 1) tensor is not interchangeable with a type (1, 0) tensor despite both having total order one, since the two obey inverse transformation laws under a change of basis. Only with additional structure on V, most commonly a nondegenerate bilinear form such as a metric tensor, can a canonical correspondence between the two types be established, in which case the operation converting a type (1, 0) tensor into a type (0, 1) tensor is called lowering an index, and its inverse, applied in the other direction, is called raising an index. Role Within Tensor Algebra Type (0, 1) tensors are the building blocks from which every higher-order purely covariant tensor is assembled by repeated tensor product, since a decomposable tensor of type (0, s) for s \geq 1 is a product of s individual type (0, 1) tensors, and every element of the full covariant tensor algebra is a finite sum of such products. Recognizing covectors as type (0, 1) tensors places the dual space V^{*} within the same unified definitional framework used for tensors of every other type, confirming that linear functionals, alongside vectors, form one of the two elementary generating pieces from which the entire tensor algebra is constructed. Related content 1.2.1 Tensor Definition 1.2.2 Tensor Algebra Definition 1.2.3 Tensorial Quantity Definition 1.2.4 Tensorial Relation Definition 1.2.5 Algebraic Tensor Object Definition 1.2.6 Tensorial Thinking Definition 1.2.7 Vector Space Definition 1.2.8 Scalar Field Definition 1.2.9 Basis Definition 1.2.10 Coordinate Definition 1.2.11 Linear Combination Definition 1.2.12 Linear Independence Definition 1.2.13 Linear Map Definition 1.2.14 Dual Vector Space Definition 1.2.15 Covector Definition 1.2.16 Linear Functional Definition 1.2.17 Dual Basis Definition 1.2.18 Vector Covector Pairing Definition 1.2.19 Natural Pairing Definition 1.2.20 Multilinear Map Definition 1.2.21 Bilinear Map Definition 1.2.22 Trilinear Map Definition 1.2.23 Higher Multilinear Map Definition 1.2.24 Multilinear Form Definition 1.2.25 Bilinear Form Definition 1.2.26 Alternating Multilinear Map Definition 1.2.27 Symmetric Multilinear Map Definition 1.2.28 Tensor Product Definition 1.2.29 Tensor Factor Definition 1.2.30 Tensor Product Space Definition 1.2.31 Elementary Tensor Definition 1.2.32 Simple Tensor Definition 1.2.33 Pure Tensor Definition 1.2.34 Decomposable Tensor Definition 1.2.35 Canonical Tensor Product Map Definition 1.2.36 Tensor Product Universal Property Definition 1.2.37 Tensor Rank Definition 1.2.38 Tensor Order Definition 1.2.39 Tensor Type Definition 1.2.40 Covariant Tensor Definition 1.2.41 Contravariant Tensor Definition 1.2.42 Mixed Tensor Definition 1.2.43 Tensor Degree Definition 1.2.44 Tensor Valence Definition 1.2.45 Tensor Arity Definition 1.2.46 Covariant Order Definition 1.2.47 Contravariant Order Definition 1.2.48 Type Zero Zero Tensor Definition 1.2.49 Type One Zero Tensor Definition 1.2.51 Type One One Tensor Definition 1.2.52 Type Two Zero Tensor Definition 1.2.53 Type Zero Two Tensor Definition 1.2.54 Type p q Tensor Definition 1.2.55 Tensor Component Definition 1.2.56 Tensor Component Array Definition 1.2.57 Tensor Component Index Definition 1.2.58 Tensor Component Value Definition 1.2.59 Tensor Scalar Component Definition 1.2.60 Tensor Vector Component Definition 1.2.61 Tensor Covector Component Definition 1.2.62 Tensor Matrix Component Definition 1.2.63 Tensor Higher Order Component Definition 1.2.64 Tensor Component Count Definition 1.2.65 Tensor Independent Component Definition 1.2.66 Tensor Redundant Component Definition 1.2.67 Tensor Component Symmetry Definition 1.2.68 Tensor Component Antisymmetry Definition Location Codartium Formal Sciences Mathematics Algebra Tensor Algebras 1 Tensor Algebra Foundations 1.2 Tensor Definition Foundations 1.2.50 Type Zero One Tensor Definition (You are) © 2025 Codartium — Made for everyone, free. About Contact Disclaimer Privacy Terms}$