数域P上的全体3×3反对称矩阵构成的线性空间V的维数