Definition:Polish Space
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.
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