Cardinality of the Set of all finite subset of $\mathbb{R}$

Find the cardinality of the set of all finite subsets of $\mathbb{R}$.

I have proved that the set of all finite subsets of $\mathbb{N}$ is countable . But I cannot find the cardinality of the set in case of $\mathbb{R}$ .

My Attempt:

First I have considered the set $$A_k=\{\{a_1, a_2, ..., a_k\}| a_i \in \mathbb{R} \ and\ a_1<...<a_k \}$$

Then $S=$ The set of all finite subsets of $\mathbb{R}=\bigcup_{n=1}^{\infty}A_{n}$,
and now in the case of $\mathbb{N}$, I could show that this $A_k$ is countable and consequently the set of all finite subset of $\mathbb{N}$ is countable.

But in this case I cannot say anything like this...In this case the set will be of the cardinality as that of $\mathbb{R}$ (I think). But cannot prove it.

I appreciate your help. Thank you.


We can show that $\#S \ge {c}$ via the injection $f: \mathbb{R} \rightarrow S$, $f(x) = \{x\}$.

If you show $\#S \le c$ then you can conclude $\#S = c$ invoking Bernstein's theorem.


Let's prove the following: let $X = \{X_k,\ k \in \mathbb{N}\}$ be a family of subsets such that $\#X_i \le c$, $\ \forall i \in \mathbb{N}$, and let $V = \bigcup_{k\in \mathbb{N}}X_k$. Then $\#V \le c$.

Because $\#X_i \le c$, we have for each $i$ a surjective $f_i: \mathbb{R} \rightarrow X_i$. We define $g: \mathbb{N} \times \mathbb{R} \rightarrow V$, $g(n,x) = f_n(x)$.

$g$ is an surjective function: let $x \in V$, then $x \in X_i$ for some $i$, then we have $a \in \mathbb{R}$ such that $f_i(a) = x$ because $f_i$ is surjective. Then $g(i,a) = f_i(a) = x$, with $(i,a) \in \mathbb{N}\times\mathbb{R}$.

We conclude that $g$ is surjective.

Thus $\#V \le \#(\mathbb{N}\times\mathbb{R})$, this is, $\#V \le c$.


Your set $S$ satisfies the hypotheses, so we have $\#S \le c$, and thus $\#S = c$.