5.1.2 Tensor Product Space Scope

Tensor Product Space Scope is the delineation of what falls under the study of V ⊗ W as a vector space in its own right, separating questions about its internal structure — dimension, basis, addition, scalar action — from the construction that produces it and from the universal property that characterizes it, treating the resulting space as an object worth examining independently once it has already been obtained.

What Lies Inside the Scope

Dimension in the Finite-Dimensional Case

The scope covers the fact that when V and W are finite-dimensional,

in contrast to the direct sum, whose dimension adds rather than multiplies; this multiplicative growth is a defining structural feature of the tensor product space and belongs to the core of the scope.

Basis Induced by Factor Bases

The scope includes the fact that if {e_i} is a basis of V and {f_j} is a basis of W, then {e_i ⊗ f_j} is a basis of V ⊗ W, and every element of the space is uniquely a finite linear combination of these basis tensors. This gives every element of V ⊗ W an explicit coordinate description once bases of V and W are chosen, even though the tensor product itself was defined without reference to any basis.

Addition and Scalar Action Inherited from the Quotient

The vector space operations on V ⊗ W — addition of two elements and multiplication by a scalar — are within the scope as the structure that makes V ⊗ W a vector space at all, distinct from the bilinear map ⊗ that produces individual elements v ⊗ w from pairs; the space's addition combines arbitrary elements of V ⊗ W, most of which are not themselves of the form v ⊗ w.

What Lies Outside the Scope

How the Space Was Built

The specific quotient-of-a-free-vector-space procedure that produces V ⊗ W, and the verification that the resulting quotient is well-defined, belong to the separate construction scope; the space scope takes the existence of V ⊗ W as already settled and studies what it looks like afterward.

Why the Space Is Essentially Unique

The argument that any object satisfying the universal property is uniquely isomorphic to V ⊗ W belongs to the universality scope; the space scope is concerned with the internal features of one fixed model of the tensor product, not with the abstract argument for why that model is essentially the only one.

Decomposability of Individual Elements

Whether a specific element of V ⊗ W can be written as a single v ⊗ w or requires a genuine sum of several such terms is a question about individual elements of the space, addressed under the separate scope covering elements of the tensor product, rather than a question about the space's overall dimension, basis, or vector space operations.

Why the Space Is Scoped Separately

Studying the Output Independent of the Process

Scoping the resulting space on its own keeps the theory organized around what the tensor product is, once built, as opposed to how it is built or why it is unique; this separation lets dimension and basis computations be stated and used without re-deriving the construction or the universal property each time they are needed.