反对称矩阵的定义为什么主对角线为0