Undergrad How to prove that shear transform is similarity-invariant?

  • Thread starter Thread starter swampwiz
  • Start date Start date
  • Tags Tags
    Shear Transform
Click For Summary
The discussion centers on proving that the characteristic equation of a matrix is similarity-invariant, particularly in relation to shear transformations. It is established that the characteristic polynomial, defined as det(λI - A), remains unchanged under similarity transformations, which implies that all coefficients of the polynomial are invariant. The challenge arises in demonstrating this specifically for shear transformations, as the participant struggles to eliminate additional terms from the characteristic equation. Suggestions are made to simplify the proof by leveraging known properties of determinants and recognizing that matrices commute with scalar multiples of the identity matrix. Ultimately, the conversation highlights the importance of recognizing these mathematical properties to streamline the proof process.
swampwiz
Messages
567
Reaction score
83
OK, my understanding is that the characteristic equation for a matrix is similarity-invariant, from which results that the trace & determinant - which correspond to the penultimate & free coefficients of the characteristic equation - and other parameters (corresponding to other coefficients) are invariant under a similarity product of any matrix, And since any matrix can be composed of a concatenation of swap, scale or shear transforms, it must be that the characteristic equation is invariant under a similarity-transform (i.e., so that all of its coefficients are invariant).

I have worked out that the swap & scale similarity products result in the same characteristic equation, but am having difficult doing so for the shear. As part of the expression of the characteristic equation of the similarity product I get the characteristic equation of the original (i.e., central) matrix, but I get a bunch of other terms that should resolve to zero, but I just don't see it, at least from my math.

I've been searching for a good source online that goes into proving this, but all I see is proofs that the determinant is invariant, but not the characteristic equation. The proof of the determinant is simple; I don't need to see that. But simply changing the matrix to the characteristic matrix by adding in the characteristic parameter (i.e., eigenvalue parameter) seems to make this much more difficult.

Thanks
 
Physics news on Phys.org
The characteristic polynomial ##\det(\lambda I -A)## , where ##A## and ##I## are ##n\times n##-matrices, is invariant w.r.t. similarity transformations, which means that if ##P## is any invertible ##n\times n##-matrix, then ##\det(\lambda I-P^{-1}AP)\equiv\det(\lambda I-A)##. You say you are familiar with the corresponding proof for determinants. Can you adjust that proof to find the proof for the characteristic polynomial? I see no reason to look separately at shear-transformations, swaps, scale transformations, etc.
 
I am basing the proof of the determinant of just the matrix on the fact that the determinant of a matrix having a repeated row is 0. I don't think that I can say that the determinant of the characteristic matrix of such an original matrix that has its rows swapped is 0. However, I can't say that the determinant of that characteristic matrix is always zero unless I can remove the characteristic parameter completely, which I can't seem to be able to do.
 
There is a much simpler way. You already know that ##\det(P^{-1}AP)=\det(A)##. Apply this with ##\lambda I-A## instead of ##A##, and rewrite it a little.
 
Erland said:
There is a much simpler way. You already know that ##\det(P^{-1}AP)=\det(A)##. Apply this with ##\lambda I-A## instead of ##A##, and rewrite it a little.

Thanks. I knew I was making it a lot harder than I needed to.
 
Don't feel alone. I am a professional mathematician but as a student I also did not quickly react to things like noticing that all matrices commute with a matrix like cI, leading to the cancellation that makes this little thing pop out. I.e. it was not at all obvious to me that P^-1(cI-A)P = (cI - P^-1AP).
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
17
Views
7K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K