Register to reply

Prove two commutative Hermitian matrices have the same eigenvectors

Share this thread:
xuphys
#1
Feb11-13, 01:56 AM
P: 7
Hi,

Does anyone know how to prove that two commutative Hermitian matrices can always have the same set of eigenvectors?

i.e.

AB - BA=0

A and B are both Hermitian matrices, how to prove A and B have the same set of eigenvectors?

Thanks!
Phys.Org News Partner Science news on Phys.org
World's largest solar boat on Greek prehistoric mission
Google searches hold key to future market crashes
Mineral magic? Common mineral capable of making and breaking bonds
Fredrik
#2
Feb11-13, 01:30 PM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,249
Quote Quote by xuphys View Post
Hi,

Does anyone know how to prove that two commutative Hermitian matrices can always have the same set of eigenvectors?

i.e.

AB - BA=0

A and B are both Hermitian matrices, how to prove A and B have the same set of eigenvectors?

Thanks!
Since this is a textbook-style problem, the forum rules tell us to treat it as homework (even if it's not). So we can only give you hints, and you will have to show us what you've got so far. At the very least, you're going to have to show us that you know what the statement "v is an eigenvector of A" means.
xuphys
#3
Feb11-13, 03:03 PM
P: 7
Quote Quote by Fredrik View Post
Since this is a textbook-style problem, the forum rules tell us to treat it as homework (even if it's not). So we can only give you hints, and you will have to show us what you've got so far. At the very least, you're going to have to show us that you know what the statement "v is an eigenvector of A" means.
Thanks for your reply.

What I would say is that this is a common mathematical theorem which is one of the mathematical basis in quantum mechanics, but not a textbook style problem. I ask here because my text book (which is not written in English) only gives a simplified version of proof (assuming there is no duplicated eigenvalue). I am curious about a relatively more robust way to prove it.

Fredrik
#4
Feb11-13, 03:43 PM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,249
Prove two commutative Hermitian matrices have the same eigenvectors

Textbook problems often ask the reader to prove a theorem that wasn't proved in the text. So this certainly could be a textbook problem or a small part of a homework assignment.
micromass
#5
Feb11-13, 06:31 PM
Mentor
micromass's Avatar
P: 18,038
I have moved this to homework. xuphys, please make an attempt when asking a question. What do you think of the problem? Is there something you can do?
xuphys
#6
Feb12-13, 12:27 AM
P: 7
Quote Quote by micromass View Post
I have moved this to homework. xuphys, please make an attempt when asking a question. What do you think of the problem? Is there something you can do?
OK. What I thought is, since A and B are commutative, and they are also hermitians, so AB is also a hermitian (easy to prove).

Then AB is diagonalizable:

AB=UDU-1
i.e.

D=U-1ABU=(U-1AU)(U-1BU)
Now I am unable to prove that both U-1AU and U-1BU are diagonal... and I am not sure whether I am on the right track. Could you help me with this?

Thanks!
fortissimo
#7
Feb12-13, 11:13 AM
P: 24
Hermitian matrices are diagonalizable, so we have n eigenpairs (a_i, v_i) for A and eigenpairs (b_i, u_i) for B (where v_i and u_i may be chosen linearly independent).
It follows that A*v_i = a_i*v_i. This implies B*A*v_i = a_i*B*v_i. But this equals A*B*v_i, so B*v_i is an eigenvector to A with eigenvalue a_i. So B*v_i = k_i*v_i if eigenvalues are unique.
The argument is symmetric, so it follows that A and B have the same eigenvectors. The argument is more difficult if eigenvalues aren't unique, but you get invariant subspaces and block matrices, for which you can choose diagonal bases, roughly.


Register to reply

Related Discussions
Normalized Eigenvectors of a Hermitian operator Advanced Physics Homework 9
Diagonalizing hermitian matrices - how to get eigenvectors after finding eigenvalues? Calculus & Beyond Homework 1
Hermitian operator-prove product of operators is Hermitian if they commute Advanced Physics Homework 9
Commutative matrices Precalculus Mathematics Homework 9
Issue regarding the orthogonality of eigenvectors for Hermitian Linear & Abstract Algebra 20