1
$\begingroup$

It is known that each non-decreasing continuous function $\phi$ induces a $\sigma$-additive measure $d\phi$ such that $\int_0^1 f(x) d\phi(x)$ exists for every bounded real-valued Baire function $f$. This follows because every Borel set is measurable with respect to $d\phi(x)$, and for every Baire subset $A \subseteq [0,1]$ the characteristic function $\chi_A$ is a Baire function.

Conversely, suppose now that $A \subseteq [0,1]$ is such that $A$ is $d\phi$-measurable for every $\phi$ as above. Does it follow that $A$ is a Borel set?

(Question formulated by Prof. Jan-Erik Björk at Stockholm University)

$\endgroup$
2
  • $\begingroup$ In your first paragraph, didn't you mean to say "every Baire subset $A$"? (Or equivalently "Borel")? $\endgroup$ Feb 5, 2016 at 14:33
  • $\begingroup$ Yes, thanks. And thanks for the reference in your answer. $\endgroup$
    – godelian
    Feb 5, 2016 at 15:04

1 Answer 1

5
$\begingroup$

Unless I'm missing something, your measures $d\phi$ are precisely the atomless finite Borel measures (equivalently, Baire measures) on $[0,1]$. Then your condition on $A$ is that it is universally measurable. In that case, the answer to your question is No: there are universally measurable sets which are not Borel.

For instance, in most any descriptive set theory text (such as Kechris's Classical Descriptive Set Theory), you should be able to find the result that every analytic set is universally measurable, as well as a construction of an analytic set that is not Borel.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.