§2第二章02第三节(1550KB).pptVIP

一、向量组的秩与极大无关组 §3 向量组的秩 二、向量组极大无关组的性质 一、向量组的秩与极大无关组 线性无关，但是向 却线性相关．类似地，部分向量组 及 也具有这样的性质：它们本身是线性无关的， 的部分向量组，所包含的向量个数最多；并且这3个部分 在§2例8中，部分向量组 量组 但是如果添加一个向量进去，它们就变成线性相关的了． 可见它们在 向量组 中作为一个线性无关 向量组所含的向量个数相等．一 般地，我们有 引理 设矩阵 ，向量组 是向量组 ： 的部分组且包含 向量．如果向量组 线性无关，且向量组 的任意 个向量线性相关，那么 证 因向量组 线性无关，故由定理２知，由 为列构成的矩阵中有一个 阶子式不为零， ．又因向量组 的任意 个向量 个 量组 向 从而 线性相关，故也由定理２知，矩阵 中任意 子式都为零，从而 ．所以， ．　　　　　定义7 设向量组 的一个包含 个向量的部分组 （1）向量组 （2）向量组 中任意 个向量 阶 　　证毕 　下面我们引入向量组的秩与极大无关组的概念． ，满足 线性无关； （如果 中有 那么向量组 称为向量组 （简称极大无关组）；极大无关组所含向量个数 向量组 ，规定它的秩 个向量的话） 组成的向量组都线性相关， 的一个极大线性无关向量组 称为 只含零向量的向量组没有极大无关组 的秩． 在§２例8中，部分组 ； 及 都是 的极大无关组． 为0． 向量组 这说明向量组的极大 无关组一般不是唯一的； 的秩． 的秩为 任意 个线性无关的 维向量都是 事实上，因为任意 个 线性相关， 个线 这3个极大无关组含有的 这就是 向量组 又如 ， 的一个极大 无关组． 维向量一定 性无关的 维向量都是 的一个极 大无关组． 特别地， 维单位坐标 向量组 线性无关的向量的个数都是2， 但是 所以任意 是 矩阵 的列向量组的秩称为 的列秩，它的行向量组的秩称为 定理7 矩阵的秩等于它的列秩，也等于它的行秩． ，并设某一 的一个极大无关组． 的行秩． 利用§2定 理 2及矩阵的秩的定义，我们可以建立矩阵的秩 、列秩及 行秩之间的如下联系． 证 设 阶子式 由 ，知 所在的 列构成的矩阵的秩为 定理2知这 线性无关；又由 中所有 阶子式均为零，也由 中任意 因此 所在的 列是 一个极大无关组，所以 的列秩等于 且 的列向量组就是 的行向量组，即 的列秩就是 的行秩．所以，由上面已经证明的 ，由 个列向量 的列向量组的 ．由于 个列向量 定理2知 都线性相关． 指出，定理７的前半部分证明本来可以直接使用引理而 是矩阵 的一个最高阶非零子式，那么 所在的 列就是 结果，就可以知道矩阵 以后，向量组 的秩也记作　 应该 简化，但是从现在的证明中可以知道：如果 的列 的秩也等于它的行秩．　　 证毕 定理７的前半部分证明本来可以直接使用引理 指出， 而简 化，但是从现在的证明中可以知 道：如果 是矩 阵 的一个最高阶非零子式，那么 所在的 列就是 的列向量组的一个极大无关组； 所在的 行就是 即用矩阵 的行向量组的一个极大无关组．这为我们提供了一种通过 矩阵的最高阶非零子式来求其列向量组的极大无关组的 方法． 下面我们介绍求向量组的极大无关组的另一种方法， 初等变换来求向量组极大无关组的方法．为此， 我们需要如下的简 单的定理． 定理8 矩阵的初等行变换 不改变（部分或全部） 证 设 为一个矩阵，它经过有限次初等行变换 ．任取 的 列构成矩阵 ，此时 变 列向量之间的线性关系；矩阵的初等列变换不改变 （部分 或全部）行向量之间的线性关系． 变成矩阵 成矩阵 ．显然 的列向量就是 中与 列向量位置对应的列向量．由§2知道 与 列向量之 的各 的各 间的线性关系分别由齐次线性方 程组 与 决定，其中 知道，这两个齐次线性方程组同解．所以 与 的列向量之间有相同的线性关系． 就是 的行向量，所以定理的两部分结论是等价的． 的转置矩阵 可以得到另一部分的结论．　　　　　　　　　　 ．但是， 由第二 章 的列向 由于 的列向 量 对矩阵 使用定理的前半部分， 就 证毕 向量组的秩与极大无关组的具体做法， ： （1）求向量组 的一个极大无关组，并由此得到 的秩； 定理8及其证明过程为我们提供了利用矩阵初等变换 求 例10 设向量组 下面我们举例说明． 向量组 （2）把向量组 中不属于所求得的极大无关组 的向量用该极大无关组线性表示． 解 （1）对矩阵 行变换使它变成行阶梯形矩阵 ，就可以看出矩阵 的列向量之间的线性关系．根据定理8，这