9.8.2 Tensor Basis Tensor Factor Composition

Tensor Basis Tensor Factor Composition explores how tensor structures decompose into foundational components, revealing algebraic relationships in multilinear algebra.

Tensor Basis Tensor Factor Composition is the process by which a higher-order tensor basis element is built up by combining several lower-order basis tensors through the tensor product, with each factor contributing its own slot to the resulting object, so that a basis element such as e_i ⊗ e^j ⊗ e_k is understood explicitly as a composition of three separate rank-one tensor factors rather than as an indivisible symbol; it makes precise how the tensor basis tensor role of individual factors combines to produce the tensor role of the composed, higher-order basis element.

How Composition Proceeds

Combining Factors One at a Time

Tensor factor composition builds a higher-order basis element by successively forming tensor products of individual rank-one basis tensors, each new factor extending the slot structure of the growing composite by exactly one additional argument position.

e_{i} \otimes e^{j} \otimes e_{k}

Each Factor Keeps Its Own Identity Within the Composite

Although the composed object is a single tensor, factor composition preserves the identity of each contributing factor: the multi index address of the composite records precisely which index came from which factor, and the ordered tuple role fixes the position each factor occupies within the whole.

Why Composition Preserves the Tensor Role

Each Factor Is Already a Tensor in Its Own Right

Because every factor entering the composition — whether a primal basis vector or a dual basis covector — is itself a genuine tensor by the tensor basis tensor role, the tensor product of these factors is guaranteed, by the defining properties of the tensor product, to be a genuine tensor as well, belonging fully to the appropriate higher-order tensor space.

e_{i} \in V, e^{j} \in V^{*} \Rightarrow e_{i} \otimes e^{j} \in V \otimes V^{*}

Composition Is Compatible With Tensor Operations

Because the composite is a genuine tensor, it can be paired with other tensors, added to like-typed tensors, and scaled, using the ordinary rules of tensor algebra; factor composition is what guarantees these operations are legitimately available, rather than merely notationally convenient.

Decomposing a Composite Back Into Its Factors

Recovering Individual Factors From the Composite

Given a tensor factor composition, the individual factors can, in principle, be recovered by pairing the composite against appropriately chosen tensors that isolate one slot at a time, leaving the contribution of the remaining factors unaffected, a procedure that relies directly on the multi index address attached to the composite.

Not Every Higher-Order Basis Tensor Decomposes Simply

While every basis element of a tensor product space is composed from simple factors by construction, a general tensor expressed in that basis, being a sum of many such composed basis elements weighted by coefficients, need not itself decompose back into a single tensor factor composition; decomposability of this kind is a special property, not a general one.

Diagram of Factor Composition

Consequences of Factor Composition

It Grounds the Legitimacy of Working With Higher-Order Basis Elements

By establishing that a composed basis tensor inherits full tensor status from its constituent factors, factor composition justifies treating higher-order basis elements exactly as any other tensor for purposes of algebraic manipulation, without requiring any special exception or separate justification for objects built by tensor product.

It Explains Why Factor-Level Properties Propagate to the Composite

Properties belonging to individual factors, such as which vector space or dual space each belongs to, propagate directly to the composite through factor composition, which is why the type of a composed basis tensor — how many upper and how many lower slots it has — can be read off immediately from the types of its constituent factors.