\(H\)-closed extensions with countable remainder. (Q2898338)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6054292
Language Label Description Also known as
default for all languages
No label defined
    English
    \(H\)-closed extensions with countable remainder.
    scientific article; zbMATH DE number 6054292

      Statements

      0 references
      10 July 2012
      0 references
      \(H\)-closed space
      0 references
      remainder
      0 references
      countable space
      0 references
      Čech \(g\)-space
      0 references
      Katetov space
      0 references
      \(H\)-closed extensions with countable remainder. (English)
      0 references
      Given a topological space \(X\), a set \(U\subset X\) is regular open if \(U=\text{Int}(\overline U)\). The family \(RO(X)\) of all regular open subsets of \(X\) forms a base for a topology \(\tau _s\subset \tau (X)\); the space \((X,\tau _s)\) is denoted by \(X_s\). A (not necessarily continuous) map \(f\: X\to Y\) is called perfect if \(f(F)\) is closed in \(Y\) for any closed set \(F\subset X\) and \(f^{-1}(y)\) is a compact subset of \(X\) for every \(y\in Y\). The map \(f\) is irreducible if \(f(X)=Y\) and \(f(F)\neq Y\) for any closed set \(F\subset X\) with \(F\neq X\). Furthermore, the map \(f\) is \(\theta \)-continuous if, for any point \(x\in X\) and any \(V\in \tau (Y)\) with \(f(x)\in V\), there exists a set \(U\in \tau (X)\) such that \(x\in U\) and \(f(\text{cl}_X(U)) \subset \text{cl}_Y(V)\). The Iliadis absolute of a Hausdorff space \(X\) is a pair \((EX,k_X)\), where \(EX\) is an extremally disconnected zero-dimensional Hausdorff space and \(k_X\: EX\to X\) is a perfect irreducible \(\theta \)-continuous map. A Hausdorff space \(X\) is \(H\)-closed if \(X\) is closed in any Hausdorff space in which \(X\) is embedded. A space \(Y\) is an extension of a space \(X\) if \(X\subset Y =\overline {X}\); the set \(Y\setminus X\) is called the remainder of \(X\) in \(Y\). A space \(X\) is Katetov if it has a weaker \(H\)-closed topology. A sequence \(\{ \mathcal {U}_n\: n\in \omega \}\) of open covers of a space \(X\) is called a Čech \(g\)-sequence if \(\bigcap \{\overline {A}\: A\in \xi \}\neq \emptyset \) for every open filter base \(\xi \) in \(X\) such that for each \(n\in \omega \) we can find a set \(A\in \xi \) and \(U\in \mathcal {U}_n\) with \(A\subset U\). Say that \(X\in T_2\) is a Čech \(g\)-space if there exists a Čech \(g\)-sequence in \(X\). It is established that \(X\) is a Čech \(g\)-space if and only if \(EX\) is Čech-complete. The following statement is the main result of the paper.NEWLINENEWLINETheorem: For a countable space \(X\) the following conditions are equivalent:NEWLINENEWLINE(1) \(X\) has an \(H\)-closed extension with a countable remainder;NEWLINENEWLINE(2) \(X\) is Katetov and \(X_s\) is first countable;NEWLINENEWLINE(3) \(X\) is a Čech \(g\)-space.
      0 references

      Identifiers