\(\kappa\)-Fréchet Urysohn property of \(C_{k}(X)\) (Q876548): Difference between revisions

A Tychonoff space \(X\) is called a \(\kappa\)-Fréchet-Urysohn space if for every open subset \(U\) of \(X\) and every \(x\in\overline{U}\), there exists a sequence \((x_n)\) in \(U\) converging to \(x\). This notion is due to A.V. Arhangel'skii and is a natural extension of \(\kappa\)-pseudocharacter. The main result (Theorem 2.3) of this paper is the determination of equivalent conditions for \(C_{k}(X)\) to be a \(\kappa\)-Fréchet-Urysohn space. Here \(C_{k}(X)\) denotes the space \(C(X)\) of all real-valued continuous functions on a Tychonoff space \(X\), equipped with the compact-open topology. Out of three equivalent conditions given in the paper, the most interesting one, according to the reviewer, is that \(C_{k}(X)\) is \(\kappa\)-Fréchet-Urysohn if and only if every moving off family of compact subsets of \(X\) has a countably subfamily which is strongly compact-finite. According to \textit{R. A. McCoy} and \textit{I. Ntantu} [Topological properties of spaces of continuous functions, Lecture Notes in Math. 1315, Springer-Verlag, New York (1988; Zbl 0647.54001)], a family of non-empty compact subsets of a space \(X\) is said to be moving off if for each compact subset \(K\) of \(X\), there exists \(F\in\mathcal{F}\) with \(K\cap F=\emptyset\), whereas a family \(\{A_{\lambda}\}_{\lambda\in\Lambda}\) of subsets of a space \(X\) is called compact-finite if for every compact \(K\subseteq X\), \(\{\lambda\in\Lambda:K\cap A_{\lambda}\neq\emptyset\}\) is finite. By using the aforesaid result and a result of McCoy and Ntantu [loc. cit., Theorem 5.3.5, but this theorem has been misprinted as Theorem 5.2.5 in the paper], it has been proved that if \(C_{k}(X)\) is a Baire space, then it is \(\kappa\)-Fréchet-Urysohn, (Proposition 2.5 (1)). An \(M_1\)-space is stratifiable, but the main question about stratifiable spaces remains open: is a stratifiable space an \(M_1\)-space? By using Proposition 2.5 (1) and a result of \textit{T. Mizokami} [Math. Jap. 50, No. 3, 391--399 (1999; Zbl 0948.54026)], it is shown in the last result of the paper under review that if \(C_{k}(X)\) is a stratifiable Baire space, then \(C_k(X)\) is an \(M_1\)-space.