由于 反对称矩阵 满足 aij = - aji, 主对角线上元素全是0
所以主对角线以下元素由主对角线以上元素唯一确定
所以维数为n-1 + n-2 + ...+ 2 + 1 = n(n-1)/2.