基底(线性代数)

                     

贡献者: Giacomo; JierPeter; addis

  • 本文存在未完成的内容。
预备知识 1 子空间

   向量的线性组合使得我们可以使用少量向量——称为一个向量组——来表示更多的向量。如果向量空间中的一组向量可以通过线性组合得到整个向量空间中的任意向量,我们就说这组向量张成了这个向量空间;如果这组向量中有一个向量可以写作其他向量的线性组合,我们就说这个向量组线性相关,如果不存在这么一个向量,就说这个向量组线性无关

   在本节中,我们讨论如何用最少的向量来表示整个空间里的所有向量,并指出这就是向量空间的基底,在此基础上讨论维度等概念。

1. 线性张成

定义 1 张成子空间

   给定线性空间 $V$,用 $V$ 的若干向量构成的集合(称为向量组)$S \subseteq V$ 面,从 $S$ 中任意地选择有限个向量进行线性组合所得到的集合

\begin{equation} \left\{\sum_{i = 1}^N c_iv_i \middle| N \in\mathbb{N}, c_i\in\mathbb{F}, v_i \in S\right\}~ \end{equation}
是 $V$ 的子空间,被称为 $S$ 所(线性)张成(span)的子空间,记为 $ \operatorname {span}_\mathbb{F} S$ 或者 $ \left\langle S \right\rangle _\mathbb{F}$,在域 $\mathbb{F}$ 明确的时候可以简记为 $ \operatorname {span} S$ 或者 $ \left\langle S \right\rangle $。

   特别的,空集张成 $\{0_V\}$,$V$ 张成它本身。

   注意:$S$ 可以是无限集合也可以有限的,但是线性组合一定是有限项求和。

   容易证明,定义中的 $ \operatorname {span} S$ 符合子空间的定义。

例 1 三维空间中的平面

   比如说,三维空间 $V$ 中,任意选定两个不共线的几何向量 $ \boldsymbol{\mathbf{v}} $ 和 $ \boldsymbol{\mathbf{u}} $,这两个几何向量的所有线性组合构成的集合 $ \operatorname {span}\{ \boldsymbol{\mathbf{v}} , \boldsymbol{\mathbf{u}} \}$,是 $V$ 中的一个过原点的平面;它本身构成了一个线性空间,同时还是 $V$ 的子集,因此又是 $V$ 的一个子空间。

习题 1 

   把三维空间 $\mathbb{R}^3$ 的每个向量表示成 $(x,y,z)$,其中 $x,y,z\in\mathbb{R}$。取三个向量 $v_1 = (1,2,0)$,$v_2 = (3,2,4)$ 和 $v_3 = (1,1,1)$,那么这三个向量所张成的空间是一个点、一条线、一个平面还是整个三维空间本身?

2. 线性无关

预备知识 2 几何向量的线性相关性

定义 2 向量组线性相关/无关

   对于向量空间 $V$ 的一个向量组 $S$,如果存在至少一组不全为零系数 $c_i \in \mathbb{F}$ 使几个向量的线性组合等于零,即

\begin{equation} \sum_i^N c_i v_i = 0_V~, \end{equation}
那向量组 $S$ 就被称为线性相关的(linearly dependent);如果不存在这样的系数,我们就称向量组 $S$ 线性无关的(linearly independent)

   两个向量如果构成一个线性无关组,我们就说它们是线性无关的,类似的可以定义线性相关

   由于 $c \cdot 0_V = 0_V$,我们有:

定理 1 

   对于任何一个线性无关组 $S$,$0_V \not\in S$。

   我们用向量组来张成空间,就是在用这些向量来表示张成空间里面的所有向量的。我们知道,张成空间时所使用的向量,如果它们线性相关,那么就会有冗余向量,也就是说其中一些向量本身就可以被剩下的向量表示出来,因此我们就算把冗余的向量都剔除了,剩余的向量仍然可以张成同一个空间。

   进一步,有冗余向量就意味着,张成空间里的向量可以表示成不同的线性组合。

习题 2 

   习题 1 中所给出的三个向量是线性相关的。请使用这个例子来讨论以下两个问题:

  • 用这三个向量的线性组合来表示向量 $(1,0,0)$,组合方式是唯一的吗?
  • 这三个向量中剔除几个向量后就不再有冗余向量?
  • 剔除的冗余向量有几种选择?

   如果一组向量是线性无关的,那么就没有这讨厌的冗余向量了,我们就可以很方便地用这组向量来讨论张成空间的性质。

