没有合适的资源?快使用搜索试试~ 我知道了~
首页从不同的角度看矩阵的行秩与列秩
资源详情
资源推荐
![](https://csdnimg.cn/release/download_crawler_static/5505275/bg1.jpg)
http://tianpeng.72pines.com/
从不同的角度看矩阵的行秩与列秩——兼论如何学好线性代数
线性代数中,有那么几个神秘又神奇的东西,总是让初学它的人琢磨不透,无法理解,其中就有矩阵的行
向量和列向量的关系,为什么一个矩阵的行向量里有多少个线性无关的向量,列向量里就一定也有多少个
线性无关的向量呢?或者考虑稍微简单一点的问题,一个方阵,为什么行向量线性无关或线性相关列向量
就一定也线性无关或相关呢?行秩为何等于列秩?
这本来应该是一个基本又简单的事实。但是,请回忆一下你当初初学线性代数时的内容编排顺序,是怎么
引入这个问题的,当时又是怎样解决这个问题的?
传统的教材编写思路是从线性方程组开始整个线性代数话题的引入,这个过程中定义行列式和矩阵,用 n
元数组引入向量,线性相关和无关等概念,讨论解存在的条件,解的结构,等等。总之,一切以方程组为
核心,给人的感觉就是线性代数就是方程组的理论,一切讨论的目的都是为了解决小小的方程组问题。
在这个过程中,有一个矩阵行秩等于列秩的命题,此时学生只了解方程组理论和行列式,因此这时对这个
问题的解释当然也无法离开方程组或行列式。下面简述两个典型的教材中的证明方法:
第一个证明来自陈志杰《高等代数与解析几何》。
证明:首先,矩阵的初等行变换不改变矩阵的行秩,初等列变换不改变矩阵的列秩。这是由向量组的初等
变换不改变向量组的线性相关或无关性保证的,即将某个向量乘以非零的倍数、将某个向量加到另一个向
量上,都不改变向量组的线性相关或无关性。
接着证明矩阵的初等行变换不改变矩阵的列秩。
设 A 是 m*n 阶矩阵,任意从 A 的 n 个列向量中选取 k 个列向量 a1,a2,…,ak,它们线性无关的充要条件
是线性方程组 a1×1+a2×2+…+akxk=0 只有零解。而对矩阵 A 进行初等行变换不改变此方程组的解,
因此不改变这 k 个列向量的线性相关或无关性。这说明 A 的列向量的秩在矩阵的初等行变换中不变。同理
矩阵的初等列变换不改变矩阵的行秩。
接下来,可以把 A 经过初等行变换和初等列变为只有对角线上有 1 或 0,其它位置都为 0 的矩阵,在这个
过程中行秩和列秩都不改变,从这个矩阵中看出行秩等于列秩,因此原来的矩阵行秩也等于列秩。
第二个证明来自北大数学系几何与代数教研室前代数小组编《高等代数》
证明:考虑线性方程组 AX=0,首先证明如果未知数的个数超过 A 的行秩,那么它有非零解。设 m*n 阶
矩阵 A 的行秩为 r,考虑方程组 AX=0,它由 m 个方程 n 个未知数组成。从 A 的行向量中选取 r 个线性无
关的行向量,重新组合成矩阵 B,那么方程组 AX=0 和 BX=0 同解。这时,如果 B 的列数大于行数,那
么方程组 BX=0 必有非零解,从而 AX=0 也有非零解。
接着证明行秩等于列秩。设 m*n 阶矩阵 A 的行秩为 r,列秩为 s。考虑 A 的任意 r+1 个列向量组成的矩
阵 C,因为 C 的行秩不大于 r(因为 C 的行向量都是 A 的行向量的一部分分量组成的),所以 CX=0 有非
零解,这说明这 r+1 个列向量线性相关。所以 A 的列秩最大为 r,即 s<=r。同理可证 r<=s,因此
s=r。
有了行秩等于列秩的性质,完全可以用行秩或列秩定义矩阵的秩了。编写教材的人和老师们都认为,只要
能够顺利定义出矩阵的秩,这个证明就足以满足初学时的需要了,既没有必要又没有条件再将它深入地挖
掘下去。
但是它仍然让我困惑,即使把书上的这个证明看得明明白白,也不理解为什么行秩等于列秩。因为向量是
个几何的概念,现在这个证明中看不出一点几何上向量的影子,这两个例子都依赖于线性方程组理论,都
1
![](https://csdnimg.cn/release/download_crawler_static/5505275/bg2.jpg)
离不开高斯消元法,都是代数上的推导。虽然从代数上推导出了这个结果,但是在几何上我依然无法接受
这个结果。矩阵的行向量和列向量“从图形上”到底是什么关系?可不可以让我一下子就能看出来它们的秩
是相等的?尽管经过了行列变换之后行列秩相等是显然的,但这个过程中却把原来的行列向量给变得面目
全非了。
更有甚者,有些教材上竟然用矩阵的子式和行列式理论推导行秩等于列秩,由于这种证明过于复杂,这里
就不列出了。
直到最近的一次偶然机会,又让我想起了这个问题。一开始,发现它和对偶空间与对偶映射有关系。
记得当初学习线性代数时,直到最后才接触了一些有关对偶空间和对偶映射的知识,教材还写得十分抽象,
以至于我们都囫囵吞枣地过来了,根本没有什么印象。后来的泛函,因为高等代数理解不深人,对泛函也
没有留下什么印象。最近有同事让我讲线性代数,有很多次问我关于矩阵转置的意义的问题。他曾经学习
线性代数时对很多问题不理解,其中就有矩阵转置到底对应几何上的什么东西,为什么要转置?其实我也
没考虑过这个问题,只知道这是代数的特殊需要,当需要把行向量变成列向量的时候就需要考虑转置,它
完全是代数上的处理方式。至于在几何上代表什么意义,我也曾困惑过,但一直没考虑清楚。然而现在比
大一那个时候多了一个学习的更加有效的途径,那就是网络。在 wiki 百科中,我查到了一个观点:
在标准正交基底下,如果一个线性映射对应于矩阵 A,那么 A 的转置恰好对应这个线性映射的转置映射,
A 的共轭转置恰好对应这个线性映射的对偶映射。
在有限维空间中对偶映射还有一个更直观的定义:
设 是从 到 的线性映射,则 的对偶映射 是从 到 的满足 的线性
映射。
这是很好理解的,即使不知道什么是对偶空间及对偶映射,单单从矩阵乘法的性质中也很容易看出 A 和 A
的共轭转置之间的这种关系。
这样就把 A 的共轭转置和 A 之间的关系赋予了几何的意义,因为内积正好包含向量的角度信息,并且当
一组非零向量两两内积为 0 时,它们线性无关。
A 和 A 的共轭转置的列向量的秩分别对应于 T 和 T* 的值域的维度,能不能就此证明它们相等?从而至少
可以证明实数矩阵行秩等于列秩。这就是下面的:
定理 1:线性映射 的值域和其对偶映射 的值域有相同的维数。
证明:设 T 是从 U 到 V 的线性映射,则 T 的对偶映射 T* 是从 V 到 U 的线性映射。设 T 与 T* 的值域
的维数分别为 r,s,假设 s<r,则在 T* 值域中可以找一组基底:
,考虑 ,这个向量组的秩≤s<r,因此可
以在 的值域中(维数为 r)找到 使得
。又因为
故 即 。这样我们
在 的值域中找到了与向量 都垂直的非零向量,与这个向量组是 值域
的基底矛盾。因此 s≥r。
同理可证 s≤r。故 s=r。证毕。
这样,A 与 A 的共轭转置的列秩相等,从而实数矩阵的行秩等于列秩。
为了把它应用于证明复数矩阵行秩与列秩相等,还需要下面的命题:
2
![](https://csdnimg.cn/release/download_crawler_static/5505275/bg3.jpg)
命题 1:若复数值向量 a1,a2,…,an 线性无关,那么他们的共轭向量也线性无关。
证明:以 a1,a2,…,an 为系数矩阵的方程组 k1a1+k2a2+…+knan=0 两边取共轭即得到一个以
a1,a2,…,an 的共轭为系数的线性方程组,这两个方程组同时有或没有非零解。证毕。
这样就彻底完全地证明出了矩阵的行秩与列秩相等。这个证明的思路中就明显地带有几何的启示,因此我
觉得它更能让我看到矩阵行向量和列向量的本质。然而虽然这个证明带有很强的几何色彩,但终究还是觉
得有些抽象,还是没有道出行列向量之间的关系来。
经过对这个问题持续的思考,和对方程组 AX=0 从不同的角度去解释,发现如果我们竖着看 AX,我们看
到一个线性映射,它列向量的秩是它值域的维数;然而如果我们横着看 AX=0,又可得到 A 的每个行向
量与 X 的内积是 0(这里以实数矩阵为例,至于复数矩阵则可以利用上面的“命题 1”),也就是说,A 的
每个行向量和 AX=0 的解都垂直,用映射的观点说,就是 A 的每个行向量都在线性映射的零空间的正交
补空间中。又 AX=0 的所有解的集合(零空间)是垂直于 A 的每个行向量的向量构成的集合,那么零空
间和行空间应该互为正交补空间,它们的维数之和是定义域的维数。那么事情就清楚了,根据秩-零度定
理,dim rangeT+dim nullT 是 T 定义域的维数,而行空间维数又与零空间维数互补,因此行空间维数
等于值域维数,即行秩等于列秩。
应该说,这才是行向量和列向量真正的本质关系,可惜的是,直到毕业的三年多之后我才自己发现了这个
关系。
其实,如果考虑对偶映射,也可以轻而易举地得出结论:T* 的值域恰是 T 的零空间的正交补。根据秩-零
度定理也立即可以得出 T* 和 T 值域维数相等。前面在证明“定理 1”时没有用到它们值域和零空间的关系
还有秩-零度定理,这里用了这两个定理之后,分析过程其实和上段分析 AX=0 方程组的过程本质上是一
样的。
那时在网络上还查找到了一个利用了矩阵乘积的现代观点证明行秩等于列秩的文章,是在台湾博客“线代
启示录”中看到的,抄录如下(注意在台湾,把竖着的叫行,把横着的叫列,与我们恰好相反):
假設 階矩陣 的行秩為 ,列秩為 。可知 包含 個 —維線性獨立的行向量,它們足以擴張 的行
空間。將這些行向量收集起來組成一個 階矩陣 ,那麼 的任何一個行 都可以
唯一表示為 的行向量 之線性組合,如下:
將這 個式子的線性組合權重合併為一個 階矩陣 ,並利用以行為計算單元的矩陣乘法規則,就
有
接著再考慮矩陣 的第 列,以 表示,利用以列為計算單元的矩陣乘法規則,於是有
3
剩余14页未读,继续阅读
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
周六福
- 粉丝: 1
- 资源: 2
上传资源 快速赚钱
我的内容管理 收起
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
会员权益专享
最新资源
- 基于单片机的瓦斯监控系统硬件设计.doc
- 基于单片机的流量检测系统的设计_机电一体化毕业设计.doc
- 基于单片机的继电器设计.doc
- 基于单片机的湿度计设计.doc
- 基于单片机的流量控制系统设计.doc
- 基于单片机的火灾自动报警系统毕业设计.docx
- 基于单片机的铁路道口报警系统设计毕业设计.doc
- 基于单片机的铁路道口报警研究与设计.doc
- 基于单片机的流水灯设计.doc
- 基于单片机的时钟系统设计.doc
- 基于单片机的录音器的设计.doc
- 基于单片机的万能铣床设计设计.doc
- 基于单片机的简易安防声光报警器设计.doc
- 基于单片机的脉搏测量器设计.doc
- 基于单片机的家用防盗报警系统设计.doc
- 基于单片机的简易电子钟设计.doc
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)