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

From MaRDI portal





scientific article; zbMATH DE number 6334513
Language Label Description Also known as
default for all languages
No label defined
    English
    Every monotonically normal Čech-complete space is subcompact
    scientific article; zbMATH DE number 6334513

      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
      subcompact space
      0 references
      Čech-complete space
      0 references
      monotonically normal space
      0 references

      Identifiers

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