Let $(X,\Sigma)$ be a measurable space of arbitrary cardinality. I would like to understand under which conditions this space is isomorphic to a measurable subset of $\{0,1\}^\kappa$ for some cardinal $\kappa$.


To clarify, by "isomorphic to a measurable subset", I mean that there should exist a measurable injection $X\hookrightarrow\{0,1\}^\kappa$ which in addition takes measurable sets to measurable sets. As pointed out in the comments, there are two $\sigma$-algebras which one can put on $\{0,1\}^\kappa$, and these two [differ](https://math.stackexchange.com/a/248587 "differ") for uncountable $\kappa$:


1. The **Baire $\sigma$-algebra**, which is the smallest $\sigma$-algebra making the product projections $\{0,1\}^\kappa\to\{0,1\}$ measurable;
2. The **Borel $\sigma$-algebra**, which is the one generated by the product topology.


These two give rise to different versions of my question, and it would be optimal to have an answer in both cases, although I currently find the Baire $\sigma$-algebra more natural.


For example, if $(X,\Sigma)$ is the standard Borel space, then either kind of embedding exists since $\{0,1\}^{\mathbb{N}}$ is itself a standard Borel space.


Clearly, a necessary condition for either embedding to exist is that $(X,\Sigma)$ needs to be separated in the sense that for all $x,y\in X$, there is $A\in\Sigma$ with $x\in A$ and $y\not\in A$.



> 
> Is separatedness sufficient for $(X,\Sigma)$ to embed into some $\{0,1\}^\kappa$, equipped with either the Baire or the Borel $\sigma$-algebra?
> 
> 
> 


**Motivation**: I am working with [Bayesian networks](https://en.wikipedia.org/wiki/Bayesian_network) containing [latent variables](https://en.wikipedia.org/wiki/Latent_variable). I want to allow the sample space of a latent variable to be an arbitrary probability space. Since the latter are difficult to work with, I am trying to make an argument along the lines of replacing every latent variable by a collection of binary variables. A positive answer to the above question would be one way to do this.



Does every separated measurable space embed into a power of $\{0,1\}$?
Let $X$ be a set and give $X$ the discrete topology. Give $X\cup\{\infty\}$ the one-point compactification $X$. Then every subset $U$ of $X$ is open in $X\cup\{\infty\}$. Therefore, every subset of $U$ of $X\cup\{\infty\}$ is a Borel set. On the other hand, $X\cup\{\infty\}$ can be embedded as a closed subspace of $2^{\kappa}$ for some $\kappa$. Take note that the Borel subsets of $X\cup\{\infty\}$ are simply the restrictions of the Borel sets to $X\cup\{\infty\}$. Therefore, the power set $\sigma$-algebra $(X\cup\{\infty\},P(X\cup\{\infty\})$ can be embedded as Borel subset of $2^{\kappa}$.


A closer examination of my argument shows that a if $X$ can be embedded as a Borel set of some compactification (for example for locally compact spaces), then the $\sigma$-algebra $(X,Bor(X))$ (here $Bor(X)$ stands for the collection of all Borel subsets of $X$) can be embedded as a Borel subset of $2^{\kappa}$.


On the other hand, if $B\subseteq 2^{\kappa}$ is a Borel set, then the Borel measure on $B$ is the Borel measure of the topology on $B.$ However, by [this answer](https://mathoverflow.net/a/87888/22277) not every $\sigma$-algebra is the Borel measure of some topology.


