Consider the following statement:
Prove that it is possible to write $\Bbb R$ as a union $\Bbb R= \bigcup_{i\in I} A_{i}$ where $A_{i} \cap A_{j}= \emptyset$ if $i\neq j$, $i,j \in I$,and such that each $A_{i}$ and $I$ are uncountable sets.
There is a same question here (The real numbers as the uncountably infinite union of disjoint uncountably infinite sets). And my question is about one of the answers from that question.
Thanks for Kyle Gannon who gives a constructive proof:
Since $|\mathbb{R}| = |\mathbb{R} \times \mathbb{R}| $, there exists a bijection $f$ from $\mathbb{R} \to \mathbb{R} \times \mathbb{R} $. Then $\mathbb{R} = \bigcup_{a \in \mathbb{R}} f^{-1}(\mathbb{R},a)$ where $f^{-1}(\mathbb{R},a) = \{b \in \mathbb{R}: f(b) = (c,a)$ for some $c \in \mathbb{R} \}$.
This answer is reasonable to me. But I am struggling with proving the the facts that the set $f^{-1}(\mathbb{R},a)$ is uncountable, each $f^{-1}(\mathbb{R},a)$ is disjoint from one another and the union of them is the whole set of real numbers. They all seem intuitively true to me but I just want to know how to formally prove them.I would really appreciate if someone could help me. Thanks so much!
This just says that the plane is the union of vertical lines each of which contains uncountably many points, and all vertical lines are disjoint. Then you transfer this partition back to $\mathbb R$ using the mysterious bijection $f$.
Instead of working with such a mysterious bijection, one can use a more meaningful embedding of $\mathbb R$ into a hyperreal field ${}^\ast\mathbb R$ (obtained as ultrapower with index set $\mathbb N$) which is known to have the same cardinality. Then each galaxy in ${}^\ast\mathbb R$ is uncountable, and there are uncountably many galaxies.
Here a galaxy is a set of hyperreal numbers at finite distance one from another.