这一节的内容不长但是证明很难。核心目的是证明
可以成为有限个cyclic space的直和。首先介绍了
-admissible的定义,是一个比invariant更强的定义,其能够保证多项式运算在子空间中有对应的分项(投影),Theorem 3是Cyclic Decomposition Theorem,与之前的Primary Decomposition Theorem相比,其说明
可以成为惟一的有限个
-admissible space的直和,且每个子空间都是一个cyclic space,其generator的
-annihilator是可以递归整除的。在本节的前文中,作者称这个定理是one of the deepest results in linear algebra,证明确实非常繁复。这一定理有一系列重要的推论,例如每一个
-admissible空间都有一个invariant的互补空间。Theorem 4是广义的Cayley-Hamiltion定理,在之前的最小多项式整除特征多项式的结论之上,还可以推出二者有相同的prime factors,且已知最小多项式就可以得出特征多项式。Theorem 5声明每个矩阵都相似于一个唯一的rational form的矩阵。
Exercises
1.Let
be the linear operator on
which is represented in the standard ordered basis by the matrix
. Let
. Show that
, and that there is no non-zero vector
in
with
disjoint from
.
Solution: We have

thus
, which means
, so
.
Suppose there is some
such that
is disjoint from
, then
, which means
or
, so
, but this means
, which contradicts the hypothesis that
is disjoint from
.
2.Let
be a linear operator on the finite-dimensional space
, and let
be the range of
.
( a ) Prove that
has a complementary
-invariant subspace if and only if
is independent of the null space
of
.
( b ) If
and
are independent, prove that
is the unique
-invariant subspace complementary to
.
Solution:
( a ) If
is independent of
, then from
we know that
, and
is obviously
-invariant. Conversely, if
has a complementary
-invariant subspace
, let
, then
, but also
, thus
and
, so
, since
, we know
and so
.
( b ) Let
be any
-invariant subspace complementary to
, from the prood of (a) we can see that
, given
and
are independent.
3.Let
be the linear operator on
which is represented in the standard ordered basis by the matrix

Let
be the null space of
. Prove that
has no complementary
-invariant subspace.
Solution: Assume there exists a
-invariant subspace
of
such that
, then let
, we have
, since
we see that
. On the other hand, since
, we can find
such that
, so

Since
is
-invariant, we see that
and
, but
means
, but
, this is a contradiction.
4.Let
be the linear operator on
which is represented in the standard ordered basis by the matrix

Let
be the null space of
.
( a ) Prove that
is the subspace spanned by
.
( b ) Find the monic generators of the ideals
,
,
,
.
Solution:
( a ) A direct computation shows that the matrix of
in the standard ordered basis is the matrix

and we have
, thus
consists of all vectors of the form
.
( b ) As
is already in
, we have
for all
, thus the monic generator of
is
.
We have
, so the monic generator of
is
. By the same logic, the monic generator of
is
and the monic generator of
is
.
5.Let
be a linear operator on the vector space
over the field
. If
is a polynomial over
and
, let
. If
are
-invariable subspaces and
, show that
.
Solution: For
, we have
, in which
for
, so

this shows
. To see the sum is a direct sum, let
with
, then we can find
such that
, since
and
are
-invariant, we have
and
, so
and
, this shows
and
are independent.
6.Let
be as in Exercise 5. Suppose
and
are vectors in
which have the same
-annihilator. Prove that, for any polynomial
, the vectors
and
have the same
-annihilator.
Solution: Let
be the
-annihilator of both
and
. Suppose the
-annihilator of
is
, then
, which means
is in the ideal generated by
, so we can find polynomial
such that
, this means
, thus the
-annihilator of
divides
, with the same logic applying to the
-annihilator of
, we see
divides the
-annihilator of
, thus they are the same.
7.Find the minimal polynomials and the rational forms of each of the following real matrices.

Solution: For the first matrix, we compute the characteristic polynomial

