推论 5.6. 可逆矩阵保秩
设 是一个 矩阵, 若 是 可逆矩阵, 为 可逆矩阵, 则
\begin{proof}
设 , 由定理 5.4 知 .
由于 可逆, 由 得 , 又由定理 5.4 有 .
所以, . 另一等式类似可证.
\end{proof}
推论 5.6. 可逆矩阵保秩
设 是一个 矩阵, 若 是 可逆矩阵, 为 可逆矩阵, 则
\begin{proof}
设 , 由定理 5.4 知 .
由于 可逆, 由 得 , 又由定理 5.4 有 .
所以, . 另一等式类似可证.
\end{proof}