负向量是唯一的.

以后把 的负向量记作 .

证明 设 都是 的负向量. 我们有

这里各等号成立的依据依次为定义 1.1 的 和 (3)