Тёмный

Why study Lie theory? | Lie groups, algebras, brackets #1 

Mathemaniac
Подписаться 231 тыс.
Просмотров 83 тыс.
50% 1

Next video: • How to rotate in highe...
Lie’s theory of continuous symmetries was originally for differential equations, but turns out to be very useful for physics because symmetries are manifest in many physical systems. This is the start of a series on Lie groups, Lie algebras, and Lie brackets.
Files for download:
Go to www.mathemania... and enter the following password: lievideoseries
Sources:
History of group theory: en.wikipedia.o...
Lie’s theory for differential equations (actually developed further after Lie died):
arxiv.org/pdf/...
www.physics.dr...
www.researchga...
en.wikipedia.o...
Lie theory applications to mathematics: math.stackexch...
Other than commenting on the video, you are very welcome to fill in a Google form linked below, which helps me make better videos by catering for your math levels:
forms.gle/QJ29...
If you want to know more interesting Mathematics, stay tuned for the next video!
SUBSCRIBE and see you in the next video!
If you are wondering how I made all these videos, even though it is stylistically similar to 3Blue1Brown, I don't use his animation engine Manim, but I use PowerPoint, GeoGebra, and (sometimes) Mathematica to produce the videos.
Social media:
Facebook: / mathemaniacyt
Instagram: / _mathemaniac_
Twitter: / mathemaniacyt
Patreon: / mathemaniac (support if you want to and can afford to!)
Merch: mathemaniac.my...
Ko-fi: ko-fi.com/math... [for one-time support]
For my contact email, check my About page on a PC.
See you next time!

Опубликовано:

 

