如题所述
一个Hausdoff空间X是polish空间,如果:
空间上定义了与拓扑相容的距离,且该空间按这个距离是完备的。
该空间是可分的,即它有可数稠密子集。
参考资料:http://paper.dic123.com/lunwen_441262187/