and the minimal polynomial is also
. Thus the rational form of this matrix is

For the second matrix we compute the characteristic polynomial
![\displaystyle{\begin{aligned}\begin{vmatrix}x-c&0&1\\0&x-c&-1\\1&-1&x-c\end{vmatrix}&=(x-c)[(x-c)^2-1]-(x-c)\\&=(x-c)[(x-c)^2-2]\\&=x^3-3cx^2+(3c^2-2)x-c^3+2c\end{aligned}}](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B%5Cbegin%7Baligned%7D%5Cbegin%7Bvmatrix%7Dx-c%260%261%5C%5C0%26x-c%26-1%5C%5C1%26-1%26x-c%5Cend%7Bvmatrix%7D%26%3D%28x-c%29%5B%28x-c%29%5E2-1%5D-%28x-c%29%5C%5C%26%3D%28x-c%29%5B%28x-c%29%5E2-2%5D%5C%5C%26%3Dx%5E3-3cx%5E2%2B%283c%5E2-2%29x-c%5E3%2B2c%5Cend%7Baligned%7D%7D&bg=ffffff&fg=333A42&s=0&c=20201002)
and the minimal polynomial is also
. Thus the rational form of this matrix is

For the third matrix we compute the characteristic polynomial

and the minimal polynomial is also
. Thus the rational form of this matrix is
.
8.Let
be the linear operator on
which is represented in the standard basis by

Find non-zero vectors
satisfying the conditions of Theorem 3.
Solution: We first compute the characteristic polynomial of
:

Now the matrix of
is obviously not zero and the matrix of
is

thus the minimal polynomial for
is
. Since
which is not a scalar multiple of
,
has dimension 2 and consists of all vectors

So we can let
, the vector
must be a characteristic vector of
which is not in
, As we can see if
, then
means
is in the form
, let
we see that we can make
.
9.Let
be the real matrix

Find an invertible
real matrix
such that
is in rational form.
Solution: First compute the characteristic polynomial for 

and since

the minimal polynomial for
is
.
Since
is not a scalar multiple of
, one subspace can be
, which consists of vectors like
, choose a characteristic vector associated with the characteristic value
, which may be
, then let

we have
, thus
is invertible, and

the rational form of
is clearly
, and we have

thus
is the matrix we need.
10.Let
be a subfield of the complex numbers and let
be the linear operator on
which is represented in the standard ordered basis by the matrix

Find the characteristic polynomial for
. Consider the cases
;
;
. In each of these cases, find the minimal polynomial for
and non-zero vectors
which satisfy the conditions of Theorem 3.
Solution: The characteristic polynomial for
is
.
In the case
, the minimal polynomial for
is
, since for
, we have
,
,
, we have
.
In the case
and
, the minimal polynomial for
is
. The non-zero vectors
satisfing Theorem 3 can be found using techniques in the proof of Theorem 3.
11.Prove that if
and
are
matrices over a field
, a necessary and sufficient condition that
and
be similar over
is that they have the same characteristic polynomial and the same minimal polynomial. Give an example which shows that this is false for
matrices.
Solution: If
and
are similar, then both are similar to the same matrix
which is in rational form, thus the minimal polynomial for
and
are the same. Let it be
.
If
, then it is the characteristic polynomial for both
and
.
If
, then
must have the form
, where
is a
matrix in the rational form, then the characteristic polynomial for
and
are
.
If
, then
must be diagonal, then it is apparent the characteristic polynomial for
and
are equal.
Conversely, if
and
have the same characteristic polynomial
and the same minimal polynomial
. We find the unique matrix in the rational form that
and
are similar to, namely
and
, then
If
, then we must have
.
If
, then
,
, where
is a
matrix in the rational form, and
means
, so
.
If
, then
and
must be diagonal, since the characteristic polynomial for
and
are equal ,we have
.
Since
is similar to
and
is similar to
, we have
similar to
.
For a counterexample of
matrix, we let

