1
$\begingroup$

I encountered the following problem in Berkeley problems in Mathematics:

(Sp84): Prove or supply a counterexample: If the function $f$ from $\mathbb{R}$ has both a left limit and a right limit at each point of $\mathbb{R}$, then the set of discontinuities of $f$ is, at most, countable.

I found the book claimed this is right. But I have the following counterexample:

Let $f=0$ at $\mathbb{R}$ except at the cantor set. And let $f=1$ at the cantor set. Then $f$ has both a left limit and a right limit at every point in $\mathbb{R}$. But the set of discontinuities is the cantor set, whose cardinality is equal to $c$.

This should make sense since the Cantor set is nowhere dense, and the left/right limit at every point should be 0. I just do not know why this counterexample does not make sense - or maybe the book means all non-removable discontinuities?

  • 3
    The counterexample does not work, because the points of Cantor set are not isolated. For each $x\in C$ at least one of the one-sided limits at $x$ does not exist.2012-06-16

1 Answers 1

5

It’s true that your function is discontinuous at each point of the Cantor set, but there is no point of the Cantor set where it has both a left and a right limit. It has a left limit only at the right endpoints of the open intervals that were removed in the construction of the middle-thirds Cantor set, and it has a right limit only at the left endpoints of those intervals. These two sets are disjoint. Moreover, both are countable, so at most points of the Cantor set the function has neither a left nor a right limit.

  • 0
    I see. This makes sense after double checking with Wikipedia.2012-06-16