Uniquely universal sets (Q439301): Difference between revisions

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: 1. If \(Y\) is a locally compact zero-dimensional Polish space which is not compact, then \(2^\omega\times Y\) has UU. 2. If \(Y\) is Polish, then \(\omega^\omega\times Y\) has UU iff \(Y\) is not compact. 3. If \(Y\) is a \(\sigma\)-compact subset of a Polish space which is not compact, then \(\omega^\omega\times Y\) has UU.