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 addition and the multiplication of vectors by scalars as eight axioms, one of them the commutative law
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 postulate only the existence of a right identity element and the right inverses 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 identity which is easily justified (we have ). Then we can calculate as follows:
This proof by Y. Chemiavsky and A. Mouftakhov is
found in the 2012 March issue of The American Mathematical
|Title||definition of vector space needs no commutativity|
|Date of creation||2015-01-25 12:26:14|
|Last modified on||2015-01-25 12:26:14|
|Last modified by||pahio (2872)|