Two properties of \(C_{p}(x)\) weaker than the Fréchet Urysohn property (Q2502934): Difference between revisions

A space \(X\) is said to be \(\kappa\)-Fréchet Urysohn if for every open subset \(U\) of \(X\) and every \(x\in \overline{U}\) there exists a sequence \(\{ x_n\}_{n\in\omega}\subset U\) converging to \(x\); it is called weakly Fréchet Urysohn if for every \(A\subset X\) and every \(x\in\overline{A}\setminus A\) there exists a pairwise disjoint family \(\{ A_n\}_{n\in \omega}\) of finite subsets of \(A\) such that for every neighborhood \(U\) of \(a\), the set \(\{ n: U\cap A_n=\emptyset\}\) is finite. A space \(X\) has property \(\kappa\) if every pairwise disjoint sequence of finite subsets of \(X\) has a strongly point-finite subsequence. The main results of the paper under review: (1) The space \(C_p(X)\) of all real valued continuous functions on \(X\) with the topology of pointwise convergence is \(\kappa\)-Fréchet Urysohn iff \(X\) has property \(\kappa\). (In particular, if \(C_p(X)\) is a Baire space then it is \(\kappa\)-Fréchet Urysohn.) (2) Assume \(X\) is a separable metrizable space. If \(X\) is \(\lambda\)-space then it has the \(\kappa\)-property. If \(X\) has the \(\kappa\)-property then it is always of the first category. (3) Every analytic space has the \(\omega\)-grouping property. Hence if \(X\) is analytic then \(C_p(X)\) is weakly Fréchet Urysohn.