Domination by second countable spaces and Lindelöf \(\Sigma \)-property (Q617732)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Domination by second countable spaces and Lindelöf \(\Sigma \)-property
scientific article

    Statements

    Domination by second countable spaces and Lindelöf \(\Sigma \)-property (English)
    0 references
    13 January 2011
    0 references
    Given a space \(X\), let \(\kappa(X)\) denote the family of all compact subsets of \(X\). Then \(X\) is called a Lindelöf \(\Sigma\)-space (or countably \(K\)-determined space) if there exists a second countable space \(M\) and a compact valued u.s.c. map \(\phi: M \to X\) such that \(\bigcup\{\phi(x) : x\in M\} = X\). Let \(F_K =\bigcup\{\phi(x) : x\in K\}\) for any compact set \(K\subset M\), then \(\mathcal I = \{F_K : K \in\kappa(M)\}\) is a compact cover of \(X\) and \(K\subset L\) implies \(F_K\subset F_L\). We say \(\mathcal I\) is an \(M\)-ordered compact cover of \(X\). The notion of the class of spaces with an \(M\)-ordered compact cover for some second countable space was introduced by \textit{B. Cascales} and \textit{J. Orihuela} [J. Math. Anal. Appl. 156, No.~1, 86--100 (1991; Zbl 0760.54013)] and they proved that a Dieudonné complete space is Lindelöf \(\Sigma\) iff it belongs to this class. In this paper, the authors prove that a space \(C_p(X)\) belongs to the above class iff it is a Lindelöf \(\Sigma\)-space. Under MA(\(\omega_1\)), if \(X\) is compact and \((X\times X)\setminus\Delta\) has a compact cover ordered by a Polish space, then \(X\) is metrizable; also if \(X\) is a compact space of countable tightness and \(X^2\setminus\Delta\) belongs to the above class, then \(X\) is metrizable in ZFC. Also the authors consider the class of spaces \(X\) which have a compact cover \(\mathcal I\) ordered by a second countable space with the additional property that, for every compact set \(P\subset X\), there exists \(F\in\mathcal I\) with \(P\subset F\). It is a ZFC result that if \(X\) is a compact space and \(X^2\setminus\Delta\) belongs to this class, then \(X\) is metrizable. Also it is proved that under CH, if \(X\) is compact and \(C_p(X)\) belongs to this class, then \(X\) is countable.
    0 references
    topology
    0 references
    ZFC
    0 references
    internal set theory
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references