Suppose VV is finite dimensional. Prove that every linear map on a subspace of VV can be extended to a linear map on VV. In other words, show that if UU is a subspace of VV and SL(U,V)S \in \mathcal L(U,V), then there exists TL(V,V)T \in \mathcal L(V,V) such that Tu=SuTu = Su for all uUu \in U.


Let u1,,umu_1,\dots,u_m be a basis for UU then extend it to a basis u1,,um,v1,,vnu_1,\dots,u_m,v_1,\dots,v_n of VV using 2.33. Define Tuj=SujTu_j = Su_j and Tvj=0Tv_j = 0 for all jj.

TT is clearly linear because we defined it in terms of how it acts on the basis vectors. And clearly Su=TuSu = Tu.


This is fun to contrast with 3a/10 where we proved the naive extension doesn't work