从不同的角度看矩阵的行秩与列秩

1、从不同的角度看矩阵的行秩与列秩兼论如何学好线性代数线性代数中，有那么几个神秘又神奇的东西，总是让初学它的人琢磨不透，无法理解，其中就有矩阵的行向量和列向量的关系，为什么一个矩阵的行向量里有多少个线性无关的向量，列向量里就一定也有多少个线性无关的向量呢或者考虑稍微简单一点的问题，一个方阵，为什么行向量线性无关或线性相关列向量就一定也线性无关或相关呢行秩为何等于列秩？这本来应该是一个基本又简单的事实。但是，请回忆一下你当初初学线性代数时的内容编排顺序，是怎么引入这个问题的，当时又是怎样解决这个问题的？传统的教材编写思路是从线性方程组开始整个线性代数话题的引入，这个过程中定义行列式和矩阵，用n元数组

2、引入向量，线性相关和无关等概念，讨论解存在的条件，解的结构，等等。总之，一切以方程组为核心，给人的感觉就是线性代数就是方程组的理论，一切讨论的目的都是为了解决小小的方程组问题。在这个过程中，有一个矩阵行秩等于列秩的命题，此时学生只了解方程组理论和行列式，因此这时对这个问题的解释当然也无法离开方程组或行列式。下面简述两个典型的教材中的证明方法：第一个证明来自陈志杰高等代数与解析几何。证明：首先，矩阵的初等行变换不改变矩阵的行秩，初等列变换不改变矩阵的列秩。这是由向量组的初等变换不改变向量组的线性相关或无关性保证的，即将某个向量乘以非零的倍数、将某个向量加到另一个向量上，都不改变向量组的线性相关或

