In order to understand the resultant vector spaces better, could someone provide a proof of the following statement for finite vector spaces:
“Linear maps between vector spaces form a vector space.”
I have no problems for everyday vectors (points in space, ordered n-tuples, etc) and for standard vector addition. However, the definitions clearly go way beyond the every day to operations that are not normal addition, and to objects much more abstract than everyday vectors.