Open universal sets

DOI10.1016/S0166-8641(02)00141-4MaRDI QIDQ1868879zbMATH OpenFDO

Authors Paul Gartside, Joseph T. H. Lo

Publication date 28 April 2003

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0166-8641(02)00141-4

zbMATH Keywords

cometrisable spacecompact spaceopen universal settopological cardinal invariants

Mathematics Subject Classification ID

Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Compactness (54D30) Separability of topological spaces (54D65) Metric spaces, metrizability (54E35) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Review text

An open set \(U\subseteq X\times Y\) is said to be an open universal set for~\(X\) parametrised by~\(Y\) if for all open sets \(V\subseteq X\) there is \(y\in Y\) such that \(V=\{x:(x,y)\in U\}\). It is shown that the existence of an open universal set puts some restrictions to some of the topological cardinal invariants of the spaces \(X\),~\(Y\). In particular, \(\mathit{w}(X)\leq\text\textit{nw}(Y)\), \(\mathit{hd}(X^n)\leq\text\textit{hL}(Y^n)\), \(\mathit{hL}(X^n)\leq\text\textit{hd}(Y^n)\), and \(\mathit{hc}(X^n)\leq\text\textit{hc}(Y^n)\) for regular Hausdorff spaces \(X\),~\(Y\); if \(X\)~is compact, then also \(\mathit{hL}(X^n)\leq\text\textit{hL}(Y^n)\) and \(\mathit{hd}(X^n)\leq\text\textit{hd}(Y^n)\); if \(X\)~has a~\(G_\delta\)~diagonal, then \(\mathit{hd}(X^\omega)\leq\text\textit{hL}(Y)\), \(\mathit{hL}(X^\omega)\leq\text\textit{hd}(Y)\), and \(\mathit{hc}(X^\omega)\leq\text\textit{hc}(Y)\). The following two statements are shown to be independent of ZFC: (1)~Every compact zero-dimensional space with open universal set parametrised by a~space with the hereditary c.c.c.\ is metrisable. (2)~Every cometrisable space with an open universal set parametrised by a~hereditary c.c.c.\ space is metrisable.

Recommendations

• Publication:4943763
• The hierarchy of Borel universal sets
• Publication:4943761
• Parametrizing open universals
• Universal spaces in the theory of transfinite dimension, II

Cites work

• A note on universal sets for classes of countable G _δ 'S
• Boolean algebras in which every chain and antichain is countable
• Cosmicity of Cometrizable Spaces
• Countable spread of \(\exp Y\) and \(\lambda Y\)
• Easy S and L Groups
• Families of compact sets and their universals
• Forcing Positive Partition Relations
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3582875 (Why is no real title available?)
• scientific article; zbMATH DE number 1416987 (Why is no real title available?)
• Partition Problems in Topology
• The Descriptive Character of Certain Universal Sets

Cited in

(7)

• Parametrizing open universals
• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)
• Cardinal invariants of universals.
• Uniquely universal sets
• scientific article; zbMATH DE number 1416986 (Why is no real title available?)
• scientific article; zbMATH DE number 1416987 (Why is no real title available?)
• scientific article; zbMATH DE number 1416988 (Why is no real title available?)

This page was built for publication: Open universal sets

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