8
$\begingroup$

The Question

Let $X$ be a set. Let $\mathcal{F}\subseteq P(X)$ be a $\sigma$-algebra. (Or, if it makes a difference, let $X$ be a topological space and $\mathcal{F}$ the Borel sets.) When can we guarantee the existence of and how can we construct a non-atomic probability measure $\mu$ on $(X,\mathcal{F})$? (In addition to being a measure, we ask that $\mu(X) = 1$ and that if $F\in\mathcal{F}$ and $\mu(F) \neq 0$, there exists a proper measurable subset $E\subsetneq F$ such that $0 < \mu(E) < \mu(F)$.)

Some remarks

The result of Sierpinski guarantees that $\mu$ actually takes on a continuum of different values. So necessarily $\mathcal{F}$ needs to be uncountable and hence $P(X)$ has to be uncountable. This puts a lower bound on how many elements there can be in $X$. (And trivially one sees that if $X$ is finite any probability measure must have atoms.)

I expect, however, that there may be other necessary conditions for the existence of a non-atomic probability measure.

On the sufficient side, the only result I am familiar with that explicitly constructs a measure is the various constructions of the Lebesgue measure. This construction makes use of the local structure of Euclidean space and hence also works for, say, topological manifolds. (Okay, there's also the ultrafilter construction for additive measures, but while the constructed measures are probability, they have a lot of atoms.)

  • 0
    I think the intention of [this question on MO](http://mathoverflow.net/questions/85837/can-we-put-a-probability-measure-on-every-sigma-algebra) by Michael Greinecker was essentially the same as yours.2012-03-08
  • 0
    Huh, I searched both MO and Math.SE before I posted this question, and somehow I missed that question. I'll have to read that one in more detail to understand what was actually said by the various comments/answers.2012-03-08
  • 2
    ince that thread isn't particulary illuminating, let me just mention that it seems unknown whether it is decidable in ZFC whether there is purely non-atomic probability measure on $(X,P(X))$ if $|X| \geq |\mathbb{R}|$ (see [Fremlin's book](http://www.essex.ac.uk/maths/people/fremlin/mt.htm), volume 4I, Ch. 438), so you might want to specify more clearly what kind of spaces you're interested in. On uncountable separable complete metric spaces there always is a non-atomic Borel probability measure, for example.2012-03-08
  • 0
    Correct me if I am wrong: so Maharam's theorem essentially implies that the answer is iff our sigma algebra is isomorphic to the measurable sets on the product of $\gamma$ copies of $[0,1]$, where $\gamma$ is an ordinal? this I guess is just a more refined version of the construction on a manifold?2012-03-08
  • 0
    I should really go look in Fremlin's books... I think that'd require asking the library to buy a set first `:)`. The context in which I *want* the result has even less structure. I am actually starting with only a set $X$ with a collection of subsets $\mathcal{C}$ that is closed under arbitrary intersections. That's pretty much it (an abstract convexity system). If there are other sufficient conditions, I'll be happy to hear it, and think about whether I can justify imposing the additional structures needed.2012-03-08
  • 1
    This is a bit simplistic, since Maharam's theorem doesn't talk about measure *spaces* but rather about measure *algebras* (what you obtain from the $\sigma$-algebra by identifying sets that coincide up to a null set). *Those* can be obtained up to isomorphism from combining scaled versions of products $[0,1]^\kappa$ where $\kappa$ is a *cardinal*. I don't think this tells us so much about the $\sigma$-algebras themselves. The product measure on an arbitary product of probability spaces indeed is not much more than a (somewhat subtle) refinement of the usual product measure construction.2012-03-08

1 Answers 1