Skip to content

Cardinality of the Continuum

Definition

The cardinality of the continuum, often denoted c\mathfrak{c}, is the cardinality of the real numbers:

c=card⁡(R).\mathfrak{c}=\operatorname{card}(\mathbb{R}).

Interpretation

c\mathfrak{c} is the size of the real line. It is an infinite size strictly larger than ℵ0\aleph_0, the size of N\mathbb{N} (see aleph null): by Cantor's diagonal argument the real numbers cannot be listed as a sequence, so R\mathbb{R} is uncountable.

The graph of tan x between the vertical lines at minus pi/2 and pi/2, mapping that open interval onto the whole real line.

On the open interval (−π2,π2)(-\tfrac{\pi}{2},\tfrac{\pi}{2}) the graph of tan⁡\tan is continuous and increasing, with a vertical asymptote at each end, so every real height is reached exactly once. Hence tan⁡ ⁣:(−π2,π2)→R\tan\colon(-\tfrac{\pi}{2},\tfrac{\pi}{2})\to\mathbb{R} is a bijection, and this short interval has as many points as the whole real line: length plays no role in cardinality. In the same way x↦a+(b−a)xx\mapsto a+(b-a)x maps (0,1)(0,1) bijectively onto any open interval (a,b)(a,b) with a<ba<b.

Less obviously, c=2ℵ0\mathfrak{c}=2^{\aleph_0}, the cardinality of the power set of N\mathbb{N}. Roughly, a number in [0,1][0,1] has a binary expansion 0.b1b2b3…0.b_1b_2b_3\ldots, which corresponds to the set {n ⁣:bn=1}\{n\colon b_n=1\} of positions with digit 11. Even Rn\mathbb{R}^n has no more points than R\mathbb{R}.

Between any two real numbers lies a rational number, yet Q\mathbb{Q} only has cardinality ℵ0\aleph_0. So the extra points are the irrational numbers: if they formed a countable set, R\mathbb{R} would be countable too. Whether some set has a size strictly between ℵ0\aleph_0 and c\mathfrak{c} is the continuum hypothesis.


Key Results

  • card⁡(2N)=2ℵ0=card⁡(R)=c\operatorname{card}(2^{\mathbb{N}})=2^{\aleph_0}=\operatorname{card}(\mathbb{R})=\mathfrak{c}.
  • A bijection is the main tool for proving that two sets have the same cardinality.

Examples

  • The interval [0,1][0,1] has cardinality c\mathfrak{c}.

Prerequisites

Sources

Aliases: continuum cardinality, cardinality of the real numbers, beth one Keywords: cardinality of R Symbols: natural numbers, pi, rational numbers, real numbers

Last updated: 20 October 2026 03:02