Dot product of vector and bivector
Posted by peeterjoot on August 11, 2009
Scott asked about the following vector bivector product identities
Specifically, he asked why the sign in the second identity is negative, and if this was a typo (i.e. this can be found in my GA notes compilation).
It probably would have been clearer to write
But this an equivalent statement, and not a correction. Let’s see why. The key to this is that while the dot product of vectors is symmetric, the dot product of a vector and other objects (like this bivector) may be antisymmetric.
The fundamental definitions of the generalized dot and wedge products is really based on grade selection. The product of a grade blade with a vector will have grades and components. Writing for the grade part of a multivector , and considering the product of with a vector these grade and grade parts can be labeled the dot and wedge product respectively, and we define
It is also possible to show that symmetric and antisymmetric sums neatly split such a product into its grade and grade parts, and can express the dot and wedge products as
Specifically, for the bivector vector dot product in the original identities we have
To remove some of the abstraction, and avoid the too general relationships above, we can illustrate this by example. Suppose we are working in three dimensional Euclidean space with orthonormal unit vectors , , and . For orthonormal vectors in a Euclidean space we have a unit square, such as . We also have for any perpendicular vectors, such as , and , a change in sign on interchange . Using the fundamental definition of the generalized dot product (5), as opposed to the derived antisymmetric identity of (5), the dot product of a bivector for the plane with , one of the unit vectors in the plane is
Similarly, dotting from the left we have
Observe that the order of the dotting operation is in this case significant. This interchange of sign for the dot product of a vector with a bivector is a general property and even holds in more general metrics (such as the Minkowski space where we have for the square of the basis vectors).