基向量的性质