Infinite-dimensional vector space