线性代数第七、八讲.docVIP

§2.2 向量组的秩 一、向量组的秩 相关程度如何衡量？ 定义 设 是m个n元向量组成的向量组。若存在其中r个向量组成的线性无关的部分组，但是其中任意r +1个向量组成的部分组都线性相关，则称向量组 的秩为r，记为 秩{} 或 r{} 例 元基本向量组 的秩为___。 例 向量组 的秩为___。 定理2.2.1 向量组 线性相关的充分必要条件是：秩{} m。 向量组 线性无关秩{}=m 定义 设向量组 的秩为r。则中任意r个向量组成的线性无关的部分组都称为向量组 的极大线性无关部分组，简称为极大无关组。 性质 向量组与其任意一个极大无关组都等价；等价的向量组的极大无关组也等价。 注意: 极大无关组一般不唯一. 定理2.2.2 若向量组 可由向量组 线性表出，则 秩{}秩{} 证明 只需证明向量组 的极大无关组包含的向量个数不大于向量组 的极大无关组包含的向量个数。 设 是 的极大无关组，则 可由 线性表出。设 是 的极大无关组，则 可由 线性表出。 又 可由 线性表出，故 可由 线性表出，而 线性无关，所以。 推论 等价的向量组有相同的秩. 等价定义1：设 是向量组 的一个部分组。若 （1）线性无关； （2）每个（ j=1, 2, …, m ）均可由 线性表出， 则 是向量组 的一个极大无关组。 等价定义2：设 是向量组 的一个部分组。若 （1）线性无关； （2）对任意的 （j =1, 2, …, m）均有 ,线性相关， 则 是向量组 的一个极大无关组。 例 已知向量组。假设每个（j = s +1, s+2, …, m）均可由 线性表出，则 秩{}=秩{} 证明 设 秩=，任取 的一个极大无关组 ，则 可由 线性表出。 已知 可由线性表出，故由传递性得 亦可由 线性表出。于是，每个 ( j =1, 2, …, m) 均可由 线性表出。 又线性无关，所以也是 的一个极大无关组。于是 秩{}=。 例 向量组的任意一个线性无关的部分组都可扩充为整个向量组的一个极大无关组。 二、向量组的秩与矩阵的秩的关系 矩阵的行向量组的秩：矩阵的行秩 矩阵的列向量组的秩：矩阵的列秩 矩阵的秩，矩阵的行秩，矩阵的列秩之间有什么关系呢？ 矩阵的初等行（列）变换不改变行（列）向量组的秩 矩阵的初等行（列）变换不改变列（行）向量组的秩 矩阵的秩等于其行向量组的秩，也等于其列向量组的秩 定理2.2.4 设A是阶方阵，则 A可逆 A的行（列）向量组线性无关 例2.2.5 判断向量组 的线性相关性。 定理（补充, P94） 设矩阵经若干次初等行变换化为，则的任意个列向量与中对应的个列向量有相同的线性相关性，即 （1） 当且仅当的个列向量线性无关时，中对应的个列向量线性无关； （2）当且仅当的某个列向量可表示为某些列向量的线性组合 ① 时，中对应列向量可表示为列向量的线性组合 ② 例 已知向量组 ， 求向量组 的秩及其一个极大无关组，并用极大无关组表示剩余的向量。 解 分别以向量 为列构造矩阵 显然，向量组的秩为，且为组的一个极大无关组。所以，向量组 的秩为，且 是组的一个极大无关组。 又， 所以， 定理2.2.5 设A是m×p矩阵，B是p×n矩阵，则 秩(AB) min{ 秩(A)，秩(B) } 向量组线性相关性判别方法的小结： 1.利用齐次方程组有无非零解； 2.利用矩阵的秩（向量组的秩）； 3.利用线性表出； 4.利用其他性质。 例 设 其中 。求 秩。 解法一 利用初等变换： 故 秩=1。 解法二 利用行向量组秩的定义： 存在一个线性无关的行向量 但任意两个行向量 均线性相关，这是因为 ，而不全为零。故行向量组的秩为1，由此得 秩=1。 解法三 利用行向量组的极大无关组： 存在一个线性无关的向量 ，使任意一个行向量 均可由 线性表出，因为 由此得，是行向量组的极大无关组。故行向量组的秩为1，所以，秩=1。 解法四 利用矩阵秩的性质： 因为 故得 秩≤1。又 A≠0，故 秩≥1。于是， 秩=1。 例2.2.7 设A是m×n矩阵，B是n×m矩阵，并且AB = I，则B的列向量组线性无关。 证法一 因为 AB = I，所以 秩(B)≥秩(AB) = 秩(I) = m 又 秩(B)≤min{ n ，m }≤ m 故 秩(B) = m，即 B的列向