6.1 Tensor Order and Type Scope

Tensor Order and Type Scope is the delineation of exactly which tensor product constructions the order-and-type classification (p,q) applies to cleanly, namely tensors built purely from repeated tensor factors of a single space V and its dual V*, and the identification of related but distinct objects — tensors built from several unrelated spaces, tensor densities, and spinors — that lie outside, or require an extension of, this classification scheme. Marking this scope prevents the (p,q) type label, which is extremely convenient within its proper range, from being misapplied to objects it was never designed to describe.

The Proper Scope: Powers of a Single Space and Its Dual

What (p, q) Classification Assumes

The type (p,q) classification presupposes that every tensor factor involved is either the single fixed space V or its dual V*; a tensor of type (p,q) is, by definition, an element of V^{⊗p} ⊗ (V*)^{⊗q}, and the entire apparatus of upper and lower indices, and their associated transformation rules under a single change of basis of V, depends on this uniformity of the factors.

Why Uniformity Matters

Because every factor is either V or V*, a single change of basis on V determines the transformation of every index simultaneously, contravariant indices via the inverse change-of-basis matrix and covariant indices via the matrix itself; this uniform dependence on one basis choice is what makes the (p,q) classification, and its associated transformation law, so clean and useful.

Diagram of the Scope Boundary

Outside the Scope: Tensor Products of Unrelated Spaces

No Single (p, q) Label Applies

For a tensor in V ⊗ W where V and W are genuinely different, unrelated spaces (not related as a space and its own dual), there is no meaningful (p,q) type to assign, since the classification specifically tracks how many factors are V versus V* for one fixed V; a tensor built from V, W, and possibly their duals requires either a more elaborate multi-space type label or simply the explicit statement of which factors come from which space.

The Order-and-Type Scheme Is a Special, Convenient Case

The clean (p,q) scheme is best understood as the special case of tensor classification that arises specifically when all factors trace back to one space and its dual, a situation common in geometry and physics (where a single tangent space and its cotangent space are the relevant factors) but not universal across all uses of the tensor product.

Related Extensions Beyond Plain Type

Tensor Densities

A tensor density of type (p,q) and weight w transforms as an ordinary type-(p,q) tensor but with an extra factor of the determinant of the change-of-basis matrix raised to the power w; this weight is additional data entirely outside the basic (p,q) classification, required specifically to describe quantities (such as volume elements) that scale with changes of basis in a way plain tensors of any type do not.

Spinors

Spinors are objects that transform under a different (double-covering) group associated with the orthogonal or Lorentz group rather than under the ordinary general linear group action that governs (p,q)-type tensors; although spinors interact closely with tensors and can be combined with them, they do not themselves fit into the (p,q) classification, since their transformation law is not expressible purely in terms of factors of V and V* under an ordinary basis change.

Boundary Cases Within the Proper Scope

Type (0,0): Scalars

A tensor of type (0,0) is simply an element of the base field F (order zero, no factors of V or V* at all); this is the degenerate boundary case of the classification, included for completeness even though it involves no nontrivial tensor product structure.

Symmetric and Antisymmetric Subtypes

Within a fixed type (p,q), a tensor may additionally be symmetric or antisymmetric in some or all of its same-variance indices; this refinement (connecting to the symmetric and exterior power constructions) lies within the scope of type classification but adds a further layer of structure beyond the bare (p,q) label itself.

Significance of Defining the Scope

Preventing Misapplication of a Convenient but Limited Scheme

By clearly bounding the scope of the (p,q) classification to tensors built from powers of a single space and its dual, this scope statement prevents the scheme from being incorrectly stretched to cover multi-space tensor products, densities, or spinors, each of which requires its own distinct classification or an explicit extension of the basic type notion.

Clarifying What Additional Structure Is Needed Beyond the Base Case

Recognizing this scope makes explicit exactly what extra data (a second space's identity, a density weight, a different transformation group) must be supplied to describe objects that superficially resemble type-(p,q) tensors but in fact require classification schemes lying outside the ordinary order-and-type framework developed for powers of V and V*.