高等代数 (56)古今数学思想.pdf

第三章 n维向量空间 3.3 向量组的秩 3.3.4 极大无关组的性质 四、极大无关组的性质 r S T . 设含有 个向量的组 是 的一个部分向量组 S T , : 为说明 是 的一个极大无关组 根据定义需要 (1) S 线性无关; (2) T 中任意r + 1 个向量都线性相关. T r, : 为说明某向量组 的秩为 根据定义需要 找出含有 个线性无关向量的部分组 (1) r ; (2) r +1 . 证明任意 个向量都线性相关 问题: 能否研究性质找出更好的判别法? 部分无关组满足什么条件时成为极大无关组? 性质2. 向量组 是 的部分无关组 则如下等价 S : α , ... ,α T , : 1 s 是 的极大无关组 (1) S T ; (2) T S ; 与 等价 可由 线性表出 (3) T S ; (4) α , ... ,α , α 线性相关, T . 1 s 证明: 1  2 : 2  3 : 显然.     即性质1.     3  4 :     可由 线性表出 T S T α S 中向量 可由 线性表出 α 可由α , ... ,α 线性表出 α , ... ,α , α 线性相关 1 s 1 s 性质2. S : α , ... , α T , : 向量组 1 s 是 的部分无关组 则如下等价 是 的极大无关组 (1) S T ; 与 等价 (2) T S ; (3) T S ; 可由 线性表出 (4) α , ... ,α , α 线性相关, T . 1 s 4  1     只需证明 中任意 个向量线性无关 T