3、无关性。接着证明矩阵的初等行变换不改变矩阵的列秩。设A是m*n阶矩阵，任意从A的n个列向量中选取k个列向量a1,a2,ak它们线性无关的充要条件是线性方程组aixi+a2x2+-+akxk=(R有零解。而对矩阵A进行初等行变换不改变此方程组的解，因此不改变这k个列向量的线性相关或无关性。这说明A的列向量的秩在矩阵的初等行变换中不变。同理矩阵的初等列变换不改变矩阵的行秩。接下来，可以把A经过初等行变换和初等列变为只有对角线上有1或0，其它位置都为0的矩阵，在这个过程中行秩和列秩都不改变，从这个矩阵中看出行秩等于列秩，因此原来的矩阵行秩也等于列秩。第二个证明来自北大数学系几何与代数教研室前代数小组

4、编高等代数证明：考虑线性方程组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&l

5、t;=r。同理可证r<=s,因此s=r。有了行秩等于列秩的性质，完全可以用行秩或列秩定义矩阵的秩了。编写教材的人和老师们都认为，只要能够顺利定义出矩阵的秩，这个证明就足以满足初学时的需要了，既没有必要又没有条件再将它深入地挖掘下去。但是它仍然让我困惑，即使把书上的这个证明看得明明白白，也不理解为什么行秩等于列秩。因为向量是个几何的概念，现在这个证明中看不出一点几何上向量的影子，这两个例子都依赖于线性方程组理论，都离不开高斯消元法，都是代数上的推导。虽然从代数上推导出了这个结果，但是在几何上我依然无法接受这个结果。矩阵的行向量和列向量“从图形上”到底是什么关系可不可以让我一下子就能看出来它

6、们的秩是相等的尽管经过了行列变换之后行列秩相等是显然的，但这个过程中却把原来的行列向量给变得面目全非了。更有甚者，有些教材上竟然用矩阵的子式和行列式理论推导行秩等于列秩，由于这种证明过于复杂，这里就不列出了。直到最近的一次偶然机会，又让我想起了这个问题。一开始，发现它和对偶空间与对偶映射有关系。记得当初学习线性代数时，直到最后才接触了一些有关对偶空间和对偶映射的知识，教材还写得十分抽象，以至于我们都囫囵吞枣地过来了，根本没有什么印象。后来的泛函，因为高等代数理解不深人，对泛函也没有留下什么印象。最近有同事让我讲线性代数，有很多次问我关于矩阵转置的意义的问题。他曾经学习线性代数时对很多问题不理解

7、，其中就有矩阵转置到底对应几何上的什么东西，为什么要转置其实我也没考虑过这个问题，只知道这是代数的特殊需要，当需要把行向量变成列向量的时候就需要考虑转置，它完全是代数上的处理方式。至于在几何上代表什么意义，我也曾困惑过，但一直没考虑清楚。然而现在比大一那个时候多了一个学习的更加有效的途径，那就是网络。在wiki百科中，我查到了一个观点：在标准正交基底下，如果一个线性映射对应于矩阵A，那么A的转置恰好对应这个线性映射的转置映射，A的共轭转置恰好对应这个线性映射的对偶映射。在有限维空间中对偶映射还有一个更直观的定义：设丁是从到的线性映射，则u的对偶映射是从p到仃的满足（T国呜=科T”眇的线性映射。

8、这是很好理解的，即使不知道什么是对偶空间及对偶映射，单单从矩阵乘法的性质中也很容易看出A和A的共羯转置之间的这种关系。这样就把A的共羯转置和A之间的关系赋予了几何的意义，因为内积正好包含向量的角度信息，并且当一组非零向量两两内积为0时，它们线性无关。A和A的共羯转置的列向量的秩分别对应于T和T*的值域的维度，能不能就此证明它们相等从而至少可以证明实数矩阵行秩等于列秩。这就是下面的：定理1:线性映射工的值域和其对偶映射1片的值域有相同的维数。证明：设T是从U至IV的线性映射，则T的对偶映射T*是从V到U的线性映射。设T与T*的值域的维数分别为r,s,假设s<r,则在T*值域中可以找一组基底

9、：>%考虑T7F,这个向量组的秩<s<r因此可以在T的值域中（维数为r）找到廿丰0使得佃叶丁广现）=（叫",严改）=0=1,2-ffO又因为他1411m+1）=（TiG+ijiTuu+i），。故鼠皿#0即/*外+1r0。这样我们在的值域中找到了与向量，修叫:rT*复*都垂直的非零向量，与这个向量组是值域的基底矛盾。因此s>5同理可证s<J故s=r。证毕。这样，A与A的共羯转置的列秩相等，从而实数矩阵的行秩等于列秩。为了把它应用于证明复数矩阵行秩与列秩相等，还需要下面的命题：命题1:若复数值向量a1,a2,启钱性无关，那么他们的共羯向量也线性无关。证明：以

10、a1,a2,an为系数矩阵的方程组k1a1+k2a2+-+knan=0两边取共轲即得到一个以a1,a2,an的共羯为系数的线性方程组，这两个方程组同时有或没有非零解。证毕。这样就彻底完全地证明出了矩阵的行秩与列秩相等。这个证明的思路中就明显地带有几何的启示，因此我觉得它更能让我看到矩阵行向量和列向量的本质。然而虽然这个证明带有很强的几何色彩，但终究还是觉得有些抽象，还是没有道出行列向量之间的关系来。经过对这个问题持续的思考，和对方程组AX=0从不同的角度去解释，发现如果我们竖着看AX,我们看到一个线性映射，它列向量的秩是它值域的维数；然而如果我们横着看AX=0,又可得到A的每个行向量与X的内积

11、是0（这里以实数矩阵为例，至于复数矩阵则可以利用上面的命题1”），也就是说，A的每个行向量和AX=0的解都垂直，用映射的观点说，就是A的每个行向量都在线性映射的零空间的正交补空间中。又AX=0的所有解的集合（零空间）是垂直于A的每个行向量的向量构成的集合，那么零空间和行空间应该互为正交补空间，它们的维数之和是定义域的维数。那么事情就清楚了，根据秩-零度定理，dimrangeT+dimnullT是T定义域的维数，而行空间维数又与零空间维数互补，因此行空间维数等于值域维数，即行秩等于列秩。应该说，这才是行向量和列向量真正的本质关系，可惜的是，直到毕业的三年多之后我才自己发现了这个关系。其实，如果考

12、虑对偶映射，也可以轻而易举地得出结论：T*的值域恰是T的零空间的正交补。根据秩-零度定理也立即可以得出T*和T值域维数相等。前面在证明定理1”时没有用到它们值域和零空间的关系还有秩-零度定理，这里用了这两个定理之后，分析过程其实和上段分析AX=0方程组的过程本质上是一样的。那时在网络上还查找到了一个利用了矩阵乘积的现代观点证明行秩等于列秩的文章，是在台湾博客中看到的，抄录如下（注意在台湾，把竖着的叫行，把横着的叫列，与我们恰好相反）：假mx*隋矩障V的行秩卷心,列秩卷口可知且包含门固m一雒性褐立的行向量，它伪足以&的行空灯符道些行向量收集起来成一彳固m熬广卜皆矩障口，那麽月的任何一彳固

13、行叫U=LZ.,T句都可以唯一表示卷口的行向量bi，bn*.b之性合，如下：aj=dijhji+cfejb口+,+MB丁M固式子的性山合重合一彳固仁川歌隋矩障口=【小11,她利用以行卷言十算罩元的矩障乘法规即，就有接著再考矩障A的第，列，以表示，利用以列标十算罩元的矩障乘法皿，於是有rofWi（-A）=rowi（BD）=&+垃已工时式。）矩障a的每一列都可以:d的列向量之性合，因此总的列空雒度不大於d的列向量即弋&亡,也就是.4的列空度不大於的行空度。用同檬的推ta方式於.47，可推知.4丁的列空度不大於了的行空度，但.4丁的列空即卷a的行空而工丁的行空就是.4的列空"

14、;得知c&丁。粽合以上结果，者登得=心，矩障的行秩等於列秩。造彳固者登明方法表面看似平凡瓢奇，但它只利用矩障乘法i!算便符黑彳固重要的性代数概念一一性合、基底和建结在一起，非常值得初阜者氐咻田品味。这个证明虽然也是代数上的分析，但其巧妙的让人称奇的地方，就是把一个矩阵分解成了两个矩阵的乘积，其中左边的因子是列慢秩的，然后利用对两个矩阵乘积的不同的解释，把左面的列秩（也就是A的列秩）和右面的行秩联系起来了。本来，有关矩阵列秩与行秩关系的问题讨论到这里也可以算是比较圆满了。但是，在写这篇文章的时候，又无意间提出下面的一个问题：为什么如果矩阵A只有两行，哪怕它有100歹u,它的列向量的秩也最

15、多是2现在来看，这是个非常简单的问题，因为它的io。个列向量都是二维的向量，这些二维向量再多，也至多可以找出两个线性无关的向量。这是由向量空间的维数定理保证的：有限维向量空间中任何极大线性无关组包含向量个数相同。”因此，一个矩阵，它的列秩不超过行数，行秩不超过列数。那么，为了完成列秩等于行秩”的证明，只需把列秩和行秩的大小范围估计得更精确一些，从列秩小于等于行数”、行秩小于等于列数”精确到列秩小于等于行秩”、行秩小于等于列秩”。我们设想，如果一个m*n阶矩阵，它的行秩为r,那么它的列向量虽然表面上看每个都是m维的，但实际上这些m维向量被限制在了一个r维的子空间中，实际属于r维向量。为了看清楚这

16、一点，我们可以有两条思路：第一条，既然A的行空间维数为r,那么可以找到r个线性无关的行向量为基底，矩阵的m个行向量都可以用这r个向量线性表示，用矩阵的语言就是其中D就是从A的行向量中选取的线性无关行向量，B的每一行是A的行向量按D中行向量线性表示的系数（坐标）。那么，接下来还是两条路：第一，按维数定理，D的列秩不超过其行数r,且A的值域维数不大于D的值域维数（因为A的维数就是把D的值域再用B映射到m维空间，值域的维数是递减的），因此A的列秩不大于r,这实质上是北大线性代数中的证明；第二，B的列秩不超过B的列数r,这样就变成了线代启示录”的证明，因此线代启示录”上的证明思路也就是如此。第二条，我

17、们可以实际地找出£列空间的基底。因为？！行秩为，即可以选取厂个行向量.祀“一一ttT-,使得其它行向量都可以用这厂个行向量线性表示，不妨记为=为伊1口方一,，®r）,那么就代表月的列向量的坐标都具有如下形式：:2显然只有前r个坐标是可以自由变化的，这样的向量的全体构成一个子空间，它的基底是清楚的。因此，这是个r维子空间。根据维数定理，这样的向量不管多少个，秩不大于r。可见，一个简单的事实，可以从多种角度进行的解释，但有些看似动机不同的解释往往实质上又相同，它们之间也有着千丝万缕的联系。因为线性代数的这个特点，使得不同的线性代数的教材的写法有很大的不同。同样一个事实，既可以从

18、线性映射的角度去解释，又可以从矩阵分析的角度解释，还可以从线性方程组，或行列式角度去证明。线性代数教材的编写其实很随意，既可以像北大版那样把线性方程组作为基础，其它诸如线性变换、维数定理等等内容都通过方程组理论来证明，也可以像LinearAlgebraDoneRight那样完全地从抽象的向量空间和线性映射的角度分析。它们动机虽然不同但是要认识的对象是同构的。但是，如果当初满足于这个定理的书本上的证明，我是不可能对它挖掘得这么深，也不可能认识到这些东西的。这里我还是要对以北大版高等代数为代表的教材提一些意见。可能大部分人都认为，线性方程组是线性代数中最易懂最易理解的部分，学生又有中学解多元一次方

19、程组的基础知识，线性方程组又可以引申出线性代数的诸多内容，因此是最适合用于大学一年级学生入线代之门的内容。但是这样做有两个问题：一个是如果只提方程组，学生无法想象它的几何形象，学生学习时头脑中形成的往往只是变动的符号，不利于深入理解线性代数，更不利于发挥想象力去主动发现知识。如果说当学生学到线性空间、线性变换的时候自然会学习到这些几何观念，那么在线性方程组之后，线性空间和线性变换之前，还要学习矩阵理论，同样是没有几何直观，并且比方程组更难理解，到了线性空间的时候学生已经云里雾里了，哪里还有信心去学习接下来的东西李炯生版线性代数的前言部分说，研究线性空间以及线性空间关于线性变换的分解即构成了线性

20、代数的几何理论，而研究短阵在各种关系下的分类问题则是线性代数的代数理论。”那么到底是先代数后几何，还是先几何后代数，还是二者同时进行如果先代数后几何，就像在没有学习平面几何的时候学习解析几何，并且要预先学习曲线方程的性质，不见曲线只见方程，等把方程的性质在代数上讨论清楚了，再带你认识它们实质上的几何形象，再用这些方程的性质简单推导出几何的性质。但这是一个非常糟糕的学习方式。更糟糕的是一些理工科专业线性代数学得更浅，甚至只学到矩阵部分，只记住了矩阵的运算等莫名奇妙的符号在头脑中搬来搬去，至于为什么那么计算，学过之后考高分的学生也不知道。这里有孟岩的三篇csdn博文为证，尤其是博文开头几段话，道出

21、了一般理工科学生的疑问。另一个问题是，这样的组织缺少发展理论框架的动机，为什么要引入线性相关，线性无关，为什么要讨论矩阵为什么有了消元法还要讨论行列式和Cramer法则如果都是以解方程为目的，这些内容统统没有动机，只要一个消元法，最后能够写出通解形式，就够了。似乎矩阵、向量空间等内容都是方程组问题生发出来的，研究它们又有什么用途这些问题开始不讲清楚，学生厌学，到后续课程真正用到这些知识的时候后悔莫及。因此，我主张不论是编写教材，还是老师讲授，学生学习，都应该起点底，观点高，让学生可以从各个不同方向去“围攻”一个问题，从各种不同的角度去看待一个知识，即使只是为了讲代数，几何方面的直观思想和动机也

22、要讲清楚，甚至这些更为重要。不妨在讲解线性方程组的时候就开始讲讲方程组中蕴含的向量空间、线性变换等高级内容的道理，即不光讲高斯消元法等方程的传统内容，还要用线性变换那样的几何观点解释方程组解的结构等等问题，并用三维的几何图形（不妨用电脑中的数学软件或flash动画，至少是图片）来展示线性代数中那些概念背后的几何形象，使学生一开始就有丰富的几何代数经验，一开始就发现这部分数学的魅力。理解矩阵与矩阵乘积（一）线性代数中，有那么几个神秘又神奇的东西，总是让初学它的人琢磨不透，无法理解。今天讨论线性代数中第二个既基本又神奇的东西：矩阵的乘法。回想起我们中学的那个时代，从初中到高中，数学课的内容完完全全

23、是初等数学，纯粹的向量思想在数学课上不占有一席之地，中学阶段只有学习物理或复数的时候才能接触一点向量的身影。即使在最应该体现向量思想威力的地方，也因为只讨论二维的简单情形而省略掉了，只剩下纯粹的从几何角度推导代数性质，比如，直线方程，不是用向量法推导直线方程的一般形式，而是用定比分点；两直线垂直的条件，不是用向量内积为零，而是通过斜率的关系，等等。在中学唯一能够从数学课本中接触到的线性代数知识就只有一点点的行列式的简介，从解二元和三元一次方程组引入的行列式，而且属于选学内容，课堂上是不讲的。我当时看了看，觉得真是多此一举，既然一次方程组的解都已经用系数的符号表示出来了，为什么还要用行列式重新表

24、示一遍表达的内容没变，只是换了一套看上去工整漂亮的写法，有什么意义呢在这样的背景下，我进入大学，接触到一门蛮不讲道理的学科谪等代数。本来高中时看到用行列式表示方程的解已经够无聊了，到大学还要把这种无聊继续深入下去。为了一个小小的方程组，不惜动用人类最高的智商来创造一个个精致的概念，又是逆序数又是行列式，又是克莱姆法则，倒是得到了一个很漂亮的结果，但它到底有多少实用和理论的价值后来矩阵被定义出来了，那更是个无聊的东西，方程组还是原来那个方程组，只是把系数和未知数一分离，马上就出现了一个新的概念无阵。难道就非得把系数单独抽取出来变成矩阵的形式才能用高斯消元法解方程它不就是方程之间加加减减的过程吗，

25、即便带着未知数又能有多大的妨碍呢带着未知数就不能讨论方程组的通解了还定义矩阵的乘积，又把方程组写成一个矩阵和一个向量的乘积，我当时觉得实在是吃饱撑的！方程组还是那个方程组，换一种写法有什么不同我思考它的时候还是需要把它还原为方程组的样子，倒是费了二遍力。是谁第一个引入了矩阵的概念他的原始动机到底是什么他似乎只是为了形式上的化简，并没有引入什么新的观念。但是巧的是这个人的一个无聊发明，竟然发展出一门学科来！不光方程组可以归结为矩阵的乘积，就连二次曲线、二次曲面，也表示成矩阵乘积了，矩阵和它们的乘积系统慢慢地脱离了方程组的范围，开始向其它方向渗透了，并且充斥了数学的大部分江山。这一切是为什么难道这

26、一切都在矩阵发明者的预料之中如果发明矩阵的人意识到矩阵将来必有这些重大作用，那么他是怎么想到矩阵的这些应用的他真的如此天资聪明如果不是这样，那他为什么要发明矩阵这个东西难道仅仅是偶然可是这偶然之举为什么后来又如此巧合地展开出这么多理论这些问题至今还是想不通。但是今天的话题只是讨论矩阵和矩阵乘积，所以刚才把话题扯远了。每当想起大一时的代数课，我都要发一些牢骚，可见当时代数给我的影响有多深远！关于矩阵乘积，比较老旧思想的教材不介绍矩阵乘积有什么意义，为什么要引入矩阵的乘积，只是叙述无端的定义：两个矩阵用nt/中召的乘积定义为一个mKT阶矩阵C,C的第i行第j列的元素是A的第i行和B的第j列元素分别

27、相乘并相加的和，即n稍微好一点的教材会介绍一些线性映射复合的背景：有三组未知数重=（工1，孙丁他）丁、期=见+痴）丁和孑=（班，麴，用）丁，用甑表示题的系数矩阵为A,用与表示蓑的系数矩阵为口,即z=j4my=Bh那么怎样用）；来表示上工经过计算，亮的第i个分量曲可以写成ETTLnTTm蜀=£可诙=E叫上£%叼=无帆加;k=Lfe=lj=l>=1fe=l即a表示成未知数组h的第j个分量叫i的系数是m田*瓦叮1=1因此定义两个矩阵工和口的乘积如上所述。第一种讲述就是从第二种讲述的思想方法来的，却连定义的背景和来历什么的都没有讲，这显然是十分唐突的。况且这两种矩阵乘积定义的

28、讲述都只是蛮力运算，如果只是为了定义出矩阵乘法的表达式，这两种讲述方式尚可接受，尤其是第二种讲法，提及了矩阵乘法就相当于两个线性变换的复合。但是接下来，要接触到矩阵乘法的更深层次的规律时，这样定义出的矩阵乘法就显得有些奇怪了。比如，证明两个矩阵乘积的秩定理rank(AB)<minrankA,iLkB,乘积月打的每一列都是&的每一列的线性组合，每一行都是，口的每一行的线性组合，从而证明这个不等式。但是，请问您是怎么从一大堆数的计算式子中看出这些关系的我为什么就没看到我不但没有看到，就算人家给我指出这种关系，我要想看清这些关系还是要费九牛二虎之力的。如果一个东西我理解起来感觉吃力，那

29、么我会本能地考虑是否是我理解它的方式有问题，它应该还有另外一些更省力的理解途径，或者说，这个东西缺乏直观，如果我能直观地理解它，那么我就可以接受它。所以我想，还是应该有更加便捷的途径可以得到这些关系。其实这个不等式如果从映射复合的值域维数角度看应该是比较简单的，可惜的是当初除了矩阵，没有其它方式可以导出这个结果，向量空间的内容还没有学习到。再比如，矩阵的分块乘法，为什么分块之后乘法的规则和把每一块看成数的乘法规则是一样的又比如，学过内积的坐标计算表达式后，学生会惊奇地发现，矩阵乘法的每个元素都是一个内积，为什么会是这样内积和矩阵乘法之间为什么会有这么大联系面对这些问题，我知道很多人，包括很多老

30、师都会告诉我，这些都是计算的结果，计算的过程书上写的明明白白，没必要去深究它背后有什么机理，只要能够确信这些结论，不用去管这些结论是如何得到的。但是，我总是觉得，这样的推辞无异于填鸭式教育，蛮不讲理，让人生厌，甚至可能把一个曾经喜爱数学的人搞得从此厌恶这样的无理数学。因为第一，这些东西显得过于巧合了，计算无法解释这些巧合背后是否有更深层次的原因；第二，即使是计算得来的，还是无法解释这些计算的动机是什么，这些计算的结果是如何发现的总应该有个自然点的理由能够说明为什么某人会去考察这些计算过程并得出结论的吧总不能说一个人某一天没什么事情闲得无聊了就开始算，然后就发现了某些东西吧他为什么就能看得那么远

31、就知道他计算的东西最终能带给他不平凡的结果告诉我一个东西却没有告诉我这个东西是如何发现的，那我怎么能有信心沿着前人的足迹向前探索呢今天分析当初的困难，多是因为没有整体思维，无法把矩阵当成一个整体来思考，见到向量可以想到那是空间中的一个箭头，但见到矩阵和矩阵乘法，完全想象不到它的整体是个什么东西，我只能想到它的每个元素就是一堆数经过一堆运算得到的结果。看到书上写的矩阵乘法，我的头脑里就出现了它的运算过程的动画：左边一横，右边一竖，左边一横，右边一竖，除此之外想象不到其他的东西了。听说某位数学家摆弄矩阵就像摆弄整数一样熟练，我当时也试图找到把矩阵当成一个整体的感觉，可是在没有空间直觉支持的情况下这

32、种努力是见不到明显效果的。而且从前思考的都是低维空间的问题，对一维二维空间很熟悉，很少考虑高维空间的问题，对高维空间即不熟悉也不习惯，又没有外人指点矩阵代数究竟有什么几何意义,即使是在低维空间中，也没有用矩阵处理几何问题的经验，所以当时一直冷落代数。现在觉得，为了培养高维空间对象的整体思维方式，一方面就是加强代数的几何直观，另一方面就是站在变换的角度统一抽象地处理矩阵，而不是仅仅把矩阵只当成一堆数的阵列，用线性变换的观点认识矩阵乘法，而不是把矩阵乘法当成一堆数又乘又加的运算。基于这种原因，我们将以映射的观点重新认识矩阵与矩阵的乘法。（二）本篇有些内容是孟岩中观点的严密化与深化。数域F上的两个向

33、量空间U到炉的一个映射干，若保持加法和数量乘法，即满足,（血+«2）=p（Ul）+孤蜘）双曲）=比中（W则称F为线性映射。矩阵及矩阵的乘法与线性映射有十分重大的联系。为了看清这一点，我们采取以下步骤：、从一维空间谈起显然，数域f本身可以看作卜1上的向量空间，记做匕门，并且，f上的任何一个一维的向量空间炉都同构于即取定I的一组基底后，1一中的任何向量都可以唯一地表示为乐巴的形式，因此I广中的向量与F1中的向量是一一对应的。我们把F】称作F上一维向量空间的坐标系统。E上的两个一维向量空间。和之间的一个线性映射材,在分别取定u和v上的基底ul与灯之后，VuW土；E上捐上.1£=工

34、到，因此弹（M）=甲t工&L）=田单（血）。设平（血）=能仇，则甲（生）=函铝屋这样，在两个一维向量空间的坐标系统之间就衍生出一个线性映射帆H=附，我们要研究前述的两个向量空间，只需要研究它们的坐标系统上门，要研究前述两个向量空间之间的线性映射¥、，只需要研究它们坐标系统之间的线性映射竿（了）=矽，因为它们是一一对应并且性质相同的。上门空间是由基底i张成的向量空间，那么根据上面的论述，F1到上门的任何一个线性映射，都有F中的唯一一个数门使得fO）=aj,并且任何一个数律，都唯一地确定一个线性映射f=g。因此，我们可以说，F中的数与一维空间之间的线性映射是一一对应的。怎么看待门

35、和这样一对数的乘法呢针对以后推广到高维空间的情形，我们总结以下几点：1）我们可以说，本身是E”中的一个向量，n是K中的一个数，代表一个线性映射，那么偏工这样的乘法就是一个线性映射门作用在向量.汇上得到的像，并且，如果另一个线性映射式工）=如，那么f0自=gaf（F）=遍；2）但是，口本身也是所以也可以看成F1中的一个向量，它跟.r并没有什么本质的区别，在表达式f=川中，二者唯一的区别就是口是固定不变的，而,是变量，但只要脱离映射f的语境，二者是对称的，因为根据乘法的交换律风工=:9；3）既然二者是对称的，那么完全可以把r当作变量而把当作对口的映射，这样的映射是从,到上门的映射：自变量是口，代表

36、一个线性函数，它的像是口工，是F中的一个数；4）如果/0,那么线性映射了是个可逆的映射，有逆映射尸=5Ljro在这个时候，作为fl中的向量法（=f（l）可以看作新的参考系（即坐标系，或基底），如果在这个新的基底下某个向量的坐标为,T,那么在原来基底1下，同一个向量的坐标就是偏了。这样，/和f-'可以看作某个向量的新坐标与原坐标之间的转换函数。二、多维到一维的映射设匚是数域F上的n维向量空间，L至|JF的线性映射称为口上的线性函数。取定U的一组基底3.o.?无之后，口中的向量一一对应于上班中的向量。同一维情形类似，我们也可以用U的坐标系统代替u本身。u上的一个线性函数/同样也衍生出一个E

37、”到E的线性映射。因此我们可以看上的线性函数。E也是由基底张成的，现要计算t1嘲上的线性函数，的表达式。上任何一个向量蠹=(皿卢九.-.,，屯)丁，有打匐=，番K1+殁+Xn6n)=Zlf(eL)+工2f(匈)+Xnf(en)这个算式每一项中，都有一部分是常量，即，是跟随线性函数而变化的数，它们可代表了本身;另一部分是变量，对应于的分量.口，可代表自变量。我们把这两部分分开书写，定义一个行向量和一个列向量的乘积是它们每个分量分别相乘并把结果相加，如下：(为什么这里定义的是一个行向量和一个列向量相乘为什么不规定成两个行向量或两个列向量相乘这个要等到考察多维到多维的映射的时候才能看出一些端倪来，因

38、为这样定义之后，横着的行向量将总可以看成只有在特殊的情况下它们才互相转化。)一个映射，而纵向的列向量通常就是定义域或值域空间中的向量,设=汽3那么(2)就可表示为这样，与一维情形类似，£(qF)中的任何一个线性函数都与一个n维的行向量一一对应。那么怎么看待多维行向量门与列向量甚的乘积呢i）与一维的情况类似，列向量是定义域中的一个向量，行向量代表一个多维空间F71到一维空间F的映射，这种映射称为上的线性函数。F门上的所有线性函数构成一个向量空间，记为或称为E门的对偶空间。显然，它也是n维的，与朝的维数相同。II，上有一组自然的基底：=（00100）即第i个基底的第i个坐标分量是1,其它

