1

So I have following axioms. $$\begin{array} &[A_1]&(u+v)+w=u+(v+w) \\ [A_2] & u+0=0+u=u \\ [A_3] & u+(-u) =(-u)+u=0 \\ [A_4] &u+v=v+u\end{array} $$

$u,v\in V$, a vector space and $0$ is the zero element. I want to prove axiom 4 using others. Here is my proof, I wanted to know if I made unnessary steps. $$u=u \\ u+v+(-v)=(-v)+v+u \\ (u+v)+(-v)=(-v)+(v+u) \\ \implies [(u+v)+(-v)]+[-((-v)+(v+u))]=0 \\ (u+v)+(-(v+u))=0 \\ u+v=v+u$$

And here I have taken $-(-v)=v$ which can be proved seperately without using $A_4$.

Sonal_sqrt
  • 4,781
  • So what you have done here is that you have proven every group is abelian which is not correct. In the first implication you have added $(v + (-v))$ at one side from the right and the other from the left which you need A4 to do that. – Ldddd Jun 12 '18 at 09:50
  • sorry I incorrectly wrote $A_3$, i have used $A_2, A_3$ – Sonal_sqrt Jun 12 '18 at 09:52
  • As noted, this is not true for groups, so you need to use the scalar multiplication of your vector space; and in fact you did use it at some point. – Arnaud D. Jun 12 '18 at 09:57
  • In the implication from the 4th equality to the 5th equality you have used: $-((-v) + (v + u)) = -(-v) - (v +u)$ which you need A4. Because without A4 you would have $-((-v) + (v + u)) = - (v +u) - (-v)$ which then you can't cancel out the $v$'s. – Ldddd Jun 12 '18 at 09:59
  • See also https://math.stackexchange.com/questions/2378891/sufficient-conditions-for-proving-v-is-a-vector-space – lhf Jun 12 '18 at 13:25

3 Answers3

4

Here is the usual proof. It uses distributivity.

$(1+1)(u+v) = (1+1)u + (1+1)v = u + u + v + v$

$(1+1)(u+v) = 1(u+v) + 1(u+v) = 1u + 1v + 1u +1v = u + v + u + v$

Therefore, $u + u + v + v = u + v + u + v$.

Now add $-u$ on the left of both expressions and $-v$ on the right to conclude $u+v=v+u$.

Note how associativity is used everywhere.

lhf
  • 221,500
2

Be very careful about trying to prove an axiom from others in the list; we usually make it as long as it is because they're all needed.

You shouldn't be able to prove axiom 4 from axioms 1-3. After all, the multiplication of non-singular square matrices is associative with an identity element and inverses, but axiom 4 is the only one on the list it doesn't satisfy.

So your argument must have a flaw, and a comment by Shervin Sorouri has already identified it.

J.G.
  • 118,053
  • The first comment is actually wrong (at least now that the question has been edited): for the first step OP adds $(v+(-v))$ on one side and $(-v)+v$ on the other, and since both are equal to $0$ this doesn't change anything. – Arnaud D. Jun 12 '18 at 10:00
  • @Arnaud my second comment. – Ldddd Jun 12 '18 at 10:01
  • @ShervinSorouri based on timing, I think J.G. was talking about your first one. I actually agree your second comment, but I don't consider that it is a mistake (in this context) – Arnaud D. Jun 12 '18 at 10:03
  • @Arnaud Yeah, if he assumes scalar multiplication and proves $-1(a) = -a$ then he's ok i think. – Ldddd Jun 12 '18 at 10:05
2

Your mistake is in assuming $-(a+b) = -a-b$, which isn't true in general.

However, if you add A5: $\lambda (x+y) =\lambda x+ \lambda y$ for $\lambda \in K$ ($K$ is the underlying field) and $x,y\in E$, and A6: $1_Kx = x$, and A7 $(\lambda +\mu)x= \lambda x+\mu x$ for $\lambda, \mu \in K$ and $x\in E$ then you can prove A4 from the rest, because then :

$0_Kx = 0_E$: indeed $0_Kx = (0_K+0_K)x= 0_Kx+0_Kx$ hence $0_Kx= 0_E$

$-x = (-1_K) x$: indeed $x+(-1)x = 1_Kx+(-1_K)x = (1_K-1_K)x= 0_Kx = 0_E$

$-(u+v) = -u-v$: follows from A5 and the previous line

$u+v= v+u$: $u+v -(v+u) = u+v -v-u = u-u = 0_E$.

As the other answers and comments mentioned, you can't prove A4 from A1, A2,A3 because that would mean any group is abelian, which is clearly not true (the group of permutations on more than $3$ elements is not abelian for instance, but also the group of affine invertible transformations of the euclidean plane, etc. there are many examples)

A5,A6 and A7 are axioms that are specific to vector spaces that make it so that indeed, you can prove A4 from the rest; but they add a specific structure to the group.

Maxime Ramzi
  • 45,086