3
$\begingroup$

Is $\Box_{n\in\omega} \mathbb{R}$ (that is $\mathbb{R}^\omega$ endowed with the box topology) metacompact?

$\endgroup$
3
  • 4
    $\begingroup$ Wikipedia says that the box topology on $\mathbb{R}^\omega$ is paracompact if the continuum hypothesis holds and paracompact spaces are metacompact. So under CH the answer is positive. $\endgroup$ Aug 21, 2018 at 16:29
  • 3
    $\begingroup$ It seems that the paracompactness of the box topology on $\mathbb R^\omega$ can be proved under $\mathfrak b=\mathfrak d$ (which is equivalent to the existence of a scale in $\omega^\omega$). $\endgroup$ Aug 21, 2018 at 20:44
  • 3
    $\begingroup$ @TarasBanakh, Also under $\mathfrak{b}=\aleph_1$ and under $\mathfrak{d}=\mathfrak{c}$. $\endgroup$ Aug 21, 2018 at 22:30

0

Your Answer

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

Browse other questions tagged or ask your own question.