A Swift Introduction to Geometric Algebra

An animated introduction to geometric algebra, explaining how multivectors generalize complex numbers, quaternions, and cross products.

This video is an introduction to geometric algebra, a severely underrated mathematical language that can be used to describe almost all of physics. This video was made as a presentation for my lab that I work in. While I had the people there foremost in my mind when making this, I realized that this might be useful to the general public, so I also tried to make this useful to others as well. This video was made using manim (github.com/ManimCommunity/manim), a math animation library. Several things in this video were incorrectly simplified. Please watch the video before reading the rest of the description. Before I get into the things that were incorrectly simplified, I need to state a few definitions. The grade of a k-vector is defined to be k. A blade is defined to be the outer product of vectors. A k-blade is a blade of grade k. Some of the terminology between linear algebra and geometric algebra can be confusing, such as the use of the terms vector space and dimension. Because multivectors form their own vector space, but we don't consider all of them to be vectors, some people use the term linear space instead of vector space. While we think of dimension in terms of spatial degrees of freedom, the mathematical definition means that the 3D geometric algebra shown here is actually eight-dimensional. This is part of the reason for the distinction between the terms grade and dimension. The following are the things that I purposefully got wrong to make things simpler: The biggest thing I glossed over is the distinction between blades and vectors. A lot of the ways that I described k-vectors intuitively actually only applied to k-blades, not k-vectors. For example, in four or more dimensions, all 2-blades can be represented as an oriented area, but not all 2-vectors can. I didn't mention this fact for two reasons: first, for a first look, the distinction is not that important. Second, the distinction doesn't even matter until you reach four or more dimensions. In three dimensions, all k-vectors are k-blades. My use of the term basis was not quite right, and I should have used the term "orthonormal basis". I wanted this video to be understood by people who had learned about vectors in a physics class where they don't go into too much detail about the exact definitions a linear algebra class would give you, so I didn't want to use the term orthonormal. I tried to mitigate this somewhat by always using terms like "the basis" and assuming that it was known that I meant the standard orthonormal basis. Hopefully this doesn't cause any confusion. I mentioned that the inner product can get complicated when generalized to generic blades. What I didn't mention is that there is a large amount of disagreement on what this generalization is. I've seen at least five different extensions of the inner product to higher-grade blades. I didn't mention this because it was not pertinent to the discussion. However, even though I did