2019年最新-3向量组的极大无关组-精选文档.ppt

信息系 刘康泽 信息系 刘康泽 第 3 - 3 节 向量组的极大无关组 信息系 刘康泽 一、向量组的极大无关组 【定义】 设向量组 ? 1 , ? 2 , , ? m 及它的一个部分组 ? i , ? i , , ? i r ( r ? （ 1 ） ? i , ? i , 1 2 1 2 s ) 满足下述条件： , ? i r 线性无关； （ 2 ）任何添加一个向量 ? j 到 ? i 1 , ? i 2 , 这 r ? 1 个向量 ? i 1 , ? i 2 , , ? i r 中，则 , ? i r , ? j 都线性相关。 则称部分组 ? i 1 , ? i 2 , , ? i r 为向量组 ? 1 , ? 2 , , ? m 的一个极大线性无关组，简称为极大无关组。 信息系 刘康泽 1 0 1 2 ? ? ? ? ? ? ? ? 例 设 ? , 2 ? , 3 ? , 4 ? ， 例 如 1 , 1 ? ? ? ? ? ? ? ? 0 1 1 2 ? ? ? ? ? ? ? ? 则 ： , 构 成 , , , 的 极 大 无 关 组 ， 1 2 1 2 3 4 ? ? ? ? ? ? ? ? ? ? ? ? , ,,, 24 1 234 ? ? ? ? ? ? ? 中 的 任 意 一 个 向 量 都 可 以 由 ? , ? , , ? 线 性 表 示 。 【 注 2 】 定 义 中 的 条 件 ( 2 ) 还 可 以 改 叙 为 ： ? , ?? , , 【 注 1 】 定 义 中 的 条 件 ( 2 ) 可 以 改 叙 为 ： , 2 , , m 1 i 1 i 2 i r 1 2 m ? ? ? ? ? ? ? , ? 线 性 相 关 。 3 4 ? , ? 也 构 成 ? ,,, ? ? ? 的 极 大 无 关 组 等 等 。 也 构 成 的 极 大 无 关 组 ； 23 1 234 但 是 , 4 不 构 成 , , 3 , 4 的 极 大 无 关 组 ， 因 为 3 12 中 的 任 意 r ? 1 个 向 量 都 线 性 相 关 。 信息系 刘康泽 【 注 3 】 向 量 组 的 极 大 无 关 组 不 一 定 唯 一 。 【注 4 】 当向量组 ? 1 , ? 2 , , ? m 线性无关时，则极 大无关组就是其自身；反之亦然。 【定理 1 】 向量组与它的极大无关组可以互为线性 表示，即向量组与它的极大无关组等价。 证明 设向量组（Ⅰ） ? 1 , ? 2 , , ? s ； 不妨设它的一个极大无关组是 （Ⅱ） ? 1 , ? 2 , , ? r ? r ? s ? 。 显然极大无关组（Ⅱ）可由向量组（Ⅰ）线性表示； 又由极大无关组的定义知，向量组（Ⅰ）中的任意 一个向量都可由它的极大无关组 （Ⅱ） 线性表示， 即 （Ⅰ） 与（Ⅱ）可以互为线性表示，从而它们等价。 信息系 刘康泽 【推论 1 】 向量组的任意两个极大无关组等价。 证明 若向量组（Ⅱ）和（Ⅲ）都是向量组（Ⅰ） 的极大无关组，则（Ⅱ）和（Ⅲ）都与（Ⅰ）等价，根 据向量组等价关系的传递性，可知（Ⅱ）和（Ⅲ）等 价。 【推论 2 】 向量组 ? 1 , ? 2 , 无关组所含向量的个数相同。 , ? m 的任意两个极大 ? ?? ? ? ? 都 是 ? , ?? , , 的 极 大 无 关 组 ， 1 2 m 证 ： 设 , , , ( Ⅰ ) 和 , , , ( Ⅱ ) i i i j j j 1 2 r 1 2 s 首先，由于（Ⅰ）线性无关，且（Ⅰ）可由（Ⅱ） 线性表示，则 r 剆 s ； 信息系 刘康泽 同理，由于（Ⅱ）线性无关，且（Ⅱ）可由（Ⅰ） 线性表示，则 s 剆 r 。 由此 r ? s 。 由 定 理 1 可 知 ： 向 量 组 的 极 大 无 关 组 所 含 向 量 的 个 数 是 向 量 组 的 一 个 不 变 数 值 特 性 。 由 此 有 如 下 定 义 ： 信息系 刘康泽 二、向量组的秩 , ? m 的极大无关组中所 含向量的个数为该向量组的秩，记为 r ( ? 1 , ? 2 , , ? s ) 。 【注 1 】 由零向量组成的向量组没有极大无关组， 规定 r (0,0, ,0) ? 0 ；