5
$\begingroup$

Let $n$ be a positive integer. It is well-known that $\mathbb{R}^n$ cannot be non-trivially partitioned into open sets, since it is connected.

Let $\frak P$ be a partition of $\mathbb{R}^n$ into closed sets and assume $\mathbb{R}^n\notin{\frak P}$ (that is, ${|\frak P|}>1$). Let ${\frak P}_0\subseteq {\frak P}$ consist of the elements of ${\frak P}$ that have Lebesgue measure $0$. Is it necessarily true that $|{\frak P}_0| = 2^{\aleph_0}$?

$\endgroup$
12
  • 4
    $\begingroup$ Just a small remark: actually all elements of $\mathfrak{P}$ are closed, thus Borel measurable, hence Lebesgue measurable, right? $\endgroup$ Jun 8, 2019 at 6:29
  • 3
    $\begingroup$ @PietroMajer how do we make such a function? $\endgroup$ Jun 8, 2019 at 7:49
  • 4
    $\begingroup$ Not necessarily true. It is consistent that $2^{\aleph_0}$ is arbitrarily large and every Polish space can be partitioned into $\aleph_1$ non empty closed sets. See Theorems 3 and 4 in A. Miller, Covering $2^{\omega}$ with $\omega_1$ disjoint closed sets, here math.wisc.edu/~miller/res/cov.pdf $\endgroup$
    – Ashutosh
    Jun 8, 2019 at 9:25
  • 7
    $\begingroup$ I think several of these comments should be posted as answers. $\endgroup$ Jun 8, 2019 at 9:52
  • 3
    $\begingroup$ Among the interesting things in the Arnold Miller paper cited by Ashutosh is: "Tall remarks that Booth (1968, unpublished) proved that MA [Martin's Axiom -- TT] implies the closed unit interval is not the union of less than $|2^\omega|$ disjoint nonempty closed sets..." $\endgroup$
    – Todd Trimble
    Jun 8, 2019 at 12:02

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.