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

Let $X$ be a polish space (separable completely metrizable topological space). Let $m$ be a probability measure on $X$ and $f:X \rightarrow \mathbb{R}$ a measureable function. I want to show that $f$ is equal a.e. to a second Baire class function (limits of limits of bounded continuous functions).

I know how to prove this when $f$ is bounded: in that case $f$ is in $L_1(X)$ and there exists a sequence of continuous functions which converge to $f$ a.e. and are uniformly bounded. Then by taking some limits I can deal with the points in which the sequence doesn't converge.

My question is, how to prove for any function $f$, not necessarily bounded?

Thanks, Shlomi

share|cite|improve this question
up vote 1 down vote accepted

It seems to me that the general case follows from the bounded case. If $f$ is not necessarily bounded, consider $\arctan\circ f$ and represent it as a limit of limits of continuous functions. Then apply $\tan$ to all those functions and get the required representation of $f$. (Since all the limits you care about are pointwise limits a.e., the fact that $\tan$ is only continuous, not uniformly so, does no harm.)

share|cite|improve this answer
Thanks, it works. – Shlomi Apr 30 '11 at 14:25
Does anyone know of a good textbook/monograph reference for this fact? – Fred Dashiell Oct 19 '12 at 12:10
I would orefer a reference which treats the locally compact case. That is, if $X$ is locally compact and $\mu$ is a regular bounded Borel mesaure on $X$ and $f$ is some $\mu$-measureable function, then f = g a.e.($\mu$) for some $g$ of second Baire class on $X$. – Fred Dashiell Oct 19 '12 at 21:55

Your Answer


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

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