数域F上所有对称矩阵作成的F上的线性空间的维数是