Jump to content

Linear algebra (Osnabrück 2024-2025)/Part I/Lecture 25/refcontrol

From Wikiversity



Trigonalizable mappings

Let denote a field,MDLD/field and let denote a finite-dimensionalMDLD/finite-dimensional (fgvs) vector space.MDLD/vector space A linear mappingMDLD/linear mapping is called trigonalizable, if there exists a basisMDLD/basis (vs) such that the describing matrix of with respect to this basis is an

upper triangular matrix.MDLD/upper triangular matrix

Diagonalizable linear mappings are in particular trigonalizable. The inverse statement is not true, as example shows. We will see in fact 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 similarMDLD/similar (matrix) 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.MDLD/trigonalizable The matrix

is invertibleMDLD/invertible (matrix) with the inverse matrixMDLD/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 polynomialMDLD/characteristic polynomial and fact. The characteristic polynomial is

and this factors into linear factors.


Let denote finite-dimensionalMDLD/finite-dimensional vector spacesMDLD/vector spaces over the fieldMDLD/field , let

denote linear mappings,MDLD/linear mappings and let

denote the product mapping.MDLD/product mapping Then is trigonalizableMDLD/trigonalizable

if and only if this holds for all .

Proof


In particular, the preceding statement holds when

is a direct sumMDLD/direct sum (vs) of -invariant linear subspaces.MDLD/invariant linear subspaces



Invariant linear subspaces

A trigonalizable endomorphismMDLD/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 -invariantMDLD/invariant (endomorphism) 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,MDLD/field and let be a -dimensionalMDLD/dimensional (fgvs) vector space.MDLD/vector space Let

be a linear mapping,MDLD/linear mapping and let be an eigenvalueMDLD/eigenvalue of . Then there exists a -invariantMDLD/invariant (linear subspace) linear subspaceMDLD/linear subspace

of dimension .

Because of the condition and fact, the mapping has a nontrival kernel.MDLD/kernel Hence, this mapping is not injectiveMDLD/injective and, due to fact, also not surjective.MDLD/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,MDLD/field a -vector spaceMDLD/vector space and

a linear mapping.MDLD/linear mapping Let be an -invariant linear subspace.MDLD/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,MDLD/field and let denote a -vector spaceMDLD/vector space of finite dimension. Let

be a linear mapping.MDLD/linear mapping Let be a -invariant linear subspaceMDLD/invariant linear subspace and

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

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 matrixMDLD/permutation matrix

The line is the eigenspaceMDLD/eigenspace for the eigenvalue . Moreover,

is an invariant linear subspaceMDLD/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 polynomialMDLD/characteristic polynomial of this matrix is

This is also the minimal polynomialMDLD/minimal polynomial (Matrix) of the restriction. The minimal polynomial of the permutation matrix is , and indeed we have

in accordance with fact.



Characterizations for trigonalizable mappings
A flag consists of the base point, the flagpole, the fabric and the space in which the fabric blows.

Let denote a field,MDLD/field and let denote a finite-dimensionalMDLD/finite-dimensional (fgvs) vector spaceMDLD/vector space of dimension . Then a chain of linear subspacesMDLD/linear subspaces

is called a flag in .

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 spaceMDLD/vector space of dimensionMDLD/dimension (vs) , and let

be a linear mapping.MDLD/linear mapping A flagMDLD/flag

is called -invariant, if holds for all

.

Let denote a field,MDLD/field and let denote a finite-dimensionalMDLD/finite-dimensional (fgvs) vector space.MDLD/vector space Let

denote a

linear mapping.MDLD/linear mapping Then the following statements are equivalent.
  1. is trigonalizable.MDLD/trigonalizable
  2. There exists a -invariant flag.MDLD/invariant flag
  3. The characteristic polynomialMDLD/characteristic polynomial splits into linear factors.MDLD/linear factors (1K)
  4. The minimal polynomialMDLD/minimal polynomial (linear) splits into linear factors.MDLD/linear factors (1K)
If is trigonalizable is and if it is described, with respect to a basis, by the matrix , then there exists an

invertible matrixMDLD/invertible matrix (set ) such that is an

upper triangular matrix.MDLD/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 -invariantMDLD/invariant (linear) and that they form an invariant flag.

From (2) to (1). Let

be a -invariant flag.MDLD/invariant flag Due to fact, there exists a basis of such that

Since this flag is invariant, we have

Therefore, the describing matrixMDLD/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 fact, the characteristic polynomial is the product of the linear factors arising from the diagonal entries.

From (3) to (4). Due to fact, 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 fact and fact, the mapping has an eigenvalue. Because of fact, there exists an -dimensional linear subspaceMDLD/linear subspace

which is -invariant.MDLD/invariant (linear) Due to fact, 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 fact 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 fact and which rests on fact, 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 complexMDLD/complex entries. Then is

trigonalizable.MDLD/trigonalizable

This follows from fact and the Fundamental theorem of algebra.



We consider a real -matrix . The characteristic polynomialMDLD/characteristic polynomial is

This polynomial splits into (real) linear factors if and only if . The matrix is trigonalizableMDLD/trigonalizable exactly in this case, due to fact.


<< | Linear algebra (Osnabrück 2024-2025)/Part I | >>
PDF-version of this lecture
Exercise sheet for this lecture (PDF)