The Menger property on \(C_p(X, 2)\) (Q2253725)

A space \(X\) is a Menger space provided that for every sequence \((\mathcal{U}_n)_{n\in \omega}\) of open covers of \(X\), there exists a sequence of finite sets \((\mathcal{F}_n)_{n\in \omega}\) such that \(\bigcup _{\in \omega}\mathcal{F}_n\) is a cover of \(X\) and \(\mathcal{F}_n\subset \mathcal{U}_n\) for each \(n\). For spaces \(X\) and \(Y\), let \(C_{p}(X,Y)\) be the set of all continuous functions from \(X\) to \(Y\) endowed with the topology of pointwise convergence and \(X'\) be the set of non-isolated points of \(X\). The authors study when \(C_{p}(X,2)\) is Menger for several classes of spaces \(X\). The main results: (1) If \(X\) is a subspace of \(C_{p}(Y)\) where \(Y^{k}\) is Menger for every \(k\in \omega\) and \(X'\) is compact, then \(C_{p}(X,2)^{n}\) is Menger for each \(n\in \omega\). (2) If \(C_{p}(X,2)\) is Menger then \(X'\) is bounded in \(X\). (3) If \(L\) is a first countable \(GO\)-space without isolated points, then \(C_{p}(L,2)\) is Menger if and only if \(C_{p}(L,2)\) is Lindelöf and \(L\) is countably compact. (4) For every \(\mathcal{F}\in \omega^{*}\), \(C_{p}(\omega\cup \{\mathcal{F}\},2)\) is Menger if and only if \(\mathcal{F}\) is a strong \(P\)-point. (5) Assuming the Continuum Hypothesis, there is a maximal almost disjoint family \(\mathcal{A}\) such that \(C_{p}(\Psi (\mathcal{A}),2)\) is Menger.