Skip to main content
2 of 3
edited tags
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

Non-Polish Lebesgue probability space?

Any Lebesgue probability space is mod. 0 isomorphic to some Polish probability space (with $\sigma$-algebra the completion of Borel algebra, and some Borel probability). I would like to see an example of a Lebesgue probability space which is not isomorphic to such a Polish space.

In other word, I want a Lebesgue probability space $(X,\mathcal A,\mu)$ for which there is no topology $\mathcal T$ such that

  1. $\mathcal A$ is the completion of the $\sigma$-algebra generated by $T$ and
  2. $X$, endowed with $T$, is a Polish space.

(For me a Lebesgue probability space is a complete probability space $(X,\mathcal A,\mu)$ such that there is some Hausdorff, second countable topology $\mathcal T$ which turns $\mu$ into a Borel probability measure on the completion of $\sigma(\mathcal T)$).

timofei
  • 287
  • 1
  • 8