5.5.4 Tensor Elementary Symbolic Form

Tensor Elementary Symbolic Form is the precise notational convention for writing an elementary tensor as v ⊗ w, covering what this specific juxtaposition of two vector symbols with the ⊗ operator is intended to denote, and how it is kept distinct from superficially similar notations that denote different mathematical objects.

The Form Itself

A Fixed Two-Symbol Pattern

The symbolic form of an elementary tensor is always v ⊗ w: a left symbol drawn from V, the operator ⊗, and a right symbol drawn from W, with no additional decoration needed to indicate that the result is a single element of V ⊗ W rather than a space or a sum. This pattern is used uniformly regardless of what v and w happen to be — a basis vector, a linear combination, or an entirely abstract element named only by a variable.

No Implicit Sum Inside the Symbol

Writing v ⊗ w never implicitly means a sum of several elementary tensors; if v itself happens to be a sum, say v = v_1 + v_2, the symbol v ⊗ w still denotes a single elementary tensor, and only expanding it via bilinearity, v ⊗ w = v_1 ⊗ w + v_2 ⊗ w, produces a sum — a distinct expression denoting the same element, but no longer written in elementary symbolic form on the right-hand side unless each term is again elementary.

Distinguishing This Form From Related Notations

Distinct from the Space-Level Symbol V ⊗ W

v ⊗ w, with lowercase letters, denotes a single element; V ⊗ W, with uppercase letters, denotes the entire vector space containing that element and every other element besides. The two uses of ⊗ are related — every v ⊗ w is a member of V ⊗ W — but the case of the letters flanking the operator is what signals which of the two is meant.

Distinct from a General Sum Expression

A general element of V ⊗ W is typically written ∑_i v_i ⊗ w_i, and this notation, with the summation symbol and indexed terms, signals explicitly that more than one elementary tensor may be involved; the elementary symbolic form v ⊗ w with no summation and no index is reserved specifically for the single-term case, and dropping the summation symbol is only correct when the element genuinely is elementary.

Distinct from Coordinate Notation

Relative to bases {e_i} and {f_j}, an elementary tensor v ⊗ w still has a coordinate expansion ∑_{i,j} a_i b_j (e_i ⊗ f_j) where v = ∑ a_i e_i and w = ∑ b_j f_j; this coordinate form is a different, basis-dependent way of writing the same element and is not itself in elementary symbolic form once fully expanded, even though the element it represents remains elementary.

Why the Symbolic Form Is Fixed and Uniform

Enabling Unambiguous Reading of Tensor Expressions

Keeping the symbolic form v ⊗ w fixed and free of implicit summation or hidden structure is what allows any expression built from it — sums, images under induced maps, arguments to multilinear maps — to be parsed unambiguously as a combination of genuinely elementary pieces, with the point at which summation or coordinate expansion is introduced always visible explicitly in the notation used.