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 .
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 all and 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 .