39、分量是0。这组基底是什么意义呢显然*代表一个线性函数，且满足/由=L以手=丰Jo即第i个基底L把E”的第i个基底向量映射为i,其它基底向量映射为0。2）与一维对一维的映射不同，这时的R是个n维的行向量，这些行向量可以和定义域L"中的向量一一对应，而值域只有一维，所以口作为n维向量无法看成值域中的元素。但是，0t的每个分量却是值域中的元素，其第i个分量可以看成，。既然n维的行向量可以与口中的向量一一对应，那么小所对应的向量谆下就依然与海没有本质区别。对于甘壮中的两个向量小孔定义记号任，y）=元7学，那么=阻/）=S醒与月依然是对称的。3）从这个意义上讲，第一，我们可以把映射口当作自变量

40、而把汗看成是这个映射的线性函数，这样En中的每一个向量就可以看作是它的对偶空间上的线性函数；第二，（场处定义了两个向量的乘积，乘积的结果是一个数。当F是实数域时，这个乘积就是内积，当F是复数域的时候，这样的乘积只是个对称双线性函数。4）因为映射的值域与定义域维数不等，所以映射不是可逆的，因此也就没有坐标变换之说。但是，如果m,即。的分量不全为零，那么图:r就是对上班中向量的一种投影测量，它很像我们三维空间中的高度，知道了一个物体的高度，虽然不知道这个物体确切位置如何，但是我可以知道这个物体下落到地面重力做了多少功。这部分内容涉及到的内积与双线性函数的一些认识可能要留待以后去阐述了。三、多维到多

