No label defined (Q4031645)

The following result of V. V. Uspenskij is known: If \(X\) is a Lindelöf \(\Sigma\)-space then there is a Lindelöf \(\Sigma\)-space \(Z\) such that \(C_ p(X) \subset Z \subset R^ X\). In this connection \textit{A. V. Arkhangel'skij}, [Topological function spaces (1989; Zbl 0781.54014)] asks a question: Let \(X\) be a Lindelöf space (respectively \(X^ n\) be a Lindelöf space for every \(n \in \mathbb{N})\). Can one find a Lindelöf space \(Z\) between \(C_ p (X)\) and \(R^ X\)? In this paper we give a negative answer to this question; i.e. we prove the following theorem: There exist topological spaces \(X\) and \(Y\), such that \(X\) is hereditarily Lindelöf, \(Y^ n\) is Lindelöf for every \(n \in \mathbb{N}\), \(iw(X) = w\), \(iw(Y) = w\) and there are discrete subsets \(A\) of \(C_ p (X)\) and \(B\) of \(C_ p (Y)\) which are closed in \(R^ X\) and \(R^ Y\) respectively and \(| B | = | A | = 2^ \omega\). From this theorem we deduce: Let \(H\) be one of the spaces \(X\) and \(Y\) in the above theorem. Then there is no normal (moreover, there is no Lindelöf) space between \(C_ p(X)\) and \(R^ H\).