例 3.85
依赖于
被以下题目直接调用
- 无
例 3.85
求证:矩阵 的秩等于 的充要条件是 存在一个 阶子式 不等于零,而 的所有 阶加边子式全等于零。
解答
证明 只需证明充分性。不失一般性,我们可设 是由 的前 行和前 列构成的 阶子式。设
为矩阵 的行分块和列分块,记 为行向量 关于前 列的缩短向量(缩短向量的定义请参考例 3.13), 为列向量 关于前 行的缩短向量。由 可得 线性无关,由例 3.13 可知 线性无关。我们只要证明 是 的行向量的极大无关组即可得到 。用反证法证明,若它们不是极大无关组,则可以添加一个行向量,不妨设为 ,使得 线性无关。设 是 的前 行构成的矩阵,则
且 。由 可得 线性无关,由例 3.13 可知 线性无关。因为 ,故存在 的一个列向量,不妨设为 ,使得
线性无关。设
即 是 的前 行和前 列构成的方阵,则 。因此, 是包含 的 阶加边子式,这与假设矛盾。
评论
支持 Markdown 和 LaTeX 数学公式。