Linear algebra (Osnabrück 2024-2025)/Part I/Lecture 25
- Trigonalizable mappings
Let denote a field, and let denote a finite-dimensional vector space. A linear mapping is called trigonalizable, if there exists a basis such that the describing matrix of with respect to this basis is an
upper triangular matrix.Diagonalizable linear mappings are in particular trigonalizable. The inverse statement is not true, as Example 22.12 shows. We will see in Theorem 25.10 that a linear mapping is trigonalizable if and only if its characteristic polynomial factors into linear factors. A square matrix is called trigonalizable if the corresponding linear mapping is trigonalizable. This means that there exists a basis such that the mapping is described by an upper triangular matrix with respect to this basis, or, that there exists an invertible matrix (the base change matrix) such that
is an upper triangular matrix. Therefore, a matrix is trigonalizable if and only if it is similar to an upper triangular matrix. The process of finding such a basis and to perform this base change is called trigonalization.
We claim that the matrix
is trigonalizable. The matrix
is invertible with the inverse matrix
A direct computation shows
In this verification of trigonalizability, the transformation matrix arises just like that. We get a more reasonable proof with the help of the characteristic polynomial and Theorem 25.10 . The characteristic polynomial is
and this factors into linear factors.
Let denote finite-dimensional vector spaces over the field , let
denote linear mappings, and let
denote the product mapping. Then is trigonalizable
if and only if this holds for all .Proof
In particular, the preceding statement holds when
is a direct sum of -invariant linear subspaces.
- Invariant linear subspaces
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 Lemma 22.1 , the mapping has a nontrival kernel. Hence, this mapping is not injective and, due to Corollary 11.9 , 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 23.31
.
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 Lemma 25.5 . 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 Lemma 24.11 , 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 Corollary 25.6 .
- Characterizations for trigonalizable mappings
Let denote a field, and let denote a finite-dimensional vector space of dimension . Then a chain of linear subspaces
Hence, a flag is a chain of linear subspaces, contained in each other, and where the dimension increase by in each step.
Let be a vector space of dimension , and let
be a linear mapping. A flag
is called -invariant, if holds for all
.Let denote a field, and let denote a finite-dimensional vector space. Let
denote a
linear mapping. Then the following statements are equivalent.- is trigonalizable.
- There exists a -invariant flag.
- The characteristic polynomial splits into linear factors.
- The minimal polynomial splits into linear factors.
invertible matrix (set ) such that is an
upper triangular matrix.Form (1) to (2). Let be a basis with the property that the describing matrix of with respect to this matrix is an upper triangular form. The action of this matrix shows directly that the linear subspaces
are -invariant and that they form an invariant flag.
From (2) to (1). Let
be a -invariant flag. Due to Theorem 8.10 , there exists a basis of such that
Since this flag is invariant, we have
Therefore, the describing matrix of with respect to this basis is upper triangular.
From (1) to (3). The characteristic polynomial of is equal to the characteristic polynomial , where denotes a describing matrix with respect to an arbitrary basis. We may assume that is an upper triangular matrix. Then, according to Lemma 16.4 , the characteristic polynomial is the product of the linear factors arising from the diagonal entries.
From (3) to (4). Due to Corollary 24.3 , the minimal polynomial divides the characteristic polynomial.
From (4) to (2). We prove the statement by induction over , the cases
being clear. Due to the condition and Corollary 24.3 and Theorem 23.2 , the mapping has an eigenvalue. Because of Lemma 25.4 , there exists an -dimensional linear subspace
which is -invariant. Due to Corollary 25.6 , the minimal polynomial of the restriction divides the minimal polynomial of , therefore, it also splits into linear factors. By the induction hypothesis, there exists an -invariant flag
and so this is also a -invariant flag.
The supplement follows as follows. Suppose that the trigonalizable mapping is described by the matrix with respect to the basis , and by the upper triangular matrix with respect to the basis Then, because of
Corollary 11.12
the relation
holds, where is the transformation matrix of the base change.
The method to find an invariant flag, which is described in the proof of the implication (4) (2) of Theorem 25.10 and which rests on Lemma 25.4 , is constructive. If the restriction to some invariant linear subspace already constructed does not have an eigenvalue, then we know that the linear mapping is not trigonalizable.
Let denote a square matrix with complex entries. Then is
trigonalizable.This follows from Theorem 25.10 and the Fundamental theorem of algebra.
We consider a real -matrix . The characteristic polynomial is
This polynomial splits into (real) linear factors if and only if . The matrix is trigonalizable exactly in this case, due to Theorem 25.10 .
<< | Linear algebra (Osnabrück 2024-2025)/Part I | >> PDF-version of this lecture Exercise sheet for this lecture (PDF) |
---|