The result I am trying to prove is the following:

Let $F: \mathbb{R} \rightarrow \mathbb{R}$ be increasing then the set of points at which it is discontinuous is countable.

I have been reading this form Folland's Real Analysis and he proves this by considering the sum $\sum_{|x|<N}[F(x^+)-F(x^-)]$ which has to be finite by some sort of telescoping sum. Now, I am not sure how he defines this sum. I am assuming he does this by using nets (let me know if there is another way to look at this), but he doesn't introduce the concept of nets until the next chapter. So I was looking for some other ways to prove this result and I found the following result (from Stein-Shakarchi) which is quite similar but assumes $F$ to be bounded.

A bounded increasing function $F$ on $[a,b]$ has at most countably many discontinuities.

This is shown by using the density of rationals in $\mathbb{R}$, i.e. there exists a rational $r_x$ such that $F(x^-)<r_x<F(x^+)$ corresponding to each point of discontinuity $x$.

Now I feel like there shouldn't be a problem in doing the exact same thing for unbounded increasing function. Is this right? Secondly how does this proof relate to the first one? I feel like there isn't much of a difference between the two proofs. To be precise I think that the previous sum is well defined/finite because of this countability of discontinuous points. What do you think about this way of thinking?

Edit. Here is the Folland's proof in more detail:

Since $F$ is increasing, the intervals $(F(x^-),F(x^+))$ are disjoint for all $x \in \mathbb{R}$. Moreover, for all $|x| < N$ such intervals are contained in $(F(-N),F(N^+))$ and so $$\sum_{|x|<N}[F(x^+)-F(x^-)] \leq F(N) - F(-N) < \infty. $$ Hence the set $\{ x \in (-N,N) : F(x^+) \neq F(x^-)\}$ is countable.

  • $\begingroup$ If the set is not countable then an interval $[a,b]$ exists that contains uncountable discontinuity points. Further if $F$ is increasing then $F$ restricted to $[a,b]$ is also bounded. So the second proof shows that the assumption that the set is uncountable will lead to a contradiction. $\endgroup$ – drhab May 23 '18 at 16:45
  • $\begingroup$ A sum of positive terms is usually defined as the supremum of the sums over finite subsets of the index set. $\endgroup$ – Andrés E. Caicedo May 23 '18 at 17:15
  • $\begingroup$ This might be interesting to you, to understand Folland's proof: math.stackexchange.com/questions/20661/… $\endgroup$ – Václav Mordvinov May 23 '18 at 17:15
  • 2
    $\begingroup$ The bound is fine. Each terms contributes the length of some subinterval of $(F (-N), F (N)) $, and these subintervals are disjoint, since $F $ is increasing. $\endgroup$ – Andrés E. Caicedo May 23 '18 at 17:20
  • 2
    $\begingroup$ (In fact, you can make the thing even more transparent since you can order the finitely many indices and see that the corresponding intervals come in the same order, one after the other.) $\endgroup$ – Andrés E. Caicedo May 23 '18 at 17:22

The usual definition of a series of nonnegative terms is as the supremum of the sums over finite subsets of the index set, $$\sum_{i\in I} x_i=\sup\biggl\{\sum_{j\in J}x_j:J\subseteq I\mbox{ is finite}\biggr\}.$$ (Note this definition does not quite work in general for series of positive and negative terms.)

The point then is that is $a< x<y< b$ and $F\!:[a,b]\to\mathbb R$ is increasing, then $$ F(a)\le F(x^-)\le F(x^+)\le F(y^-)\le F(b). $$ It follows from this that if $J\subset (a,b)$ is a finite set of discontinuities of $F$, then $$ \sum_{z\in J}F(z^+)-F(z^-)\le F(b)-F(a) $$ and therefore the same holds for the sum $S $ over all discontinuity points of $F$ in $(a,b)$. One way to think about this is to note that the (finitely many) intervals $(F (z^-),F (z^+)) $, $z\in J $, are pairwise disjoint and are all contained in $(F (a), F (b))$, so the sum of their lengths is at most the length of the whole interval.

Now, if $x$ as above is actually a discontinuity point of $F$, then the inequality $F(x^-)<F(x^+)$ is strict. It follows from this that the sum I called $S $ above is over a countable index set, since any series of uncountably many positive terms diverges.

Note that I did not include $a$ or $b$ in the above, but of course this does not change the conclusion that the set of discontinuities of $F$ in $[a,b]$ is countable. If we include them, then we need to use the convention that $F(a^-):=F(a)$ and $F(b^+):=F(b)$. With this convention the same conclusion (with the same bound) holds: If $D$ is the set of discontinuity points of $F$ in $[a,b]$, then $$ S=\sum_{x\in D}F(x^+)-F(x^-)\le F(b)-F(a). $$

Naturally, the same conclusion (that $D$ is actually countable) follows if $F$ is defined not just in a finite interval but on an unbounded one (even on $\mathbb R$), by noting that $\mathbb R=\bigcup_{N\in\mathbb N}[-N,N]$.


You're right, every discontinuity corresponds to a jump $F(x^-)\to F(x^+)$, and because $(F(x^-),F(x^+))\subset\mathbb{R}$ is an open interval, there is some rational in this interval. Also for the case of an unbounded monotone function, we can assume to the contrary there are uncountable many of these jumps, and find uncountable many rationals (by monotonicity the intervals $(F(x^-),F(x^+))\subset\mathbb{R}$ are disjoint), which is the desired contradiction. Indeed the proofs are really similar and your proof for the bounded case is easily generalized.

  • $\begingroup$ Could you explain how you are interpreting the sum here? $\endgroup$ – HarshCurious May 23 '18 at 16:50
  • $\begingroup$ I'm actually elaborating on your second approach here, which you took from Stein-Shakarchi. I don't get what you mean with the first approach, and if Folland elaborates more on this you may want to make an edit. $\endgroup$ – Václav Mordvinov May 23 '18 at 16:53
  • $\begingroup$ Oh, I am sorry I meant Folland not Holland. I'll make an edit explaining the whole thing. $\endgroup$ – HarshCurious May 23 '18 at 16:57

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.