Compact spaces with a P-base

DOI10.1016/J.INDAG.2021.04.002MaRDI QIDQ2040145zbMATH OpenOpenAlexFDO

Authors Alan Dow, Ziqin Feng

Publication date 12 July 2021

Published in Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.04405

zbMATH Keywords

\(\omega^\omega\)-basecalibre \(\aleph_1\)charactercompact spacesfree sequencesscattered spacestightnessTukey order

Mathematics Subject Classification ID

Ordered sets and their cofinalities; pcf theory (03E04) Cardinal characteristics of the continuum (03E17) Continuum hypothesis and Martin's axiom (03E50) Consistency and independence results in general topology (54A35) Compactness (54D30) Base properties of topological spaces (54D70)

Abstract: In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $omeg{a}_1<mathfrakb$, any compact space with an $omeg{a}^{o}mega$-base is first-countable and any scattered compact space with an $omeg{a}^{o}mega$-base is countable. These give positive solutions to Problems 8.6.9 and 8.7.7 in cite{Banakh2019}. Using forcing, we also prove that in a model of $omeg{a}_1<mathfrakb$, there is a non-first-countable compact space with a $P$-base for some poset $P$ with calibre~$omeg{a}_1$.

Review text

If \((P,\le)\) is a partial order then a local base \(\mathcal{B}\) at a point~\(x\) of a topological space~\(X\) is called a local \(P\)-base at~\(x\) if \(\mathcal{B}\) can be written as \(\{B_p:p\in P\}\) in such a way that \(p\le q\) implies \(B_q\subseteq B_p\). The space~\(X\) is said to have a \(P\)-base if there is a local \(P\)-base at every point of~\(X\).\par The special case of \(P=\omega^\omega\) with the pointwise ordering of functions was studied in depth in~[\textit{T. Banakh}, Diss. Math. 538, 1--141 (2019; Zbl 1470.54015)]. The authors answer two questions from the latter paper by showing that under the assumption \(\mathfrak{b}>\aleph_1\), every compact space with an~\(\omega^\omega\)-base is first-countable and every \emph{scattered} compact space with an~\(\omega^\omega\)-base is countable. (Note: the abstract erroneously states that all compact spaces with an \(\omega^\omega\)-base are metrizable.) The proofs establish more general results for partial orders that have calibre~\(\aleph_1\) and are of the form \(\mathcal{K}(M)\) (family of compact subsets) for some separable metrizable~space~\(M\). The partial order~\(\omega^\omega\) is (essentially) of this form, with \(M\) the space of irrational numbers, and the assumption \(\mathfrak{b}>\aleph_1\) implies that it has calibre~\(\aleph_1\).\par The final result adapts the construction from~[\textit{I. Juhász} et al., Topology Appl. 156, No. 10, 1863--1879 (2009; Zbl 1168.54003)] (non-trivially) to produce a model in which Martin's Axiom plus \(\mathfrak{c}=\aleph_2\) (hence \(\mathfrak{b}>\aleph_1\)) holds and in which there is a compact space that has countable tightness, is not sequential, and has a \(P\)-base for some partial order~\(P\) with calibre~\(\aleph_1\). This shows that calibre~\(\aleph_1\) by itself is not strong enough to establish the positive results above.

Recommendations

• Topological spaces with an $\omega^{\omega}$-base
• P-bases and topological groups
• scientific article; zbMATH DE number 94639
• Sub-posets in \(\omega^\omega\) and the strong Pytkeev\(^*\) property
• On complete partially ordered sets and compatible topologies
• scientific article; zbMATH DE number 1295214
• Topological properties of function spaces over ordinals
• scientific article; zbMATH DE number 1383127
• P Points With Countably Many Constellations
• Ordinals and scattered compact ordered spaces

Cites work

• \(\omega^\omega\)-dominated function spaces and \(\omega^{\omega}\)-bases in free objects of topological algebra
• A first countable, initially \(\omega _1\)-compact but non-compact space
• Convergent Free Sequences in Compact Spaces
• Domination by second countable spaces and Lindelöf -property
• Forcing minimal extensions of Boolean algebras
• Generalized side-conditions and Moore-Mrówka
• scientific article; zbMATH DE number 7303950 (Why is no real title available?)
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• scientific article; zbMATH DE number 3039998 (Why is no real title available?)
• On Compact Hausdorff Spaces of Countable Tightness
• On topological groups admitting a base at the identity indexed by \(\omega ^{\omega}\)
• On topological groups with a small base and metrizability
• Set theory. An introduction to independence proofs
• Spaces with a $\mathbb {Q}$-diagonal
• Spaces with an \(M\)-diagonal
• The Tukey order on compact subsets of separable metric spaces
• Topological spaces with an $\omega^{\omega}$-base
• Tukey order, calibres and the rationals

Cited in

(9)

• Sub-posets in \(\omega^\omega\) and the strong Pytkeev\(^*\) property
• On the cardinality of separable pseudoradial spaces
• Compact spaces with a \(\mathbb{P}\)-diagonal
• P Points With Countably Many Constellations
• Forbidden rectangles in compacta
• P-bases and topological groups
• Cofinal types and topological groups
• A note on fibers and Vietoris topologies of paratopological groups
• Topological groups from matrices of sets

This page was built for publication: Compact spaces with a P-base

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