资源描述
线性代数线性代数昆明理工大学数学系昆明理工大学数学系2009.122009.122第三节第三节 向量组的秩向量组的秩n 向量组的极大无关组和秩向量组的极大无关组和秩n 定理和示例定理和示例一一一一.向量组的极大无关组和秩向量组的极大无关组和秩向量组的极大无关组和秩向量组的极大无关组和秩定义定义1.设有两个设有两个n维向量组维向量组A,B如下如下 A:B:称称向量组向量组A可由向量组可由向量组B线性表示线性表示。若若A中每一个向量都可以由向量组中每一个向量都可以由向量组B线性表示,则线性表示,则以由向量组以由向量组A线性表示,则称向量组线性表示,则称向量组A与与B等价等价。若向量组若向量组A可由向量组可由向量组B线性表示,且向量组线性表示,且向量组B也可也可量组量组B可由向量组可由向量组C线性表示,则向量组线性表示,则向量组A可由向量组可由向量组C不难验证,若向量组不难验证,若向量组A可由向量组可由向量组B线性表示,又向线性表示,又向线性表示。线性表示。例例1.设设A,B两组向量为两组向量为 A:B:则有则有故故A组可由组可由B组线性表示。组线性表示。又有又有故故B组也可由组也可由A组线性表示。因此,组线性表示。因此,A组与组与B组等价。组等价。定义定义2.可以是有限个,也可以是无限多个。可以是有限个,也可以是无限多个。)设设A是是n维向量组。维向量组。(A中所含有的向量个数中所含有的向量个数如果:如果:(1)A中有中有r个向量个向量 线性无关。线性无关。(2)A中任意中任意r+1个向量(若存在的话)都线性相关。个向量(若存在的话)都线性相关。大无关组大无关组。则称则称为为A中的一个中的一个最大线性无关组最大线性无关组,简称为,简称为最最 数大于数大于r的向量组(若存在的话)都线性相关。的向量组(若存在的话)都线性相关。因为线性相关向量组再增加向量仍是线性相关组。因为线性相关向量组再增加向量仍是线性相关组。所以所以A中任意中任意r+1个向量线性相关,则任意个向量线性相关,则任意r+2个向量个向量(若存在的话)也线性相关,依次类推,可知(若存在的话)也线性相关,依次类推,可知A中任意个中任意个因此,因此,向量个数最大的,因此称之为最大线性无关组。向量个数最大的,因此称之为最大线性无关组。定义定义2中的向量组中的向量组 是是A的所有线性无关组中所含的所有线性无关组中所含定义定义3.称为向量组称为向量组A的的秩秩。向量组向量组A中最大线性无关组所含向量的个数,中最大线性无关组所含向量的个数,组,规定其秩为组,规定其秩为0。只含零向量的向量组没有最大无关只含零向量的向量组没有最大无关向量组向量组A的秩记为的秩记为R(A)或或秩秩(A)。根据最大无关组及秩的定义,下面的等价式成立:根据最大无关组及秩的定义,下面的等价式成立:线性无关线性无关线性相关线性相关(m为向量组为向量组 中向量的个数中向量的个数)二二二二.定理和示例定理和示例定理和示例定理和示例定理定理定理定理1.1.必要条件是必要条件是向量向量可由向量组可由向量组 线性表示的充分线性表示的充分证明:证明:证明:证明:定理定理定理定理2.2.示的充分必要条件为示的充分必要条件为 向量组向量组可由向量组可由向量组线性表线性表证明:证明:证明:证明:推论推论推论推论.必要条件为必要条件为向量组向量组与向量组与向量组等价的充分等价的充分定理定理定理定理3.3.表示,则有表示,则有设向量组设向量组可由向量组可由向量组线性线性证明:证明:证明:证明:推论推论推论推论.若若与与等价,则等价,则推论的逆命题不成立。例如,设两组向量为推论的逆命题不成立。例如,设两组向量为 A:B:则则A,B两组都是线性无关组,故两组都是线性无关组,故R(A)=R(B)=2。但但A中中不能由不能由B组线性表示组线性表示(因为(因为的任意线性组合的任意线性组合 即不等于即不等于)。)。B中的中的不能由不能由A组线性表示,故组线性表示,故A,B两组不等价。两组不等价。定理定理定理定理4.4.组的充分必要条件是下面组的充分必要条件是下面(i)、(ii)两条件成立:两条件成立:向量组向量组是向量组是向量组A的最大线性无关的最大线性无关(i)是是A中的线性无关组;中的线性无关组;(ii)A中任意向量中任意向量 都可由都可由线性表示。线性表示。证明:证明:证明:证明:例例2.中下面的中下面的n个单位向量:个单位向量:考察考察在在2例例2中我们已经证明过,中我们已经证明过,是线性无关的,是线性无关的,并且并且中任意一个向量都可以它们由线性表出。中任意一个向量都可以它们由线性表出。由定由定理理4,是是中的一个最大无关组,中的一个最大无关组,的秩为的秩为n,其中任意其中任意n个线性无关的向量组都是它的最大无关组,个线性无关的向量组都是它的最大无关组,而而中任意中任意n+1个向量都是线性相关的。个向量都是线性相关的。定定定定义义义义4.4.列分块成列分块成 设设是是矩阵,将矩阵,将按行、按按行、按 其中其中 是由是由 的各行组成的行向量组的各行组成的行向量组。是由是由 的各列组成的列向量组的各列组成的列向量组。的行向量组的行向量组 的秩的秩 称为矩阵称为矩阵 的的行秩行秩 的列向量组的列向量组 的秩的秩 称为矩阵称为矩阵 的的列秩列秩 明一个引理。明一个引理。为了讨论矩阵的行秩、列秩及矩阵秩的关系,先证为了讨论矩阵的行秩、列秩及矩阵秩的关系,先证引理引理引理引理.设设矩阵矩阵A经过经过行行初等变换化为初等变换化为B,即,即 其中其中是是A的列向量组,的列向量组,是是B的列向量组,的列向量组,列向量列向量则则A中任意中任意r个个与与B中中相同列号相同列号的的r个列向量个列向量 有以下关系:有以下关系:(i)线性相关线性相关 线性相关线性相关 相同的相关式的系数。相同的相关式的系数。,并且有,并且有(ii)线性无关线性无关 线性无关线性无关(iii)为为A的列向量组的列向量组的最大无关组的最大无关组为为B的列向量组的列向量组的最大无关组的最大无关组证明:证明:证明:证明:定理定理定理定理5.5.设矩阵设矩阵A经过初等变换化成经过初等变换化成B,则,则 A的行秩的行秩=B的行秩,的行秩,A的列秩的列秩=B的列秩的列秩 换句话说,矩阵经初等变换后,行秩和列秩都不变。换句话说,矩阵经初等变换后,行秩和列秩都不变。证明:证明:证明:证明:定理定理定理定理6.6.证明:证明:证明:证明:矩阵矩阵A的行秩的行秩=A的列秩的列秩=A的秩的秩R(A)。向量组的线性相关与线性无关。向量组的线性相关与线性无关。定理定理6建立了向量组的秩与矩阵秩的联系,一方面建立了向量组的秩与矩阵秩的联系,一方面使我们可以利用向量组秩的性质得到矩阵秩的性质,另使我们可以利用向量组秩的性质得到矩阵秩的性质,另一方面通过计算矩阵的秩,可以计算向量组的秩,判别一方面通过计算矩阵的秩,可以计算向量组的秩,判别写成定理的形式:写成定理的形式:首先,补充证明上章提过的矩阵秩的性质,将它们首先,补充证明上章提过的矩阵秩的性质,将它们定理定理定理定理7.7.矩阵的秩具有以下性质:矩阵的秩具有以下性质:(1)(2)(3)证明:证明:证明:证明:定理定理定理定理8.8.设向量组设向量组线性无关,且线性无关,且则向量组则向量组线性无关的充分必要条件为上述关线性无关的充分必要条件为上述关系式的系数矩阵系式的系数矩阵的行列式的行列式,即,即证明:证明:证明:证明:(4)例例3.设有向量组设有向量组组的秩,并求它的一个最大无关组。组的秩,并求它的一个最大无关组。求向量求向量解:解:解:解:例例4.,(填空填空)已知向量组已知向量组,的秩为的秩为2,则,则t=。解:解:解:解:例例5.(选择)已知向量组(选择)已知向量组线性无关,则线性无关,则向量组向量组(A)线性无关线性无关(B)线性无关线性无关(C)线性无关线性无关(D)线性无关线性无关解:解:解:解:例例6.已知向量组已知向量组(I)(II)(III)如果各向量组的秩分别为如果各向量组的秩分别为R(I)=R(II)=3R(III)=4,证明:,证明:的秩为的秩为4。证明:证明:证明:证明:证明:证明:证明:证明:必要性,必要性,若若零向量,零向量,则,则 都是都是因为因为 可由向量组可由向量组 线性表示线性表示,所以也有所以也有,因而,因而,要证的等式成立。,要证的等式成立。现设现设,因为,因为(1)若若,则,则的最大无关组含的最大无关组含有有r+1个向量,且这个向量,且这r+1个向量中必含有个向量中必含有,不妨设最大,不妨设最大无关组为无关组为,则,则线性无关线性无关,中任意一个向量中任意一个向量是向量组是向量组中中r+1个向量,必定线性相关,个向量,必定线性相关,因此,因此,且对且对根据根据2性质(性质(2),),可由可由线性表示,即向量线性表示,即向量组组可由向量组可由向量组线性表示,线性表示,又又可由可由 线性表示,故线性表示,故可由可由 线性表示,线性表示,于是于是线性相关,与假设矛盾。线性相关,与假设矛盾。因此等式因此等式不成立,不成立,由(由(1)式可知有)式可知有故故充分性,充分性,设设,若,若,则,则都是零向量,故有都是零向量,故有可由向量组可由向量组 线性表示。线性表示。即即,不妨设,不妨设 若若是是的最大无关组,的最大无关组,因为因为,而,而是是中的中的r+1个向量,必线性相关,个向量,必线性相关,2性质(性质(2),),又又线性无关,线性无关,根据根据可由向量组可由向量组 线性表示。线性表示。设设于是于是可由向量组可由向量组 线性表示。线性表示。故故证毕。证毕。证明:证明:证明:证明:必要性,必要性,设设可由可由线性表示,线性表示,则则可由可由线性表示,线性表示,由定理由定理1,又又可由可由线性表示,线性表示,因而可由因而可由线性线性表示,表示,再由定理再由定理1,有,有于是有于是有 依此类推,得依此类推,得充分性,充分性,设设若若r=0,则,则都是都是0向量,向量,显然显然可由可由线性表示。线性表示。现设现设,不妨设,不妨设是是的最大无关组,的最大无关组,因为因为,故,故也是也是的最大无关组,的最大无关组,故故可由可由线性表示。线性表示。因而因而可由可由线性表示。线性表示。证毕。证毕。证明:证明:证明:证明:首先有首先有因为向量组因为向量组可由可由线性表示,线性表示,由定理由定理2有有故有故有证毕。证毕。证明:证明:证明:证明:分必要条件是条件分必要条件是条件(i)、(ii)成立。成立。就是要证明定义就是要证明定义2中的条件中的条件(1)、(2)成立的充成立的充必要性:必要性:(1),故成立。,故成立。设定义设定义2中的条件中的条件(1)、(2)成立,则成立,则(i)就是就是设设是是A中任意向量,中任意向量,r+1个向量,个向量,则则是是A中中由定义由定义2的条件的条件(2),线性相关,线性相关,由由2性质(性质(2),),可由可由线性表示。线性表示。也成立,必要性得证。也成立,必要性得证。故条件故条件(ii)充分性:充分性:设设(i)、(ii)成立。则定义成立。则定义2中的中的(1)成立,成立,设设是是A中任意中任意r+1个向量,由个向量,由(ii),可由可由线性表示。线性表示。由定理由定理3,有,有分性得证。分性得证。故故线性相关,即定义线性相关,即定义2中的条件中的条件(2)成立,充成立,充证明:证明:证明:证明:由由可知存在初等矩阵可知存在初等矩阵,使,使记记,则,则P可逆,且可逆,且PA=B,由分块矩阵乘法,有由分块矩阵乘法,有 比较等式各列,得比较等式各列,得(1)(i)若若线性相关,则存在线性相关,则存在不全为不全为0,使使(1)(2)等式两边左乘等式两边左乘P,得,得,由,由(1)式得式得(3)故故线性相关,且线性相关,且(3)与与(2)有相同的相关式系数有相同的相关式系数反之,若反之,若线性相关,则存在线性相关,则存在不全为不全为0,使,使(3)式成立,两边左乘式成立,两边左乘,由,由(1)式得式得(2)式,因此式,因此 线性相关,且线性相关,且(2)与与(3)有相同的相关式系数有相同的相关式系数(4)。(4)由由(i)可得可得(ii),由,由(i)(ii)可得可得(iii)。(证毕)(证毕)证明:证明:证明:证明:先考虑行初等变换情形。先考虑行初等变换情形。设设其中其中是是A的列向量组。并且的列向量组。并且 设设A的列秩的列秩(r=0情形结论显然成立情形结论显然成立)。)。则则中有中有r个列向量个列向量 是它的最大无关组。是它的最大无关组。由引理,由引理,是是B的列向量组的列向量组的最大无关组。的最大无关组。因此,因此,B的列秩的列秩,故,故A的列秩的列秩=B的列秩。的列秩。再设再设,其中,其中是是A的行向量组,且的行向量组,且存在初等矩阵存在初等矩阵使使,设,设则则PA=B,P可逆。设可逆。设 则有则有由分块矩阵乘法,得由分块矩阵乘法,得这表示这表示B的行向量组的行向量组可由可由A的行向量组的行向量组线性表示。线性表示。再由再由B的行向量组线性表示。的行向量组线性表示。同理可证同理可证A的行向量组可由的行向量组可由向量组等价,向量组等价,因此,因此,A的行向量组与的行向量组与B的行的行故有故有即即A的行秩的行秩=B的行秩。的行秩。不变。不变。以上证明了当经行初等变换后,以上证明了当经行初等变换后,A的行秩和列秩都的行秩和列秩都现设现设,则,则由已证的部分,得由已证的部分,得的行秩的行秩=的行秩的行秩的列秩的列秩=的列秩的列秩因而有因而有的行秩的行秩=的行秩的行秩的列秩的列秩=的列秩的列秩证毕。证毕。证明:证明:证明:证明:若若A=0,结论显然成立。,结论显然成立。若若,设,设R(A)=r。由第二章由第二章3定理定理1,A经过初等变换可化为标准形经过初等变换可化为标准形 即即第第r行行第第r列列必含有零行,因而必线性相关,必含有零行,因而必线性相关,容易看出,标准形容易看出,标准形B的前的前r行线性无关,而任意行线性无关,而任意r+1行行矩阵矩阵B的秩也是的秩也是r,故知故知B的行秩的行秩=r,同理可,同理可知知B的列秩的列秩=r,不变,因此,不变,因此,A的行秩、列秩及的行秩、列秩及A的秩都等于的秩都等于r。由第二章由第二章4的定理及的定理及本节的定理本节的定理5,矩阵经过初等变换后,行秩、列秩及秩都,矩阵经过初等变换后,行秩、列秩及秩都证毕。证毕。证明:证明:证明:证明:(1)不等于零的子式,故有不等于零的子式,故有因为因为A中不等于零的子式也是中不等于零的子式也是中中同理有同理有,因此,因此将将A,B按列分块,设按列分块,设,则,则设设的列向量组的最大无关组为的列向量组的最大无关组为则则是是A的列向量组中的的列向量组中的s个线性无关向量,故个线性无关向量,故的列秩的列秩=R(A)是是B的列向量组中的的列向量组中的t个线性无关向量,故个线性无关向量,故的列秩的列秩=R(B)于是有于是有的列秩的列秩=s+t只含只含B的列向量,则的列向量,则 若若(A,B)的列向量组的最大无关组只含的列向量组的最大无关组只含A的列向量或的列向量或或或都有都有(2)设设A,B为为矩阵,将其按列分块,设矩阵,将其按列分块,设则则对它做列对它做列初等变换初等变换,得,得因为列初等变换不改变矩阵的秩,因为列初等变换不改变矩阵的秩,故有故有于是由(于是由(1)得到)得到同理可证同理可证(3)设设其中其中是是A的列向量组,的列向量组,根据分块矩阵的乘法,就有根据分块矩阵的乘法,就有是是B的行向量组。的行向量组。等式说明等式说明AB的列向量组是的列向量组是A的列向量组的线性组合,的列向量组的线性组合,根据定理根据定理3,AB的列秩的列秩的列秩。的列秩。由定理由定理6,得,得又有又有这一等式说明这一等式说明AB的行向量组是的行向量组是B的行向量组的线性组合,的行向量组的线性组合,由定理由定理3,AB的行秩的行秩的行秩。的行秩。由定理由定理6,得,得因此因此证毕。证毕。证明:证明:证明:证明:向量,向量,不妨设不妨设为行向量,则为行向量,则也是行也是行(4)式可写成矩阵等式式可写成矩阵等式,简记为,简记为B=CAR(A)=R(B),若若,则,则C可逆,由第二章可逆,由第二章4矩阵秩的性质矩阵秩的性质(7),有,有因为因为线性无关,故线性无关,故于是有于是有故故线性无关。线性无关。若若,则,则,由定理,由定理7(3),知,知因而有因而有故故线性相关,线性相关,因此,若因此,若线性无关,则线性无关,则证毕。证毕。解:解:解:解:以这组向量作为列,作成矩阵以这组向量作为列,作成矩阵A,即,即对对A作作行初等变换行初等变换,将,将A化为阶梯形矩阵,过程如下:化为阶梯形矩阵,过程如下:B为阶梯形矩阵,含有三个非零行,故为阶梯形矩阵,含有三个非零行,故R(B)=3。因而有。因而有无关组。无关组。B中任何三个线性无关的列都是中任何三个线性无关的列都是的最大的最大考察第考察第1,2,4列作成的矩阵列作成的矩阵 它有一个三阶子式不为它有一个三阶子式不为0,如上所示。,如上所示。因而因而,故,故线性无关,线性无关,因而因而是是的最大无关组,由引理,的最大无关组,由引理,是是的最大无关组,的最大无关组,即即是是的最大无关组。的最大无关组。不难验证不难验证或或也是也是的最大无关组。的最大无关组。解:解:解:解:以以为行向量,作矩阵为行向量,作矩阵A,即即中任一个三阶子中任一个三阶子因为因为的秩为的秩为2,故,故式都等于式都等于0,取前三列作成的子式,令其等于,取前三列作成的子式,令其等于0,计算得,计算得,求得求得 t=3。解:解:解:解:计算,各组的系数行列式的值如下:计算,各组的系数行列式的值如下:根据定理根据定理8,只要计算各组的系数行列式,哪,只要计算各组的系数行列式,哪一组的系数行列式不等于一组的系数行列式不等于0,该组就是线性无关组。经,该组就是线性无关组。经(A)(B)(C)(D)证法一:证法一:证法一:证法一:只要证只要证线性无关。线性无关。设数设数使得使得由由R(I)=R(II)=3,可知,可知(I)线性无关,线性无关,(II)线性相关,因而线性相关,因而可由可由线性表示,线性表示,设设入前一个等式,得入前一个等式,得,代,代由由R(III)=4知知线性无关,故有线性无关,故有将最后的等式将最后的等式代入前三个等式,得代入前三个等式,得故向量组故向量组线性无关,其秩为线性无关,其秩为4。证法二:证法二:证法二:证法二:相关,相关,由由R(I)=R(II)=3推知推知(I)线性无关,线性无关,(II)线性线性可由可由线性表示,线性表示,设设不妨设不妨设为列向量,以为列向量,以为为列向量作矩阵列向量作矩阵A,并作列初等变换如下:,并作列初等变换如下:初等变换不改变矩阵的秩,故初等变换不改变矩阵的秩,故
展开阅读全文