math.la.t.vsp.vector.negative
Definition of a (real) vector space; properties of the zero vector and the additive inverse in relation to scalar multiplication
In this section we present a formal definition of a vector space, which will lead to an extra increment of abstraction. Once defined, we study its most basic properties.