2.2 Tensor Scalar Field Context

Tensor Scalar Field Context is the specific role played by the field F of scalars underlying a vector space V within tensor algebra, governing what kind of numbers a fully contracted tensor can produce, which algebraic operations, division, square roots, complex conjugation, are available when working with tensor components, and which common choices of field, the real numbers, the complex numbers, are typically used and why, distinguishing the field's contribution from that of V itself.

What the Field Determines

The Values Scalars Can Take

Because a type (0, 0) tensor is, by definition, an element of F itself, the field directly determines what kind of value any fully contracted tensor expression can produce, a real number, a complex number, or an element of some other field entirely, depending on which field underlies the construction.

The Arithmetic Available for Every Tensor Operation

Every arithmetic step in tensor algebra, summing over repeated indices, multiplying components, inverting a change-of-basis matrix, is carried out using the operations of F, so the field determines not just what values appear but what operations on those values are even legitimate.

The Real Numbers as the Default Field

Why Real Scalars Suit Most Geometric and Physical Applications

The real numbers ℝ are the default choice of field in most geometric and physical applications of tensor algebra because quantities such as length, angle, mass, and time are naturally modeled as real-valued, and the ordering available on the reals supports notions such as positive-definiteness of a metric.

Real Scalars and Square Roots of Contracted Quantities

Because notions such as length are defined as the square root of a fully contracted metric expression, working over the reals requires this quantity to be non-negative for the square root to be real-valued, a requirement directly tied to the metric having the positive-definite property just described.

The Complex Numbers as an Alternative Field

Why Complex Scalars Are Sometimes Required

The complex numbers ℂ become the natural field of choice in settings such as quantum mechanics, where the underlying vector spaces are complex from the outset, and where operations analogous to a metric involve complex conjugation of one argument rather than ordinary bilinearity.

Consequences of Switching From Real to Complex Scalars

Moving from a real to a complex field changes the character of several standard operations, an inner product becomes sesquilinear rather than bilinear, conjugate transposition rather than plain transposition becomes the natural operation on matrices representing linear maps, adjustments that must be made consistently throughout the tensor formalism once the field is changed.

Field Choice and the Interpretation of Symmetry

Symmetric and Hermitian Generalize Differently Depending on the Field

Over the real numbers, the natural notion of a "symmetric" bilinear tensor, unchanged under index exchange, is the primary structure of interest; over the complex numbers, the analogous and often more physically relevant notion is Hermitian symmetry, unchanged under simultaneous index exchange and complex conjugation, a distinction that only becomes relevant once the field is no longer the reals.

Why the Field Is Listed Separately From V Itself

Two Independent Choices in the Same Construction

The choice of field F and the choice of vector space V are logically independent inputs to the tensor construction: the same dimension n can be realized over the reals or the complex numbers, giving genuinely different spaces V, so specifying V alone, without also fixing F, leaves the construction incompletely determined.

A Frequent Source of Implicit Assumptions

Because most introductory treatments of tensor algebra fix the field to the reals from the outset and rarely restate this choice explicitly, it is easy to carry real-field assumptions, ordinary transpose, positive-definiteness, ordinary bilinearity, into a setting where the field has silently changed to the complex numbers, making explicit awareness of the field context an important safeguard against this specific class of error.