Suppose VV is finite-dimensional with dimV>0\dim V > 0 and suppose WW is infinite-dimensional. Prove that L(V,W)\mathcal L(V,W) is infinite-dimensional.


Uhh, obviously?

Let vVv \in V and let w1,w_1,\dots be a sequence of vectors in WW such that w1,,wmw_1,\dots,w_m is independent for all mm (see 2a/14 for the existance of such a sequence).

Define Tj(v)=wjT_j(v) = w_j and define the rest of TjT_j so that TjL(V,W)T_j \in \mathcal L(V,W). To show T1,T_1,\dots is an independent sequence in L(V,W)\mathcal L(V,W) consider

a1T1++amTm=0a_1T_1 + \dots + a_mT_m = 0

But

a1T1v++amTmv=a1w1++amwm=0a_1T_1v + \dots + a_mT_mv = a_1w_1 + \dots + a_mw_m = 0

Implies each aj=0a_j = 0 since w1,,wmw_1,\dots,w_m are independent. Thus T1,T_1,\dots is an independent sequence implying L(V,W)\mathcal L(V,W) is infinite-dimensional by 2a/14.