12.19.2 Tensor Scalar Multiplication Closure Property

Tensor scalar multiplication ensures closure, producing another tensor of the same type, preserving algebraic structure under scalar scaling.

Tensor Scalar Multiplication Closure Property is the guarantee that multiplying any tensor of a fixed variance type (p,q) on a fixed space V by any scalar drawn from the base field or ring always produces another tensor of that identical type (p,q) on the identical space V, so that scaling a tensor never changes its rank, its variance, or the space it is defined on. Alongside the tensor addition closure property, it is one of the two elementary closure facts whose joint satisfaction is exactly what qualifies the set of type-(p,q) tensors on V as a genuine vector space over the base field or ring.

Statement and Verification of Closure

The Closure Statement

T \in T_{q}^{p} (V), ​ ​ c \in F ​ ​ \Rightarrow ​ ​ c \cdot T \in T_{q}^{p} (V)

For a tensor T of type (p,q) on V and any scalar c in the base field or ring F, the scaled object c·T — defined by multiplying every coordinate of T by c, or equivalently by scaling the multilinear map T pointwise on every tuple of arguments — is again a tensor of type (p,q) on V.

Verification via the Defining Multilinear Property

(c \cdot T) (a u + b u^{'}, \dots) = c \cdot T (a u + b u^{'}, \dots) = a \cdot (c \cdot T) (u, \dots) + b \cdot (c \cdot T) (u^{'}, \dots)

Viewing T as a multilinear map, the scaled map (c·T)(v₁,...,vₖ) = c·T(v₁,...,vₖ) is itself multilinear in every argument, since the scalar c factors freely through the linear combination in any one slot by commutativity and associativity of scalar multiplication in the base field, combined with the multilinearity already possessed by T in that slot.

Consequences of the Closure Property

Completing the Vector Space Structure of a Fixed Tensor Type

Together with the tensor addition closure property, scalar multiplication closure guarantees that the two operations required to make type-(p,q) tensors into a vector space both stay entirely within that same type-(p,q) space; neither operation ever forces an escape into some larger or different collection of tensors. This joint closure is the minimal requirement checked before invoking any vector-space fact — bases, linear independence, dimension — about the space of type-(p,q) tensors.

Behavior at the Boundary Scalars

0 \cdot T = 0 ​ ​, ​ ​ 1 \cdot T = T

Scaling by the zero scalar always produces the zero tensor of the same type, and scaling by the multiplicative identity always reproduces the original tensor unchanged; both are direct consequences of scalar multiplication closure combined with the corresponding field or ring axioms, and both confirm that the closure property holds even at these boundary cases rather than only for "generic" nonzero scalars.

Diagram of Closure Under Scalar Multiplication

What Closure Does Not Guarantee

No Closure Across Different Base Rings

T \in T_{q}^{p} (V), ​ ​ c \in S ​ ​ \Rightarrow ​ ​ c \cdot T ​ ​ undefined unless S acts on V

Scalar multiplication closure is stated relative to the base field or ring F that V is already a vector space or module over; multiplying a tensor on V by a scalar drawn from an unrelated ring S, with no specified action of S on V, has no defined meaning and is not covered by this closure property. Extending scalars to a genuinely larger ring S is instead the separate, more elaborate construction studied under tensor domain extension, not an instance of ordinary scalar multiplication closure.

Distinct from Closure Under Tensor Multiplication by Another Tensor

Scaling by a single number from the base field is an entirely different operation from multiplying a tensor by another tensor via the tensor product, which generally increases rank and does not stay within the fixed type-(p,q) space. Scalar multiplication closure makes no claim whatsoever about the tensor product's closure behavior, which must be analyzed separately.

Role in the Broader Theory of Tensor Operation Closure

Paired with Addition as the Foundation of Tensor Vector Spaces

Scalar multiplication closure and tensor addition closure together constitute the two foundational closure facts of tensor algebra, jointly establishing that fixing a variance type and an ambient space always yields a coherent, self-contained vector space of tensors. Every more elaborate closure question in tensor algebra — whether the tensor product, contraction, or a transport operation like pullback or pushforward stays within some specified space — is assessed against this foundational pair as the baseline case of a well-behaved tensor operation.