Uniquely universal sets

DOI10.1016/J.TOPOL.2012.05.015MaRDI QIDQ439301zbMATH OpenOpenAlexFDO

Authors Arnold W. Miller

Publication date 16 August 2012

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

Full work available at URL https://arxiv.org/abs/1106.1629

zbMATH Keywords

Baire spaceCantor spacePolish spaceunique parameterizationuniversal set

Mathematics Subject Classification ID

Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We say that X x Y satisfies the Uniquely Universal property (UU) iff there exists a set U open in X x Y such that for every open set W in Y there is a unique cross section U_x of U with U_x=W. Michael Hrusak raised the question of when does X x Y satisfy UU and noted that if Y is compact then X must have an isolated point. We prove the following: 1. If Y is a locally compact noncompact Polish space, then C x Y has UU where C is the Cantor space. 2. If Y is Polish, then B x Y has UU iff Y is not compact where B is the Baire space. 3. If Y is a sigma-compact subset of a Polish space which is not compact, then B x Y has UU.

Review text

We say that the product \(X\times Y\) of two topological spaces satisfies the uniquely universal property (UU) iff there exists an open set \(U\subseteq X\times Y\) such that for every open set \(W\subseteq Y\) there is a unique \(x\in X\) such that \(U_x=\{y\in Y:(x,y)\in U\}=W\). In 1995 Michael Hrušak posed the question for which spaces \(X,Y\) their product satisfies UU. In the paper under review the author considers this problem when \(X=2^\omega\) or \(X=\omega^\omega\) and presents several results on this subject. In particular, the following theorems are proved:NEWLINENEWLINE 1. If \(Y\) is a locally compact zero-dimensional Polish space which is not compact, then \(2^\omega\times Y\) has UU.NEWLINENEWLINE 2. If \(Y\) is Polish, then \(\omega^\omega\times Y\) has UU iff \(Y\) is not compact.NEWLINENEWLINE 3. If \(Y\) is a \(\sigma\)-compact subset of a Polish space which is not compact, then \(\omega^\omega\times Y\) has UU.

Recommendations

• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)
• Open universal sets
• Publication:4943763
• Universally meager sets
• Weakly α-favourable measure spaces

Cites work

• Borel and Analytic One-One Parametrizations of the Countable Sets of Reals
• Descriptive set theory
• Effectively closed sets and enumerations
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• scientific article; zbMATH DE number 3073207 (Why is no real title available?)
• On the unique representation of families of sets
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication

Cited in

(5)

• Uniquely universal sets in \(\mathbb{R} \times \omega\) and \([0, 1] \times \omega\)
• scientific article; zbMATH DE number 40760 (Why is no real title available?)
• Universal sets for ideals
• Reductions on equivalence relations generated by universal sets
• Uniquely undefinable elements

This page was built for publication: Uniquely universal sets

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