7.17.4 Tensor Component Antisymmetric Reduction
Tensor Component Antisymmetric Reduction simplifies tensor expressions by eliminating symmetric components, focusing on antisymmetric parts in algebraic structures.
Tensor Component Antisymmetric Reduction is the decrease in the number of independent values needed to describe a tensor's components once a designated pair of indices is known to follow the Tensor Component Antisymmetry Pattern, arising both from the forced vanishing of every component with repeated indices in that pair and from the fact that each remaining off-diagonal component determines its mirrored counterpart up to a change of sign.
Counting Independent Components
Starting Point Without Any Constraint
For a rank-two tensor defined on an n-dimensional space with no symmetry or antisymmetry assumed, the number of independent components equals n multiplied by n, since the two indices vary independently across all n values with no relationship connecting distinct components.
The Reduced Count Under Antisymmetry
Once a pair of indices is confirmed to follow the antisymmetric pattern, two effects combine to reduce this count. First, every diagonal component, where the two indices coincide, is forced to zero and therefore no longer carries independent information. Second, each off-diagonal component determines the value of its mirrored counterpart, since the two are related by a sign change rather than being independent. The resulting count of independent components is:
This is exactly the number of positions in a single off-diagonal triangle of the table of components, since the diagonal contributes nothing and the two triangles are not independent of each other.
Extension to Higher Rank Tensors
When the antisymmetric pattern is imposed on one designated pair of indices within a tensor of higher rank, the reduction applies to that pair while every other index continues to range over its full set of values without restriction. The total number of independent components for the entire tensor is found by multiplying the reduced count associated with the antisymmetric pair by the unrestricted count associated with every other index.
Illustration
The dashed boundary on the right marks the diagonal, which is excluded entirely rather than included as in the symmetric case, leaving only the open triangle strictly above or below it to supply independent components.
Comparison With the Symmetric Case
Fewer Independent Components Than Symmetry Allows
The Tensor Component Antisymmetric Reduction always yields fewer independent components than the corresponding Tensor Component Symmetric Reduction for a tensor of the same rank and dimension, since antisymmetry additionally removes the diagonal entries that symmetry leaves free to vary. The difference between the two counts is exactly n, the number of diagonal positions.
Both Reductions Sum to the Unconstrained Count
The independent components counted under the symmetric reduction and the independent components counted under the antisymmetric reduction sum exactly to the unconstrained count n times n, reflecting the fact that any tensor decomposes uniquely into a symmetric part and an antisymmetric part with no overlap and no remainder between the two.
Persistence Across Coordinate Systems
The reduced count of independent components established by the Tensor Component Antisymmetric Reduction does not change under an admissible coordinate transformation, since the antisymmetric pattern from which it is derived is itself preserved under such transformations. The specific numerical values of the independent components will generally differ from one coordinate system to another, but the count of how many independent values exist remains fixed.
Relationship to Other Tensor Concepts
Tensor Component Antisymmetric Reduction is the quantitative consequence of the Tensor Component Antisymmetry Pattern, playing the same role for antisymmetric tensors that Tensor Component Symmetric Reduction plays for symmetric tensors. Together the two reductions account for the complete distribution of independent information across any tensor once it has been decomposed into its symmetric and antisymmetric parts.