Copyright © 2003 jsd
Suppose we want to paint a parallelogram. How much paint do we need? Let’s see how to express the answer in terms of Clifford algebra (aka geometric algebra).
This document is also available in PDF format. You may find this advantageous if your browser has trouble displaying standard HTML math symbols.
For an introduction to Clifford algebra, and its application to geometry and physics, see reference 1, reference 2, reference 3, and reference 4.
The edges of the parallelogram are the vectors A and B. We’re pretty sure
In geometric algebra, we are told that the wedge product A∧B represents area. But it’s not directly the answer to the paint problem. In particular
The answer is that we should be asking about the norm of A∧B, written ||A∧B||.
We shall show that
|area = ||A∧B|| = ||A|| ||B|| |sin(θ)| (1)|
where θ is the angle between the vectors. This is the correct answer to the paint problem. Let’s see where this result comes from.
For any multivector M, the square of the norm is given by
|||M||2 := M M∼ (2)|
where M∼ is the reverse of M, formed by writing the vectors that make up M in reverse order. In particular
|(A∧B)∼ = (B∧A) (3)|
And for a simple (grade=1) vector
Assuming we are dealing with spacelike vectors, we can write
|A = ||A|| a′ (5)|
where a′ is a unit vector in the direction of A.
We can write some other vector B as
|B = ||B|| (a′ cos(θ) + a" sin(θ)) (6)|
where a" is some unit vector perpendicular to A. Then just take these expressions for A and B, plug them into the definition of ||A∧B|| and turn the crank. We find
where the cosine terms have vanished because a′∧a′ = 0.
We next use the fact that the wedge product (a′∧a") is equal to the geometric product (a′a") since the two factors are orthogonal; see equation 17. This is helpful because the geometric product of geometric products is simpler than the geometric product of wedge products. In this case (a′∧a")(a"∧a′) = a′a"a"a′ = 1 and the result follows immediately:
|area = ||A∧B|| = ||A|| ||B|| |sin(θ)| (8)|
A more general way of taking the geometric product of two wedge products is to expand both wedge products in terms of geometric products according to equation 16, and then multiplying everything term-by-term. In this case it comes to the same thing, because
where we have used the anticommutation relation equation 14. (Sooner or later we have to exploit the fact that a′ and a" are perpendicular.)
This is a good homework exercise for building confidence in the formalism.
Let’s proceed to an even more interesting problem.
Suppose we have a parallelepiped with edges A, B and C, and we want to calculate the volume.
The old-fashioned way to do this would be to use the "triple scalar product" A·B×C. But cross products are bad news, and we would be much better off using the geometric algebra formulation. The desired expression is
|volume = ||A∧B∧C|| (10)|
Note that even though we have been using the wedge product to get rid of cross products, it is not a one-for-one replacement. You cannot blindly replace A·B×C by A·B∧C. The triple scalar product is properly written ||A∧B∧C|| with two wedge products and no dot products. This has a nice geometric interpretation: A∧B is visualized as sweeping A in the direction of B, using it as a brush to sweep out the area A∧B. Similarly A∧B∧C is visualized as sweeping the area A∧B in the direction of C, using it to sweep out the volume A∧B∧C.
We can verify that the magnitude of the volume behaves as advertised, using the same procedure as before:
where ab′ is any unit vector in the AB plane, and ab" is a unit vector perpendicular to the AB plane. The result is:
|||A∧B∧C|| = ||A|| ||B|| ||C|| |sin(θ)| |sin(φ)| (12)|
which makes sense.
We have obtained these results without establishing any basis vectors and without expanding A, B, and C in terms of components. (That’s a sign that we’re doing something right.) All you need are the basic axiomatic properties
|A B = B A if A and B are colinear (13)|
|A B = − B A if A and B are perpendicular (14)|
|A· B = (A B + B A)/2 (15)|
|A∧B = (A B − B A)/2 (16)|
|A B = A·B + A∧B (17)|
everywhere assuming A and B are plain old grade=1 vectors.
By the way, even the slightly-arbitrary expansion in terms of sine and cosine can be dispensed with, if we have an axiomatic definition of what "rotation" means, but that’s a more-advanced topic. See reference 5.
Copyright © 2003 jsd