Definition. Let be a vector space over the field
and let
be a linear operator on
. A characteristic value of
is a scalar
in
such that there is a non-zero vector
in
with
. If
is a characteristic value of
, then
( a ) any such that
is called a characteristic vector of
associated with the characteristic value
;
( b ) the collection of all such that
is called the characteristic space associated with
.
Theorem 1. Let be a linear operator on a finite-dimensional space
and let
be a scalar. The following are equivalent.
(i) is a characteristic value of
.
(ii) The operator is singular (not invertible).
(iii) .
Definition. If is an
matrix over the field
, a characteristic value of
in
is a scalar
in
such that the matrix
is singular (not invertible).
The polynomial is called the characteristic polynomial of
.
Lemma. Similar matrices have the same characteristic polynomial.
Definition. Let be a linear operator on the finite-dimensional space
. We say that
is diagonalizable if there is a basis for
each vector of which is a characteristic vector of
.
Lemma. Suppose that . If
is any polynomial, then
.
Lemma. Let be a linear operator on the finite-dimensional space
. Let
be the distinct characteristic values of
and let
be the space of characteristic vectors associated with the characteristic value
. If
, then
In fact, if is an ordered basis for
, then
is an ordered basis for
.
Theorem 2. Let be a linear operator on a finite-dimensional space
. Let
be the distinct characteristic values of
and let
be the null space of
. The following are equivalent.
(i) is diagonalizable.
(ii) The characterristic polynomial for is
and .
(iii) .
Definition. Let be a linear operator on a finite-dimensional vector space
over the field
. The minimal polynomial for
is the (unique) monic generator of the ideal of polynomials over
which annihilate
.
If is an
matrix over
, we define the minimal polynomial for
as the unique monic generator of the ideal of all polynomials over
which annihilate
.
Theorem 3. Let be a linear operator on an
-dimensional vector space
[or, let
be an
matrix]. The characteristic and minimal polynomials for
[for
] have the same roots, except for multiplicities.
Theorem 4 (Cayley-Hamiltion). Let be a linear operator on a finite dimensional vector space
. If
is the characteristic polynomial for
, then
; in other words, the minimal polynomial divides the characteristic polynomial for
.
Definition. Let be a vector space and
a linear operator on
. If
is a subspace of
, we say that
is **invariant under **
if for each vector
in
the vector
is in
, i.e., if
is contained in
.
When is invariant under
,
induces a linear operator
on the space
by
.
Lemma. Let be an invariant subspace for
. The characteristic polynomial for the restriction operator
divides the characteristic polynomial for
. The minimal polynomial for
divides the minimal polynomial for
.
Definition. Let be an invariant subspace for
and let
be a vector in
. The
–conductor of
into
is the set
, which consists of all polynomials
(over the scalar field) such that
is in
. In the special case
the conductor is called the
–annihilator of
.
Lemma. If is an invariant subspace for
, then
is invariant under every polynomial in
. Thus, for each
in
, the conductor
is an ideal in the polynomial algebra
.
The unique monic generator of the ideal is also called the
–conductor of
into
(the
–annihilator in case
).
Every -conductor divides the minimal polynomial of
.
The linear operator is called triangulable if there is an ordered basis in which
is represented by a triangular matrix.
Lemma. Let be a finite-dimensional vector space over the field
. Let
be a linear operator on
such that the minimal polynomial for
is a product of linear factors
Let be a proper (
) subspace of
which is invariant under
. There exists a vector
in
such that
( a ) is not in
;
( b ) is in
, for some characteristic value
of the operator
.
Theorem 5. Let be a finite-dimensional vector space over the field
, and let
be a linear operator on
. Then
is triangulable if and only if the minimal polynomial for
is a product of linear polynomials over
.
Corollary. Let be an algebraically closed field, e.g., the complex number field. Every
matrix over
is similar over
to a triangular matrix.
Theorem 6. Let be a finite-dimensional vector space over the field
and let
be a linear operator on
. Then
is diagonalizable if and only if the mininal polynomial for
has the form
where are distinct elements of
.
The suspace is invariant under (the family of operators)
if
is invariant under each operator in
.
Lemma. Let be a commuting family of triangulable linear operators on
. Let
be a proper subspace of
which is invariant under
. There exists a vector
in
such that
( a ) is not in
;
( b ) for each in
, the vector
is in the subspace spanned by
and
.
Theorem 7. Let be a finite-dimensional vector space over the field
. Let
be a commuting family of triangular linear operators on
. There exists an ordered basis for
such that every operator in
is represented by a triangular matrix in that basis.
Corollary. Let be a commuting family of
matrices over an algebraically closed field
. There exists a non-singular
matrix
with entries in
such that
is upper-triangular, for every matrix
in
.
Theorem 8. Let be a commuting family of diagonalizable linear operators on the finite-dimensional vector space
. There exists an ordered basis for
such that every operator in
is represented in that basis by a diagonal matrix.
Definition. Let be subspaces of the vector space
. We say that
are independent if
implies that each .
Lemma. Let be a finite-dimensional vector space. Let
be subspaces of
and let
. The following are equivalent.
( a ) are independent.
( b ) For each , we have
.
( c ) If is an ordered basis for
, then the sequence
is an ordered basis for
.
If any of the conditions holds, we say the sum is direct or that
is the direct sum of
and we write
Definition. If is a vector space, a projection of
is a linear operator
on
such that
.
If and
are subspaces of
such that
, there is one and only one projection operator
which has range
and null space
. That operator is called the projection on
along
.
Theorem 9. If , then there exist
linear operators
on
such that
(i) each is a projection (
);
(ii) , if
;
(iii) ;
(iv) the range of is
.
Conversely, if are
linear operators on
which satisfy conditions (i),(ii) and (iii), and if we let
be the reange of
, then
.
Theorem 10. Let be a linear operator on the space
, and let
and
be as in Theorem 9. Then a necessary and sufficient condition that each subspace
be invariant under
is that
commute with each of the projections
, i.e.,
Theorem 11. Let be a linear operator on a finite-dimensional space
.
If is diagonalizable and if
are the distinct characteristic values of
, then there exist linear operators
on
such that
(i) ;
(ii) ;
(iii) ;
(iv) (
is a projection);
(v) the range of is the characteristic space for
associated with
.
Conversely, if there exist distinct scalars
and
non-zero linear operators
which satisfy conditions (i),(ii) and (iii), then
is diagonalizable,
are the distinct characteristic values of
, and conditions (iv) and (v) are satisfied also.
If , then
. In particular, let
, then
.
Theorem 12 (Primary Decomposition Theorem). Let be a linear operator on the finite-dimensional vector space
over the field
. Let
be the minimal operator for
,
where the are distinct irreducible monic polynomials over
and the
are positive integers. Let
be the null space of
. Then
(i) ;
(ii) each is invariant under
;
(iii) if is the operator induced on
by
, then the minimal polynomial for
is
.
Corollary. If are the projections associated with the primary decomposition of
, then each
is a polynomial in
, and accordingly if a linear operator
commutes with
then
commutes with each of the
, i.e., each subspace
is invariant under
.
Definition. Let be a linear operator on the vector space
. We say that
is nilpotent if there is some positive integer
such that
.
Theorem 13. Let be a linear operator on the finite-dimensional vector space
over the field
. Suppose that the minimal polynomial for
decomposes over
into a product of linear polynomials. Then there is a diagonalizable operator
on
and a nilpotent operator
on
such that
(i) ,
(ii) .
The diagonalizable operator and the nilpotent operator
are uniquely determined by (i) and (ii) and each of them is a polynomial in
.
Corollary. Let be a finite-dimensional vector space over an algebraically closed field
, e.g., the field of complex numbers. Then every linear operator
on
can be written as the sum of a diagonalizable operator
and a nilpotent operator
which commute. These operators
and
are unique and each is a polynomial in
.