vector space dimension