Power of sets - $\{0,1\}^\mathbb{N} \simeq \mathbb{N}^\mathbb{N}$

160 Views Asked by At

I've got a problem with prove about cardinality of sets.
How can I prove that $\lbrace 0,1 \rbrace^\mathbb{N} \simeq \mathbb{N}^\mathbb{N}$?

3

There are 3 best solutions below

0
On

Hint. Note that $$ \big\lvert \{0,1\}^{\mathbb N}\big\rvert\le \lvert {\mathbb N}^{\mathbb N}\rvert $$ and $$ \lvert {\mathbb N}^{\mathbb N}\rvert\le \big\lvert \big(\{0,1\}^{\mathbb N}\big)^{\mathbb N}\big\rvert=\big|\{0,1\}^{\mathbb N\times\mathbb N}\big|=\big|\{0,1\}^{\mathbb N}\big|. $$

0
On

It's enough consider the following inequalities

$2^\omega\leq \omega^\omega \leq (2^\omega)^\omega = 2^{\omega\cdot\omega}=2^\omega$

Also, you can easily generalize this argument for infinite cardinal numbers.

0
On

Hint:

An injection from $\mathbb{N}^\mathbb{N}$ to $\{0,1\}^\mathbb{N}$ could be given by $(a_1,a_2,a_3,...)\mapsto \underbrace{1,1,...,1}_{a_1 \mbox{ times }},0,\underbrace{1,1,...,1}_{a_2 \mbox{ times }},0,\dots$