Definition:Polish Space

Definition

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

Also see

• Results about Polish spaces can be found here.

Sources

• 2013: Donald L. Cohn: Measure Theory (2nd ed.) ... (previous) ... (next): $8.1$: Polish Spaces