1.9.1 Tensorial Generalization

Tensorial Generalization is the criterion that determines whether an extended construction, reaching beyond the classical finite-dimensional, field-based setting, genuinely deserves to be called a generalization of tensors rather than merely an unrelated new object that happens to resemble one. It supplies the test applied across every generalization direction, infinite dimensions, general rings, bundles, densities, requiring that the extended construction specialize back to the ordinary tensor when the extra generality is stripped away, and that it preserve the multilinear, index-based structure that makes tensor algebra work.

The Two-Part Test

Specialization to the Classical Case

The first requirement is that, when the generalized setting is restricted to its classical special case, a finite-dimensional vector space over a field, a single fixed base point, an exact rather than weighted transformation law, the generalized construction must reduce exactly to the ordinary tensor construction, with no discrepancy in its formulas or its component behavior.

Preservation of Multilinear and Index Structure

The second requirement is that the generalized construction retain a recognizable multilinear structure, a system of indices or their structural equivalent, and an appropriate compatibility law under whatever notion of change of description, basis, coordinates, or local trivialization exists in the generalized setting.

Applying the Test to Standard Generalizations

Tensor Products of Modules Pass the Test

The tensor product of modules over a general ring specializes exactly to the ordinary tensor product of vector spaces when the ring is taken to be a field, and it retains the defining universal property in full, so it passes both parts of the test and is correctly regarded as a tensorial generalization.

Tensor Densities Pass the Test with a Modified Law

A tensor density of weight zero is by definition an ordinary tensor, so the density construction specializes correctly, and its transformation law, while modified by the extra Jacobian determinant factor, still preserves the underlying multilinear index structure, satisfying the second requirement in a suitably generalized form.

Where the Test Excludes a Would-Be Generalization

Spinors Fail the First Requirement

A spinor does not reduce, under any restriction to a special case, to an object obeying the ordinary tensor transformation law, since its defining transformation involves the double cover of the rotation group and produces a sign change under a full rotation that no tensor of any type exhibits, even in the most classical of settings; consequently spinors fail the specialization test and are correctly treated as a distinct structure rather than as a tensorial generalization.

Arbitrary Structured Arrays Fail the Second Requirement

An indexed array of numbers assigned by a rule that is not multilinear, or that does not transform compatibly under whatever notion of basis change applies, may resemble a tensor superficially, carrying indices and a rank, but fails the second requirement and is excluded from tensorial generalization regardless of how naturally it seems to arise in a given application.

Why Both Parts of the Test Are Necessary

Specialization Alone Is Insufficient

A construction could agree with the ordinary tensor in the classical special case purely by coincidence, without maintaining a coherent multilinear structure once the generalization is engaged, which is why specialization to the classical case by itself is not treated as sufficient evidence of a genuine tensorial generalization.

Structural Preservation Alone Is Insufficient

Conversely, a construction could retain a multilinear, index-carrying structure throughout while failing to reduce correctly to the classical tensor in the special case, indicating that the generalization has silently altered the meaning of the classical construction rather than extending it, which the specialization requirement is designed to catch.

Tensorial Generalization as a Guide for New Constructions

A Checklist for Proposed Extensions

When a new extended notion of tensor is proposed, for a novel algebraic setting or a novel physical application, tensorial generalization provides an explicit checklist: verify that restricting to the classical setting reproduces the ordinary tensor exactly, and verify that the multilinear and index structure survives the extension in a form compatible with whatever change-of-description operation exists in the new setting.

Consistency Across the Generalization Hierarchy

Applying this same two-part test uniformly across every direction of generalization is what keeps the resulting family of extended notions coherent, ensuring that despite their varied settings, they remain recognizably part of one extended family rather than a loose collection of superficially similar but conceptually unrelated constructions.

Diagrammatic Summary

The diagram shows the two-part test at the heart of tensorial generalization: a candidate construction qualifies only when it both specializes correctly to the classical tensor and preserves the multilinear index structure under the generalized notion of change of description.