MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A well known classical fact is that a Lebesgue measurable function on Euclidean space is almost everywhere equal to a Baire class 2 function. A relatively modern reference for this fact is van Rooij - Schikhof, "A second course on real functions", Cambridge, 1982, p. 143. See also the Math Overflow question here.

What happens in more general situations, say for a measurable function $f$ with respect to a finite regular measure $\mu$ on a locally compact space $X$? Does this have to be equal ae ($\mu$) to some Baire class 2 function on $X$? I think it is true for $X$ compact, because you can use Lusin's theorem to get zero sets $C$ of almost full measure on which $f$ restricted to $C$ is continuous. (Does anyone know of a reference for this?) But for the general locally compact case I think it might not be true.

share|cite|improve this question
Did you mean to answer someone's question? – David Roberts Oct 29 '12 at 6:44
My initial post was an accident – Fred Dashiell Oct 29 '12 at 7:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.