Eigenvectors of Symmetric Matrices Are Orthogonal

[@MathTheBeautiful]

Go to LEM.MA/LA for videos, exercises, and to ask us questions directly.

[@poornimalakshmi1783]

He sure is proud of his symmetric matrices

[@derrick20]

Man you are a phenomenal professor, you really deeply understand the material. Thanks for the great lecture

[@ethanjensen1564]

This is great. I'm working on research now, and I have used your videos two times now to quickly understand key concepts. Thanks!

[@aishikroychaudhury8656]

Beautiful. Concise yet comprehensive

[@MathTheBeautiful]

Thank you. That's what we aim for

[@wagsman9999]

In college I never had a robust course on Linear Algebra (as an engineering student we played with matrices a little, not much though). This is so disappointing given the power of the subject, it's reach, and mathematical beauty - thank goodness for the internet!

[@tejassharma8569]

This is EXACTLY what I was looking for like for 2 hours

[@edwardhartz1029]

I wish you were my lecturer. My lecturer is great but so are you!

[@axiomof]

Crazy good! Thanks for the content, I find it very educational and well represented.

[@MathTheBeautiful]

Thanks for your feedback - much appreciated.

[@ranveersingh7031]

A very good lecture, but there is a slight mistake. At 4:05 you should multiply with the conjugate transpose of y rather than just transpose, as the eigenvectors of a symmetric matrix can be complex even though the eigenvalues are always real.

[@mohammedal-haddad2652]

What did he say at 2:32 ?

[@MathTheBeautiful]

chagrin

[@mohammedal-haddad2652]

@@MathTheBeautiful Thanks. I never get tired watching this series of lectures.

[@mohammedal-haddad2652]

How can we prove the dimension of the eigenspace equals the multiplicity of the corresponding eigenvalue?

[@dariuszspiewak5624]

Looking for the proof of this property as well...

[@theminertom11551]

I'm not an expert and I'm just getting into advanced linear algebra myself, as I am in my sixties, but I thought that in order for the system to be stable, The characteristic polynomial of the matrix, had to result in negative real eigenvalues or complex eigenvalues with a negative real part, as opposed to positive eigenvalues. Where am I wrong?

[@MathTheBeautiful]

Hi Tom, Very generally speaking (the devil is in the details) the eventual connection will be that if you take a stable system (positive eigenvalues in the second variation of energy) and perform "small oscillations" dynamic analysis, you will end up with a system of differential equations with minus the matrix and therefore minus the eigenvalues.

[@avneeshkhanna]

Kudos for embodying the mantra - never stop learning, no matter the age!

[@nayzarjr3265]

you are so good in linear algebra

[@juniorcyans2988]

Thank you very much! I was looking for how to prove the eigenvectors are orthogonal so hard, and finally I got the answer here!

[@MathTheBeautiful]

Thank you - glad to hear that!

[@joshuaronisjr]

What do you mean by "the eigenvectors can be CHOSEN to be orthogonal if the eigenvalues are the same"? Thanks!

[@MathTheBeautiful]

Hi Joshua, An extreme example would be the identity matrix. Are its eigenvectors orthogonal? Depends on how you choose them, but you can always choose them to be orthogonal.

[@joshuaronisjr]

@@MathTheBeautiful Okay, wait a sec...I think I understand this! Actually, whether I understand it or not depends on your answer to this question: If a symmetric matrix has two eigenvectors that get scaled by the same eigenvalue, then does that matrix have an entire circle of eigenvectors that gets scaled by the same eigenvalue? (Please say yes....) In other words, are the only possible 2 by 2 matrices with 2 eigenvectors with the same eigenvalues diagonal matrices? What about 3 by 3 matrices? How would we get two eigenvectors with the same eigenvalues in that case? Thanks!

[@MathTheBeautiful]

First question: Yes. Second question: Diagonal matrix with 2, 2, and 3 on the diagonal

[@joshuaronisjr]

​@@MathTheBeautiful And I suddenly woke up today and realized why this makes sense. Lol, it's actually much simpler than I thought. Let's say we find two eigenvectors that get scaled by the same eigenvalue. That must also mean (simply by the way vector addition works - say we have two vectors, a and b, and some constant k, then if a + b = c then ka + kb = kc) that every possible linear combination of those two vectors get scaled by the same eigenvalue, but doesn't change directions. In other words, every single possible linear combination of those two vectors is an eigenvector of the matrix. And, since the two original eigenvectors point in different directions, we'll be able to linearly combine them to create an entire circle of same length vectors that get scaled by the same eigenvalue as those two vectors do, and from that circle we'll be able to PICK two eigenvectors that are perpendicular!

