Consider the set of Borel-measurable probability measures over the interval $[0,1]$ with a given mean, say 1/2. To be precise, I'm talking about the following set $$M=\left(\mu\in \Delta([0,1]):\int x\mu(dx)=1/2\right)$$
This is a convex set, with convex combinations defined as $\mu=\alpha \eta +(1-\alpha)\xi$ when $\mu(E)=\alpha \eta(E)+(1-\alpha)\xi(E)$ for every Borel set $E\subset[0,1]$.
My question is: what is the set of extreme points of this convex set?
My conjecture is that it is the subset of probability measures with support consisting of at most two points. I'm fairly convinced that this is true, but so far I haven't been able to come up with an elegant argument to show this and I thought that perhaps this is a well-known result. It is not hard to show for the case of atomless measures or for the case of discrete measures, but I'd like to have the general case.