Skip to main content
Mathematics LibreTexts

9.5: Uncountable Sets

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Recall from Definition 9.37 that a set \(A\) is uncountable if \(A\) is not countable. Since all finite sets are countable, the only way a set could be uncountable is if it is infinite. It follows that a set \(A\) is uncountable if and only if there is never a bijection between \(\mathbb{N}\) and \(A\). It is not clear that uncountable sets even exist! It turns out that uncountable sets do exist and in this section, we will discover a few of them.

    Our first task is to prove that the interval \((0,1)\) is uncountable. By Problem 9.35(8), we know that \((0,1)\) is an infinite set, so it is at least plausible that \((0,1)\) is uncountable. The following problem outlines the proof of Theorem 9.52. Our approach is often referred to as Cantor’s Diagonalization Argument, named after German mathematician Georg Cantor (1845–1918).

    Before we get started, recall that every number in \((0,1)\) can be written in decimal form. However, there may be more than one way to write a given number in decimal form. For example, \(0.2\) equals \(0.1\overline{99}\). A number \(0.a_1a_2a_3\ldots\) in \((0,1)\) is said to be in standard decimal form if there is no \(k\) such that for all \(i>k\), \(a_i=9\). That is, a number is in standard decimal form if and only if its decimal expansion does not end with a repeating sequence of 9’s. For example, \(0.2\) is in standard decimal form while \(0.1\overline{99}\) is not, even though both represent the same number. It turns out that every real number can be expressed uniquely in standard decimal form. We will take this fact for granted.

    Problem 9.51. For sake of a contradiction, assume the interval \((0,1)\) is countable. Then there exists a bijection \(f:\mathbb{N}\to (0,1)\). For each \(n\in\mathbb{N}\), its image under \(f\) is some number in \((0,1)\). Write \(f(n)=0.a_{1n}a_{2n}a_{3n}\ldots\), where \(a_{1n}\) is the first digit in the standard decimal form for the image of \(n\), \(a_{2n}\) is the second digit, and so on. If \(f(n)\) terminates after \(k\) digits, then our convention will be to continue the decimal expansion with 0’s. Now, define \(b=0.b_1b_2b_3\ldots\), where \[b_i=\begin{cases} 2, & \text{if }a_{ii}\neq 2\\ 3, & \text{if }a_{ii}=2. \end{cases}\]

    1. Prove that the decimal expansion that defines \(b\) above is in standard decimal form.
    2. Prove that for all \(n\in\mathbb{N}\), \(f(n)\neq b\).
    3. Explain why \(f\) cannot be surjective and why this is a contradiction.

    You just proved that the interval \((0,1)\) cannot be countable!

    The previous problem proves following theorem.

    Theorem 9.52. The open interval \((0,1)\) is uncountable.

    Loosely speaking, what Theorem 9.52 says is that the open interval \((0,1)\) is “bigger" in terms of the number of elements it contains than the natural numbers and even the rational numbers. This shows that there are infinite sets of different sizes! We now know there is at least one uncountable set, namely the interval \((0,1)\). The next three results are useful for finding other uncountable sets. For the first theorem, try a proof by contradiction and take a look at Theorem 9.41.

    Theorem 9.53. If \(A\) and \(B\) are sets such that \(A\subseteq B\) and \(A\) is uncountable, then \(B\) is uncountable.

    Corollary 9.54. If \(A\) and \(B\) are sets such that \(A\) is uncountable and \(B\) is countable, then \(A\setminus B\) is uncountable.

    Theorem 9.55. If \(f:A\to B\) is an injective function and \(A\) is uncountable, then \(B\) is uncountable.

    Since the interval \((0,1)\) is uncountable and \((0,1)\subseteq \mathbb{R}\), it follows immediately from Theorem 9.53 that \(\mathbb{R}\) is also uncountable. The next theorem tells that \((0,1)\) and \(\mathbb{R}\) actually have the same cardinality! To prove this, consider the function \(f:(0,1)\to \mathbb{R}\) defined via \(f(x)=\tan(\pi x-\frac{\pi}{2})\).

    Theorem 9.56. The set of real numbers is uncountable. In particular, \(card((0,1))=card(\mathbb{R})\).

    The continuum hypothesis—originally proposed by Cantor in 1878—states that there is no set whose cardinality is strictly between that of the natural numbers and the real numbers. Cantor unsuccessfully attempted to prove the continuum hypothesis for several years. It follows from the work of Paul Cohen (1934–2007) and Kurt Gödel (1906–1978) that the continuum hypothesis and its negation are independent of the Zermelo-Fraenkel axioms of set theory (briefly discussed at the end of Section 3.2). That is, either the continuum hypothesis or its negation can be added as an axiom to ZFC set theory, with the resulting theory being consistent if and only if ZFC is consistent (i.e., no contradictions are produced). Nowadays, most set theorists believe that the continuum hypothesis should be false.

    Theorem 9.57. If \(a,b\in\mathbb{R}\) with \(a<b\), then \((a,b)\), \([a,b]\), \((a,b]\), and \([a,b)\) are all uncountable.

    Theorem 9.58. The set of irrational numbers is uncountable.

    Theorem 9.59. The set \(\mathbb{C}\) of complex numbers is uncountable.

    Problem 9.60. Determine whether each of the following statements is true or false. If a statement is true, prove it. Otherwise, provide a counterexample.

    1. If \(A\) and \(B\) are sets such that \(A\) is uncountable, then \(A\cup B\) is uncountable.
    2. If \(A\) and \(B\) are sets such that \(A\) is uncountable, then \(A\cap B\) is uncountable.
    3. If \(A\) and \(B\) are sets such that \(A\) is uncountable, then \(A\times B\) is uncountable.
    4. If \(A\) and \(B\) are sets such that \(A\) is uncountable, then \(A\setminus B\) is uncountable.

    An approach similar to Cantor’s Diagonalization Argument will be helpful when approaching the next problem.

    Problem 9.61. Let \(S\) be the set of infinite sequences of 0’s and 1’s. Determine whether \(S\) is countable or uncountable and prove that your answer is correct.

    Theorem 9.62. If \(S\) is the set from Problem 9.61, then \(card(\mathcal{P}(\mathbb{N}))=card(S)\).

    Corollary 9.63. The power set of the natural numbers is uncountable.

    Notice that \(\mathbb{N}\) is countable while \(\mathcal{P}(\mathbb{N})\) is uncountable. That is, the power set of the natural numbers has cardinality strictly larger than the natural numbers. We generalize this phenomenon in the next theorem.

    According to Theorem 9.56 and Corollary 9.63, \(\mathbb{R}\) and \(\mathcal{P}(\mathbb{N})\) are both uncountable. In fact, \(card(\mathcal{P}(\mathbb{N}))=card(\mathbb{R})\), which we state without proof. However, it turns out that the two uncountable sets may or may not have the same cardinality. Perhaps surprisingly, there are sets that are even “bigger" than the set of real numbers. The next theorem is named after Georg Cantor, who first stated and proved it at the end of the 19th century. The theorem states that given any set, we can always increase the cardinality by considering its power set. That is, if \(A\) is a set, \(\mathcal{P}(A)\) has strictly greater cardinality than \(A\) itself. For finite sets, Cantor’s theorem follows from Theorems 4.11 and 4.12 (both of which we proved via induction). Perhaps much more surprising is that Cantor discovered an elegant argument that is applicable to any set, whether finite or infinite. To prove Cantor’s Theorem, first exhibit an injective function from \(A\) to \(\mathcal{P}(A)\). This proves that \(card(A)\leq \space card(\mathcal{P}(A))\). To show that \(card(A)< card(\mathcal{P}(A))\), try a proof by contradiction. That is, assume there exists a bijective function \(f:A\to\mathcal{P}(A))\). Derive a contradiction by considering the set \(B=\{x\in A\mid x\notin f(x)\}\).

    Theorem 9.64. If \(A\) is a set, then \(card(A)<card(\mathcal{P}(A))\).

    Recall that cardinality provides a way for talking about “how big" a set is. The fact that the natural numbers and the real numbers have different cardinality (one countable, the other uncountable), tells us that there are at least two different “sizes of infinity". By iteratively taking the power set of an infinite set and applying Cantor’s Theorem we obtain an endless hierarchy of cardinalities, each strictly larger than the one before it. Colloquially, this implies that there are “infinitely many sizes of infinity" and there is “no largest infinity".

    This page titled 9.5: Uncountable Sets is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Dana Ernst.

    • Was this article helpful?