The absolutely strongly star-Hurewicz property with respect to an ideal (Q2057291): Difference between revisions

Fix a proper ideal \(\mathcal I\) on the natural numbers \(\mathbb N\) containing all the finite subsets. A space \(X\) is said to be absolutely strongly star-\(\mathcal I\)-Hurewicz if for each sequence \(\langle\mathcal U_n\rangle\) of open covers of \(X\) and each dense \(Y\subset X\) there is a sequence \(\langle F_n\rangle\) of finite subsets of \(Y\) such that \(\{n\in\mathbb N\mid x\notin\mathrm{St}(F_n,\mathcal U_n)\}\in\mathcal I\) for each \(x\in X\). As well as showing links between this property and other known properties, including that it is equivalent to the strongly star-\(\mathcal I\)-Hurewicz property when \(X\) is the Mrówka-Isbell space \(\Psi(\mathcal A)\), standard preservation properties are investigated. The property need not be preserved by closed subpaces; indeed, not even regular-closed G\(_\delta\) subspaces. While a continuous bijection from a space having the property to a space not having the property is exhibited it is shown that the property is preserved under continuous varpseudoopen maps (i.e. those for which the interior of the image of a non-empty open set is non-empty). There is a bizarre numbering feature of the paper: when introduced, examples are unnumbered but later they are referred to by numbers which are mutually inconsistent: for example at the bottom of p. 87 Example 3 links to the example at the top of p. 88 (though probably it is intended to refer to the second example given) while on p. 91 it links to the first example of the paper, at the top of p. 85.