On \(w_{\alpha{}}\)-compactness (Q1201228)

From MaRDI portal
Revision as of 21:47, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On \(w_{\alpha{}}\)-compactness
scientific article

    Statements

    On \(w_{\alpha{}}\)-compactness (English)
    0 references
    0 references
    17 January 1993
    0 references
    This paper generalizes the concept of \(w\)-compact spaces introduced by the reviewer [Topology Appl. 11, 173-187 (1980; Zbl 0441.54012)] to involve infinite cardinals. Let \(\alpha\) be an infinite cardinal. A topological space \(X\) is called \(w_ \alpha\)-compact iff for each open cover \(\{G_ \lambda\}_{\lambda \in \Lambda}\) of \(X\) there is \(J \subset \Lambda\), \(| J| < \alpha\), such that \(\bigcup_ JG_ \lambda\) is \(\tau\)-dense in \(X\) (i.e., dense in the topology generated by all of cozero-sets in \(X\)). For completely regular spaces, this concept coincides with weak \(\alpha\)-compactness introduced by \textit{A. W. Hager} [Trans. Am. Math. Soc. 140, 87-94 (1969; Zbl 0192.596)] and for \(\alpha = \aleph_ 0\), with \(w\)-compactness. A space \(X\) is said to be \(\alpha\)- discrete iff the intersection of any family, of cardinality less than \(\alpha\), of open sets is open. The main results generalize the results of the reviewer [loc. cit.] and of Hager [loc. cit.]: (1) A space \(X\) is \(w_ \alpha\)-compact iff the projection \(p_ Y: X\times Y \to Y\) is a \(z\)-map for each \(\alpha\)-discrete space \(Y\). (2) A space \(X\) has the property that \(\tau(X\times Y) = \tau(X) \times \tau(Y)\) for every \(\alpha\)-discrete completely regular space \(Y\) iff each point of \(X\) has a neighborhood \(U\) such that \(\overline{U}\) is \(w_ \alpha\)-compact, where \(\tau\) stands for the Tychonoff reflection.
    0 references
    0 references
    \(w_ \alpha\)-compact space
    0 references
    \(\alpha\)-discrete space
    0 references
    Tychonoff reflection
    0 references

    Identifiers