15.3 Tensor Symmetric Tensor Structure

Tensor Symmetric Tensor Structure is the overall architecture of properties, conditions, and internal relationships that together characterize what it means for a tensor to be symmetric. It brings together the component-level invariance under slot permutation, the function-level invariance under argument exchange, and the equation-level constraints that these invariances impose, showing how each of these descriptions expresses the same underlying structural fact from a different angle.

The Three Faces of Symmetric Structure

Component-Level Description

At the level of components, symmetric tensor structure appears as slot permutation invariance: the requirement that a tensor's components remain identical no matter how the index labels occupying its slots are rearranged. Formally, for a rank-( r ) tensor ( T ) and every permutation ( \sigma ) in the symmetric group ( S_r ):

Function-Level Description

At the level of the tensor viewed as a multilinear map, the same structure appears as argument exchange behavior: swapping any two vector arguments supplied to the tensor leaves its scalar output unchanged. This is the coordinate-free restatement of the component-level condition, applying identically whether or not a basis has been chosen.

Equation-Level Description

At the level of explicit bookkeeping, the same structure appears as a family of component constraint signals: individual linear equations, such as

for rank 2, that force otherwise distinct-looking components to share a single value, and whose accumulated effect is precisely what collapses the general tensor space down to the symmetric subspace.

How the Three Faces Interlock

Equivalence of the Descriptions

These three descriptions are not independent alternatives but restatements of one another: slot permutation invariance evaluated on basis vectors produces exactly the constraint signal equations, and the constraint signal equations are what must hold in order for the corresponding multilinear function to exhibit argument exchange behavior. None of the three descriptions can hold without the other two holding as well.

Diagram of the Interlocking Structure

Consequences for the Space of Symmetric Tensors

Reduced Dimension

Because every one of the three equivalent descriptions eliminates the same redundant degrees of freedom, the space of tensors satisfying symmetric tensor structure has a strictly smaller dimension than the full tensor power whenever the rank is at least 2 and the underlying dimension is at least 2. This reduced dimension is measured precisely by the symmetric rank area formula:

Notation Built to Respect the Structure

Because symmetric structure guarantees this collapse, the notation used to write such tensors is built directly on top of it: symmetrization brackets, multi-index labels, and compressed schemes such as Voigt notation are all designed so that exactly one symbol exists per equivalence class produced by the structure, with no omission and no duplication.

Position Within Tensor Algebra

Contrast with General Tensors

A general tensor of rank ( r ) satisfies none of these conditions by default; symmetric tensor structure is an additional property imposed on top of the general tensor definition, singling out the subspace where all three equivalent descriptions hold simultaneously.

Foundation for Symmetric Tensor Operations

Symmetric tensor structure is the property that every operation, notation, and construction associated with symmetric tensors ultimately relies upon: without slot permutation invariance, argument exchange behavior, and the resulting constraint signals holding together, an object cannot be classified as belonging to the family of symmetric tensors at all.