Introduction to the Grassmann Algebra and Exterior Products
Sadly, Grassmann’s mathematical work was not appreciated during his lifetime. Among other things, he introduced what is now called the Grassmann algebra. It appears that Grassmann did this in part by looking for all possible ways a product structure could be introduced. Although there is strong geometric intuition behind the Grassmann algebra, it is not necessarily straightforward to grasp quickly this intuition from current introductory texts. For example, if the Grassmann algebra is about lengths, areas and volumes of parallelotopes, why can and be added together to form a new vector when in general the length of will not be the sum of the lengths of and ?
In my mind, the key point to keep in mind, and which I have not seen written down elsewhere, is that in the context of Grassmann algebras, lower-dimensional parallelotopes should be considered merely as building blocks for higher-dimensional parallelotopes; some background is required before getting to this point though.
Stepping back, this note endeavours to re-invent the Grassmann algebra in an intuitive way, motivating the operations of addition and multiplication. The point of departure is the desire to measure the relative volume of a -dimensional oriented parallelotope in a vector space of dimension . Let us initially denote an oriented parallelotope by the ordered set of vectors that form the sides of the parallelotope. (See the wiki for a picture of the three-dimensional case.) Here, “oriented” just means that the sides of the parallelotope are ordered. In hindsight, it becomes clear that it is simpler to work with oriented parallelotopes than non-oriented ones; a (multi-)linear theory can be developed for the former. (Perhaps better motivation would come from considering how to define integration on a manifold, but I am endeavouring here to introduce Grassmann algebras without mention of forms from differential geometry.)
Given a metric on , the volume of the parallelotope can be computed by choosing an orthonormal basis for and computing the determinant of the matrix whose columns are the vectors expressed as linear combinations of the basis vectors; put simply, if we assume is and we use the Euclidean inner product then is the matrix whose th column is . Note that negative volumes are permissible, a consequence of working with oriented parallelotopes. For brevity, parallelotopes will mean oriented parallelotopes and volumes will mean signed volumes.
If we don’t have a metric — or, precisely, we want to state results that are true regardless of which metric is being used — we can still make sense of one parallelotope being twice as big as another one, at least in certain situations. For example, the parallelotope is twice as big as because, no matter how we choose the metric, the volume of the former really will be twice that of the latter. A key question to ask is: if and are two parallelotopes, will the ratio of their volumes be independent of the metric chosen?
Since we have limited ourselves to -dimensional parallelotopes in -dimensional space, it turns out that the answer is in the affirmative. A proof can be based on the equality by choosing the matrix to be the change of orthonormal basis induced by a change of metric.
If we decide that two (oriented) parallelotopes are equivalent whenever their (signed) volume is the same regardless of the metric chosen then it turns out that we can form a vector space structure on the set of all -dimensional parallelotopes up to equivalence in a given -dimensional vector space . Note that we are working with a quotient space structure; although we use the notation to represent an element of , different representations may correspond to the same element. (Precisely, we have a projection taking vectors and returning the corresponding element of , where if and only if the signed volume of equals the signed volume of regardless of the metric chosen.) We choose to define scalar multiplication in by . (Note that the could have multiplied any one of the because elements of are only distinguished up to differences in volume.) That is to say, scalar multiplication corresponds to scaling the volume of the parallelotope.
Vector space addition in is worthy of contemplation even if the ultimate definition is straightforward. (From a pedagogical perspective, having a simple mathematical definition does not imply having an intuitive understanding; Grassmann algebras have a simple mathematical definition, but one that belies the ingenuity required by Grassmann to develop them and one that potentially lacks the intuition required to feel comfortable with them.) Thinking first in terms of cubes then in terms of parallelotopes, it is clear geometrically that . In other words, if all but one vector are the same, there is an obvious geometric meaning that can be given to vector space addition in . Perhaps other special cases can be found. Nevertheless, the general rule we wish to follow (if at all possible) is that if then this should be taken to mean that the volume of the parallelotope plus the volume of the parallelotope is equal to the volume of the parallelotope . If this is possible, then one way to achieve it is to define as follows. Arbitrarily choose a basis for . Then we know that there exist constants and such that the volume of is equal to times the volume of , and the volume of equals times the volume of . Then is defined to be . One can check that this indeed works; it endows with a well-defined vector space structure. (Precisely, one must first verify that our definitions are consistent — given , we claim that no matter which parallelotopes , and we used, the same element will be obtained — and then verify that the axioms of a vector space are satisfied.)
After all this effort, one may be disappointed to learn that is one-dimensional. However, that is to be expected; we wanted to represent the (signed) volume of an (oriented) parallelotope and hence is essentially just the set of real numbers with the usual scalar multiplication and vector addition. What we have done though is introduce the notation and mindset to pave the way for generalising this reasoning to parallelotopes of arbitrary dimension in .
Importantly, the following approach will not work, in that it will not re-create the Grassmann algebra. Consider all one-dimensional parallelotopes in , where now . If and are two such parallelotopes then one might be tempted to declare that if and only if the length of is equal to the sum of the lengths of and with respect to all metrics. This would lead to an infinite-dimensional vector space though, since it would only be possible to add two vectors that were linearly dependent.
An algebra (in this context) is a vector space that also has defined on it a rule for multiplying two elements, such that the multiplicative structure is consistent with the vector space structure, e.g., the associative and distributive laws hold. Does multiplication enter the picture in any way when we think of volume? For a start, the area of a rectangle can be calculated by taking the product of the lengths of two adjoining sides. We are thus tempted to introduce a symbol that allows us to construct a higher-dimensional parallelotope from two lower-dimensional ones — namely, — and have some faint hope that this simple concatenation-of-parallelotopes operator behaves in a way expected of a multiplication operator.
Now for the key decision, which I have not seen stated elsewhere yet believe to be the key to understanding Grassmann algebras in a simple way. Because the paragraph before last pointed out that we cannot treat length in a metric-independent way if we wish to stay in finite dimensions, we must use our definition of metric-independent volume to induce a weaker notion of metric-independent length, area and volume on lower-dimensional parallelotopes of the ambient space . Precisely, we declare that is equivalent to if and only if, for all vectors , we have that has the same volume as , where as usual is the dimension of . In particular, lower-dimensional parallelotopes are considered merely as building blocks for -dimensional parallelotopes in -dimensional spaces. Immediate questions to ask are does this work in theory and is it useful in practice. It does work; it leads to the Grassmann algebra. And it has found numerous uses in practice, but that is a different story which will not be told here.
It is now a straightforward journey to the finish line. Let denote what was earlier denoted , and in general, let denote the set of all -dimensional (oriented) parallelotopes up to the aforementioned equivalence relation. Each of these sets can be made into a vector space with vector space operations relating directly to volumes. Precisely, if then the scalar multiple is the parallelotope (unique up to equivalence) such that, for all vectors , the volume of is precisely times the volume of regardless of which metric is used to measure volume. (This implies that the volume of is precisely times the volume of but the converse is not necessarily true.) Vector addition can be defined in a similar way.
It can be shown that is linearly isomorphic to . Indeed, if then because, for any vectors , the volume of the parallelotope will equal the sum of the volumes of and . Conversely, if then one can deduce by strategic choices of that the only possibility is . (Think in terms of determinants of matrices.)
As hinted at before, we expect multiplication to come into play and we expect it to behave nicely with respect to addition because we know, for example, that a rectangle of side lengths and a rectangle of side lengths have total area . In other words, in at least, we expect that . This is indeed the case — for any it is clear that — and here the point is to explain why should behave like multiplication rather than prove rigorously that it does.
When it comes to rigorous proofs, it is time to switch from geometric intuition to mathematical precision. Here, the key step is in recognising that the volume of a -dimensional parallelotope in a -dimensional vector space is a multi-linear function of the constituent vectors . In fact, it is not just any multi-linear map but an alternating one, meaning that if two adjacent vectors are swapped then the volume changes sign. This is the starting point for the modern definition of exterior algebra, also known as the Grassmann algebra.
I intentionally used non-conventional notation because it was important to introduce concepts one by one. First, because the operator introduced above is anti-commutative (it is almost as familiar as ordinary multiplication except that the sign can change, e.g., ) it is common to denote it by the wedge product instead. Furthermore, since is isomorphic to it is customary to omit the square brackets, writing for , writing for , and so forth.
There are some loose ends which I do not tidy up since the aim of this note is to prepare the reader for a standard account of the exterior algebra; perhaps though the last point to clarify is that the Grassmann algebra is the direct sum of the base field plus plus up to . Thus, if two parallelotopes cannot be added geometrically to form a new parallelotope, either because they are of differing dimensions, or roughly speaking because changing metrics would cause them to change in incongruous ways as building blocks, then they are just left written as a sum.
- The exterior algebra of a vector space is a vector space whose elements represent equivalence classes of linear combinations of oriented parallelotopes in .
- If is the dimension of then two -dimensional parallelotopes are equivalent if and only if they have the same -dimensional volume as each other with respect to any and all metrics.
- Multiplying a parallelotope by a scalar just multiplies its volume by the same amount (without changing the subspace in which it lies).
- A higher-dimensional parallelotope is constructed from lower-dimensional ones via the wedge product which, except for possible sign changes, behaves precisely like a multiplication operator (because, roughly speaking, volume is determined by multiplying one-dimensional lengths together).
- Two -dimensional parallelotopes and are equivalent if and only if, when treated as building blocks for constructing parallelotopes and of the same dimension as , the volumes of the resulting parallelotopes and are always the same, regardless of which metric is used and how is chosen.
- The sum of two -dimensional parallelotopes and equals the -dimensional parallelotope if and only if, for all -dimensional parallelotopes , the volume of equals the sum of the volumes of and regardless of which metric is used. (Such a need not exist, in which case the resulting vector space sum is denoted simply by .)
As always, this note may be unnecessarily long because it was written in a linear fashion from start to finish. Hopefully though, the general direction taken has some appeal.