Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Why is cardinality of real number $2^{\aleph_0}$? While I know that real numbers can be constructed using sets of natural numbers, that solely does not mean that real number has cardinality $2^{\aleph_0}$. So, what makes real number cardinality $2^{\aleph_0}$?

I can't find why it is like this in my textbook...

share|improve this question
Cantor set.${}{}{}$ –  Asaf Karagila Jun 2 '12 at 8:32
Binary expressions –  Henry Jun 2 '12 at 8:56
add comment

1 Answer 1

Use the Cantor–Bernstein–Schroeder theorem:

Choose $x\in \mathbb{R}$, and let $\{b_i\}_{i=1}^{\infty}$ be the (shortest) binary expansion of $\frac{1}{2}+\frac{\arctan x}{\pi}$ (which is in $(0,1)$). Then define $\phi(x) = \{ i | b_i = 1 \}$. This establishes an injective map $\phi:\mathbb{R}\to 2^{\mathbb{N}}$.

To go the other way, suppose $A \subset \mathbb{N}$. Then let $t_i = 1_A(i)$ (indicator function), and define $\eta(A) = \sum_{i=1}^{\infty}\frac{t_i}{3^i}$. This establishes an injective map $\eta : 2^{\mathbb{N}} \to \mathbb{R}$.

The desired result follows from the Cantor–Bernstein–Schroeder theorem.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.