Some measure theoretical characterizations of separability of metric spaces (Q1203517)

Let \((X,d)\) denote a metric space with metric \(d\) and Borel \(\sigma\)- algebra \({\mathfrak B}_ X\). The main result of this note concerns the following characterization of separability of \((X,d)\): Theorem. Both of the following two conditions are equivalent to separability of the metric space \((X,d)\): (i) \({\mathfrak B}_ X\) is countably generated and any closed, uncountable subset \(Y\) of \(X\), such that \((Y,d)\) is complete, has cardinality of the continuum. (ii) \({\mathfrak B}_ X\cap Y\) admits for any closed, uncountable subset \(Y\) of \(X\), such that \((Y,d)\) is complete, a continuous probability measure.