41、维映射基于前面所述的一些原因，我们只需看F13到的线性映射/,和前面一样的推导过程，可知4-xa/(2)4卜工/%)其中4LC2r：是ym中的一组基底，.门、事是才在这组基底下的坐标。如果在Rm中也取一组基底，那么每一个向量产(4)也有一组坐标，我们把这些坐标也写成列向量的形式，那么是这些列向量的线性组合，它也是列向量的形式。定义"Z黑用阶矩阵与一个n维列向量的乘积是这个矩阵列向量的线性组合：口2=£匚西axn/其中"是矩阵的第i列向量。设=g),那么，的表达式可写成央了出)=(/y'la3'启).1部T1/这个表面上看跟前述多维到一维的映射的矩阵

42、表达式没什么不同，但是唯一的区别就是这里的每一个靴扩展成了一个m维的列向量，因此组成的实际上是一个rn阶矩阵，我们用月指代这个矩阵。怎么看待.If这个表达式呢1)与前述观点完全雷同，矩阵代表一个线性映射，工代表自变量，是一个向量。2)A的每一个列向量是值域中的一个向量，这些列向量张成了值域空间。那么，A的每个行向量呢它们每一个都是定义域到一个一维向量空间的映射。我们把且的第i个行向量记为fi,经过简单的计算推导容易看出，f的表达式也可以写成如下形式：ffl/人、h为/(-F)=X=.K因此,A相当于只取了3）的第i个分量，所以它是到F"；中第i个基向量张成的一维子空间的映射。可以很容

