1. A little history and philosophy
Numbers and geometry are two fundamental topics from the beginning of mathematics. Thanks to genius René Descartes, one of the greatest philosophers and mathematicians in the 17th century, who invented coordinate geometry (analytical geometry), a solid bridge was established between numbers and geometry. Points are associated to a set of numbers called coordinates, lines and surfaces are to algebraic equations. It seems that Cartesian coordinate system provides a very powerful tool to handle geometric objects and describe transformations. And indeed the idea of coordinate system has influenced the whole math, including the discovery of differential calculus by Newton and Leibniz regarding derivative (algebraic quantity) as the slope of tangent line (geometric quantity), and the emergence of differential geometry of curves and surfaces (geometric object), which can be described by parameterized smooth mappings (algebraic object).
Unfortunately, one has to admit that a lot of computational complexities result from interlude of numbers, which is really costly. In geometry, we mainly concern three aspects: 1. geometric objects themselves, such as shape, size (length, area, volume), angle etc.; 2. relationships between them like intersection, disjoint; 3. transformations, say stretch and contraction, reflection and rotation, also projection and rejection. We find actually all these aspects are independent with coordinate. What does that mean? That means no matter how coordinate system is chosen, these properties are invariant. In this sense, position and orientation of coordinate system doesn’t matter. Coordinate system being either skew or orthogonal, either scaled or normal, has no effect nothing about what we care. Hence a proper coordinate system is anticipated to facilitate the computation, though it is usually hard to get one or even impossible to have one in most cases.
Persons imbedded in Cartesian philosophy may devote their whole energy to finding methods of choosing a good coordinate system. And certainly, there are ones who do not, expecting to describe geometry without coordinate, or more specifically, coordinate-free geometry. Like Josiah Willard Gibbs, another great scientist making indispensable contributions to mathematical physics in the 19th century, found out multiplication of vectors, say dot product and cross product, has interesting geometric interpretations and formally gave them proper notations, which now is well known as part of vector analysis.
Actually, J.W. Gibbs is not the first to discovery an algebra for coordinate-free geometry. William Rowan Hamilton generalized complex number when he walked around Royal Canal in Dublin, Ireland after several years’ thinking, a shape of quaternion emerged into his mind. Then he could not resist his excitement and immediately carved the famous quaternion formula into the stone of Broom Bridge. Quaternion describes rotations in 3 dimension quite well. Inspired by W.R. Hamilton, many algebras such as bicomplex, hypercomplex, biquaternion have been come up with soon, all are associated distinct geometric pictures.
At almost meantime, Herrmann Günther Grassmann, German mathematician, the inventor of multilinear algebra, suggested exterior product in replace of cross product to achieve (multi)vector multiplications in higher dimension. In Grassmann algebra, a p-dimensional object is denoted as a p-vector, associated with magnitude and direction(orientation). For example, 1-vector is as usual a line segment. 2-vector (or bivector) is an area element, with magnitude as the area and direction as the plane which it lies, instead of normal vector in Gibbs’ vector algebra.
Grassmann algebra (also known as exterior algebra) is good enough to answer a lot of geometric questions since it can describe higher dimensional object. But William Kingdon Clifford, mathematician and philosopher, hoped for a unified algebraic framework incorporating all above number systems. His research on extensive Grassmann algebra led him to geometric algebra, which is part of Clifford algebra focusing more on theoretical, rather than geometric aspect. Clifford algebra then offers many great insights in both mathematics and theoretical physics. But it seems its geometric interpretation was forgot by people. Until late 20th century when David Hestenes rediscovery it, geometric algebra resuscitate to apply in more areas than fundamental physics, including image processing and robotics. D. Hestnes said, “geometry without algebra is dumb, algebra without geometry is blind.”
We will in the following briefly look at geometric algebra, hoping for an interesting journey.
2. Inspiration for geometric algebra
Let’s see what happens if multiply two vectors in . Let be a set of basis for and two vectors , only associative law and distributive law assumed.
To endow the product with geometric meaning, we wish to have . Then the product becomes
It’s readily seen that the product, composing of dot product and cross product, also applies to 2 dimensional case. Readers may find out that we add a non-scalar to a scalar. Does that make any sense? What is the result? Actually we have seen similar scenarios before, say in complex number, in quaternion number, and in quadratic polynomial. The sum here, called formal sum, is just a collector bringing things together. The meaningful part is not the sum itself, instead, each component in the sum. Dot product is usually explained as projection of a vector on the other, but we will see later this is not proper. And cross product can be seen as normal vector of parallelogram with two vectors as sides and its magnitude is the area. However, cross product has no definition for vectors in higher dimension, as which Grassman thought Gibbs’ cross product is flawed. And then he defined anticommutative wedge product, which contributes to
Note we also have
Equipped with wedge product, we can try to compute triple product with . Of course, the product with vector is expected to subsume dot product and wedge product.
The geometric image shows that the sum of any two of the first three terms is perpendicular to the third, and the volume of parallelepiped equals the magnitude of the last term. Similarly, it’s readily to show (show it)
3. Some jargons and formulae
Since now we have a first touch on geometric algebra, it’s time to formally describe it. Yes, we don’t define it in this post because it obscures the visual image. Basically a geometric algebra of dimension , denoted by , or simply is a vector space endowed with an associative bilinear product, called geometric product. The element in is called multivector, composing of scalar, vector, area element, etc. A -vector is a dimensional geometric object, which is linear combination of -blades, written as , that each lies in the same subspace as that of -dimension analogy of parallelepiped with linearly independent vectors as sides. Formally,
Evidently, a multivector can be resolved into different grades,
where takes the degree component of , is scalar, is vector, and for linearly independent vectors . Geometric product with a vector can be explicitly written as
The first part of the product is called inner product and the second part outer product, defined as the following,
Note that we don’t mention basis, hence coordinate of vector, at all, which embody the property of coordinate-free of geometric algebra.
4. Properties of geometric algebra
We will list a collection of properties in geometric algebra. Readers will see that each property is supported by geometric fact which is very intuitive. By convention, we use lower letters to denote vectors and upper letters for blades.
For the limitedness of time, I have to omit the proof and explanation for now. I will make it up in a few days. As we can have seen, inner product with a vector contracts the subspace to one perpendicular to it, while outer product with a vector extends the subspace to one containing it. It is should be emphasized that geometric product can be defined on any two multivectors, which we will discuss it in the following post. Geometric product itself doesn’t have clear geometric insight, yet it collects different geometric facts together.