划横线的反对称矩阵那个是什么意思 为什么多了个负号?