§4.6 基、维数和坐标
主要内容
一、基的定义与构造
1.1 基的定义
定义: 的非零子空间 的线性无关生成集称为 的基(basis)。
若 中向量 是 的一组基,则:
- 线性无关
- 中的每个向量都可由 线性表出
本质理解: 的基就是 的极大无关组。
基 = 线性无关 + 生成整个空间 → 恰好是”极大无关组”的两个条件。
1.2 标准基
阶单位阵的列向量组 称为 的标准基(自然基):
1.3 基的构造定理
定理:设 ,,如果 ,则 的极大无关组就是 的基。
证明思路:
- 生成集 与子空间 等价
- 的极大无关组 与 等价 → 与 等价 → 中向量都可由 线性表出
- 又 线性无关且
- 是 的一组基
推论:基不唯一,但同一空间的不同基所含向量个数相同。
例题 1(证明某组向量是基)
例 1:可逆 阶方阵的 个列向量构成 的基。
证明:设可逆方阵 。
-
可逆 列向量组 线性无关 ✓
-
对 中任意向量 ,考虑向量组 :
- 这是 个 维向量
- 由性质 4.2.5, 个 维向量必线性相关
- 又 线性无关
- 由极大无关组的性质, 可由 线性表出 ✓
是 的一组基。
思路:
- 证明基 = 证明两条(线性无关 + 生成整个空间)
- 第二条用的技巧:比极大无关组多一个向量必线性相关 新向量可由极大无关组表出
例题 2(求列空间的基——主元列法)★
例 2:,求 的基。
解:对 进行初等行变换化行最简形:
主元出现在第 1、2、5 列 → 是 的基。
方法总结:
- 将 用初等行变换化为行最简形
- 找到主元列的位置
- 原矩阵 对应位置的列向量 → 构成 的基
⚠️ 注意:取原矩阵的列,不是化简后矩阵的列!
例题 3(求零空间的基——自由变量法)★
例 3:,求 的一组基。
解:与 §4.5 例 4.4.5 同一题,这里从”基”的角度重新审视。
化 为行最简形:
同解方程组:
自由变量:
参数化解:
是 的一组基。
关键结论: 的基中向量个数 = 自由变量的个数
二、空间维数
2.1 维数的定义
定义: 的非零子空间 的任一组基中所含向量的个数称为 的维数,记作 。
等价理解:
2.2 维数的判定与计算
| 对象 | 维数 | 求法 |
|---|---|---|
| 自由变量个数 | 行最简形中非主元列数 | |
| 主元列个数 = | 行最简形中主元列数 | |
| 阶梯形非零行数 |
2.3 秩定理(Rank-Nullity Theorem)★核心
定理(秩定理):若 有 列,则:
即:
证明(直观):
- = 主元列数( 的维数)
- = 自由变量数 = 非主元列数
- 主元列数 + 非主元列数 = 总列数 ✓
⚠️ 注意: 不一定等于 !,,两个空间不互补。
2.4 维数与基的关系
定理:若 ,则:
- 中任意 个线性无关的向量构成 的一组基
- 中任意 个向量必线性相关
- 基能以唯一方式线性表出 中的任意向量
三、坐标与坐标变换
3.1 坐标的定义
定义:设 是子空间 的一组基。 中任意向量 在基 下的唯一线性表示的系数,称为 在基 下的坐标: 则 。
注:基向量组可以建立一个 中的坐标系统。
例题 4(已知坐标求向量 + 标准基坐标)
例 6: 是 的一组基, 在这组基下的坐标为 ,求 。
解:
例 7(对照):同一向量在标准基 下: 即标准基下的坐标就是向量本身:。
启示:同一向量在不同基下的坐标不同——坐标是相对的,取决于基的选择。
例题 5(已知向量求坐标——解方程法)★
例 8:在 中,求 在基 下的坐标。
解:设坐标为 ,则:
对增广矩阵作初等行变换:
回代得:,,。
坐标为 。
思路:已知向量求坐标 解线性方程组
3.2 过渡矩阵与坐标变换
过渡矩阵定义:设 和 是 的两组基,基 可由基 线性表出:
称 是由基 到基 的过渡矩阵。
的第 列是 在基 下的坐标。
定理(坐标变换公式):若 在基 和基 下的坐标分别为 和 ,则:
- 过渡矩阵 是可逆矩阵,且
- ,
例题 6(求过渡矩阵)
例 9: 中两组基: 求基 (I) 到基 (II) 的过渡矩阵。
解:设过渡矩阵为 ,则 。
即解矩阵方程:
先求逆
再相乘得 。
验算:验证 是否成立。
例题 7(两种方法求坐标——对比)
例 10:设 ,,求 在基 下的坐标。
解法 1:直接解方程
设 ,得:
回代:,,。
坐标为 。
解法 2:过渡矩阵法
由标准基到基 的过渡矩阵为:
在标准基下的坐标就是 本身:。
坐标变换:
思路对比:
- 解法 1(直接法):设出系数,解方程组 → 适用于简单的基
- 解法 2(过渡矩阵法):利用标准基作为中介 → 适用于复杂的基或需要批量求坐标的场景
四、小结
| 概念 | 要点 |
|---|---|
| 基 | 线性无关 + 生成整个空间 = 的极大无关组 |
| 求 Col A 的基 | 行最简形 → 主元列 → 取原矩阵对应列 |
| 求 Nul A 的基 | 行最简形 → 自由变量 → 参数化解的向量 |
| 维数 | 基中向量个数 = 的极大无关组中向量个数 |
| 秩定理 | |
| 坐标 | 向量在基下的线性表示系数,唯一 |
| 过渡矩阵 | ,可逆 |
| 坐标变换 | (从 到 ), |
整理时间:2026-05-26 | 来源:课堂PPT(周老师)