A note on products of (weakly) discretely generated spaces (Q386221): Difference between revisions

A (Hausdorff) space \((X,\tau)\) is said to be \textsl{discretely generated at \(x\in X\)} if whenever \(A\subseteq X\) and \(x\in\text{cl}(A)\), there is a discrete subset \(D\subseteq A\) such that \(x\in\text{cl}(D)\); the space \((X,\tau)\) is \textsl{discretely generated} if it is discretely generated at each of its points. The space \((X,\tau)\) is \textsl{weakly discretely generated} if whenever \(A\subseteq X\) is not closed, then there is a discrete subset \(D\subseteq A\) such that cl\((D)\setminus A\neq\emptyset\). These classes were introduced by \textit{A. Dow} et al. [Glas. Mat., III. Ser. 37, No. 1, 187--210 (2002; Zbl 1009.54005)] where among other results it was shown that each monotonically normal space is discretely generated and each compact Hausdorff space is weakly discretely generated. The classes are natural generalizations of the classes of Fréchet and sequential Hausdorff spaces respectively. Examples of discretely generated compact Hausdorff spaces whose square is not discretely generated have been given under CH by \textit{E. Murtinová} [Topology Appl. 155, No. 17--18, 2211--2215 (2008; Zbl 1168.54006)] and \textit{A. V. Ivanov} and \textit{E. V. Osipov} [Math. Notes 87, No. 3, 367--371 (2010); translation from Mat. Zametki 87, No. 3, 396--401 (2010; Zbl 1206.54003)], but no ZFC example is known. The problem of determining sufficient conditions in order to guarantee that a product of two (weakly) discretely generated spaces is (weakly) discretely generated was first studied by \textit{O. T. Alas} and the reviewer [Topology Appl. 160, No. 3, 532--537 (2013; Zbl 1267.54025)] and the present paper generalizes many of the results of this article. Sample results are as follows: Theorem 1. If \(X\) is a \(T_3\)-space with a nested local base at \(a\in X\) and \(Y\) is discretely generated at \(b\in Y\), then \(X\times Y\) is discretely generated at \((a,b)\). Corollary 2. The product of an \(l\)-nested \(T_3\)-space and a discretely generated space is discretely generated. Theorem 5. If \(X\) is a GO-space and \(Y\) is discretely generated, then \(X\times Y\) is discretely generated. Theorem 17. Suppose that \(X\) is a locally compact GO-space, \(lX\) is a linearly ordered compactification of \(X\) and \(Y\) is weakly discretely generated; if \(X\times Y\) is weakly discretely generated and \(lX\setminus X\) is scattered, then \(lX\times Y\) is weakly discretely generated.