The characteristic polynomial of
and
is
, the minimal polynomial of
and
is
, but
and
are not similar.
12.Let
be a subfield of the field of complex numbers, and let
and
be
matrices over
. Prove that if
and
are similar over the field of complex numbers, then they are similar over
.
Solution: The rational form of
is a matrix over
, thus a matrix over
, likewise for
. Thus if
and
are similar over the field of complex numbers, due to Theorem 5, the rational form of
is the same as
over
, which means
and
are similar to the same rational form over
, and the conclusion follows.
13.Let
be an
matrix with complex entires. Prove that if every characteristic value of
is real, then
is similar to a matrix with real entries.
Solution: The characteristic polynomial for
contains only linear factors, and so is the minimal polynomial
for
, since every characteristic value of
is real, we see
consists only real coefficients.
Let
be the linear operator on
which is represented by
in the standard basis, then there is an ordered basis
for
such that
![\displaystyle{[T]_{\mathfrak B}=\begin{bmatrix}A_1\\&A_2\\&&{\ddots}\\&&&&A_r\end{bmatrix}}](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%7B%5BT%5D_%7B%5Cmathfrak+B%7D%3D%5Cbegin%7Bbmatrix%7DA_1%5C%5C%26A_2%5C%5C%26%26%7B%5Cddots%7D%5C%5C%26%26%26%26A_r%5Cend%7Bbmatrix%7D%7D&bg=ffffff&fg=333A42&s=0&c=20201002)
where each
is the companion matrix of some polynomial
, and
, and
for
, since
consists only real coefficients, so are all
, which means all
have real entries, and so is
, apparently,
is similar to
.
14.Let
be a linear operator on the finite-dimensional space
. Prove that there exists a vector
with this property. If
is a polynomial and
, then
. (Such a vector
is called a separating vector for the algebra of polynomials in
.) When
has a cyclic vector, give a direct proof that any cyclic vector is a separating vector for the algebra of polynomials in
.
Solution: We first prove if
is a cyclic vector of
, then
is a separating vector for the algebra of polynomials in
. Suppose
, then
span
, so for any
, we have
for some polynomial
. Now if
is a polynomial and
, we have

thus
.
Now for any linear operator
on
, use the Cyclic Decomposition Theorem, we can write
, let
, then
means
since each
is invariant under
, and
is the direct sum of all
. It follows that
on
for
, which means
on
.
15.Let
be a subfield of the field of complex numbers, and let
be an
matrix over
. Let
be the minimal polynomial for
. If we regard
as a matrix over
, then
has a minimal polynomial
as an
matrix over
. Use a theorem on linear equations to prove
. Can you also see how this follows from the cyclic decomposition theorem?
Solution: If we write
, then
means
is a solution for the system

in the field
, and likewise,
is the polynomial which has coefficients
as a solution for the same system in the field
, then
is a solution in
due to the final remark in Sec 1.4. Thus both
and
are in the solution space for
. To prove
, assume there is some
, then
is a non-trivial solution for the system

Let
and
, we see
, but
, a contradiction.
To get this result from the cyclic decomposition theorem, notice that by Exercise 12,
has the same rational form in
and
, and the first block matrix of the rational form of
is the companion matrix of
in
and
in
, we have
.
16.Let
be an
matrix with real entries such that
. Prove that
is even, and if
, then
is similar over the field of real numbers to a matrix of the block form
where
is the
identity matrix.
Solution: The minimal polynomial for
is
, by the generalized Cayley-Hamilton Theorem, the characteristic polynomial for
must be of the form
, so
is even.
If
, we know
is similar to one and only one matrix
in the rational form. If we write

where each
is the companion matrix of
, and
divides
, from the proof of Theorem 3 we know
, and the only possible polynomial which divides
is
and
. Since
can only be the annihilator of zero vectors, we see that

Let
be a basis for
and
is the linear operator with
, then

