这一节介绍比较经典的direct sum和projection的概念,direct sum可以和k维坐标有一个形象的类比,实质是一种“互不相干”的感觉。在direct sum下不同子空间的基合起来就是和空间的一组基。投影projection是线性代数中比较重要的概念,其体现了线性无关的分解思想,本节的投影定义不是很多其他教材上用的类似这样概念上很好理解和想象但定义上略不严格的做法,而是用条件
定义,这样的投影是
上的投影。Theorem 9揭示了投影和direct sum之间的关系:有直和就能得到对应的projection,反之亦然。
Exercises
1.Let be a finite-dimensional vector space and let
be any subspace of
. Prove that there is a subspace
of
such that
.
Solution: Let be an ordered basis for
and extend it to an ordered basis of
, namely
, then let
be the subspace spanned by
, we have
, as apparently
and
.
2.Let be a finite-dimensional vector space and let
be subspaces of
such that
Prove that .
Solution: Let be an ordered basis for
, then the sequence
has
vectors, and it spans
. It follows that
is a basis for
, so vectors in
are linearly independent. If
for
, then writing each
as a linear combination of the basis vectors, we see all the vectors shall be
, thus
for all
.
3.Find a projection which projects
onto the subspace spanned by
along the subspace spanned by
.
Solution:
4.If and
are projections onto independent subspaces, then
is a projection. True or false?
Solution: Let be the vector space we discuss in. We let
projects on
and
projects on
, then for any
, we shall have
thus since , we have
which means , so
5.If is a projection and
is a polynomial, then
. What are
and
in terms of the coefficients of
?
Solution: Let , then for a projection
we have
for all
, thus
and
.
6.True or false? If a diagonalizable operator has only the characteristic values and
, it is a projection.
Solution: True. Let be a diagonalizable operator which has only the characteristic values
and
, then there is invertible
such that
notice the diagonal matrix has the property of idempotent, thus
7.Prove that if is the projection on
along
, then
is the projection on
along
.
Solution: If is the projection on
along
we know
, thus consider
, for any
we can have
, thus
thus and so
is a projection. Also we have
thus is a projection on
along
.
8.Let be linear operator on the space
such that
.
( a ) Prove that if for
, then
for each
.
( b ) In the case , prove the converse of (a). That is, if
and
, then
.
Solution:
( a ) We have .
( b ) We have , thus
.
9.Let be a real vector space and
an idempotent linear operator on
, i.e., a projection. Prove that
is invertible. Find
.
Solution: We have
thus .
10.Let be a subfield of the complex numbers (or, a field of characteristic zero). Let
be a finite-dimensional vector space over
. Suppose that
are projections of
and that
. Prove that
for
.
Solution: For , we see that
, thus the minimal polynomial of
divides
, thus the only possible characteristic value of
is
, if we diagonalize
, then
, the number of times which
appears in the diagonal matrix means how many column vectors in
vanishes under
, so
. Now we have
and also means
, from Exercise 2 we know
, thus
for
due to Theorem 9.
11.Let be a vector space, let
be subspaces of
, and let
Suppose that . Prove that the dual space
has the direct-sum decomposition
.
Solution: Let be a basis for
, then since
, we have
be a basis for
. We can find the dual basis
for the basis
, furthermore, we can let
be the functionals in
which contains functional dual to the vectors in
, then
. Since
is a basis for
, any
can be represented as a linear combination in
. We now prove that
is a basis for
. Let
, then since
vanishes for all vectors in
except those in
, we can see
is just a linear combination of functionals in
, thus
spans
, as
is linearly independent, it is a basis for
.
Now if we have where each
, then each
can be written as a linear combination of
, thus
is a linear combination of
, thus all the coefficients of this basis are
, which means
for all
.