Spaces which are generated by discrete sets. (Q1421967)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Spaces which are generated by discrete sets.
scientific article

    Statements

    Spaces which are generated by discrete sets. (English)
    0 references
    0 references
    0 references
    3 February 2004
    0 references
    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.
    0 references
    discretely and weakly discretely generated sets
    0 references
    fan tightness
    0 references
    countable compactness
    0 references
    pseudoradial spaces
    0 references
    remote point
    0 references
    pseudocompactness
    0 references
    Lindelöf P-spaces
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references