Compact coverings for Baire locally convex spaces (Q884346)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compact coverings for Baire locally convex spaces
scientific article

    Statements

    Compact coverings for Baire locally convex spaces (English)
    0 references
    6 June 2007
    0 references
    Recall that a Hausdorff space \(X\) is called analytic, if there exists a continuous mapping from \(\omega^\omega\) onto \(X\). It is called \(K\)-analytic, if there exists a relation \(R\subset\omega^\omega\times X\) such that \(R[\omega^\omega]= X\), \(R[\{s\}]\) is compact for each \(s\in\omega^\omega\), and \(R^{-1}[A]\) is closed in \(\omega^\omega\) for each closed subset \(A\) of \(X\). Obviously, every analytic space is \(K\)-analytic. It is well-known that for a locally convex Baire space \(E\) the following conditions are equivalent: (1) \(E\) is analytic; (2) \(E\) is \(K\)-analytic; (3) \(E\) is a separable Fréchet space. Motivated by a recent result of \textit{V. V. Tkachuk} [Acta Math. Hung. 107, No. 4, 253--265 (2005; Zbl 1081.54012)] the authors prove that if a locally convex Baire space \(E\) can be covered by a familiy \(\{K_s\mid s\in\omega^\omega\}\) of relatively countably compact subsets with the property that \(K_s\subset K_t\) whenever \(s\leq t\), then \(E\) is \(K\)-analytic. Since every quasi-Suslin space has such a cover, see \textit{B. Cascales} [Arch. Math. 49, 232--244 (1987; Zbl 0617.46014)], and every \(K\)-analytic space is a quasi-Suslin space, it follows that a locally convex Baire space is a separable Fréchet space if and only if it is a quasi-Suslin space.
    0 references
    analytic space
    0 references
    \(K\)-analytic space
    0 references
    quasi-Suslin space
    0 references
    Baire space
    0 references
    locally convex Fréchet space
    0 references
    0 references
    0 references

    Identifiers

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