7.7.3 Tensor Scalar Component Field Element

Tensor Scalar Component Field Element is the identification of a rank-0 tensor's component directly with an element of the underlying field itself, so that the space of such tensors is not merely built from the field but is canonically the same as the field, with no distinction left between tensor and number.

Definition and Scope

Canonical Identification With the Field

The set of all ((0,0)) tensors over a field (F) is canonically identified with (F) itself, an identification usually taken as definitional rather than as a separate theorem to be proved:

so that stating a rank-0 tensor is equal to (5) is the same statement as saying the field element (5) has been chosen, with no further translation required in either direction.

Consequence for the Component Notion

Because of this identification, the scalar component single value discussed for rank-0 tensors is not merely valued in the field, as components of higher-rank tensors are, but is literally a field element itself, collapsing the usual distinction between a tensor and the number describing it.

Structural Properties

Preservation of Field Operations

Since the identification is canonical, the field's own operations, addition, multiplication, and additive and multiplicative inverses, transfer directly to the corresponding operations on rank-0 tensors without any adjustment:

where (s) and (t) are the field elements corresponding to the rank-0 tensors (S) and (T), so tensor addition at rank zero is nothing more than field addition performed under a different name.

The Multiplicative Structure Beyond Tensor Product

Because a rank-0 tensor is a field element, multiplication of two scalars is available directly as field multiplication, a stronger and more immediate operation than the general tensor product, which for higher-rank tensors produces an object of increased rank rather than remaining within the same space; a tensor product of two scalars, correspondingly, still yields another scalar rather than an object of higher rank, consistent with the field identification.

Boundary of the Identification

The identification applies specifically to rank-0 tensors; a vector or a higher-rank tensor, even one built entirely from field elements as its components, is not itself identified with the field, since it requires more than a single element and a basis-dependent expansion to specify, features absent from the rank-0 case.

Role Within Tensor Algebra

Justifying Scalar Multiplication

The field element identification is what makes scalar multiplication of a tensor, multiplying every component of a higher-rank tensor by a single field value, a well-defined and natural operation: the scalar involved in this operation is exactly a rank-0 tensor under this identification, acting on a higher-rank tensor through the field's own multiplication applied component by component.

Simplifying the Base Case of Every General Statement

Any general claim about tensor components, addition, contraction, transformation under change of basis, can be checked directly against ordinary field arithmetic in the rank-0 case, since the field element identification guarantees that no tensorial subtlety remains once every index has been removed.