In: Advanced Math
Does there exist a partition of R that is an uncountably infinite partition that consists of uncountably infinite sets? If so, construct such a partition, otherwise prove that such a partition can not exist.
We know that
has the same cardinality as
. So, there exists a bijection
Now, consider the following family of sets in
where
Then, each
and the family
forms an uncountably infinite partition of
, with each
uncountably infinite as well.
Now, consider the image of each of these
under the bijection
, given by
.
Then, by construction, the family of sets
is the required uncountably infinite partition of
that consists of uncountably infinite sets.