《简明线性代数》课件3-2 向量组的秩.ppt

上页 下页 铃 结束 返回 首页 上页 下页 铃 结束 返回 首页 一、向量组的秩和最大无关组 §3.2 向量组的秩 二、向量组间的线性关系 一、向量组的秩和最大无关组 设 A 为一 n 维向量组( A ? {0}), 则 A 的任一线性无关 部分组所含向量个数不多于 n 个. 提示: 这是因为 当 s n 时, n 维向量组 a1, ???, as 线性相关. A 的线性无关部分组所含向量个数存在最大值: 存在正整数 r, 使得 A 中有 r 个向量线性无关, 而 A 中 任意多于 r 个向量(若存在的话)线性相关. 向量组的秩 设 A 为一向量组, A 的线性无关部分组所含向量个数 的最大值 r, 称为向量组 A 的秩, 记为 R(A). 规定{0}的秩为 0. 向量组的最大无关组 设向量组 A 的秩为 r, 如果 a1, ???, ar 为 A 的一个线性 无关部分组, 那么称 a1, ???, ar 为 A 的一个最大无关组. 最大无关组的性质 设 A 为一向量组, 则部分组 a1, ???, ar 为 A 的一个最大 无关组的充分必要条件是 (2) A 中任一向量可由 a1, ???, ar 线性表示. (1) a1, ???, ar 线性无关; 必要性: 提示: 则向量 b 可由 a1, ???, ar 线性表示. 设向量组 a1, ???, ar 线性无关, 若 a1, ???, ar, b 线性相关, 从略. 向量组的最大无关组 设向量组 A 的秩为 r, 如果 a1, ???, ar 为 A 的一个线性 无关部分组, 那么称 a1, ???, ar 为 A 的一个最大无关组. 最大无关组的性质 设 A 为一向量组, 则部分组 a1, ???, ar 为 A 的一个最大 无关组的充分必要条件是 (2) A 中任一向量可由 a1, ???, ar 线性表示. (1) a1, ???, ar 线性无关; 于是 设 b1, ???, bs 为 A 中向量, s r. 充分性: 存在数 kij , 使得 故 b1, ???, bs 线性相关. 因此 r 为秩, a1, ???, ar 为最大无关组. 例1 设 x1, ???, xn-r (r = R(A))为 n 元方程组 Ax = 0 的一个 基础解系, S 为 Ax = 0 的解集, 则 因为基础解系线性无关, 且 S 中的任一向量可由基础解系 线性表示, 所以基础解系是 S 的一个最大无关组. n 元方程组 Ax = 0 的解集 S 的秩等于 n - R(A). Ax = 0 的解集 S 的一个最大无关组也即基础解系. 证明 若 x 满足 Ax = 0, 则 ATAx = 0. 若 x 满足 ATAx = 0, 则 xTATAx = 0, 即 (Ax)T(Ax) = 0, 设 aT = (a1, ???, an ), 则 提示: 综上可知 Ax = 0 与 ATAx = 0 同解. 从而 Ax = 0. 例2 证明 设其解集为 S, 则 其中 n 为未知元的个数. 初等行变换保持矩阵的列向量组的线性关系. 证明 设矩阵 A 经初等行变换化为矩阵 B. 设矩阵 A 的列向量组有一线性关系 因矩阵 A 与 B 行等价, 故方程组 Ax = 0 与 Bx = 0 同解. 由此可知也有 定理1 记 易知 b1, b2, b3, b4, b5 的秩为3, 定理1 初等行变换保持矩阵的列向量组的线性关系. 例3 设 且有 且有 行最简形矩阵的秩等于它的列向量组的秩. 矩阵的秩等于它的(行)列向量组的秩. 注: R(a1, ???, am) 既表示向量组的秩, 也表示矩阵的秩. 一个最大无关组为 b1, b2, b4, 因此 a1, a2, a3, a4, a5 的秩为3, 一个最大无关组为 a1, a2, a4, 秩与最大无关组的一个算法 化矩阵 A 为行最简形 A0, 通过观察 A0, 便知 A 的列向 量组的秩和一个特定的最大无关组, 以及 A 的其余列向量 在该最大无关组下的线性表示. 易知 b1, b2, b3, b4, b5 的秩为3, 例3 设 且有 且有 一个最大无关组为 b1, b2, b4, 因此 a1, a2, a3, a4, a5 的秩为3, 一个