如果n维基本单位向量组