Noetherian types of homogeneous compacta and dyadic compacta (Q2378310)

This paper explores Noetherian type and its variants for various (usually compact, usually either dyadic or homogeneous) spaces. Some definitions: 1. A partial order is \(\kappa^{op}\)-like iff no element is below \(\kappa\)-many elements. 2. Let \(X\) be a space. The Noetherian type \(Nt(X)\) is the least infinite \(\kappa\) so that \(X\) has a base which is \(\kappa^{op}\)-like under reverse inclusion. Similarly defined are \(\pi Nt(X)\) (the Noetherian type generalized to a \(\pi\)-base); \(\chi Nt(E,X)\) (the Noetherian type relativized to a subset \(E\), that is, we are looking at open sets which contain \(E\)); the local Noetherian type \(\chi Nt(p, X)\) (\(\chi Nt(E,X)\) when \(E = \{p\}\)); \(\chi Nt(X)\) (the supremum of the local Noetherian types \(\chi (p, X))\), and the compact Noetherian type \(\chi_K Nt(X)\) (the supremum of all \(\chi Nt(E,X)\) where \(E\) is compact). A small sampling of results in this paper include: If \(X\) is compact homogeneous there are bounds on these invariants: \(Nt(X) \leq \mathfrak c^+\); \(\pi Nt(X) \leq \omega_1\); \(\chi Nt(X) = \omega\); and \(\chi_K Nt(X) \leq \mathfrak c\). Let \(X\) be dyadic compact (recall that a dyadic space is the continuous image of a product of closed unit intervals). Then \(\pi Nt(X) = \chi_KNt(X) = \omega\); if \(X\) is also homogeneous then \(Nt(X) = \omega\). If \(\kappa = \omega\) or \(\kappa\) is singular then there is a dyadic compact space \(X\) with \(Nt(X) = \kappa\); but if \(\kappa = \omega_1\) or \(\kappa = \lambda^+\) where cf\((\lambda) > \omega\), then no dyadic compact space \(X\) has \(Nt(X) = \kappa\). In contrast to the previous theorem, for every infinite \(\kappa\), there is a totally disconnected compact space \(X\) with \(Nt(X) = \kappa\). Under GCH, if \(X\) is homogeneous compact then \(\chi Nt(X) \leq c(X)\). Every compact space satisfies \(\pi Nt(X) \leq \mathfrak t(X)^+ \leq \chi(X)^+\).