I'm looking for cardinality of $P_{fin}(\Bbb{N})=\{x|x\subset\Bbb{N}$ and $x$ finite$\}$. I was told in my classes that it's $\aleph_0$, but how to prove it?
Asked
Active
Viewed 2,903 times
0
-
Show there is a bijection between $P_{fin}(\mathbb N)$ and $\mathbb N$. – davcha Jan 27 '15 at 09:41
1 Answers
4
Hint: Show that there is a natural bijection between $P_{\text{fin}}(\mathbb{N})$ and $\mathbb{N}$; one particularly nice one is more apparent when you work in binary.
Travis Willse
- 99,363
-
Is it something like: Give me a subset and I'll give you 1... where ... is a number that on i'th position has 1 if i is in set and otherwise 0? – qiubit Jan 27 '15 at 09:49
-
1Yes, that will do nicely! All you have to do to finish the argument is to show that this candidate map is bijective. In this case, it's not too difficult to describe the inverse of the map explicitly. – Travis Willse Jan 27 '15 at 09:51