这一节内容非常丰富。Theorem 4提出了linear transformation的线性组合是什么,以及所有的linear transformation是一个vector space。Theorem 5是说明和
的dimension之间的关系。Theorem 6定义了linear transformation的composition。在同一个space上的linear transformation称为operator,有翻译为算子的。EXAMPLE8-10都是很好的例子,其揭示了linear operator可以是多样的。之后定义invertible的概念,注意invertible是在两个不同的space中可以成为单位算子,Theorem 7说明inverse也是linear transformation。然后是non-singular的概念,很类似于函数中的injective,Theorem 8说明non-singular的线性变换可以保持线性无关性。EXAMPLE11说明non-singular和onto之间没有必然的关系,EXAMPLE12则是一个同时non-singular和onto(从而invertible)的例子。Theorem 9说明,如果
,那么从
到
的线性变换
满足non-singular、onto和invertible三者成立其一则另外两者也成立。最后给出了group和commutative group的定义。
Exercises
1. Let and
be the linear operators on
defined by
( a ) How would you describe and
geometrically?
( b ) Give rules like the ones definning and
for each of the transformations
.
Solution:
( a ) is a symmetric transformation with respect to the line
,
is the projection on
-axis.
( b ) We have
2. Let be the (unique) linear operator on
for which
Is invertible?
Solution: No, since , thus
but .
3. Let be the linear operator on
defined by
Is invertible? If so, find a rule for
like the one which defines
.
Solution: is invertible, the rule for
can be described as
4. For the liear operator of Exercise 3, prove that
Solution: Since
and
so
5. Let be the complex vector space of
matrices with complex entries. Let
and let be the linear operator on
defined by
. What is the rank of
? Can you describe
?
Solution: If , then
the rank of is 2. Also we have
.
6.Let be a linear transformation from
into
, and let
be a linear transformation from
into
. Prove that the transformation
is not invertible. Generalize the theorem.
Solution: Let , then
, thus are linearly dependent, without loss of generality, we suppose
, then
, or
Notice , we can have
thus is not invertible.
7. Find two linear operators and
on
such that
but
.
Solution: Let , then
8. Let be a vector space over the field
and
a linear operator on
. If
, what can you say about the relation of the range of
to the null space of
? Give an example of a linear operator
on
such that
but
.
Solution: If , then for any
, we have
, thus
, so
also belongs to the null space of
, it follows that
is a subspace of the null space of
.
is an example of
, while
.
9. Let be a linear operator on the finite-dimensional space
. Suppose there is a linear operator
on
such that
. Prove that
is invertible and
. Give an example which shows that this is false when
is not finite dimensional.
Solution: For any , we have
, this means
, so the range of
is
, by Theorem 9,
is invertible. To see
, notice that
and
, thus
If on the space of polynomial functions, then let
be the integrable operator on the space of polynomial functions, we have
, but
is not invertible.
10. Let be an
with entries in
and let
be the linear transformation from
into
defined by
. Show that if
we may have
non-singular but not onto.
Solution: If , then the system
can have a solution if rank
, so
can be onto, but
must have an nonzero solution, since the solution space has dimension
.
If , then let
, each
a
vector, as long as those
are linearly independent,
will mean
and
, so
is non-singular, but
and
cannot span
, thus
is not onto.
11. Let be a finite-dimensional vector space and let
be a linear operator on
. Suppose that
. Prove that the range and null space of
are disjoint, i.e., have only the zero vector in common.
Solution: Assume , then
, and
is a linear independent set in
, thus can be expanded to a basis of range
, namely
, so
. Notice that
is the set of vectors
, and
, as
, we have
, in which
are scalars. So
, which means
spans range
, so
, a contradiction.
12. Let and
be positive integers and
a field. Let
be the space of
matrices over
and
the space of
matrices over
. Let
be a fixed
matrix and let
be the linear transformation from
into
defined by
. Prove that
is invertible if and only if
and
is an invertible
matrix.
Solution: If and
is an invertible
matrix, then define
, we have
and
. Thus
is invertible and
.
Conversely, if is invertible, then
is non-singular and
, use Exercise 3.2.10 we know if
, then
cannot be onto, if
, then
cannot be non-singular. Thus
and
is a
matrix, if B is not invertible then the column vectors of
are linearly dependent, thus there is
not all 0 such that
, then let
be a matrix with
be in the first column and 0 otherwise, we have
, this contradicts
being non-singular. Thus
must be invertible.