Prob. 6, Chap. 6, in Baby Rudin: Every bounded real function on $[0,1]$ that is continuous at every point outside the cantor set is integrable

Here is Prob. 6, Chap. 6, in the book Principles of Mathematical Analysis by Walter Rudin, 3rd edition:

Let $P$ be the Cantor set . . . Let $f$ be a bounded real function on $[ 0, 1]$ which is continuous at every point outside $P$. Prove that $f \in \mathscr{R}$ on $[ 0, 1]$. Hint: $P$ can be covered by finitely many segments whose total length can be made as small as desired. Proceed as in Theorem 6.10.

Here is the link to my post here on Math SE on Theorem 6.10 in Baby Rudin, 3rd edition:

Theorem 6.10 in Baby Rudin: If $f$ is bounded on $[a, b]$ with only finitely many points of discontinuity at which $\alpha$ is continuous, then

My Attempt:

Let $\varepsilon > 0$ be given. Let $M \colon= \sup \left\{ \ f(x) \ \colon \ 0 \leq x \leq 1 \ \right\}$.

As $P$ is compact (see Sec. 2.44 in Baby Rudin), so we can cover $P$ by a finite collection of open intervals $\left( a_k, b_k \right)$, for $k=1, \ldots, N$, such that $$\sum_{k=1}^N \left( b_k - a_k \right) < \frac{\varepsilon}{4M+1}. \tag{0}$$

Is what I've stated in the preceding paragraph correct? And if so, then how to show this rigorously? Is this what Rudin is referring to in his hint?

Let $S \colon= \bigcup_{k=1}^N \left( a_k, b_k \right)$. Then $S$ is an open subset of $\mathbb{R}^1$ and therefore $$[0, 1] - S = [0, 1] \cap \left( \mathbb{R}^1 - S \right)$$ is closed.

Then the set $[0, 1] - S$, being a closed subset of $[0, 1]$, is itself a closed and bounded set in $\mathbb{R}^1$ and is therefore compact, by Theorem 2.41 in Baby Rudin.

As $f$ is continuous at every point of $[0, 1] - P$ and as $P \subset S$, so $$[0, 1] - S \subset [0, 1] - P$$ and $f$ is continuous at every point of $[0, 1] - S$ also.

Now as $[0, 1] - S$ is compact and as $f$ is continuous on $[0, 1] - S$, so $f$ is uniformly continuous on $[0, 1] - S$.

So we can find a real number $\delta > 0$ such that $$\lvert f(x) - f(y) \rvert < \frac{\varepsilon}{4} \tag{1}$$ for all $x, y \in [0, 1] - S$ for which $\lvert x-y \rvert < \delta$.

Now let $Q = \left\{ \ x_0, x_1, \ldots, x_n \ \right\}$ be a partition of $[0, 1]$ such that each $a_k \in [0, 1]$ occurs in $Q$, each $b_k \in [0, 1]$ occurs in $Q$, no point of $S \cap (0, 1)$ occurs in $Q$, and each $\Delta x_i < \delta$ unless $x_i$ is one of the $a_k$, where $\Delta x_i \colon= x_i - x_{i-1}$, for each $i = 1, \ldots, n$.

For each $i = 1, \ldots, n$, let us put $$m_i \colon= \inf \left\{ \ f(x) \ \colon \ x_{i-1} \leq x \leq x_i \ \right\} \ \mbox{ and } \ M_i \colon= \sup \left\{ \ f(x) \ \colon \ x_{i-1} \leq x \leq x_i \ \right\}. \tag{A}$$

For each $i = 1, \ldots, n$, if $u, v \in \left[ x_{i-1}, x_i \right]$, then we have $$\lvert f(u) - f(v) \rvert \leq \lvert f(u) \rvert + \lvert f(v) \rvert \leq 2M,$$ by virtue of (0) above, and so we can conclude that then $$M_i - m_i \leq 2M. \tag{2}$$

In particular, if $\left[ x_{i-1}, x_i \right] \subset [0, 1] - S$, then as $\Delta x_i < \delta$, so we have $$\lvert f(u) - f(v) \rvert < \frac{\varepsilon}{4}$$ for all $u, v \in \left[ x_{i-1}, x_i \right]$, by virtue of (1) above, and in that case we can conclude that $$M_i - m_i \leq \frac{\varepsilon}{4}. \tag{3}$$

From (2) and (3), we have \begin{align} U(Q, f) - L(Q, f) &= \sum_{i-1}^n \left( M_i - m_i \right) \Delta x_i \\ &= \sum_{i \in \{ \ 1, \ldots, n \ \} \ \colon \ \left[x_{i-1}, x_i \right] \subset [0,1]-S } \left( M_i - m_i \right) \Delta x_i \\ & \qquad + \ \sum_{i \in \{ \ 1, \ldots, n \ \} \ \colon \ \left[x_{i-1}, x_i \right] \not\subset [0,1]-S} \left( M_i - m_i \right) \Delta x_i \\ &\leq \sum_{i \in \{ \ 1, \ldots, n \ \} \ \colon \ \left[x_{i-1}, x_i \right] \subset [0,1]-S } \frac{\varepsilon}{4} \Delta x_i \\ & \qquad + \ \sum_{i \in \{ \ 1, \ldots, n \ \} \ \colon \ \left[x_{i-1}, x_i \right] \not\subset [0,1]-S} 2M \Delta x_i \qquad \mbox{ using (2) and (3) above } \\ &\leq \frac{\varepsilon}{4} (1-0) + 2M \frac{\varepsilon}{4M+1} \qquad \mbox{ using (0) above } \\ &< \frac{\varepsilon}{4} + \frac{\varepsilon}{2} \\ &< \varepsilon. \end{align}

Thus, for every real number $\varepsilon > 0$, we can find a partition $Q$ of $[0, 1]$ for which $$U(Q, f) - L(Q, f) < \varepsilon.$$ Hence by Theorem 6.6 in Baby Rudin $f \in \mathscr{R}$ on $[0, 1]$.

Is my proof correct (in each and every one of its steps)? If so, then is my presentation rigorous and lucid enough? If not, then where has it gone awry?

• as an advice, please don't ask questions to know if your proof is rigorous enough or logically correct. Proof read your work multiple times, make sure that nothing is wrong, and if you find no error, then it is correct. I comment because this is not the only post where you have asked this, many of your posts are like this. You can instead ask about where you are not sure, instead of posting your whole work here. – codetalker Oct 23 '17 at 19:43
• @codetalker thank you for your advice, but what if there is no place where I'm cognizant of a flaw in my reasoning? Isn't it a good idea then to post my attempt so others might spot errors in my proof that've escaped my notice? Hope you --- and others in the learned Math SE community --- can bear with me for doing this. I would be grateful. – Saaqib Mahmood Oct 27 '17 at 14:53
• yes, in that case that's a good idea. I only pointed out this because most of your proofs are rigorously written and are logically correct. – codetalker Oct 27 '17 at 16:20
• @codetalker thank you so much! Thank you so much for taking the time reading through my posts. I'm obliged!! – Saaqib Mahmood Oct 27 '17 at 17:23