1.2.59 Tensor Scalar Component Definition

The scalar component of a tensor is its value in a specific coordinate system, representing the tensor's magnitude along a particular direction.

Tensor Scalar Component Definition is the specification of the special case in which a tensor's component array consists of exactly one entry, occurring when the tensor has rank zero, meaning it carries no upper indices and no lower indices at all. A tensor scalar component is thus the single number that fully represents a type (0, 0) tensor once evaluated, distinguished from a general tensor component by having no index to vary and no direction along which it can be arranged into a larger array.

Definition in Terms of Rank

Rank Zero and the Absence of Indices

A tensor of type (p, q) has rank p + q. When both p and q equal zero, the rank is zero, and the tensor carries no indices whatsoever.

p = 0, q = 0 \Rightarrow rank = 0

Since the number of components of a type (p, q) tensor in an n-dimensional space is n^(p+q), setting p + q = 0 gives n^0 = 1, confirming that a rank-zero tensor has exactly one component regardless of the dimension n of the underlying vector space.

n^{0} = 1

Identification with an Element of the Field

A tensor scalar component is not merely a number that resembles a scalar; it is precisely an element of the field F over which the vector space V is defined. There is no distinction between the abstract tensor and its single component in this case, because there is no basis-dependent arrangement possible when there are zero indices to select.

Basis Independence of the Scalar Component

Why Scalars Do Not Transform

General tensor components transform under a change of basis according to a rule involving the transformation matrix once for each upper index and its inverse once for each lower index. A scalar component has no indices at all, so the transformation rule is vacuously applied zero times, leaving the value completely unchanged.

\tilde{T} = T

This invariance under every change of basis is the defining property that distinguishes a true scalar, and hence a genuine type (0, 0) tensor, from quantities that merely look like single numbers but actually depend on a choice of coordinates, such as a single component extracted from a higher-rank tensor.

Contrast with Coordinate-Dependent Numbers

A single entry extracted from the component array of a higher-rank tensor, such as T^1 from a vector or T_{11} from a bilinear form, is a number tied to a specific basis and a specific index value; it changes when the basis changes. A genuine scalar component carries no such dependency, since it is the entire content of a type (0, 0) tensor rather than one piece of a larger array.

Examples

Physical Scalars

Quantities that are fully described by a single number independent of any coordinate system, such as mass, temperature, or electric charge in a given unit system, are represented as type (0, 0) tensors, with their value given by a single scalar component.

Results of Full Contraction

When a type (p, p) tensor is fully contracted, pairing every upper index with a corresponding lower index and summing over all of them, the result is a type (0, 0) tensor, and its value is a single scalar component obtained from the summed products of the original tensor's entries.

c = T_{i_{1} \dots i_{p}}^{i^{1} \dots i^{p}}

Inner Products as Scalar Components

The inner product of two vectors, computed via a type (0, 2) metric tensor evaluated on two type (1, 0) vectors, produces a single scalar component, a number that does not depend on the basis used to carry out the intermediate calculation.

g (u, v) = g_{i j} u^{i} v^{j}

Diagrammatic Summary

The diagram represents a scalar as a tensor with no attached indices, enclosed in a plain boundary to indicate that its single component stands entirely on its own, unaffected by any change of basis.