12.5.4 Tensor Scalar Multiplication Space Compatibility

Tensor Scalar Multiplication Space Compatibility is the requirement that the scalar used to multiply a tensor must belong to the specific field over which the tensor's underlying vector space is defined, so that the scaling operation remains internally consistent with the algebraic structure carrying the tensor.

The Compatibility Requirement

Field Tied to the Vector Space

A tensor of type $$(p,q)$$ is constructed from a vector space $$V$$ defined over a particular field $$F$$, together with the dual space $$V^{*}$$. Space compatibility for scalar multiplication requires that the scalar $$k$$ used to rescale a tensor $$A$$ built over this vector space belongs precisely to $$F$$.

Formal Statement

The operation:

is compatible, and therefore well defined, only when $$k\in F$$, where $$F$$ is the same field over which the vector space $$V$$ underlying $$A$$ is defined.

Why Compatibility Is Necessary

Components Live in the Same Field

Every scalar component of a tensor built over a vector space defined on field $$F$$ is itself an element of $$F$$. Scalar multiplication multiplies each such component by $$k$$. If $$k$$ came from a different field with no established multiplication rule relative to $$F$$, the product of $$k$$ with each component would simply be undefined.

Preserving Closure

Because $$F$$ is closed under multiplication, multiplying any component, which lies in $$F$$, by a scalar also in $$F$$ guarantees the result remains in $$F$$. Space compatibility is exactly what allows this closure guarantee to apply to the scalar multiplication of tensors.

Consequences of Incompatibility

Undefined Multiplication

If a scalar were drawn from a field unrelated to the one underlying the tensor's vector space, there would be no canonical operation defining how that scalar acts on the tensor's components, since the components and the scalar would not share a common algebraic structure permitting multiplication.

Loss of Vector Space Structure

Space compatibility is required for the set of tensors of a fixed type over $$V$$ to form a vector space over $$F$$. Allowing scalars from an incompatible field would break the defining requirement that a vector space's scalars come uniformly from one single field.

Compatibility Across Related Structures

Subfields and Extensions

When a field $$F$$ is extended to a larger field, such as extending the real numbers to the complex numbers, tensors originally defined over the smaller field can sometimes be reinterpreted as defined over the larger field through an explicit extension of scalars, after which scalar multiplication by elements of the larger field becomes compatible in the extended setting. Without such an explicit extension, however, the scalars must remain confined to the original field.

Real and Complex Distinction

A tensor built over a real vector space accepts only real scalars under strict space compatibility. To multiply it meaningfully by a complex scalar, the underlying vector space must first be complexified, an operation that produces a genuinely new complex vector space rather than reusing the original real one directly.

Illustration