definition of vector space needs no commutativity


In the definition of vector space (http://planetmath.org/VectorSpace) one usually lists the needed properties of the vectoral additionPlanetmathPlanetmath and the multiplication of vectors by scalars as eight axioms, one of them the commutative law

u+v=v+u.

The latter is however not necessary, because it may be proved to be a consequence of the other seven axioms.  The proof can be based on the fact that in defining the group (http://planetmath.org/Group), it suffices to postulateMathworldPlanetmath only the existence of a right identityPlanetmathPlanetmath element and the right inversesMathworldPlanetmath of the elements (see the article “redundancy of two-sidedness in definition of group (http://planetmath.org/RedundancyOfTwoSidednessInDefinitionOfGroup)”).

Now, suppose the validity of the seven other axioms (http://planetmath.org/VectorSpace), but not necessarily the above commutative law of addition.  We will show that the commutative law is in force.

We need the identityPlanetmathPlanetmath(-1)v=-v  which is easily justified (we have 0=0v=(1+(-1))v=).  Then we can calculate as follows:

v+u =(v+u)+0=(v+u)+[-(u+v)+(u+v)]
=[(v+u)+(-(u+v))]+(u+v)=[(v+u)+(-1)(u+v)]+(u+v)
=[(v+u)+((-1)u+(-1)v)]+(u+v)=[((v+u)+(-u))+(-v)]+(u+v)
=[(v+(u+(-u)))+(-v)]+(u+v)=[(v+0)+(-v)]+(u+v)
=[v+(-v)]+(u+v)=0+(u+v)
=u+v

Q.E.D.

This proof by Y. Chemiavsky and A. Mouftakhov is found in the 2012 March issue of The American Mathematical Monthly.

Title definition of vector space needs no commutativity
Canonical name DefinitionOfVectorSpaceNeedsNoCommutativity
Date of creation 2015-01-25 12:26:14
Last modified on 2015-01-25 12:26:14
Owner pahio (2872)
Last modified by pahio (2872)
Numerical id 5
Author pahio (2872)
Entry type Feature