Let $(X,d)$ be a metric space equipped with a probability measure $\mu$ (defined on the Borel $\sigma$-algebra on the topology induced by the metric $d$). I am interested in the different values that the following can take


$\sup\lbrace\mu(A):A\subset X\text{ is measurable and }\mu(A)\leq1/2\rbrace~~~~~~~~~~(\ast)$.


If there exists a measurable set $A\subset X$ such that $\mu(A)=1/2$, then it clearly is the case that $(\ast)$ is $1/2$.


If there is no set of measure $1/2$, then it is possible for $(\ast)$ to be different than $1/2$ (Dirac probability measure comes to mind). What I am wondering is if it could still be $1/2$.


In other words, I'm wondering if we could prove the existence (ideally with an example) or the nonexistence of a probability measure on a metric space $(X,d)$ such that for every measurable $A\subset X$, $\mu(A)\neq1/2$ and such that there is a sequence $\lbrace A\_n\rbrace$ where $\mu(A\_n)\to1/2$.


A few obvious remarks, if we were to find a probability measure as described in the above paragraph, the sequence $A\_n$ cannot be nested, otherwise continuity from above or continuity from below would imply that the union or the intersection of the $A\_n$ has a measure of $1/2$. Furthermore, the $A\_n$ cannot be pairwise disjoint, otherwise $\mu$ cannot be a probability measure: for all $\epsilon>0$, infinitely many of the $A\_n$ are contained in $(1/2-\epsilon,1/2+\epsilon)$, which implies by countable additivity that $\mu(X)\geq\infty$.



Supremum of measure of sets of measure less or equal to 1/2.
**Short version**: the set $\{\mu(B):B\in\mathcal{B}\}$ is a closed set for any probability space $(X,\mathcal{B},\mu)$. For atomic spaces this follows from an elementary topological argument, and for non-atomic spaces it is a closed interval by a classical (and easy) result of Sierpinski.


**Longer version with details**:


Let $A\_n=A'\_n\cup A''\_n$ where $A'\_n$ is the atomic part of $A\_n$ and $A''\_n$ is the rest. By passing to a subsequence we may assume that $\mu(A'\_n)$ converges to some $\alpha\in [0,1/2]$. 


I claim that there is an atomic set $B'$ such that $\mu(B')=\alpha$. Indeed, let $\{ x\_k\}$ be the collection of the $\mu$-measures of all atoms of all $A'\_n$. 


The set $X=\{ \sum\_{k\in I} x\_k: I\subset \mathbb{N}\}$ can be checked to be closed, since it is the continuous image of the $\{0,1\}^\mathbb{N}$ under the map $I\to \sum\_{k\in I} x\_k$, where we identify sequences $\omega$ in $\{0,1\}^\mathbb{N}$ with the set $I=\{ j: \omega\_j=1\}$. Since $\alpha$ is in the closure of $X$ (as $\mu(A'\_n)\to\alpha$), $\alpha\in X$, as claimed.


Now the non-atomic part of the space has mass at least $1/2-\alpha$ (since it has mass at least $\mu(A''\_n)$ for each $n$). But it is well known that if $\nu$ is a non-atomic measure of mass $c$, then for any $c'\in [0,c]$ there is a measurable set of $\nu$-mass $c'$ (see for example [wikipedia](http://en.wikipedia.org/wiki/Atom_%2528measure_theory%2529)). Applying this to $\nu$=restriction of $\mu$ to non-atomic part and $c'=1/2-\alpha$, we get a measurable non-atomic set $B''$ of $\mu$-measure $1/2-\alpha$.


Hence $B=B'\cup B''$ satifies $\mu(B)=1/2$.


