Two results on spaces with a sharp base (Q876515): Difference between revisions

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.