# Borel vs measure for all Borel measures

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!

-

Let $f: \mathbb{R} \to \mathbb{R}$ be the characteristic function of a subset $A \subseteq \mathbb{R}$ which is analytic but not Borel. Then $f$ is universally measurable but not Borel.

-
Thanks, François. It's still too early in the morning ... – Simon Thomas Apr 28 '10 at 12:44
Brilliant! I found some more details here: en.wikipedia.org/wiki/Universally_measurable – Matthew Daws Apr 28 '10 at 13:51

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$.

-
The collection of Borel sets on $\mathbb{R}$ has this cardinality, but not the collection of Borel sets on an arbitrary locally compact $X$. – Robin Chapman Apr 28 '10 at 14:12
corrected to refer to R – Gerald Edgar Apr 28 '10 at 14:15
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 Thomas Apr 28 '10 at 15:05
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 Palumbo Apr 28 '10 at 18:01