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.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top