Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Normal matrix that isn't diagonalizable; counterexample?

  1. Jun 27, 2012 #1
    I've been reading that the diagonalizable matrices are normal, that is, they commute with their adjoint: ##M^*M=MM^*##, where ##M^*## is the conjugate transpose of ##M##.

    So a matrix is diagonalizable if and only if it is normal, see: http://en.wikipedia.org/wiki/Normal_matrix

    But from Boyce's section on repeated eigenvalues for systems of first-order differential equations, we have the example $$M=\begin{pmatrix}1&-1\\1&3\end{pmatrix}.$$ Which if we check ##MM^*##, we get $$MM^*=\begin{pmatrix}1&-1\\1&3\end{pmatrix}\begin{pmatrix}1&1\\-1&3\end{pmatrix}
    =\begin{pmatrix}2&-2\\-2&8\end{pmatrix}.$$ The last is symmetric, so clearly ##MM^*=M^*M##.

    However, Boyce does the problem, finds repeated eigenvalue of ##r=2##, only one eigenvector, for ##MP=PJ##, with ##J## not diagonal, that is, $$MP=

    So we've found that ##M## is normal, but it is not diagonalizable. What is going on?
    Last edited: Jun 27, 2012
  2. jcsd
  3. Jun 27, 2012 #2
    Oh, ##P## is not unitary, as the normal matrix theorem describes. I'll have to think about that. It seems like if normal matrix theorem gets you a better ##J## matrix with fewer allowable ##P## matrices, then what Boyce did should have gotten [STRIKE]an orthonormal P matrix with[/STRIKE] ##J## diagonal.
    Last edited: Jun 27, 2012
  4. Jun 27, 2012 #3
    Your M isn't normal.

    You concluded that M is normal because [itex]MM^*[/itex] is symmetric. But [itex]MM^*[/itex] is always symmetric/hermitan:


    Don't make the common mistake that


    this is false.

    Also, note that a matrix being normal means that it is diagonalizable by orthogonal/unitary operators. A matrix can be diagonalizable, without being normal.
  5. Jun 27, 2012 #4
    Aha, thank you for catching both of my mistakes micromass. So the matrix wasn't normal, which would have been diagonalizable, and diagonalizable does not imply normal.
  6. Jun 27, 2012 #5
    I'm no expert on matrices, but this line looks wrong to me:
    Shouldn't it be:

    As I said, I'm not too clued up on adjuncts and such like, so I'm asking more for clarification of my own thinking rather than pointing out any error. Please ignore if I'm talking rubbish. :smile:
  7. Jun 27, 2012 #6
    No, that part was fine.

    The transpose (which is the adjoint for real matrices) switches the rows and columns.

    For example, in M, the first row is (1 -1). So that should be the first column of M*. The second row is (1 3) and that should be the second column of M*

    So M* is indeed

    [tex]\left(\begin{array}{cc}1 & 1\\ -1 & 3\end{array}\right)[/tex]

    In particular, the diagonal entries always remain fixed.

    For complex matrices, the adjoint is a bit more complicated. There, it involves not only transposing (=switching rows and columns) but you also need to take the complex conjugate of the entries.
  8. Jun 27, 2012 #7
    Ahh... I understand now, thanks. I think I was confusing "adjugate" with "adjoint".

    I must brush up on my matrices! :smile:
  9. Jun 27, 2012 #8
    Aaah, that makes sense. There are indeed two definitions of adjoint which are not equivalent (hence the reason why we call one adjugate instead of adjoint). I should have known you meant the adjugate when I saw that your multiplication resulted in a diagonal matrix.
    But yeah, be careful with the term adjoint!
  10. Jun 27, 2012 #9
    Yeah, I've since discovered the ambiguity! :smile:

    However, this still isn't correct:
    It should be:

    Although I don't suppose this affects the original question; just a minor quibble.
  11. Jun 27, 2012 #10
    Ah yes, it should indeed be 10!! :smile:
  12. Jun 27, 2012 #11
    So you all claim that ##1\oplus1+3\oplus3=10## and not ##8##, hmmm? (JK! But that was my propogating mistake originally.)
  13. Jun 27, 2012 #12
    Right, like micromass said, adjoint matrix usually refers to conjugate transpose, and this generalizes to... I think it's called adjoint operator. The basic idea is that the adjoint is what appears in the dual space, that is, for an inner product, ##x\cdot(Ay)=(A^*x)\cdot y.##

    Then, on a higher plane, they have something called adjoint functor, which I am pretty sure is similar, but never on the same level. What I believe they have in common is that the adjoint is sort of a mirror image in a dual world. Then I think there's a different adjoint (maybe 2) in Lie algebras, having to do with conjugacy. It used to drive me nuts trying to figure out if any of these things are the same, but I think it was just an overuse of the word adjoint, which means something like the object closest too perhaps.

    So, I guess they decided to rename your adjoint matrix (in sense of finding inverse), so in some older books it is called adjoint, in others it is called... You all named adjunct and adjugate as candidates.
    Last edited: Jun 28, 2012
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook