I don't understand wedge product and Grassmann algebra. However, I heard that these concepts are obvious when you understand the geometrical intuition behind them. Can you give this geometrical meaning or name a book where it is explained?
$\begingroup$
$\endgroup$
2
-
5$\begingroup$ For a very concrete approach you could try the first three sections of arxiv.org/abs/0907.5356 (lecture notes from a course at KTH). It begins: "Let us start with an introducton, in terms of modern language, to the ideas of Hermann Günther Grassmann (1809-1877) and William Kingdon Clifford (1845-1879)." $\endgroup$– Dan PetersenCommented May 7, 2010 at 11:41
-
$\begingroup$ right = -left, up = -down. Describe what it means to go in a consistent direction around a plane: (right ^ up) = (up ^left) = (left ^ down) = (down ^ right). Anti-commutative directions result: (right ^ up) = -(up ^ right). The wedge part represents a plane. (xaxis ^ yaxis) is a rotate operator. it's the "i" part of a complex number. It's even more obvious when you use normal multiplication: dot plus wedge. directions square to 1. (up up) = 1. (right right) = 1. (4 right + 3 up)^2 = ((16 + 9) + (12(right up) + 12(up right))) = 25. Because (right ^ up) = (right up)=-(up right). $\endgroup$– RobCommented May 5, 2020 at 7:10
Add a comment
|
14 Answers
$\begingroup$
$\endgroup$
For a brief explanation of the geometric meaning of exterior product, interior product of a k-form and l-vector, Hodge dual etc. see my answer here: When to pick a basis?
The best reference for this stuff is Bourbaki, Algebra, Chapter 3.
answered Apr 22, 2010 at 20:53
$\begingroup$
$\endgroup$
You could consider going back to the source! There is a good English translation of Grassmann's original work, which is all rooted in his geometric intuition for what is now called multilinear algebra and Grassmann algebras. Of course, you'll also have to suffer through a lot of metaphysical and theological mumbo-jumbo to get at the mathematics. But the mathematics is brilliant indeed. I have long thought that his examples were always more convincing to me than any of the modern texts -- although the modern texts have much clearer mathematical definitions! I really wish that modern texts were written with the mathematical clarity and rigor of 'now', but with the detours into motivation and intuition best seen in the classics (i.e. mathematical papers from the early 1700s to the early 1920s).
answered Apr 22, 2010 at 23:22
$\begingroup$
$\endgroup$
I'm going to vote for Guillemin and Pollack's chapter of "Differential Topology".
Basically, a k-form should be something that you can integrate over k-dimensional submanifolds. And it shouldn't matter how you parametrize them. That means that there should be determinants baked in to the definition, since those measure how the volume changes when you change coordinates. The determinant of a matrix negates when you switch two rows, so a k-form should be antisymmetric this same way. That's pretty much it.
answered Apr 27, 2010 at 1:29
$\begingroup$
$\endgroup$
2
I guess Bott-Tu is one book to check out. But probably my all-time favourite is Morita's Geometry of Differential Forms.
Oh, of course there's always John M. Lee's Smooth Manifolds book, which has a lucid and thorough explanation of every single concept he introduces.
-
2$\begingroup$ Morita's a great book and all (handy reference for study of differential forms), but it hardly gives any description of the Grassmann algebra over a vector space, which is what I think the OP was asking about. $\endgroup$ Commented Apr 23, 2010 at 9:11
-
1$\begingroup$ You're right. I guess I assumed the OP was interested in the Grassmann algebra in order to understand differential forms. $\endgroup$– babubbaCommented Apr 23, 2010 at 12:57
$\begingroup$
$\endgroup$
1
The best synopsis, one developed by a real teacher, is from David Hestenes who not coincidentally developed a relatively complete curriculum built around it, and an elegant symbolism. The outer product is simply the multi-dimensional extension of the notion of a directed line segment to include directed planes and directed volume elements. William Clifford incorporated this into the surprisingly straightforward notion of a geometric algebra, something that's been a dream of mathematicians for a very long time. In one of the truly unfortunate events in mathematical history, Clifford died of tuberculosis at the age of 34, derailing his ideas for almost one hundred years, and giving us the bizarre pantheon of often incompatible systems we currently use.
What does geometric algebra have for elements? They are called multi-vectors and they have scalar, vector, bi-vector (a directed plane), and - in general - multi-vector components. What Clifford defined was the product of multi-vectors as the sum of the inner (dot) product and Grassman's outer product. Geometric algebra is built up from this basic operation, and the rules that guide it, the key one being that the outer-product is anti-symmetric: reverse the order of the elements in the outer-product and the sign changes. That one simple rule turns out to be the key to unlocking one of the greatest advances in the history of mathematics and physics, an algebra for manipulating objects in space.
Just as a complex numbers "tag" real and imaginary parts, objects in geometric algebra are "tagged" by the basis elements which are extended to include, not just one dimensional basis elements, but multi-dimensional basis elements as well - those directed planes and volume elements mentioned above. It's an extremely elegant and very seductive extension of linear algebra to obtain an algebra that unifies the hodgepodge of systems currently used including differential geometry, matrix algebra, vector algebra and tensors. I'm not making this up, it really does this.
Geometric algebra also manipulates geometric objects in space without having to resort to coordinates. It provides what computer scientists might call a "wrapper" for complex numbers, vectors, rotors, spinors, and the physical concepts derived from those objects. In the initial paper I read, the third page was devoted to showing, almost off-handedly, that geometric algebra has an almost trivial isomorphism that is in every way equivalent to the complex numbers. But there's more. Difficult concepts in physics emerge naturally, almost casually, through the manipulation of geometric space using the algebra. It's greatest benefit may be this: It allows "specialists" to actually talk to each other. Who woulda thunk it!
Here are some links: Hestenes, D. - A Unified Language for Mathematics and Physics Gull, S; Lasenby, A; Doran, C - Imaginary Numbers Are Not Real - The Geometric Algebra of Spacetime Hestenes, D - Reforming the Mathematical Language of Physics Lasenby, J; Lasenby A; Doran, C - A Unified Language for Physics and Engineering in the 21st Century
It can't be emphasized too strongly that geometric algebra is not just another technique. It is, instead, an all encompassing framework.
The best mathematical introduction I've found, to date, is from Alan Macdonald of Luther College in Iowa. His freely available paper, A Survey of Geometric Algebra and Geometric Calculus, is exceptional, but you have to be prepared to spend time with it. It is rigorous and comprehensive, and every page is a new adventure as you learn the operations of geometric algebra.
Macdonald also has a recently (2009) published book, the first undergraduate text to cover both linear algebra and geometric algebra.
-
3$\begingroup$ Thanks for those references, some of which are now gathered at geometry.mrao.cam.ac.uk (I'm not fully convinced of the advantage of the geometric/Clifford algebra over just Grassmann's exterior algebra, and I think Hestene the physicist, in trying to promote it, has been "overselling" it. Or it was just mathematicians are reluctant to accept a new language unless it gives new results or significantly simplifies or distills existing mathematics.) $\endgroup$– liuyaoCommented May 1, 2018 at 3:57
$\begingroup$
$\endgroup$
Most books just introduce the formalism of exterior algebra and dive directly into differential forms, without really explaining the geometric interpretation of just the exterior algebra of a vector space. My recollection is that the book by Harold Edwards,
http://www.amazon.com/Advanced-Calculus-Differential-Forms-Approach/dp/0817637079
explains everything very nicely.
answered Apr 22, 2010 at 23:48
$\begingroup$
$\endgroup$
I can recommend reading the book "Geometric Algebra For Computer Science, An Object Oriented Approach to Geometry". It covers not only covers the geometrical meaning of Grassmann Algebra, but even better, Clifford Algebra.
About your question:
"To extend the representational capabilities of linear algebra, Chapter 2: Spanning Oriented Subspaces introduces the outer product. The outer product of two vectors is algebraically a 2-blade. In its most simple geometric interpretation such a 2-blade represents the 2-dimensional subspace through the origin, spanned by the vectors, as shown in Figure 2.3 (left). An outer product of three vectors is a 3-blade, see Figure 2.3 (right). A 3-blade represents the volume spanned by the three vectors. Such extended geometrical entities are now basic elements of algebraic computation. We use the blades of a geometric algebra to algebraically represent all geometrical primitives. The scalars in a vector space are represented as 0-blades, the vectors by 1-blades, and the oriented area elements are 2-blades. In Part II, we will give enriched interpretations to these blades. For example, in the homogeneous model 2-blades are used to represent lines and 3-blades represent planes; in the conformal model 3-blades represent circles, and so on."
$\begingroup$
$\endgroup$
1
You could look at
http://sites.google.com/site/grassmannalgebra
There is a free pdf book draft which discusses Grassmann algebra from a geometric point of view, and without too much mathematical terminology.
$\begingroup$
$\endgroup$
The key ingredient, in my mind, is to realise that the Grassmann algebra of a $d$-dimensional vector space $V$ is concerned primarily with $d$-dimensional volumes of parallelotopes and that lower-dimensional parallelotopes are merely building blocks for $d$-dimensional parallelotopes. This is explained at length here: http://jmanton.wordpress.com/2012/09/03/introduction-to-the-grassmann-algebra-and-exterior-products/
All volumes are relative volumes. We act as if we do not know what the underlying metric on $V$ is and we only want to make statements such as "this parallelotope is twice as big as that parallelotope" if it is true with respect to all metrics, not just a single metric.
Since the volume of a $d$-dimensional cube equals the $d$-fold product of its side length, it is not unreasonable to hope that the (signed) volume of an (oriented) parallelotope is some sort of product of its side lengths. In fact, the axioms of a "product" of two things essentially agree with the axioms of a bilinear function, and the volume of a parallelotope is indeed given by a multi-linear function of its sides, leading to the standard definition of the exterior algebra in terms of (alternating) multi-linear maps. Regardless, thinking of volume as a product of lengths gives some intuition as to why the wedge product is used to define parallelotopes.
The notation $v_1 \wedge \cdots \wedge v_i$ should be understood to refer to the parallelotope made from the vectors $v_1,\cdots,v_i \in V$. If $i < d = \dim V$ then the "volume" of the parallelotope $v_1 \wedge \cdots \wedge v_i$ is always zero; keep in mind the key point that the Grassmann algebra on $V$ is a priori concerned with $d$-dimensional volume. Lower-dimensional parallelotopes are merely building blocks for top-dimensional parallelotopes. For example, we say $v_1 \wedge \cdots \wedge v_i = w_1 \wedge \cdots \wedge w_i$ if and only if, for all $u_1,\cdots,u_{d-i}$, it is true that $v_1 \wedge \cdots \wedge v_i \wedge u_1 \wedge \cdots \wedge u_{d-i} = w_1 \wedge \cdots \wedge w_i \wedge u_1 \wedge \cdots \wedge u_{d-i}$ where the latter means the (signed) volumes of the two $d$-dimensional parallelotopes are equal (with respect to every possible metric).
The classical results now follow from this. For example, $v_1 \wedge \cdots \wedge v_i = \lambda w_1 \wedge \cdots \wedge w_i$ for some $\lambda$ if and only if, either both sides are zero because they are degenerate parallelotopes, or $\operatorname{span}\{v_1,\cdots,v_i\} = \operatorname{span}\{w_1,\cdots,w_i\}$. It is a posteriori acceptable to interpret $v_1 \wedge \cdots \wedge v_i = \lambda w_1 \wedge \cdots \wedge w_i$ as meaning the $i$-dimensional volume of the parallelotope $v_1 \wedge \cdots \wedge v_i$ is $\lambda$ times the $i$-dimensional volume of the parallelotope $w_1 \wedge \cdots \wedge w_i$, but the underlying reason is that they behave the same way when used as building blocks.
The importance of thinking in terms of top-dimensional parallelotopes is that it is otherwise difficult to explain why $v_3 = v_1 + v_2$ does not imply that the length of $v_1$ plus the length of $v_2$ equals the length of $v_3$. In the Grassmann algebra, vectors and lower-dimensional parallelotopes do not have an independent life of their own but are primarily building blocks for top-dimensional parallelotopes. Vector addition in a Grassmann algebra relates to addition of top-dimensional volume, not to lower-dimensional volumes.
$\begingroup$
$\endgroup$
from http://arxiv.org/abs/0907.5356:
https://en.wikipedia.org/wiki/Geometric_algebra has some more pictures.
$\begingroup$
$\endgroup$
I think a good introductory book is Federer's book "Geometric measure theory", I remember the first chapter is on Grassmann algebra. Another more accessible book is "The Road to Reality" by Roger Penrose, you can check the chapter on Grassmann algebra and Clifford algebra.
$\begingroup$
$\endgroup$
Even though finished in part. The book by John Browne Grassmann Algebra Volume 1: Foundations: Exploring extended vector algebra with Mathematica gives a very good geometric intuition of Grassmann algebra and its axiom definition.
$\begingroup$
$\endgroup$
My favorite geometric feature of the Grassmann algebra I encountered in Pressley & Segal's "Loop groups": algebra of sections of the top exterior power line bundle of the tautological vector bundle over the Grassmanian. Sounds a bit tautological I admit :D
$\begingroup$
$\endgroup$
I am surprised no one has mentioned yet Sergei Winitzki's "Linear Algebra via Exterior Products". It does exactly what the OP asks (and much more, incl. Hodge star). IMHO, it is an excellent second course in Linear Algebra and a good preparation for Differential Geometry.
