D-spaces (Q5939248)

For a space \((X,\tau)\), a function \(U:X\to\tau\) such that each \(x\in U(x)\) is called an open neighborhood assignment (ONA). \((X,\tau)\) is a \(D\)-space if for each ONA, \(U\), there exists a closed discrete \(D\subset X\) such that \(\bigcup\{U(x) \mid x\in D\}= U(D)=X\). For an ONA \(U:x\to \tau\) and \(D \subset X\), \(D\) is said to be \(U\)-sticky if \(D\) is closed discrete and \(x\in U(D)\) whenever \(U(x)\cap D\neq \emptyset\). Among other results, it is proved that (1) Box products of scattered spaces of height 1 are \(D\)-spaces, (2) A subspace of a linearly ordered space is a \(D\)-space iff it has no closed stationary subset (a harder proof of this result is due to van Douwen), (3) A subspace of the product of finitely many ordinals is a \(D\)-space iff it is metacompact iff it has no closed stationary subsets.