Polish space

Equivalently, a topological space is a Polish space if it is separable and completely metrizable.

Examples of Polish spaces are the euclidean space n (with the usual topology), the Cantor space, and the Baire spacePlanetmathPlanetmath (http://planetmath.org/BaireSpace2).

Title Polish space
Canonical name PolishSpace
Date of creation 2013-03-22 14:59:18
Last modified on 2013-03-22 14:59:18
Owner Koro (127)
Last modified by Koro (127)
Numerical id 5
Author Koro (127)
Entry type Definition
Classification msc 54E50
Related topic TopologicalGSpace
Related topic PolishGroup
Related topic CategoryOfPolishGroups
Related topic SpacesHomeomorphicToBaireSpace