Wedge Product in Coordinates¶

Given a manifold $\text{[math]}$ , the wedge product is a map that constructs higher order forms

The wedge product has the following properties:

$\text{[math]}$ is associative: $\text{[math]}$
$\text{[math]}$ is bilinear in $\text{[math]}$ and $\text{[math]}$ :
$\text{[math]}$ is anticommutative: $\text{[math]}$ , where $\text{[math]}$ is a $\text{[math]}$ -form and $\text{[math]}$ is an $\text{[math]}$ -form.

In the discrete setting we will only be able to preserve some of these continuous properties. Namely, the bilinearity and anticommutativity will be preserved exactly, whereas the associativity will be satisfied only in the limit where the mesh size tends to zero ( $\text{[math]}$ ) and will not be exact.

The wedge product is a an operator that is independent of the metric, i.e. it is a homomorphism under a pull-back:

Consider the 2D case

The 3D case, on the other hand, will be