The cardinality of a countable union of sets with less than continuum cardinality

Assuming the Axiom of Choice, the real line cannot be a union of countably many sets each of size less than continuum. To prove this, one needs to know that the continuum has cofinality strictly greater than $\omega$. (The cofinality of an limit ordinal $\delta$ is the least cardinality of a set $X$ of ordinals strictly less than $\delta$ such that $\delta = \sup (X)$.)

This resolves you question because if $\{ A_n : n \in \omega \}$ is a family of subsets of $\mathbb{R}$ each with size strictly less than $2^{\omega}$, then setting $\kappa = \sup \{ |A_n| : n \in \omega \}$ we have that $\kappa < 2^\omega$. It then follows that $$| \textstyle{\bigcup_{n < \omega}} A_n | \leq \sum_{n < \omega} | A_n | \leq \sum_{n < \omega} \kappa = \omega \cdot \kappa = \max \{ \omega , \kappa \} < 2^{\omega},$$ and therefore $\bigcup_{n < \omega} A_n$ cannot equal all of $\mathbb{R}$.

Without the Axiom of Choice, it is possible that the continuum is a countable union of countable sets. (Note that this does not contradict the well-known fact (provable without Choice) that $\mathbb{R}$ is uncountable because in such models countable unions of countable sets need not be countable.)


To add to what Arthur said, one way to show (assuming AC) that $2^{\aleph_0}$ has uncountable cofinality is to use König's theorem

( http://en.wikipedia.org/wiki/K%C3%B6nig%27s_theorem_%28set_theory%29, )

which is a generalization of Cantor's theorem. An instance of König's theorem says that given a countable sequence of sets $(A_i : i<\omega)$ such that $|A_i|<|\mathbb{R}|$ for all $i$, we have

$\sum_{i<\omega} |A_i| < \prod_{i<\omega} |\mathbb{R}|$.

The right hand side is equal to $|\mathbb{R}|$ because countable sequences of reals can be coded by reals.


As remarked by others, assuming the axiom of choice this is false.

However there are several interesting cases when the axiom of choice fails:

  1. The real numbers may be a countable unions of countable sets.
  2. The real numbers may be the union of two sets both of cardinality strictly less than the continuum, furthermore at least one of these sets can be split into two smaller sets, so we can even split the continuum into three sets of smaller cardinality; and so on.