7.16.1 Tensor Component Symmetric Index Pair

Tensor Component Symmetric Index Pair is a designated pair of indices belonging to a tensor's components for which the Tensor Component Symmetric Equality Rule holds, meaning that exchanging the two indices in that pair leaves the value of the component unchanged for every choice of the remaining indices. Identifying such a pair singles out the specific location within a tensor's index structure where symmetric behavior occurs, as distinct from other index positions where no such relationship may hold.

Identifying a Symmetric Index Pair

Selecting Two Indices From the Full Set

A tensor of rank higher than one carries several indices, and a symmetric index pair is any two of those indices, of the same variance type, that are singled out for the purpose of testing whether exchanging them preserves the component's value. For a rank-four tensor with components T subscript i j k l, the pair formed by i and j is a candidate symmetric index pair, as is the pair formed by k and l, or any other pairing among indices of matching type.

Verifying the Equality Condition

A candidate pair qualifies as a genuine Tensor Component Symmetric Index Pair once it is confirmed that:

holds for every value of i, j, k, and l, with the remaining indices k and l held fixed in position throughout the exchange.

Constraints on the Pair

Matching Variance Type

An index pair can only be tested for symmetric behavior if both indices share the same variance type, meaning both are contravariant or both are covariant. A contravariant index and a covariant index are not exchanged with one another when checking for a symmetric index pair, since they represent fundamentally different roles in the tensor and are not interchangeable positions.

Fixed Position of Other Indices

When a symmetric index pair is identified within a tensor of rank higher than two, every other index retains its original position and value throughout the exchange. The symmetry statement applies strictly to the two selected indices, and it makes no claim about what happens if a different pair, or a different combination of indices, were exchanged instead.

Illustration

The boxed portion of the index list marks the two indices that form the symmetric index pair, while the remaining indices lie outside the marked region and are unaffected by the exchange being tested.

Consequences of Marking a Symmetric Index Pair

Component Count Reduction Restricted to That Pair

Only the pair of indices identified as symmetric contributes to a reduction in the number of independent components, and it does so only along that pair. The remaining indices continue to range over all their possible values independently, so the overall reduction in independent components applies specifically to the dimension spanned by the marked pair rather than to the tensor's full index set.

Multiple Symmetric Index Pairs

A tensor of sufficiently high rank may have more than one symmetric index pair identified within it, either overlapping in shared indices or entirely disjoint from one another. When multiple disjoint symmetric index pairs are present, each pair independently reduces the number of independent components along its own pair of positions, and the total reduction is obtained by combining the effect of every marked pair.

Persistence Under Coordinate Change

A symmetric index pair, once identified, remains valid as such under any admissible coordinate transformation, since the transformation law treats the two indices in the pair identically and therefore cannot introduce a difference between them that was not already present. This persistence is a specific instance of Tensor Component Object Preservation applied to the relationship between the two marked indices.

Relationship to Other Tensor Concepts

Tensor Component Symmetric Index Pair provides the precise location at which the Tensor Component Symmetric Equality Rule is applied, and it is one of the building blocks used to describe the overall Tensor Component Symmetry Pattern of a tensor. Distinguishing a symmetric index pair from an antisymmetric or unrelated index pair is a necessary step in fully classifying the symmetry structure of any tensor with more than one index of matching variance type.