Is every Baire one function continuous a.e.? I guess it has a positive answer. Because

  1. $f:\mathbb{R} \to \mathbb{R}$ is a Baire one function iff $f$ continuous everywhere except for meagre set.

  2. A subset $A$ of $X$ is meagre that it is negligible. So, we can assume that $A$ has a measure zero (I am not sure in this part).

Therefore, $f:\mathbb{R} \to \mathbb{R}$ is a Baire one function iff the discontinuity set of $f$ has measure zero.

  • 2
    $\begingroup$ Not every meagre set has measure zero, and you can't just "assume" it is. $\endgroup$ – Wojowu Mar 30 '17 at 7:20
  • 1
    $\begingroup$ math.stackexchange.com/questions/102482/… $\endgroup$ – Jonas Meyer Mar 30 '17 at 7:27
  • $\begingroup$ @JonasMeyer. Thanks for the link and the answer $\endgroup$ – flourence Mar 30 '17 at 7:46
  • 1
    $\begingroup$ Note that @Jonas Meyer shows that a Baire one function on $\mathbb R$ can be discontinuous a.e.! $\endgroup$ – Dave L. Renfro Mar 30 '17 at 14:13
  • $\begingroup$ Some types of meager closed sets of positive measure are called "fat Cantor sets". $\endgroup$ – DanielWainfleet Mar 30 '17 at 21:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.