If we let
for
and
for
, then
is a basis for
, and we can verify
, which means
is similar to
and so is
.
17.Let
be a linear operator on a finite-dimensional vector space
. Suppose that
( a ) the minimal polynomial for
is a power of an irreducible polynomial;
( b ) the minimal polynomial is equal to the characteristic polynomial.
Show that no non-trivial
-invariant subspace has a complementary
-invariant subspace.
Solution: Let
be a non-trivial
-invariant subspace of
, assume there is
which is
-invariant such that
, let
and
, then the minimal polynomial
of
and
of
divide the minimal polynomial for
. Since the minimal polynomial for
is of the form
where
is irreducible, we have
and
, where
. As
is non-trivial, we have
.
Now if
, we can get a contradiction by the following procedure: from (b) we know that
has a cyclic vector
such that the
-annihilator of
is
, and there is
such that
, we let
, then
, and
, which means
, this is a contradiction.
Thus
, or the minimal polynomial for
is
, which means
or
.
18.If
is a diagonalizable linear operator, then every
-invariant subspace has a complementary
-invariant subspace.
Solution:
is diagonalizable means if we let
be distinct characteristic values of
and let
, then

Let
be a
-invariant subspace of
, then by Exercise 10 of Section 6.8, we have

Consider
, for any
, we have
, so
. Since
is a subspace, we can find
to be a basis for it, then it can be extended to a basis for
, namely
, all of which are characteristic vectors associated with
. Let
be the space spanned by
, then
, let
, we see that
, and as each
is invariant under
, so is
.
19.Let
be a linear operator on the finite-dimensional space
. Prove that
has a cyclic vector if and only if the following is true: Every linear operator
which commutes with
is a polynomial in
.
Solution: First suppose
is a cyclic vector of
, then if
, we have
being a basis for
. Given an operator
which commutes with
, we have

where
, notice that

We can see that
on a basis for
, thus on
.
Conversely, if every linear operator
which commutes with
is a polynomial in
, let the cyclic decomposition of
by
be

and
is the
-annihilator for
with
. Define
as follows:
if
and
if
. For any
, we have
where each
, so

Then
commutes with
, thus is a polynomial for
. Let
, since
, we know
, which means
for
, so
for
, which means
for
, so
and
has a cyclic vector.
20.Let
be a finite-dimensional vector space over the field
, and let
be a linear operator on
. We ask when it is true that every non-zero vector in
is a cyclic vector for
. Prove that this is the case if and only if the characteristic polynomial for
is irreducible over
.
Solution: Let
. First suppose the characteristic polynomial
for
is irreducible over
, then by the Generalized Cayley-Hamiltion Theorem, the minimal polynomial
for
is equal to
and irreducible over
. For any nonzero vector
, if
is linearly dependent, then there is
with
, since
, we see
, a contradiction to
being irreducible. Then it means
is linearly independent, or
.
Conversely, if every non-zero vector in
is a cyclic vector for
, and assume the characteristic polynomial
for
is not irreducible over
, then if the minimal polynomial
for
is not the same as
, we have
, there is a vector
such that the
-annihilator for
is
, so
has dimension
, which means
is not a cyclic vector for
.
If
and
where
, then it is apparent
, let
, there is a vector
such that the
-annihilator for
is
, thus
, and
. Notice that

this shows
is linearly dependent, thus by Theorem 1,
, so
is not a cyclic vector for
.
21.Let
be an
matrix with real entries. Let
be the linear operator on
which is represented by
in the standard ordered basis, and let
be the linear operator on
which is represented by
in the standard ordered basis. Use the result of Exercise 20 to prove the following: If the only subspace invariant under
are
and the zero subspace, then
is diagonalizable.
Solution: Since
is real, the characteristic polynomial for
and
are equal, both are
. Now given any nonzero vector
, the cyclic space
must be
since it is invariant under
and contains
, so by Exercise 20,
is irreducible over
, which means
must be of the form
or
where
. Then in the field
,
can be factored into prime factors and thus
is diagonalizable.