Definition of a (real) vector space; properties of the zero vector and the additive inverse in relation to scalar multiplication