5.1 Tensor Product Theory Scope

Tensor Product Theory Scope is the delineation of what falls under the study of the tensor product as a distinct branch of tensor algebra, marking the boundary between the construction and properties of the tensor product operation itself and the neighboring topics — multilinear maps, tensor algebraic structures, and specific tensor types — that use the tensor product as a tool without being part of its theory. The scope covers the construction of the tensor product space, its universal property, its algebraic structure as a vector space, and the notation and elements that arise from the construction, while excluding results that merely apply an already-constructed tensor product to other ends.

What Lies Inside the Scope

Construction of the Tensor Product Itself

The scope includes the explicit construction of V ⊗ W as a quotient of a free vector space by the relations that enforce bilinearity, together with every question about that construction: which elements are decomposable, how the quotient identifies formal sums, and what data is needed to specify the construction for a given pair of spaces. This construction question is the core of the scope, since every other topic inside it depends on the tensor product having been built in the first place.

The Universal Property and Its Consequences

Also inside the scope is the universal property characterizing the tensor product up to unique isomorphism — that every bilinear (or multilinear) map factors uniquely through it — along with the direct consequences of that property: uniqueness of the tensor product independent of the particular construction used, functoriality of the tensor product under linear maps, and the correspondence between multilinear maps and linear maps described by the tensor product boundary.

Structural Properties of the Resulting Space

The scope covers the vector space structure carried by V ⊗ W itself — its addition, scalar action, dimension in the finite-dimensional case, and choice of basis induced by bases of V and W — treating the tensor product not just as a construction but as an object with its own internal algebra worth studying in isolation from any particular application.

What Lies Outside the Scope

Applications to Multilinear Maps and Forms

The classification of multilinear maps and forms, and the boundary conditions that determine which maps are linear, bilinear, or multilinear, belong to the separate theory of multilinear maps; that theory uses the tensor product as its target of factorization but is not concerned with how the tensor product itself is built or what internal structure it carries.

Tensor Algebraic Structures Built on Top

Constructions such as the full tensor algebra, exterior and symmetric powers, or specific named tensor types like the metric tensor or curvature tensor lie outside this scope. These build on the tensor product as raw material — often by repeated application, together with additional relations such as antisymmetry or symmetry — but the study of those additional relations belongs to their own dedicated topics rather than to tensor product theory proper.

Coordinate and Index Computations

Explicit index-based manipulations of tensors, such as raising and lowering indices or computing components in a specific basis for a specific physical or geometric application, are excluded from the scope; these presuppose the tensor product theory already established and apply it, rather than extending or examining it.

Purpose of the Scope Boundary

Separating Foundations from Applications

By confining the theory to construction, universal property, and internal structure, the scope boundary keeps tensor product theory a self-contained foundation that later topics can cite without re-deriving. Every subsequent tensor-algebraic construction in the knowledge base treats tensor product theory as settled background, referring back to this scope rather than re-establishing the construction each time it is needed.