Spaces which are generated by discrete sets. (Q1421967): Difference between revisions

The systematic research of the property of a space to be generated by its discrete subsets was started out by \textit{A. Dow, M. G. Tkachenko}, \textit{V. V. Tkachuk} and \textit{R. G. Wilson} [Glas. Mat., III. Ser. 37(57), No. 1, 187--210 (2002; Zbl 1009.54005)] who among other things proved that sequential spaces, monotonically normal spaces and compact countably tight spaces are discretely generated. In the paper under review the authors continue this study. Among other interesting results they show the following: Theorem 1. Every Hausdorff space of countable fan tightness is discretely generated; Theorem 2. Every countable compact regular space of countable tightness is discretely generated. Theorem 1 and the well-known result saying that \(C_{p}(X)\) has countable fan tightness if and only if \(X^{n}\) is a Hurewicz space for each \(n<\omega\) permit the authors to obtain two appealing consequences: (1) if \(X\) is a \(\sigma\)-compact space, then \(C_{p}(X)\) is discretely generated, and (2) every normed linear space in the weak topology is discretely generated. The last section of the paper contains two interesting non-trivial examples: (1) Under [CH], there exists a pseudoradial compact zero-dimensional space which is not discretely generated, and (2) Under [CH], there is a pseudocompact Tychonoff space of countable tightness which is not discretely generated. Notice that both examples need the Continuum Hypothesis. It is not known if they are true in ZFC.