On Lindelöf \(\Sigma\)-spaces of continuous functions in the pointwise topology (Q685902)

This paper gives necessary or sufficient conditions for \(C_ p(X)\) or \(C_ p^ b(X)\) to be a Lindelöf \(\Sigma\)-space, where \(C_ p(X)\) (\(C_ p^ b(X)\), resp.) is the space of continuous real-valued functions (bounded functions, resp.) on \(X\) with the topology of pointwise convergence. This is done in a general setting, where a more detailed descriptive complexity of \(C_ p(X)\) and \(C_ p^ b(X)\) is obtained. The typical result for \(C_ p^ b(X)\) is to take \(X\subseteq C_ p(Y)\) and assume a complexity condition on \(Y\) and \(X^{(1)}\) (the nonisolated points of \(X\)) and then obtain a related complexity condition on \(C_ p^ b(X)\). The results for \(C_ p^ b(X)\) are extended to \(C_ p(X)\) using envelopes \(Z\), where \(C_ p(X)\subseteq Z\subseteq \mathbb{R}^ X\). Also studied are the spaces \(C_{p,n}(X)\), where \(C_{p,1}(X)= C_ p(X)\) and \(C_{p,n+1}(X)= C_ p (C_{p,n}(X))\) for all natural numbers \(n\). Several questions about \(C_{p,n}(X)\), which were asked by A. V. Arkhangel'skij, are answered in the last section. In particular, for compact \(X\), \(C_ p(X)\) is a Lindelöf \(\Sigma\)-space (i.e., \(X\) is Gul'ko compact) iff \(C_{p,n}(X)\) is a Lindelöf \(\Sigma\)-space for some \(n\) iff \(C_{p,n}(X)\) is a Lindelöf \(\Sigma\)- space for all \(n\).