Mathematics · Glossary

What is wedgegeneral?

Definition 21.5 University Mathematics — Year 3 · Chapter 21 — Differential Forms and Stokes’ Theorem

The exterior product extends to a bilinear map ΛkE×ΛEΛk+E\Lambda^kE^* \times \Lambda^\ell E^* \to \Lambda^{k+\ell}E^*, determined by bilinearity and (eI)(eJ)=eIeJ(e_I^*) \wedge (e_J^*) = e_I^* \wedge e_J^* (concatenate and reorder; the product is 00 if IJI \cap J \neq \varnothing). It is associative, and graded-anticommutative:

βα=(1)kαβ(αΛk, βΛ).\beta \wedge \alpha = (-1)^{k\ell}\,\alpha \wedge \beta \qquad (\alpha \in \Lambda^k, \ \beta \in \Lambda^\ell).
Read in context →