这是极大无关组的定义
极大无关组是一个线性无关的部分组,向量组中任一向量都可由它线性表示
所以它与向量组等价.
事实上,极大无关组是与向量组等价的含向量个数最少的一个向量组