Construction of Set with required measure I have a Probability measure $P$ defined on $S = [0,1]$ satisfying $P({\{x}\}) = 0$ for any $x$ in $S$.
How can I construct a subset $A$ of $S$ such that $P(A)$ is exactly $\frac{1}{2}$?
Instead of $\frac{1}{2}$, can this construction be generalized to any $0 < k < 1$?

If $P$ has no atoms, then the image of $P$ will be $[0,1]$.
See here and also here
The condition $P(\{x\})=0$ for any $x$ in $S$ is not enough to ensure that $P$ has no atoms.
For a counter-example, consider the probability space $([0,1],\mathcal{M}, P)$ where
$$\mathcal{M} =\{E\subseteq [0,1]: E \text{ or } E^c \text{ is countable} \}$$
and $P(E)=0$ if $E$ is countable and  $P(E)=1$ if $E^c$ is countable.
It is easy to check that $\mathcal{M}$ is a $\sigma$-algebra and that $P$ is a probability measure. In this case, the image of $P$ is just $\{0, 1\}$.
Remark 1: If you assume that

*

*$P(\{x\})=0$ for any $x$ in $S$ and

*For every $x \in [0,1]$, $[0,x) \in \mathcal{M}$
Then
$\mathcal{M}$ contains the Borel $\sigma$-algebra of $[0,1]$ and $P$ has no atoms. So the image of $P$ is $[0,1]$.
Remark 2: As remarked by GEdgar, in the special case presented in Remark 1, a nice way to see that the image of $P$ is $[0,1]$ is to note that the function $x \to P([0,x))$  is continuous , it has value $0$ at $0$ and value $1$ at $1$.