定理 2 

   对于线性空间 $V$,给定一组线性无关向量组 $\{v_i\}_i$。对于任何向量 $v \in \operatorname {span}(\{v_i\}_i)$,它表示线性组合的方式是唯一的。

   证明:

   设 $v = \sum a_i v_i = \sum b_i v_i$,其中 $a_i, b_i\in \mathbb{F}$,而 $\mathbb{F}$ 是定义 $V$ 所用的域。那么我们有:

\begin{equation} \sum(a_i - b_i) v_i = \sum a_i v_i - \sum b_i v_i = v - v = \boldsymbol{\mathbf{0}} ~. \end{equation}

   由于 $\{v_i\}_i$ 线性无关,上式就意味着每一个 $a_i-b_i$ 都是 $0$,也就是说每一个 $a_i$ 都等于 $b_i$。因此不可能有两种不同的组合方式能得到 $v$。

   证毕。

3. 基底

定义 3 基底和基底向量

   如果线性空间 $V$ 可以表示为一组向量 $\{v_i\}_i$ 的张成空间,并且这组向量是线性无关的,那么我们说 $\{v_i\}_i$ 是 $V$ 的一组基底(basis)或简称,各 $v_i$ 被称作一个基底向量(basis vector)

   我们可以换一个角度:对于一个张成向量组,如果它是线性相关的,总可以找出一个冗余向量,把它剔除;如果剔除一个冗余向量以后还有冗余向量,就重复这个操作,直到不再有冗余向量为止。这样剔除若干步后所得到的线性无关的向量组,被称为原向量组的一个极小张成组。由于每一步剔除的冗余向量可以不同,最终剩下来的极小张成组也可以不同。

例 2 

   依然利用习题 1 的例子。向量组 $\{v_1, v_2, v_3\}$ 的极小张成组一共有三个,分别是 $\{v_1, v_2\}$,$\{v_2, v_3\}$ 和 $\{v_1, v_3\}$。

   我们还可以从线性无关组开始,如果线性无关组没有张成整个空间,我们就可以加入一个张成子空间之外的向量,新向量组仍然是线性无关的;如果新向量组仍然没有张成整个空间,就继续这一步,直到张成了整个空间为止,我们把最终得到的向量组称为原向量组的一个极大无关组。由于每一步加入的无关向量可以不同,最终组合成的极大无关组也可以不同。

定理 3 基底的三种等价定义

   极大无关组 等价于 极小张成组 等价于 无关张成组。它们都可以作为基底的定义。

   有了基之后,线性空间中的每一个向量都可以唯一地表示成基向量的线性组合。这里,每一个向量都可以被表示成基向量的线性组合是因为定义中要求基底能张成整个线性空间,而线性组合的唯一性是因为定义中要求基底是线性无关的。这是极为重要的性质,它使得线性空间上的一切线性性质,比如线性函数、线性变换、张量的表示等等,都只和基底的选择有关。比如说,对于线性函数,一旦选定了基底,那么只需要计算出基向量的函数值,我们就可以得到一切向量的函数值,而不用对每一个向量都作一番计算。

定理 4 基底表示的唯一性

   对于线性空间 $V$,给定一组基 $\{e_i\}_i$。对于任何向量 $v\in V$,它表示为该基底的线性组合的方式是唯一的。

  

未完成:有限维度向量空间

线性空间的维度

  

未完成:重新写引入

