The Unapologetic Mathematician

Mathematics for the interested outsider

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


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