Sequence selection properties in \(C_p(X)\) with the double ideals (Q2054607)

This paper is primarily concerned with the properties \((\mathcal I, \mathcal J\text{-}\alpha_1)\) and \((\mathcal I, \mathcal J\text{-}\alpha_4)\) on \(C_p(X)\), the space of continuous functions \(X \to \mathbb R\) with the point-wise convergence topology, where \(\mathcal I\) and \(\mathcal J\) are proper ideals of \(\omega\). To define the properties \((\mathcal I, \mathcal J\text{-}\alpha_1)\) and \((\mathcal I, \mathcal J\text{-}\alpha_4)\) on \(C_p(X)\), we recall that, for an ideal \(\mathcal I\) of \(\omega\), a topological space \(X\), and a sequence \(x : \omega \to X\), \(x_n \overset{\mathcal I}{\to} y\) if, for every neighborhood \(U\) of \(y\), \(\{ n \in \omega : x_n \not\in U \} \in \mathcal I\). This notion of ideal convergence is Cartan convergence with respect to the dual filter. Then, given ideals \(\mathcal I\) and \(\mathcal J\) of \(\omega\) that contain all singletons, we say that \(C_p(X)\) has property \begin{itemize} \item \((\mathcal I, \mathcal J\text{-}\alpha_1)\) if, for any sequence \(\langle S_n : n \in \omega \rangle\) where, for each \(n \in \omega\), \(S_n \in C_p(X)^\omega\) and \(S_{n,m} \overset{\mathcal I}{\to} \mathbf 0\), the constant zero function, there exists \(B \in \mathcal J^\omega\) with \(\omega = \bigcup_{n \in \omega} B_n\) so that \[ (\forall \varepsilon > 0)(\forall x \in X)(\exists A \in \mathcal J)(\forall n,m \in \omega) \left[ m \not\in A \cup B_n \to |S_{n,m}(x)| < \varepsilon \right]. \] \item \((\mathcal I, \mathcal J\text{-}\alpha_4)\) if, for any sequence \(\langle S_n : n \in \omega \rangle\) where, for each \(n \in \omega\), \(S_n \in C_p(X)^\omega\) and \(S_{n,m} \overset{\mathcal I}{\to} \mathbf 0\), there exists a sequence \(m \in \omega^\omega\) so that \(S_{n,m_n} \overset{\mathcal J}{\to} \mathbf 0\). \end{itemize} When \(\mathcal I = \mathcal J = [\omega]^{<\omega}\), it is straightforward to check that \((\mathcal I, \mathcal J\text{-}\alpha_j)\) is equivalent to Arkhangel'skiĭ's \(\alpha_j\) for \(j = 1, 4\). The relationship between the \((\mathcal I, \mathcal J\text{-}\alpha_4)\) property for \(C_p(X)\) and the underlying space \(X\) comes in a modified form of \(\gamma\)-covers: given an ideal \(\mathcal I\) of \(\omega\), a countable cover \(\{ U_n : n \in \omega \}\) is said to be an \(\mathcal I\text{-}\gamma\) cover if, for every \(x \in X\), \(\{ n \in \omega : x \not\in U_n \} \in \mathcal I\). Then \(\mathcal I\text{-}\Gamma\) denotes the collection of all \(\mathcal I\text{-}\gamma\) covers of \(X\). It is shown that, under particular conditions on \(X\), that \(C_p(X)\) has property \((\mathcal I, \mathcal J\text{-}\alpha_4)\) if and only if \(X\) satisfies the selection principle \(\mathsf S_1(\mathcal I\text{-}\Gamma, \mathcal J\text{-}\Gamma)\). Connections to zero-dimensionality and the so-called \(\mathcal J\)-Hurewicz property are established. It is also shown that \(C_p([0,1])\) does not have the property \((\mathcal I, \mathcal J\text{-}\alpha_4)\). The relationship between the \((\mathcal I, \mathcal J\text{-}\alpha_1)\) property for \(C_p(X)\) and the underlying space \(X\) relies on the property of being a \((\mathcal I,\mathcal J)\)QN-space. In the last section of the paper, minimal cardinal bounds for \(X\) being so that \(C_p(X)\) fails to have the property \((\mathcal I, \mathcal J\text{-}\alpha_j)\) for \(j = 1,4\) are established under certain conditions on \(\mathcal I\), \(\mathcal J\), and \(X\).