Evanalysis
6.5嵌入式互动预计阅读时间: 9 分钟

6.5 基与维数

把基看成刚刚好的张成集,并用维数判断一个向量空间里什么可能、什么不可能。

基是这一章收束起来的地方。前面的笔记教你怎样由其他向量拼出一个向 量、怎样检查一个集合是否子空间、又怎样辨认线性依赖。这一节把那几个 想法合在一起,集中回答一个问题:

什么时候,我们手上的向量刚好足够描述整个空间,而且没有保留任何多余 方向?

先用直觉理解:方向够用,但没有累赘

如果一组向量能张成一个空间,就表示它提供了足够多的方向,让你能拼出 那个空间里的每个向量。

如果它同时线性独立,就表示这些方向没有浪费。集合里没有任何一个向量 其实早已能由其余向量组合出来。

所以,基就是一个“刚刚好”的状态:

  • 向量够多,可以到达整个空间;
  • 但又不会多到出现冗余方向。

这正是基有用的原因。选定基之后,空间里每个向量都可以用那组基向量来 描述。

定义

若一组向量 {u1,u2,,um}\{u_1, u_2, \ldots, u_m\} 同时满足以下两个条件:

  1. u1,u2,,umu_1, u_2, \ldots, u_m 线性独立;
  2. Span{u1,u2,,um}=VSpan\{u_1, u_2, \ldots, u_m\} = V

那它就是向量空间 VV 的一组基。

这两个条件分工很清楚:

  • 张成条件说明这组向量“够大”;
  • 独立条件说明这组向量“不多余”。

只要忘记其中一个条件,就很容易把不是基的集合误判成基。

先停一停,改变系数,看看同一组生成向量能带你到哪些位置。

边读边试

由张成组合出一个向量

互动探索让你改变系数,并看着结果向量如何在张成里移动。

u

(1, 0)

v

(0, 1)

α

β

结果

αu + βv = (1, 0)

每个输出向量都是由水平与垂直方向组合而成。

标准基是最典型的例子

学生最先接触到的基,通常是 R3R^3 的标准基:

e1=[100],e2=[010],e3=[001].e_1 = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \quad e_2 = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}, \quad e_3 = \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}.

这三个向量的重要之处,在于它们各自只负责一个坐标方向。

例题

为什么 R3R^3 的标准基真的是一组基

要证明 {e1,e2,e3}\{e_1, e_2, e_3\}R3R^3 的一组基,你必须检查两个条件。

先看张成。若

x=[abc],x = \begin{bmatrix} a \\ b \\ c \end{bmatrix},

那么

x=ae1+be2+ce3.x = a e_1 + b e_2 + c e_3.

所以 R3R^3 里每个向量都可以由 e1,e2,e3e_1, e_2, e_3 组合出来。

再看线性独立。若

α1e1+α2e2+α3e3=0,\alpha_1 e_1 + \alpha_2 e_2 + \alpha_3 e_3 = 0,

逐个坐标比较,就得到

α1=0,α2=0,α3=0.\alpha_1 = 0,\quad \alpha_2 = 0,\quad \alpha_3 = 0.

因此唯一的线性关系就是平凡关系。

两个条件都成立,所以 {e1,e2,e3}\{e_1, e_2, e_3\}R3R^3 的一组基。

这个例子也说明了基坐标有多实用:一旦基固定,系数 abc 就完整地告诉你怎样重建原来的向量。

为什么基里向量的个数这么重要

讲义特别强调一个说起来简单、用起来却非常重要的事实:

定理

同一个空间的任何基都有相同数目

B1B_1B2B_2 都是同一个向量空间 VV 的基,则 B1B_1B2B_2 所含的向量数目相同。

正因如此,维数才是一个定义良好的概念。否则,“基里有多少个向量”这件 事会随着你选哪一组基而改变,维数就不能成为一个稳定量。

维数就是独立方向的数目

定义

维数

向量空间 VV 的维数,记作 dim(V),就是 VV 的任意一组基所含的向量 数目。

