# The Unapologetic Mathematician

## Uniqueness of Jordan Normal Forms

So we’ve got a Jordan normal form for every linear endomorphism $T:V\rightarrow V$ on a vector space $V$ of finite dimension $d$ over an algebraically closed base field $\mathbb{F}$. That is, we can always pick a basis with respect to which the matrix of $T$ is block-diagonal, and each block is a “Jordan block” $J_n(\lambda)$. This is an $n\times n$ matrix $\displaystyle\begin{pmatrix}\lambda&1&&&{0}\\&\lambda&1&&\\&&\ddots&\ddots&\\&&&\lambda&1\\{0}&&&&\lambda\end{pmatrix}$

with the eigenvalue $\lambda$ down the diagonal and ${1}$ just above the diagonal.

Abstractly, this is a decomposition of $V$ as a direct sum of various subspaces, each of which is invariant under the action of $T$. And, in fact, it’s the only “complete” decomposition of the sort. Decomposing into generalized eigenspaces can really be done in only one way, and breaking each eigenspace into Jordan blocks is also essentially unique. The biggest Jordan block comes from picking one vector $v$ that lives through as many applications of $T-\lambda1_V$ as possible. As we apply $T$ over and over to $v$, we expand until (after no more than $d$ iterations) we fill out an invariant subspace. Not only that, but we know that we can break up our generalized eigenspace as the direct sum of this block and another subspace, which is also invariant. And that lets us continue the process, splitting off blocks until we’ve used up the whole generalized eigenspace.

Now, there is one sense in which this process is not unique. Direct sums are commutative (up to isomorphism), so we can rearrange the Jordan blocks for a given endomorphism $T$, and the result is still a Jordan normal form. But that’s the only way that two Jordan normal forms for the same endomorphism can differ.

March 5, 2009 - Posted by | Algebra, Linear Algebra

## 1 Comment »

1. […] how to do this! Use a matrix in Jordan normal form! We know that within a given conjugacy class, the Jordan normal form is unique — up to rearrangement of the Jordan blocks. So we don’t quite have a unique […]

Pingback by Orbits of the General Linear Action on Matrices « The Unapologetic Mathematician | March 6, 2009 | Reply