Every monotonically normal Čech-complete space is subcompact (Q401321)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Every monotonically normal Čech-complete space is subcompact
scientific article

    Statements

    Every monotonically normal Čech-complete space is subcompact (English)
    0 references
    0 references
    0 references
    26 August 2014
    0 references
    Following \textit{J. de Groot} [Nederl. Akad. Wet., Proc., Ser. A 66, 761--767 (1963; Zbl 0118.17901)], a regular \(T_1\)-space \((X,\tau)\) is called subcompact if it has a base \({\mathcal B}\subset\tau\setminus\{\emptyset\}\) such that if \({\mathcal U}\subset{\mathcal B}\) is a regular filter base, then \(\bigcap{\mathcal U}\neq\emptyset\), where \({\mathcal U}\) is a regular filter base if for any \(U, V\in{\mathcal U}\) there exists a \(W\in{\mathcal U}\) such that \(cl\,W\subset U\cap V\). Whereas it is well-known that a metrizable space is subcompact if and only if it is Čech-complete, i.e., homeomorphic to a dense \(G_\delta\)-subset of a compact space, it is still true what \textit{J. M. Aarts} and \textit{D. J. Lutzer} have formulated in [Dissertationes Math., Warszawa 116, 43 p. (1974; Zbl 0296.54027)]: ``The relation between Čech-completeness and subcompactness is not completely understood.'' In fact, it is still unknown whether every Čech-complete space is subcompact. Quite recently, \textit{W. Fleissner} et al. have shown that every scattered space is subcompact [Topology Appl. 160, No. 12, 1305--1312 (2013; Zbl 1285.54028)], and \textit{J. von Mill} and \textit{V. Tkachuk} have shown that every Tychonoff space with a dense \(\sigma\)-compact subspace is subcompact [Every \(k\)-separable Čech-complete space is subcompact, to appear]. In this vein, the result mentioned in the title of the reviewed paper is another interesting step towards the goal of understanding the relations between completeness and subcompactness. The authors also prove that if \(X\) is a compact space and \(A\subset X\) is countable, then \(X\setminus A\) is subcompact, thereby solving a problem from the above-mentioned paper of \textit{W. Fleissner} et al. [loc. cit.].
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    subcompact space
    0 references
    Čech-complete space
    0 references
    monotonically normal space
    0 references
    0 references