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 »

  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

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: