Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hello everyone

I would like to have a detailed reference to the statement bellow:

Let $A,B\in \mathbb{R}^{n\times n}$ such that $AB=BA$. Suppose $A$ has real eigenvalues only and $B$ is diagonalizable. Then, there exists a nonsingular matrix $P$ such that $P^{-1}AP$ is of Jordan canonical form and $P^{-1}BP$ is diagonale. Precisely \begin{equation*} P^{-1}AP=\mathrm{diag}(J_{1},\cdots,J_{r}) \quad\text{and}\quad P^{-1}BP=\mathrm{diag}(\underset{p_{1}}{\underbrace{\mu_{1},\cdots,\mu_{1}}},\cdots,\underset{p_{r}}{\underbrace{\mu_{r},\cdots,\mu_{r}}}) \end{equation*} where $J_{k}$ is a Jordan block of size $p_{k}$.

share|improve this question
1  
@Chris Godsil: the OP made the explicit assumption that $B$ is diagonalizable. –  Noah Stein Nov 2 '12 at 12:20
    
@Noah: I've deleted my silly comment. –  Chris Godsil Nov 2 '12 at 15:24
add comment

1 Answer

up vote 6 down vote accepted

Let $\lambda$ be an eigenvalue of $B$, and $V_\lambda$ the corresponding eigenspace (the set of all eigenvectors of $B$ corresponding to $\lambda$ and the zero vector). Then the whole space is the direct sum of those $V_\lambda$. (This is your condition that $B$ is diagonalizable).

Claim. $A$ maps each $V_\lambda$ into itself. Proof. Let $x\in V_\lambda$ this means that $Bx=\lambda x$. Now let $Ax=y$. We have $By=BAx=ABx=\lambda Ax=\lambda y$. So $y\in V_\lambda$. This proves the claim.

Now by the Jordan theorem, each $V_\lambda$ contains a Jordan basis for $A$. This basis (as the whole $V_\lambda$) consists of eigenvectors of $B$. Taking all these bases together we obtain a basis of the whole space, which is a Jordan basis for $A$ and each vector is an eigenvector of $B$. Take this basis as columns of your $P$.

share|improve this answer
    
I mean a reference I can cite. –  driss-alamilouati Nov 2 '12 at 14:49
1  
Now you can cite Alexandre Eremenko (mathoverflow.net/users/25510), Simultaneous Jordanization, mathoverflow.net/questions/111274 (version: 2012-11-02) –  Zarathustra Nov 2 '12 at 18:53
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.