Suppose VV and WW are finite-dimensional with 2dimVdimW2 \le \dim V \le \dim W.
Show that {TL(V,W):T is not injective}\{T \in \mathcal L(V,W) : T \text{ is not injective}\} is not a subspace of L(V,W)\mathcal L(V,W).


This is the same as 3b/4, non-injectivity isn't closed under addition.

Let v1,,vmv_1,\dots,v_m be a basis for VV and w1,,wnw_1,\dots,w_n be a basis for WW. Define (note a2a_2 exists as dimV2\dim V \ge 2)

T(a1v1++amvm)=a2w2++amwmS(a1v1++amvm)=a1w1\begin{aligned} T(a_1v_1 + \dots + a_mv_m) &= a_2w_2 + \dots + a_mw_m \\ S(a_1v_1 + \dots + a_mv_m) &= a_1w_1 \end{aligned}

Both TT and SS are not injective since Tv1=0Tv_1 = 0 and Sv2=0Sv_2 = 0. But

(S+T)(a1v1++amvm)=a1w1++amwm(S+T)(a_1v_1+\dots+a_mv_m) = a_1w_1 + \dots + a_mw_m

is injective, thus the given set is not a subspace as it isn't closed under addition.