A note on \(\kappa\)-Fréchet-Urysohn property in function spaces (Q2233225)

A space \(X\) is called \textit{\(\kappa\)-Fréchet-Urysohn} if for every open set \(U\) of \(X\) and every \(x \in cl_XU\), there is a sequence \(\{x_n : n < \omega \} \subseteq U\) that converges to \(x\). If \(\mathcal{A}\) is a collection of subsets of \(X\), then a family \(\mathcal{U}\) is an \textit{open expansion} of \(\mathcal{A}\) if \(\mathcal{U} = \{U_A : A \in \mathcal{A}\}\) is a collection of open subsets of \(X\) and \(A \subseteq U_A\) for every \(A \in \mathcal{A}\). A space \(X\) has the property \((\kappa)\) if any sequence \(\mathcal{A} = \{A_n : n < \omega\}\) of finite subsets of \(X\) has a subsequence \(\{A_{k_n} : n < \omega\}\) with a point-finite open expansion. \textit{M. Sakai} [Topology Appl. 153, No. 15, 2795--2804 (2006; Zbl 1100.54011)] proved that the space of real-valued continuous functions defined on \(X\) with the pointwise convergence topology, \(C_p(X)\), is \(\kappa\)-Fréchet-Urysohn if and only if \(X\) has the property \((\kappa)\). The paper by Tkachuk, reviewed here, constitutes a development and generalization of various ideas and results obtained in [loc. cit.]. The main theorems presented by the author are: \begin{itemize} \item[1.] A space \(X\) has the property \((\kappa)\) (and then \(C_p(X)\) is \(\kappa\)-Fréchet-Urysohn) if all countable subsets of \(X\) are scattered. \item[2.] There is a dense-in-itself countably compact space \(X\) such that \(C_p(X)\) is \(\kappa\)-Fréchet-Urysohn. (By contrast: every compact space \(X\) such that \(C_p(X)\) is \(\kappa\)-Fréchet-Urysohn, is scattered [\textit{S. Gabriyelyan}, J. Math. Anal. Appl. 478, No. 2, 1085--1099 (2019; Zbl 1501.54011)]). \item[3.] Every hereditarily Baire sequential space satisfying the property \((\kappa)\) is scattered. \item[4.] \(C_p(X)\) is \(\kappa\)-Fréchet-Urysohn if and only if \(C_p(X,[0,1])\) is \(\kappa\)-Fréchet-Urysohn. \end{itemize} Moreover, Tkachuk proves that a pseudocompact first countable space must be scattered if it satisfies the property \((\kappa)\). In the last section of this article, the author adds several interesting open problems related to these topics.