Dimension of a vector space