# Dense subsets on set space

Let $X$ be a metric space, and $\mathscr{B}$ the $\sigma$-algebra generated by open sets of $X$. Can we find a countable dense subsets of the metric space $(\mathscr{B},d)$ with the metric $d(A,B)=m(A\Delta B)$ where $m$ is any Borel probability measure on the measurable space $(X,\mathscr{B})$?

• I don't think this is a metric: $d([0,1],(0,1))=0$, if we work with the usual Lebesgue measure on $\mathbb R$. Do you identify the sets such that $m(A\triangle B)=0$? (So the space would be the space of equivalence classes rather than the space of all Borel sets?) Apr 29, 2014 at 7:28
• Even after identifying equivalence classes, the answer might be no. If $\mathfrak{c}$ is a real-valued measurable cardinal, we can use the discrete metric and put an atomless probability measure on all subsets. The resulting measure will be as far as possible from separable by the Gitik-Shelah theorem. But the answer will be yes if the metric space is separable. Apr 29, 2014 at 7:42
• @Michael: why don´t you turn your comment into an answer? Apr 29, 2014 at 15:56
• Note that by identifying sets with their indicator functions, your metric space $(\mathcal{B},d)$ embeds as a total subset of $L^1(X,m)$. So I think your question is equivalent to asking about the separability of $L^1(X,m)$ where $X$ is metrizable. The answers to this question seem to apply here. Apr 29, 2014 at 21:37
• Would you like to give some more detail? I know that $(X,\mathscr{B})$ is separable if and only if the space $L^{1}(X,\mathscr{B},m)$ is separable ,but I donot know when $L^{1}(X,\mathscr{B},m)$ is separable. Apr 30, 2014 at 0:55

If the space one started with is a separable metric space, then the Borel $\sigma$-algebra is generated by a countable base of the topology and (equivalence classes of) elements of the countable algebra generated by the basis form a countable dense subset.
If the original metric space was not separable, the answer might well be no. Under set theoretic assumptions widely considered to be consistent, there exists an atomless probability measure on the powerset of some set and hence on the Borel-$\sigma$-algebra of some discrete metric space. Using the Gitik-Shelah Theorem, one can show that there must be an uncountable family of independent events with nontrivial probability in such a probability space. One can then show that for every countable family of measurable events, an event in this family must be independent of it. So no countable family of events can be dense under the pseudo-metric you gave.
• Thanks for your detail answer,I think I have got it.Maybe the space $X$ needs to be separable. Apr 30, 2014 at 0:19