A complete metrisable locally-convex topological vector space whose topology is generated by a countable family of seminorms. Example: C^∞(ℝ) with seminorms sup over compact subsets of each derivative.
A complete metrisable locally-convex topological vector space whose topology is generated by a countable family of seminorms. Example: C^∞(ℝ) with seminorms sup over compact subsets of each derivative.