2.2.4 Tensor Scalar Compatibility Requirement

The Tensor Scalar Compatibility Requirement ensures scalars interact consistently with tensors, preserving algebraic structure across mathematical frameworks.

Tensor Scalar Compatibility Requirement is the condition that every tensor combined within a single expression, through tensor product, contraction, linear combination, or comparison, must be built over the identical field F, so that the arithmetic used to combine their components, addition, multiplication, division, is the same arithmetic throughout the expression, and no operation is left implicitly undefined by mixing scalars from two different fields.

What the Requirement Demands

One Shared Field Across an Entire Expression

Whenever two or more tensors appear together in a single expression, the requirement demands that both be built over the same field F, real tensors combined only with real tensors, complex tensors combined only with complex tensors, so that every arithmetic operation used to evaluate the expression is guaranteed to be well defined.

T \in T_{q}^{p} (V), S \in T_{s}^{r} (V) both over the same F

Why Linear Combinations Specifically Require This

Forming a linear combination of two tensors of the same type requires multiplying each by a scalar coefficient and adding the results; both the coefficients and the tensor components themselves must belong to the same field for this operation to be defined at all, since addition and multiplication are only guaranteed to behave correctly within a single field's own arithmetic.

α T + β S α, β \in F, T, S also over F

Why Contraction Also Depends on This Requirement

The Natural Pairing Presupposes a Common Field

Contraction relies on the natural pairing between V and its dual V*, a pairing whose output lies in the same field F that V is defined over; contracting a tensor built over one field against a tensor built over a different field leaves the pairing, and hence the entire contraction, without a well-defined target for its result.

T^{i} S_{i} \in F only if both T and S are over F

Tensor Product Across Fields Is Also Excluded

Even tensor product, the operation with the fewest structural requirements among standard tensor operations, still requires a common field, since forming the product of components still ultimately relies on the multiplication operation of a single, shared field.

Restoring Compatibility Across Fields

Embedding One Field Into a Larger One

When tensors genuinely arise from two different fields, a common resolution is to embed the smaller field into the larger one, treating a real tensor as a complex tensor with zero imaginary part, so that both operands are now expressed over the same, larger field before any operation between them is attempted.

ℝ ↪ ℂ x \mapsto x + 0 i

No General Embedding Exists in the Other Direction

Because there is no field-preserving embedding of the complex numbers into the reals, a complex tensor cannot generally be converted into a compatible real one without discarding information, such as retaining only its real part, an operation that must be performed deliberately and is not automatic or lossless.

Consequences of Overlooking This Requirement

Expressions That Are Silently Ill-Defined

Overlooking this requirement produces expressions that appear syntactically reasonable, an equation combining two tensors with matching index patterns, but that are not actually well-defined objects, since no single field's arithmetic underlies the combination being written down.

Errors Masked by Numerical Coincidence

In a purely numerical setting, mismatched fields can sometimes produce a plausible-looking numerical answer purely by coincidence, particularly when a complex quantity happens to have a negligible or zero imaginary part in the specific case being computed, masking the underlying compatibility violation until a different case exposes it.

Relationship to the Broader Scalar Field Context

A Constraint That Applies Across Any Chosen Field

Unlike the specific consequences that follow from choosing the reals or the complex numbers, this compatibility requirement applies uniformly regardless of which particular field is chosen, real, complex, or otherwise, since it concerns the relationship between the fields of the operands in an expression rather than the properties of any single field on its own.

Why This Requirement Is Checked Before Field-Specific Reasoning

Confirming scalar compatibility across every tensor in an expression is a prerequisite check that should be performed before any field-specific reasoning, real-field sign arguments, complex-field conjugation arguments, is applied, since such reasoning presupposes that a single, well-defined field already governs the entire expression under consideration.