附录A_简化阶梯形矩阵的唯一性
定理(简化阶梯形矩阵的唯一性)
每一个 矩阵 行等价于唯一简化阶梯形矩阵 .
证明
利用 4.3 节的思想,即行等价矩阵的列具有完全一样的线性相关关系.
行化简算法说明至少存在一个这样的矩阵 . 假设 行等价于简化阶梯形矩阵 和 , 的行中最左边非零元素是 “主元” 1, 称这类主元 1 的位置是一个主元位置, 并且包含它的列称为主元列 (这个定义仅用于阶梯特征的 和 , 并且假设简化阶梯形不唯一).
和 的主元列恰恰是与它们左边的列线性无关的非零列(这个条件自动满足第一列是非零的).由于 和 行等价(两个矩阵都行等价于 ),故它们的列有相同的线性相关关系,因此, 和 的主元列出现在同样位置.如果有 个这样的列,则因为 和 是简化阶梯形,所以它们的主元列是 单位矩阵的前 列,这样对应的 和 的主元列是相等的.
最后,考虑 的任意非主元列,例如列 ,这个列或者是零或者是左边主元列的线性组合(因为这些主元列是第 列左边的列生成的空间的一个基)。两种情形下,对第 个元素为1的 都可写成 。那么 ,这说明 的第 列或者是零或者是与它左边 的主元列相同的线性组合。由于 和 对应的主元列是相等的,因此 和 的第 列也相等,这个结果对 和 所有非主元列也成立,因而 ,这就证明了 是唯一的。
模块索引
书籍模块索引
正在扫描全书模块结构...
解析章节卡片并构建索引
本书智能问答
针对本书提问
默认基于本书知识片段生成答案并可跳转原文溯源;在设置中选择「深度讨论」则 AI 不默认检索,基于理解深入讨论、需要原文时按需查书。
Enter 发送 · Shift+Enter 换行
设置
「检索本书」总是把命中的 topK 片段注入答案;「深度讨论」不注入片段,AI 基于理解与上文深入讲解,需要原文时才按需调用检索工具。
模型、API Key 与端点仅保存在本机浏览器 localStorage,与全站偏好设置和习题推导统一实时同步。
历史会话
暂无历史
线性代数及其应用(原书第5版) · 章节内联关系图谱
0 章节0 跨章引用0 关联边
正在分析并生成全书章节关系拓扑...
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。
界面显示偏好
关闭后按钮隐藏,您随时可按 Alt+G 或在此开启。