5.2.4 Tensor Product Universal Property Area

Tensor Product Universal Property Area is the detailed treatment of the factorization statement characterizing V ⊗ W, covering the precise existence-and-uniqueness claim for the induced linear map, the diagrammatic way of expressing that claim, and the proof that any two objects satisfying the same claim are canonically isomorphic.

The Factorization Statement

Existence and Uniqueness Together

For every vector space U and every bilinear map B: V × W → U, there exists a unique linear map B̃: V ⊗ W → U such that

for every v in V and w in W. Existence is what allows any bilinear map to be replaced by a linear one without loss; uniqueness is what makes that replacement canonical, since a linear map is completely determined by its values on the decomposable elements that span V ⊗ W.

Why Existence Follows from the Construction

Given B, define a linear map on the free vector space F(V × W) by sending each basis vector (v, w) to B(v, w), extended linearly. Because B is bilinear, this map vanishes on every generator of the relation subspace R used in the construction, so it descends to a well-defined linear map on the quotient V ⊗ W = F(V × W)/R, which is exactly B̃.

Why Uniqueness Follows from Spanning

If B̃_1 and B̃_2 both satisfy B̃_i(v ⊗ w) = B(v, w) for all v, w, then B̃_1 and B̃_2 agree on every decomposable element, hence on every finite sum of decomposable elements by linearity, hence on all of V ⊗ W, since every element of V ⊗ W is such a sum; so B̃_1 = B̃_2.

The Isomorphism-Uniqueness Argument

Two Objects Satisfying the Same Property

Suppose (T, τ) is any pair consisting of a vector space T and a bilinear map τ: V × W → T through which every bilinear map out of V × W factors uniquely, exactly as V ⊗ W and ⊗ do. Applying the universal property of V ⊗ W to the bilinear map τ gives a unique linear map φ: V ⊗ W → T with φ(v ⊗ w) = τ(v, w); applying the universal property of T to ⊗ gives a unique linear map ψ: T → V ⊗ W with ψ(τ(v, w)) = v ⊗ w.

The Composite Maps Are Identities

The composite ψ ∘ φ: V ⊗ W → V ⊗ W sends v ⊗ w to ψ(τ(v, w)) = v ⊗ w, so it agrees with the identity map on every decomposable element and therefore, by the uniqueness clause of the universal property applied to ⊗ itself, equals the identity on all of V ⊗ W. The same argument applied in the other order shows φ ∘ ψ is the identity on T, so φ and ψ are mutually inverse isomorphisms.

What This Establishes

This argument shows that the universal property pins down V ⊗ W, together with the map ⊗, uniquely up to a unique isomorphism compatible with the bilinear maps into each candidate object; any construction — the free-vector-space quotient or another — that produces an object with this property yields a result canonically identified with any other.

Consequences Drawn Directly From the Property

Independence from the Particular Construction

Because the isomorphism argument uses only the existence-and-uniqueness statement and never refers to elements of F(V × W) or the relation subspace R, every fact derivable from the universal property alone transfers unchanged to any other construction satisfying the same property, which is what justifies treating the tensor product as a single well-defined object rather than as tied to one specific model.