5.1.1 Tensor Product Construction Scope

Tensor Product Construction Scope is the delineation of what falls under the construction of the tensor product specifically, separating the question of how V ⊗ W is built as a concrete object — the free vector space quotient, the relations imposed, the resulting elements — from the universal property that characterizes it abstractly and from the internal structural results, such as dimension and basis, that follow once the construction is complete.

What Lies Inside the Scope

The Free Vector Space Starting Point

The scope includes the formation of the free vector space on the set of ordered pairs (v, w) with v in V and w in W, together with the fact that this free vector space is, before any quotient is taken, vastly larger than V ⊗ W will end up being: it treats every pair as an independent basis vector, with no relation yet connecting (v_1 + v_2, w) to (v_1, w) + (v_2, w). Understanding this starting object, and why it is too large to serve as the tensor product on its own, is part of the construction scope.

The Quotienting Relations

Central to the scope is the specific subspace of relations quotiented out — additivity in each argument and compatibility with scalar multiplication — and the verification that quotienting by exactly this subspace, no more and no less, produces a space in which the induced map (v, w) ↦ v ⊗ w is bilinear. Quotienting by a smaller subspace would leave the induced map short of bilinearity; quotienting by a larger one would collapse elements that need to remain distinct.

Well-Definedness of Induced Structure

The scope covers the verification that operations defined on the free vector space, such as addition and scalar multiplication, descend correctly to the quotient — that they do not depend on which representative of an equivalence class is chosen. This well-definedness check is a routine but necessary part of the construction, confirming that the quotient is genuinely a vector space and not merely a set with an ill-defined addition.

What Lies Outside the Scope

The Universal Property as an Abstract Characterization

Whether the constructed object satisfies the universal property, and the proof that this property determines the space up to unique isomorphism independent of the construction, belongs to a separate part of tensor product theory; the construction scope is concerned with building one specific model of the tensor product, not with proving that model is essentially the only one possible.

Dimension, Basis, and Later Structural Facts

Results describing the dimension of V ⊗ W in terms of the dimensions of V and W, the basis induced by bases of the factors, or the distinction between decomposable and non-decomposable elements are downstream consequences that use the construction as a starting point but are not part of specifying the construction itself.

Alternative Constructions

Other ways of producing an object satisfying the same universal property — for instance via multilinear maps directly, or via representable functors in a categorical setting — are alternative routes to the same result and lie outside this particular scope, which is restricted to the free-vector-space-and-quotient construction.

Why the Construction Is Scoped Separately

Isolating the One Arbitrary Choice in the Theory

The free-vector-space-and-quotient construction is the one place in tensor product theory where a specific, somewhat arbitrary model is chosen among several possible ones; scoping it separately from the universal property keeps clear which statements about the tensor product depend on this particular choice of model and which hold for any object satisfying the same characterizing property, regardless of how it happens to be built.