5
$\begingroup$

Two n-by-n matrices A and B are called similar if $$ \! B = P^{-1} A P $$ for some invertible n-by-n matrix P.

Similar matrices share many properties:

  • Rank
  • Determinant
  • Trace
  • Eigenvalues (though the eigenvectors will in general be different)
  • Characteristic polynomial
  • Minimal polynomial (among the other similarity invariants in the Smith normal form)
  • Elementary divisors

Given two square matrices A and B, how would you tell if they are similar?

  1. Constructing a $P$ in the definition seems difficult even if we know they are similar, does it? Not to mention, use this way to tell if they are similar.
  2. Are there some properties of similar matrices that can characterize similar matrices?

Thanks!

  • 3
    You can have a look here: [Frobenius noral form](http://en.wikipedia.org/wiki/Frobenius_normal_form).2012-11-27
  • 0
    @DanShved: Thanks! So decomposing each matrix into some canonical form, such as Jordan form, is a way, by definition.2012-11-27
  • 0
    I think for finite dimensional spaces characteristic polynomials are the best.2012-11-27
  • 4
    @HuiYu They are OK, but they don't allow to characterize similarity completely. I.e. two non-similar matrices can have the same characteristic polynomial.2012-11-27

2 Answers 2

4

For a pedagogical discussion, see Jakob Stoustrup, Linear Algebra in the Classroom: A Note on Similarity. (The author claims on his website that this paper appeared in International Journal of Mathematical Education in Science and Technology, 26(6): 917-920, 1995, but it wasn't found on the journal's website.)

The author essentially proposes a generalised eigenspace approach (see lemma 1), so that no matrix transformation is needed.

  • 0
    The link is broken.2018-03-31
  • 0
    @Chad It's fixed now. Thanks for the information.2018-03-31
  • 0
    What a strange reference. It indeed isn't listed on the journal's web site, but my institution's library system says it has physical copies. The article itself is a bit bizarre--the lemma it purports was new is obviously much older. Honestly, anybody who understands the theoretical basis behind Jordan canonical form would know that lemma is essentially a key step in the proof.2018-05-21
  • 0
    @JSwanson I think what he meant by "new" is not the result, but his pedagogical approach. E.g. when Sheldon Axler's famous article "Down with Determinants!" was out (published on the same year as Stoustrup's paper), my impression is that many people thought that the way he *taught* linear algebra was new. But certainly the results as well as the theory behind it were well known.2018-05-21
-2

Two diagonalizable matrices are similar iff all of their eigenvalues are equal. To prove this, let $A = Q \Lambda Q^{-1}$ and $B = P^{-1}AP$, then $B = R \Lambda R^{-1}$ with $R = P^{-1}Q$. Conversely, $A = Q \Lambda Q^{-1}$ and $B = R \Lambda R^{-1}$ imply $B = RQ^{-1} A Q R^{-1} = P^{-1} A P$ and this completes the proof.

Thus, you can diagonalize $A$ and $B$ and verify that all of their eigenvalues are equal in order to determine whether or not the matrices are similar.

If $A$ and $B$ are similar, they will share properties such as the rank and trace as you mention. However, the converse statement is not true. Hence, you cannot use only properties such as the rank and trace to establish similarity between two matrices.

  • 0
    +1. Thanks! I wonder why Dan Shved said in his comment that characteristic polynomials "don't allow to characterize similarity completely"? Don't characteristic polynomials determine all eigenvalues with their algebraic multiplicities, and then by your reply, characteristic polynomials determine whether two matrices are similar?2012-12-02
  • 2
    I think the reason is that in general we need Jordan forms of the two matrices to tell if they are similar. Eigenvalues and their algebraic multiplicities are not enough.2012-12-02
  • 4
    This answer is wrong. For example, the identity matrix and [1, 1; 0 , 1] both have eigenvalues 1, but they are not similar. The issue is that same set of eigenvalues do NOT guarantee the same Jordan form. To get same Jordan form, you need same algebraic multiplicity and geometric multiplicity. Characteristic polynomial only carries information about algebraic multiplicity, but not the geometric one, thus is not sufficient to characterize similarity.2012-12-04
  • 0
    In fact, (at least to me) one great thing about various canonical form is to allow you to identify similar matrices. If your field is algebraically closed, eg complex numbers, then Jordan canonical form is one such construction. Over an arbitrary field, you may read about the rational canonical form, that was mentioned by Dan Shved in the comments.2012-12-04
  • 1
    @Tim: If the matrix is not diagonalizable, then you would need the Jordan canonical form. Since this form is also obtained via a similarity transformation, what I wrote above still applies (just consider $\Lambda$ as the Jordan form of the matrix). As you note, Dan Shved commented that characteristic polynomials "don't allow to characterize similarity completely". I am not sure about this neither, but if someone else can clarify then he or she would be helping us both.2012-12-04
  • 0
    This answer is wrong!2017-05-10
  • 0
    While the answer is indeed wrong, user27126's example of [1, 1; 0, 1] is no longer the issue (after an edit) since it's not diagonalizable. Moreover, user27126's claim that "To get same Jordan form, you need same algebraic multiplicity and geometric multiplicity" is also wrong or at least unclear in the sense that this is necessary but not sufficient. Jordan blocks of size 2, 2 and 1, 3 give an example of this insufficiency.2018-05-21