本文共 4124 字,大约阅读时间需要 13 分钟。
本节书摘来自华章出版社《 线性代数及其应用 (原书第4版)》一书中的第2章,第2.8节,作者:(美)戴维C. 雷(David C. Lay)马里兰大学帕克学院 著刘深泉 张万芹 陈玉珍 包乐娥 陆 博 译,更多章节内容可以访问云栖社区“华章计算机”公众号查看
本节讨论 中重要的向量子集,称为子空间. 通常子空间与某个矩阵 A有关,它们提供了关于方程 Ax=b的有用信息. 本节的概念和术语将在本书以下部分经常出现.
定义 中的一个子空间是 中的集合 H,具有以下三个性质:例1 若 和是 中的向量, ,则H 是 的子空间. 为证明这一点,注意零向量属于H (),现取 H中任意两个向量,比如说
那么这证明了u+v是v1和v2的线性组合,因此属于 H,同样,对任意数 c,向量cu 属于 H,因为 若 不等于零而是 的倍数,则和 仅生成通过原点的直线.所以通过原点的直线是子空间的另一个例子. 见图2-25.例2 不通过原点的一条直线不是子空间,因它不包括原点,同样,图2-26说明 在加法或标量乘法下不是封闭的. 例3 设 属于 , 的所有线性组合是 的子空间,这一结论的证明与例1中类似,我们将称 为由 生成(或张成)的子空间. ?注意 是它本身的子空间,因为三个性质都满足. 另一个特殊的子空间是仅含零向量的集合,它也满足子空间的条件,称为零子空间.矩阵的列空间与零空间应用中, 的子空间通常出现在以下两种情况中,它们都与矩阵有关.定义 矩阵A的列空间是A的各列的线性组合的集合,记作 .若 ,它们各列属于 ,则 和 相同,例4说明 矩阵的列空间是 的子空间. 注意,仅当A的列生成 时, 等于 . 否则, 仅是 的一部分.例4 设 ,确定b 是否属于 A的列空间.解 向量b 是A的各列的线性组合,当且仅当b 可写成 Ax的形式,x 属于 ,也就是说,当且仅当方程 Ax=b有解. 把增广矩阵[A b] 进行行变换:可知 Ax=b相容,从而b 属于 . 例4的解答说明,当线性方程组写成Ax=b 的形式,A 的列空间是所有使方程有解的向量 b的集合.定义 矩阵A的零空间是齐次方程 Ax=0的所有解的集合,记为 .当 A有 n列时, Ax=0的解属于 ,A 的零空间是 的子集.事实上, 具有 的子空间的性质.定理12 矩阵A 的零空间是 的子空间. 等价地, n个未知数的 m个齐次线性方程的解的全体是 的子空间.证 零向量属于 (因 A0=0),为证明 满足其他两个性质,取 中两个向量u和v,即设 Au=0和 Av=0,那么由矩阵乘法的性质,于是 u+v满足 Ax=0,所以 u+v属于 ,同样,对任意数c, ,这就证明了cu 也属于 . 为检验给定向量v是否属于 ,只要计算 Av,看它是否零向量,因 是用其中每个向量必须满足的一个条件来描述的,我们说零空间是隐性定义的. 相反,列空间是显性定义的,因 中的向量可由A 的各列(利用线性组合)构造出来. 为了建立 的显性描述,解Ax=0这个方程,把解写成参数向量形式.(见下面的例6.) 子空间的基因为子空间一般含有无穷多个向量,子空间中的问题最好能够通过研究生成这个子空间的一个小的有限集合来解决,这个集合越小越好.可以证明,最小可能的生成集合必是线性无关的.定义 中子空间H 的一组基是 中一个线性无关集,它生成H .例5 可逆 矩阵的各列构成 的一组基. 因为它们线性无关,而且生成 ,这由逆矩阵定理可知. 一个这样的矩阵是单位矩阵,它的各列用 表示: 称为 的标准基. 见图2-27.下例说明,求出方程Ax=0 的解的参数向量形式实际上就是确定 的基,这一事实将在第5章应用.
例6 求出下列矩阵的零空间的基.解 首先把方程 Ax=0的解写成参数向量形式.通解为 为自由变量.![screenshot](https://yqfile.alicdn.com/a6647f470c46ee1ec35345557126d20696da1a1b.png) (1)
方程(1)说明 与u,v,w 的所有线性组合的集合是一致的,即 {u,v,w}生成 ,事实上,u,v,w 的构造保证了它们线性无关,因为(1)式说明,
仅当权 等于零则成立.(观察向量 的第2,4,5个元素.)因此{u,v,w} 是 的一组基. 求矩阵的列空间的基比求零空间的基容易. 然而,这个方法需要一些说明,让我们从一个简单情形开始.例7 求下列矩阵的列空间的基:解 用 表示B的列,注意 是主元列的线性组合,这意味着 的任意线性组合实际上仅是 的线性组合. 事实上,若 v是Col B 的任意向量,例如说,则把 和 代入,可把 v写成它是 的线性组合,所以 生成Col B ,又 为线性无关,因为它们是单位矩阵的列,所以B 的主元列构成Col B 的基. 例7中的矩阵B 是简化阶梯形.为处理一个一般的矩阵 A,注意 A的各列之间的线性相关关系可表示为形式 Ax=0(若某些列不含在特殊的线性相关关系中,则x 的对应元素为零). 当A 行化简为阶梯形B 时,它的列虽然改变,但方程Ax=b 和Bx=0有相同的解集. 即 A的列与B 的列有相同的线性相关关系.例8 可以证明矩阵行等价于例7的矩阵B,求 Col A的一组基.解 由例7, 的主元列是第1,2,5列. 同时有 ,因行变换不影响列的线性相关关系,有经验证这是成立的!由例7的讨论,生成 的列空间不需要用 和 . 同样 必是线性无关的,因 之间的任意线性相关关系必然也使 有同样的关系,因 为线性无关, 也线性无关,因此是 Col A的一组基. 例8的讨论可以用来证明下列定理.定理13 矩阵A的主元列构成列空间的基.警告 小心,要用A 的主元列本身作为 Col A的基,阶梯形 B的列本身通常并不在 A的列空间内.(例如在例7和例8中, B的列的最后一行都是零,不可能生成 A的列空间.) 练习题习题1~4画的是 中的子集,假设这些集合包含边界线,说明这些集 不是 中的子空间的理由.(例如,找出 中两个向量,它们的和不属于 ,或求出 中一个向量,它的倍数不属于 ,画出图形.)
练习题答案
结果显示 是属于 . 要确定 是否属于 需要做更多的工作. 化简增广矩阵 成阶梯形来判断方程 是否相容:
方程 无解,因此 不属于 .
转载地址:http://ivkzl.baihongyu.com/