16 Alternating Tensors

Alternating Tensors is the branch of tensor algebra concerned with tensors that reverse sign under every odd permutation of their indices and remain unchanged under every even permutation, forming the natural counterpart, at the opposite extreme of permutation symmetry, to the symmetric tensors developed elsewhere, and supplying the algebraic foundation for determinants, exterior algebra, and the geometry of linear subspaces.

The Defining Property

The Sign-Weighted Permutation Condition

An alternating tensor of order k on a vector space V is a tensor whose components satisfy

for every permutation sigma of the k index positions, exactly the condition studied in full under the Tensor Alternating Tensor Scope. Because a repeated index forces a component to equal its own negative, hence to vanish, alternating tensors carry a built-in vanishing behavior on any repeated index value, a feature with no counterpart among symmetric tensors.

Basic Building Blocks: Wedge Products

The elementary rank-one objects of the theory are wedge products of k linearly independent vectors, denoted v_1 wedge v_2 wedge up to v_k, and detailed under the Tensor Alternating Structure Scope; these vanish whenever the generating vectors are linearly dependent, tying the wedge product directly to genuine linear independence in a way that has no analogue in the pure power forms of symmetric tensor theory.

Order-Two Antisymmetric Tensors

Matrices Satisfying the Skew Condition

At order two, the alternating condition reduces to the ordinary linear-algebraic notion of an antisymmetric (skew-symmetric) matrix, satisfying T equal to the negative of its own transpose, with every diagonal entry forced to vanish; this case, developed in detail under the Tensor Antisymmetric Component Scope, is the smallest structurally rich instance of the theory and the direct counterpart of the symmetric Matrix Case.

The Even-Rank Phenomenon

Every real antisymmetric matrix has even rank and can be brought, by an orthogonal change of basis, to a canonical block-diagonal form built from two-by-two skew blocks; this even-rank behavior, and the absence of any ordinary diagonalization analogous to the spectral theorem, mark a sharp structural departure from the symmetric case.

The Exterior Algebra

Grading and Finite Dimension

Collecting alternating tensors of every order from zero through n, the dimension of V, produces the exterior algebra of V, graded by order and multiplied via the wedge product; unlike the symmetric algebra, which continues indefinitely in degree, the exterior algebra is finite-dimensional overall, vanishing identically past order n, since no more than n vectors can be linearly independent in an n-dimensional space.

Connection to Determinants

The top-order piece of the exterior algebra, at order n, is one-dimensional, and evaluating the wedge product of n vectors against a chosen basis recovers exactly the determinant of the matrix formed by those vectors' coordinates; more generally, the components of a wedge product of k vectors are given by the k-by-k minors of the corresponding coordinate matrix, tying alternating tensor theory directly to classical determinant theory and to the Plücker coordinates used to describe the Grassmannian variety.

Relationship to Symmetric Tensors

A Shared Origin, Divergent Consequences

Both alternating and symmetric tensors arise as fixed-point-like subspaces of the same permutation action on tensor power space, differing only in which one-dimensional representation of the symmetric group defines the relevant invariance condition; the two theories share this common origin but diverge sharply in their consequences, a divergence surveyed systematically under the Tensor Symmetric Alternating Tensor Relation Boundary, covering differences in rank-one objects, dimension formulas, canonical forms, and the underlying geometric varieties (Grassmannian versus Veronese) that parametrize decomposability in each case.

Complementary Pieces of General Tensor Space

At order two specifically, symmetric and antisymmetric tensors are genuinely complementary, together spanning the entire space of order-two tensors, a decomposition used throughout both theories whenever a general, unrestricted tensor must be split into its symmetric and antisymmetric parts for separate analysis.

Applications

Geometry and Multivariable Calculus

Alternating tensors of order two and three underlie the cross product and the classification of area and volume elements in multivariable calculus, and differential forms, built from alternating tensors varying over a manifold, are the language in which integration, orientation, and Stokes' theorem are formulated in differential geometry.

Physics and Determinantal Structures

Antisymmetric tensors of order two appear throughout physics as field strength tensors and angular momentum representations, while the determinantal and minor-based structure of higher-order alternating tensors underlies the Slater determinant construction used to encode antisymmetry requirements for indistinguishable fermionic particles in quantum mechanics.