Definition:Polish Space

From ProofWiki
Jump to navigation Jump to search

Definition

A Polish space is a topological space which is separable and metrizable, with a metric that makes it a complete metric space.