如何检验集合对于所给的运算是否构成数域K上的线性空间?
例如：,全体实对称（反称,上三角形）矩阵,对于矩阵的加法与标量乘法,是否构成在实数域上的线性空间?