两个向量组成相同子空间的充要条件