Every scattered space is subcompact (Q390392)

From MaRDI portal
Revision as of 01:33, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Every scattered space is subcompact
scientific article

    Statements

    Every scattered space is subcompact (English)
    0 references
    0 references
    0 references
    0 references
    8 January 2014
    0 references
    In this paper all spaces are assumed to be Tychonoff. If \(X\) is a space then \(\tau (X)\) is its topology and \(\tau^{\ast}(X)=\tau (X)\setminus \{\emptyset\}\). Let \(Y\) be a space. A family \(\mathcal{U}\subset \tau^{\ast}(Y)\) is called a regular filter base if, for any \(U,V\in \mathcal{U}\) there is \(W\in \mathcal{U}\) such that \(Cl(W)\subset U\cap V\). The space \(Y\) is subcompact if it has a base \(\mathcal{B}\subset \tau^{\ast}(Y)\) such that every regular filter base \(\mathcal{U}\subset\mathcal{B}\) has non-empty intersection. A space \(X\) is called scattered if every non-empty subspace of \(X\) has an isolated point. Also, a space \(X\) is called Čech-complete if it is homeomorphic to a dense \(G_{\delta}\)-subset of a compact space. In this paper the authors prove that: (1) Every scattered space is hereditarily subcompact. (2) Every scattered metrizable space is Čech-complete (3) For any countable space \(X\), the following properties are equivalent: (a) \(X\) is hereditarily subcompact; (b) \(X\) is subcompact; (c) \(X\) is scattered. (4) Any finite union of subcompact spaces is subcompact. (5) If \(X\) is a linearly ordered compact space, \(A\) is a countable subset of \(X\) then \(Y=X\setminus A \) is subcompact. (6) Suppose that \(D\not = \emptyset\) is a discrete space and \(I\) is a non-empty set. Then any dense \(G_{\delta}\)-subspace of \(D^I\) is subcompact. Finally, the authors give some interesting problems in this area.
    0 references
    subcompact space
    0 references
    linearly ordered space
    0 references
    scattered space
    0 references
    finite unions
    0 references
    \(\omega\)-monolithic spaces
    0 references
    Cantor cubes
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references