问刘老师,所有n阶反对称矩阵构成数域P上的线性空间的维数为______