Every scattered space is subcompact (Q390392)

From MaRDI portal
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