04第四节向量组的秩.docVIP

第四节 向量组的秩 本节我们考察一向量组中拥有最大个数的线性无关向量的向量组——极大线性无关向量组,并由此引入向量组的秩的定义. 在此基础上, 进一步讨论矩阵与其行向量组和列向量组间秩的相等关系,这个关系是我们处理线性方程组相关信息的一个强有力的工具. 分布图示 ★ 引例 ★ 极大线性无关向量组 ★ 定理1 ★ 向量组的秩 ★ 矩阵与向量组秩的关系 ★ 例1 ★ 例2 ★ 例3 ★ 例4 ★ 定理3 ★ 例5 ★ 例6 ★ 内容小结 ★ 课堂练习 ★ 习题3-4 内容要点 一、最大线性无关向量组 定义1 设有向量组 若在向量组中能选出个向量, 满足 (1) 向量组线性无关; (2) 向量组中任意个向量(若有的话)都线性相关. 则称向量组是向量组的一个极大线性无关向量组(简称为极大无关组). 注: (1) 含有零向量的向量组没有极大无关组; (2) 向量组的极大无关组可能不止一个, 但由上节推论6知, 其向量的个数是相同的. 定理1 如果是的线性无关部分组, 它是极大无关组的充分必要条件是中的每一个向量都可由线性表示. 注: 由定理1知，向量组与其极大线性无关组可相互线性表示, 即向量组与其极大线性无关组等价. 二、向量组的秩 定义2 向量组的极大无关组所含向量的个数称为该向量的秩, 记为 . 规定: 由零向量组成的向量组的秩为0. 三、矩阵与向量组秩的关系 定理2 设为矩阵，则矩阵的秩等于它的列向量组的秩, 也等于它的行向量组的秩. 推论1 矩阵的行向量组的秩与列向量组的秩相等. 由定理2证明知，若是矩阵的一个最高阶非零子式, 则所在的列就是的列向量组的一个极大无关组; 所在的行即是的行向量组的一个极大无关组.。 以向量组中各向量为列向量组成矩阵后，只作初等行变换将该矩阵化为行阶梯形矩阵，则可直接写出所求向量组的极大无关组； 同理，也可以向量组中各向量为行向量组成矩阵，通过作初等列变换来求所求向量组的极大无关组. 定理3 若向量组能由向量组线性表示, 则 . 推论1 等价的向量组的秩相等. 推论2 设, 则 推论3 设向量组是有向量组的部分组，若向量组线性无关，且向量组能由向量组线性表示，则向量组是向量组的一个极大无关组. 例题选讲 例1(E01) 全体维向量构成的向量组记作, 求的一个极大无关组及的秩. 解 因为维单位坐标向量构面的向量组是线性无关的，又知，中的任意个向量都线性相关，因此向量组是的一个极大无关组，且的秩等于. 例2 (E02) 设矩阵 求矩阵A的列向量组的一个极大无关并 把不属于极大无关组的列向量用极大无关组线性表示. 解 对施行初等变换化为行阶梯形矩阵： 知故列向量组的极大无关组含3个向量. 而三个非零首元在第三列，故为列向量组的一个极大无关组. 则故线性无关. 由的行最简形矩阵： 例3 (E03) 求向量组 的秩和一个极大无关组. 解 向量的分量中含参数向量组的秩和极大无关组与的取值有关. 对下列矩阵作初等行变换: 显然，线性无关，且 （1）时，则且是极大无关组； （2）时，则且是极大无关组； 例4 (E04) 设及为两个矩阵, 证明:A与B乘积的秩不大于A的秩和B的秩, 即 证 设 即 因此有 即的列向量组可由的列向量组线性表示，故的极大无关组可由的极大无关组线性表示,由向量间线性关系的判定定理: 类似地：设， ， 可以证明： 因此， 例5 (E05) 设向量组B能由向量组A线性表示, 且它们的秩相等, 证明向量组A与向量组B等价. 证一 只要证明向量组能由向量组线性表示.设两个向量组的秩都为并设组和组的极大无关组依次为和因组能由组线性表示，故 组能由组线性表示，即有阶方阵使因组线性无关，故 但因此于是矩阵可逆，并有 即组能由组线性表示，从而组能由组线性表示. 证二 设向量组和的秩都有为因组能由组线性表示，故组和组合并而成的向量组能由组线性表示.而组是组的部分组，故组总能由组线性表示.所以组与组等价，因此组的秩也为 又因组的秩也为故组的极大无关组含个向量，因此组也是组的极大无关组，从而组与组等价，由组与组等价，与等价，推知组与组等价. 注：本例把证明两向量组与等价，转换为证明它们的极大无关组与等到价.证法一证明用线性表示的系数矩阵可逆；证法二实质上是证明与都是向量组的极大无关组. 例6 已知 证明向量组与等价. 证 要证存在2阶方阵使 先求对增广矩阵施行初等行变换: 因知可逆，取即为所求.因此向量组与等价. 课堂练习 1.求向量组 的一个极大无关组, 并把其余向量用该极大无关组线性表示.