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.