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

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.topol.2006.05.007 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.TOPOL.2006.05.007 / rank
 
Normal rank

Latest revision as of 06:01, 10 December 2024

scientific article
Language Label Description Also known as
English
Game approach to universally Kuratowski-Ulam spaces
scientific article

    Statements

    Game approach to universally Kuratowski-Ulam spaces (English)
    0 references
    0 references
    0 references
    9 February 2007
    0 references
    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.
    0 references
    open-open game: I-favorable space
    0 references
    uK-U space
    0 references
    uK-U\(^\ast\) space
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references