数学上不直接定义什么是零向量，而是由从一个性质：“对于任意一个向量 ，都存在一个向量 ，满足： ”来推导出零向量的存在。

当在一个空间证明出了这个向量的存在，才称这个向量为零向量。