Abundance of independent sequences in compact spaces and Boolean algebras (Q2121671)

Let \(\mathcal{C}\) be a class of compact spaces. By \(\mathcal{C}^{\perp}\) is denoted the orthogonal class of \(\mathcal{C}\), whose elements are those compact spaces \(K\) such that every continuous image of \(K\) that belongs to \(\mathcal{C}\) is metrizable. The aim of the paper under review is to study the orthogonal class of several well-known classes of compact spaces (denoted by capital letters). In particular, the article can be split in three main parts. In the first part the authors deal with centeredness. It is shown that the class of compact spaces satisfying the countable chain condition (CCC) is the orthogonal class of the following classes of compact spaces: uniformly Eberlein, Eberlein, Talagrand and Gul'ko (Proposition~9). Moreover, Martin's axiom MA\(_{\omega_1}\) is equivalent to CCC=CORSON\(^{\perp}\) (Proposition~13). The second part is devoted to the classes of Radon-Nikodým, weakly Radon-Nykodým and the class of weakly Radon-Nikodým Boolean algebras denoted by RN, WRN and WRN(B), respectively. Among others it is proved that dyadic compact spaces are contained in WRN\(^{\perp}\) (Proposition~20). If MA\(_{\omega_1}\) does not hold, then there exists a nonmetrizable zero-dimensional compact space in CORSON \(\cap\) WRN(B)\(^{\perp}\) (Corollary~27). The class WRN(B)\(^{\perp}\setminus\)WRN\(^{\perp}\) contains zero-dimensional compact spaces (Corollary~32). In the final section, the class of zero-dimensional compact spaces have been investigated. The class ZERO-DIMENSIONAL\(^{\perp}\) is characterized by compact spaces containing at most countably many different clopens (Lemma~33). It is also proved that it is consistent with Martin's axiom and the negation of the continuum hypothesis that there exists a weakly Radon-Nikodým nonmetrizable compact space in ZERO-DIMENSIONAL\(^{(\perp)}\) (Corollary~39). The symbol \(\mathcal{C}^{(\perp)}\) denotes the class of those compact spaces \(K\) such that every continuous image of any closed subspace of \(K\) that belongs to \(\mathcal{C}\) is metrizable. In Lemma~7 it is shown that \(\mathcal{C}^{(\perp)}\) coincides with the class of hereditarily \(\mathcal{C}^{\perp}\) compact spaces.