Number of eigenvectors for Hermitian matrices

Click For Summary

Discussion Overview

The discussion revolves around the properties of Hermitian matrices, specifically the claim that a Hermitian matrix of dimensionality ##n## has ##n## independent eigenvectors and eigenvalues. Participants explore the mathematical foundations of this theorem, including the associated polynomial and its roots, while attempting to prove the statement for all dimensions.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant seeks to prove that the determinant of a Hermitian matrix can be factored into distinct linear factors, indicating the presence of independent eigenvalues.
  • Another participant points out that while the polynomial associated with a Hermitian matrix has degree ##n##, the roots need not be distinct, suggesting the possibility of degeneracy.
  • A later reply emphasizes that the theorem states Hermitian matrices have ##n## distinct roots, and the participant expresses a desire to find a generalized proof for all dimensions.
  • One participant provides a specific example of a ##2×2## Hermitian matrix and discusses the conditions under which eigenvalues may become equal, presenting counter-examples to the original claim.
  • Another participant challenges the correctness of the discriminant analysis, arguing that it is possible for the discriminant to be zero without all parameters being zero, and clarifies that the only ##2×2## matrix with degenerate eigenvalues is the identity matrix.
  • Participants acknowledge the complexity of proving the statement for higher dimensions and suggest that the context of quantum mechanics may involve specific types of Hermitian matrices that avoid degeneracy.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the original claim regarding the distinctness of eigenvalues for Hermitian matrices. There are competing views on the conditions under which eigenvalues may be equal, and the discussion remains unresolved regarding a generalized proof for all dimensions.

Contextual Notes

Limitations include unresolved assumptions about the nature of Hermitian matrices in quantum mechanics and the implications of degeneracy in eigenvalues. The discussion reflects varying interpretations of mathematical properties and their applications.

haisydinh
Messages
24
Reaction score
0
Hello,

I am currently trying to study the mathematics of quantum mechanics. Today I cam across the theorem that says that a Hermitian matrix of dimensionality ##n## will always have ##n## independent eigenvectors/eigenvalues. And my goal is to prove this. I haven't taken any linear algebra classes so my knowledge in this field is quite limited.

Now, I have realized that if I were to prove this statement, I would basically have to show that there is a polynomial associated with the matrix and that this polynomial can be factored into a product of distinct linear factors. Mathematically, if I let ##M## to be the Hermitian matrix, ##I## be the identity matrix, and ##\lambda## be the placeholder for the eigenvalues, then I have to show that the following is true for all ##n##:

##det(M-I\lambda) = (\lambda - \lambda_1)(\lambda - \lambda_2)...(\lambda - \lambda_n)## (where ##\lambda_i## are independent eigenvalues)

Here, I’m just stuck. I really don’t know how to tackle this at all. If someone could help me out on this problem, it would be really great. Or if you guys can point me to some sort of literature, that would also be good for me. Thank you very much in advance! :)
 
Physics news on Phys.org
det(M-I\lambda)=0 \Rightarrow (\lambda-\lambda_1)(\lambda-\lambda_2)(\lambda-\lambda_3)...(\lambda-\lambda_n)=0
This is an algebraic equation of degree n, which according to the fundamental theorem of algebra, has n roots. But these roots need not be distinct. Any number of them may be equal and so there may be degeneracy.
 
Shyan said:
det(M-I\lambda)=0 \Rightarrow (\lambda-\lambda_1)(\lambda-\lambda_2)(\lambda-\lambda_3)...(\lambda-\lambda_n)=0
This is an algebraic equation of degree n, which according to the fundamental theorem of algebra, has n roots. But these roots need not be distinct. Any number of them may be equal and so there may be degeneracy.

Hi, thanks for replying.

However, the theorem says that "the polynomial associated with a Hermitian matrix always has ##n## distinct roots". In other words, this is a special property of a Hermitian matrix. I can easily prove this with a ##2×2##- Hermitian matrix or a ##3×3##-Hermitian matrix, however I want to find a generalized proof to show that this is true for all ##n##.

Thanks.
 
I don't know what you did but that's wrong!
A 2\times 2 Hermitian matrix is of the form \left( \begin{array}{lr} a \ \ \ \ \ \ c+id \\ c-id \ \ \ \ \ \ b \end{array} \right). This matrix has two eigenvalues and these two become equal when a-b=\pm 2 i \sqrt{c^2+d^2}. So I'm showing you an infinite number of counter-examples to that statement.
 
Shyan said:
I don't know what you did but that's wrong!
A 2\times 2 Hermitian matrix is of the form \left( \begin{array}{lr} a \ \ \ \ \ \ c+id \\ c-id \ \ \ \ \ \ b \end{array} \right). This matrix has two eigenvalues and these two become equal when a-b=\pm 2 i \sqrt{c^2+d^2}. So I'm showing you an infinite number of counter-examples to that statement.

Maybe I should be more clear with my question. Let's say that ##M = \begin{pmatrix} a & c+id \\ c-id & b \end{pmatrix}## is our Hermitian matrix, then the polynomial is:

##det(M - I\lambda) = det\begin{pmatrix} a-\lambda & c+id \\ c-id & b-\lambda \end{pmatrix}##

## = \lambda^2 + (a+b)\lambda + (ab-c^2-d^2) = 0##

The discriminant is thus ##(a+b)^2 - 4(ab-c^2-d^2) = a^2-2ab+b^2+4(c^2+d^2)=(a-b)^2+4(c^2+d^2)## which is obviously positive (unless all ##a, b, c, d = 0## which is uninteresting). Therefore the polynomial has 2 distinct roots for ##\lambda##. Now, the proof for ##3×3##-matrix is more complicated, but will give the same result. So my question is how do we prove this statement for all ##n##?

Thank you!
 
haisydinh said:
The discriminant is thus (a+b)2−4(abc2−d2)=a2−2ab+b2+4(c2+d2)=(ab)2+4(c2+d2)(a+b)^2 - 4(ab-c^2-d^2) = a^2-2ab+b^2+4(c^2+d^2)=(a-b)^2+4(c^2+d^2) which is obviously positive (unless all a,b,c,d=0a, b, c, d = 0 which is uninteresting)
This part is wrong. If you set the discriminant equal to zero, you'll get the equation I mentioned in my previous post! Which means its is possible for the discriminant to be zero without a,b,c and d all be zero!

EDIT: Because a and b are real, that equation can only be true when c and d are zero which means a=b. So the only 2\times 2 matrix with degenerate eigenvalues is the identity matrix. For higher dimensions, there may be more!
 
  • Like
Likes   Reactions: haisydinh
Shyan said:
This part is wrong. If you set the discriminant equal to zero, you'll get the equation I mentioned in my previous post! Which means its is possible for the discriminant to be zero without a,b,c and d all be zero!

EDIT: Because a and b are real, that equation can only be true when c and d are zero which means a=b. So the only 2\times 2 matrix with degenerate eigenvalues is the identity matrix. For higher dimensions, there may be more!

Yes, you are absolutely right! How silly of me! Thanks for pointing that out!

Well, it's clear that my proof is wrong here. But the problem still remains though. Maybe it's more relevant to physics rather than to mathematics. Maybe in quantum mechanics, they are talking about a different type of Hermitian matrices that disallow ##a## and ##b## to be the same. In any case, I would have to look more into the context of the physics situation, rather than generalizing it to all Hermitian matrices.

Thanks again!
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 33 ·
2
Replies
33
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K