Dice Question Streamline Icon: https://streamlinehq.com

ZFC existence of a Corson compactum whose countable power lacks a dense metrizable subspace

Determine whether, within ZFC, there exists a Corson compact space X such that its countable power X^ω does not contain a dense metrizable subspace.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper establishes a characterization for when the countable power of a Corson compactum has a dense metrizable subspace, namely that Xω has such a subspace if and only if c(Xω) > w(X). Using this, the authors construct several consistent examples of Corson compacta whose countable powers do not have dense metrizable subspaces.

Despite these consistent constructions, the authors note that it remains unresolved in ZFC whether any Corson compactum exists whose countable power lacks a dense metrizable subspace. This question sits at the core of the paper’s theme of understanding dense metrizable subspaces in powers of Corson compacta.

References

Exploiting this, we then show a few consistent examples of Corson compact spaces whose countable power does not contain a dense metrizable subspace. It is an open question whether such a space exists in ZFC.

Dense metrizable subspaces in powers of Corson compacta (2403.15799 - Leiderman et al., 23 Mar 2024) in Section 1 (Introduction)