4.6 秩
借助于向量空间的概念,本节我们观察矩阵的内部,揭示几个有趣且有用的隐藏在行和列之中的关系.
例如,设想在一个 矩阵 中放置2000个随机数,然后确定 中线性无关列的最大个数和 中线性无关列的最大个数(即 中线性无关行的最大个数)。值得注意的是,这两个数是相同的。我们将要看到,这个公共值是矩阵 的秩。为了解释这个现象,需要检查由 的行生成的子空间。
若 是一个 矩阵, 的每一行具有 个元素,即可以视为 中一个向量。其行向量的所有线性组合的集合称为 的行空间,记为 。由于每一行具有 个元素,所以 是 的一个子空间。因为 的行与 的列相同,我们也可用 代替 。
令
的行空间是 的子空间,它由 生成,即 Row 。将行向量横着写是很自然的,然而,有时为了方便,它们也可以写成列向量。
在例1中,如果知道一些关于矩阵 的行之间的线性相关关系,那么可以利用生成集定理将这个生成集缩小到一个基。不幸的是,在 上进行行变换对我们没有帮助,因为行变换改变了行的相关关系。但行化简 当然是有价值的,正如下一个定理展示的那样!
若两个矩阵 和 行等价,则它们的行空间相同。若 是阶梯形矩阵,则 的非零行构成 的行空间的一个基同时也是 的行空间的一个基。
证明
若 是由 经行变换得到的,则 的行是 的行的线性组合,于是 的行的任意线性组合自然是 的行的线性组合,从而 的行空间包含于 的行空间。因为行变换可逆,同理知 的行空间是 的行空间的子集,从而这两个空间相同。若 是一个阶梯形,则其非零行是线性无关的,这是因为任何一个非零行均不为它下面的非零行的线性组合。(将定理4按相反顺序应用于 的非零行,即第一行放最后。)于是 的非零行构成 的行空间的一个基,当然也是 的行空间的一个基。
本节的主要结论涉及三个空间:Row A, Col A 和 Nul A. 下面的例子为这个结论做准备,同时展示如何通过对 进行一系列行变换得到三个空间的基.
分别求矩阵 的行空间、列空间和零空间的基.
解
为了求行空间和列空间的基,行化简 成阶梯形:
由定理13, 的前 3 行构成 的行空间的一个基(也是 的行空间的基),从而 Row A 的基:
对列空间,观察 ,主元列在第 1,2 和 4 列,从而 的第 1,2 和 4 列(不是 的)构成 Col A 的一个基.
Col 的基:
意到 的任何阶梯形提供(在它的非零行)Row 的一个基,同时对Col 确定了 的主元列.然而对Nul ,需要简化阶梯形.对 进一步作行变换得
方程 Ax=0 等价于 Cx=0,即
所以 和 为自由变量. 通常的计算(在4.2节中讨论过)表明
Nul A 的基:
通过观察可见,与 Col A 的基不同,Row A 和 Nul A 的基与 中的元素没有简单的联系.
在例2 中,尽管 的前 3 行是线性无关的,但由此推断说 的前 3 行是线性无关则是错误的(事实上 的第 3 行等于 2 倍的第 1 行加上 7 倍的第 2 行),行变换对矩阵的行不保持线性相关关系.
下一定理描述 Col A,Row A 和 Nul A 的维数之间的基本关系.
定义 的秩即 的列空间的维数.
由于Row 与 相同,故 的行空间的维数等于 的秩。零空间的维数有时被称为 的零维,尽管我们不使用这个术语。
做过 4.5 节的习题或读完上面的例2 后,警觉的读者可能已经发现下一个定理的部分或全部结论.
矩阵 的列空间和行空间的维数相等,这个公共的维数(即 的秩)还等于 的主元位置的个数且满足方程
证明
由4.3节定理6,rank 是 中主元列的个数。等价地,rank 是 的阶梯形 中主元位置的个数。进一步,因为 对每个主元有一个非零行,同时这些行对 的行空间而言构成一个基,所以 的秩也等于 的行空间的维数。
由4.5节,Nul 的维数等于方程 中自由变量的个数。换句话说,Nul 的维数是 中非主元列的个数。显然有
这就完成了证明.
定理14后面的思想在例2中的计算中可以看到. 阶梯形 的三个主元位置确定了基本变量,同时也确定了Col 和Row 的基向量.
. 若 是一个 矩阵,具有二维零空间, 的秩是多少?
. 一个 矩阵能有二维零空间吗?
解
. 由 有 9 列,故 ,从而 rank A = 7.
. 不能. 若 为一个 矩阵, 具有二维零空间, 则它的秩一定等于 7 (由秩定理). 但 的列是 中的向量, 从而 的维数不能超过 6, 即 不能超过 6.
下一个例子为我们一直在研究的子空间直观化提供了一个好的方法。在第6章中,我们将学习到Row 和Nul 的公共向量只有零向量,并且事实上二者是相互“垂直”的。对Row 和Nul 有同样的结果。所以例4中的图4-24对一般情形建立了一个良好的理解图像。( 和 在一起研究的价值见习题29。)
令 ,容易检验 Nul A 是 轴,Row A 是 平面,Col A 是方程为 的平面,Nul 是所有 的倍数构成的集合。图 4-24 展示出在线性变换 的定义域中的 Nul A 和 Row A;这个映射的值域 Col A 连同 Nul 一起,被表现为 的一个分离的拷贝。
应用到方程组
Section titled “应用到方程组”秩定理是处理线性方程组的信息的一个有力工具.下一个例子模拟一个利用线性方程的现实问题,可能前面陈述过,例中没有直接用到线性代数的术语(如矩阵、子空间、维数等).
一个科学家对一个40个方程42个变量的齐次方程组已经求出了两个解,这两个解不是倍数关系,而且其他所有解均能表示为这两个解的适当倍数之和。这个科学家能确定一个相应的非齐次方程组(与此齐次方程组有相同的系数)有解吗?
解
有解.令 是这个方程组的 系数矩阵,已给的条件蕴涵这两个解是线性无关的且能生成 Nul A,所以 dim Nul A = 2.由秩定理,dim Col A = 42 - 2 = 40.由于 是 唯一的维数是 40 的子空间,故 Col A 一定等于 ,这表明每个非齐次方程 Ax = b 有一个解.
秩和可逆矩阵定理
Section titled “秩和可逆矩阵定理”与矩阵相关的各种线性空间的概念对可逆矩阵定理提供了更多的一些命题,这里仅列出新的命题,但我们把它们接在2.3节中原来的可逆矩阵定理的后面.
定理(可逆矩阵定理(续))
Section titled “定理(可逆矩阵定理(续))”令 是一个 矩阵, 则下列命题中的每一个均等价于 是可逆矩阵:
. A 的列构成 的一个基. n. . o. dim Col A = n. p. rank A = n. q. Nul A = {0}. r. dim Nul A = 0.
证明
从线性无关和生成的角度看,命题()与命题()和()是逻辑上等价的。至于上面其他五个命题,可由下列常见的蕴涵关系将它们与这个定理早期的一个命题链接起来:
命题()称对 中的每个 ,方程 至少有一个解,由此可以推出(),因为 Col 实际上就是使方程 相容的所有 的集合。蕴涵式 由维数和秩的定义可以推出。如果 的秩等于 ,即等于 的列的个数,则由秩定理有 dim Nul ,也就是 Nul 。于是 。而且由 () 可以推出方程 只有平凡解,即命题 ()。因为已经知道命题 () 和 () 与 是可逆的命题是等价的,于是定理证毕。
我们没有将关于 的行空间的命题添加到可逆矩阵定理中, 这是因为行空间是 的列空间. 回顾可逆矩阵定理的(1), 即 可逆当且仅当 可逆, 从而可逆矩阵定理的每个命题也适合 , 这样做将定理的长度加倍, 从而产生一串超过 30 个的命题!
数值计算的注解 本课程中讨论的许多算法对理解概念和进行简单的手工运算是有用的。然而,这些算法通常不适合大规模的现实问题。
秩的确定是一个很好的例子. 将矩阵简化为阶梯形然后再数主元个数似乎很容易, 但是除非在一个元素被明确指定的矩阵上执行精确的算法, 否则行变换可能改变一个矩阵表面上的秩. 比如, 若矩阵 中的 值没有被当作 7 精确地存储在计算机中, 那么秩可能是 1 或 2, 这依赖于计算机是否将 当作零处理.
在实际应用中,矩阵 的有效秩常由 的奇异值分解来确定,这将在 7.4 节中讨论。通过这种分解还可以可靠地求出 Col A, Row A, Nul A 和 的基。
下列矩阵是行等价的.
-
求 rank A 和 dimNul A.
-
求 Col A 和 Row A 的基.
-
如果想要求 Nul A 的一个基,下一步要做什么?
-
的行阶梯形中有多少个主元列?
在习题 1~4 中,假设 行等价于 ,不用计算,写出 rank A 和 dim Nul A,再求 Col A,Row A,Nul A 的基.
-
若一个 矩阵 秩为 3,求 , 和 .
-
若一个 矩阵 秩为 3,求 , 和 .
-
假设 矩阵 有 4 个主元列, 成立吗? 成立吗?解释你的答案.
-
假设 矩阵 有4个主元列, 是多少? 成立吗?解释你的答案.
-
若 矩阵 的零空间是四维的, 的列空间的维数是多少?
-
若 矩阵 的零空间是五维的, 的列空间的维数是多少?
-
若 矩阵 的零空间是二维的, 的行空间
的维数是多少?
-
若 矩阵 的零空间是四维的, 的行空间的维数是多少?
-
若 是 矩阵, 的秩最大可能为多少?若 是 矩阵, 的秩最大可能为多少?解释你的回答.
-
若 是 矩阵, 的行空间的维数最大可能为多少?如果 是 矩阵, 的行空间的维数最大可能为多少?解释你的回答.
-
若 为一个 矩阵, 的最小可能的维数是多少?
-
若 是一个 矩阵,Nul A 的最小可能的维数是多少?
在习题 17 和习题 18 中, 是一个 矩阵,标出每个命题的真假,检验每个答案.
-
. A 的行空间与 的列空间相同. b. 若 是 的任一个阶梯形, 有 3 个非零行,则 的前三行构成 Row A 的一个基. c. 矩阵 的行空间与列空间具有相同的维数,即使 不是方阵,此结论也成立. d. A 的行空间的维数与零空间的维数之和等于 的行数. e. 在计算机上,行变换可能改变一个矩阵的表面上的秩.
-
. 若 是 的任一阶梯形,则 的主元列构成 的列空间的一个基. b. 行变换保持 的行之间的线性相关关系. c. A 的零空间维数等于 的非主元列个数. d. 的行空间与 的列空间相同. e. 若 与 行等价,则它们的行空间相同.
-
假设一个含有5个线性方程6个未知数的齐次方程组的解都是一个非零解的倍数,对方程右边每个可能选取的常数,此方程组将必然会有一个解吗?解释之.
-
假设一个含有6个线性方程8个未知数的非齐次方程组有一个解,具有两个自由变量,若改变方程右边某常数,使新的方程组不相容可能吗?解释之.
-
假设一个含有 9 个线性方程 10 个未知数的非齐次方程组对右边所有可能的常数均有解,相应的齐次方程组可以找到两个不成倍数的非零解吗?讨论之.
-
一个含有 10 个方程 12 个未知数的齐次方程组的所有解为一个确定的非零解的倍数,这个结论成立吗?讨论之.
-
一个含有 12 个线性方程 8 个未知数的齐次方程组有两个固定的没有倍数关系的解,同时所有其他解均是此二解的线性组合,那么所有解的集合可以由少于 12 个齐次线性方程的方程组刻画吗?若可以,有多少个方程?讨论之。
-
一个含有7个方程6个未知数的非齐次方程组对右边某些常数有唯一解可能吗?对右边任一组常数,该方程组有唯一解可能吗?解释之.
-
一个科学家解一个含有10个线性方程12个未知数的非齐次方程组,发现未知数中有3个是自由变量。该科学家是否可断定,若方程右边改变,则新的非齐次方程组将有一个解?讨论之。
-
在统计理论中,通常需要一个矩阵是满秩的,即矩阵的秩取到尽可能大。对一个 矩阵,其中行数大于列数,解释为什么该矩阵满秩当且仅当它的列是线性无关的。在习题27~29中,涉及一个 矩阵 和通常被称为由 确定的基本子空间。
-
Row A, Col A, Nul A, Row , Col 和 Nul 中哪一个子空间在 中,哪一个在 中?其中有多少不同的子空间?
-
验证以下等式: . dimRow A 的列数 . dimCol A 的行数
-
利用习题 28 解释为什么方程 Ax=b 对任意 有解当且仅当方程 仅有平凡解.
-
假设 是 矩阵, 在 中,为使方程 相容,关于两个数 和 一定有什么关系?
秩为 1 的矩阵在某些计算机算术以及本书的几处上下文的理论处理中都是重要的,其中包括第 7 章中的奇异值分解。可以证明 矩阵 的秩为 1 当且仅当它是一个外积,即对某 和 ,有 。习题 31~33 暗示为什么这个性质是正确的。
-
验证:如果 ,则 .
-
令 , 求 中向量 , 使得 .
-
令 为任意一个 的 矩阵,令 为 的第一列,且 ,解释为什么存在一个 中的向量 使得 。若 的第一列为零,这个结论如何修改?
-
令 为一个秩为 的 矩阵,令 为 的一个阶梯形,解释为何存在一个可逆矩阵 使得 ,利用这个因式分解将 写成 个秩为1的矩阵之和。(提示:参考2.4节定理10.)
-
[] 令
. 构造矩阵 和 ,它们的列分别为 Col A 和 Nul A 的基,再构造矩阵 ,它的行构成 Row A 的一个基.
. 构造矩阵 ,它的列构成 的一个基,构造矩阵 , ,解释为什么 和 应为方阵,验证 和 均为可逆的。
- [] 随机取一个 整数值矩阵 ,并且它的秩最大为4,重复习题35.生成 的一个方法是:随机建立一个 整数值矩阵 和一个 整数值矩阵 ,令 .(见本章后面的补充习题12;阅读“学习指导”中关于矩阵生成程序的说明.)
,使它的行是 的简化阶梯形的非零行。计算 CR 并讨论你得到的结果。
-
[] 令 是习题 35 中的矩阵,构造一个矩阵 ,使它的列是 的主元列,再构造一个矩阵
-
[] 对三个随机取的 整数值矩阵 ,秩分别为 5, 4 和 3,重复习题 37。对任意矩阵 ,作关于 与 有何关系的一个猜想,证明你的猜想。
-
有两个主元列,所以 rank A = 2,又由于 共有 5 列,所以 dim Nul A = 5 - 2 = 3。
-
的主元列是前两列,所以 的一个基为
的非零行构成Row 的一个基,即 。在此特殊例子中, 的任意两行构成行空间的一个基,这是因为行空间是二维的,且 中任一行均不是另一行的倍数。一般而言, 的阶梯形的非零行通常可作为Row 的一个基, 本身的行则不行。
-
对 Nul A,下一步是对 进行行变换得到 的简化阶梯形.
-
由秩定理,因 ,所以 ,从而 有两个主元位置。
书籍模块索引
线性代数及其应用(原书第5版) · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。