finite-dimensional vector space