行列向量组满秩