5.1.4 Tensor Product Element Scope

The tensor product element scope defines how tensors combine vectors, establishing their multilinear structure and interaction within algebraic frameworks.

Tensor Product Element Scope is the delineation of what falls under the study of individual elements of V ⊗ W, separating questions about a single element — whether it is decomposable, how it is represented as a sum, when two representations denote the same element — from questions about the space as a whole, such as its dimension or basis, and from the construction and universal property that produce the space in the first place.

What Lies Inside the Scope

Decomposable and Non-Decomposable Elements

The scope covers the distinction between decomposable, or pure, elements of the form v ⊗ w for single vectors v and w, and general elements, which are finite sums

\sum_{i = 1}^{n} v_{i} \otimes w_{i}

that need not reduce to a single term no matter how the sum is rearranged. Determining, for a given element, the minimal number of terms needed in such a sum — its tensor rank — is a core question inside the element scope.

Non-Uniqueness of Representation

The scope includes the fact that a single element of V ⊗ W generally has many different representations as a sum of decomposable elements; for instance v ⊗ w + v ⊗ w = v ⊗ (2w) shows two visibly different sums naming the same element. Understanding which sums are equal, governed by the same relations used to define the tensor product by quotient, is part of the element scope.

Elementary Tensors as Building Blocks

Because the elements e_i ⊗ f_j induced by bases of V and W form a basis of V ⊗ W, every element decomposes uniquely as a linear combination of these specific decomposable elements; the scope covers this basis expansion as the canonical, basis-dependent way of writing down an arbitrary element once bases are fixed, in contrast to a basis-independent sum of decomposable elements, which is not unique.

What Lies Outside the Scope

Global Invariants of the Whole Space

The dimension of V ⊗ W, or the fact that the induced elements e_i ⊗ f_j form a basis of the entire space, are facts about the space taken as a whole and belong to the separate space scope; the element scope is concerned with a single element or a small collection of elements, not with aggregate properties of every element at once.

How the Relations Were Introduced

The specific quotienting relations that force v ⊗ w to be well-defined and bilinear in the first place are part of the construction scope; the element scope takes those relations as already in force and studies their consequences for individual elements, such as when two sums are equal, rather than deriving the relations themselves.

The Abstract Uniqueness Argument

That the tensor product is unique up to isomorphism regardless of which model is used belongs to the universality scope; this is a statement about the space as characterized by a property, not a statement about any particular element within it.

Why Elements Are Scoped Separately

Isolating Rank and Decomposability as Their Own Questions

Because decomposability and tensor rank are subtle even once the space, its dimension, and its basis are fully understood — a generic element of a tensor product of three or more factors typically has no small decomposition at all — scoping elements separately keeps this genuinely distinct difficulty from being folded into, and obscured by, the more mechanical facts about the space as a whole.