向量的减法定义