Definition:Polish Space

From ProofWiki
Jump to: navigation, search

Definition

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