Let X be locally compact and Hausdorff, and let $f:X\rightarrow\mathbb R$ be a function. Suppose that for all finite regular (positive) Borel measures $\mu$, we know that $f$ is $\mu$-measurable. Does it follow that $f$ is Borel? If not, what's a good counter-example?

Definitions: The Borel sigma-algebra is generated by the open sets. So $f$ is Borel if $f^{-1}(U)$ is Borel for each open $U\subseteq\mathbb R$.

I think the definition of $\mu$-measurable is that for each open $U\subseteq\mathbb R$, we have that $f^{-1}(U)$ is in the completed sigma-algebra for $\mu$. That is, we can find Borel sets $A$ and $B$ with $A \subseteq f^{-1}(U) \subseteq B$ with $\mu(B\setminus A)=0$.

Remark: The "obvious" measures are the point mass measures, but then the completed sigma-algebra is $2^X$, so all functions are measurable! So the question is, in some sense, whether $X$ supports "enough" finite regular Borel measures.

Vague motivation: This old paper of Barry Johnson: Separate continuity and measurability.
Proc. Amer. Math. Soc. 20 1969 420--422 see http://www.jstor.org/stable/2035668 But Barry's paper clearly gives me enough for what I want, so really this question is out of curiosity, not an attempt to understand the paper better!

The collection of Borel sets (or analytic sets, etc.) in $\mathbb{R}$ has power $c = 2^{\aleph_0}$. But the collection of universally measurable sets has power $2^c$. This would follow from the existence of a universal null set of power $c$.

Isn't the Borel Conjecture (which independent of ZFC) precisely the statement that every universally null set is countable?
–
François G. Dorais♦Apr 28 '10 at 14:30

No, the Borel Conjecture is the statement that every strong measure zero set is countable.
–
Simon ThomasApr 28 '10 at 15:05

1

Actually it's consistent that there are only continuum many universally measurable sets. This is a recent result of Larson, Neeman and Shelah, see www.math.ucla.edu/~ineeman/UM.pdf
–
Justin PalumboApr 28 '10 at 18:01