3 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 102   
@mathemaniac
@mathemaniac Год назад
So I decided to make a series on Lie theory! Hopefully wouldn't get too stressed about making another video series - last time I was hoping to see the end series simply because my interests simply waned by the last video in the series. However, because this topic is a little more closely related to what I will do in the future, I am hopefully a lot more interested in it. Anyway, enjoy! P.S. The next video is going to be a little "easy" for some people, but it is to let everyone on the same page, and honestly there will be some further and more specific motivation to study Lie groups in general.
@itzakehrenberg3449
@itzakehrenberg3449 Год назад
I am quite happy that you are doing this & look forward to future videos in the series.
@tissuepaper9962
@tissuepaper9962 Год назад
"too slow" is better than too fast in a RU-vid lecture series, don't worry about making the lectures too easy. Those of us with shorter attention (or more advanced knowledge) have long since learned how to put the video on 2x speed. One of the problems I have had with Michael Penn's videos about Lie theory is that he assumes a lot of domain knowledge that I don't have. I'd much rather have it spelled out in excruciating detail and skip over the parts I already know.
@landynillar
@landynillar 8 месяцев назад
Do you see how all this affect the algebraic language.i think that many mathematicians forgot that mathematics language attributes are primary to numerical attributes.
@davidjohnston4240
@davidjohnston4240 Год назад
I like big brackets, I cannot Lie.
@timbeaton5045
@timbeaton5045 8 месяцев назад
On a completely different note, there was an American author of Science f=Fiction called Leigh Brackett. No relation!
@ayearninghope
@ayearninghope Год назад
“Numbers measure size, groups measure symmetry.” - Mark A. Armstrong I have been self-studying lie groups & algebras recently, this series will be an excellent companion to my pre-existent knowledge of this subject. Cheers & godspeed!
@utof
@utof Год назад
wow, what a quote!!!!
@ayearninghope
@ayearninghope Год назад
@@utof came across it in the text 'Physics from Symmetry', it has some really nice quotations.
@GordonHugenay
@GordonHugenay Год назад
Great! I often encounter Lie theory, and I understand the definitions, but I still don't feel that I have a satisfying intuition. This series might be very helpful!
@gurkiratsingh7tha993
@gurkiratsingh7tha993 Год назад
Noicce content, this guy deserves 1 million likes
@cryptonative
@cryptonative Год назад
Did my part
@agrajyadav2951
@agrajyadav2951 Год назад
100 likes from real maths students > 1 million random yt likes
@benburdick9834
@benburdick9834 Год назад
Excited for this series! Finally, something to demystify what it was I was doing in my classical mechanics course, lol!
@rdbury507
@rdbury507 Год назад
Thanks for this. I've studied Lie algebras, but the textbooks I've read usually just start with axioms for the bracket operator with little or no motivation. No one ever said "it's meant to be like Galois theory." Btw, whenever I hear the phrase "Lie bracket" I think of the sci-fi writer Leigh Brackett. I'm pretty sure they're not connected though.
@mathemaniac
@mathemaniac Год назад
The content is nothing like Galois theory, to be honest. However, that was what prompted Lie to study symmetries, which is something I did not know before researching for this video series!
@LemoUtan
@LemoUtan Год назад
Is Leigh Brackett discreet though?
@Null_Simplex
@Null_Simplex Год назад
I love symmetries (groups) and I love smooth manifolds, yet I’ve never learned Lie groups despite knowing they were important to me. Thanks for this series!
@namannarang2721
@namannarang2721 Год назад
I'm super excited this means a lot since lie groups have always been a a future plan of mine to stufy
@MaxxTosh
@MaxxTosh Год назад
I’m so excited, I’ve been waiting for a good explainer for Like theory!
@loopylare
@loopylare 11 месяцев назад
I very much appreciate this initiative to teach and explain Lie Algebras. I am an engineer and this mathematics is not normally taught, yet it is very useful in my field (e.g. finite rotations, nonlinear manifolds, etc.). I am self taught, but the lack of formal education has made it tricky to master it. It's nice to see your videos on this and start to understand the root of the concepts.
@carloselfrancos7205
@carloselfrancos7205 Год назад
Can't wait for all of those videos !!
@ANONAAAAAAAAA
@ANONAAAAAAAAA Год назад
I'm really looking forward to this series! My current extremely poor understandings of Lie theory are as follows, which I really want to upgrade from. - Dealing with continuous groups means you have to think of infinitely small change of the group elements, just like deriving velocities from positional changes - For studying infinitely small changes of continuous groups, you have to investigate the tangent space spanned on the identity element of the group or the changes form the identity. - You only need to care about changes from the identity because any change can be transformed to the change originated from the identity element just like this: a '+' da = a(e '+' a^-1da) = a(I '+' da') - Plain tangent spaces are actually not enough to capture the noncommutativity of the groups, for which we need special operator on the tangent space called Lie bracket.
@sulfursw9286
@sulfursw9286 Год назад
Oh wow, always wanted to understand this topic! I wish you inspiration and success on this project.
@mathemaniac
@mathemaniac Год назад
Finally decided to make a series on Lie theory! Hopefully I wouldn't be too stressed out about making a video series again - that's one of the problems in my previous ones as I became too impatient in getting to the end of it.
@sekirokratos3755
@sekirokratos3755 Год назад
Can’t wait for the lessons. Keep up the good work, @mathemaniac!
@zhuolovesmath7483
@zhuolovesmath7483 Год назад
Wonderful, wonderful. I haven't taken lie algebras yet. Looking forward to this series!
@Phantores
@Phantores Год назад
I'm excited to see more after actually knowing the initial motivation
@JakubS
@JakubS Год назад
Excited for the series!
@simbarashebepete407
@simbarashebepete407 Год назад
Thanks for providing context. It makes the subject matter more accessible. Looking forward to the video series.
@doubter7761
@doubter7761 Год назад
Cant wait for the next video. Thank you for your work.
@kylebowles9820
@kylebowles9820 Год назад
Dang this is going to be awesome! Looking forward to it
@morphismmap4617
@morphismmap4617 Год назад
Eagerly waiting for this series, hope you could shed some light on its application in control system.
@hansolo9892
@hansolo9892 Год назад
holy smokes I screamed for lie groups but I cried why it was only 4 mins. edit: the series is gonna be wild
@probcsh
@probcsh Год назад
Never really did Lie group in grad school. Thank you for filling this void for me
@YindiOfficial
@YindiOfficial Год назад
AGAIN THANK YOU SO MUCH FOR THIS IM SO EXCITED 😭😭😭
@friendly_hologram9597
@friendly_hologram9597 Год назад
Looking forward to this! I've come across quantum groups in some work I'm doing at the moment, but I haven't ever studied lie groups/algebras in their own right. I'll be teaching myself this topic over the summer so it's a nice coincidence that you're planning on covering it, hopefully it'll help build my intuition :)
@chriskindler10
@chriskindler10 Год назад
this is going to be great. I am looking forward to the spin 1/2 chapter !
@johnchessant3012
@johnchessant3012 Год назад
Looking forward to this!
@cykkm
@cykkm Год назад
Can't wait!!! Hope it's going to be a really deep dive. Lee brackets are used in physics, both GR and QFT, but only as an applied tool, I don't have an intuition for them. Symmetries, of course, all over. I was going to learn this topic for a long time! It's so fortunate that you're starting this series, thank you!!!
@rafaellisboa8493
@rafaellisboa8493 Год назад
YESSSSSS LETSGOOOO LIE SERIES
@GiovannaIwishyou
@GiovannaIwishyou Год назад
Can't wait for this 😊I'm studying Coxeter groups so it would be interesting to find out more about Lie's theory.
@mistertheguy3073
@mistertheguy3073 Год назад
I’m so excited!
@guyarbel2387
@guyarbel2387 Год назад
Thank you, can’t wait
@MarckUrcia07
@MarckUrcia07 Год назад
I'm waiting for the videos.🤩
@maxwibert
@maxwibert Год назад
I'm really excited to follow this series. I turned on my bell!
@1Anket
@1Anket Год назад
You are a great teacher. Would also love to see a video on Fourier transform from you someday in the future
@ReaperUnreal
@ReaperUnreal Год назад
Whelp, I'm excited.
@ominollo
@ominollo Год назад
Great intro! I can’t wait! Thanks 🙏
@nucreation4484
@nucreation4484 Год назад
Really looking forward to this series. Subscribing
@jake-o3843
@jake-o3843 Год назад
damn, i finally find a captivating series on lie theory, want to check out the other videos, only to realize it was uploaded 8 hours ago :(
@mathemaniac
@mathemaniac Год назад
Please be patient :)
@Utesfan100
@Utesfan100 Год назад
I am hoping for some exceptional vidoes in the future. :)
@alexweinberger8925
@alexweinberger8925 Год назад
Very excited 😮
@SilentAdventurer
@SilentAdventurer 6 месяцев назад
It would be interesting to describe linear regression in Lie algebra terms too. I have not seen that happen before.
@TranquilSeaOfMath
@TranquilSeaOfMath Год назад
Nice introduction to the topic.
@richardneifeld7797
@richardneifeld7797 10 месяцев назад
Very informative!
@WarzoneMasters
@WarzoneMasters 8 месяцев назад
amazing job!
@kquat7899
@kquat7899 Год назад
Excellent!
@yash1152
@yash1152 Год назад
2:39 thanks for quotng some, _any_ source other than wikipedia.
@eguineldo
@eguineldo Год назад
For anyone interested in the history of mathematics, Isaak Yaglom has an amazing book about Felix Klein and Sophus Lie.
@Achrononmaster
@Achrononmaster 6 месяцев назад
@3:54 little tip: don't say "quantum spin". There really is no such thing. It's just rotational symmetry but of local structure in spacetime rather than global. Spin groups are classical. Quantum mechanics has nothing to do with spin per se, and quantized spin is not a thing. What is quantized is spacetime topology, which provides us with the local structure. What *_is_* a thing are the commutation relations between the generators, but they are classical too, however in classical mechanics since we can measure to arbitrary accuracy we don't employ them, but we do worry about commutativity when we cannot measure to arbitrary accuracy and so when the commutators do not vanish we get incompatible observables. All the "quantum" is in the entanglement structure (the reason why we cannot measure to arbitrary accuracy), not the spin structure. The spin structure is classical really, fermions are natural in classical GR (if you use the spin connexion, not the metric, or if you prefer, two gauge fields, one for positon gauge and one for rotation gauge), and can be well described in a real Clifford algebra of rotors which also works for QM. Spinors are just scaled rotors. In other words, spinors are not particles per se, they are instructions. But what for? Answer: Instructions for a theory of measurement (how to translate a laboratory frame onto a particle's co-moving frame).
@edbertkwesi4931
@edbertkwesi4931 Год назад
I LIKE DIFFERENTIAL EQUATIONS A LOT LETS GO
@cocoabutter5888
@cocoabutter5888 8 месяцев назад
These videos are incredible! What textbook would you recommend with this?
@AymanFakri-ou8ro
@AymanFakri-ou8ro Год назад
awesome, thanks!
@444haluk
@444haluk Год назад
OH MY GOD, PLEASE DO, I WAS ABOUT TO LEARN THIS 1 YEAR LATER IN UNİVERSİTY, YOURS WİLL BE FAAR BETTER
@narfwhals7843
@narfwhals7843 Год назад
Gaolis... what a guy. French Revolutionary. Arrested and locked up. Revolutionized math while in prison. Rejected by Poisson as incomprehensible. Gets released. Fights pointless duel. Dies at 20... If that is all i learned because of this video I'll count it a success. Looking forward to this series :) You talked about continuous symmetries without mentioning Noether's Theorem? How can you be so brave?!
@JCisHere778
@JCisHere778 Год назад
Lie Groups are quite the rabbit hole to go down :). But I have to disagree with the statement that Lie-Theory applied to differential equations did not catch on... I believe his reduction algorithm for ODEs is implemented in most CAS software and covers most standard methods. (Except for Integration multipliers. Which, however, are closely related)
@darkside3ng
@darkside3ng 9 месяцев назад
Amazing 🎉🎉🎉
@khadijaaithmid5536
@khadijaaithmid5536 10 месяцев назад
Thank you
@watcher8582
@watcher8582 Год назад
I'm not sure if "...still very useful, not necessarily differential equations" is accurate. Especially if you then pull up their use in physical systems, which are for a large part of it part all governed exactly by differential equations. The symmetries of these equations and Lagrangians (be it in classical mechanics or field and particle theory) are how they come into play. Maybe it can be said that they did "not dominate the study of differential equations" (as there are many methods in that field), but in the other direction when Lie groups are applied, then it's exactly because of their relation to differential equations. Even if in the math department the Prof's there will teach these groups in abstract isolation (just how they present group- and manifold theory also).
@mathemaniac
@mathemaniac Год назад
Maybe I should have said the use has gone well beyond DEs. I still stand by "did not dominate the study of DE", though.
@watcher8582
@watcher8582 Год назад
@@mathemaniac I'm just nitpickin'
@Matt-yu8xc
@Matt-yu8xc Год назад
15 links in the description! Nice. How about 16th link. A link to Part 2?
@CristhianDebarros
@CristhianDebarros Год назад
It is good to understand The classes of symmetries, and how they are connected with a pure and simple Lie algebra. I can understand the formal definition of a space of symmetry as a finite Lie-algebra $f_{1}$ in $\{f_{1}, p\}$ since $p= n$ (so p is any integer ) , which acts freely on the functions $f_{1}$ . Then it is $\{f_{1}, p\}= Sym_{\bullet}$ since the associative algebra $f_{1}+ p|_{\varphi}$ limits all finite and simple Lie algebras. Now there exists a $\{f_{1}, p_{k}\} o that only limits to $p_{k}$ , here the Lie-algebras are semisimple in $\Psi{} (r)$ , since the equivalences in $p_{k}$ or their symmetries are only local, for example $p_{k}= R^{n+k}$ which constructs only local symmetric spaces of a Lie semialgebra, in $Sym (p_{k }):= R^{n+k}\times R^{n-1}$ .note that when a Lie-algebra $f_{1}$ is simple throughout $p$ it acts freely on $p$ and arises a concept in algebra and geometry called -Global space or group $G_{2} (X)$ Which proves that $p\in{} 1,2\} in Every semialgebra $p\in{} \{1, 2_{ 0}\} such that the algebra is only associative on $1$ . Here arises an idea from Clliford of the vector-Mukai $v$ that is semi-orthogonal in $v^{+}\to{} M$ here the semi-simple Lie-algebra of $p_{k} is studied on that vector $v$ $.... In general, a symmetry is always a Lie-algebra that is associative,
@g3452sgp
@g3452sgp 5 месяцев назад
This is a sort of interesting!!
@landynillar
@landynillar 8 месяцев назад
In the realm of mathematical exploration, a visionary mathematician named Eli discovers a hidden dimension within Lie algebra-a realm where abstract symmetries take shape. As Eli delves into this uncharted territory, a new kind of geometry begins to emerge, challenging conventional notions. In this geometric landscape shaped by Lie algebra, memorizing intricate structures becomes the key to unlocking its secrets. Eli's mind becomes a repository of complex ideas, where the memorization of Lie group transformations and infinitesimal elements becomes a poetic dance of understanding. As Eli navigates through this geometric tapestry, the traditional notions of points, lines, and surfaces blur into a symphony of interwoven concepts. Memorizing the subtle interplay of Lie algebraic elements transforms Eli into a custodian of an otherworldly geometry, where the language of symmetries dictates the rules. The entasis of this mathematical odyssey lies not only in the intricate memorization of these complex ideas but in the revelation that this new geometry offers a profound glimpse into the nature of the mathematical universe-a journey where memorizing becomes a profound act of communion with the intrinsic beauty of abstract structures.
@landynillar
@landynillar 8 месяцев назад
Well this nonsense tale maybe not so crazy. Lie theory it will have mayor impact in mathematics, at the language level
@PerMortensen
@PerMortensen Год назад
What sort of posting schedule can we expect from this series?
@mathemaniac
@mathemaniac Год назад
Will not ever commit to a posting schedule. That forms a big part of the stress in my previous video series that I do not want to repeat.
@PerMortensen
@PerMortensen Год назад
@@mathemaniac That's fair
@Alan-zf2tt
@Alan-zf2tt Год назад
Rubbing hands with glee!
@user-vo3dc6je2g
@user-vo3dc6je2g Год назад
That's great! Have you charted a tentative timeline for the videos?
@mMaximus56789
@mMaximus56789 Год назад
I'm working rn on optimization on Lie Groups, would be nice to see how to apply functions (specifically non linear) to a group
@陳力歐-d2d
@陳力歐-d2d Год назад
please keep going~
@Michael-cg7yz
@Michael-cg7yz Год назад
oh god the subtitles
@asmithgames5926
@asmithgames5926 Год назад
My hips don't Lie.
@mathemaniac
@mathemaniac Год назад
And I'm starting to feel it's right :)
@hashdankhog8578
@hashdankhog8578 Год назад
Why isn't continuous symmetry used for differential equations
@KevinBalch-dt8ot
@KevinBalch-dt8ot Год назад
Therein LIEs the question!
@george56834
@george56834 Год назад
I thought this video was going to be about something else. Like how to find out if someone is lying or not. Does anyone have a theory about that?
@frankjohnson123
@frankjohnson123 Год назад
I think you will address this with the prereq video, but I'll ask in case. I think Lie theory is more relevant to me than Galois theory, but I was wondering is Galois theory recommended to study first?
@mathemaniac
@mathemaniac Год назад
No, not at all. Galois theory served as a motivation for Lie, but almost no physicist, perhaps except from me, need to know Galois theory, but do need to know Lie theory.
@frankjohnson123
@frankjohnson123 Год назад
@@mathemaniac much appreciated!
@ClabClab
@ClabClab Год назад
commenting for the algorithm
@landynillar
@landynillar 8 месяцев назад
Ok just with the first 3 minutes of listening to this
@bhayasur
@bhayasur Год назад
See you soon, But now I gonna read all about it .
@ucngominh3354
@ucngominh3354 9 месяцев назад
hi
@BoyNextDoor1729
@BoyNextDoor1729 Год назад
first
@Kelvin-ed6ce
@Kelvin-ed6ce Год назад
Lie lied about all these.
Далее
Group Actions: Orbits and Stabilizers
32:00
Просмотров 3,9 тыс.
Joan Solà - Lie theory for the Roboticist
37:17
Просмотров 31 тыс.
Monster Group (John Conway) - Numberphile
15:54
Просмотров 749 тыс.
The Boundary of Computation
12:59
Просмотров 1 млн
Edward Witten explains The String Theory (2000)
23:05
Просмотров 326 тыс.