Compact coverings for Baire locally convex spaces (Q884346)

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.