向量组a1,a2,---ak可用向量组b1,b2---bL线性表示所以 存在矩阵P, 满足 (a1,a2,---ak) = (b1,b2---bL)P.所以 r(a1,a2,---ak) = r[(b1,b2---bL)P] <= r (b1,b2---bL)