Suppose VV is finite-dimensional with dim⁡V>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 v∈Vv \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 Tj∈L(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.