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
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
Pixley-Roy
0 references
DCCC
0 references
Menger
0 references
weakly Menger
0 references
Hurewicz
0 references
weakly Hurewicz
0 references