定义设S是一个n维向量组,α1,α2,...αr 是S的一个部分组,如果(1) α1,α2,...αr 线性无关；(2) 向量组S中每一个向量均可由此部分组线性表示,那么α1,α2,...αr 称为向量组S的一个极大线性无关组,或极大无关组.
