Geometric Algebra - Rotors and Quaternions

In this video, we will take note of the even subalgebra of G(3), see that it is isomorphic to the quaternions and, in particular, the set of rotors, themselves in the even subalgebra, correspond to the set of unit quaternions. This brings the entire subject of quaternions under the heading of geometric algebra. We will also see that the rotors form a group with the geometric product.

References / Further Reading:

Note:
1. At 22:15, supposing that i is not equal to j.

Music:
J.S. Bach's Concerto for Two Violins in D minor, 1st Mov.

[maxwibert]

I love these geometric algebra videos, such a cool perspective

[pronounjow]

I've been thinking about this stuff over the last couple weeks. This video definitely clears some things up!

[protocol]

I agree quaternions aren't really vectors when used in typical 3D applications but I do usually think of them as vectors when dealing with spacetime: cΔ𝜏=||cΔ𝘵 + 𝘫𝚫𝙭|| and cΔ𝘵=||cΔ𝜏 + 𝘪𝚫𝙭||. Those avoid some silliness with Lorentz factors (𝛾 and 𝛼). I'm using hyperbolic (𝘫²=+1) and complex (𝘪²=-1) notation to simplify things. 𝚫𝙭 can be (Δ𝘹 + Δ𝘺 + Δ𝘻) but often I'm doing 2D spacetime diagram plots so it makes sense to just use vector notation that works just as well for hyperbolic quaternions and regular quaternions. Also, it's faster to multiply them that way than the usual 1ijk notation.

[scottgoodson]

Can you make (a) video(s) about differential forms and/or geometric calculus? These are two approaches to generalize calculus and combine the classical vector calculus theorems into the big Generalized Stokes's Theorem, and a lot of multivariable calculus classes don't cover this.

[raydencreed]

How do we make sense of the fact that the geometric product of two bivectors in 4 spatial dimensions produces a commutative scalar part, an anti-commutative bivector part and a commutative tetravector part?

We can still separate the commutative and anti-commutative parts, but the commutative part will now have a scalar part and a tetravector part. Is this the wedge product of the two bivectors? Is there still any use in considering it if it doesn’t just consist of one grade?

[angeldude]

I think it's kind of cool that Geometric Algebra basically shows that quaternions really were the right choice to generalize the complex numbers into 3D. It just wasn't clear why. It also happens to give an extension into 4+ dimensions, which have some unintuitive properties, like the even subalgebra including the psudoscalar which squares to positive 1 instead of negative 1, and generally not lining up with the usual successor to quaternions, namely the octonions.
Also that we've been visualizing quaternions wrong by thinking of them as 4 dimensional vectors.

[pratosh]

R times R(dagger) was equal to one, wasn't it because W and V were actually assumed to be unit vectors in the previous videos, otherwise R times R(dagger) wouldn't have been equal to one. Yes?

[johnsalkeld]

I like the perspective of Ie_1 = -i, Ie_2=-j Ie_3=-k where I is the RHR unit pseudo scalar this allows the cross product back into view but also means that the defined algebra elements in q mean what we would want that i relates to a bivector not including e_1 etc.

[no]

Is there a closed 3D subalgebra of G3? I would assume not but I’m curious if there is some way to avoid one of the bases or scalar parts.

[aleksanderaksenov]

Can you please make Clifford algebras course?)

[alkalait]

Do rotors generalise to any dimension?
I don't see why they shouldn't, but you never explicitly mention it in your videos, hence my question.

[LeetMath]

rotors make sense because you can multiply by vectors. how do you usually apply a quaternion to a vector?

[Dth]

So for G(2), the even sub-algebra would just be the complex numbers, with the imaginary unit being the pseudoscalar?

[MrGarry]

I could watch your videos forever, but I have homework to do

[AkamiChannel]

I wonder HOW Hamilton came up with the quaternions. Was he aware, in a different way, of some of the stuff in this video?

[BlackEyedGhost]

If you had set i = e3e1, j = e2e3, and k = e1e2, the weird handedness nonsense wouldn't show up in the algebra.

[Mark.S.Hamilton]

What's the name of the classical music piece? Beautiful!