赵树嫄-线性代数-第三章 线性方程组.pptVIP

第三章 第一节 线性方程组的消元解法 第二节 向量与向量组的线性组合 (二) 向量组的线性组合 第三节 向量组的线性相关性 (二) 关于线性组合与线性相关的定理 第四节 向量组的秩 (二) 向量组的秩 第五节 线性方程组解的结构 (一)齐次线性方程组解的结构 (二)非齐次线性方程组解的结构 END 习题选解 定义 如果满足： 若(*)只有零解，则基础解系不存在。 基础解系即为全体解向量组的极大无关组。 定理 证略 下面举例说明基础解系的求法。 例 求下面齐次线性方程组的一个基础解系，并用基础解系表示出全部解。 解 自由未知量取为 基础解系: 解 例 求下面齐次线性方程组的一个基础解系： 自由未知量取为 解 (2) 由于有三个三维向量，直接求行列式 例 设 解 (3) 因为向量组的个数多于维数，则必线性相关， 例 设 定理 证 使 则 定理 证 再证表法唯一。 设有两种表示法， 即表法唯一。 证 定理 定理 证 设 均为同维列向量，且有 写成矩阵形式 上式可写为 考察齐次线性方程组 因为 所以 必有非零解 推论1 定理 由上述推论知， 推论2 两个线性无关且彼此等价的向量组，必含有相同个数的向量. 证 且彼此等价， (一) 向量组的极大无关组 一个向量组的一个部分组称为一个极大(线性)无关组,如果它是线性无关的,但再任意添一个向量(如果还有的话)所得向量组线性相关。 定义 一个线性无关的向量组, 它的极大无关组就是它本身。 任何一个向量组, 只要它含有非零向量, 就一定有极大无关组。 ? ? 例如，设有向量组 一个向量组的任一极大无关组与该向量组本身等价. 定理 证明 首先, (Ⅱ)是(Ⅰ)的部分组, 当然可以被(Ⅰ)线性表出. 其余的向量 定理 一个向量组的任一极大无关组与该向量组本身等价. 定理 证明 首先, (Ⅱ)是(Ⅰ)的部分组, 当然可以被(Ⅰ)线性表出. 其余的向量 从而 (Ⅰ) 可由(Ⅱ) 线性表出. 因此 (Ⅰ) 与(Ⅱ) 等价. 由等价的传递性可知, 一个向量组的任两个极大无关组彼此等价, 由前面推论2可知, 两个线性无关且彼此等价的向量组，必含有相同个数的向量. 由等价的传递性可知, 一个向量组的任两个极大无关组彼此等价, 由前面推论2可知, 向量组任意两个极大无关组所包含的向量个数相同。 向量组 的任一极大无关组所包含的向量的个数称为向量组的秩，记为 定义 规定：只含零向量的向量组的秩为零. 自身,因此 反之,若 定理 由于向量组的极大无关组与该向量组本身等价, 证 定理 证 由于向量组的极大无关组与该向量组本身等价, 推论 等价的向量组必有相同的秩。 注意：上述推论的逆命题不成立，即秩相等的两个向量组未必等价。 (三) 矩阵的秩与向量组的秩的关系 定义 矩阵的行向量组的秩称为矩阵的行秩; 矩阵的 列向量组的秩称为矩阵的列秩。 定理 矩阵的行秩 矩阵的列秩 矩阵的秩。 = = 证略 由此，将向量组的秩的计算，转化为矩阵的秩的计算。 基本问题： 给定一个向量组，求它的一个极大无关组，并将其余向量用这个极大无关组线性表示。 例 求下面向量组的秩和一个极大线性无关组，并将其余向量用此极大线性无关组线性表示。 解 将向量按列拼成矩阵，只做行变换，化为阶梯形 秩为2。 解 例 设向量组 求一个极大无关组，并将其余向量用这个极大无关组线性表示。 解 练习 设向量组 求一个极大无关组，并将其余向量用这个极大无关组线性表示。 秩为 2。 定理 设矩阵A,B可以相乘,则有 证 即AB的每个列向量是A的列向量组的线性组合, 若向量组(Ⅰ)能被向量组(Ⅱ)线性表出, 则秩(Ⅰ) 秩(Ⅱ). 另一方面， 定理 设矩阵A,B可以相乘,则有 证 即AB的每个列向量是A的列向量组的线性组合, 推论 若P,Q为可逆矩阵,则有 证 或用“初等变换不改变矩阵的秩”来证明。 例 证 所以A可逆， 有相同的秩。 在有解的情况下， 第一节中给出结论： 其中A为m?n矩阵， 为增广矩阵。 当线性方程组有无穷多解的情况下，希望用有限个解表示出来。 由解的判别定理知，(*)只有零解当且仅当 (*) 有非零解(即无穷多解)当且仅当 齐次线性方程组解的性质： 证明 证明 (一) 向量及其线性运算 定义 行向量 列向量 或 向量可视为特殊的矩阵, 因此, 向量的相等的概念与矩阵完全相同： 分量全部为零的向量称为零向量，记为 0 或 。 向量的加减法、数乘等概念与矩阵完全相同。 则 加法 数乘 向量的加法和数乘运算，统称为向量的线性运算。 向量的