Permita que$X$ sea un espacio polaco, es decir, un espacio topológico completo métrico separable. ¿El espacio de las medidas de probabilidad de Borel en$X$, equipado con su topología débil, también es polaco?
Es métrico, pero ¿qué hay de la integridad y la separabilidad?