定义 5.1. 极大线性无关组

定义 5.1. 极大线性无关组

若一个向量组的一个部分组线性无关, 但将原向量组的其余向量 (若还有) 添加进去后所得的部分组线性相关, 则称这个部分组是原向量组的极大线性无关组.