Is there a partition $\pi$ of $\mathbb{R}$ such that $\lvert \pi \rvert = \mathfrak{c}$ and $\forall X \in \pi~ \lvert X \rvert = \mathfrak{c}$?

77 Views Asked by At

I was wondering if there's a partition $\pi$ of $\mathbb{R}$ such that $\lvert \pi \rvert = \mathfrak{c}$ and $\forall X \in \pi~ \lvert X \rvert = \mathfrak{c}$. Now, I know that there exist partitions of $\mathbb{N}$ whose cardinality is $\aleph_0$ and every set in them is also of cardinality $\aleph_0$. I was wondering if that is the case for $\mathbb{R}$, too?
If so, what's an example of such partition? I think such partition exists because $\mathfrak{c} \cdot \mathfrak{c} = \mathfrak{c}$, but I can't think of a specific one.

Thanks in advance!

2

There are 2 best solutions below

1
On

Such a partition does exist. If one has a bijection $f:\mathbb R\to \mathbb R\times\mathbb R$, one can define $$X_r=\{t\in \mathbb R\colon f(t)=(r,y)\text{ for some }y\in\mathbb R\},$$ i.e. the preimage of the line $x=r$ in $\mathbb R^2$. Then, since these lines in $\mathbb R^2$ are disjoint and have union all of $\mathbb R^2$, the sets $\{X_r\colon r\in\mathbb R\}$ are disjoint and have union $\mathbb R$. These sets are clearly indexed by $\mathbb R$, and so the set of them has cardinality $\mathfrak c$, but each set $X_r$ is also indexed by $\mathbb R$ (via $y$), so each such set has cardinality $\mathfrak c$.

2
On

For each $\alpha$ in the interval $[0,9],$ let $S_{\alpha}$ be the set of all real numbers which, when written in decimal expansion $ k_1\ k_2\ \ldots\ k_{n-1}\ k_n\ .\ k_{n+1}\ k_{n+2}\ldots, $ have the property that $\displaystyle\lim_{n\to\infty} \left(\frac{\displaystyle\sum_{i=1}^{n} k_i}{n}\right) = \alpha. $

Further, let $T$ be the set of all real numbers whose decimal expansion has the property that $\displaystyle\lim_{n\to\infty} \left(\frac{\displaystyle\sum_{i=1}^{n} k_i}{n}\right)$ does not converge.

Then, $\vert T \vert = 1,\ \left \vert\ \{\ S_{\alpha}: \alpha \in [0,9]\ \}\ \right \vert = \mathfrak{c},\ $ and

$\ T\cup \left(\bigcup\limits_{\alpha\in [0,9]} S_{\alpha}\right) = \mathbb{R} $ is an uncountable partition of $\mathbb{R}$ into uncountable sets.