A definition of Polish space
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of separable topological space.
- The reader knows a definition of complete metric space.
Target Context
- The reader will have a definition of Polish space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Definition
Any separable topological space that is metrizable to become a complete metric space
2: Note
Being metrizable is different from being a metric space, so, the topological space does not need to be any metric space if it can be made a complete metric space.