第二章+n维向量.pptVIP

? §2.3 向量组线性相关性的等价刻画 定理2.3. 向量组?1, ?2, …, ?s线性相关 ? ?1, ?2, …, ?s至少有一个可以由其余 s?1个向量线性表示. 定理2.4. 若向量组?1, ?2, …, ?s线性无关, 而 ?1, ?2, …, ?s, ? 线性相关, 则? 一定 能由?1, ?2, …, ?s线性表示, 并且表 示的方式是唯一的. 第二章 n维列向量 ? §2.3 向量组线性相关性的等价刻画 例7. 证明: n个n维列向量?1, ?2, …, ?n线性无 关的充分必要条件是: 任何一个n维列向 量?都能由?1, ?2, …, ?n线性表示. 证明: (充分性) 任何一个n维列向量? 都能由 ?1, ?2, …, ?n线性表示? ?1 = 1 0 0 … , ?2 = 0 1 0 … , …, ?n = 0 0 1 … 都能由?1, ?2, …, ?n线性表示? n = r(?1, …, ?n) ? r(?1, …, ?n) ? n ? … 第二章 n维列向量 ? §2.3 向量组线性相关性的等价刻画 证明: (必要性) 由于n+1个n维列向量总是线 性相关的, 所以?1, ?2, …, ?n, ?线性相 关. 又因为?1, ?2, …, ?n线性无关, 根据定理 2.4可知?都能由?1, ?2, …, ?n线性表示. 第二章 n维列向量 例7. 证明: n个n维列向量?1, ?2, …, ?n线性无 关的充分必要条件是: 任何一个n维列向 量?都能由?1, ?2, …, ?n线性表示. ? §2.4 向量组的极大线性无关组 第二章 n维列向量 §2.4 向量组的极大线性无关组 一. 定义 如果向量组?1, ?2, …, ?s的部分组 满足以下列条件: , …, ? i1 ? , ? i2 ir 线性无关; , …, ? i1 (1) ? , ? i2 ir (2) ?1, ?2, …, ?s中任一向量都可由 线性表示, , …, ? i1 ? , ? i2 ir 极大线性无关组(maximal linearly independent subset). 为?1, ?2, …, ?s的一个 , …, ? i1 则称? , ? i2 ir ? ? §2.4 向量组的极大线性无关组 第二章 n维列向量 二. 有关结论 定理2.5. 秩为r的向量组?1, ?2, …, ?s一定有由 r个向量构成的极大无关组. 命题2.1. 秩为r的向量组中任何r个线性无关的 向量都构成它的一个极大无关组. ? §2.4 向量组的极大线性无关组 第二章 n维列向量 定理2.6. 一个向量组的任何两个极大无关组 都是等价的, 因而任意两个极大无关 组所含向量的个数都相同, 且等于这 个向量组的秩. 命题2.2. 一个向量组与它的任何一个极大无 关组都是等价的. ? §2.4 向量组的极大线性无关组 第二章 n维列向量 三. 计算 理论依据: (1) 命题2.1 (2) 定理1.11 (初等变换不改变矩阵的秩). 例8. 已知向量组?1, ?2, ?3线性无关, 求 ?1 ? ?2, ?2 ? ?3, ?3 ? ?1, 的一个极大无关组. ? §2.4 向量组的极大线性无关组 第二章 n维列向量 例9.设A = 3 2 0 5 0 3 ?2 3 6 ?1 2 0 1 5 ?3 1 6 ?4 ?1 4 , 求A的列向量组 的一个极大无关组. 1 6 ?4 ?1 4 0 ?4 3 1 ?1 0 0 0 4 ?1 0 0 0 0 0 解: A = 3 2 0 5 0 3 ?2 3 6 ?1 2 0 1 5 ?3 1 6 ?4 ?1 4 初等 行变换 可见A的第1, 2, 4列构成A的列向量组的一 个极大无关组. ? §2.5 向量空间 第二章 n维列向量 §2.5 向量空间 一. 向量空间(vector space)的概念 1. n维实(列)向量的全体 Rn = {(x1, x2, …, xn)T | x1, x2, …, xn?R} 关于向量(即列矩阵)的加法和数乘运算 满足如下8条基本性