如何检验集合对于所给的运算是否构成数域K上的线性空间?