Polish space

(redirected from Polish metric space)

Polish space

[′pōl·ish ′spās]
(mathematics)
A separable metric space which is homeomorphic to a complete metric space.
References in periodicals archive ?
He also explains classifications by using Polish metric spaces as examples, provides a summary of benchmark equivalence relations, and explains Gandy-Harrington topology in an appendix.