Endomorphism/Trigonalizable/Invariant linear subspaces/Section

A trigonalizable endomorphism is described, with respect to a suitable basis, by a matrix of the form

A property which hold for such an upper triangular matrix and which can be described as a property of the linear mapping (being independent of a chosen basis), must hold for any trigonalizable mapping. We want to understand such properties. By an upper triangular matrix, the -th standard vector is sent to

In particular, is a eigenvector with the eigenvalue . It is typical for a trigonalizable mapping that the linear subspace

is mapped by into itself. That is, the are -invariant linear subspaces, which are contained in each other and those dimensions are . We will show, after some preparations, that these properties characterize trigonalizable mappings.


Let denote a field, and let be a -dimensional vector space. Let

be a linear mapping, and let be an eigenvalue of . Then there exists a -invariant linear subspace

of dimension .

Because of the condition and fact, the mapping has a nontrival kernel. Hence, this mapping is not injective and, due to fact, also not surjective. Therefore,

is a strict linear subspace of . It follows that there exists also a linear subspace of dimension , which contains . For , we have

Hence, the image of belongs to , that is, is -invariant.


When is an -invariant linear subspace, and is a polynomial, then is also -invariant, see exercise. In this situation, the following identity holds.


Let be a field, a -vector space and

a linear mapping. Let be an -invariant linear subspace. Then, for every polynomial , the relation

holds, where here denotes the restricted mapping

(with respect to range and target).

This can be checked directly for the powers and for linear combinations of powers.



Let denote a field, and let denote a -vector space of finite dimension. Let

be a linear mapping. Let be a -invariant linear subspace and

the restriction to (also in the target). Then the minimal polynomial

of is a multiple of the minimal polynomial of .

Let be the minimal polynomial of . For , we have

due to fact. Therefore, annihilates the restricted endomorphism , and so is a multiple of the minimal polynomial of .



We consider the permutation matrix

The line is the eigenspace for the eigenvalue . Moreover,

is an invariant linear subspace (which, over , according to fact, can be decomposed further into smaller eigenspaces). With respect to the given basis, the restriction of the linear mapping to has the describing matrix

Therefore, the characteristic polynomial of this matrix is

This is also the minimal polynomial of the restriction. The minimal polynomial of the permutation matrix is , and indeed we have

in accordance with fact.