σ-Hereditarily Closure-Preserving I-sn-Networks, I-sn-Metrizability, and Local HCP-Finiteness
Year: 2026
Type: preprint
Abstract: Let \(\mathcal{I}\) be an admissible ideal on \(\mathbb{N}\). Zhou--Liu--Liu--Lin asked whether every regular space with a \(\sigma\)-hereditarily closure-preserving \(\mathcal{I}\)-\(sn\)-network is \(\mathcal{I}\)-\(sn\)-metrizable. The answer is affirmative for every admissible ideal. The proof rests on a stronger local countability lemma. If \(y_n\to_{\mathcal{I}} x\) in a space \(X\) and \(\{n:y_n\ne x\}\in\mathcal{I}^{+}\), then every point-discrete family of \(\mathcal{I}\)-sequential neighborhoods of \(x\) is countable. In a \(T_1\) space this applies in particular to every HCP family. If no \(\mathcal{I}\)-convergent sequence to \(x\) has \(\mathcal{I}\)-positive support away from \(x\), then the singleton \(\{x\}\) is itself an \(\mathcal{I}\)-sequential neighborhood. Consequently every space with a \(\sigma\)-point-discrete \(\mathcal{I}\)-\(sn\)-network is \(\mathcal{I}\)-\(snf\)-countable. For a regular space with a \(\sigma\)-HCP \(\mathcal{I}\)-\(sn\)-network, Ge's characterization of \(sn\)-metrizability and Zhou--Liu--Liu--Lin's characterization of \(\mathcal{I}\)-\(sn\)-metrizability then settle Problem~5.2 affirmatively. The countability bound cannot in general be strengthened to finiteness. A countable Rudin–Keisler antichain of free ultrafilters gives an admissible ideal \(\mathcal{I}\) for which \(\mathrm{HCF}(\mathcal{I})\) fails. Thus local HCP-finiteness is not automatic for admissible ideals. Every \(\mathfrak{p}^{-}\) ideal has local HCP-finiteness. Beyond this basic class, the paper develops permanence results for Fubini products, heterogeneous Fubini sums with cross-row Katˇetov absorption, and suitable increasing unions. These results establish local HCP-finiteness for the finite Fubini powers of \(\mathrm{Fin}\), Katˇetov's first limit-stage ideal \(\mathrm{Fin}^{\omega}\) and its finite successors, the tree-derived rank-\(\omega\) ideal \(\mathcal{H}_{<\omega}\), and the inductive-limit ideal \(\mathrm{Fin}_{\omega}\). All of the listed examples except \(\mathrm{Fin}\) fail \(\mathfrak{p}^{-}\).
Source: Preprints.org
Author: Xing-Yu Hu
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213872016