Polish space

Noun

(topology) A separable, completely metrizable topological space

Japanese Meaning

可分かつ完全に距離で計量化可能な位相空間

Every uncountable Polish space contains a perfect subset.

非可算の可分で完全に距離化可能な位相空間は必ず完全部分集合を含む。

Sense（1）

(topology) A separable, completely metrizable topological space

ℝⁿ is a Polish space

Polish spaces

（ plural ）