基础解系就是齐次线性方程组【Ax=0】的所有的解的一个极大无关组基础解系中向量的个数为 n-r(A)，B的列向量都是Ax=0的解，所以B的列向量中线性无关的向量个数【r（B）】应该小于等于基础解系中向量的个数【n-r(A)】
