16.20.2 Tensor Wedge Product Notation

The wedge product notation in tensor algebra represents antisymmetric multilinear operations, essential for differential forms and exterior calculus.

Tensor Wedge Product Notation is the specific symbolic convention centered on the ∧ operator used to denote the antisymmetric multiplication of vectors, covectors, or differential forms, together with the associated rules for writing iterated products, scalar factors, and degree-tracking subscripts that accompany this operator throughout exterior algebra. It is the most visually distinctive piece of alternating tensor notation, immediately signaling to a reader that an expression involves antisymmetric multilinear structure.

The Basic Wedge Symbol

Binary Product Notation

The wedge product of two vectors u and v is written u ∧ v, with the wedge symbol placed directly between the two operands, mirroring the placement of an ordinary multiplication symbol but carrying the additional implication of antisymmetry:

u \land v = - (v \land u)

Iterated Products

For a wedge product of more than two factors, the operator is simply repeated between each pair of adjacent vectors, relying on the associativity of the wedge product to make the omission of parentheses unambiguous:

v_{1} \land v_{2} \land \dots \land v_{k}

Because associativity guarantees (v₁ ∧ v₂) ∧ v₃ equals v₁ ∧ (v₂ ∧ v₃), no grouping symbols are required regardless of how many factors are wedged together.

Notation for Scalars and Degree

Scalar Factor Placement

When a wedge product includes a scalar multiple, the scalar is conventionally written before the wedge expression rather than embedded within it, as in c · (v₁ ∧ v₂ ∧ v₃), reflecting the fact that scalar multiplication commutes freely with the wedge product and is not itself subject to any sign or ordering rule.

Explicit Degree Subscripts

When the degree of a wedge product element needs to be emphasized, particularly in expressions mixing terms of different degrees, a subscript indicating degree may be attached to the whole expression, as in (v₁ ∧ v₂ ∧ v₃)₃, signaling explicitly that this term belongs to the degree-3 homogeneous component of the exterior algebra.

Wedge Product of General Elements

Extending Beyond Simple Elements

For general, not necessarily decomposable, elements α and β of the exterior algebra, the same wedge symbol is used, as in α ∧ β, with the understanding that this operation extends the simple-element wedge product bilinearly across sums of simple wedge terms.

Graded Commutativity Notation

The sign behavior of the wedge product for general homogeneous elements of degree p and q is written using the graded commutativity relation:

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

with the exponent pq made explicit in the notation to distinguish this graded sign rule from the simpler pairwise antisymmetry seen for individual vectors, where p = q = 1 always gives a single sign flip.

Wedge Product in Differential Forms

Coordinate Differential Notation

In differential geometry, the wedge product notation extends to coordinate differentials, written dx¹ ∧ dx² ∧ ... ∧ dxᵏ, directly paralleling the vector wedge product notation but applied to the basis one-forms of the cotangent space, allowing k-forms to be expressed as sums of coefficient functions multiplying such wedge products.

Exterior Derivative Combined With Wedge Notation

The exterior derivative operator d interacts with wedge notation according to a graded Leibniz rule, written using both symbols together:

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

for α a p-form, illustrating how wedge product notation combines fluently with other differential operators in extended expressions.

Significance of the Notation

Wedge product notation is the most immediately recognizable symbolic marker of exterior algebra, providing a consistent operator that scales from simple vector products through general graded elements to coordinate differentials in differential forms. Its associativity permits unambiguous iterated products without parentheses, its graded commutativity rule is written explicitly to track the pq sign exponent, and its combination with the exterior derivative operator forms the notational backbone of differential form calculus throughout geometry and physics.