0
$\begingroup$

Problem: Let $f$ be an increasing function on $[0,1]$, Show discontinuous points of $f$ on $[0,1]$ is $F_\sigma$ set. But it is not always a $G_\delta$ set.

My thoughts: It is easy to prove that there exist a injective mapping from $A=\{x\in[0,1]|f\text{ is discontinuous at } x\}$ to $\mathbb{Q}$. So $A$ is most a countable set. Since $\mathbb{Q}$ is $F_\sigma$ set, so is subset(Is it right?). And similarly, since $\mathbb{Q}$ is not a $G_\delta$set, so the subset.

$\endgroup$
2
$\begingroup$

Yes, it's true that the set of discontinuities of $f$ is countable. And every countable subset of $\mathbb R$ is clearly an $F_\sigma.$ So we have the first claim.

The second claim is false. For a counterexample, take an $f$ with just one discontinuity. Now just note that a one point set is a $G_\delta.$

$\endgroup$
  • $\begingroup$ can this discontinuous points set can always be $G_\delta$ set? I think, if we take $A=[0,1]\cap \mathbb{Q}$, then $A$ is not $G_\delta$ set but $F_\sigma$, am I right? $\endgroup$ – DuFong May 8 '16 at 19:18
  • $\begingroup$ Right, by Baire. Perhaps you meant the second claim to be "But it is not always a G-delta" $\endgroup$ – zhw. May 8 '16 at 19:19
  • $\begingroup$ Yes. I will edit it. Thank you $\endgroup$ – DuFong May 8 '16 at 19:20

Your Answer

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

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