Is the geometric multiplicity of an eigenvalue a similar invariant?

[Bipolarity]

If two matrices similar to one another are diagonalizable, then certainly this is the case, since the algebraic multiplicity of any eigenvalue they share must be equal (since they are similar), and since they are diagonalizable, those algebraic multiplicities must equal the geometric multiplicities of those eigenvalues. But what if the matrix is not diagonalizable?

BiP

 

[Office_Shredder]

The question is equivalent to: if v is an eigenvector of A with eigenvalue $\lambda$, and P is an invertible matrix, find a vector w in terms of v and P such that
$$P A P^{-1} w= \lambda w.$$
It's not particularly challenging to construct w

 

[brmath]

matrix not diagonalizable

If the matrix is not diagonalizable then it can still be broken down into Jordan normal form. If an eigenvalue $$\lambda$$ has multiplicity c, but does not have c independent eigenvectors, you will get Jordan block for each eigenvector.

For example if c = 5 and there are two independent eigenvectors, one with eigenspace of dimension 2 and the other with eigenspace of dimension 3 there will be a Jordan block which is 2x2 and one which is 3x3. The 3x3 Jordan block will look like this:

$$\begin{pmatrix}<br /> \lambda & 1 & 0\\<br /> 0 & \lambda & 1\\<br /> 0 & 0 & \lambda<br /> \end{pmatrix}$$

with an nxn block created similarly. All the Jordan blocks reside on the diagonal. If you have reduced two matrices to the same Jordan form, they are, essentially similar.

Re the eigenspaces, the basis of the 2 dimensional one will be the existing eigenvector plus one generalized eigenvector. The 3 dimensional space will also have a basis consisting of the eigenvector plus some combination of generalized eigenvectors.

The dimensions of the eigenspaces are certainly invariant under this transformation.

There is a complete discussion of this in the book Linear Algebra by Peter Lax. Probably other books have it as well. None of them is very clear, but if you spend some time you can figure it out.