[@MathTheBeautiful]

@@joshuaronisjr Correct! That's why it's called an eigenspace.

[@A.Shafei]

The bit in the video we accepted without proof. Is there a proof on this channel for it now? I can't find it

[@aaquibmomin2916]

Thanks a lot sir for this beautiful proof.

[@MathTheBeautiful]

Glad you liked it!

[@mulatemagne3064]

thanks to dr for your lecture

[@NotLegato]

brilliantly simple.

[@bealive011]

Very Good!

[@rishabhgarg9217]

Can i also prove that eigenvectors of Symmetric Matrices Are Orthogonal in the following way ? As we know any symmetric matrix can be decomposed into A= LDL^t and from eigen value decomposition A=XEX^-1 where E is eigen value matrix, so by comparing these 2 equations X=L, D=E and L^t = X^-1 which implies that X^-1 = X^t which is the property of orthogonal matrices. Thus X is Orthogonal matrix . Is this a right way or not ? Thanks in advance.

[@MathTheBeautiful]

Hi Rishabh, Great question! There's a flaw in the argument. If ABC = RST, it doesn't mean that A=R, B=S, and C=T. (Consider I*I*I=A^(-1)*A*I.) Hope this helps! Keep up the great questions! Pavel

[@rishabhgarg9217]

Lemma Really Thanks for your reply and i clearly understand what's the point you are making here and i am agree with that but Prof. Gilbert Strang has done this type of comparison among two matrices in one of his video and the name of the lecture is SVD where he compares A^tA = V(E^tE)V^t with eigen value decomposition. Can you help me how does he is doing that or there is something which i am missing ?

[@rishabhgarg9217]

Lemma This is the link of that video kzbin.info/www/bejne/o3PGfYV9qqZ5i80

[@mohammadayyubkhan8541]

@@rishabhgarg9217 You are wrong. The Prof. Gilbert Strang has not done the comparison rather has obtained the expression from A^tA. regards

[@tonywang7933]

Thank you!!! That's so beautiful

[@MathTheBeautiful]

Thank you for you kind feedback!

[@Hythloday71]

WARNING: Gratuitous use of orthogonal symbol ! !!

[@Hythloday71]

you use cool words that are not "chagrin" to me.

[@MathTheBeautiful]

What the ⟂ are you talking about?

[@aaquibmomin2916]

@@Hythloday71its auto generated word by Google captions not by him.

[@andywang4189]

Thanks 🙏

[@MathTheBeautiful]

Tlad you enjjoyed it!

[@RamithHettiarachchi]

Thank you!!

[@kajalsharma210]

please sir send this question as soonas If A is non singular operator than spectrum ofATA inverse equal to spectrum ofT

[@АлимБухараев]

Thaaaaaank youuuuu!!!!

[@xinchenzou4558]

awesome

[@Cityj0hn]

I've learned fuck all.

[@angamruivah1932]

Wow

[@bucherregaldomi9084]

Man I love Eigenvectors so much

[@thomasjoseph7198]

Bücherregal Domi lf so what is its significance in geometry. it is that wormholes which is door to all 10 dimensions .

[@a.nelprober4971]

Ohhhh baby

[@veo_]

Wow. As someone who is math challenged but is very curious to learn, this lecture is like my WORST NIGHTMARE. Droning on and on about theory which I'm not quite following and then a launch into demonstration which I also, don't quite follow. I feel like I SHOULD be understanding what's covered here, but in reality I'm not and there's no way to ask for help. *MATH* *ANXIETY* *x10000%!* No offence to the lecturer, I'm sure It's my issue as a student, but, YIKES!

[@MathTheBeautiful]

Hi Rob, I know how you feel! Just wanted to let you know that there's absolutely a way to ask for help. I've created an online system to enable people to ask questions. Check out https:/lem.ma/LA1 where you'll find that you can ask a question in every video and every problem. I'm sure you'll love every aspect of the platform and the content. Pavel