定理 4.1.

阶矩阵 可逆当且仅当

  • 其行列式 不等于零。

\begin{proof}

  1. 必要性
    • 假设
    • 对它取行列式得 ,
    • 于是
  2. 充分性
    • 假设 , 那么由上述关系有
    • 从而有
    • 由矩阵可逆的定义知,
      • 即矩阵 可逆。 \end{proof}
  • 由于行列式不为零等价于矩阵满秩,
  • 故上述定理也可以叙述为:
    • 矩阵可逆当且仅当 矩阵满秩