Skip to main content
Mathematics LibreTexts

9.3: Infinite Sets

  • Page ID
    95462
  • \( \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}}\)

    In the previous section, we explored finite sets. Now, let’s tinker with infinite sets.

    Definition 9.26. A set \(A\) is infinite if \(A\) is not finite.

    Let’s see if we can utilize this definition to prove that the set of natural numbers is infinite. For sake of a contradiction, assume otherwise. Then there exists \(n\in\mathbb{N}\) such that \(card([n])=card(\mathbb{N})\), which implies that there exists a bijection \(f:[n]\to \mathbb{N}\). What can you say about the number \(m:= \max(f(1),f(2),\ldots,f(n))+1\)?

    Theorem 9.27. The set \(\mathbb{N}\) of natural numbers is infinite.

    The next theorem is analogous to Theorem 9.19, but for infinite sets. To prove this theorem, try a proof by contradiction. You should end up composing two bijections, say \(f:A\to B\) and \(g:B\to [n]\) for some \(n\in\mathbb{N}\). As we shall see later, the converse of this theorem is not true in general.

    Theorem 9.28. If \(A\) is infinite and \(card(A)=card(B)\), then \(B\) is infinite.

    Problem 9.29. Quickly verify that the following sets are infinite by appealing to Theorem 9.27, Theorem 9.28, or Problem 9.6.

    1. The set of odd natural numbers
    2. The set of even natural numbers
    3. \(\mathbb{Z}\)
    4. \(R=\{\frac{1}{2^n}\mid n\in \mathbb{N}\}\)
    5. \(\mathbb{N}\times \{a\}\)

    Notice that Definition 9.26 tells us what infinite sets are not, but it doesn’t really tell us what they are. In light of Theorem 9.27, one way of thinking about infinite sets is as follows. Suppose \(A\) is some nonempty set. Let’s select a random element from \(A\) and set it aside. We will call this element the “first" element. Then we select one of the remaining elements and set is aside, as well. This is the “second" element. Imagine we continue this way, choosing a “third" element, and “fourth" element, etc. If the set is infinite, we should never run out of elements to select. Otherwise, we would create a bijection with \([n]\) for some \(n\in\mathbb{N}\).

    The next problem, sometimes referred to as the Hilbert Hotel, named after the German mathematician David Hilbert (1862–1942), illustrates another way of thinking about infinite sets.

    Problem 9.30. The Infinite Hotel has rooms numbered \(1,2,3,4,\ldots\). Every room in the Infinite Hotel is currently occupied.

    1. Is it possible to make room for one more guest (assuming they want a room all to themselves)?
    2. An infinite number of new guests, say \(g_1, g_2,g_3,\ldots\), show up in the lobby and each demands a room. Is it possible to make room for all the new guests even if the hotel is already full?

    The previous problem verifies that there exists a proper subset of the natural numbers that is in bijection with the natural numbers themselves. We also witnessed this in Parts (a) and (b) of Problem 9.29. Notice that Theorem 9.23 forbids this type of behavior for finite sets. It turns out that this phenomenon is true for all infinite sets. The next theorem verifies that that the two viewpoints of infinite sets discussed above are valid. To prove this theorem, we need to prove that the three statements are equivalent. One possible approach is to prove (i) if and only if (ii) and (ii) if and only if (iii). For (i) implies (ii), construct \(f\) recursively. For (ii) implies (i), try a proof by contradiction. For (ii) implies (iii), let \(B=A\setminus \{f(1),f(2),\ldots\}\) and show that \(A\) can be put in bijection with \(B\cup\{f(2),f(3),\ldots\}\). Lastly, for (iii) implies (ii), suppose \(g:A\to C\) is a bijection for some proper subset \(C\) of \(A\). Let \(a\in A\setminus C\). Define \(f:\mathbb{N}\to A\) via \(f(n)=g^n(a)\), where \(g^n\) means compose \(g\) with itself \(n\) times.

    Theorem 9.31. The following statements are equivalent.

    1. The set \(A\) is infinite.
    2. There exists an injective function \(f:\mathbb{N}\to A\).
    3. The set \(A\) can be put in bijection with a proper subset of \(A\) (i.e., there exists a proper subset \(B\) of \(A\) such that \(card(B)=card(A)\)).

    It is worth mentioning that for the previous theorem, (iii) implies (i) follows immediately from the contrapositive of Theorem 9.23. When proving (i) implies (ii) in the previous theorem, did you apply the Axiom of Choice? If so, where?

    Corollary 9.32. A set is infinite if and only if it has an infinite subset.

    Corollary 9.33. If \(A\) is an infinite set, then \(card(\mathbb{N})\leq card(A)\).

    Problem 9.34. Find a new proof of Theorem 9.27 that uses (iii) implies (i) from Theorem 9.31.

    Problem 9.35. Quickly verify that the following sets are infinite by appealing to either Theorem 9.31 (use (ii) implies (i)) or Corollary 9.32.

    1. Set of odd natural numbers
    2. Set of even natural numbers
    3. \(\mathbb{Z}\)
    4. \(\mathbb{N}\times \mathbb{N}\)
    5. \(\mathbb{Q}\)
    6. \(\mathbb{R}\)
    7. Set of perfect squares in \(\mathbb{N}\)
    8. \((0,1)\)
    9. \(\mathbb{C}:= \{a+bi\mid a,b\in\mathbb{R}\}\)

    This page titled 9.3: Infinite Sets is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Dana Ernst via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?