Spaces having a small diagonal

From MaRDI portal



Abstract: We obtain several results and examples concerning the general question ``When must a space with a small diagonal have a G_delta-diagonal?". In particular, we show (1) every compact metrizably fibered space with a small diagonal is metrizable; (2) there are consistent examples of regular Lindelof (even hereditarily Lindelof) spaces with a small diagonal but no G_delta-diagonal; (3) every first-countable hereditarily Lindelof space with a small diagonal has a G_delta-diagonal; (4) assuming CH, every Lindelof Sigma-space with a small diagonal has a countable network; (5) whether countably compact spaces with a small diagonal are metrizable depends on your set theory; (6) there is a locally compact space with a small diagonal but no G_delta diagonal.


It is known that a space with a \(G_\delta\)-diagonal has a small diagonal. The question is, for what classes of spaces does small diagonal imply \(G_\delta\)-diagonal? In the present paper, the author offers several nice results and interesting examples concerning the above question. More precisely, the author shows: (1) every compact metrizably fibered space with a small diagonal is metrizable; (2) there are consistent examples of regular Lindelöf (even hereditarily Lindelöf) spaces with a small diagonal but no \(G_\delta\)-diagonal; (3) every first-countable hereditarily Lindelöf space with a small diagonal has a \(G_\delta\)-diagonal; (4) assuming CH, every Lindelöf \(\Sigma\)-space with a small diagonal has a countable network; (5) the statement ``Countably compact spaces with a small diagonal are metrizable is consistent with and independent of ZFC; (6) there is in ZFC a locally compact space with a small diagonal but no \(G_\delta\)-diagonal.



Cites work









This page was built for publication: Spaces having a small diagonal

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