Simultaneously unitarily diagonalizeable matrices commute

  • Thread starter Thread starter bmanbs2
  • Start date Start date
  • Tags Tags
    Commute Matrices
bmanbs2
Messages
22
Reaction score
0

Homework Statement


Matrices A and B are simultaneously unitarily diagonalizeable. Prove that they commute.

Homework Equations


As A and B are simultaneously unitarily diagonalizeable, there exists a unitary matrix P such that

P^{-1}AP = D_{1} and P^{-1}BP = D_{2}, where D_{1} and D_{2} are diagonal matrices., where D_{1} and D_{2} are diagonal matrices.

Diagonal matrices always commute.

A unitary matrix multiplied by its conjugate transpose results in an identity matrix.

The Attempt at a Solution



So far I have that
P^{-1}APP^{-1}BP = P^{-1}ABP = D_{1}D_{2} and
P^{-1}BPP^{-1}AP = P^{-1}BAP = D_{2}D_{1}
D_{1}D_{2} = D_{2}D_{1} P^{-1}ABP = P^{-1}BAP.

Is this enough to show that AB = BA? Where would I use the fact that P is unitary?

Also, how do I delete the latex part at the top? It goes straight to the first latex entry. I put empty tex tags at the top to make it as non-distracting as possible, but if I don't add them, the gibberish goes straight to the next latex section.
 
Last edited:
Physics news on Phys.org
Bump?
 
you don't need the unitary part, since two diagonalizable matrices are generally simutaneously diagonalizable if and only if they commute; the unitary part is needed if you also assert that the matrices are both normal -- did you leave that out?
 
I didn't, but I just recieven an update to the assignment that says I need to show the matrices are normal.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top