Suppose VV is finite-dimensional and dimV>1\dim V > 1. Prove that the set of noninvertible operators on VV is not a subspace of L(V)\mathcal L(V).


It isn't closed under addition, the sum of noninvertible operators can be invertible. For an example let v1,v2v_1,v_2 be independent vectors in VV and define

T(c1v1+c2v2)=c1v1andS(c1v1+c2v2)=c2v2T(c_1v_1 + c_2v_2) = c_1v_1 \quad\text{and}\quad S(c_1v_1 + c_2v_2) = c_2v_2

TT and SS are clearly not invertible, but T+ST + S is the identity, which is clearly invertible!

Another way to view this is in terms of matrices

(1000)T+(0001)S=(1001)I\underbrace{\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}}_{T} + \underbrace{\begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}}_{S} = \underbrace{\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}}_{I}