推论 5.6. 可逆矩阵保秩

设 是一个 矩阵, 若 是 可逆矩阵, 为 可逆矩阵, 则

\begin{proof} 设 , 由定理 5.4 知 . 由于 可逆, 由 得 , 又由定理 5.4 有 . 所以, . 另一等式类似可证. \end{proof}