The weak Hurewicz property of Pixley-Roy hyperspaces (Q386884)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The weak Hurewicz property of Pixley-Roy hyperspaces
scientific article

    Statements

    The weak Hurewicz property of Pixley-Roy hyperspaces (English)
    0 references
    0 references
    11 December 2013
    0 references
    In this paper, the author studies the weakly Hurewicz property on the Pixley-Roy hyperspace \({\mathcal F}[X]\) of a regular space \(X\). A space \(X\) is weakly \textit{Hurewicz in the sense of Kočinac} if for every sequence \(\{ {\mathcal U}_n : n \in \omega\}\) of open covers of \(X\), there are a dense subset of \(Y \subset X\) and finite subfamilies \({\mathcal V}_n \subset {\mathcal U}_n\) (\(n \in \omega\)) such that every point of \(Y\) is contained in \(\bigcup {\mathcal V}_n\) for all but finitely many \(n \in \omega\) [\textit{L. D. R. Kočinac}, Quest. Answers Gen. Topology 19, No. 2, 219--225 (2001; Zbl 0990.54012)]. The author redefines the weak Hurewicz property which is motivated by the weak \(\gamma\) property [\textit{P. Daniels}, Topology Appl. 29, No. 1, 93--106 (1988; Zbl 0656.54007)]. A space \(X\) is \textit{weakly Hurewicz} if for every sequence \(\{ {\mathcal U}_n : n \in \omega \}\) of open covers of \(X\), there are finite subfamilies \({\mathcal V}_n \subset {\mathcal U}_n\) (\(n \in \omega\)) such that for every infinite subset \(I \subset \omega\), \(\bigcup \left\{ \bigcup {\mathcal V}_n : n \in I \right\}\) is dense in \(X\) (i.e., for every nonempty open set \(U \subset X\), \(U \cap \left( \bigcup {\mathcal V}_n \right) \neq \emptyset\) for all but finitely many \(n \in \omega\). The following are main results of this paper: (1) \({\mathcal F}[X]\) is weakly Hurewicz in the sense of Kočinac if and only if \(X\) is countable (answer to the question in [Zbl 0990.54012]). (2) If \({\mathcal F}[X]\) is weakly Hurewicz, then every finite power of \(X\) is Hurewicz. Conversely if \(X\) is semi-stratifiable and every finite power of \(X\) is Hurewicz, then \({\mathcal F}[X]^\lambda\) is weakly Hurewicz for any cardinal \(\lambda\).
    0 references
    0 references
    0 references
    Pixley-Roy
    0 references
    DCCC
    0 references
    Menger
    0 references
    weakly Menger
    0 references
    Hurewicz
    0 references
    weakly Hurewicz
    0 references
    0 references