Dually discrete spaces (Q930746)

The class of D-spaces, introduced by \textit{E. van Douwen} in his paper with \textit{W. F. Pfeffer} [Pac. J. Math. 81, 371--377 (1979; Zbl 0409.54011)], has attracted recent interest. For instance, see the article by Todd Eisworth in the book [\textit{E. Pearl}, Open Problems in Topology II. Amsterdam: Elsevier (2007; Zbl 1158.54300)]. Dually discrete spaces are a natural generalization of D-spaces. A neighborhood assignment in a space \(X\) is a family \(\mathcal O=\{O_x:x\in X\}\) such that for all \(x\in X\), \(O_x\) is a neighborhood of \(X\). A kernel of a neighborhood assignment \(\mathcal O\) is a set \(Y\subset X\) such that \(\cup\{O_x:x\in Y\}=X\). A space is said to be a D-space provided for every neighborhood assignment in \(X\) there exists a kernel which is a closed discrete set in \(X\). A space is called dually discrete provided for every neighborhood assignment in \(X\) there exists a kernel which is a discrete subspace of \(X\). We mention a few results in this paper. Example~2.2: The dually discrete property is not preserved by open surjective maps in the class of Hausdorff spaces. Corollary~2.12: There is a D-space whose square is not a D-space. Theorem~3.1: A GO-space which is locally of countable extent is dually discrete. Theorem~3.4: Every ordinal is hereditarily dually discrete. Theorem~3.7: If \(X\) is a sequentially compact, dually discrete \(T_1\)-space and \(Y\) is a sequential, dually discrete \(T_1\)-space then \(X\times Y\) is dually discrete.