线性代数：为什么所有3x3对称矩阵构成的向量空间是6维的？（mit第11讲中的疑问）