5.2 Tensor Product Theory Areas

Tensor Product Theory Areas is the organization of tensor product theory into its constituent lines of inquiry — construction, universality, the resulting space, its elements, and the maps built from it — presenting these not as a boundary separating the theory from its neighbors but as an internal map of how the theory's own content divides into distinct, individually tractable questions.

The Construction Area

Building the Object

This area addresses how V ⊗ W is produced as a concrete object: the free vector space on pairs (v, w), the relations quotiented out to enforce bilinearity, and the verification that the quotient's operations are well-defined. It is the area responsible for the existence of a tensor product at all, prior to any question of why that construction is the right one or what the resulting space looks like internally.

Its Role Among the Areas

Construction is logically first among the areas in the sense that the other areas presuppose an object to talk about, but it is not conceptually privileged — the universal property area gives an equivalent, construction-independent way of pinning down the same object, and much of the theory is stated so as to be indifferent to which construction is used.

The Universal Property Area

Characterizing the Object Abstractly

This area addresses the factorization property — every bilinear map out of V × W factoring uniquely through V ⊗ W — and the consequence that any object satisfying this property is uniquely isomorphic to any other. It supplies the sense in which "the" tensor product is well-defined independent of construction.

Its Role Among the Areas

The universal property area is what allows results proved using one model of the tensor product to transfer automatically to any other model, and it is the area most directly responsible for the tensor product's portability to settings beyond vector spaces, such as modules over a ring.

The Space Area

The Resulting Object's Internal Structure

This area addresses V ⊗ W as a vector space once built: its dimension, the basis induced by bases of the factors, and its addition and scalar action. It treats the tensor product as a finished object with its own internal algebra, independent of how it was produced or why it is unique.

Its Role Among the Areas

The space area supplies the concrete, computable facts — dimension formulas, explicit bases — that make the tensor product usable in calculation, complementing the more abstract construction and universality areas with results stated directly in terms of numbers and coordinates.

The Element Area

Individual Members of the Space

This area addresses single elements of V ⊗ W: decomposability, non-uniqueness of representation as a sum of decomposable elements, and tensor rank. It is concerned with the fine structure of particular elements rather than aggregate properties of the whole space.

Its Role Among the Areas

The element area exposes subtleties — such as the existence of non-decomposable elements — that are invisible at the level of dimension and basis counts alone, and it is the area where the tensor product's departure from a simple product of sets or spaces is most concretely visible.

The Map Area

Linear Maps Built From Tensor Products

This area addresses the induced map f ⊗ g obtained from linear maps on the factors, its functorial behavior under composition, and partial applications that act on only one tensor factor.

Its Role Among the Areas

The map area connects tensor product theory to the wider category of vector spaces and linear maps, showing how operations on the factors extend predictably to the tensor product and providing the mechanism later used for contraction and other tensor operations built on top of the theory.