来自陈飞的问题
矩阵与向量组的关系推论3证明推论3：设向量组B是向量组A的部分组,若向量组B线性无关,且向量组A能由向量组B线性表示,则向量组B是向量组A的一个极大无关组.证明：设向量组B含有s个向量,则
矩阵与向量组的关系推论3证明
推论3：设向量组B是向量组A的部分组,若向量组B线性无关,且向量组A能由向量组B线性表示,则向量组B是向量组A的一个极大无关组.
证明：设向量组B含有s个向量,则它的秩为s,因向量组A能由向量组B线性表示,故r(A)
