ポーランド空間
For example, the Wiener measure turns the Polish space formula_158 (of all continuous functions formula_159 endowed with the topology of local uniform convergence) into a standard probability space.