5.12 Tensor Product Bilinearity Property

Tensor Product Bilinearity Property is the specialization of the tensor product's general multilinearity to the classical two-factor case, asserting that the map (v, w) ↦ v ⊗ w from V × W into V ⊗ W is linear in v for every fixed w and linear in w for every fixed v, making it the prototypical bilinear map from which the entire theory of the tensor product, and its universal property with respect to bilinear maps, is developed.

The Four Defining Identities

For vector spaces V and W over a field F, bilinearity of the tensor product map means the following four identities hold for all relevant vectors and scalars:

Together, these express additivity and scalar compatibility independently in each of the two arguments, the classical definition of a bilinear map applied specifically to the tensor product itself.

The Tensor Product as the Universal Bilinear Map

Bilinearity alone does not distinguish the tensor product map from countless other bilinear maps one could construct from V × W; what distinguishes it is that it is the universal, or freest possible, bilinear map, in a precise categorical sense.

Universal Property Stated for Two Factors

Every bilinear map B : V × W → U, for any vector space U, factors uniquely as B = f ∘ τ for a linear map f : V ⊗ W → U, where τ is the tensor product map. This universal property says that any bilinear behavior whatsoever can be recovered by first passing through the bilinear tensor product map and then applying an appropriate linear map afterward.

Bilinear Forms as a Special Case

Taking U = F recovers the classical correspondence between bilinear forms on V × W and linear functionals on V ⊗ W, identifying the dual space (V ⊗ W)* with the space of bilinear forms on V × W — a dimension-preserving correspondence used throughout classical linear algebra to study quadratic forms, inner products, and other bilinear structures via their associated tensors.

Matrix Representation of Bilinearity

In finite dimensions, bilinearity of the tensor product connects directly to the familiar matrix representation of bilinear maps.

Bilinear Maps as Matrices

Choosing bases for V and W, any bilinear map B : V × W → F is represented by a matrix M with entries Mij = B(ei, fj), and B(v, w) for general v, w is computed as a bilinear expression in the coordinates of v and w built from M — the coordinate-level manifestation of the same bilinearity that defines the tensor product map itself.

Decomposable Tensors as Matrix Outer Products

Under the standard identification of V ⊗ W with matrices (once bases are chosen), the bilinear tensor product map itself corresponds to sending a pair of vectors to their outer product v wᵀ, and bilinearity of tensoring corresponds exactly to the bilinearity of the outer product operation familiar from elementary linear algebra: linear in each of its two vector arguments separately.

Bilinearity Versus General Multilinearity

Bilinearity is the n = 2 instance of the general multilinearity that governs tensor products of any number of factors, and understanding it thoroughly is the standard entry point to the general n-factor theory.

Two Factors as the Base Case

Nearly every general multilinear identity involving n factors is proved, or at least first understood, by examining the two-factor bilinear case and then extending inductively using the associativity of the tensor product; bilinearity is therefore both a special case of, and the historical and pedagogical foundation for, general factor linearity.

Where the Analogy Breaks Down

One respect in which the two-factor case is genuinely special rather than merely illustrative is that bilinear forms and pairings have an especially rich, separately developed classical theory (symmetric and antisymmetric bilinear forms, inner products, quadratic forms) that does not extend verbatim once three or more factors are involved, since higher multilinear forms lack some of the specific structural results (such as diagonalization by congruence) that make the bilinear case particularly tractable.

Illustrative Diagram

Every bilinear map B out of V × W factors through the tensor product map τ via a unique linear map f, illustrating the universal role of bilinearity in defining the tensor product.