 Zero vector

The zero vector of a vector space is its additive identity: $v+0=0+v=v$ for every vector $v$. It is unique, because if $0^{\prime }$ is another such identity then $0=0+0^{\prime }=0^{\prime }$. Distributivity gives $\alpha 0=\alpha (0+0)=\alpha 0+\alpha 0$, so $\alpha 0=0$ after cancellation. In a coordinate vector space it has every coordinate zero.