在线性空间中,向量组等价以及线性相关问题