r(b)≤r(a,b)这个是矩阵秩的性质,书上的定理。用秩的定义理解一下就很明显了,因为b的子式都是(a,b)的子式。最后这一行r(b)≤r(a),就是上面两行结论的推导:r(b)≤r(a,b)=r(a)
B可由A线性表示<=>R(A)=R(A,B)--这个应该是已知结论,事实上,此时A的极大无关组也是A,B的极大无关组同理有A可由B线性表示<=>R(B)=R(A,B)综合就有向量组A与向量组B等价<=>R(A)=R(B)=R(A,B)