例 3.85

依赖于

被以下题目直接调用

例 3.85

求证:矩阵 的秩等于 的充要条件是 存在一个 阶子式 不等于零,而 的所有 阶加边子式全等于零。

解答

证明 只需证明充分性。不失一般性,我们可设 是由 的前 行和前 列构成的 阶子式。设

为矩阵 的行分块和列分块,记 为行向量 关于前 列的缩短向量(缩短向量的定义请参考例 3.13), 为列向量 关于前 行的缩短向量。由 可得 线性无关,由例 3.13 可知 线性无关。我们只要证明 的行向量的极大无关组即可得到 。用反证法证明,若它们不是极大无关组,则可以添加一个行向量,不妨设为 ,使得 线性无关。设 的前 行构成的矩阵,则

。由 可得 线性无关,由例 3.13 可知 线性无关。因为 ,故存在 的一个列向量,不妨设为 ,使得

线性无关。设

的前 行和前 列构成的方阵,则 。因此, 是包含 阶加边子式,这与假设矛盾。