A Polish space is a completely metrizable topological vector space X = (X, τ) which is separable relative to τ. In particular, a topological space X is Polish if and only if it is homeomorphic to a complete metric space M = (M, d) where M has a countable subset which is dense relative to d.

Baire space | compactly generated space | complete space | Lusin space | metrizable space | pseudo-complete space | pseudo-metrizable space | quasi-complete space | Radon space | separable space | sequentially complete space | Suslin space

A^1(D, dλ^2) | A^2(D, dλ^2) | A^ formal p (D, dλ^2) | H_2^ formal s (R^n, dx^n) | H_ formal p ^ formal s (R^n, dx^n) | ℬ(D, dλ^2) | C^0([a, b]) | C^∞([a, b]) | C^ formal k ([a, b]) | C^0(R^n) | C^∞(R^n) | C^ formal k (R^n) | CMO(R^n, dx^n) | a^1(D, dλ^2) | a^2(D, dλ^2) | a^ formal p (D, dλ^2) | ℬ^h(D, dλ^2) | h^2 | h^ formal p | ℬ_0^h(D, dλ^2) | ...

Alfred Tarski | Kazimierz Kuratowski | Wacław Sierpiński

François Trèves. Topological Vector Spaces, Distributions and Kernels. p. 549, 1967.