维数量度的是:这个空间究竟有多少个真正独立的方向。

  • dim(Rm)=mdim(R^m) = m
  • dim(Mmn)=mndim(M_{mn}) = mn
  • dim(Pn)=n+1dim(P_n) = n + 1

零空间是特别情况:

dim({0})=0.dim(\{0\}) = 0.

这很合理,因为零空间里根本没有任何非零方向。

基不一定长得像标准基

基不必是标准坐标向量。只要一组向量能张成该空间,而且保持线性独立, 它就可以成为同一个空间的另一组基。

例题

R3R^3 里一个平面的基

W={[xy0]:x,yR}.W = \left\{ \begin{bmatrix} x \\ y \\ 0 \end{bmatrix} : x, y \in R \right\}.

这就是 R3R^3 中的平面 z=0z = 0

考虑

u1=[100],u2=[010].u_1 = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \qquad u_2 = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}.

WW 中每个向量都可以写成

[xy0]=xu1+yu2,\begin{bmatrix} x \\ y \\ 0 \end{bmatrix} = x u_1 + y u_2,

因此 u1u_1u2u_2 张成 WW

它们也线性独立,因为

α1u1+α2u2=0\alpha_1 u_1 + \alpha_2 u_2 = 0

只可能推出 α1=α2=0\alpha_1 = \alpha_2 = 0

所以 {u1,u2}\{u_1, u_2\}WW 的一组基,而

dim(W)=2.dim(W) = 2.

由此可见,维数不是在数“向量有多少个坐标”,而是在数“这个空间本身有 多少个独立方向”。

维数如何变成捷径

一旦你知道某个空间的维数,很多基问题就会变得短得多。

dim(V)=mdim(V) = m,那么:

  • VV 中任何 m 个线性独立向量都会自动形成基;
  • VV 中任何 m 个能张成 VV 的向量都会自动形成基;
  • 少于 m 个向量不可能张成 VV
  • 多于 m 个向量不可能全部保持线性独立。

这就是维数的威力。当向量数目已经和维数吻合时,你往往只需完成一半检 查,就能推出整个结论。

先用几个典型例子,重新感受什么叫做独立和冗余。

边读边试

测试一组向量是否相依

互动检查会比较几组小向量,并解释是否存在非平凡线性关系。

判断

线性无关

解 c1e1 + c2e2 = 0 时,只会得到 c1 = c2 = 0,所以这一对向量线性无关。

关键关系

看不见任何非平凡线性关系。

做基题时的实用次序

当你被问到某组向量是否为基,可以按以下次序思考:

  1. 先弄清楚你要张成的是哪个空间;
  2. 再数一数你手上有多少个向量;
  3. 检查线性独立,或者检查张成;
  4. 若数目刚好等于维数,就用维数把另一半结论补完。

例如在 R3R^3 里,只要你已证明三个向量线性独立,就不必再做一轮冗长 的张成计算,它们已经自动是一组基。

常见错误

常见错误

维数不是单纯在数坐标个数

R3R^3 的子空间可以有 1、2 或 3 维。外层空间只告诉你向量有多少个坐 标;维数告诉你该子空间本身有多少个真正独立方向。

另一个常见错误,是检查完张成就停下来。能张成整个空间,并不代表那组 向量已经没有冗余。

快速检查

快速检查

\{(1,0), (2,0)\} 可以成为 R2R^2 的一组基吗?

不要只看向量数目,要把两个基条件都想一遍。

解答

答案

快速检查

dim(V)=3dim(V) = 3,而你已经找到 VV 中三个线性独立向量,还要再证明什么?

用本节的维数捷径来想。

解答

答案

练习

快速检查

向量 u1=(1,1,0)u_1 = (1,1,0)u2=(1,0,1)u_2 = (1,0,1)u3=(0,1,1)u_3 = (0,1,1) 是否形成 R3R^3 的一组基?

先试线性独立。若它们独立,维数会替你完成后半段。

解答

引导解答

先备链接

这一节建立在 6.4 线性依赖与线性独立6.3 线性组合与张成 之上。

本单元重点词汇