16.2.6 Tensor Alternating Notation Area

Tensor Alternating Notation Area explores alternating tensors, their properties, and applications in multilinear algebra and differential geometry.

Tensor Alternating Notation Area is the collection of symbolic conventions used to write, manipulate, and reason about alternating tensors — tensors whose value changes sign under the transposition of any two arguments. This area fixes how antisymmetrization is denoted, how indices are arranged, and how the algebraic operations of exterior algebra are expressed so that alternating behavior is visible directly from the symbol rather than having to be re-derived from first principles each time.

Purpose of a Dedicated Notation

Why Alternating Tensors Need Special Symbols

An alternating tensor of rank k is fully determined by its action on ordered tuples of vectors, but its defining property — antisymmetry under index swaps — is easy to lose track of in raw multilinear notation. A dedicated notational area exists so that:

Sign changes under permutation are encoded structurally, not left to be checked case by case.
Index bracket conventions instantly distinguish alternating tensors from general tensors.
Compound operations such as the wedge product remain closed within the same notational system.

Relationship to General Tensor Notation

Alternating notation is a restriction and specialization of general tensor index notation. Every alternating tensor is a tensor, but not every tensor is alternating; the notation area exists precisely at the boundary where general multi-index tensor symbols must be replaced by symbols that carry an explicit antisymmetry marker.

Index Bracket Conventions

Square Bracket Antisymmetrization

The primary device of this notation area is the square bracket around a group of indices, denoting antisymmetrization over those indices:

T_{[i_{1} i_{2} \dots i_{k}]} = \frac{1}{k!} \sum_{σ \in S_{k}} sgn (σ) T_{i_{σ (1)} \dots i_{σ (k)}}

Here sgn(σ) is the signature of the permutation σ, equal to +1 for even permutations and −1 for odd ones. The square bracket is reserved exclusively for this operation, so any expression containing it is immediately recognizable as alternating.

Round versus Square Brackets

By contrast, round (parenthesis-style) index brackets are reserved for symmetrization:

T_{(i_{1} i_{2})} = \frac{1}{2} (T_{i_{1} i_{2}} + T_{i_{2} i_{1}})

Keeping these two bracket styles visually distinct is a core convention of the notation area: it allows mixed expressions, where some index groups are symmetrized and others antisymmetrized, to be read unambiguously.

Partial Antisymmetrization and Excluded Indices

When only a subset of indices participates in antisymmetrization while others are held fixed, vertical bars isolate the excluded indices from the bracket:

T_{[i | j | k]}

denotes antisymmetrization over i and k only, with j left untouched by the sign-permutation rule.

The Wedge Product Symbol

Definition and Placement

The wedge symbol ∧ denotes the antisymmetrized tensor product of two alternating tensors and is the second pillar of this notational area:

(α \land β) (v_{1}, \dots, v_{p + q}) = \frac{(p + q)!}{p! q!} α_{[i 1 \dots ip]} β_{[ip+1 \dots ip+q]}

where α has degree p and β has degree q. The notation area treats ∧ strictly as shorthand for the bracket-antisymmetrization operation applied to an ordinary tensor product, never as an independent primitive symbol.

Graded Anticommutativity in Symbol Form

The defining sign rule is written directly at the symbol level:

α \land β = (- 1)^{p q} β \land α

so that swapping the operands of ∧ is notationally equivalent to multiplying by (−1)^{pq}, matching the antisymmetry already encoded in square-bracket notation.

Levi-Civita Symbol as Notational Anchor

Fully Antisymmetric Reference Symbol

The Levi-Civita symbol ε_{i1...in} anchors the notation area as the canonical fully alternating object of top degree in an n-dimensional space:

ε_{i_{1} \dots i_{n}} = {\begin{matrix} + 1 & even permutation of 1...n \\ - 1 & odd permutation of 1...n \\ 0 & repeated index \end{matrix}

Use as a Conversion Device

Within the notation area, ε is the standard bridge between bracket notation and explicit component sums, since any square-bracket antisymmetrization of n indices in n-dimensional space can be rewritten as a scalar multiple of ε contracted with the tensor's components.

Diagrammatic Convention

Visual Marker for Alternating Slots

Some presentations of this notation area supplement symbolic brackets with a diagram marking which tensor slots are linked by antisymmetry, useful when many indices are involved and the bracket alone becomes visually dense.

The brace links the slots that are exchanged under permutation, reinforcing the same information already carried by the square-bracket symbol.

Consistency Rules Governing the Area

Closure Under Composition

Any expression built entirely from bracket-antisymmetrized tensors, the wedge product, and the Levi-Civita symbol remains inside the notational area — no operation defined here produces a symbol that falls outside alternating notation.

No Mixing Without Explicit Marking

If a genuinely non-alternating tensor must appear in the same expression as alternating ones, this notation area requires it to carry no bracket at all, so that the presence or absence of [ ] always reflects the true symmetry type of each factor.

Degree Bookkeeping

Every symbol in this area carries an implicit degree (the number of indices inside its bracket, or the sum p + q after a wedge product), and the notation area's rules guarantee this degree is preserved and computable directly from the symbol without consulting the underlying definition.