基是这一章收束起来的地方。前面的笔记教你怎样由其他向量拼出一个向 量、怎样检查一个集合是否子空间、又怎样辨认线性依赖。这一节把那几个 想法合在一起,集中回答一个问题:
什么时候,我们手上的向量刚好足够描述整个空间,而且没有保留任何多余 方向?
先用直觉理解:方向够用,但没有累赘
如果一组向量能张成一个空间,就表示它提供了足够多的方向,让你能拼出 那个空间里的每个向量。
如果它同时线性独立,就表示这些方向没有浪费。集合里没有任何一个向量 其实早已能由其余向量组合出来。
所以,基就是一个“刚刚好”的状态:
- 向量够多,可以到达整个空间;
- 但又不会多到出现冗余方向。
这正是基有用的原因。选定基之后,空间里每个向量都可以用那组基向量来 描述。
定义
基
若一组向量 同时满足以下两个条件:
- 线性独立;
- ;
那它就是向量空间 的一组基。
这两个条件分工很清楚:
- 张成条件说明这组向量“够大”;
- 独立条件说明这组向量“不多余”。
只要忘记其中一个条件,就很容易把不是基的集合误判成基。
先停一停,改变系数,看看同一组生成向量能带你到哪些位置。
边读边试
由张成组合出一个向量
互动探索让你改变系数,并看着结果向量如何在张成里移动。
u
(1, 0)
v
(0, 1)
α
β
结果
αu + βv = (1, 0)
每个输出向量都是由水平与垂直方向组合而成。
标准基是最典型的例子
学生最先接触到的基,通常是 的标准基:
这三个向量的重要之处,在于它们各自只负责一个坐标方向。
例题
为什么 的标准基真的是一组基
要证明 是 的一组基,你必须检查两个条件。
先看张成。若
那么
所以 里每个向量都可以由 组合出来。
再看线性独立。若
逐个坐标比较,就得到
因此唯一的线性关系就是平凡关系。
两个条件都成立,所以 是 的一组基。
这个例子也说明了基坐标有多实用:一旦基固定,系数 a、b、c
就完整地告诉你怎样重建原来的向量。
为什么基里向量的个数这么重要
讲义特别强调一个说起来简单、用起来却非常重要的事实:
定理
同一个空间的任何基都有相同数目
若 和 都是同一个向量空间 的基,则 与 所含的向量数目相同。
正因如此,维数才是一个定义良好的概念。否则,“基里有多少个向量”这件 事会随着你选哪一组基而改变,维数就不能成为一个稳定量。
维数就是独立方向的数目
定义
维数
向量空间 的维数,记作 dim(V),就是 的任意一组基所含的向量
数目。
维数量度的是:这个空间究竟有多少个真正独立的方向。
零空间是特别情况:
这很合理,因为零空间里根本没有任何非零方向。
基不一定长得像标准基
基不必是标准坐标向量。只要一组向量能张成该空间,而且保持线性独立, 它就可以成为同一个空间的另一组基。
例题
里一个平面的基
令
这就是 中的平面 。
考虑
中每个向量都可以写成
因此 和 张成 。
它们也线性独立,因为
只可能推出 。
所以 是 的一组基,而
由此可见,维数不是在数“向量有多少个坐标”,而是在数“这个空间本身有 多少个独立方向”。
维数如何变成捷径
一旦你知道某个空间的维数,很多基问题就会变得短得多。
若 ,那么:
- 中任何
m个线性独立向量都会自动形成基; - 中任何
m个能张成 的向量都会自动形成基; - 少于
m个向量不可能张成 ; - 多于
m个向量不可能全部保持线性独立。
这就是维数的威力。当向量数目已经和维数吻合时,你往往只需完成一半检 查,就能推出整个结论。
先用几个典型例子,重新感受什么叫做独立和冗余。
边读边试
测试一组向量是否相依
互动检查会比较几组小向量,并解释是否存在非平凡线性关系。
判断
线性无关
解 c1e1 + c2e2 = 0 时,只会得到 c1 = c2 = 0,所以这一对向量线性无关。
关键关系
看不见任何非平凡线性关系。
做基题时的实用次序
当你被问到某组向量是否为基,可以按以下次序思考:
- 先弄清楚你要张成的是哪个空间;
- 再数一数你手上有多少个向量;
- 检查线性独立,或者检查张成;
- 若数目刚好等于维数,就用维数把另一半结论补完。
例如在 里,只要你已证明三个向量线性独立,就不必再做一轮冗长 的张成计算,它们已经自动是一组基。
常见错误
常见错误
维数不是单纯在数坐标个数
的子空间可以有 1、2 或 3 维。外层空间只告诉你向量有多少个坐 标;维数告诉你该子空间本身有多少个真正独立方向。
另一个常见错误,是检查完张成就停下来。能张成整个空间,并不代表那组 向量已经没有冗余。
快速检查
快速检查
\{(1,0), (2,0)\} 可以成为 的一组基吗?
不要只看向量数目,要把两个基条件都想一遍。
解答
答案
快速检查
若 ,而你已经找到 中三个线性独立向量,还要再证明什么?
用本节的维数捷径来想。
解答
答案
练习
快速检查
向量 、、 是否形成 的一组基?
先试线性独立。若它们独立,维数会替你完成后半段。
解答
引导解答
先备链接
这一节建立在 6.4 线性依赖与线性独立 和 6.3 线性组合与张成 之上。