2.13.4 Tensor Vector Space Scalar Action Law

Tensor Vector Space Scalar Action Law is the collection of compatibility laws describing precisely how the scalar multiplication action of the field interacts with field multiplication, field addition, vector addition, and the field's multiplicative identity, together forming the complete axiomatic requirement that any candidate scalar action must satisfy to make a set into a vector space over that field. This law goes beyond the mere existence of scalar multiplication to specify exactly how it must behave in relation to every other operation involved.

Formal Statement

Compatibility With Field Multiplication

Scaling a vector first by one scalar and then by a second scalar produces the same result as scaling the vector once by the product of the two scalars, computed within the field.

Compatibility With the Multiplicative Identity

Scaling any vector by the multiplicative identity element of the field leaves the vector completely unchanged.

Distributive Compatibility With Both Additions

Scalar multiplication distributes over vector addition and separately distributes over field addition, connecting the scalar action to both of the additive structures involved.

Why All Four Conditions Are Required Together

No Single Condition Suffices Alone

Each of the four conditions governs a different interaction, respectively with field multiplication, the multiplicative identity, vector addition, and field addition, and omitting any one of them would allow structures that fail to behave like genuine scalar actions in at least one respect.

Together They Define a Module-Like Action

These conditions collectively describe what is known more generally as a module action of the field's multiplicative and additive structure on the set of vectors, with the vector space case being the specific instance where the field is a genuine field rather than a more general ring.

Consequences for Computation

Predictable Behavior of Repeated Scaling

Compatibility with field multiplication guarantees that repeatedly scaling a vector by several scalars in sequence always matches scaling once by the product of those scalars, regardless of the order in which the individual scalings are performed.

Safe Algebraic Manipulation of Scalar Coefficients

The distributive laws allow scalar coefficients to be freely factored out of or distributed into sums of vectors during algebraic manipulation, a technique used constantly throughout linear algebra and tensor computation.

Role in Tensor Construction

Governing How Scalars Interact With Tensor Factors

The scalar action law governs how a single scalar can be moved between different positions within a multilinear or tensor expression, since bilinearity of the tensor product relies on scalar multiplication behaving consistently with field multiplication and both additive structures in every factor.

Foundation for Well-Defined Tensor Scaling

The full scalar action law is what justifies treating tensor scaling as unambiguous, since it guarantees that a scalar can be applied to any one factor of an elementary tensor without changing the result compared to applying it to another factor or to the tensor as a whole.

Summary of Key Properties

Complete Axiomatic Description of Scalar Behavior

Tensor Vector Space Scalar Action Law gathers the full set of compatibility conditions that scalar multiplication must satisfy with respect to field multiplication, the multiplicative identity, and both additive structures.

Structural Backbone for Bilinear Tensor Behavior

This law provides the structural backbone that supports the bilinearity of the tensor product, ensuring scalars can be moved consistently through tensor expressions without altering their meaning.