-
Prove that for any linear map and any , the set has the form
(if is not onto and is not in the range of then this set is empty since its third condition cannot be satisfied). Such a set is a coset of and we denote it as .
-
Consider the map given by
for some scalars , , , and . Prove that is linear.
-
Conclude from the prior two items that for any linear system of the form
we can write the solution set (the vectors are members of )
where is a particular solution of that linear system (if there is no particular solution then the above set is empty).
-
Show that this map is linear
for any scalars , …, . Extend the conclusion made in the prior item.
-
Show that the -th derivative map is a linear transformation of for each . Prove that this map is a linear transformation of the space
for any scalars , …, . Draw a conclusion as above.
Hefferon, Linear Algebra, Maps Between Spaces, Range Space and Null Space, Exercise 21