B是m×n矩阵,BX = 0的解就是使得B的列向量线性组合得0的组合系数.
因此BX = 0只有零解,等价于B的列向量线性无关,等价于B的列秩为n,即r(B) = n.
也可以有别的说法,例如由BX = 0的解空间维数为n-r(B).