第四节向量组的极大线性无关组.pptVIP

§3.4 向量组的极大线性无关组 这一节将在上一节建立的概念基础上，转 而讨论 中两个向量组 ， 之间的关系。从理论上研究在一向量组中，哪 些向量在线性组合的意义上“独立”,即线性无关。 3.4.1 等价的向量组 定义3.5 若向量组 中的每一个向量都可由 向量组 线性表示，则称向量组 可由向量组 线 性表示。若向量组 和向量组 可互相线性表示， 则称两个向量组等价。 向量组 可由向量组 线性表示是指： ， 由矩阵分块运算，上述 个式子可表示为 ， 即向量组 可由向量组 线性表示等价于存在 矩阵 ，使 （3.8） 当 是 中的列向量时，（3.8）式是一个矩阵方程。若 和 等价，则存在矩阵 和 使下列两式同时成立： 向量组的等价关系具有下列三个性质： （1）自反性： 一个向量组与其自身等价； （2）对称性：若向量组 和向量组 等价，则 向量组 和向量组 也等价； （3）传递性：若向量组 和向量组 等价，若 向量组 和 等价，则向量组 和 等价。 例8 取 中向量 和 ， 其中 ， 。则向量组 和向量组 等价。 证 首先 ，即 是 的一个部分组，因此 可由 线性表示， 如 ; 又 ， 所以 又可由 线性表示，故向量组 和向量组 等价。 定理3.3 设 中两个向量组 , ，若向量组 可由 线性表示， 且 ，则向量组 线性相关。 作为定理3.3的逆否命题，我们有 推论1 若向量组 可由向量组 线性表示，而 线性无关，则有 。 如果推论1中的两个向量组等价，又均是 线性无关的向量组，则由推论1， 且 ， 从而有 。故有： 推论2 若两个线性无关的向量组等价，则 它们所含的向量个数相等。 3.4.2 向量组的极大线性无关组 定义3.6 若向量组 的一个部分组 满足 （1） 线性无关； （2）向量组 中每一个向量均可由 线性表示，则称 是向量组 的一个 极大线性无关组。 注意到 ，所以 可由 线性表示，故 的极大线性无关组是 中的和 等价的一个线性无关组。又任取 中的一个不 属于向量组 的向量 （若有的话）， 由 是 的线性组合，可知 线性相关，故向量组 中加进 中任何 的一个其他的向量，则变为线性相关组。这说 明 是按线性无关的性质 ，在 中能 取到一个含向量数目最大的向量组。 例9 求向量组 的极大线性无关组。 解 ，故部分组 线性无关。又 和 对应 的分量不成比例，所以部分组 线性无关。 又 ，故 线性无关,从而 是向量组的极大线性无关组。同理可验证， 也是向量组的极大线性无关组。由此可见 ，向量组的极大线性无关组不是唯一的。 例10 求向量组 的一个极大线性无关组。