Locally convex vector space