The document provides an overview of vector spaces and related concepts:
(1) Historically, ideas around vector spaces date back to the 17th century but received a more abstract treatment in 1888 by Giuseppe Peano. Key developments include Grassmann introducing vector spaces in 1844 and Peano providing a definition of vector spaces and linear maps.
(2) A vector space is a set that is closed under vector addition and scalar multiplication. It allows objects called vectors to be added and multiplied by numbers called scalars. Real numbers are often used as scalars but other fields can also be used.
(3) For a set to be a vector space, the basic operations of vector addition and scalar multiplication must satisfy