In this course we take an axiomatic approach in defining a vector space. Functions on vector spaces are then defined. Various other spaces are defined such as innerproducts and eigenspaces. The course will be take a formal approach, containing definitions, theorems, lemmas and proofs. Examples will be interspersed throughout.