28
$\begingroup$

Possible Duplicate:
Matrix is conjugate to its own transpose

How can I prove that a matrix is similar to its transpose?

My approach is: if $A$ is the matrix then $f$ is the associated application from $K^n\rightarrow K^n$. Define $g:K^n\rightarrow (K^n)^*$ by $g(e_i)=e_i^*$, and define $f^T$ to be the transpose application of $f$. I proved that $f^T=gfg^{-1}$. What I don't understand is, what is the matrix associated to $g$, so I can write $A^T=PAP^{-1}$.

  • 0
    @J.M.: The article you linked to shows that $A$ and $A^T$ are always conjugate by a nonsingular symmetric matrix, and uses the "well known" fact that $A$ and $A^T$ are always conjugate. An interesting precision, but it does not really answer this question.2013-12-09

2 Answers 2

34

Consider...

$B^{-1} = B = \begin{bmatrix} 0 & 0 & \cdots & 0 & 1 \\ 0 & 0 & \cdots & 1 & 0 \\ \vdots & \ \vdots & & \vdots & \vdots \\ 0 & 1 & \cdots & 0 & 0 \\ 1 & 0 & \cdots & 0 & 0 \end{bmatrix} \qquad \mathrm{and} \qquad J = \begin{bmatrix} \lambda & 1 & & \\ & \ddots & \ddots & & \\ & & \lambda & 1 \\ & & & \lambda \end{bmatrix} $

Then $B^{-1}J^TB = J$. Thus a Jordan block $J$ and its transpose $J^T$ are similar. So using $B_1,\dots B_\ell$ for each Jordan block $J_1,\dots,J_\ell$ and letting $B = \begin{bmatrix} B_1 & & & \\ & B_2 & & \\ & & \ddots & \\ & & & B_\ell \end{bmatrix} \qquad \mathrm{and} \qquad J = \begin{bmatrix} J_1 & & & \\ & J_2 & & \\ & & \ddots & \\ & & & J_\ell \end{bmatrix}$ Then $B^{-1}J^TB=J$. Therefore, a Jordan form and its transpose are similar.

Finally, put $A$ into its Jordan form: $P^{-1}AP=J$ then $J^T = (P^{-1}AP)^T=P^TA^T(P^T)^{-1}$ so thus $A$ is similar to $J$. $J$ is similar to $J^T$ and $J^T$ is similar to $A^T$. Hence by transitivity $A$ and $A^T$ are similar.

  • 1
    As for J transpose, no it's not the Jordan form of$A$transpose (according to my convention) but that's not important. I'm just using the Jordan form as a way station to get something easy to manipulate. That's essentially why Jordan form is useful/of interest. By the way, whether you consider J or J transpose the Jordan form of$A$is a matter of taste/convention. When constructing P, depending on the way you arrange your "chains" of generalized eigenvectors you'll get either J or J transpose. So actually *both* are Jordan forms for$A$(depending on your convention).2016-05-29
6

note that reversing the basis order (conjugating by the matrix with ones from bottom left to upper right and zeros elsewhere) takes a jordan block to its transpose, eg

$ \left( \begin{array}{ccc} 0&0&1\\ 0&1&0\\ 1&0&0\\ \end{array} \right) \left( \begin{array}{ccc} a&1&0\\ 0&a&1\\ 0&0&a\\ \end{array} \right) \left( \begin{array}{ccc} 0&0&1\\ 0&1&0\\ 1&0&0\\ \end{array} \right)= \left( \begin{array}{ccc} a&0&0\\ 1&a&0\\ 0&1&a\\ \end{array} \right) $