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$

1 Answer 1

Reset to default
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$
3
  • $\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, 2016 at 19:18
  • 1
    $\begingroup$ Right, by Baire. Perhaps you meant the second claim to be "But it is not always a G-delta" $\endgroup$
    – zhw.
    May 8, 2016 at 19:19
  • $\begingroup$ Yes. I will edit it. Thank you $\endgroup$
    – DuFong
    May 8, 2016 at 19:20

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .