向量组秩的性质