6.3.4 Tensor Order Multilinear Role

Tensor Order Multilinear Role defines the structure and interaction of tensors through their order and multilinear properties, foundational in algebraic operations.

Tensor Order Multilinear Role is the function that a tensor's order plays in fixing exactly how many separate linearity conditions a multilinear map must satisfy, with an order-k tensor requiring linearity to hold independently in each of its k argument positions and thereby earning the name k-linear, generalizing the familiar terms linear (k = 1), bilinear (k = 2), and trilinear (k = 3). Order, in this role, is not merely a count to be named but the precise parameter that determines the shape of the multilinearity requirement a tensor's defining map must meet.

Order as the Number of Independent Linearity Conditions

Multilinearity Restated Per Argument

A map T : V₁ × ... × V_k → F is multilinear when, for each argument position m from 1 to k, holding every other argument fixed and varying only the m-th makes T linear in that one argument:

T (\dots, a u_{1} + b u_{2}, \dots) = a T (\dots, u_{1}, \dots) + b T (\dots, u_{2}, \dots)

Order determines exactly how many times this linearity requirement must be separately imposed and separately verified, once for each of the k argument positions.

Naming the Degree of Multilinearity

k = 1 \Rightarrow linear; k = 2 \Rightarrow bilinear; k = 3 \Rightarrow trilinear; k \Rightarrow k -linear

so that the order of a tensor is, in this role, precisely the numerical prefix attached to the word "linear" to describe the multilinearity of the map it represents.

Diagram of Linearity Requirements Growing With Order

Order and the Structure of Verification

Checking Multilinearity Requires k Separate Checks

Verifying that a candidate map of order k is genuinely multilinear requires performing the linearity check independently at each of the k argument positions; a map that is linear in its first argument but fails to be linear in its second is not multilinear at all, regardless of how well-behaved the first argument's linearity is.

Order Determines the Number of Bilinear-Style Cross Terms

Expanding a k-linear map applied to sums in every argument simultaneously produces a sum over all combinations of terms, one term for each way of choosing a summand from each of the k linear expansions, so that the total number of cross terms after full expansion grows as the product of the number of summands chosen at each of the k positions.

Order's Role in the Universal Property

The Universal Property Is Stated in Terms of Order

The universal property characterizing the tensor product V₁ ⊗ ... ⊗ V_k states that every k-linear map out of V₁ × ... × V_k factors uniquely through a single linear map from the tensor product; the order k is the exact parameter that fixes both how many factors appear in the tensor product and how many arguments the multilinear maps being represented must take.

Hom (V_{1} \otimes \dots \otimes V_{k}, F) ≅ { k-linear maps V_{1} \times \dots \times V_{k} \to F}

Order Fixes Which Space of Multilinear Maps Is Being Described

The vector space of all k-linear maps on given spaces is a distinct space for each value of k; order, in its multilinear role, identifies exactly which of these spaces of multilinear maps a given tensor is an element of, before any further type or valence distinction is applied within that space.

Consequences for Order Under Operations

Why the Tensor Product Adds Orders

Combining a k₁-linear map and a k₂-linear map into a single (k₁ + k₂)-linear map, by treating the two original argument lists as one longer combined list, is the multilinear-role explanation for why order adds under the tensor product: the number of independent linearity conditions of the combined map is simply the sum of the two original counts.

Why Contraction Removes Two Orders at Once

Contracting one upper and one lower argument replaces two of the original linearity conditions with a single summation that couples them, collapsing two independent argument positions into none, which is the multilinear-role explanation for why contraction reduces order by exactly 2 rather than by 1.

Why This Role of Order Matters

Connecting Order to the Language of Multilinear Algebra

Framing order as the degree of multilinearity connects the naming scheme of order classification directly to the vocabulary already used throughout linear and multilinear algebra, so that "order-2 tensor" and "bilinear map" are recognized as two names, chosen for different contexts, for describing the same underlying multilinearity requirement.

A Diagnostic for Constructing Valid Multilinear Maps

When constructing a new map intended to represent a tensor of a specific order, the multilinear role of that order specifies precisely how many separate linearity checks the construction must satisfy, providing a direct, checkable criterion for confirming the construction is valid before any further classification is attempted.