updated def of vector space
updated
updated