如何检验集合对于所给的运算是否构成数域K上的线性空间?
问题描述：
如何检验集合对于所给的运算是否构成数域K上的线性空间?
例如：,全体实对称（反称,上三角形）矩阵,对于矩阵的加法与标量乘法,是否构成在实数域上的线性空间?
答
就是逐条验证,比如A,B,C都是实对称矩阵,则按照矩阵加法的规则,(A+B)+C=A+B+C=A+(B+C).