Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is $2^{|\mathbb{N}|} = |\mathbb{R}|$? If so, how?

I was reading the Wiki page on the , and it says "Moreover, $\mathbb{R}$ has the same number of elements as the power set of $\mathbb{N}$", but I don't see how this is true?

I feel like it has something to do with binary, but I'm not too sure how it works? Do I have to show a map of all reals can be done in binary? I'm just very confused, and any advice would be appreciated!

share|cite|improve this question
What on earth does "a map of all reals can be done in binary" mean? – Chris Eagle Oct 8 '12 at 18:55
Have you tried searching this site for the answer? – Asaf Karagila Oct 8 '12 at 19:06

In short: A binary number $0.a_1a_2a_3\ldots$ can be identified with the set $\{n\in \mathbb N\mid a_n\ne 0\}$. A few details have to be checked, though

share|cite|improve this answer
Amplifying on this, we have issues like the fact that 1.00000... and 0.11111... represent the same number. These issues don't turn out to have any effect on the result of the argument, because there are in some sense very few of these examples -- most real numbers do not end in 000... or 111... – Ben Crowell Oct 8 '12 at 20:03

You can have a bijection from $\{0,1\}^{\mathbb N}$ to $\mathbb P(\mathbb N)$. Take the vector $a\in \{0,1\}^{\mathbb N} $ and map it to $A\subset \mathbb N$ with $i \in A \Leftrightarrow a_i = 1$. (It's easy to show that is a bijection)

Now as $|\mathbb P(\mathbb N)| = |\mathbb R|$, you can construct a bijection from $\{0,1\}^{\mathbb N}$ to $\mathbb R$. Note that I have used $\{0,1\}$ instead of your 2.

share|cite|improve this answer

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.