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 .
Let be a basis for then extend it to a basis of using 2.33. Define and for all .
is clearly linear because we defined it in terms of how it acts on the basis vectors. And clearly .
This is fun to contrast with 3a/10 where we proved the naive extension doesn't work