On monotonically normal and transitively (linearly) dually discrete spaces (Q2065116)

Given a topological space \(X\), let \(\tau(X)\) be the topology of \(X\). A \emph{neighborhood assignment} in a space \(X\) is a map \(\phi:X\to \tau(X)\) such that \(x\in \phi(x)\) for every \(x\in X\). The space \(X\) is called \emph{dually discrete} if, for any neighborhood assignment \(\phi\) on \(X\), there exists a discrete set \(D\subset X\) such that \(\bigcup\{\phi(x): x\in D\}= X\). The authors call a space \(X\) \emph{weakly dually discrete} if, for any neighborhood assignment \(\phi\) in \(X\), there exists a discrete subset \(D\subset X\) such that \(X=\bigcup\{\phi(x): x\in D\} \cup \overline D\) and \(\overline D \setminus(\{\phi(x): x\in D\})\) is a closed discrete subspace of \(X\). The notions of linear dual discreteness and transitive dual discreteness are also introduced and studied in the paper. It is established, among other things, that if \(X\) is a monotonically normal space, then for any neighborhood assignment \(\phi\) in \(X\), there exists a discrete subset \(D \subset X\) such that \(X=\bigcup\{\phi(x): x\in D\} \cup \overline D\) and \(\overline D \setminus(\{\phi(x): x\in D\})\) is left-separated. The authors show that closed subspaces and direct sums of weakly dually discrete spaces are weakly dually discrete while weak dual discreteness implies transitive dual discreteness and the latter implies linear dual discreteness. It is deduced from the above-mentioned results that every monotonically normal space is transitively dually discrete.