finite dimensional vector space