Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 3.A.11
Exercise 3.A.11
Suppose is finite-dimensional. Prove that every linear map on a subspace of can be extended to a linear map on . In other words, show that if is a subspace of and , then there exists such that for all .
Answers
Because is a subspace of , we can find such that
So, by the definition of a direct sum, for any , such that
| (1) |
Now, define
| (2) |
Now we need to prove that indeed is a linear map, and that extends . Let and To demonstrate additivity:
To demonstrate homogeneity,
To prove that extends ,
By (1)
Therefore, when , satisfies the equation. By the definition of a direct sum, we can conclude that is the only possible solution, therefore . Thus, when substituting into equation (2), we obtain
□