线性代数 作者 董永胜 陈元婕 第3章线性方程组.pptVIP

解： 于是得与原方程组同解方程组 （其中x3，x4为自由未知数） 考虑 相对应的齐次线性方程组 (3-14) 显然,方程组(3-14)的每一个解都是方程组(3-13)的解.而方程组 (3-13)只有零解,所以方程组(3-14)也只有零解,故此 线性无关. 定理3.2.4: 若n维向量组 线性无关， 则在每个向 量中添加m个分量, 得到的n+m维“加长”向量组 也线性无关。 定理3.2.5: 向量组 (m≥2) 线性相关的充分必要 条件是其中至少有一个向量可被其余向量线性表出. 证 必要性: 已知向量组 (m≥2), 由定义3.2.6知 有一组不全为零的数 ,使得 不妨设km≠0,则有 即 这说明 可以由其余向量线性表出. 充分性 : (m≥2) 中至少有一个向量可被其余向 量线性表出,不妨设为 ,即 移项得 因 中至少有－1不为零, 所以 线性 相关. 定理3.2.6: 向量组 (m≥2) 线性无关的充分必 要条件是其中任何一个向量都不能被其余向量线性表出. 由定理3.2.5可证得如下定理: 小结:本节介绍了向量的概念和运算,定义了向量组的线性相关 与线性无关.给出了向量组线性相关性判定方法(定理3.2.2和定 理3.2.3)及其性质(定理3.2.4-3.2.6).它是本节的重点. 要求掌握向量组线性相关与线性无关的概念及判定方法,会 判断一个向量组的线性相关性.掌握向量的常用的基本性质. 3.3向量组的秩 3.3.1等价向量组 定义3.3.1: 设两个向量组 A: B: 若组A中每一个向量 都可由组B中的向量 线性表示,则称向量组A可由向量组B线性表示. 若向量组A与B 可以互相线性表示,则称向量组A与向量组B等价(equivalence). 向量组的等价具有以下性质: (1) 反身性 每一个向量组都与自身等价. (2) 对称性 若向量组A与向量组B等价,则向量组B与向量 组A也等价. (3) 传递性 若向量组A与向量组B等价,又向量组B与向量 组C等价,则向量组A与向量组C等价. 定理3.3.1: 若向量组 中每一个向量都可由向量组 线性表出,且ts,则向量组 线性相关 . 证 由已知条件设 (i=1,2,…,s) 于是 只要 满足齐次线性方程组 (3-15) 就有 ,而方程组(3-15)只有t个方程,故 系数矩阵的秩不超过t(s),即(3-15)有非零解,所以线性相关. 推论: 若向量组 线性无关,且它可由向量组 线性表出,则s≤t . 3.3.2极大线性无关组 定义3.3.2: 设向量组 是向量组 的一个 部分组,若它满足: (1) 向量组 线性无关; (2) 向量组 中的每一个向量均可由向量组 线性表出; 则称向量组 是向量组 的一个极大线 性无关组，简称极大无关组(maximal independent system). 由定义3.3.2可得以下结论: (1) 当向量组中只包含一个零向量时,该向量组没有极大线性 无关组. (2) 若一个向量组线性无关,则它的极大线性无关组就是它本身. (3) 任何一个含有非零向量的线性相关的向量组一定有极大 线性无关组,且不一定是唯一的. 定理3.3.2: 一个向量组的任意两个极大线性无关组都是等价 的,并且它们所含向量的个数都相等. 证 设向量组 与 是向量组 的两个极大线性无关组, 可由 由定义3.3.2可知 线性表出, 因 线性无关, 根据定理 3.3.1的推论可知r≤s. 同理,因 也可由 线性表出,且 线性无关,所以有s≤r， 于是r=s。 又因为它们可以相互线性表出,故 与 等价. 定义3.3.3: 向量组的极大线性无关组中所含向量的个数称为 该向量组的秩(rank). 矩阵的列向量组的秩称为矩阵的列秩(col- umn rank of a matrix),矩阵的行向量组的秩称为矩阵的行秩(row rank of a matrix). 可以证得结论: 矩阵的列秩=矩阵的行秩=矩阵的秩. 例 设向量组 求它的秩及极大线性无关组,并把其余向量用极大线性无关组 线性表出. 解: 对 实行初等行变换 所以向量组的秩为3， 为一个极大无关组，且 小结:本节讲授了等价向量组,向量组的极大无关组,向量组的 秩,矩阵的行秩,矩阵的列秩等概念.证明了向量组线性相关性定 理(定理3.3.1)和一个向量组中两个极大无关组等价定理(定理 3.3.2).通过矩阵的行秩等于矩阵的列秩等于矩阵的秩的结论,给 出了求向量组秩的方法:以每一个向量作为一列组成矩阵,求 这个矩阵的秩即为向量组的