6.11.2 Tensor Zero Zero Scalar Role

Tensor Zero Zero Scalar Role is the function played by tensors of type having both contravariant order and covariant order equal to zero, namely their identification with ordinary scalars, quantities that carry a single numerical value at each point and that value does not change under any change of coordinates. A type zero-zero tensor accepts no vector arguments and no one-form arguments at all, being already a fully evaluated number rather than a function awaiting inputs, and this absence of any open slot is precisely what makes it the anchor case against which every tensor of higher type is ultimately built and understood.

Why Type Zero-Zero Means No Open Slots

Absence of Both Kinds of Argument

A tensor of contravariant order p and covariant order q is a multilinear map accepting p one-forms and q vectors. Setting both p and q to zero removes every argument slot from this description at once, leaving an object that takes no inputs whatsoever and simply is a number. There is no partial evaluation possible for such an object, since there is nothing left to supply; it stands already complete.

No Jacobian Factors in the Transformation Law

Since the general transformation pattern assigns one direct-Jacobian factor per upper index and one inverse-Jacobian factor per lower index, a type zero-zero tensor, having no indices of either kind, receives no such factors at all. Its value in the new coordinate system is therefore identical to its value in the old one, with the transformation law degenerating to the trivial statement of equality.

The Scalar as the Anchor of the Tensor Hierarchy

Scalars Are the Base Case of Contraction

Every full contraction of a tensor against enough vectors and one-forms to saturate all of its slots produces a type zero-zero result, a scalar, and this is in fact the defining test of what it means for a tensor to be fully evaluated. Any higher type tensor can be reduced, by successive contraction or by argument supply, down to this base case, which is why scalars serve as the terminal object toward which every tensorial computation of a numerical answer must eventually arrive.

Scalars as Invariant Quantities

Because a type zero-zero tensor's value does not depend on coordinate choice, it is the natural carrier of any statement intended to express a coordinate-independent fact. Lengths, angles, and other geometric or physical quantities computed by fully contracting higher-type tensors are meaningful precisely because the result of that contraction is a scalar, and hence automatically free of the basis dependence that afflicts the un-contracted components used to compute it.

Distinguishing True Scalars From Coordinate-Dependent Numbers

Not Every Number Attached to a Point Is a Scalar

A quantity that changes value when coordinates are changed, such as a single component of a vector or the value of a coordinate function itself, is not a type zero-zero tensor even though it is, at any given moment, a single number. Genuine membership in the zero-zero type requires that the number in question be invariant under every admissible change of coordinates, not merely that it happen to be one-dimensional in appearance.

Scalar Fields Versus Constant Scalars

A type zero-zero tensor can vary from point to point across a space while still being a scalar at each individual point, provided its value at any fixed point remains unchanged when the coordinate system is altered; this is the notion of a scalar field. It differs from a constant scalar only in that its value depends on position, not in its invariance under coordinate transformation, which is preserved at every point independently.

Algebraic Behavior of Type Zero-Zero Tensors

Closure Under Ordinary Arithmetic

The collection of type zero-zero tensors is closed under addition, multiplication, and scalar multiplication in the ordinary sense, since combining two coordinate-independent numbers through arithmetic operations yields another coordinate-independent number. This closure is what allows scalar quantities derived from tensorial computations to be further combined using standard algebra without reintroducing any basis dependence.

Interaction With Higher Type Tensors

Multiplying a tensor of any type by a type zero-zero scalar rescales every component of that tensor uniformly, without altering its type, since the scalar carries no indices to interact with the tensor's own index structure. This operation is the simplest way in which a type zero-zero object participates in the broader algebra of tensors, contributing a numerical factor rather than any additional slot structure.