In one of my recent posts, I used the Jordan normal form for a matrix in order to justify a couple of arguments. As a student, I learned the derivation of this form twice: firstly (as an undergraduate) by using the minimal polynomial, and secondly (as a graduate) by using the structure theorem for finitely generated modules over a principal ideal domain. I found though that the former proof was too concrete and the latter proof too abstract, and so I never really got a good intuition on how the theorem really worked. So I went back and tried to synthesise a proof that I was happy with, by taking the best bits of both arguments that I knew. I ended up with something which wasn’t too different from the standard proofs (relying primarily on the (extended) Euclidean algorithm and the fundamental theorem of algebra), but seems to get at the heart of the matter fairly quickly, so I thought I’d put it up on this blog anyway.
Before we begin, though, let us recall what the Jordan normal form theorem is. For this post, I’ll take the perspective of abstract linear transformations rather than of concrete matrices. Let be a linear transformation on a finite dimensional complex vector space V, with no preferred coordinate system. We are interested in asking what possible “kinds” of linear transformations V can support (more technically, we want to classify the conjugacy classes of , the ring of linear endomorphisms of V to itself). Here are some simple examples of linear transformations.
- The right shift. Here, is a standard vector space, and the right shift is defined as , thus all elements are shifted right by one position. (For instance, the 1-dimensional right shift is just the zero operator.)
- The right shift plus a constant. Here we consider an operator , where is a right shift, I is the identity on V, and is a complex number.
- Direct sums. Given two linear transformations and , we can form their direct sum by the formula .
Our objective is then to prove the
Jordan normal form theorem. Every linear transformation on a finite dimensional complex vector space V is similar to a direct sum of transformations, each of which is a right shift plus a constant.
(Of course, the same theorem also holds with left shifts instead of right shifts.)
— Reduction to the nilpotent case —
Recall that a linear transformation is nilpotent if we have for some positive integer m. For instance, every right shift operator is nilpotent, as is any direct sum of right shifts. In fact, these are essentially the only nilpotent transformations:
Nilpotent Jordan normal form theorem. Every nilpotent linear transformation on a finite dimensional vector space is similar to a direct sum of right shifts.
We will prove this theorem later, but for now let us see how we can quickly deduce the full Jordan normal form theorem from this special case. The idea here is, of course, to split up the minimal polynomial, but it turns out that we don’t actually need the minimal polynomial per se; any polynomial that annihilates the transformation will do.
More precisely, let be a linear transformation on a finite-dimensional complex vector space V. Then the powers are all linear transformations on V. On the other hand, the space of all linear transformations on V is a finite-dimensional vector space. Thus there must be a non-trivial linear dependence between these powers. In other words, we have P(T) = 0 (or equivalently, ) for some polynomial P with complex coefficients.
Now suppose that we can factor this polynomial P into two coprime factors of lower degree, P = QR. Using the extended Euclidean algorithm (or more precisely, Bézout’s identity), we can find more polynomials A, B such that AQ + BR = 1. In particular,
The formula (1) has two important consequences. Firstly, it shows that , since if a vector v was in the kernel of both Q(T) and R(T), then by applying (1) to v we obtain v=0. Secondly, it shows that . Indeed, given any , we see from (1) that ; since on V, we see that and lie in and respectively. Finally, since all polynomials in T commute with each other, the spaces and are T-invariant.
Putting all this together, we see that the linear transformation T on is similar to the direct sum of the restrictions of T to and respectively. We can iterate this observation, reducing the degree of the polynomial P which annihilates T, until we reduce to the case in which this polynomial P cannot be split into coprime factors of lesser degree. But by the fundamental theorem of algebra, this can only occur if P takes the form for some and . In other words, we can reduce to the case when , or in other words T is equal to plus a nilpotent transformation. If we then subtract off the term, the claim now easily follows from the nilpotent Jordan normal form theorem.
[From a modern algebraic geometry perspective, all we have done here is split the spectrum of T (or of the ring generated by T) into connected components.]
It is interesting to see what happens when two eigenvalues get very close together. If one carefully inspects how the Euclidean algorithm works, one concludes that the coefficients of the polynomials A(T) and B(T) above become very large (one is trying to separate two polynomials Q(T) and R(T) that are only barely coprime to each other). Because of this, the Jordan decomposition becomes very unstable when eigenvalues begin to collide.
Because the fundamental theorem of algebra is used, it was necessary to work in an algebraically closed field such as the complex numbers . (Indeed, one can in fact deduce the fundamental theorem of algebra from the Jordan normal form theorem.) Over the reals, one picks up other “elliptic” components, such as rotation matrices, which are not decomposable into translates of shift operators.
Thus far, the decompositions have been canonical – the spaces one is decomposing into can be defined uniquely in terms of T (they are the kernels of the primary factors of the minimal polynomial). However, the further splitting of the nilpotent (or shifted nilpotent) operators into smaller components will be non-canonical, depending on an arbitrary choice of basis. [However, the multiplicities of each type of shift-plus-constant factor will remain canonical; this is easiest to see by inspecting the dimensions of the kernels of for various using a Jordan normal form.]
— Proof of the nilpotent case —
To prove the nilpotent Jordan normal form theorem, I would like to take a dynamical perspective, looking at orbits of T. (These orbits will be a cheap substitute for the concept of a Jordan chain.) Since T is nilpotent, every such orbit terminates in some finite time , which I will call the lifespan of the orbit (i.e. is the least integer such that ). We will call x the initial point of the orbit, and the final point.
The elements of a finite orbit are all linearly independent. This is best illustrated with an example. Suppose x has lifespan 3, thus and . Suppose there linear dependence between , say . Applying we obtain , a contradiction. A similar argument works for any other linear dependence or for any other lifespan. (Note how we used the shift T here to eliminate all but the final point of the orbit; we shall use a similar trick with multiple orbits shortly.)
The vector space spanned by a finite orbit is clearly T-invariant, and if we use this finite orbit as a basis for this space then the restriction of T to this space is just the right shift. Thus to prove the nilpotent Jordan normal form theorem, it suffices to show
Nilpotent Jordan normal form theorem, again. Let be nilpotent. Then there exists a basis of V which is the concatenation of finite orbits .
We can prove this by the following argument (basically the same argument used to prove the Steinitz exchange lemma, but over the ring instead of ). First observe that it is a triviality to obtain a concatenation of finite orbits which span V: just take any basis of V and look at all the finite orbits that they generate. Now all we need to do is to keep whittling down this over-determined set of vectors so that they span and are linearly independent, thus forming a basis.
Suppose instead that we had some collection of finite orbits , for which spanned V, but which contained some non-trivial linear relation. To take a concrete example, suppose we had three orbits , and which had a non-trivial linear relation
By applying some powers of T if necessary, and stopping just before everything vanishes, we may assume that our non-trivial linear relation only involves the final points of our orbits. For instance, in the above case we can apply T once to obtain the non-trivial linear relation
We then factor out as many powers of T as we can; in this case, we have
The expression in parentheses is a linear combination of various elements of our putative basis, in this case x, Ty, and , with each orbit being represented at most once. At least one of these elements is an initial point (in this case x). We can then replace that element with the element in parentheses, thus shortening one of the orbits but keeping the span of the concatenated orbits unchanged. (In our example, we replace the orbit of lifespan 2 with an orbit of lifespan 1.)
Iterating this procedure until no further linear dependences remain, we obtain the nilpotent Jordan normal form theorem, and thus the usual Jordan normal form.