Solution.
(a) If , then .
We know by that there is an additive inverse . Then
(b) If , then .
Now suppose that we have . Then by (a1), we see that . Now, it follows from (a) that .
(Alternatively, you may prove this just like part (a).)
(Alternatively, you may prove this just like part (a).)
(c) The zero vector is unique.
Suppose that is another zero vector satisfying axiom (a3). That is, we have for any . Since is also satisfy , we have
Now by the cancellation law (see (b)), we obtain .
Thus, there is only one zero vector .
(d) For each , the additive inverse is unique.
Since is the additive inverse of , we have . (This is just (a4).)
Now, suppose that we have a vector satisfying . So, is another element satisfying axiom (a4).
Then we have
Now, suppose that we have a vector satisfying . So, is another element satisfying axiom (a4).
Then we have
(e) for every , where is the zero scalar.
Note that is a real number and is the zero vector in . For , we have
We also have
(f) for every scalar .
Note that we have by (a3).
Thus, we have
Thus, we have
We also have
(g) If , then or .
For this problem, we use a little bit logic. Our assumption is . From this assumption, we need to deduce that either or .
Note that if , then we are done as this is one of the consequence we want. So, let us assume that . Then we want to prove .
Since is a nonzero scalar, we have . Then we have
Note that if , then we are done as this is one of the consequence we want. So, let us assume that . Then we want to prove .
Since is a nonzero scalar, we have . Then we have
The right hand side is by part (f).
On the other hand, the left hand side can be computed as follows:
Therefore, we have .
Thus, we conclude that if , then either or .
(h) .
Note that is the scalar product of and . On the other hand, is the additive inverse of , which is guaranteed to exist by (a4).
We show that is also the additive inverse of :
We show that is also the additive inverse of :
So is the additive inverse of . Since by part (d), we know that the additive inverse is unique, it follows that .




0 Comments