Definify.com

Definition 2024

Polish_space

Polish space

English

Noun

Polish space ‎(plural Polish spaces)

(topology) A separable, completely metrizable topological space
$\mathbb {R} ^{n}$ is a Polish space