When does the Haver property imply selective screenability? (Q881466): Difference between revisions

Say that a metric space \((X,d)\) has the Haver property if for every sequence \((\varepsilon_n)\) of positive real numbers there is a sequence \(({\mathcal V}_n)\) with each \({\mathcal V}_n\) being a family of pairwise disjoint open sets of diameter less than \(\epsilon_n\) such that \(\bigcup_n {\mathcal V}_n\) is a cover of \(X\). A topological space \(X\) satisfies selective screenability if given any sequence \(({\mathcal O}_n)\) of open covers of \(X\), there is a sequence \(({\mathcal T}_n)\) with each \({\mathcal T}_n\) being a pairwise disjoint family refining \({\mathcal O}_n\) such that \(\bigcup_n {\mathcal T}_n \) is a cover of \(X\). In metrizable spaces, selective screenability implies the Haver property while the converse fails in general. The author shows that for metrizable spaces with the Hurewicz property, the Haver property implies selective screenability. She also discusses productivity of the Haver property and proves, e.g., that if metric spaces \(X\) and \(Y\) have the Haver property and \(X\) is either separable with the Hurewicz property or countable dimensional or complete metric, then \(X \times Y\) has the Haver property. Two new classes of weakly infinite dimensional spaces are considered as well.