Elementary chains and compact spaces with a small diagonal

From MaRDI portal



Abstract: It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable pi-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character.


A~space~\(X\) is said to have a~small diagonal, if every uncountable subset of~\(X^2\) that is disjoint from the diagonal has an uncountable subset whose closure is disjoint from the diagonal. By a~csD-space is meant a~compact Hausdorff space with a~small diagonal. The authors explore properties of csD-spaces using elementary chains of substructures. They prove that ccc subspaces of csD-spaces have countable \(\pi\)-weight, they generalize a~result of Gruenhage about spaces which are metrizably fibered, and they prove that if there is a~Luzin set of reals, then every csD-space has many points of countable character. The main question on csD-spaces, namely whether they are metrizable, remains open.











This page was built for publication: Elementary chains and compact spaces with a small diagonal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q441367)