《线性代数课件-09向量组的秩与向量空间.ppt》由会员分享，可在线阅读，更多相关《线性代数课件-09向量组的秩与向量空间.ppt（50页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、主要内容主要内容第第九九讲讲 向向量量组组的的秩秩与与向向量量空空间间向量组的最大无关组和向量组的秩的定义及向量组的最大无关组和向量组的秩的定义及 等价定义；等价定义；基本要求基本要求向量组的秩与矩阵的秩的关系，向量组的秩向量组的秩与矩阵的秩的关系，向量组的秩 和最大无关组的求法；和最大无关组的求法；向量空间的概念，向量空间的基和维数、子向量空间的概念，向量空间的基和维数、子 空间、向量组所生成的空间等概念及有关结论空间、向量组所生成的空间等概念及有关结论.理解向量组的最大无关组和向量组的秩的概理解向量组的最大无关组和向量组的秩的概 矩阵的初等变换求向量组的秩和最大无关组矩阵的初等变换求向量组
2、的秩和最大无关组.知道向量空间、向量空间的基和维数、子空知道向量空间、向量空间的基和维数、子空 基中的坐标基中的坐标.1一、向量组的秩与最大无关组一、向量组的秩与最大无关组第第三三节节 向向量量组组的的秩秩定义定义 向量组向量组 线性无关；线性无关；设有向量组设有向量组 ，如果在，如果在 中能选出中能选出 个个向量向量 ，满足，满足 向量组向量组 中任意中任意 个向量（如果个向量（如果 中有中有 个向量的话）都线性相关个向量的话）都线性相关.那么称向量组那么称向量组 是向量组是向量组 的一个的一个最大线性无关最大线性无关向量组向量组，简称简称最大无关组最大无关组，最大无关组所含向量最大无关组所
3、含向量个数个数 称为称为向量组向量组 的秩的秩，记作记作 .只含零向量的向量组没有最大无关组，规定它只含零向量的向量组没有最大无关组，规定它的秩为的秩为0.2例如例如 设向量组设向量组 线性无关；线性无关；线性相关，所以线性相关，所以 是向量组是向量组 的最大无关组，的最大无关组，且且 .另外，另外，也线性无关，所以也线性无关，所以 也是向量组也是向量组 的最大无关组的最大无关组.同理，同理，也是向量组也是向量组 的最大无关组的最大无关组.3说明说明这个定义是把秩的概念引申到向量组中来，给这个定义是把秩的概念引申到向量组中来，给 无限多个向量，从而使秩的概念深入到更广阔无限多个向量，从而使秩的
4、概念深入到更广阔 的领域的领域.定义表明最大无关组就是含向量个数最多的线定义表明最大无关组就是含向量个数最多的线 性无关的部分组性无关的部分组.向量组的最大无关组一般不唯一向量组的最大无关组一般不唯一.若向量组若向量组 的的 秩为秩为 ，则向量组，则向量组 中中任意任意 个线性无关个线性无关的向量的向量 组成的向量组都是它的最大无关组组成的向量组都是它的最大无关组.4二、向量组的秩与矩阵的秩的关系二、向量组的秩与矩阵的秩的关系1.定理的引入定理的引入记记根据最大无关的定义，知根据最大无关的定义，知 所以所以 中存在中存在 阶非零子式，即矩阵阶非零子式，即矩阵 中含有中含有 阶非零子式阶非零子式
5、.另一方面，如果另一方面，如果 中有中有 阶子式阶子式 不为零，则不为零，则矩阵矩阵 中中 所在的所在的 列列 线性无线性无关关（因为矩阵因为矩阵 的秩为的秩为 ）.设向量组设向量组 的秩为的秩为 ，且，且 是它的一个最大无关组是它的一个最大无关组.这与这与 是是 的列向量组的最大无关组矛的列向量组的最大无关组矛盾盾.因此因此即，即，矩阵的列向量组的秩等于矩阵的秩矩阵的列向量组的秩等于矩阵的秩.52.定理定理6 矩阵的秩等于它的列向量组的秩，也矩阵的秩等于它的列向量组的秩，也等于它的行向量组的秩等于它的行向量组的秩.证证 设设并设并设 的的 阶子式阶子式 .由由 知，在知，在 中中 所在的所在
6、的 列线性无关列线性无关；又由又由 中所有中所有 阶子式均为零知，阶子式均为零知，中任意中任意 个列向量都线性相关个列向量都线性相关.因此，因此，所在的所在的 列是列是 的列向量组的一的列向量组的一个最大无关组，个最大无关组，所以所以 的列向量组的秩为的列向量组的秩为 .类似可证矩阵的行类似可证矩阵的行向量组向量组的秩等于矩阵的秩的秩等于矩阵的秩.6说明说明根据上述定理，有限向量组的秩的记号与矩阵根据上述定理，有限向量组的秩的记号与矩阵 的秩的记号不加区分的秩的记号不加区分.向量组向量组 的秩也记作的秩也记作此定理给出了向量组的秩和最大无关组的求法此定理给出了向量组的秩和最大无关组的求法.向量
7、组的秩等于它所构成的矩阵的秩；向量组的秩等于它所构成的矩阵的秩；最高阶非零子式所在的列向量，就是列向量组最高阶非零子式所在的列向量，就是列向量组的最大无关组的最大无关组.由此可知，前面介绍的定理由此可知，前面介绍的定理1、2、3、4中出现中出现 的矩阵的秩都可该为向量组的秩的矩阵的秩都可该为向量组的秩.7例例1 全体全体 维向量构成的向量组记作维向量构成的向量组记作 ，求，求的一个最大无关组及的一个最大无关组及 的秩的秩.解解我们已经知道，维单位坐标向量组我们已经知道，维单位坐标向量组析：此例的目的是熟悉向量组的最大无关组析：此例的目的是熟悉向量组的最大无关组和向量组秩的定义和向量组秩的定义.
8、联系后面的向量空间的联系后面的向量空间的概念，知概念，知 是一个是一个 维向量空间，维向量空间，是它的一个基，称为是它的一个基，称为 的的自然基自然基.是线性无关是线性无关，又又 中的任意中的任意 个向量（个向量（维）维）都线性相关，都线性相关，因此向量组因此向量组 是是 的的一个最大无关组，且一个最大无关组，且 的秩等于的秩等于 .显然，显然，的最大无关组很多，任何的最大无关组很多，任何 个线性无关个线性无关的的 维向量都是维向量都是 的最大无关组的最大无关组.8三、最大无关组的等价定义三、最大无关组的等价定义1.结论的引入结论的引入问题：向量组与其最大无关组有什么关系呢？问题：向量组与其最
9、大无关组有什么关系呢？设向量组设向量组 是向量组是向量组的最大无关组，的最大无关组，显然，向量组显然，向量组 能由向量组能由向量组 线性表示线性表示：另一方面，因为向量组另一方面，因为向量组 是向量组是向量组 的最大无关的最大无关组，所以向量组组，所以向量组 中任意中任意 个向量都线性相关，个向量都线性相关，特别地，对于特别地，对于 中任一向量中任一向量 ，向量组，向量组线性相关，因此线性相关，因此线性表示线性表示，所以所以向量组与其最大无关组等价向量组与其最大无关组等价.即向量组即向量组 能由向量组能由向量组 线性表示线性表示.92.推论推论（最大无关组的等价定义）（最大无关组的等价定义）设
10、向量组设向量组 向量组向量组 的一个部分组，的一个部分组，且满足且满足 向量组向量组 线性无关；线性无关；向量组向量组 的任一向量都能由向量组的任一向量都能由向量组 线性表示，线性表示，（向量组（向量组 与与 等价）等价）那么向量组那么向量组 就是向量组就是向量组 的一个最大无关组的一个最大无关组.10证证 析：按所设，要证明向量组析：按所设，要证明向量组 是向量组是向量组 的的一个最大无关组，只要证明向量组一个最大无关组，只要证明向量组 中任意中任意 个个向量线性相关向量线性相关.设设 是向量组是向量组 中任意中任意 个向量，个向量，按条件按条件知，知，能由向量组能由向量组 线性表线性表示，
11、从而有示，从而有（由定理（由定理3）于是，由定理于是，由定理4知知，线性相关，线性相关，因此向量组因此向量组 是向量组是向量组 的一个最大无关组的一个最大无关组.11例例2 设齐次线性方程组设齐次线性方程组的全体解向量构成的向量组为的全体解向量构成的向量组为 ，求，求 的秩的秩.解解 析：此题的目的是运用析：此题的目的是运用“最大无关组的等价最大无关组的等价定义定义”求向量组的最大无关组和秩求向量组的最大无关组和秩.先解方程先解方程12得得所以方程组的通解为所以方程组的通解为再写出向量组再写出向量组 ，13把上式记作把上式记作则则即即 能由向量组能由向量组 线性表示，而线性表示，而 显然显然是
12、线性无关的是线性无关的.因此根据最大无关组的等价定义知因此根据最大无关组的等价定义知，是是 的最大无关组，从而的最大无关组，从而 .14四、含无限个向量的向量组的结论四、含无限个向量的向量组的结论 利用最大无关组和向量组的秩，可以把定理利用最大无关组和向量组的秩，可以把定理1、2、3推广到含无限个向量的向量组：推广到含无限个向量的向量组：向量向量 能由向量组能由向量组 线性表示线性表示的充分必要条件是矩阵的充分必要条件是矩阵 的秩等的秩等于矩阵于矩阵 的秩的秩.定理定理1定理定理1 向量组向量组 和向量和向量 ，向量组，向量组 表示由向量表示由向量组组 与向量与向量 合并而成的向量组合并而成的
13、向量组.向量向量 能由向量能由向量组组 的充要条件是的充要条件是 .15 向量组向量组 能由向量组能由向量组 线性表示的充分必要条件是矩阵线性表示的充分必要条件是矩阵 的秩等于矩阵的秩等于矩阵 的秩，的秩，定理定理2 定理定理2 设向量组设向量组 表示由向量组表示由向量组 与向量组与向量组 合合并而成的向量组，则向量组并而成的向量组，则向量组 能由向量组能由向量组 线性线性表示充要条件是表示充要条件是 .定理定理3 设向量组设向量组 能由向量组能由向量组 线性表示，则线性表示，则定理定理3 设向量组设向量组 能由向量组能由向量组 线性表示，则线性表示，则证明证明16例例3 设向量组设向量组 能
14、由向量组能由向量组 线性表示，且线性表示，且它们的秩相等，证明向量组它们的秩相等，证明向量组 与向量组与向量组 等价等价.证证 析：本例的目的是熟悉各种关系（矩阵与矩析：本例的目的是熟悉各种关系（矩阵与矩阵关系、向量组与向量组关系、向量组的秩与向阵关系、向量组与向量组关系、向量组的秩与向量组的秩关系等）之间的转换量组的秩关系等）之间的转换.用用 表示由向量组表示由向量组 与与 合并起来的向量组，合并起来的向量组，因因 组能由组能由 组线性表示，所以组线性表示，所以又已知又已知 ，故有，故有因此根据定理因此根据定理2的推论，知的推论，知 组与组与 组等价组等价.17说明说明本例也可改述成下列两个
15、命题：本例也可改述成下列两个命题：设向量组设向量组 能由向量组能由向量组 线性表示，则组线性表示，则组 与与 组等价的充要条件是组等价的充要条件是 ；设设 ，则向量组，则向量组 与向量组与向量组 等价的充等价的充 要条件是要条件是 组能由组能由 组线性表示（或组线性表示（或 组能由组能由 组线性表示）组线性表示）.必须注意，两个向量组的秩相等，这两个向量必须注意，两个向量组的秩相等，这两个向量 组是不一定等价组是不一定等价.18例例4 设矩阵设矩阵求矩阵求矩阵 的列向量组的一个最大无关组，并把不的列向量组的一个最大无关组，并把不属于最大无关组的列向量用最大无关组线性表示属于最大无关组的列向量用
16、最大无关组线性表示.解解 析：此例无论在理论上还是计算实践上都具析：此例无论在理论上还是计算实践上都具有重要意义有重要意义.此例的理论依据是：此例的理论依据是：矩阵矩阵 经过初经过初等行变换变成等行变换变成 ，即，即 ，则则 与与 的列向量的列向量组各向量之间具有相同的线性关系组各向量之间具有相同的线性关系.主要依据是主要依据是矩阵矩阵 的行最简形的行最简形.19可见可见故故 的列向量组的秩为的列向量组的秩为3，而矩阵而矩阵 的行阶梯形的的行阶梯形的3个非零行的非零首元个非零行的非零首元在在1、2、4三列，三列，故故 为列向量组的一个为列向量组的一个最大无关组最大无关组.20所以所以 的列向量
17、组的列向量组 与与有相同的线性关系，有相同的线性关系，而而 是单位坐标向量，是单位坐标向量，容易看出容易看出 有如下线性关系：有如下线性关系：因此因此 也有如下线性关系：也有如下线性关系：记作记作21说明说明这是一道典型例题，具体方法是：这是一道典型例题，具体方法是：用初等行变换将用初等行变换将 化为行最简形化为行最简形 ；由由 的非零行数知，的非零行数知，的列向量组的秩；的列向量组的秩；若若 ，则，则 中有中有 列为单位坐标向量列为单位坐标向量 ，中其余各列可以非常方便地写成中其余各列可以非常方便地写成它们的线性组合；它们的线性组合；根据根据 与与 的列向量组有相同的线性关系，的列向量组有相
18、同的线性关系，的列向组中蕴含的复杂线性关系就随之而知：的列向组中蕴含的复杂线性关系就随之而知：中对应于中对应于 中中 的列构成的列构成 的列向的列向量组的最大无关组；量组的最大无关组；中其余列向量用此最大中其余列向量用此最大无关组线性表示的系数与无关组线性表示的系数与 中对应列用中对应列用线性表示的系数依次相同线性表示的系数依次相同.22五、小结五、小结v把秩的概念引入向量组后，使方程组、矩阵、把秩的概念引入向量组后，使方程组、矩阵、向量组三者之间的转换的几何意义更加深刻向量组三者之间的转换的几何意义更加深刻.v向量组的最大无关组是把有限向量组的结论推向量组的最大无关组是把有限向量组的结论推
19、广到无限向量组的广到无限向量组的“桥梁桥梁”.v最大无关组的两个等价定义：最大无关组的两个等价定义：向量组向量组 线性无关；线性无关；向量组向量组 中任意中任意 个向量都线性相关个向量都线性相关,设向量组设向量组 向量组向量组 的一个部分组，的一个部分组，且满足且满足或者或者 组的任一向量都能由组的任一向量都能由 组线性表示组线性表示,那么向量组那么向量组 就是向量组就是向量组 的一个最大无关组的一个最大无关组.23一、向量空间的概念一、向量空间的概念第第四四节节 向向量量空空间间定义定义 设设 为为 维向量的集合，满足以下三个条件维向量的集合，满足以下三个条件 不是空集不是空集；若若 ，则，
20、则 ；（对于向量加法封闭）对于向量加法封闭）若若 ，则，则 ，（对于向量与数的乘法封闭）对于向量与数的乘法封闭）那么称集合那么称集合 为为向量空间向量空间.24例如例如 3维向量的全体维向量的全体 ，就是一个向量空间，就是一个向量空间.因为因为3维向量的和仍然是维向量的和仍然是3维向量，数乘维向量，数乘3维维向量仍然是向量仍然是3维向量，另外，维向量，另外，显然非空显然非空.一般地，一般地，维向量的全体维向量的全体 也是一个向量空间也是一个向量空间.集合集合是一个向量空间是一个向量空间.设设则则于是于是另外，另外，显然非空，所以显然非空，所以 是一个向量空间是一个向量空间.这是因为这是因为25
21、 集合集合不是向量空间不是向量空间.这是因为这是因为设设则有则有而而 不满足数乘的封闭性不满足数乘的封闭性.设设 是两个已知的是两个已知的 维向量，集合维向量，集合是一个向量空间是一个向量空间.显然显然 非空；非空；这是因为这是因为若若则有则有 线性组线性组合的全体合的全体26二、向量组所生成的向量空间二、向量组所生成的向量空间定义定义 再例如再例如 齐次线性方程组齐次线性方程组的解集为的解集为 .因为因为所以所以 是一个向量空间，称为是一个向量空间，称为解空间解空间.向量组向量组 的线性组合的全体，称的线性组合的全体，称为为由向量组由向量组 所生成的向量空间所生成的向量空间，记作，记作27例
22、例5（结论）（结论）设向量组设向量组 与向量组与向量组 等价，记等价，记 试证试证 .（即（即等价的向量组所生成的向量空间相同等价的向量组所生成的向量空间相同）证证 析：要证析：要证 ，即证，即证又因为又因为 能由能由 线性表示，线性表示，则则 能由能由 线性表示，线性表示，所以所以 能由能由 线性表示，线性表示，设设即有即有这就是说这就是说因此因此类似地可证：类似地可证：若若 ，则，则 ，因此因此28三、子空间三、子空间1.定义的引入定义的引入 维向量的全体维向量的全体 是一个向量空间是一个向量空间.是一个向量空间是一个向量空间.这两个向量空间有什么关系呢？这两个向量空间有什么关系呢？显然这
23、两个向量空间的元素都是显然这两个向量空间的元素都是 维向量，维向量，并且有并且有292.定义定义 设有向量空间设有向量空间 及及 ，若，若 ，则称则称 是是 的的子空间子空间.任何由任何由 维向量所组成的向量空间维向量所组成的向量空间 ，总有总有所以这样的向量空间总是所以这样的向量空间总是 的子空间的子空间.30四、向量空间的基与维数四、向量空间的基与维数1.定义定义 设设 为向量空间为向量空间，个向量个向量 ，若满足若满足 线性无关；线性无关；中任一向量都可由中任一向量都可由 线性表示，线性表示，只含零向量的向量空间没有基，规定它的维数只含零向量的向量空间没有基，规定它的维数为为0.这样的向
24、量空间称为这样的向量空间称为零空间零空间或或0维向量空间维向量空间.那么向量组那么向量组 称为向量空间称为向量空间 的的一个一个基；基；称为向量空间称为向量空间 的的维数维数，记作，记作 并称并称 为为 维向量空间维向量空间.31说明说明 但是向量但是向量组一般不是向量空间组一般不是向量空间向量空间向量空间 可以看作是一个向量组（可以看作是一个向量组（），根据最大无关组的等），根据最大无关组的等 价定义知，价定义知，的维数就是向量组的秩的维数就是向量组的秩.的基就是向量组的最大无关组，的基就是向量组的最大无关组，向量空间的基也是不唯一的向量空间的基也是不唯一的.32例如例如 任何任何 个线性无
25、关的个线性无关的 维向量都可以是向量空维向量都可以是向量空间的一个基，由此可知间的一个基，由此可知 的维数为的维数为 .称为称为 维向量空间维向量空间.向量空间向量空间取取 中如下中如下 个向量：个向量：显然显然 线性无关，且线性无关，且 中任一向量都有中任一向量都有因此因此 是的一个基是的一个基,且且 是是 维向量空间维向量空间.可以取其它可以取其它的的 个线个线性无关的向性无关的向量量33 向量空间向量空间 设设 是向量组是向量组 的一个的一个最大无关组，最大无关组，则则 中任一向量可由中任一向量可由 线性表示线性表示,因而因而 是是 的一个基的一个基,是是 维向量空间维向量空间.所以，所
26、以，由向量组所生成的向量空间的基就是由向量组所生成的向量空间的基就是该向量组的一个最大无关组，它的维数等于该该向量组的一个最大无关组，它的维数等于该向量组的秩向量组的秩.342.关于基和维数的有关结论：关于基和维数的有关结论：若向量空间若向量空间 ，则，则 的维数不超过的维数不超过 .若向量空间若向量空间 ,且且 则则 若向量组若向量组 是向量空间是向量空间 的一个的一个基，则基，则 可表示为可表示为即即 是基所生成的向量空间是基所生成的向量空间，这清楚地显示出，这清楚地显示出了向量空间了向量空间 的构造的构造.这就是基的涵义这就是基的涵义.证明证明35五、向量的坐标五、向量的坐标1.向量的坐
27、标向量的坐标定义定义 设设 是向量空间是向量空间 的一个基，则的一个基，则中任一向量中任一向量 可由它惟一地表示为可由它惟一地表示为数组数组 称为称为向量向量 在基在基 中的坐标中的坐标.特别地，特别地，维向量空间维向量空间 中的向量中的向量 ，若若 ,则则所以所以 在基在基 中的坐标为中的坐标为 .即即向量在自然基中的坐标就是向量的分量向量在自然基中的坐标就是向量的分量.362.过渡矩阵过渡矩阵定义定义 设设 和和 是是 维向量空间维向量空间 的两个基，根据基的定义知，它们是等价的的两个基，根据基的定义知，它们是等价的.若若 则称矩阵则称矩阵 从基从基 到基到基 的的过过渡矩阵渡矩阵.37说
28、明说明用用 表示表示 的表示式的表示式 称为称为基变换公式基变换公式.向量在某个基中的坐标是唯一的；但是同一个向量在某个基中的坐标是唯一的；但是同一个 向量在不同中基的中作表示不同的向量在不同中基的中作表示不同的.向量在两向量在两个基中的坐标之间的关系式称为个基中的坐标之间的关系式称为坐标变换公式坐标变换公式.过渡矩阵是可逆矩阵过渡矩阵是可逆矩阵.38例例6 设设验证验证 是是 的一个基，并求的一个基，并求 在这个基在这个基中的坐标中的坐标.解解 析：本例是关于向量空间的问题，也即线性析：本例是关于向量空间的问题，也即线性代数中的几何问题代数中的几何问题.就计算而言，只需将它转换就计算而言，只
29、需将它转换为相应的矩阵问题：求解矩阵方程为相应的矩阵问题：求解矩阵方程 .这这已经前面分析过这类问题的解法已经前面分析过这类问题的解法.要证要证 是是 的一个基，只需证的一个基，只需证线性无关，线性无关，即即 证证.39 要求要求 在基在基 中的坐标，就是求下中的坐标，就是求下面线性表示式的系数：面线性表示式的系数：两式合起来即为两式合起来即为所以亦即要求解矩阵方程所以亦即要求解矩阵方程40可见可见所以所以 是是 的一个基，且的一个基，且 的解为的解为41即即所以，所以，在基在基 中的坐标依次为中的坐标依次为42例例7 设设 中的两个基中的两个基 和和 ，其中，其中 求从基求从基 到基到基 的
30、过渡矩阵；的过渡矩阵；设向量设向量 在基在基 中的坐标为中的坐标为 ，求，求 在基在基 中的坐标中的坐标.解解 设从基设从基 到基到基 的过渡矩阵的过渡矩阵为为 ，则，则即即43所以所以 因为因为 在基在基 中的坐标为中的坐标为 ,所以所以设设 在基在基 中的坐标为中的坐标为 ，则有，则有44因而因而所以所以45六、小结六、小结向量组的一个最大无关组与向量空间的区别于向量组的一个最大无关组与向量空间的区别于 联系：联系：由定义知，除零空间外，任一向量空间作为一由定义知，除零空间外，任一向量空间作为一个向量组必定是无限集；但向量组作为一个向量个向量组必定是无限集；但向量组作为一个向量的集合可以是
31、有限集的集合可以是有限集.设设 是向量空间，把是向量空间，把 看作一个无限向量组，看作一个无限向量组，则则 中向量组中向量组 是是 的一个基的充的一个基的充要条件是要条件是 是是 的一个最大无关组；向量空间的一个最大无关组；向量空间 的维数就等于向量组的维数就等于向量组 的秩的秩.这是可以认为只是描这是可以认为只是描述的语言不同而已述的语言不同而已.46向量的维数与向量空间的维数：向量的维数与向量空间的维数：向量的维数是指向量分量的个数；向量空间的向量的维数是指向量分量的个数；向量空间的维数是指向量空间的基中所含向量的个数维数是指向量空间的基中所含向量的个数.维维向量空间，向量空间，“维维”是
32、指向量空间的维数是指向量空间的维数.设向量空间设向量空间 是由向量组是由向量组 所生所生 成的，即成的，即这时，这时，与向量组与向量组 的联系特别紧密：的联系特别紧密：，且向量组，且向量组 与向量组与向量组 等价；等价；向量组向量组 的任一个最大无关组是的任一个最大无关组是 的一个基；的一个基；的维数等于向量组的维数等于向量组 的秩的秩.47作业：作业：P109 13.14.(2)15.16.P110 20.21.P112 38.39.48定理定理3的证明的证明证证 设设 并设向量组并设向量组 和和 的最大的最大无关组分别为无关组分别为和和由于由于 组能由组能由 组线性表示，组线性表示，组能由组能由 组线组线性表示，所以性表示，所以 组能由组能由 组线性表示；组线性表示；又又 组能由组能由 组线性表示，因此组线性表示，因此 组能由组能由 组线性表示，因而根据定理组线性表示，因而根据定理3，有，有即即 亦即亦即证毕证毕定理定理3 设向量组设向量组 能由向量组能由向量组 线性表示，则线性表示，则49 若向量空间若向量空间 ,且且 则则 证证 因为因为所以所以 的基含有个向量，的基含有个向量，故可设故可设 是是 的一个基，的一个基，又因为又因为 ，所以，所以而而 ,因此因此 也是也是 的一个基，的一个基，所以所以证毕证毕50