全体对称矩阵构成的线性空间的积和维数