4
$\begingroup$

Suppose we are given a measure space $(X,\mathfrak{M},\mu)$, but we know nothing more than this information. (Assume that $\mu$ is a positive, extended real-valued function.) Is there any "nice" way to tell whether or not there exists a topological space $Y$ and a measure $\nu$ on the Borel sets $B(Y)$ of $Y$ such that there is a bimeasurable bijection between $X$ and $Y$ i.e. a measure space isomorphism of $(X,\mathfrak{M},\mu)$ with $(Y,B(Y),\nu)$?

Either this question is ridiculous as asked, or there is probably some kind of set-theoretic business connected to it...sorry if it's the former!

  • 0
    You certainly can't have a general isomorphism: assume you have a Dirac measure. It's not going to be isomorphic to a Borel measure. The imbedding above (Skorohod) might work, but I'm too rusty to tell.2012-12-14

1 Answers 1

4

Not every $\sigma$-algebra is the Borel $\sigma$-algebra of a topological space, so the answer is no.

But there is a sense in which the answer is almost yes for probability spaces. If we identify measurable sets $A$ and $B$ if $\mu(A\Delta B)=0$, we get a measure agebra $(A,\mu)$ where $A$ contains the equivalence classes and $\mu$ is defined in the obvious way. If the underlying measure space is atomless, we get by a representation theorem of Maharam that $(A,\mu)$ coincides with the measure algebra of a countable convex combination of coin-flipping probability spaces $\{0,1\}^\kappa$.

The result can be generalized to certain measure spaces that are not atomless and might be infinite. Volume 3 of Fremlin's treatise discusses these things in great detail.

  • 0
    If you are willing to enter the realm of measure algebras then there's no need of invoking Maharam's classification theorem. The much more elementary Stone representation theorem gives you an honest topological measure space whose measure algebra is (canonically isomorphic to) the one you started with. Since Jon is an operator algebraist it might be worth pointing out that the resulting space is the same as the Gelfand spectrum of $L^\infty(\mu)$. In this context variants of this result also go by the name of "Mackey's point realization theorem".2012-12-16