Compactness properties defined by open-point games

DOI10.1016/J.TOPOL.2020.107196MaRDI QIDQ2216573zbMATH OpenOpenAlexFDO

Authors Alejandro Dorantes-Aldama, Dmitri Shakhmatov

Publication date 16 December 2020

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

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

zbMATH Keywords

convergence propertycountable compactnesssequential compactnessstationary winning strategytopological gamevan Douwen MAD familywinning strategy

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Compactness (54D30) Counterexamples in general topology (54G20) Games involving topology, set theory, or logic (91A44)

Abstract: Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move, Player A chooses a non-empty open subet U_n of X, and Player B responds by selecting a point x_n in U_n. Player B wins the game if the sequence (x_n) satisfies property S in X; otherwise, Player A wins. The (non-)existence of regular or stationary winning strategies in OP(X,S) for both players defines new compactness properties of the underlying space X. We thoroughly investigate these properties and construct examples distinguishing half of them, for an arbitrary property S sandwiched between sequential compactness and countable compactness.

Review text

The authors study topological properties related to sequences in an abstract space, by considering suitable topological games. Consider that it is given a topological property \(S\) about sequences in a topological space (properties such as, for example, ``to contain a convergent subsequence or ``to have an accumulation point). The authors introduce an open-point game for two players 1 and 2 on a topological space \(X\), such that in the \(n\)-th move, Player 1 chooses a non-empty open set (say \(U_n\)) in the topology given a priori on \(X\), and Player 2 responds by selecting a point that belongs to that open set \(U_n\). Player 2 wins the game if the sequence of points so constructed satisfies the property \(S\) considered a priori on the given topological space \(X\). Otherwise, it is Player 1 who wins. The (non-)existence of regular or stationary winning strategies in that game for both players defines new compactness properties of the underlying space \(X\). The authors investigate in depth those properties. They construct suitable examples for this analysis, for an arbitrary property \(S\) sandwiched between sequential compactness and countable compactness.

Recommendations

• Reprint of: ``Compactness properties defined by open-point games
• The story of a topological game
• scientific article; zbMATH DE number 3915185
• More on ultrafilters and topological games
• Topological properties defined by games and their applications

Cites work

• A new kind of compactness for topological spaces
• A pseudocompact group which is not strongly pseudocompact
• Group-valued continuous functions with the topology of pointwise convergence
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• Selective sequential pseudocompactness
• Selectively sequentially pseudocompact group topologies on torsion and torsion-free abelian groups
• Spaces with Dense Conditionally Compact Subsets
• Strong pseudocompact properties.
• There is a van Douwen MAD family

Cited in

(15)

• Games, covering properties and Eberlein compacts
• A game characterization of limit-detecting sequences in locally compact G-spaces.
• Reprint of: ``Compactness properties defined by open-point games
• New types of winning strategies via compact spaces
• The story of a topological game
• Open-point topological games and productivity of dense-separable property
• More on ultrafilters and topological games
• Every Lusin set is undetermined in the point-open game
• scientific article; zbMATH DE number 695617 (Why is no real title available?)
• Some applications of the point-open subbase game.
• On k-tactics in Gruenhage's compact-point game
• A note on the Freese–Nation property and topological games
• A point-picking game
• On selectively highly divergent spaces
• The Baire property on the hyperspace of nontrivial convergent sequences

This page was built for publication: Compactness properties defined by open-point games

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