dimension of a vector space