As GA is still in evolution, people around the world hasn’t settled down to a common way of indicating elements and operations. Here are the ones that we believe are the most common and least likely to cause confusion.
| Symbol | Meaning |
|---|---|
| orthonormal basis vectors | |
| vector (bold lowercase letter) | |
| bivector | |
| unit pseudoscalar | |
| inverse of a multivector M (in euclidean space | |
| conjugate (reverse) of a multivector M; it is also indicated with tilde above | |
| dual of a multivector, i.e. its representation in the orthogonal complement | |
| rotor of amplitude | |
| rotor of amplitude | |
| generalized rotation of multivector M by the rotor R |
The dual of a multivector is defined by multiplying it by the pseudoscalar . But “multiplying by ” hides three ambiguities, and for this reason a convention must be fixed:
- On the right or on the left? or . In 3D the pseudoscalar commutes with everything, so and this choice does not change the sign. But in 2D and in even dimensions anticommutes with vectors, so : there, the right/left choice changes the sign. This is the first source of ambiguity.
- I or ? Some authors define the dual as , others as . And depending on the dimension: in 3D , so . Thus those who use and those who use get opposite signs already in 3D. This is the most subtle source of sign, because both conventions are widespread in the literature (Hestenes often uses precisely to stabilize the signs).
- The orientation of II itself. or ? They differ by a sign. And in 4D the ordering versus other permutations comes into play as well.
We fix here, once and for all, our convention, valid throughout the site:
- pseudoscalar in increasing order: (in 3D);
- dual defined as multiplication on the right by : ;
- in 3D, I, hence .
With this convention, the relationship between the outer product and the cross product is:
(1) ![]()