Prove AB and BA have the same characteristic polynomial

Click For Summary
SUMMARY

The discussion focuses on proving that for any square matrices A and B of the same size, the matrices AB and BA have the same characteristic polynomial. The proof utilizes the concept of perturbation by adding a small scalar multiple of the identity matrix, represented as A + εI, where ε approaches zero. This approach allows the use of the similarity argument since the determinants of the perturbed matrices can be equated, leading to the conclusion that the characteristic polynomials are indeed the same. The continuity of polynomials plays a crucial role in justifying the limit process as ε approaches zero.

PREREQUISITES
  • Understanding of characteristic polynomials in linear algebra
  • Familiarity with matrix determinants and their properties
  • Knowledge of matrix similarity and invertibility concepts
  • Basic calculus concepts, particularly limits and continuity
NEXT STEPS
  • Study the properties of matrix determinants in detail
  • Learn about matrix similarity and its implications for characteristic polynomials
  • Explore perturbation theory in linear algebra
  • Investigate the continuity of polynomial functions and their limits
USEFUL FOR

This discussion is beneficial for students and professionals in mathematics, particularly those studying linear algebra, as well as educators seeking to explain the relationship between matrix products and their characteristic polynomials.

IniquiTrance
Messages
185
Reaction score
0

Homework Statement


Show that for any square matrices of the same size, A, B, that AB and BA have the same characteristic polynomial.


Homework Equations





The Attempt at a Solution



I understand how to do this if either A or B is invertible, since they would be similar then. I saw a proof that states to take A = A + \epsilon I, so that det(A+\epsilon I) \neq 0, and then we have,

det \left((A+\epsilon I) B - \lambda I \right) = det \left((B(A+\epsilon I) - \lambda I\right)

Since then we can use the similarity argument. We then take \epsilon\rightarrow 0.

I'm wondering if someone could please provide an accessible, but sound explanation of why we are allowed to use this \epsilon \rightarrow 0 argument.

Thanks!
 
Physics news on Phys.org
Can you see that the entities on either side of the equation are multivariate polynomials with respect to epsilon and lambda?
 
Hmm, somewhat. Could you please provide greater insight?
 
IniquiTrance said:
Hmm, somewhat. Could you please provide greater insight?

"Somewhat" is not good. If you really don't see it, take a simple 2x2 case and work it out.

If you do see that, then what do you know of continuity of polynomials? What is \lim_{\epsilon \rightarrow 0} P(\epsilon, \lambda), if P(\epsilon, \lambda) is a polynomial?
 
Hmm are you sure that's the right question? A would need some inverse C such that :

C-1AC = B

Then you could start by saying :

pB(λ) = det(B-λIn)

Then you should use what you know about B and the identity matrix In to massage the expression into pA(λ) [ Hint : Think about inverses and how they work! ]
 

Similar threads

Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K