Classification of selectors for sequences of dense sets of \(C_{p}(X)\) (Q1637106)

Let \(X\) be an infinite Tychonoff space. A subset \(D\) of \(X\) is said to be sequentially dense if \(X\) is the set of all limits of sequences from \(D\). \(\mathcal D\) (respectively \(\mathcal S\)) denotes the family of (respectively, sequentially) dense subsets of \(X\). \(C_p(X)\) is the space of all real-valued continuous functions with the topology of pointwise convergence. The set of all open covers of \(X\) is denoted by \(\mathcal O\). An open cover \(\mathcal U\) of \(X\) is an \(\omega\)-cover if every finite subset of \(X\) is contained in a member of \(\mathcal U\) and it is a \(\gamma\)-cover if it is infinite and each \(x\in X\) belongs to all but finitely many elements of \(\mathcal U\). Every \(\gamma\)-cover contains a countably \(\gamma\)-cover. \(\Omega\) and \(\Gamma\) denote the family of open \(\omega\)-covers and countable open \(\gamma\)-covers of \(X\), respectively. Many topological properties are defined or characterized in terms of classical selection principles. Let \(\mathcal A\) and \(\mathcal B\) be sets consisting of families of subsets of \(X\). Then the selection \(S_1(\mathcal A,\mathcal B)\) (respectively, \(S_{fin}(\mathcal A,\mathcal B)\)) means that for each sequence \(\{A_n:n\in \mathbb{N}\}\) of elements of \(\mathcal A\) one can take points \(b_n\in\mathcal A_n\) (respectively, finite \(b_n\subseteq A_n\)) such that \(\bigcup\limits_{n\in \mathbb{N}}b_n\in B_n\). Relations between the selection principles are known as the Scheepers Diagram. The main goal of the author's paper is to describe topological properties of \(X\) in the Scheepers Diagram in terms of local, global and semi-local properties of \(C_p(X)\). Using results of by several authors, the author presents characterizations for \(C_p(X)\) satisfying \(S_1(\mathcal S,\mathcal S)\), \(S_{fin}(\mathcal S,\mathcal S)\), \(S_1(\mathcal D,\mathcal S)\), \(S_{fin}(\mathcal D,\mathcal S)\), \(S_1(\mathcal S,\mathcal D)\), \(S_{fin}(\mathcal S,\mathcal D)\), \(S_1(\mathcal D,\mathcal D)\) or \(S_{fin}(\mathcal D,\mathcal D)\), as for example: \noindent 1) \(C_p(X)\) satisfies \(S_1(\mathcal D,\mathcal D)\) if and only if \(C_p(X)\) is separable and \(X\) satisfies \(S_1(\Omega,\Omega)\) if and only if \(C_p(X)\) is separable and \(X^n\) satisfies \(S_1(\mathcal O,\mathcal O)\) for all \(n\in\mathbb{N}\). \noindent 2) \(C_p(X)\) satisfies \(S_{fin}(\mathcal D,\mathcal D)\) if and only if \(C_p(X)\) is separable and \(X\) satisfies \(S_{fin}(\Omega,\Omega)\) if and only if \(C_p(X)\) is separable and \(X^n\) satisfies \(S_{fin}1(\mathcal O,\mathcal O)\) for all \(n\in\mathbb{N}\). \noindent 3) \(C_p(X)\) satisfies \(S_1(\mathcal D,\mathcal S)\) if and only if \(C_p(X)\) is separable and every dense subset of \(C_p(X)\) is sequentially dense if and only if \(C_p(X)\) is separable and \(X\) satisfies \(S_1(\Omega,\Gamma)\) if and only if \(C_p(X)\) satisfies \(S_{fin}(\mathcal D,\mathcal S)\) if and only if \(C_p(X)\) is separable and \(X\) satisfies \(S_{fin}(\Omega,\Gamma)\). Finally, the critical cardinalities in the Scheepers Diagram are equal to the critical cardinalities of selectors for sequences of countable dense and sequentially dense subsets of \(C_p(X)\).