例 2.30

依赖于

被以下题目直接调用

例 2.30

阶实反对称阵,证明: 是非异阵。

解答

证明 用反证法证明。设 是奇异阵,则由例 2.29 可知存在 维非零列向量 ,使得 ,即 。事实上,通过例 2.29 的证明还可以知道,因为 是实矩阵,所以非异阵 可以取为实矩阵,从而 也可以取为非零实列向量。设 ,其中 都是实数,则由 的反对称性以及例 2.5 可得

从而 ,即 ,这与已知矛盾。