32向量组秩和最大无关组.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, 则有 AT(Ax) = 0, 即 (ATA)x = 0; 若 x 满足 (ATA)x = 0, 则有 xT(ATA)x = 0, (Ax)T(Ax) = 0, 设 aT = (a1,…, an ), 则 提示: 综上可知 Ax = 0 与 (ATA)x = 0 同解, 从而 Ax = 0. 例2 证明 设其解集为 S, x 为 n 元未知量, 则有 初等行变换保持矩阵的列向量组的线性关系. 证明 设矩阵 A 经初等行变换化为矩阵 B. 设矩阵 A 的列向量组有一线性关系 因为矩阵 A 与 B 行等价, 所以 Ax = 0 与 Bx = 0 同解, 由此可知也有 定理1 记 定理1 初等行变换保持矩阵的列向量组的线性关系. 例3 设 的秩为3, 一个最大无关组为 易知 且有 的秩为3, 一个最大无关组为 因此 且有 行最简形矩阵的秩等于它的列向量组的秩. 矩阵的秩等于它的(行)列向量组的秩. 注: R(a1,…, am) 既表示向量组的秩, 也表示矩阵的秩. 秩与最大无关组的一个算法 例3 设 的秩为3, 一个最大无关组为 易知 且有 的秩为3, 一个最大无关组为 因此 且有 化矩阵 A为行最简形 A0, 通过观察 A0, 便知 A的列向量组的秩和一个特定的最大无关组, 以及 A的其余列 向量在该最大无关组下的线性表示. 解 一个最大无关组为 且有 例4 设 (1) 求 a1, a2, a3, a4, a5 的秩和一个最大无关组; (2) 求其余向量在此最大无关组下的线性表示. 矩阵 (a1, a2, a3, a4, a5) 的行最简形为 a1, a2, a3, a4, a5 的秩为3, 若向量组 B 中的任一向量都可由向量组 A 中