第第3.43.4节节 向量组的极大向量组的极大 线性无关组线性无关组主要内容主要内容:一等价向量组一等价向量组二向量组的极大线性无关组二向量组的极大线性无关组三三 向量组的秩与矩阵秩的关系向量组的秩与矩阵秩的关系一、等价向量组一、等价向量组定义定义1：如果向量组如果向量组 中的每一个向量中的每一个向量 都可以由向量组都可以由向量组线性表示，那么就称向量组线性表示，那么就称向量组A可以由向量组可以由向量组B线性表示。线性表示。若同时向量组若同时向量组B 也可以由向量组也可以由向量组A线性表示，就称线性表示，就称向量组向量组A与向量组与向量组B等价。等价。即即自反性：自反性：一个向量组与其自身等价；一个向量组与其自身等价；对称性：对称性：若向量组若向量组 与与 等价，则等价，则 和和 等价；等价；传递性传递性： 等价向量组的基本性质等价向量组的基本性质定理：定理： 设设与与 是两个向量组，如果是两个向量组，如果(2)则向量组则向量组 必线性相关。必线性相关。推论推论1： 如果向量组如果向量组 可以由向量组可以由向量组线性表示，并且线性表示，并且线性无关，那么线性无关，那么推论推论2：两个线性无关的等价的向量组，必包含相同个数的向量。两个线性无关的等价的向量组，必包含相同个数的向量。(1) 向量组向量组线性表示；线性表示；可以由向量组可以由向量组二、向量组的极大线性无关组二、向量组的极大线性无关组定义定义2:注注:（1）只含零向量的向量组没有极大无关组）只含零向量的向量组没有极大无关组.简称简称极大无关组。极大无关组。对向量组对向量组A，如果在，如果在A中有中有r个向量个向量满足：满足：（2）任意）任意r1个向量都线性相关。（如果有的话）个向量都线性相关。（如果有的话）线性无关。线性无关。（1）那么称部分组那么称部分组 为向量组为向量组 的一个的一个极大线性无关组。极大线性无关组。（2）一个线性无关向量组的极大无关组就是其本身）一个线性无关向量组的极大无关组就是其本身.（3）一个向量组的任一向量都能由它的极大无关组线性）一个向量组的任一向量都能由它的极大无关组线性 表示表示.例如：例如：在向量组在向量组 中，中， 首先首先线性无关，线性无关， 又又线性相关，线性相关，所以所以组成的部分组是极大无关组。组成的部分组是极大无关组。还可以验证还可以验证也是一个极大无关组。也是一个极大无关组。注：注：一个向量组的一个向量组的极大无关组极大无关组一般一般不是唯一的。不是唯一的。极大无关组的一个基本性质：极大无关组的一个基本性质：任意一个极大线性无关组都与向量组本身等价。任意一个极大线性无关组都与向量组本身等价。又，向量组的极大无关组不唯一，而每一个极大无关组都又，向量组的极大无关组不唯一，而每一个极大无关组都与向量组等价，所以：与向量组等价，所以：向量组的任意两个极大无关组都是等价的。向量组的任意两个极大无关组都是等价的。由等价的线性无关的向量组必包含相同个数的向量，可得由等价的线性无关的向量组必包含相同个数的向量，可得一个向量组的任意两个极大无关组等价，一个向量组的任意两个极大无关组等价，且所含向量的个数相同。且所含向量的个数相同。定理：定理：三、向量组的秩与矩阵秩的关系三、向量组的秩与矩阵秩的关系定义定义3：向量组的极大无关组所含向量的个数向量组的极大无关组所含向量的个数 称为这个称为这个向量组的秩向量组的秩, 记作记作例如：例如： 向量组向量组 的的秩为秩为2。向量组的秩向量组的秩（4）等价的向量组必有相同的秩。）等价的向量组必有相同的秩。关于向量组的秩的结论：关于向量组的秩的结论：（1）零向量组的秩为）零向量组的秩为0。（2）向量组）向量组线性无关线性无关向量组向量组线性相关线性相关（3）如果向量组）如果向量组可以由向量组可以由向量组线性表示，则线性表示，则注：注：两个有相同的秩的向量组不一定等价。两个有相同的秩的向量组不一定等价。 两个向量组有相同的秩，并且其中一个可以被另一个两个向量组有相同的秩，并且其中一个可以被另一个 线性表示，则这两个向量组等价。线性表示，则这两个向量组等价。2. 矩阵的秩矩阵的秩2.1. 行秩、列秩、矩阵的秩行秩、列秩、矩阵的秩把矩阵的每一行看成一个向量，则矩阵可被认为由这些把矩阵的每一行看成一个向量，则矩阵可被认为由这些行向量行向量组成，组成，把矩阵的每一列看成一个向量，则矩阵可被认为由这些把矩阵的每一列看成一个向量，则矩阵可被认为由这些列向量列向量组成。组成。定义定义4：矩阵的行向量的秩，就称为矩阵的行向量的秩，就称为矩阵的行秩矩阵的行秩; 矩阵的列向量的秩，就称为矩阵的列向量的秩，就称为矩阵的列秩矩阵的列秩。例如：例如：矩阵矩阵的行向量组是的行向量组是可以证明，可以证明，是是A的的行向量组行向量组的一个的一个极大无关组极大无关组，因为，由因为，由即即可知可知即即线性无关线性无关；而而为零向量，包含零向量的向量组线性相关，为零向量，包含零向量的向量组线性相关，线性相关。线性相关。所以向量组所以向量组的秩为的秩为3，所以矩阵所以矩阵A的的行秩行秩为为3。矩阵矩阵A的的列向量组列向量组是是可以验证可以验证线性无关线性无关，而而所以向量组所以向量组的一个极大无关组是的一个极大无关组是所以向量组所以向量组的秩是的秩是3，所以矩阵所以矩阵A的的列秩列秩是是3。定理：定理：矩阵的行秩矩阵的列秩矩阵的行秩矩阵的列秩定义定义5：矩阵的行秩矩阵的列秩，统称为矩阵的行秩矩阵的列秩，统称为矩阵的秩。矩阵的秩。记为记为r(A),或或rankA，或秩，或秩A。推论：推论：矩阵的矩阵的初等变换初等变换不改变不改变矩阵的秩矩阵的秩。解：解：看行秩看行秩例例1 1：求上三角矩阵的秩求上三角矩阵的秩 2.2 矩阵秩的求法矩阵秩的求法.看看的线性相关性：的线性相关性：线性无关，线性无关，维数增加后得到的维数增加后得到的依然线性无关，依然线性无关，而而与与都线性相关，都线性相关，所以矩阵的秩行向量组的秩所以矩阵的秩行向量组的秩3非零行的行数非零行的行数结论：结论：行阶梯形矩阵的秩非零行的行数行阶梯形矩阵的秩非零行的行数求矩阵秩的方法：求矩阵秩的方法： 把矩阵用把矩阵用初等行变换初等行变换变成变成行阶梯形矩阵行阶梯形矩阵，则行阶梯形，则行阶梯形 矩阵中矩阵中非零行的行数非零行的行数就是原来就是原来矩阵的秩矩阵的秩。例例2:2:求求A的秩。的秩。由阶梯形矩阵有三个非零行可知由阶梯形矩阵有三个非零行可知求向量组的秩、极大无关组的步骤求向量组的秩、极大无关组的步骤. .（1）向量组）向量组作列向量构成矩阵作列向量构成矩阵A。（2）初等行变换初等行变换（行最简形矩阵）（行最简形矩阵）r(A)=B的非零行的行数的非零行的行数（3）求出）求出B的列向量组的极大无关组的列向量组的极大无关组（4）A中与中与B的列向量组的极大无关组相对应部分的列向量组的列向量组的极大无关组相对应部分的列向量组 即为即为A的极大无关组。的极大无关组。例例3：向量组向量组求向量组的秩和求向量组的秩和一个极大无关组。一个极大无关组。解：解：又因为又因为B的的1，2，5列是列是B的列向量组的一个极大无关组的列向量组的一个极大无关组所以，所以，是是的一个极大无关组。的一个极大无关组。考虑：考虑：是否还有其他的极大无关组？是否还有其他的极大无关组？与与例例4：求向量组：求向量组的一个极大无关组，并把其余的一个极大无关组，并把其余向量用该极大无关组线性表示。向量用该极大无关组线性表示。解：解：设设则则B的的1，2列为极大无关组，且列为极大无关组，且所以所以为所求的一个极大无关组，且为所求的一个极大无关组，且