Linear algebra (Osnabrück 2024-2025)/Part I/Lecture 27
In the last lecture, we have introduced generalized eigenspaces for an eigenvalue of an endomorphism as the kernel of for a sufficient large exponent . This means in particular that, if we restrict to the corresponding generalized eigenspace, then a certain power of it is the zero mapping. Here, we study in general endomorphisms with the property that some power of it is zero.
- Nilpotent mappings
Let be a field, and let be a -vector space. A linear mapping
is called nilpotent, if there exists a natural number such that the -th composition fulfills
A square matrix is called nilpotent, if there exists a natural number such that the -th matrix product fulfills
Let be an upper triangular matrix with the property that all diagonal entries are . Thus, has the form
Then is nilpotent, with every power the -diagonal is moved one step up and to the right. If, for example, the product of the -th row and the -th column with
is computed, then there is always a in the partial products and, altogether, the result is .
A special case of Example 27.3 is the matrix
An important observation is that under this mapping, is sent to , is sent to , and , finally, is sent to , which is sent to . The -th power of the matrix sends to and is not the zero matrix, but the -th power of the matrix is the zero matrix.
Let denote a field, and let denote a -vector space of finite dimension. Let
be a linear mapping. For an eigenvalue , the generalized eigenspace has the property that the restriction of to is nilpotent.
Let denote a finite-dimensional vector space over a field . Let
be a
linear mapping. Then the following statements are equivalent.- is nilpotent.
- For every vector
,
there exists an
such that
- There exists a
basis
of and a
such that
for .
- There exists a
generating system
of and a
such that
for .
From (1) to (2) is clear. From (2) to (3). Let be a basis (or a finite generating system), and let be such that
Then
fulfills the property for every generator. From (3) to (4) is clear. From (4) to (1). For , we have
Due to the linearity of , we have
therefore,
Let denote a field, and let denote a -vector space of finite dimension. Let
be a
linear mapping. Then the following statements are equivalent.- is nilpotent
- The minimal polynomial of is a power of .
- The characteristic polynomial of is a power of .
The equivalence of (1) and (2) follows immediately from the definition, the equivalence of (2) and (3) follows from Lemma 24.5 .
Let be a field and let denote a finite-dimensional -vector space. Let
be a nilpotent linear mapping. Then is
trigonalizable. There exists a basis such that is described, with respect to this basis, by an upper triangular matrix, in which all diagonal entries are .This follows directly from Lemma 27.7 and Theorem 25.10 .
- The Jordan decomposition of a nilpotent endomorphism
For a nilpotent endomorphism on a vector space , we have
hence, there is just one generalized eigenspace, and this is the total space. We will show that we can improve the describing matrix even further (not just having triangular form). In the next lecture, we will apply these improvements to all generalized eigenspaces of a trigonalizable endomorphism, in order to achieve the so-called Jordan normal form.
A matrix of the form
with has, with respect the basis and , the form
Let be a field and let denote a finite-dimensional -vector space. Let
be a nilpotent linear mapping. Let
and suppose that is minimal with this property. Then, between the linear subspaces
the relation
holds, and the inclusions
are strict for
.Let . Then, the containment is equivalent with . This gives the first claim. For the second claim, assume that
holds for some . By applying , we get
In this way, we obtain
contradicting the minimality of .
Let be a field and let denote a finite-dimensional -vector space. Let
be a nilpotent linear mapping. Then there exists a basis of with
or
Let and suppose that is minimal with this property. We consider the linear subspaces
Let be a direct complement for , therefore,
Because of Lemma 27.10 , we have
and
Therefore, there exists a linear subspace of with
and with
In this way, we obtain linear subspaces such that
and
Morover,
since we refine the preceding direct sum decomposition in every step. Also, , restricted to[1] with is injective. For , it follows
by the directness of the composition. We construct now a basis with the claimed properties. For this, we choose a basis of . We can extend the (linearly independent) image to get a basis of , and so forth. The union of these bases is then a basis of . The basis element of for are sent by construction to other basis elements, and the basis elements of are sent to . To get an ordering, we choose a basis element from , together with all its successive images, then we choose another basis element of , together with all its successive images, until the is exhausted. Then we work with in the same way. In the last step, we swap the ordering of the basis elements just constructed.
Let be a field and let denote a finite-dimensional -vector space. Let
be a nilpotent linear mapping. Then there exists a basis of such that describing matrix, with respect to this basis, has the form
This follows directly from Lemma 27.11 .
For a nilpotent mapping on a two-dimensional vector space , we either have the zero mapping, or a nilpotent mapping with an one-dimensional kernel. In this case, we obtain man for every element
a basis
(in this ordering),
such that the describing matrix has the form . When the dimension is larger,we get more and more complex possibilities. We discuss some typical examples in dimension three.
We want to apply Lemma 27.11 to
We have
and
Therefore,
We have
so that wir can choose
We have
Hence,
with
Finally,
Therefore,
is a basis with the intended properties.
The inverse matrix to
is
therefore,
We want to apply Lemma 27.11 to
We have
Therefore,
We have
so that we can choose
We have
Therefore,
Hence,
is a basis as looked for. With respect to this basis, the linear mapping is described by the matrix
We want to apply Lemma 27.11 to
We have
Therefore,
We have
so that we can choose
We have
Therefore,
Hence,
is a looked-for basis. With respect to this basis, the linear mapping is described by the matrix
- Footnotes
- ↑ Restriction as a mapping to ; the are in general not -invariant.
<< | Linear algebra (Osnabrück 2024-2025)/Part I | >> PDF-version of this lecture Exercise sheet for this lecture (PDF) |
---|