Cross product

The cross product is a Lie bracket on . Given two vectors expressed in an orthonormal basis with the same orientation as the space

the cross product is given by

or equivalently in index notation and using Einstein summation convention

Proof of Lie bracket

#missing/proof

#state/develop | #lang/en | #SemBr