Geometric Algebra - Duality and the Cross Product

  Рет қаралды 19,804

Mathoma

Mathoma

Күн бұрын

Пікірлер: 33
@AerysBat
@AerysBat 6 жыл бұрын
At 30 years old and a college math major once upon a time, I've tried to get going with geometric algebra many times. The problem was that the subject was always presented as a bunch of dry triangles thrown around the page following some arbitrary rules. This series has finally got me understanding why we care about this beautiful algebra and how to use it to carry out useful computations. Thank you!
@cristian-bull
@cristian-bull 4 жыл бұрын
It's kinda comforting knowing that not only me, but also a Math major can get lost in the mathematical formalism of information sources. Sometimes I think that Math authors don't write to explain the novice to the topic, but to impress the pairs.
@MrBebopbob
@MrBebopbob 6 жыл бұрын
Awesome series. After studying linear/abstract algebra for a few years, this subject (which I previously had little exposure to) really wraps everything up in a very satisfying way. Thanks for your outstanding efforts. P.S. You should consider doing a series on Lie algebra. Bob
@t3hb3r7
@t3hb3r7 4 жыл бұрын
32:17 was the aha! moment. Now I understand why the definition for the cross product is as such. Thanks for this!
@thomasclark7493
@thomasclark7493 6 жыл бұрын
Thank you. This series is awesome. I've taken liner algebra and vector calculus but I'm far more impressed with geometric algebra. To see a system of math which has such far reaching applications is ridiculous. Why is this not the foundation of math post algebra? I feel like this as a foundation would bring all of these complicated math courses together into analysis. In tensor calculus there is the idea of a covector, a function, which inputs a vector and outputs a scalar proportional to the vector length. I was trying to look for an analog for geometric algebra, and then I found this video. I think that, the dot product of a vector, and the duel of the bi vector might be the operation analog in geometric algebra. Is there any work on something like that? As well, I am really interested to see interpretations of things like jacobians and stokes theorem using geometric calculus. Is there any analog for covariance and contravarience Thank you for making videos on this. What resource do you use to study this?
@miroslavjosipovic5014
@miroslavjosipovic5014 5 жыл бұрын
You are right, unifications are possible and they are far from trivial. For example, all integral theorems we know, including the complex numbers area, become one fundamental theorem. We do not need tensors, just study linear transformations in geometric algebra. You can solve eigenvalue problems with real numbers, introducing the concept of eigenblades. You can formulate the special theory of relativity and quantum mechanics in 3D Euclidean vector space and you do not need complex numbers in quantum mechanics. I suggest to start with the texts of David Hestenes and William Baylis, but also my intro book will be published soon at Springer.
@jdp9994
@jdp9994 Жыл бұрын
Thank you for this serious effort to assist us in familiarity with geometric algebra.
@kpmaynard
@kpmaynard 6 жыл бұрын
Thanks so much for providing us with the keys to GA in your 16 lectures. Some lucky students will have you as their professor!! Your presentations were clear, interesting and always riveting. I consumed these lectures in about three days, they were that appealing. You have cleared up many of the little gaps in my understanding of the various objects and their interactions, I feel more confident now to read the literature. The question in my mind is when will the math and physics curricula be revised to accept GA as the universal language replacing the hodge-podge we currently use. I see so many applications in classical mechanics and even quantum computing (I'm actually planning next to take a stab at a paper by Doran on GA in Qubits). I am truly grateful for your effort in producing these excellent lectures. Thank you, thank you, thank you!!!
@Math_oma
@Math_oma 6 жыл бұрын
+Keith Maynard You're welcome. It's an ongoing series, so hopefully there will be more than 16, so long as I have the energy to produce them.
@NuncNuncNuncNunc
@NuncNuncNuncNunc 4 жыл бұрын
@4:30 is shifting basis vector analogous to swapping rows in a matrix?
@dr1971bz
@dr1971bz 6 жыл бұрын
Thank you for these excellent series of videos as an introduction to GA. Do you have any plans to extend the series perhaps into geometric calculus? Also, how do you create the videos? ie what hardware and software do you use? Again, many thanks.
@angeldude101
@angeldude101 2 жыл бұрын
Geometric algebra does kind of have a cross product in arbitrary dimensions. It doesn't give a vector though. It's the commutator product and it usually takes bivectors and outputs a third bivector. B₁ × B₂ = ½(B₁B₂ - B₂B₁) For the 3D euclidean bivectors, it is exactly the cross product except it isn't lying about the type it operates on. Technically the bivector commutator product only exists in 3D and above since all bivectors in 2D commute with each other, and 1D and 0D don't have any bivectors. Treating bivectors as axes rather than planes (because even if you're using an axis of rotation, it is never a vector) the commutator product gives the axis orthogonal to the two inputs just like the cross product, but it's also just a part of the geometric product that composes reflections, so you're composing the two bireflections into a new rotation which just happens to have an axis orthogonal to the other two rotations. This is true even if the axes don't pass through the origin.
@David-km2ie
@David-km2ie 5 жыл бұрын
This video was exactly what I needed
@gguevaramu
@gguevaramu 3 жыл бұрын
Dear Mathoma. it is true that (I^(-1) = -I), then in minute (1:09:20) I guess you forgot to include the factor (I.) Isn't it?
@miroslavjosipovic5014
@miroslavjosipovic5014 5 жыл бұрын
The first equation at 4:30 is problematic, the cross product stays invariant under space inversion, but the right-hand side changes a sign. For this reason, we should treat this equation as a new definition of the cross product.
@diribigal
@diribigal 5 жыл бұрын
I think you meant 34:00, but yes, it seems like there is an issue/subtlety here. The bivector transforms in the "axial vector" invariant under space inversion, but when we change it to a vector that's lost.
@miroslavjosipovic5014
@miroslavjosipovic5014 5 жыл бұрын
@@diribigal Yes, thank you, it is 34:00. The fact is that a simple product axb cannot be a vector, it behaves badly on space inversion. In addition, we have many quantities in physics that are badly defined, like magnetic field: it is a bivector, not a vector. Then we have a strange situation that a straight wire with current is not mirror symmetric, which means that Maxwell's theory is not mirror symmetric. The fact is, the invalid definition of the cross product caused a lot of problems in mathematics and physics. Geometric algebra is an answer for all such a problems.
@diribigal
@diribigal 5 жыл бұрын
@@miroslavjosipovic5014 Thanks for confirming. Thinking in non-Geometric Algebra terms, the thing in the video would be like (i●(j×k))(u×v). Or in physics, (up to scalars) a weird calculation like "multiply this magnetic flux by this angular momentum/magnetic field".
@omidheidari6711
@omidheidari6711 5 жыл бұрын
Nice videos, thanks. Is there any way to represent surfaces in higher dimension by clifford algbera (a way of parametrizing them)? I am actually looking for the intersection of two constraints with 4 dimensions.
@Zalemones1
@Zalemones1 6 жыл бұрын
On the subject of pseudoscalars commuting with vectors, on the first example in which you proved e1I=Ie1, switching the leftmost e1 three times causes e1I=-Ie1 instead of the e1I=Ie1 that you showed on video. That would imply that 'I' also anticommutes with e1 in particular, and i find that odd at first. Is my line of thought correct or am I missing something?
@Zalemones1
@Zalemones1 6 жыл бұрын
Also thank you for this series of videos! These are amazing, very instructional content, really interesting to watch. Keep it going!
@Math_oma
@Math_oma 6 жыл бұрын
+Zalemones1 But remember that e1 commutes with e1 so that first swap does not introduce a minus sign. A minus sign is picked up in a swap precisely because vectors with differing indices anticommute.
@Zalemones1
@Zalemones1 6 жыл бұрын
Oh I see, it's obvious once you say it haha
@112BALAGE112
@112BALAGE112 6 жыл бұрын
Thank you for this lecture.
@davidhand9721
@davidhand9721 3 жыл бұрын
What happens if you try to rotate by something other than a bivector? E.g. (e1e2e3)v(e3e2e1), is there any meaning to this?
@angeldude101
@angeldude101 2 жыл бұрын
A composition of 3 reflections. In 2D, this could be a glide reflection. In 3D, it could be a point reflection. Exponentiation it doesn't really give a meaning, but you can still use it as a transformation.
@pedroth3
@pedroth3 6 жыл бұрын
What is the relation of the pseudo-scalar and the hodge star operator?
@miroslavjosipovic5014
@miroslavjosipovic5014 5 жыл бұрын
The relation is simple, the unit pseudoscalar we use to define the duality operation, which we sometime denote by the hodge star. Simply, take any element of geometric algebra and multiply it by the inverse of the pseudoscalar.
@ostihpem
@ostihpem 6 жыл бұрын
I wonder if you can give an introduction into mathematical logic one day. You did terribly good in your set theory course for it's an introduction, but quite comprehensive. I am not aware of any decent online math logic course which is very pity, because it's the fundamental of any reasonable thinking.
@Math_oma
@Math_oma 6 жыл бұрын
+ostihpem I might consider it someday - I just got burned out with set theory. But mathematical logic can only take you so far due to its formalisms and if one is interested in good reasoning in general, that would just be logic, not mathematical logic, i.e. how a student of philosophy would (or used to) learn logic.
@ferhattas4794
@ferhattas4794 4 жыл бұрын
This is a interpretation for hodge dual operator in G(3)
@dsfgoppudfgihdsf
@dsfgoppudfgihdsf 3 жыл бұрын
Music is on point.
An Overview of the Operations in Geometric Algebra
40:35
sudgylacmoe
Рет қаралды 33 М.
Chain Game Strong ⛓️
00:21
Anwar Jibawi
Рет қаралды 41 МЛН
Enceinte et en Bazard: Les Chroniques du Nettoyage ! 🚽✨
00:21
Two More French
Рет қаралды 42 МЛН
Quando A Diferença De Altura É Muito Grande 😲😂
00:12
Mari Maria
Рет қаралды 45 МЛН
Visualizing quaternions (4d numbers) with stereographic projection
31:51
2024's Biggest Breakthroughs in Math
15:13
Quanta Magazine
Рет қаралды 456 М.
Why can't you multiply vectors?
51:16
Freya Holmér
Рет қаралды 438 М.
Geometric Algebra Applications - Kepler Problem (Part 1)
26:20
8.01x - Lect 3 - Vectors - Dot Products - Cross Products - 3D Kinematics
49:33
Lectures by Walter Lewin. They will make you ♥ Physics.
Рет қаралды 1,3 МЛН
Is the Future of Linear Algebra.. Random?
35:11
Mutual Information
Рет қаралды 377 М.
GAME2020 0. Steven De Keninck. Dual Quaternions Demystified
48:02
Addendum to A Swift Introduction to Geometric Algebra
23:40
sudgylacmoe
Рет қаралды 81 М.