real vector space