math.la.d.vec.scalar.mult.arb
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.