Cardinality of the set of all (real) discontinuous functions

This is a question from the book Introduction to Set Theory (Hrbacek and Jech), chapter 5, question 2.6.

(Show that) The cardinality of the set of all discontinuous functions is $2^{2^{\aleph_0}}$. [Hint: Using exercise 2.5, show that $|\mathbb{R}^\mathbb{R}-C|=2^{2^{\aleph_0}}$ whenever $|C|\leq 2^{\aleph_0}$.]

Exercise 2.5, as referred to in the hint, provides the following result:

For $n>0$, $n \cdot 2^{2^{\aleph_0}} = \aleph_0 \cdot 2^{2^{\aleph_0}} = 2^{\aleph_0} \cdot 2^{2^{\aleph_0}} = 2^{2^{\aleph_0}} \cdot 2^{2^{\aleph_0}} = (2^{2^{\aleph_0}})^n = (2^{2^{\aleph_0}})^{\aleph_0} = (2^{2^{\aleph_0}})^{2^{\aleph_0}}=2^{2^{\aleph_0}}$.

The only way I could answer this question was by making use of two theorems stated later in the same textbook. First, it is easy to prove that $|\mathbb{R}^\mathbb{R}-C|$ is an infinite set, since if it was finite we would have \begin{equation}2^{2^{\aleph_0}}=|\mathbb{R}^\mathbb{R}|=|\mathbb{R}^\mathbb{R}-C|+|C| \leq n+2^{\aleph_0}=2^{\aleph_0}< 2^{2^{\aleph_0}},\end{equation}which is a contradiction. Now I make use of a theorem requiring the axiom of choice: For every infinite set $S$ there exists a unique aleph $\aleph_\alpha$ such that $|S|=\aleph_\alpha$. So I let $|\mathbb{R}^\mathbb{R}-C|=\aleph_\alpha$ for some ordinal $\alpha$. Now assume $\aleph_\alpha < 2^{2^{\aleph_0}}$. Here I make use of another theorem, which i am not sure I am allowed to do: For every $\alpha$ and $\beta$ such that $\alpha \leq \beta$, we have $\aleph_\alpha+\aleph_\beta=\aleph_\beta$. So I basically then say either $|\mathbb{R}^\mathbb{R}-C|+|C|=\aleph_\alpha$ or $|\mathbb{R}^\mathbb{R}-C|+|C|=2^{\aleph_0}$, depending on whether $\aleph_\alpha \leq 2^{\aleph_0}$ or vice-versa. The assumption I am making is that $2^{\aleph_0}=\aleph_1$, which as I understand it is basically equivalent to the continuum hypothesis, as we are saying that the least uncountable number is $\aleph_1$ (but by the previous theorem requiring the axiom of choice this seems reasonable?). So anyway assuming I can do that, we again have a contradiction since then we are saying $|\mathbb{R}^\mathbb{R}|=2^{\aleph_0}<2^{2^{\aleph_0}}$ or $|\mathbb{R}^\mathbb{R}|=\aleph_\alpha < 2^{2^{\aleph_0}}$.

My main problem with my proof is that I am not making use of the result given in exercise 2.5 as suggested in the hint. Can anyone help with a proof making use of this result (stated in the second block quote above).

• Assuming CH is absolutely not necessary. Nor do you have to go via aleph's. – Henno Brandsma Jan 25 '15 at 18:40
• For the record, it's actually pretty easy to just build a injection from the set of nowhere continuous functions to the set of sets of reals . . . – Noah Schweber Feb 26 '15 at 8:48

$C$ is the set of contiuous functions, so the set of discontinuous functions has size $|\mathbb{R}^{\mathbb{R}} - C|$.
Now the set of $\mathbb{R}^\mathbb{R}$ has size $(2^{\aleph_0})^{2^{\aleph_0}} = 2^{2^{\aleph_0}}$. So you're left with showing that $|C| = 2^{\aleph_0}$. The constant functions show it's at least that size, and the fact that two continuous functions that agree on the rationals agree on $\mathbb{R}$, shows that $f \rightarrow f|_\mathbb{Q}$ from $C$ to $\mathbb{Q}^\mathbb{R}$ is injective...
Then if $2^{2^{\aleph_0}} = |\mathbb{R}^\mathbb{R} - C| + |C| = \max(|C|,|\mathbb{R}^\mathbb{R} - C|)$ (this uses AC, which might be avoidable), and as $|C| = 2^{\aleph_0} < 2^{2^{\aleph_0}}$, the latter by Cantor's theorem, we have that $|\mathbb{R}^\mathbb{R} - C| = 2^{2^{\aleph_0}}$.
• I did use the exercise, in $(2^{\aleph_0})^{2^{\aleph_0}} = 2^{2^{\aleph_0}}$ – Henno Brandsma Jan 25 '15 at 18:38
• Did your book already cover $\kappa + \lambda = \max(\kappa, \lambda)$ for cardinals (which is equivalent to AC, I think)? Are you forbidden from using AC? – Henno Brandsma Jan 25 '15 at 18:40
• hmmm...i see, but the problem is I think it is assumed that we don't have to derive $\mathbb{R}^{\mathbb{R}}=2^{2^{\aleph_0}}$ as the theorem is given before in the section. – Christiaan Hattingh Jan 25 '15 at 18:43