16.18.5 Tensor Alternating Type Preservation

Tensor Alternating Type Preservation is the guarantee that operations performed on alternating tensors, including linear pullback, wedge multiplication, and scalar combination, always produce results that remain classified as alternating tensors of a well-defined degree, ensuring that the category of alternating tensors is closed under the natural operations available within multilinear algebra. It distinguishes the stability of the alternating classification itself from the separate question of how alternating tensors numerically respond to specific transformations.

What Type Preservation Guarantees

Closure Under Linear Combination

If S and T are both alternating tensors of the same degree k on a vector space V, any linear combination aS + bT, for scalars a and b, remains an alternating tensor of degree k:

confirming that the vanishing-on-repetition property, and by extension the full alternating character, survives ordinary vector space operations within the space of alternating tensors of fixed degree.

Closure Under Wedge Multiplication

If S is alternating of degree p and T is alternating of degree q, their wedge product S ∧ T is alternating of degree p + q, meaning the operation not only produces a well-defined result but a result whose type, degree p + q and alternating, is fully determined and predictable in advance from the types of the inputs.

Degree as Part of the Type

Type Includes Both Alternation and Rank

The notion of type preservation in this context refers jointly to two attributes: whether a tensor is alternating at all, and what degree it carries. An operation is said to preserve type fully only if both attributes are determined consistently; wedge multiplication preserves alternation while additively combining degree, whereas linear combination preserves both alternation and degree unchanged.

Contrast With Degree-Changing Operations

Certain operations intentionally change degree while still preserving the alternating classification, most notably the exterior derivative in differential geometry, which maps alternating k-forms to alternating (k+1)-forms. Type preservation in this broader sense means alternation survives even as degree shifts predictably, distinguishing it from operations that would corrupt alternation entirely, such as an arbitrary nonlinear function applied to tensor components.

What Type Preservation Rules Out

Pullback and Pushforward Cannot Break Alternation

As established through the transformation preservation property, pulling an alternating form back through any linear map, or pushing an alternating tensor forward via the induced exterior power map, cannot produce a non-alternating result. Type preservation packages this guarantee together with closure under algebraic combination into a single assurance that alternating tensors form a coherent, self-contained structural category.

Contraction With Non-Alternating Objects

Care is required when combining an alternating tensor with a non-alternating one, such as contracting an alternating tensor against an arbitrary vector or covector; such operations can produce results that are alternating in one fewer argument, an operation known as interior multiplication, but combining an alternating tensor with an arbitrary, non-antisymmetric tensor through ordinary tensor product generally destroys the alternating type entirely, since the tensor product does not respect antisymmetrization unless explicitly composed with an alternation projection afterward.

Formal Basis for the Guarantee

The Space of Alternating Tensors as a Subspace

Type preservation for linear combinations follows because the set of alternating k-tensors on V forms a linear subspace of the full space of all k-linear functions on V, namely the kernel of the operation that measures failure of antisymmetry. Since subspaces are closed under addition and scalar multiplication by definition, alternation is automatically preserved whenever combinations remain within this subspace.

Universal Property Underlying Wedge Closure

The closure of alternation under the wedge product follows from the universal property defining the exterior algebra: the wedge product is constructed precisely as the unique multiplication compatible with antisymmetrization, so its output is guaranteed by construction to lie within the appropriately graded alternating component of the algebra.

Significance of Type Preservation

Alternating type preservation is the structural guarantee that makes it safe to build extended algebraic constructions, such as the full graded exterior algebra or spaces of differential forms, entirely out of alternating tensors without fear that ordinary operations will silently produce non-alternating results. It underlies the closure of the exterior algebra under its own multiplication, the internal consistency of pullback and pushforward operations, and the reliability of treating alternating tensors as a well-defined, self-contained algebraic category throughout multilinear algebra and differential geometry.