I have a problem with Proposition 7.2.10 in Bogachev's Measure Theory Volume II book on page 77 (I have link to my drive with that book <https://drive.google.com/file/d/1CgzgWhEiNPU1vy0YkyiVjGLH3Qiq1aCL/view>). Supposedly, from that proof one can deduced that $\text{supp}\,\mu$ is separable if $\mu$ is $\tau$-additive Borel measure on metric space $(X, d)$ and $\mu$ has full support ($\mu(X \setminus \text{supp}\,\mu) = 0$). I don't see it, and also I don't know what is $\Gamma$ in this proof. I think, it is not specified. Maybe anyone knows answers for my questions or at least one of them? I'd appreciate.



separable support of Borel measure, with tau-additive measure and full support
Following Bogachev's notation and terminology, let $S\_\mu$ be the intersection of all closed sets of full $\mu$-measure, and say $\mu$ "has support" if $S\_\mu$ itself has full measure. A useful fact is that $x \in S\_\mu$ if and only if every open neighborhood of $x$ has positive measure.


Now suppose $\mu$ is a finite measure, as in the proof. If $S\_\mu$ were not separable, then as Bogachev notes, it would be possible to find an uncountable collection of disjoint open balls centered at points of $S\_\mu$. By the useful fact above, they must all have positive measure, and in particular, for some $n$, there are infinitely many with measure at least $1/n$, contradicting the finiteness of $\mu$.


As for $\Gamma$, at this point we are supposing that $\mu$ is a measure without support, so that $\mu(S\_\mu^c) > 0$. Now by the fact above, every $x \in S\_\mu^c$ has an open neighborhood $U\_x$ of measure zero; necessarily $U\_x \subset S\_\mu^c$ and without loss of generality $U\_x$ is a ball. Take $\Gamma = \{ U\_x : x \in S\_\mu^c\}$. Their union is $S\_\mu^c$ which has positive measure.


