Locally convex topological vector space