3
$\begingroup$

Question: Can every probability space $(X,\scr F,\mu)$ be $\sigma$-embedded in the completion of the space $[0,1]^K$ (equipped with a product of Lebesgue measure) for some set $K$?

Here, $f:\scr F\to \scr G$ is a $\sigma$-embedding of the measure space $(X,\scr F,\mu)$ into $(Y,\scr G,\nu)$ iff $f$ is one-to-one, and preserves measure, complements and countable unions.

Here's what I have so far:

Maharam's Theorem implies the measure (or probability) algebra of $X$ is $\sigma$-isomorphic to the measure (or probability) algebra of a disjoint union of countably many copies of $[0,1]^{K_n}$ (if $X$ has atoms, some of the $K_n$ will be empty), and of course the disjoint union $\sigma$-embeds in the measure algebra of $[0,1]^K$ for large enough $K$. Combining this with a lifting, we get a map from $\scr F$ to ${\scr L}^K$, the measurable sets of the completion of $[0,1]^K$, that preserves measure, complements and finite unions and is almost one-to-one (i.e., $f(A)=f(B)$ implies $\mu(A\Delta B)=0$).

We can make the embedding be one-to-one by ensuring $K$ is large enough that there is a null subset $N$ of $[0,1]^K$ of the same cardinality as $X$ and replacing our almost one-to-one map $f:{\scr F}\to{\scr L}^K$ with $g(A)=(f(A)\backslash N)\cup h[A]$, where $h$ is a bijection between $X$ and $N$.

Then $g$ will be an embedding into the completion of $[0,1]^K$. But I want a $\sigma$-embedding.

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.