On a certain class of \(\mathcal K_{\sigma\delta}\) Banach spaces (Q387965)

A~subset \(A\) of a~space~\(X\) is called strongly \(\mathcal K_{\sigma\delta}\) if there is a~system of compact sets \(K_{n,m}\) for \(n,m\in\mathbb N\) such that \(A=\bigcap_{n\in\mathbb N}\bigcup_{m\in \mathbb N} K_{n,m}\) and, for every compact set \(K\subseteq A\) and every \(n\in\mathbb N\), there exists \(m\in\mathbb N\) such that \(K\subseteq K_{n,m}\). A~space~\(X\) is called strongly \(\mathcal K\)-analytic space if there exists an upper semicontinuous map \(F:\mathbb N^{\mathbb N}\to\mathcal K(X)\) such that, for every compact set \(K\subseteq X\), there is \(\sigma\in\mathbb N^{\mathbb N}\) such that \(K\subseteq F(\sigma)\). Strongly weakly \(\mathcal K\)-analytic (SWKA) Banach spaces are those Banach spaces that are strongly \(\mathcal K\)-analytic in their weak topology. In the paper under the review, the authors introduce and study the class of strongly \(\mathcal K_{\sigma\delta}\)~Banach spaces which is a~common subclass of the class of \(\mathcal K_{\sigma\delta}\) Banach spaces and the class of strongly weakly \(\mathcal K\)-analytic Banach spaces. The authors prove that a~space is strongly \(\mathcal K\)-analytic if and only if it is an image under a~continuous compact covering map of a~strongly \(\mathcal K_{\sigma\delta}\)~subspace of a~compact space. They also prove that every Polish subspace of a~compact space~\(K\) is a~strongly \(\mathcal K_{\sigma\delta}\)~subset of~\(K\) and they characterize strongly \(\mathcal K_{\sigma\delta}\)~sets as those sets \(A\subseteq X\) that \(\mathcal K(A)\) is a~\(\mathcal K_{\sigma\delta}\)~subset of \(\mathcal K(X)\). An SWCG Banach space~\(X\) is a~Banach space that is strongly generated by a~weakly compact set \(K\subseteq X\). The authors generalize this notion by considering Banach spaces that are SWCG with respect to a~Banach space that is a~superspace of~\(X\). This class of Banach spaces is closed under closed subspaces and is included in the class of strongly \(\mathcal K_{\sigma\delta}\) Banach spaces.