5.2.6 Tensor Product Notation Area

Tensor Product Notation Area is the fixed set of symbols and conventions used to write tensor products and their elements throughout tensor product theory, covering the ⊗ symbol for both the space-forming and element-forming operations, the convention for writing general elements as sums of decomposable terms, and the ways this notation is deliberately distinguished from the notation used for the Cartesian product, the direct sum, and ordinary multiplication.

The Core Symbol ⊗

Two Related but Distinct Uses

The symbol ⊗ is overloaded in a controlled way: V ⊗ W denotes the tensor product space itself, a single vector space, while v ⊗ w denotes a specific element of that space, formed from a specific v in V and w in W. The two uses are related — V ⊗ W is by definition the set of finite sums of elements v ⊗ w — but they are not interchangeable, since V ⊗ W is a space and v ⊗ w is a point within it.

Iterated Use for Multiple Factors

For three or more spaces, V_1 ⊗ V_2 ⊗ ⋯ ⊗ V_k denotes the iterated tensor product, justified by the associativity isomorphism (V_1 ⊗ V_2) ⊗ V_3 ≅ V_1 ⊗ (V_2 ⊗ V_3); the notation omits parentheses because this isomorphism is canonical, so no ambiguity results from leaving grouping unspecified.

Notation for General Elements

Sums of Decomposable Terms

A general element of V ⊗ W, not necessarily decomposable itself, is written as a finite sum

with the understanding that this sum notation does not commit to any particular value of r; the same element may admit shorter or longer sum representations, and the notation itself carries no claim about minimality unless r is separately identified as the tensor rank.

Coordinate Notation Relative to a Basis

Once bases {e_i} and {f_j} are fixed, an element is alternatively written ∑_{i,j} c_{ij} (e_i ⊗ f_j), or with the coefficients alone as an indexed array c_{ij}, matching the matrix or index notation used once the tensor product basis area's coordinate expansion is invoked; this coordinate form is basis-dependent, in contrast to the sum-of-decomposables notation, which makes no reference to any fixed basis.

Distinguishing ⊗ From Other Products

Contrast With the Cartesian Product ×

V × W denotes the set of ordered pairs, with no vector space operations combining the two factors beyond componentwise structure; V ⊗ W denotes a genuinely new vector space in which v ⊗ w is not the pair (v, w) but the image of that pair under the quotient map used in construction. Confusing × and ⊗ conflates a set-theoretic product with an algebraic one that identifies certain formal combinations as equal.

Contrast With the Direct Sum ⊕

V ⊕ W has dimension dim(V) + dim(W) and its elements are pairs (v, w) added componentwise, with V and W embedded as complementary subspaces; V ⊗ W has dimension dim(V) · dim(W) and has no such componentwise embedding of V or W as a subspace. The additive symbol ⊕ and the multiplicative symbol ⊗ are chosen deliberately to mirror this contrast between additive and multiplicative growth in dimension.

Contrast With Scalar Multiplication ·

Ordinary scalar multiplication c · v combines a scalar with a vector and remains within V; v ⊗ w combines two vectors, possibly from different spaces, and produces an element of a new space V ⊗ W rather than remaining within either V or W. The two symbols are never used interchangeably, since one is an action of the field on a space and the other is the tensor product's defining bilinear map.