全体实对称矩阵关于矩阵的加法和数量乘法构成实数域上维的线性空间