43、易地理解，Ar即可以看成是且各个列向量的线性组合，其每个分量又可以看成是.4的每个行向量与泼的乘积。3）如果考虑到力与涓的对称性，把寸看成是I,F"）”上的线性函数，那么，Ar可以看作八跖厅、我们也把它看成才的同类，得到一个E劭对偶空间上的线性函数。后面我们会看到，这将导出（心=工丁4丁，只是现在还没有定义矩阵与矩阵的乘法。4）如果，是E小到自身的映射，并且dm/a,那么，（为）/（）可以构成E"的基底，那么f可逆，且如果一个向量在基底,ffG由）下的坐标为.r,那么在i1.1=。下的坐标就是，。（三）四、线性映射的复合我们已经定义了行向量与列向量的乘法和矩阵与列向量的乘法

44、，现在还差矩阵与矩阵的乘法没有定义。而矩阵与矩阵的乘法要与线性映射的复合联系起来。设匚、F和可分别为r维、n维、m维向量空间。1ff和，分别是U到T和至UH7的线性映射,那么易证两个线性映射的复合f口U也是线性映射。取三个向量空间的基底，那么三个向量空间就有了坐标系统，如果知道了,和9在坐标系统下的表达式，即按前面所述，知道了它们对应的矩阵：=,0（乜）=B性，其中且为打?.hn阶矩阵，B为两K丁阶矩阵，那么于口g对应的矩阵是什么呢依据直观的推导，/°。闺=式口式）=力（口程）=AG也,好像/口9对应的矩阵就是几口两个矩阵的乘积，但是，我们目前并没有定义它们的乘积是什么，所以最后一个

