16.12.4 Tensor Wedge Product Anticommutative Rule

The wedge product's anticommutative rule governs how tensor elements swap signs under exchange, defining key properties in differential forms and exterior algebra.

Tensor Wedge Product Anticommutative Rule is the foundational relation u∧v = −v∧u for vectors (degree-1 elements), presented here as the seed rule from which the entire wedge product theory grows, together with the immediate arithmetic consequences that follow before any higher-degree generalization is introduced.

The Rule at Its Most Basic Level

Statement for Two Vectors

For any two vectors u, v ∈ V, the wedge product satisfies:

u \land v = - v \land u

This is the entire content of the rule at the foundational level: no scaling other than −1, no dependence on the choice of u and v, and no exceptions.

Contrast with Ordinary Commutative Multiplication

Ordinary multiplication of numbers satisfies ab = ba; the wedge product's anticommutative rule is a deliberate departure from this familiar behavior, introduced specifically because the geometric quantity being modeled — signed area, oriented span — genuinely does depend on the order in which the two vectors are considered.

Immediate Arithmetic Consequences

Self-Wedge Vanishing

Setting v = u in the rule gives u∧u = −u∧u, and doubling both sides shows 2(u∧u) = 0, forcing u∧u = 0 in any field where 2 is invertible:

u \land u = 0 for every vector u

Wedge of Parallel Vectors

If v = cu for a scalar c, bilinearity combined with the vanishing relation gives u∧(cu) = c(u∧u) = 0; the anticommutative rule, once specialized to parallel vectors, immediately reflects the geometric fact that parallel vectors span no area.

The Rule's Behavior Under Repeated Application

Applying the Rule Twice Restores the Original

Swapping u and v, then swapping back, returns to the original expression with sign (−1)×(−1) = +1:

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

confirming the rule is consistent with itself and does not produce contradictory results under repeated application.

Extending to Three Vectors by Repeated Use

Applying the rule pairwise, the wedge u∧v∧w can be rearranged into any of the six orderings of u, v, w, with the sign in each case determined by counting how many pairwise swaps are needed, seeding the general permutation sign rule that governs arbitrary numbers of factors.

Why the Rule Is Foundational Rather Than Derived

It Cannot Be Proven From Weaker Assumptions

The anticommutative rule is not a consequence of bilinearity alone; a general bilinear product (such as the ordinary tensor product ⊗) is bilinear but not anticommutative. The rule must be independently imposed (or, in the quotient construction, forced by declaring v⊗v to be zero) — it is a genuinely new piece of structural information layered on top of bilinearity, not something bilinearity already implies.

Everything Else Builds on This Rule

Every subsequent development in the wedge product theory — degree addition, the graded sign (−1)^{pq}, the antisymmetrized tensor product formula, the rank ceiling at dimension n — is a generalization or consequence of this single foundational anticommutative rule applied at the simplest possible level: two vectors, degree 1 each.