空间向量的维数定义