45、等号目前来讲还是没有意义那么，我们就以求两个线性映射的复合映射所对应的矩阵为目的，定义两个线性映射的复合所对应的矩阵就是这两个映射对应矩阵的乘积，那么这个乘积如何来求呢我们前面已经知晓，一个线性映射/对应的矩阵，其列向量就恰好等于,+在值域坐标系中的坐标，那么我们只需求出这些坐标，就相当于求出一个线性映射的矩阵了。中的基底门.才明，在线性映射g的作用下映射到中，根据守对应矩阵口的意义，相应的。（心1）M（口），一）在F中的坐标值就应该是乃的各个列向量加,加/一然后，这些向量再经映射到耳，它们的像在砰一坐标系中的坐标就应该是AM.思外.，他产，也就是说，u中的基底£l仁史G-在fog作用下的像在H中的坐标就是月加4b册一Abt-,把它们作为列向量组成一个矩阵，这就是线性映射，。可对应的矩阵。基于以上论述，定义两个矩阵月日弘发空的乘积40如下：A.B=（4瓦+4%）其中加加，7b为的列向量。这样的定义使得A（Bx）=依耳）常成立，因此，矩阵乘法满足结合律：还有，我们看且B的每个列向量的组成情况，它的的每一列都是44，根据矩阵与列向量的乘法定义，它是应的列向量的线性组合，组合系数是E的分量。这是从列向量的角度分析矩阵乘法得到的结果，我们还可以从行向量角度分析矩阵乘法。前面对矩阵行向量的意义已经说明，每个行向量都是定义