定理 5 

   如果线性空间 $V$ 可以表示为一组有限个向量 $\{w_i\}_i$ 的张成空间,那么 $\{w_i\}_i$ 的任何两个极大线性无关组中的元素数量都是一样的。

   定理 5 的证明有很多方式,由于本部分的教学思路在这里还没引入线性方程组的概念,因此不会使用线性方程组解的性质来证明,而是用 “替换法”。

   证明:

   假设 $S$ 是若干向量的集合,其中 $\{v_i\}_{i=1}^n$ 和 $\{ \boldsymbol{\mathbf{u}} _j\}^m_{j=1}$ 都是 $S$ 的极大线性无关组。那么由于 “极大”,$\{v_i\}_{i=1}^n$ 中的向量都可以用 $\{ \boldsymbol{\mathbf{u}} _j\}^m_{j=1}$ 的线性组合来表示,反之亦然;由于 “线性无关”,两者的互相表示是唯一的。

   反设 $n\not=m$,不妨就设 $n>m$。

   如果从 $\{v_i\}_{i=1}^n$ 中把 $v_1$ 拿掉,那么必然存在若干 $u_j$ 无法被剩下的 $\{v_i\}_{i=2}^n$ 表示。我们把这些无法被表示的 $u_j$ 添加进 $\{v_i\}_{i=2}^n$,取代 $v_1$,这样又得到一个新的极大线性无关组1。对于把 $v_1$ 替换掉后的新极大无关组,再把 $v_2$ 拿掉,然后相应地替换为拿掉之后无法表示出的所有 $u_j$。依次进行。

   以上步骤中,由于每一次替换都只拿掉一个 $v_i$,却要替换为至少一个 $u_j$,而且每次添加的 $u_j$ 都和之前的没有交集2。再加上 $n>m$,因此替换的元素最多到 $v_m$。这样就得出 $\{u_j\}^m_{j=1} \cup \{v_i\}^n_{j=m+1}$ 也是一个极大无关组。由于这个极大无关组比 $\{u_j\}^m_{j=1}$ 多了一个非空集合 $\{v_i\}^n_{j=m+1}$,因此和 $\{u_j\}^m_{j=1}$ 的极大线性无关性矛盾。因此假设不成立,即 $n=m$。

   令 $S=\{w_i\}_i$ 或者 $S=V$,就得到定理的证明。

   证毕。

   替换法的证明仅仅用到了目前已知的少量向量性质,并不涉及方程组理论,请仔细体会其逻辑。事实上,本部分将会在建立了线性空间的直觉后,用线性空间的思想,即几何的思想,来解释实系数线性方程组的概念。

   定理 5 意味着,线性空间的不同基底总包含相同数量的基向量。实际上蕴含的是非常符合直觉的一个概念,维度。

定义 4 线性空间的维度

   对于线性空间 $V$,其任意一个极大线性无关组的元素数量,称为 $V$ 的维度(dimension),记为 $ \operatorname {dim}V$。

   在定理 5 中我们限制了 $V$ 被有限个向量张成,也就是说 $ \operatorname {dim}V$ 是有限的。事实上,我们通常讨论的线性空间是有限维的,无穷维的情况会在将来进一步讨论。

形式张成

  

未完成:用基底来重写

   从另一个角度,我们可以摆脱 “用给定空间的向量来张成一个子空间”,而形式化地定义张成的概念。取任何一个集合 $S$,我们可以用 $S$ 在域 $\mathbb{F}$ 上直接构造一个线性空间 $V=\{\sum a_\alpha s_\alpha|a_\alpha\in\mathbb{F}, s_\alpha\in S\}$。这里的 $a_\alpha s_\alpha$ 表示把数字 $a_\alpha$ 和元素 $s_\alpha$ 组合在一起,变成一个不属于 $S$ 的新元素3,而 $\sum$ 表示这些新元素组合起来又得到了新的元素,组合符号用加号 $+$ 表示。这时回过头来,我们可以把每个 $s_\alpha$ 看成是 $V$ 的一个向量,它们张成了 $V$ 这个线性空间。

  

未完成:张成空间是形式张成空间的商空间,它们同构等价于 $S$ 在 $V$ 中线性无关,上文表达有误。

4. 向量空间的坐标

预备知识 3 列向量

  

未完成:有序基底

定义 5 向量的坐标

   对于线性空间 $V$,给定一组基 $\{e_i\}_i$。如果向量 $v=\sum a_i e_i$,那么我们称 $\{a_i\}_i$ 是 $v$ 的一组坐标(coordinates)

   定理 4 意味着选定基底以后,各向量的坐标是唯一的,但基底的选择本身不是唯一的。比如说,二维平面上,任何两个不平行的向量都可以构成这个空间的一个基。基的选择不一样,向量的坐标也不一样。对此的详细讨论请参见向量空间的表示


1. ^ 新向量组线性无关是因为所添加的元素都是 $\{v_i\}_{i=2}^n$ 所无法表示、本身也线性无关的,而极大是因为它可以表出所有 $u_j$ 了。
2. ^ 因为之前添加的 $u_j$ 已经在新极大无关组里了,肯定能被表示出来。
3. ^ 只有一个情况例外,那就是当 $a_\alpha=1$ 时,将 $1s_\alpha$ 认为就是 $s_\alpha$ 本身,从而这时并没有得到新元素。


致读者: 小时百科一直以来坚持所有内容免费,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元,我们一个星期内就能脱离亏损, 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利