反对合矩阵的相似对角化

通过证明在复数域上每一个反对合矩阵都可以对角化，指出了全体n阶反对合矩阵按矩阵的相似关系进行分类，一共可以分成n＋l类。还证明了，在实数域上不存在奇数阶反对合矩阵，并且每一个偶数阶反对合矩阵都不可对角化，但是每一个2n阶反对合矩阵都相似于diag{J1，J2，…，Jn}，这里Jk=（0-1 1 0），k=1，2，…，n，因而全体2n阶反对合实矩阵按矩阵的相似关系进行分类，只有一种类型。同时，指出了每一个非零偶数维实线性空间上的反对合变换都有无穷多个。