Game approach to universally Kuratowski-Ulam spaces (Q864457): Difference between revisions

The following modification of the open-open game introduced by \textit{P. Daniels, K. Kunen} and \textit{Z. Zhou} [Fundam. Math. 145, No. 3, 205--220 (1994; Zbl 0811.54008)] is considered by the authors: Two players take turns playing with a topological space \(X\). Player I chooses a finite family \(\mathcal{A}_0\) of non-empty subsets of \(X\); and Player II chooses a finite family \(\mathcal{B}_0\) of non-empty subsets of \(X\) such that for each \(U\in \mathcal{A}_0\) there exists \(V\in \mathcal{B}_0\) with \(V\subseteq U\). Similarly, at the \(n\)th round Player I chooses a finite family \(\mathcal{A}_n\) of non-empty subsets of \(X\). Then Player II chooses a finite family \(\mathcal{B}_n\) of non-empty subsets of \(X\) such that for each \(U\in \mathcal{A}_n\) there exists \(V\in \mathcal{B}_n\) with \(V\subseteq U\). If for any natural number \(n\) the union \(\bigcup_{k\geq n} B_k\) is a dense subset of \(X\), then Player I wins; otherwise Player II wins. The space \(X\) is \textit{\(I\)-favorable} whenever Player I can be insured, by choosing his families judiciously, that he wins no matter how Player II plays. Among others, the following results are proved: (1) if a compact space \(X\) is \(I\)-favorable, then the hyperspace \(exp(X)\) with the Vietoris topology is \(I\)-favorable, too; (2) every \(I\)-favorable space is universally Kuratowski-Ulam* (\(uK-U^\ast\) space) (therefore, if a compact space \(X\) is \(I\)-favorable, then the hyperspace \(\exp(X)\) with the Vietoris topology is \(uK-U^\ast\)). As a consequence, it follows that if \(\lambda>\omega_1\) and \(D^\lambda\) denotes the Cantor cube of weight \(\lambda\), then the hyperspace \(\exp(D^\lambda)\) with the Vietoris topology is \(uK-U^\ast\). Along this line, the notions of \(uK-U\) and \(uK-U^*\) spaces are compared.