rkmurtyp, I strongly recommend you read the rules of this site. When you argue against the uniqueness of the zero vector you are, perhaps unknowingly, violating the rules of this site. If you are doing this knowingly you will not last long here. Our fundamental goal at this site is to help students learn. That's a bit tough when the student is being obstinate. This obstinacy is your main problem. It is keeping you from learning.
Here are the rules for what it means for something to be a vector. An element of a set
V is a vector
v (and the set
V is a vector space) if the set is endowed two operations, addition of elements of
V and scalar multiplication by an element of a field
F, and if the set has an additive identity
0, subject to the following:
- Vector addition must be:
- Closed: u+v is an element of V for all u, v in V,
- Commutative: u+v = v+u for all u, v in V, and
- Associative: (u+v)+w=u+(v+w) for all u, v, w in V.
- 0 is an additive identity: v+0=v for all v in V.
- Every vector v in V has an additive inverse: v+(-v)=0.
- Scalar multiplication must be:
- Closed: av is an element of V for all a in F and all v in V,
- Associative: a(bv)=(ab)v for all a, b in F and all v in V,
- Distributive: a(u+v)=au+av and (a+b)v=av+bv for all a, b in F and all u, v in V.
- The field's multiplicative identity is a multiplicative identity for scalar multiplication: 1v=v.
Note well: The concept of magnitude (or length) and direction is not in the above list. Nor is the concept of an inner product (or dot product). The existence of these concepts are not necessary conditions for something to qualify as a "vector". On the other hand, the existence of a (unique) zero vector is essential.
The zero vector is provably unique. Assume there exists some vector
0'≠
0 that also satisfies condition #2. Now consider the sums
0+
0' and
0'+
0. By condition #2,
0+
0'=
0 and
0'+
0=
0'. Since addition is commutative,
0+
0'=
0'+
0. This means
0'=
0, which violates the assumption that
0'≠
0. This is a contradiction, and hence the assumption that there exists some some vector
0'≠
0 that also satisfies condition #2 is false. In other words,
0 is unique.
The naive definition of a vector as something with length and direction is a specialization of the general concept of a vector. When you look at vectors from this narrower perspective, the zero vector is still there, and it is still unique. For vector spaces that have this concept of length and direction, the zero vector has a well defined length (0), but its direction is necessarily undefined.