线性代数课件-3.3向量组的秩.pptVIP

§3·3 向量组的秩 秩 一、极大线性无关组 例1 对 思考：已知向量组 二、等价 【例如】任一n维向量组 都可由 n维单位向量组 线性表示。 等价的性质： （1）反身性：任一向量组与自身等价。 三、重要结论 推论：同一向量组的任意两个极大无关组等价。 定理3·8 若向量组 可由向量组 定理3·8 若向量组 可由向量组 推论4 向量组 的任意两个极 大无 关组所含向量个数相同。 四、向量组的秩 例如： 【例4】试证：若向量组 可由向量组 线性表示，则 定理3·9 若向量组 与向量组 等价，则它们的秩相同。 本节主要概念： 4、向量组的秩 推论：同一向量组的任意两个极大无关组等价。 定理3·8 若向量组 可由向量组 定理3·9 等价向量组有相同的秩。 主要结论： 判断题： 充分性　 ≌ 1、极大无关组： 满足： 是向量组 的一个极大线性无关组 （1） 是 的部分组 （3）任意r+1个向量构成的部分组线性相关， （2） 线性无关 2、向量组的线性表示： 设有两个向量组 若向量组 A 中的每一个向量都可以由向量组 B 线性表示,则称向量组 A 可由向量组 B 线性表示 若向量组 和向量组 可以互相线性表示，则称两向量组等价。记为 ≌ 3、等价 向量组 的极大无关组所含向量的个 数，称为向量组的秩。 记为 主要定理： 定理3·7 向量组 和它的极大无关组 等价。 ≌ 线性表示，且m s, 线性相关。 则向量组 线性表示,且向量组 则m≤s。 线性无关， 推论1 若向量组 可由向量组 推论2 两个等价的线性无关的向量组 所含向 量个数相同。 推论3 任意n+1个（或更多）n维向量构成的向 量组线性相关 推论4 向量组 的任意两个极 大无 关组所含向量个数相同。 比较定理3·8的推论2 两个等价的线性无关的向量组 所含向 量个 数相同。 1、线性无关的向量组的极大无关组为该向量 组本身。 2、向量组 线性无关的充要条件是 3、若向量组 可由向量组 线性表示，则 * 向量组的秩 矩阵的秩 在其线性无关的部分组中，哪一个部分 组含 向量个数最多？有几个向量？ 问题： 对一个向量组 讨论其线性无关的部分组 由一个向量构成的部分组： 相关 无关 无关 无关 由两个向量构成的部分组： 无关 无关 无关 相关 相关 相关 由三个向量构成的部分组： 相关 相关 相关 相关 由四个向量构成的部分组： 相关 极大线性无关组 满足： 是向量组 的一个极大线性无关组 （1） 是 的部分组 （3）任意r+1个向量构成的部分组线性相关， （2） 线性无关 定义3·8 设 是向量组 的一个线性无关的部分组，若r已达到最大可能，即若r个向量以外向量组中还有向量，那么任意r+1个向量构成的部分组线性相关，则称 为向量组 的一个极大线性无关组，简称极大无关组。 性质：一个线性无关的向量组的极大无关组为 该向量组本身。 例如：n维单位向量组 的极大无关 组为该向量组本身。 问： （1） 是不是向量组 的一个极大无关组 （2） 是不是向量组 的一个极大无关组 （3） 是不是向量组 的一个极大无关组 （4） 是不是向量组 的一个极大无关组 不是 是 线性无关 且 线性相关 是 因为 是 定义3·9 设有两个向量组 若向量组 A 中的每一个向量都可以由向量组 B 线性表示，则称向量组 A 可由向量组 B 线性表示 即 对每一个 ，都存在一组数 使 则向量组 A 可由向量组 B 线性表示 证明：设 则 A 可由 B 线性表示即： B 可由 C 线性表示即： 于是 故向量组 A 可由向量组 C 线性表示 定理3·6 若向量组 A 可由向量组 B 线性表示，向量 组 B 可由向量组 C 线性表示,则向量组 A 可由向量组 C 线性表示。 传递性 定义3·10 设有两个向量组 若向量组 A 和向量组 B 可以互相线性表示， 则称向量组 A 与向量组 B 等价。 ≌ 例如：向量组 与向量组 等价 显然， 可由 线性表示 且 即 可由 线性表示 故 ≌ （2）对称性：若 （3）传递性：若 ≌ ≌ ≌ ≌ ≌ ≌ 定理3·7 向量组 和它的极大无关组 等价。 证明： 的每一个向量都在 中 得： 可由 线性表示 因为 是 的部分组， 由§3·2的例5 ≌ 下证 可由 线性表示 对向量组 中的任一向量 ， 若 在 中， 则 可由 线性表示 若 不在 中， 考虑部分组 由极大无关组的定义知： 线性无关， 而部分组 线性相关。 由定理3·3知： 可由 线性表示 因此 可由 线性表示 ≌ 定理3·7 向量组 和它的极大无关组 等价。 ≌ 即 若 和 是向量组 的两