Two results on spaces with a sharp base

From MaRDI portal





A base \(\mathcal{B}\) for a space~\(X\) is sharp if whenever \(\mathcal{B}'\subseteq\mathcal{B}\) is infinite and \(x\in\cap\mathcal{B}'\), the family \(\mathcal{B}'\) is a local subbase at~\(x\). The two results alluded to in the title are that `having a sharp base' is not preserved by perfect maps and that if a space has a sharp base then it has (another) sharp base that is point-countable and point-finite at each isolated point -- which shows, implicitly, that the isolated points form an \(F_\sigma\)-subset. The latter result has a combinatorial translation in terms of subsets of \(\kappa\times\kappa\) for cardinals~\(\kappa\); the authors provide a combinatorial proof of this translation as well.











This page was built for publication: Two results on spaces with a sharp base

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876515)