CHAPTER 3 Linear Maps
- Make sure you verify that each of the functions defined below is indeed a linear map:
-
zero:
is defined by
.
-
identity:
is defined by
.
-
multiplication by
:
is defined by
for
.
-
backwar shift:
is defined by
.
- from
to
:
is defined by
.
-
zero:
Proof
-
zero. Additivity: for all
,
.
homogeneity: for all
and all
,
.
-
identity: Additivity: for all
,
.
homogeneity: for all
and all
,
.
-
multiplication by
: Additivity: for all
,
homogeneity: for all
and all
,
.
-
backwar shift: Additivity: for all
,
homogeneity: for all
and all
,
from
to
: Additivity: for all
,
homogeneity: for alland all
,
- You should verify that
is indeed a linear map from
to
whenever
and
.
Proof Additivity: for all ,
homogeneity: for all and all
,
- The reader should verify that
is indeed a linear map.
Proof Additivity: for all ,
homogeneity: for all and all
,
- The routine verification that
is linear is left to the reader.
Proof Additivity: for all ,
homogeneity: for all and all
,
- You should construct the proof outlined in the paragraph above, even though a slicker proof is presented here. Suppose
is finite-dimensional and
is a subspace of
. Then
.
Proof Let be a basis of
; thus
. The linearly independent list
can be extended to a basis
of
.
Thus . To complete the proof, we need only show that
is finite-dimensional and
.
Suppose is a basis of
,
. We can write
Because and
, we have
Similarly, all are
. Hence
.
Thus , which shows that
.
Suppose . Then there exist
such that
. If
, then
Thus , which shows that
.
Hence . We also know that
is a basis of
. Therefore
is linearly independent.
Hence it can be a basis of . Thus
.