Vector spaces

Starting (at least for now) linear algebra from the very beginning, we'll talk about what a vector (and a vector space) is.