Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

I am asking a generalization of the following problem. Given a measure zero set $E$, we can find $f$ so that $F(x)=\int^x_0 f(t) dt$ has $F'(x)=\infty$ on $E$. In particular, by outer regularity, let $V_n \supseteq E$ be open and $|V_n|<2^{-n}$. Then $f(x)=\sum_{n=1} \chi_{V_n}$ does the trick.

But this means that $F'(x)=\infty$ on a little more than $E$, possibly, since we approximated $E$ by a Borel set. Is it possible to find $f$ such that $F'(x)=\infty$ precisely on $E$, given any $E$ with measure zero? Can we characterize the set $\{x:F'(x)=\infty\}$?

share|cite|improve this question
No, it's not possible. Philosophically speaking, you never get anything non-Borel from a continuous function such as your $F$. But I don't have time to write a detailed proof right now. You may want to read the 2nd reference in the article on Zahorski's theorem, and a more recent paper by Fowler and Preiss. – user31373 Aug 7 '12 at 20:15

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.